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-3728618-1338671410/watcher-3728618-1338671410 -o /tmp/evaluation-result-3728618-1338671410/solver-3728618-1338671410 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728618-1338671410.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: 4.00 3.97 3.67 2/172 32095
/proc/meminfo: memFree=27412432/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=5284 CPUtime=0 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) R 32093 32095 31325 0 -1 4202496 616 0 0 0 0 0 0 0 20 0 1 0 333265898 5410816 568 33554432000 4194304 5964478 140733716545536 140736182872280 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 1321 568 168 433 0 873 0
[startup+0.040419 s]
/proc/loadavg: 4.00 3.97 3.67 2/172 32095
/proc/meminfo: memFree=27412432/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=163912 CPUtime=0.06 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 1903 0 0 0 6 0 0 0 20 0 3 0 333265898 167845888 1842 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 40978 1842 198 433 0 40542 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 163912
[startup+0.100166 s]
/proc/loadavg: 4.00 3.97 3.67 2/172 32095
/proc/meminfo: memFree=27412432/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=163912 CPUtime=0.17 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 2171 0 0 0 17 0 0 0 20 0 3 0 333265898 167845888 2110 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 40978 2110 198 433 0 40542 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163912
[startup+0.300109 s]
/proc/loadavg: 4.00 3.97 3.67 2/172 32095
/proc/meminfo: memFree=27412432/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=163912 CPUtime=0.58 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 3046 0 0 0 56 2 0 0 20 0 3 0 333265898 167845888 2985 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 40978 2985 198 433 0 40542 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163912
[startup+0.700109 s]
/proc/loadavg: 4.00 3.97 3.67 2/172 32095
/proc/meminfo: memFree=27412432/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=163912 CPUtime=1.38 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 4605 0 0 0 134 4 0 0 20 0 3 0 333265898 167845888 4544 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 40978 4544 198 433 0 40542 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163912
[startup+1.50028 s]
/proc/loadavg: 4.00 3.97 3.67 5/182 32112
/proc/meminfo: memFree=27363612/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=163912 CPUtime=2.98 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 7431 0 0 0 289 9 0 0 20 0 3 0 333265898 167845888 7370 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 40978 7370 198 433 0 40542 0
[pid=32095/tid=32097] ppid=32093 vsize=163912 CPUtime=1.47 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 3321 0 0 0 141 6 0 0 20 0 3 0 333265899 167845888 7370 33554432000 4194304 5964478 140733716545536 140305114109944 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=163912 CPUtime=1.47 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 2969 0 0 0 145 2 0 0 20 0 3 0 333265899 167845888 7370 33554432000 4194304 5964478 140733716545536 140305103620456 5136420 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) 163912
[startup+3.10031 s]
/proc/loadavg: 4.00 3.97 3.67 5/182 32112
/proc/meminfo: memFree=27332488/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=164200 CPUtime=6.17 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 11358 0 0 0 607 10 0 0 20 0 3 0 333265898 168140800 11297 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 41050 11297 198 433 0 40614 0
[pid=32095/tid=32097] ppid=32093 vsize=164200 CPUtime=3.07 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 5195 0 0 0 300 7 0 0 20 0 3 0 333265899 168140800 11297 33554432000 4194304 5964478 140733716545536 140305114109944 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=164200 CPUtime=3.07 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 5022 0 0 0 304 3 0 0 20 0 3 0 333265899 168140800 11297 33554432000 4194304 5964478 140733716545536 140305103620408 4381802 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) 164200
[startup+6.30024 s]
/proc/loadavg: 4.00 3.97 3.67 5/182 32112
/proc/meminfo: memFree=27305952/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=164200 CPUtime=12.56 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 13244 0 0 0 1246 10 0 0 20 0 3 0 333265898 168140800 13183 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 41050 13183 198 433 0 40614 0
[pid=32095/tid=32097] ppid=32093 vsize=164200 CPUtime=6.26 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 6358 0 0 0 619 7 0 0 20 0 3 0 333265899 168140800 13183 33554432000 4194304 5964478 140733716545536 140305114109944 4381996 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=164200 CPUtime=6.26 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 5745 0 0 0 623 3 0 0 20 0 3 0 333265899 168140800 13183 33554432000 4194304 5964478 140733716545536 140305103620408 4220672 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) 164200
[startup+12.7003 s]
/proc/loadavg: 4.00 3.97 3.67 5/182 32112
/proc/meminfo: memFree=27234584/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=164344 CPUtime=25.36 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 21547 0 0 0 2523 13 0 0 20 0 3 0 333265898 168288256 21486 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 41086 21486 198 433 0 40650 0
[pid=32095/tid=32097] ppid=32093 vsize=164344 CPUtime=12.64 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 10770 0 0 0 1256 8 0 0 20 0 3 0 333265899 168288256 21486 33554432000 4194304 5964478 140733716545536 140305114109944 4381692 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=164344 CPUtime=12.64 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 9636 0 0 0 1260 4 0 0 20 0 3 0 333265899 168288256 21486 33554432000 4194304 5964478 140733716545536 140305103620408 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 164344
[startup+25.5003 s]
/proc/loadavg: 4.00 3.97 3.68 5/182 32112
/proc/meminfo: memFree=27119444/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=230096 CPUtime=50.94 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 37199 0 0 0 5074 20 0 0 20 0 3 0 333265898 235618304 37484 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 57524 37484 198 433 0 57088 0
[pid=32095/tid=32097] ppid=32093 vsize=230096 CPUtime=25.39 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 19736 0 0 0 2527 12 0 0 20 0 3 0 333265899 235618304 37484 33554432000 4194304 5964478 140733716545536 140305114109944 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=230096 CPUtime=25.4 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 16322 0 0 0 2533 7 0 0 20 0 3 0 333265899 235618304 37484 33554432000 4194304 5964478 140733716545536 140305103620408 4400446 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 230096
[startup+51.1003 s]
/proc/loadavg: 4.00 3.97 3.68 5/181 32112
/proc/meminfo: memFree=26990204/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=296220 CPUtime=102.11 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 54072 0 0 0 10183 28 0 0 20 0 3 0 333265898 303329280 54355 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 74055 54355 198 433 0 73619 0
[pid=32095/tid=32097] ppid=32093 vsize=296220 CPUtime=50.91 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 27280 0 0 0 5075 16 0 0 20 0 3 0 333265899 303329280 54355 33554432000 4194304 5964478 140733716545536 140305114109752 4382008 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=296220 CPUtime=50.93 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 25651 0 0 0 5082 11 0 0 20 0 3 0 333265899 303329280 54355 33554432000 4194304 5964478 140733716545536 140305103620168 4220672 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) 296220
[startup+102.306 s]
/proc/loadavg: 4.00 3.97 3.70 5/181 32112
/proc/meminfo: memFree=26831488/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=362368 CPUtime=204.47 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 70725 0 0 0 20411 36 0 0 20 0 3 0 333265898 371064832 70991 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 90592 70991 198 433 0 90156 0
[pid=32095/tid=32097] ppid=32093 vsize=362368 CPUtime=101.98 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 37037 0 0 0 10176 22 0 0 20 0 3 0 333265899 371064832 70991 33554432000 4194304 5964478 140733716545536 140305114109944 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=362368 CPUtime=101.98 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 32547 0 0 0 10183 15 0 0 20 0 3 0 333265899 371064832 70991 33554432000 4194304 5964478 140733716545536 140305103620168 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 362368
[startup+162.3 s]
/proc/loadavg: 4.00 3.97 3.72 5/181 32112
/proc/meminfo: memFree=26576280/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=494144 CPUtime=324.44 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 102788 0 0 0 32391 53 0 0 20 0 3 0 333265898 506003456 104739 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 123536 104739 198 433 0 123100 0
[pid=32095/tid=32097] ppid=32093 vsize=494144 CPUtime=161.82 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 59987 0 0 0 16147 35 0 0 20 0 3 0 333265899 506003456 104739 33554432000 4194304 5964478 140733716545536 140305114109944 4381996 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=494144 CPUtime=161.82 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 41660 0 0 0 16160 22 0 0 20 0 3 0 333265899 506003456 104739 33554432000 4194304 5964478 140733716545536 140305103620408 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 494144
[startup+222.3 s]
/proc/loadavg: 4.00 3.97 3.73 5/181 32112
/proc/meminfo: memFree=26449952/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=559680 CPUtime=444.42 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 116522 0 0 0 44382 60 0 0 20 0 3 0 333265898 573112320 118473 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 139920 118473 198 433 0 139484 0
[pid=32095/tid=32097] ppid=32093 vsize=559680 CPUtime=221.66 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 64481 0 0 0 22128 38 0 0 20 0 3 0 333265899 573112320 118473 33554432000 4194304 5964478 140733716545536 140305114109944 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=559680 CPUtime=221.66 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 50900 0 0 0 22138 28 0 0 20 0 3 0 333265899 573112320 118473 33554432000 4194304 5964478 140733716545536 140305103620408 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 559680
[startup+282.3 s]
/proc/loadavg: 4.00 3.97 3.74 5/181 32113
/proc/meminfo: memFree=26312960/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=626588 CPUtime=564.4 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 135580 0 0 0 56357 83 0 0 20 0 3 0 333265898 641626112 137531 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 156647 137531 198 433 0 156211 0
[pid=32095/tid=32097] ppid=32093 vsize=626588 CPUtime=281.51 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 81768 0 0 0 28091 60 0 0 20 0 3 0 333265899 641626112 137531 33554432000 4194304 5964478 140733716545536 140305114109944 4221232 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=626588 CPUtime=281.51 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 52671 0 0 0 28121 30 0 0 20 0 3 0 333265899 641626112 137531 33554432000 4194304 5964478 140733716545536 140305103620168 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 626588
[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.76 5/181 32113
/proc/meminfo: memFree=26280252/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=626884 CPUtime=684.39 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 142286 0 0 0 68344 95 0 0 20 0 3 0 333265898 641929216 144237 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 156721 144237 198 433 0 156285 0
################
# More data... #
################
[pid=32095/tid=32098] ppid=32093 vsize=626884 CPUtime=341.36 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 59364 0 0 0 34094 42 0 0 20 0 3 0 333265899 641929216 144237 33554432000 4194304 5964478 140733716545536 140305103620408 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.39
Current children cumulated vsize (KiB) 626884
[startup+402.3 s]
/proc/loadavg: 4.00 3.97 3.77 5/181 32113
/proc/meminfo: memFree=25952396/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=824500 CPUtime=804.35 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 177280 0 0 0 80296 139 0 0 20 0 3 0 333265898 844288000 179038 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 206125 179038 198 433 0 205689 0
[pid=32095/tid=32097] ppid=32093 vsize=824500 CPUtime=401.2 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 87297 0 0 0 40049 71 0 0 20 0 3 0 333265899 844288000 179038 33554432000 4194304 5964478 140733716545536 140305114109944 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=824500 CPUtime=401.19 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 88842 0 0 0 40040 79 0 0 20 0 3 0 333265899 844288000 179038 33554432000 4194304 5964478 140733716545536 140305103620408 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 824500
[startup+462.3 s]
/proc/loadavg: 4.03 3.99 3.78 5/181 32113
/proc/meminfo: memFree=25817328/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=891068 CPUtime=924.29 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 196244 0 0 0 92265 164 0 0 20 0 3 0 333265898 912453632 198008 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 222767 198008 198 433 0 222331 0
[pid=32095/tid=32097] ppid=32093 vsize=891068 CPUtime=461.02 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106179 0 0 0 46006 96 0 0 20 0 3 0 333265899 912453632 198008 33554432000 4194304 5964478 140733716545536 140305114109944 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=891068 CPUtime=461.02 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 88924 0 0 0 46023 79 0 0 20 0 3 0 333265899 912453632 198008 33554432000 4194304 5964478 140733716545536 140305103620168 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.29
Current children cumulated vsize (KiB) 891068
[startup+522.3 s]
/proc/loadavg: 4.01 3.99 3.80 5/181 32113
/proc/meminfo: memFree=25817420/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=891228 CPUtime=1044.24 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 196324 0 0 0 104260 164 0 0 20 0 3 0 333265898 912617472 197877 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 222807 197877 198 433 0 222371 0
[pid=32095/tid=32097] ppid=32093 vsize=891228 CPUtime=520.84 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106209 0 0 0 51987 97 0 0 20 0 3 0 333265899 912617472 197877 33554432000 4194304 5964478 140733716545536 140305114109976 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=891228 CPUtime=520.86 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 88974 0 0 0 52006 80 0 0 20 0 3 0 333265899 912617472 197877 33554432000 4194304 5964478 140733716545536 140305103620168 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.24
Current children cumulated vsize (KiB) 891228
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.81 5/181 32114
/proc/meminfo: memFree=25819124/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=891228 CPUtime=1164.2 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 196384 0 0 0 116256 164 0 0 20 0 3 0 333265898 912617472 197412 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 222807 197412 198 433 0 222371 0
[pid=32095/tid=32097] ppid=32093 vsize=891228 CPUtime=580.67 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106236 0 0 0 57969 98 0 0 20 0 3 0 333265899 912617472 197412 33554432000 4194304 5964478 140733716545536 140305114109976 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=891228 CPUtime=580.7 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 89007 0 0 0 57989 81 0 0 20 0 3 0 333265899 912617472 197412 33554432000 4194304 5964478 140733716545536 140305103620168 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.2
Current children cumulated vsize (KiB) 891228
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.82 5/182 32117
/proc/meminfo: memFree=25705188/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=892364 CPUtime=1284.14 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 203594 0 0 0 128242 172 0 0 20 0 3 0 333265898 913780736 204681 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 223091 204681 198 433 0 222655 0
[pid=32095/tid=32097] ppid=32093 vsize=892364 CPUtime=640.49 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106279 0 0 0 63950 99 0 0 20 0 3 0 333265899 913780736 204681 33554432000 4194304 5964478 140733716545536 140305114109976 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=892364 CPUtime=640.54 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 96174 0 0 0 63963 91 0 0 20 0 3 0 333265899 913780736 204681 33554432000 4194304 5964478 140733716545536 140305103620408 4400056 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) 892364
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.82 5/181 32117
/proc/meminfo: memFree=25520024/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=958836 CPUtime=1404.09 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221393 0 0 0 140216 193 0 0 20 0 3 0 333265898 981848064 222492 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239709 222492 198 433 0 239273 0
[pid=32095/tid=32097] ppid=32093 vsize=958836 CPUtime=700.33 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114111 0 0 0 69924 109 0 0 20 0 3 0 333265899 981848064 222492 33554432000 4194304 5964478 140733716545536 140305114109944 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=958836 CPUtime=700.37 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106141 0 0 0 69934 103 0 0 20 0 3 0 333265899 981848064 222492 33554432000 4194304 5964478 140733716545536 140305103620456 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.09
Current children cumulated vsize (KiB) 958836
[startup+762.306 s]
/proc/loadavg: 4.06 4.00 3.84 5/181 32117
/proc/meminfo: memFree=25519280/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=958836 CPUtime=1524.05 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221426 0 0 0 152212 193 0 0 20 0 3 0 333265898 981848064 222559 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239709 222559 198 433 0 239273 0
[pid=32095/tid=32097] ppid=32093 vsize=958836 CPUtime=760.18 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114111 0 0 0 75908 110 0 0 20 0 3 0 333265899 981848064 222559 33554432000 4194304 5964478 140733716545536 140305114109944 4400528 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=958836 CPUtime=760.2 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106174 0 0 0 75916 104 0 0 20 0 3 0 333265899 981848064 222559 33554432000 4194304 5964478 140733716545536 140305103620456 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.05
Current children cumulated vsize (KiB) 958836
[startup+822.3 s]
/proc/loadavg: 4.02 4.00 3.84 5/181 32117
/proc/meminfo: memFree=25519576/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=958836 CPUtime=1644.02 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221426 0 0 0 164209 193 0 0 20 0 3 0 333265898 981848064 222559 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239709 222559 198 433 0 239273 0
[pid=32095/tid=32097] ppid=32093 vsize=958836 CPUtime=820.02 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114111 0 0 0 81891 111 0 0 20 0 3 0 333265899 981848064 222559 33554432000 4194304 5964478 140733716545536 140305114109944 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=958836 CPUtime=820.04 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106174 0 0 0 81899 105 0 0 20 0 3 0 333265899 981848064 222559 33554432000 4194304 5964478 140733716545536 140305103620456 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.02
Current children cumulated vsize (KiB) 958836
[startup+882.3 s]
/proc/loadavg: 4.01 4.00 3.85 5/181 32118
/proc/meminfo: memFree=25519728/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=958972 CPUtime=1764 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221471 0 0 0 176207 193 0 0 20 0 3 0 333265898 981987328 222349 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239743 222349 198 433 0 239307 0
[pid=32095/tid=32097] ppid=32093 vsize=958972 CPUtime=879.86 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114117 0 0 0 87874 112 0 0 20 0 3 0 333265899 981987328 222349 33554432000 4194304 5964478 140733716545536 140305114109944 4381993 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=958972 CPUtime=879.88 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106213 0 0 0 87882 106 0 0 20 0 3 0 333265899 981987328 222349 33554432000 4194304 5964478 140733716545536 140305103620168 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764
Current children cumulated vsize (KiB) 958972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/181 32118
/proc/meminfo: memFree=25519448/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=959436 CPUtime=1800.01 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221583 0 0 0 179808 193 0 0 20 0 3 0 333265898 982462464 222461 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239859 222461 198 433 0 239423 0
[pid=32095/tid=32097] ppid=32093 vsize=959436 CPUtime=897.82 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114117 0 0 0 89670 112 0 0 20 0 3 0 333265899 982462464 222461 33554432000 4194304 5964478 140733716545536 140305114109944 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=959436 CPUtime=897.84 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106325 0 0 0 89678 106 0 0 20 0 3 0 333265899 982462464 222461 33554432000 4194304 5964478 140733716545536 140305103620168 4381702 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 959436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/181 32118
/proc/meminfo: memFree=25519448/32873844 swapFree=6608/6608
[pid=32095] ppid=32093 vsize=959436 CPUtime=1800.01 cores=0,2,4,6
/proc/32095/stat : 32095 (pwbo2.02) S 32093 32095 31325 0 -1 4202496 221583 0 0 0 179808 193 0 0 20 0 3 0 333265898 982462464 222461 33554432000 4194304 5964478 140733716545536 140733716545056 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32095/statm: 239859 222461 198 433 0 239423 0
[pid=32095/tid=32097] ppid=32093 vsize=959436 CPUtime=897.82 cores=0,2,4,6
/proc/32095/task/32097/stat : 32097 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 114117 0 0 0 89670 112 0 0 20 0 3 0 333265899 982462464 222461 33554432000 4194304 5964478 140733716545536 140305114109944 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32095/tid=32098] ppid=32093 vsize=959436 CPUtime=897.84 cores=0,2,4,6
/proc/32095/task/32098/stat : 32098 (pwbo2.02) R 32093 32095 31325 0 -1 4202560 106325 0 0 0 89678 106 0 0 20 0 3 0 333265899 982462464 222461 33554432000 4194304 5964478 140733716545536 140305103620168 4381702 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 959436
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32095 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=511344
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=222662
# CPU time returned by wait4() is 1795.73
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.33
CPU time (s): 1800.01
CPU user time (s): 1798.08
CPU system time (s): 1.93
CPU usage (%): 199.928
Max. virtual memory (cumulated for all children) (KiB): 959436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.51
system time used= 2.22266
maximum resident set size= 890320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221584
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= 1012
involuntary context switches= 1846
runsolver used 1.70974 second user time and 4.84726 second system time
The end