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-3703671-1338094808/watcher-3703671-1338094808 -o /tmp/evaluation-result-3703671-1338094808/solver-3703671-1338094808 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703671-1338094808.opb
running on 4 cores: 1,3,5,7
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.01 4.00 3.93 4/179 12578
/proc/meminfo: memFree=30865656/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=10328 CPUtime=0 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) R 12576 12578 11438 0 -1 4202496 412 0 0 0 0 0 0 0 20 0 1 0 275609398 10575872 365 33554432000 4194304 5965102 140737194227552 140735346233464 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 2582 366 169 433 0 644 0
[startup+0.0481849 s]
/proc/loadavg: 4.01 4.00 3.93 4/179 12578
/proc/meminfo: memFree=30865656/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=15920 CPUtime=0.04 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) R 12576 12578 11438 0 -1 4202496 1933 0 0 0 4 0 0 0 20 0 1 0 275609398 16302080 1886 33554432000 4194304 5965102 140737194227552 140737194225624 5303608 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 3980 1888 280 433 0 2042 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15920
[startup+0.10035 s]
/proc/loadavg: 4.01 4.00 3.93 4/179 12578
/proc/meminfo: memFree=30865656/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=23800 CPUtime=0.09 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) R 12576 12578 11438 0 -1 4202496 4009 0 0 0 9 0 0 0 20 0 1 0 275609398 24371200 3962 33554432000 4194304 5965102 140737194227552 140737194225624 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 5950 3963 420 433 0 4012 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23800
[startup+0.300326 s]
/proc/loadavg: 4.01 4.00 3.93 4/179 12578
/proc/meminfo: memFree=30865656/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=51612 CPUtime=0.29 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) R 12576 12578 11438 0 -1 4202496 11463 0 0 0 27 2 0 0 20 0 1 0 275609398 52850688 11416 33554432000 4194304 5965102 140737194227552 140737194225624 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 12903 11417 938 433 0 10965 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51612
[startup+0.700206 s]
/proc/loadavg: 4.01 4.00 3.93 4/179 12578
/proc/meminfo: memFree=30865656/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=243940 CPUtime=0.81 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 31643 0 0 0 72 9 0 0 20 0 3 0 275609398 249794560 30085 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60985 30085 191 433 0 60549 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 243940
[startup+1.5004 s]
/proc/loadavg: 4.01 4.00 3.93 5/182 12581
/proc/meminfo: memFree=30741492/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=2.4 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 32995 0 0 0 231 9 0 0 20 0 3 0 275609398 248770560 31222 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 31222 195 433 0 60299 0
[pid=12578/tid=12580] ppid=12576 vsize=242940 CPUtime=0.9 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 10378 0 0 0 85 5 0 0 20 0 3 0 275609456 248770560 31222 33554432000 4194304 5965102 140737194227552 140612983646136 4222330 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=0.9 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 658 0 0 0 90 0 0 0 20 0 3 0 275609456 248770560 31222 33554432000 4194304 5965102 140737194227552 140612973156600 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 242940
[startup+3.1004 s]
/proc/loadavg: 4.01 4.00 3.93 5/182 12581
/proc/meminfo: memFree=30740500/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=5.6 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 33011 0 0 0 551 9 0 0 20 0 3 0 275609398 248770560 31238 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 31238 196 433 0 60299 0
[pid=12578/tid=12580] ppid=12576 vsize=242940 CPUtime=2.5 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 10380 0 0 0 245 5 0 0 20 0 3 0 275609456 248770560 31238 33554432000 4194304 5965102 140737194227552 140612983646136 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=2.5 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 672 0 0 0 250 0 0 0 20 0 3 0 275609456 248770560 31238 33554432000 4194304 5965102 140737194227552 140612973156712 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 242940
[startup+6.30039 s]
/proc/loadavg: 4.01 4.00 3.93 5/182 12581
/proc/meminfo: memFree=30738136/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=11.98 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 33107 0 0 0 1188 10 0 0 20 0 3 0 275609398 248770560 31334 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 31334 198 433 0 60299 0
[pid=12578/tid=12580] ppid=12576 vsize=242940 CPUtime=5.69 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 10445 0 0 0 564 5 0 0 20 0 3 0 275609456 248770560 31334 33554432000 4194304 5965102 140737194227552 140612983646248 4222330 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=5.67 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 703 0 0 0 567 0 0 0 20 0 3 0 275609456 248770560 31334 33554432000 4194304 5965102 140737194227552 140612973156664 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 242940
[startup+12.7004 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 12581
/proc/meminfo: memFree=30733728/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=24.77 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 33306 0 0 0 2467 10 0 0 20 0 3 0 275609398 248770560 31533 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 31533 198 433 0 60299 0
[pid=12578/tid=12580] ppid=12576 vsize=242940 CPUtime=12.07 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 10565 0 0 0 1202 5 0 0 20 0 3 0 275609456 248770560 31533 33554432000 4194304 5965102 140737194227552 140612983646248 4222330 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=12.05 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 782 0 0 0 1205 0 0 0 20 0 3 0 275609456 248770560 31533 33554432000 4194304 5965102 140737194227552 140612973156600 4404416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 242940
[startup+25.5004 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 12581
/proc/meminfo: memFree=30726248/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=50.37 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 33708 0 0 0 5026 11 0 0 20 0 3 0 275609398 248770560 31935 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 31935 198 433 0 60299 0
[pid=12578/tid=12580] ppid=12576 vsize=242940 CPUtime=24.84 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 10804 0 0 0 2478 6 0 0 20 0 3 0 275609456 248770560 31935 33554432000 4194304 5965102 140737194227552 140612983646200 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=24.82 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 945 0 0 0 2482 0 0 0 20 0 3 0 275609456 248770560 31935 33554432000 4194304 5965102 140737194227552 140612973156472 4404410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 242940
[startup+51.1004 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 12581
/proc/meminfo: memFree=30722588/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=101.56 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 34524 0 0 0 10143 13 0 0 20 0 3 0 275609398 248770560 32751 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 32751 198 433 0 60299 0
[pid=12578/tid=12580] ppid=12576 vsize=242940 CPUtime=50.37 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 11272 0 0 0 5030 7 0 0 20 0 3 0 275609456 248770560 32751 33554432000 4194304 5965102 140737194227552 140612983646200 4222308 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=50.35 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 1293 0 0 0 5034 1 0 0 20 0 3 0 275609456 248770560 32751 33554432000 4194304 5965102 140737194227552 140612973156712 4404416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 242940
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 12604
/proc/meminfo: memFree=30706840/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=203.95 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 36214 0 0 0 20379 16 0 0 20 0 3 0 275609398 248770560 34441 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 34441 198 433 0 60299 0
[pid=12578/tid=12580] ppid=12576 vsize=242940 CPUtime=101.44 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 12197 0 0 0 10134 10 0 0 20 0 3 0 275609456 248770560 34441 33554432000 4194304 5965102 140737194227552 140612983646008 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=101.43 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 2058 0 0 0 10139 4 0 0 20 0 3 0 275609456 248770560 34441 33554432000 4194304 5965102 140737194227552 140612973156664 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 242940
[startup+162.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/181 12604
/proc/meminfo: memFree=30687824/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=323.89 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 36762 0 0 0 32372 17 0 0 20 0 3 0 275609398 248770560 34963 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 34963 198 433 0 60299 0
[pid=12578/tid=12580] ppid=12576 vsize=242940 CPUtime=161.28 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 12595 0 0 0 16117 11 0 0 20 0 3 0 275609456 248770560 34963 33554432000 4194304 5965102 140737194227552 140612983646008 4404767 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=161.24 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 2208 0 0 0 16119 5 0 0 20 0 3 0 275609456 248770560 34963 33554432000 4194304 5965102 140737194227552 140612973156664 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 323.89
Current children cumulated vsize (KiB) 242940
[startup+222.3 s]
/proc/loadavg: 4.01 4.01 3.93 5/181 12604
/proc/meminfo: memFree=30667220/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=443.85 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 38044 0 0 0 44364 21 0 0 20 0 3 0 275609398 248770560 36435 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 36435 198 433 0 60299 0
[pid=12578/tid=12580] ppid=12576 vsize=242940 CPUtime=221.11 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 13557 0 0 0 22096 15 0 0 20 0 3 0 275609456 248770560 36435 33554432000 4194304 5965102 140737194227552 140612983646008 4404740 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=221.07 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 2528 0 0 0 22100 7 0 0 20 0 3 0 275609456 248770560 36435 33554432000 4194304 5965102 140737194227552 140612973156664 4394002 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 443.85
Current children cumulated vsize (KiB) 242940
[startup+282.3 s]
/proc/loadavg: 3.90 3.97 3.92 5/181 12686
/proc/meminfo: memFree=31068312/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=563.82 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 38885 0 0 0 56360 22 0 0 20 0 3 0 275609398 248770560 38036 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 38036 198 433 0 60299 0
[pid=12578/tid=12580] ppid=12576 vsize=242940 CPUtime=280.95 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 14273 0 0 0 28078 17 0 0 20 0 3 0 275609456 248770560 38036 33554432000 4194304 5965102 140737194227552 140612983646248 4222324 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=280.92 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 2653 0 0 0 28084 8 0 0 20 0 3 0 275609456 248770560 38036 33554432000 4194304 5965102 140737194227552 140612973156768 4222308 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 563.82
Current children cumulated vsize (KiB) 242940
[startup+342.3 s]
/proc/loadavg: 3.96 3.97 3.92 5/181 12686
/proc/meminfo: memFree=31049340/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=683.8 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 40222 0 0 0 68356 24 0 0 20 0 3 0 275609398 248770560 39383 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 39383 198 433 0 60299 0
################
# More data... #
################
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=340.76 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 3346 0 0 0 34066 10 0 0 20 0 3 0 275609456 248770560 39383 33554432000 4194304 5965102 140737194227552 140612973156712 4404416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 683.8
Current children cumulated vsize (KiB) 242940
[startup+402.3 s]
/proc/loadavg: 3.98 3.97 3.92 5/181 12686
/proc/meminfo: memFree=31036084/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=242940 CPUtime=803.78 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 40870 0 0 0 80353 25 0 0 20 0 3 0 275609398 248770560 40033 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60735 40033 198 433 0 60299 0
[pid=12578/tid=12580] ppid=12576 vsize=242940 CPUtime=400.64 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 15565 0 0 0 40043 21 0 0 20 0 3 0 275609456 248770560 40033 33554432000 4194304 5965102 140737194227552 140612983646248 4222330 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=242940 CPUtime=400.61 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 3346 0 0 0 40050 11 0 0 20 0 3 0 275609456 248770560 40033 33554432000 4194304 5965102 140737194227552 140612973156712 4404416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 803.78
Current children cumulated vsize (KiB) 242940
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 12686
/proc/meminfo: memFree=31013916/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=243908 CPUtime=923.76 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 42577 0 0 0 92348 28 0 0 20 0 3 0 275609398 249761792 41740 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60977 41740 198 433 0 60541 0
[pid=12578/tid=12580] ppid=12576 vsize=243908 CPUtime=460.49 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 16759 0 0 0 46026 23 0 0 20 0 3 0 275609456 249761792 41740 33554432000 4194304 5965102 140737194227552 140612983646008 4404410 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=243908 CPUtime=460.46 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 3859 0 0 0 46034 12 0 0 20 0 3 0 275609456 249761792 41740 33554432000 4194304 5965102 140737194227552 140612973156664 4404416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 923.76
Current children cumulated vsize (KiB) 243908
[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 12686
/proc/meminfo: memFree=31004244/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=243908 CPUtime=1043.75 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 42880 0 0 0 104346 29 0 0 20 0 3 0 275609398 249761792 42043 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 60977 42043 198 433 0 60541 0
[pid=12578/tid=12580] ppid=12576 vsize=243908 CPUtime=520.33 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 16794 0 0 0 52008 25 0 0 20 0 3 0 275609456 249761792 42043 33554432000 4194304 5965102 140737194227552 140612983646008 4404757 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=243908 CPUtime=520.3 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 4127 0 0 0 52017 13 0 0 20 0 3 0 275609456 249761792 42043 33554432000 4194304 5965102 140737194227552 140612973156664 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1043.75
Current children cumulated vsize (KiB) 243908
[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 12687
/proc/meminfo: memFree=30985816/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=309444 CPUtime=1163.73 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 43563 0 0 0 116342 31 0 0 20 0 3 0 275609398 316870656 42929 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 77361 42929 198 433 0 76925 0
[pid=12578/tid=12580] ppid=12576 vsize=309444 CPUtime=580.17 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 17474 0 0 0 57990 27 0 0 20 0 3 0 275609456 316870656 42929 33554432000 4194304 5965102 140737194227552 140612983646200 4404748 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=309444 CPUtime=580.15 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 4130 0 0 0 58001 14 0 0 20 0 3 0 275609456 316870656 42929 33554432000 4194304 5965102 140737194227552 140612973156664 4404757 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1163.73
Current children cumulated vsize (KiB) 309444
[startup+642.3 s]
/proc/loadavg: 4.05 3.99 3.93 5/182 12690
/proc/meminfo: memFree=30970036/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=309444 CPUtime=1283.72 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 45022 0 0 0 128339 33 0 0 20 0 3 0 275609398 316870656 44388 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 77361 44388 198 433 0 76925 0
[pid=12578/tid=12580] ppid=12576 vsize=309444 CPUtime=640.03 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 18666 0 0 0 63973 30 0 0 20 0 3 0 275609456 316870656 44388 33554432000 4194304 5965102 140737194227552 140612983646200 4404410 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=309444 CPUtime=640 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 4397 0 0 0 63985 15 0 0 20 0 3 0 275609456 316870656 44388 33554432000 4194304 5965102 140737194227552 140612973156664 4389864 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1283.72
Current children cumulated vsize (KiB) 309444
[startup+702.3 s]
/proc/loadavg: 4.02 3.99 3.93 5/181 12690
/proc/meminfo: memFree=30957324/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=309924 CPUtime=1403.69 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 46829 0 0 0 140333 36 0 0 20 0 3 0 275609398 317362176 46221 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 77481 46221 198 433 0 77045 0
[pid=12578/tid=12580] ppid=12576 vsize=309924 CPUtime=699.86 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 19538 0 0 0 69953 33 0 0 20 0 3 0 275609456 317362176 46221 33554432000 4194304 5965102 140737194227552 140612983646008 4404767 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=309924 CPUtime=699.84 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 5332 0 0 0 69966 18 0 0 20 0 3 0 275609456 317362176 46221 33554432000 4194304 5965102 140737194227552 140612973156664 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1403.69
Current children cumulated vsize (KiB) 309924
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.93 5/181 12690
/proc/meminfo: memFree=30945724/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=309924 CPUtime=1523.67 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 47143 0 0 0 152331 36 0 0 20 0 3 0 275609398 317362176 46548 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 77481 46548 198 433 0 77045 0
[pid=12578/tid=12580] ppid=12576 vsize=309924 CPUtime=759.72 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 19545 0 0 0 75938 34 0 0 20 0 3 0 275609456 317362176 46548 33554432000 4194304 5965102 140737194227552 140612983646008 4222330 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=309924 CPUtime=759.69 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 5639 0 0 0 75950 19 0 0 20 0 3 0 275609456 317362176 46548 33554432000 4194304 5965102 140737194227552 140612973156664 4404769 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.67
Current children cumulated vsize (KiB) 309924
[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.93 5/181 12690
/proc/meminfo: memFree=30931872/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=309924 CPUtime=1643.64 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 47191 0 0 0 164328 36 0 0 20 0 3 0 275609398 317362176 46596 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 77481 46596 198 433 0 77045 0
[pid=12578/tid=12580] ppid=12576 vsize=309924 CPUtime=819.56 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 19593 0 0 0 81921 35 0 0 20 0 3 0 275609456 317362176 46596 33554432000 4194304 5965102 140737194227552 140612983646008 4404416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=309924 CPUtime=819.53 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 5639 0 0 0 81933 20 0 0 20 0 3 0 275609456 317362176 46596 33554432000 4194304 5965102 140737194227552 140612973156664 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.64
Current children cumulated vsize (KiB) 309924
[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.93 5/181 12691
/proc/meminfo: memFree=30927588/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=309924 CPUtime=1763.63 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 48162 0 0 0 176325 38 0 0 20 0 3 0 275609398 317362176 47567 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 77481 47567 198 433 0 77045 0
[pid=12578/tid=12580] ppid=12576 vsize=309924 CPUtime=879.4 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 20564 0 0 0 87902 38 0 0 20 0 3 0 275609456 317362176 47567 33554432000 4194304 5965102 140737194227552 140612983646248 4404410 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=309924 CPUtime=879.38 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 5639 0 0 0 87917 21 0 0 20 0 3 0 275609456 317362176 47567 33554432000 4194304 5965102 140737194227552 140612973156664 4222330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.63
Current children cumulated vsize (KiB) 309924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.5 s]
/proc/loadavg: 4.00 3.99 3.93 5/181 12691
/proc/meminfo: memFree=30925728/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=309924 CPUtime=1800.04 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 48566 0 0 0 179965 39 0 0 20 0 3 0 275609398 317362176 47971 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 77481 47971 198 433 0 77045 0
[pid=12578/tid=12580] ppid=12576 vsize=309924 CPUtime=897.56 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 20968 0 0 0 89718 38 0 0 20 0 3 0 275609456 317362176 47971 33554432000 4194304 5965102 140737194227552 140612983646200 4394002 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=309924 CPUtime=897.54 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 5639 0 0 0 89733 21 0 0 20 0 3 0 275609456 317362176 47971 33554432000 4194304 5965102 140737194227552 140612973156664 4394002 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 309924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.5 s]
/proc/loadavg: 4.00 3.99 3.93 5/181 12691
/proc/meminfo: memFree=30925728/32873844 swapFree=7364/7364
[pid=12578] ppid=12576 vsize=309924 CPUtime=1800.04 cores=1,3,5,7
/proc/12578/stat : 12578 (pwbo2.0) S 12576 12578 11438 0 -1 4202496 48566 0 0 0 179965 39 0 0 20 0 3 0 275609398 317362176 47971 33554432000 4194304 5965102 140737194227552 140737194227072 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12578/statm: 77481 47971 198 433 0 77045 0
[pid=12578/tid=12580] ppid=12576 vsize=309924 CPUtime=897.56 cores=1,3,5,7
/proc/12578/task/12580/stat : 12580 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 20968 0 0 0 89718 38 0 0 20 0 3 0 275609456 317362176 47971 33554432000 4194304 5965102 140737194227552 140612983646200 4394002 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=309924 CPUtime=897.54 cores=1,3,5,7
/proc/12578/task/12581/stat : 12581 (pwbo2.0) R 12576 12578 11438 0 -1 4202560 5639 0 0 0 89733 21 0 0 20 0 3 0 275609456 317362176 47971 33554432000 4194304 5965102 140737194227552 140612973156664 4394002 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 309924
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12578 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=58109
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=656900
# CPU time returned by wait4() is 1795.71
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.514
CPU time (s): 1800.04
CPU user time (s): 1799.65
CPU system time (s): 0.39
CPU usage (%): 199.89
Max. virtual memory (cumulated for all children) (KiB): 309924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.06
system time used= 0.6569
maximum resident set size= 191892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48568
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= 438
involuntary context switches= 2426
runsolver used 2.02369 second user time and 5.42218 second system time
The end