runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3728565-1338672664/watcher-3728565-1338672664 -o /tmp/evaluation-result-3728565-1338672664/solver-3728565-1338672664 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728565-1338672664.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.99 3.96 3.86 4/178 20334
/proc/meminfo: memFree=28162344/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=4456 CPUtime=0 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) R 20332 20334 19426 0 -1 4202496 428 0 0 0 0 0 0 0 20 0 1 0 333390933 4562944 380 33554432000 4194304 5964478 140735788651696 140736861501944 5179607 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 1114 380 167 433 0 655 0
[startup+0.0109929 s]
/proc/loadavg: 3.99 3.96 3.86 4/178 20334
/proc/meminfo: memFree=28162344/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=163408 CPUtime=0 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 1056 0 0 0 0 0 0 0 20 0 3 0 333390933 167329792 985 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 40852 985 178 433 0 40416 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 163408
[startup+0.100147 s]
/proc/loadavg: 3.99 3.96 3.86 4/178 20334
/proc/meminfo: memFree=28162344/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=163772 CPUtime=0.17 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 2824 0 0 0 17 0 0 0 20 0 3 0 333390933 167702528 2175 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 40943 2175 198 433 0 40507 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163772
[startup+0.300121 s]
/proc/loadavg: 3.99 3.96 3.86 4/178 20334
/proc/meminfo: memFree=28162344/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=163772 CPUtime=0.58 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 3826 0 0 0 57 1 0 0 20 0 3 0 333390933 167702528 2904 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 40943 2904 198 433 0 40507 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163772
[startup+0.700139 s]
/proc/loadavg: 3.99 3.96 3.86 4/178 20334
/proc/meminfo: memFree=28162344/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=163772 CPUtime=1.37 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 5316 0 0 0 136 1 0 0 20 0 3 0 333390933 167702528 3956 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 40943 3956 198 433 0 40507 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163772
[startup+1.50031 s]
/proc/loadavg: 3.99 3.96 3.86 5/181 20337
/proc/meminfo: memFree=28144696/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=163904 CPUtime=2.98 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 6419 0 0 0 294 4 0 0 20 0 3 0 333390933 167837696 5058 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 40976 5058 198 433 0 40540 0
[pid=20334/tid=20336] ppid=20332 vsize=163904 CPUtime=1.47 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 2306 0 0 0 145 2 0 0 20 0 3 0 333390934 167837696 5058 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=163904 CPUtime=1.47 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 3093 0 0 0 145 2 0 0 20 0 3 0 333390934 167837696 5058 33554432000 4194304 5964478 140735788651696 139755257129208 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163904
[startup+3.10033 s]
/proc/loadavg: 3.99 3.96 3.86 5/181 20337
/proc/meminfo: memFree=28136380/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=164036 CPUtime=6.17 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 8811 0 0 0 607 10 0 0 20 0 3 0 333390933 167972864 7449 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 41009 7449 198 433 0 40573 0
[pid=20334/tid=20336] ppid=20332 vsize=164036 CPUtime=3.06 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 4432 0 0 0 299 7 0 0 20 0 3 0 333390934 167972864 7449 33554432000 4194304 5964478 140735788651696 139755267618616 4400557 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=164036 CPUtime=3.06 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 3359 0 0 0 304 2 0 0 20 0 3 0 333390934 167972864 7449 33554432000 4194304 5964478 140735788651696 139755257129320 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164036
[startup+6.30033 s]
/proc/loadavg: 3.99 3.96 3.87 5/181 20337
/proc/meminfo: memFree=28106508/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=164716 CPUtime=12.56 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 14972 0 0 0 1230 26 0 0 20 0 3 0 333390933 168669184 13610 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 41179 13610 198 433 0 40743 0
[pid=20334/tid=20336] ppid=20332 vsize=164716 CPUtime=6.25 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 8671 0 0 0 608 17 0 0 20 0 3 0 333390934 168669184 13612 33554432000 4194304 5964478 140735788651696 139755267618808 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=164716 CPUtime=6.25 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 5283 0 0 0 617 8 0 0 20 0 3 0 333390934 168669184 13612 33554432000 4194304 5964478 140735788651696 139755257129320 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164716
[startup+12.7003 s]
/proc/loadavg: 3.99 3.96 3.87 5/181 20337
/proc/meminfo: memFree=28034636/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=165324 CPUtime=25.35 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 28395 0 0 0 2480 55 0 0 20 0 3 0 333390933 169291776 27033 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 41331 27033 198 433 0 40895 0
[pid=20334/tid=20336] ppid=20332 vsize=165324 CPUtime=12.64 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 14479 0 0 0 1232 32 0 0 20 0 3 0 333390934 169291776 27033 33554432000 4194304 5964478 140735788651696 139755267618808 5139166 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=165324 CPUtime=12.64 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 12896 0 0 0 1242 22 0 0 20 0 3 0 333390934 169291776 27033 33554432000 4194304 5964478 140735788651696 139755257129272 4388326 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 165324
[startup+25.5003 s]
/proc/loadavg: 3.99 3.96 3.87 5/181 20337
/proc/meminfo: memFree=27924624/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=298248 CPUtime=50.93 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 48121 0 0 0 4997 96 0 0 20 0 3 0 333390933 305405952 46759 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 74562 46759 198 433 0 74126 0
[pid=20334/tid=20336] ppid=20332 vsize=298248 CPUtime=25.4 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 22713 0 0 0 2487 53 0 0 20 0 3 0 333390934 305405952 46759 33554432000 4194304 5964478 140735788651696 139755267618808 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=298248 CPUtime=25.4 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 24388 0 0 0 2498 42 0 0 20 0 3 0 333390934 305405952 46759 33554432000 4194304 5964478 140735788651696 139755257129272 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 298248
[startup+51.1004 s]
/proc/loadavg: 3.99 3.97 3.87 5/181 20337
/proc/meminfo: memFree=27779636/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=430848 CPUtime=102.11 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 76060 0 0 0 10064 147 0 0 20 0 3 0 333390933 441188352 74698 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 107712 74698 198 433 0 107276 0
[pid=20334/tid=20336] ppid=20332 vsize=430848 CPUtime=50.94 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 38213 0 0 0 5007 87 0 0 20 0 3 0 333390934 441188352 74698 33554432000 4194304 5964478 140735788651696 139755267618808 4400542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=430848 CPUtime=50.94 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 36827 0 0 0 5035 59 0 0 20 0 3 0 333390934 441188352 74698 33554432000 4194304 5964478 140735788651696 139755257129032 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 430848
[startup+102.307 s]
/proc/loadavg: 4.06 3.99 3.88 5/182 20339
/proc/meminfo: memFree=27555064/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=629500 CPUtime=204.5 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 131330 0 0 0 20216 234 0 0 20 0 3 0 333390933 644608000 129761 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 157375 129761 198 433 0 156939 0
[pid=20334/tid=20336] ppid=20332 vsize=629500 CPUtime=102.01 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 74015 0 0 0 10051 150 0 0 20 0 3 0 333390934 644608000 129761 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=629500 CPUtime=102.01 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 56295 0 0 0 10116 85 0 0 20 0 3 0 333390934 644608000 129761 33554432000 4194304 5964478 140735788651696 139755257129376 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 629500
[startup+162.3 s]
/proc/loadavg: 4.14 4.02 3.90 5/181 20339
/proc/meminfo: memFree=27302616/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=762524 CPUtime=324.47 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 171836 0 0 0 32133 314 0 0 20 0 3 0 333390933 780824576 170267 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 190631 170267 198 433 0 190195 0
[pid=20334/tid=20336] ppid=20332 vsize=762524 CPUtime=161.85 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 95201 0 0 0 15985 200 0 0 20 0 3 0 333390934 780824576 170267 33554432000 4194304 5964478 140735788651696 139755267618808 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=762524 CPUtime=161.85 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 75615 0 0 0 16067 118 0 0 20 0 3 0 333390934 780824576 170267 33554432000 4194304 5964478 140735788651696 139755257129272 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 762524
[startup+222.3 s]
/proc/loadavg: 4.15 4.04 3.91 5/181 20339
/proc/meminfo: memFree=27128592/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=895172 CPUtime=444.45 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 201225 0 0 0 44065 380 0 0 20 0 3 0 333390933 916656128 199656 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 223793 199656 198 433 0 223357 0
[pid=20334/tid=20336] ppid=20332 vsize=895172 CPUtime=221.7 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 112495 0 0 0 21927 243 0 0 20 0 3 0 333390934 916656128 199656 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=895172 CPUtime=221.7 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 87710 0 0 0 22028 142 0 0 20 0 3 0 333390934 916656128 199656 33554432000 4194304 5964478 140735788651696 139755257129272 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 895172
[startup+282.3 s]
/proc/loadavg: 4.15 4.06 3.92 5/181 20339
/proc/meminfo: memFree=26872348/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1093080 CPUtime=564.41 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 251432 0 0 0 55950 491 0 0 20 0 3 0 333390933 1119313920 250214 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 273270 250214 198 433 0 272834 0
[pid=20334/tid=20336] ppid=20332 vsize=1093080 CPUtime=281.54 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 144899 0 0 0 27828 326 0 0 20 0 3 0 333390934 1119313920 250215 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1093080 CPUtime=281.54 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 105514 0 0 0 27981 173 0 0 20 0 3 0 333390934 1119313920 250215 33554432000 4194304 5964478 140735788651696 139755257129272 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.41
Current children cumulated vsize (KiB) 1093080
[startup+342.3 s]
/proc/loadavg: 3.97 4.03 3.92 5/181 20819
/proc/meminfo: memFree=27245432/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1225824 CPUtime=684.37 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 289389 0 0 0 67881 556 0 0 20 0 3 0 333390933 1255243776 288244 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 306456 288244 198 433 0 306020 0
[pid=20334/tid=20336] ppid=20332 vsize=1225824 CPUtime=341.36 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 176343 0 0 0 33758 378 0 0 20 0 3 0 333390934 1255243776 288244 33554432000 4194304 5964478 140735788651696 139755267618808 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1225824 CPUtime=341.39 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 112026 0 0 0 33952 187 0 0 20 0 3 0 333390934 1255243776 288244 33554432000 4194304 5964478 140735788651696 139755257129032 4400042 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 1225824
[startup+402.3 s]
/proc/loadavg: 3.99 4.02 3.92 5/181 20820
/proc/meminfo: memFree=27017852/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1291988 CPUtime=804.32 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 311500 0 0 0 79829 603 0 0 20 0 3 0 333390933 1322995712 310362 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 322997 310362 198 433 0 322561 0
[pid=20334/tid=20336] ppid=20332 vsize=1291988 CPUtime=401.2 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 196786 0 0 0 39697 423 0 0 20 0 3 0 333390934 1322995712 310362 33554432000 4194304 5964478 140735788651696 139755267618720 4400069 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1291988 CPUtime=401.21 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 113694 0 0 0 39930 191 0 0 20 0 3 0 333390934 1322995712 310362 33554432000 4194304 5964478 140735788651696 139755257129376 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 1291988
[startup+462.3 s]
/proc/loadavg: 3.77 3.95 3.90 5/181 21260
/proc/meminfo: memFree=27081384/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1292816 CPUtime=924.28 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 311736 0 0 0 91825 603 0 0 20 0 3 0 333390933 1323843584 310612 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 323204 310612 198 433 0 322768 0
[pid=20334/tid=20336] ppid=20332 vsize=1292816 CPUtime=461.03 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 196827 0 0 0 45679 424 0 0 20 0 3 0 333390934 1323843584 310612 33554432000 4194304 5964478 140735788651696 139755267618720 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1292816 CPUtime=461.06 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 113889 0 0 0 45915 191 0 0 20 0 3 0 333390934 1323843584 310612 33554432000 4194304 5964478 140735788651696 139755257129032 4400097 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.28
Current children cumulated vsize (KiB) 1292816
[startup+522.3 s]
/proc/loadavg: 3.95 3.97 3.91 5/181 21260
/proc/meminfo: memFree=26945136/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1293272 CPUtime=1044.23 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 311853 0 0 0 103820 603 0 0 20 0 3 0 333390933 1324310528 310559 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 323318 310559 198 433 0 322882 0
[pid=20334/tid=20336] ppid=20332 vsize=1293272 CPUtime=520.87 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 196846 0 0 0 51662 425 0 0 20 0 3 0 333390934 1324310528 310559 33554432000 4194304 5964478 140735788651696 139755267618720 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1293272 CPUtime=520.88 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 113987 0 0 0 51896 192 0 0 20 0 3 0 333390934 1324310528 310559 33554432000 4194304 5964478 140735788651696 139755257129032 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.23
Current children cumulated vsize (KiB) 1293272
[startup+582.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 21263
/proc/meminfo: memFree=26874992/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1359612 CPUtime=1164.18 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 326762 0 0 0 115788 630 0 0 20 0 3 0 333390933 1392242688 325430 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 339903 325430 198 433 0 339467 0
[pid=20334/tid=20336] ppid=20332 vsize=1359612 CPUtime=580.7 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 196877 0 0 0 57644 426 0 0 20 0 3 0 333390934 1392242688 325430 33554432000 4194304 5964478 140735788651696 139755267618720 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1359612 CPUtime=580.71 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 128865 0 0 0 57851 220 0 0 20 0 3 0 333390934 1392242688 325430 33554432000 4194304 5964478 140735788651696 139755257129272 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.18
Current children cumulated vsize (KiB) 1359612
[startup+642.3 s]
/proc/loadavg: 4.10 4.02 3.93 5/181 21263
/proc/meminfo: memFree=26635708/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1425972 CPUtime=1284.14 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 338713 0 0 0 127759 655 0 0 20 0 3 0 333390933 1460195328 337338 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 356493 337338 198 433 0 356057 0
[pid=20334/tid=20336] ppid=20332 vsize=1425972 CPUtime=640.55 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 196917 0 0 0 63628 427 0 0 20 0 3 0 333390934 1460195328 337338 33554432000 4194304 5964478 140735788651696 139755267618720 4399964 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1425972 CPUtime=640.54 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 140776 0 0 0 63808 246 0 0 20 0 3 0 333390934 1460195328 337338 33554432000 4194304 5964478 140735788651696 139755257129272 4400089 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.14
Current children cumulated vsize (KiB) 1425972
[startup+702.3 s]
/proc/loadavg: 4.04 4.01 3.93 5/180 21263
/proc/meminfo: memFree=26614788/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1492356 CPUtime=1404.07 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 342977 0 0 0 139745 662 0 0 20 0 3 0 333390933 1528172544 341563 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 373089 341563 198 433 0 372653 0
[pid=20334/tid=20336] ppid=20332 vsize=1492356 CPUtime=700.37 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 200993 0 0 0 69602 435 0 0 20 0 3 0 333390934 1528172544 341563 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1492356 CPUtime=700.37 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 140964 0 0 0 69790 247 0 0 20 0 3 0 333390934 1528172544 341563 33554432000 4194304 5964478 140735788651696 139755257129032 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.07
Current children cumulated vsize (KiB) 1492356
[startup+762.307 s]
/proc/loadavg: 4.01 4.00 3.93 5/181 21264
/proc/meminfo: memFree=26481264/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1558176 CPUtime=1524.04 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 359116 0 0 0 151702 702 0 0 20 0 3 0 333390933 1595572224 357671 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 389544 357671 198 433 0 389108 0
[pid=20334/tid=20336] ppid=20332 vsize=1558176 CPUtime=760.2 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 217063 0 0 0 75546 474 0 0 20 0 3 0 333390934 1595572224 357671 33554432000 4194304 5964478 140735788651696 139755267618808 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1558176 CPUtime=760.21 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 141033 0 0 0 75773 248 0 0 20 0 3 0 333390934 1595572224 357671 33554432000 4194304 5964478 140735788651696 139755257129032 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.04
Current children cumulated vsize (KiB) 1558176
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 21264
/proc/meminfo: memFree=26286988/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1755496 CPUtime=1643.96 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 405624 0 0 0 163599 797 0 0 20 0 3 0 333390933 1797627904 404136 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 438874 404136 198 433 0 438438 0
[pid=20334/tid=20336] ppid=20332 vsize=1755496 CPUtime=820.01 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 232215 0 0 0 81487 514 0 0 20 0 3 0 333390934 1797627904 404136 33554432000 4194304 5964478 140735788651696 139755267618808 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1755496 CPUtime=820.05 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 172389 0 0 0 81699 306 0 0 20 0 3 0 333390934 1797627904 404136 33554432000 4194304 5964478 140735788651696 139755257129272 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.96
Current children cumulated vsize (KiB) 1755496
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 21264
/proc/meminfo: memFree=26191304/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1755708 CPUtime=1763.92 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 425880 0 0 0 175548 844 0 0 20 0 3 0 333390933 1797844992 425309 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 438927 425309 198 433 0 438491 0
[pid=20334/tid=20336] ppid=20332 vsize=1755708 CPUtime=879.85 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 246164 0 0 0 87436 549 0 0 20 0 3 0 333390934 1797844992 425309 33554432000 4194304 5964478 140735788651696 139755267618808 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1755708 CPUtime=879.87 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 178696 0 0 0 87667 320 0 0 20 0 3 0 333390934 1797844992 425309 33554432000 4194304 5964478 140735788651696 139755257129376 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.92
Current children cumulated vsize (KiB) 1755708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.08 4.02 3.93 5/181 21264
/proc/meminfo: memFree=26174472/32873648 swapFree=7388/7388
[pid=20334] ppid=20332 vsize=1821244 CPUtime=1800.13 cores=0,2,4,6
/proc/20334/stat : 20334 (pwbo2.02) S 20332 20334 19426 0 -1 4202496 429659 0 0 0 179159 854 0 0 20 0 3 0 333390933 1864953856 429329 33554432000 4194304 5964478 140735788651696 140735788651216 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20334/statm: 455311 429329 198 433 0 454875 0
[pid=20334/tid=20336] ppid=20332 vsize=1821244 CPUtime=897.91 cores=0,2,4,6
/proc/20334/task/20336/stat : 20336 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 249937 0 0 0 89233 558 0 0 20 0 3 0 333390934 1864953856 429329 33554432000 4194304 5964478 140735788651696 139755267618808 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20334/tid=20337] ppid=20332 vsize=1821244 CPUtime=897.93 cores=0,2,4,6
/proc/20334/task/20337/stat : 20337 (pwbo2.02) R 20332 20334 19426 0 -1 4202560 178702 0 0 0 89473 320 0 0 20 0 3 0 333390934 1864953856 429329 33554432000 4194304 5964478 140735788651696 139755257129376 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 1821244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20334 and gives
# childrusage.ru_utime.tv_sec=1787
# childrusage.ru_utime.tv_usec=88321
# childrusage.ru_stime.tv_sec=8
# childrusage.ru_stime.tv_usec=848654
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.462
CPU time (s): 1800.13
CPU user time (s): 1791.59
CPU system time (s): 8.54
CPU usage (%): 199.912
Max. virtual memory (cumulated for all children) (KiB): 1821244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.09
system time used= 8.84865
maximum resident set size= 1717324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1332
involuntary context switches= 1930
runsolver used 1.76073 second user time and 5.01524 second system time
The end