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-3726773-1338665135/watcher-3726773-1338665135 -o /tmp/evaluation-result-3726773-1338665135/solver-3726773-1338665135 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726773-1338665135.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.00 3.99 3.86 4/180 25841
/proc/meminfo: memFree=27704104/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=5172 CPUtime=0 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) R 25839 25841 25363 0 -1 4202496 585 0 0 0 0 0 0 0 20 0 1 0 332638865 5296128 539 33554432000 4194304 5964478 140734450766592 140734753088504 5179243 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 1293 542 171 433 0 827 0

[startup+0.014192 s]
/proc/loadavg: 4.00 3.99 3.86 4/180 25841
/proc/meminfo: memFree=27704104/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=164228 CPUtime=0 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 1434 0 0 0 0 0 0 0 20 0 3 0 332638865 168169472 1356 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 41057 1360 176 433 0 40621 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 164228

[startup+0.100166 s]
/proc/loadavg: 4.00 3.99 3.86 4/180 25841
/proc/meminfo: memFree=27704104/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=164492 CPUtime=0.17 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 2247 0 0 0 17 0 0 0 20 0 3 0 332638865 168439808 2168 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 41123 2168 204 433 0 40687 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164492

[startup+0.30013 s]
/proc/loadavg: 4.00 3.99 3.86 4/180 25841
/proc/meminfo: memFree=27704104/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=164492 CPUtime=0.57 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 2651 0 0 0 57 0 0 0 20 0 3 0 332638865 168439808 2572 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 41123 2572 204 433 0 40687 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164492

[startup+0.700134 s]
/proc/loadavg: 4.00 3.99 3.86 4/180 25841
/proc/meminfo: memFree=27704104/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=164492 CPUtime=1.37 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 3291 0 0 0 136 1 0 0 20 0 3 0 332638865 168439808 3212 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 41123 3212 204 433 0 40687 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164492

[startup+1.50033 s]
/proc/loadavg: 4.00 3.99 3.86 5/183 25844
/proc/meminfo: memFree=27690200/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=164492 CPUtime=2.98 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 3889 0 0 0 296 2 0 0 20 0 3 0 332638865 168439808 3810 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 41123 3810 204 433 0 40687 0
[pid=25841/tid=25843] ppid=25839 vsize=164492 CPUtime=1.47 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 1443 0 0 0 147 0 0 0 20 0 3 0 332638866 168439808 3810 33554432000 4194304 5964478 140734450766592 139746215680200 4222330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=164492 CPUtime=1.47 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 1183 0 0 0 147 0 0 0 20 0 3 0 332638866 168439808 3810 33554432000 4194304 5964478 140734450766592 139746205190264 4400016 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 164492

[startup+3.10036 s]
/proc/loadavg: 4.00 3.99 3.86 5/183 25844
/proc/meminfo: memFree=27687116/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=164780 CPUtime=6.17 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 5188 0 0 0 614 3 0 0 20 0 3 0 332638865 168734720 5109 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 41195 5109 204 433 0 40759 0
[pid=25841/tid=25843] ppid=25839 vsize=164780 CPUtime=3.06 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 1995 0 0 0 305 1 0 0 20 0 3 0 332638866 168734720 5109 33554432000 4194304 5964478 140734450766592 139746215679800 4392738 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=164780 CPUtime=3.06 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 1930 0 0 0 304 2 0 0 20 0 3 0 332638866 168734720 5109 33554432000 4194304 5964478 140734450766592 139746205190456 4403373 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164780

[startup+6.30032 s]
/proc/loadavg: 4.00 3.99 3.86 5/183 25844
/proc/meminfo: memFree=27676204/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=165120 CPUtime=12.57 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 7106 0 0 0 1253 4 0 0 20 0 3 0 332638865 169082880 6994 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 41280 6994 204 433 0 40844 0
[pid=25841/tid=25843] ppid=25839 vsize=165120 CPUtime=6.25 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 3048 0 0 0 624 1 0 0 20 0 3 0 332638866 169082880 6994 33554432000 4194304 5964478 140734450766592 139746215679904 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=165120 CPUtime=6.25 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 2795 0 0 0 623 2 0 0 20 0 3 0 332638866 169082880 6994 33554432000 4194304 5964478 140734450766592 139746205190456 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 165120

[startup+12.7004 s]
/proc/loadavg: 4.08 4.00 3.87 5/183 25844
/proc/meminfo: memFree=27667180/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=165764 CPUtime=25.38 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 9641 0 0 0 2531 7 0 0 20 0 3 0 332638865 169742336 9529 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 41441 9529 204 433 0 41005 0
[pid=25841/tid=25843] ppid=25839 vsize=165764 CPUtime=12.64 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 3843 0 0 0 1262 2 0 0 20 0 3 0 332638866 169742336 9529 33554432000 4194304 5964478 140734450766592 139746215679800 4400490 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=165764 CPUtime=12.64 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 4535 0 0 0 1260 4 0 0 20 0 3 0 332638866 169742336 9529 33554432000 4194304 5964478 140734450766592 139746205190456 4403376 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 165764

[startup+25.5004 s]
/proc/loadavg: 4.06 4.00 3.87 5/183 25844
/proc/meminfo: memFree=27640020/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=166992 CPUtime=50.97 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 14054 0 0 0 5084 13 0 0 20 0 3 0 332638865 170999808 13942 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 41748 13942 204 433 0 41312 0
[pid=25841/tid=25843] ppid=25839 vsize=166992 CPUtime=25.4 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 5906 0 0 0 2536 4 0 0 20 0 3 0 332638866 170999808 13942 33554432000 4194304 5964478 140734450766592 139746215679992 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=166992 CPUtime=25.4 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 6885 0 0 0 2532 8 0 0 20 0 3 0 332638866 170999808 13942 33554432000 4194304 5964478 140734450766592 139746205190456 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 166992

[startup+51.1004 s]
/proc/loadavg: 4.04 4.00 3.87 5/183 25844
/proc/meminfo: memFree=27594992/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=168616 CPUtime=102.16 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 17902 0 0 0 10199 17 0 0 20 0 3 0 332638865 172662784 18160 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 42154 18160 204 433 0 41718 0
[pid=25841/tid=25843] ppid=25839 vsize=168616 CPUtime=50.93 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 8900 0 0 0 5086 7 0 0 20 0 3 0 332638866 172662784 18160 33554432000 4194304 5964478 140734450766592 139746215679992 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=168616 CPUtime=50.93 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 7739 0 0 0 5084 9 0 0 20 0 3 0 332638866 172662784 18160 33554432000 4194304 5964478 140734450766592 139746205190560 4400091 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 168616

[startup+102.307 s]
/proc/loadavg: 4.01 4.00 3.87 5/183 25844
/proc/meminfo: memFree=27533916/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=171960 CPUtime=204.51 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 28899 0 0 0 20417 34 0 0 20 0 3 0 332638865 176087040 29437 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 42990 29437 204 433 0 42554 0
[pid=25841/tid=25843] ppid=25839 vsize=171960 CPUtime=101.99 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 16489 0 0 0 10182 17 0 0 20 0 3 0 332638866 176087040 29437 33554432000 4194304 5964478 140734450766592 139746215680344 4398290 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=171960 CPUtime=101.99 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 11147 0 0 0 10181 18 0 0 20 0 3 0 332638866 176087040 29437 33554432000 4194304 5964478 140734450766592 139746205190488 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 171960

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/183 25844
/proc/meminfo: memFree=27428372/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=237244 CPUtime=324.48 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 32516 0 0 0 32408 40 0 0 20 0 3 0 332638865 242937856 33206 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 59311 33206 204 433 0 58875 0
[pid=25841/tid=25843] ppid=25839 vsize=237244 CPUtime=161.82 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 17017 0 0 0 16164 18 0 0 20 0 3 0 332638866 242937856 33206 33554432000 4194304 5964478 140734450766592 139746215680096 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=237244 CPUtime=161.83 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 14236 0 0 0 16158 25 0 0 20 0 3 0 332638866 242937856 33206 33554432000 4194304 5964478 140734450766592 139746205190264 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 237244

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/183 25844
/proc/meminfo: memFree=27415504/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=238008 CPUtime=444.47 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 35776 0 0 0 44402 45 0 0 20 0 3 0 332638865 243720192 36463 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 59502 36463 204 433 0 59066 0
[pid=25841/tid=25843] ppid=25839 vsize=238008 CPUtime=221.67 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 17027 0 0 0 22148 19 0 0 20 0 3 0 332638866 243720192 36463 33554432000 4194304 5964478 140734450766592 139746215679904 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=238008 CPUtime=221.67 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 17486 0 0 0 22136 31 0 0 20 0 3 0 332638866 243720192 36463 33554432000 4194304 5964478 140734450766592 139746205190456 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 238008

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/184 25848
/proc/meminfo: memFree=27400232/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=304440 CPUtime=564.45 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 38432 0 0 0 56396 49 0 0 20 0 3 0 332638865 311746560 39118 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 76110 39118 204 433 0 75674 0
[pid=25841/tid=25843] ppid=25839 vsize=304440 CPUtime=281.51 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 17756 0 0 0 28130 21 0 0 20 0 3 0 332638866 311746560 39118 33554432000 4194304 5964478 140734450766592 139746215679992 4403370 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=304440 CPUtime=281.52 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 19413 0 0 0 28117 35 0 0 20 0 3 0 332638866 311746560 39118 33554432000 4194304 5964478 140734450766592 139746205190216 4400097 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 564.45
Current children cumulated vsize (KiB) 304440

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/183 25848
/proc/meminfo: memFree=27372364/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=305576 CPUtime=684.42 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 41932 0 0 0 68388 54 0 0 20 0 3 0 332638865 312909824 42615 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 76394 42615 204 433 0 75958 0

################
# More data... #
################

[pid=25841/tid=25844] ppid=25839 vsize=305576 CPUtime=341.36 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 20038 0 0 0 34100 36 0 0 20 0 3 0 332638866 312909824 42615 33554432000 4194304 5964478 140734450766592 139746205190328 4392962 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (KiB) 305576

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/183 25848
/proc/meminfo: memFree=27300444/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=305576 CPUtime=804.41 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 47038 0 0 0 80379 62 0 0 20 0 3 0 332638865 312909824 47717 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 76394 47717 204 433 0 75958 0
[pid=25841/tid=25843] ppid=25839 vsize=305576 CPUtime=401.2 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 23065 0 0 0 40088 32 0 0 20 0 3 0 332638866 312909824 47717 33554432000 4194304 5964478 140734450766592 139746215680040 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=305576 CPUtime=401.21 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 22710 0 0 0 40080 41 0 0 20 0 3 0 332638866 312909824 47717 33554432000 4194304 5964478 140734450766592 139746205190560 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 804.41
Current children cumulated vsize (KiB) 305576

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 25848
/proc/meminfo: memFree=27262004/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=307924 CPUtime=924.39 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 48618 0 0 0 92376 63 0 0 20 0 3 0 332638865 315314176 49297 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 76981 49297 204 433 0 76545 0
[pid=25841/tid=25843] ppid=25839 vsize=307924 CPUtime=461.04 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 24386 0 0 0 46070 34 0 0 20 0 3 0 332638866 315314176 49297 33554432000 4194304 5964478 140734450766592 139746215679904 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=307924 CPUtime=461.06 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 22969 0 0 0 46064 42 0 0 20 0 3 0 332638866 315314176 49297 33554432000 4194304 5964478 140734450766592 139746205190560 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 924.39
Current children cumulated vsize (KiB) 307924

[startup+522.3 s]
/proc/loadavg: 4.05 4.01 3.91 5/183 25901
/proc/meminfo: memFree=27886244/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=308936 CPUtime=1044.36 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 52996 0 0 0 104369 67 0 0 20 0 3 0 332638865 316350464 53914 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 77234 53914 204 433 0 76798 0
[pid=25841/tid=25843] ppid=25839 vsize=308936 CPUtime=520.88 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 28137 0 0 0 52050 38 0 0 20 0 3 0 332638866 316350464 53914 33554432000 4194304 5964478 140734450766592 139746215680040 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=308936 CPUtime=520.9 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 23596 0 0 0 52047 43 0 0 20 0 3 0 332638866 316350464 53914 33554432000 4194304 5964478 140734450766592 139746205190216 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1044.36
Current children cumulated vsize (KiB) 308936

[startup+582.3 s]
/proc/loadavg: 4.02 4.01 3.91 5/183 25902
/proc/meminfo: memFree=27762248/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=309176 CPUtime=1164.31 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 58449 0 0 0 116356 75 0 0 20 0 3 0 332638865 316596224 59578 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 77294 59578 204 433 0 76858 0
[pid=25841/tid=25843] ppid=25839 vsize=309176 CPUtime=580.7 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 30602 0 0 0 58028 42 0 0 20 0 3 0 332638866 316596224 59578 33554432000 4194304 5964478 140734450766592 139746215679992 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=309176 CPUtime=580.73 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 26584 0 0 0 58024 49 0 0 20 0 3 0 332638866 316596224 59579 33554432000 4194304 5964478 140734450766592 139746205190264 4399986 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1164.31
Current children cumulated vsize (KiB) 309176

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/183 25902
/proc/meminfo: memFree=27626164/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=311156 CPUtime=1284.28 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 63792 0 0 0 128343 85 0 0 20 0 3 0 332638865 318623744 65332 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 77789 65332 204 433 0 77353 0
[pid=25841/tid=25843] ppid=25839 vsize=311156 CPUtime=640.53 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 32857 0 0 0 64007 46 0 0 20 0 3 0 332638866 318623744 65332 33554432000 4194304 5964478 140734450766592 139746215680040 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=311156 CPUtime=640.58 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 29672 0 0 0 64002 56 0 0 20 0 3 0 332638866 318623744 65332 33554432000 4194304 5964478 140734450766592 139746205190456 4379008 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1284.28
Current children cumulated vsize (KiB) 311156

[startup+702.3 s]
/proc/loadavg: 4.05 4.01 3.92 5/183 25902
/proc/meminfo: memFree=27524672/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=376692 CPUtime=1404.24 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 66107 0 0 0 140338 86 0 0 20 0 3 0 332638865 385732608 68174 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 94173 68174 204 433 0 93737 0
[pid=25841/tid=25843] ppid=25839 vsize=376692 CPUtime=700.36 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 35167 0 0 0 69988 48 0 0 20 0 3 0 332638866 385732608 68174 33554432000 4194304 5964478 140734450766592 139746215679992 4400504 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=376692 CPUtime=700.41 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 29677 0 0 0 69984 57 0 0 20 0 3 0 332638866 385732608 68174 33554432000 4194304 5964478 140734450766592 139746205190456 4411017 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1404.24
Current children cumulated vsize (KiB) 376692

[startup+762.307 s]
/proc/loadavg: 4.02 4.01 3.92 5/183 25902
/proc/meminfo: memFree=27506720/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=378584 CPUtime=1524.23 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 67398 0 0 0 152335 88 0 0 20 0 3 0 332638865 387670016 69463 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 94646 69463 204 433 0 94210 0
[pid=25841/tid=25843] ppid=25839 vsize=378584 CPUtime=760.21 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 36303 0 0 0 75969 52 0 0 20 0 3 0 332638866 387670016 69463 33554432000 4194304 5964478 140734450766592 139746215679864 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=378584 CPUtime=760.26 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 29832 0 0 0 75968 58 0 0 20 0 3 0 332638866 387670016 69463 33554432000 4194304 5964478 140734450766592 139746205190560 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1524.23
Current children cumulated vsize (KiB) 378584

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/183 25902
/proc/meminfo: memFree=27493676/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=378584 CPUtime=1644.2 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 67844 0 0 0 164332 88 0 0 20 0 3 0 332638865 387670016 69908 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 94646 69908 204 433 0 94210 0
[pid=25841/tid=25843] ppid=25839 vsize=378584 CPUtime=820.05 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 36534 0 0 0 81952 53 0 0 20 0 3 0 332638866 387670016 69908 33554432000 4194304 5964478 140734450766592 139746215679800 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=378584 CPUtime=820.1 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 30047 0 0 0 81951 59 0 0 20 0 3 0 332638866 387670016 69908 33554432000 4194304 5964478 140734450766592 139746205190264 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1644.2
Current children cumulated vsize (KiB) 378584

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/184 25906
/proc/meminfo: memFree=27416568/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=379464 CPUtime=1764.18 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 69709 0 0 0 176328 90 0 0 20 0 3 0 332638865 388571136 71771 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 94866 71771 204 433 0 94430 0
[pid=25841/tid=25843] ppid=25839 vsize=379464 CPUtime=879.89 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 37920 0 0 0 87934 55 0 0 20 0 3 0 332638866 388571136 71771 33554432000 4194304 5964478 140734450766592 139746215679800 4399932 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=379464 CPUtime=879.95 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 30526 0 0 0 87934 61 0 0 20 0 3 0 332638866 388571136 71771 33554432000 4194304 5964478 140734450766592 139746205190560 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1764.18
Current children cumulated vsize (KiB) 379464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/184 25906
/proc/meminfo: memFree=27369292/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=379464 CPUtime=1800.2 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 70341 0 0 0 179929 91 0 0 20 0 3 0 332638865 388571136 72403 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 94866 72403 204 433 0 94430 0
[pid=25841/tid=25843] ppid=25839 vsize=379464 CPUtime=897.85 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 38552 0 0 0 89729 56 0 0 20 0 3 0 332638866 388571136 72403 33554432000 4194304 5964478 140734450766592 139746215679800 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=379464 CPUtime=897.91 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 30526 0 0 0 89730 61 0 0 20 0 3 0 332638866 388571136 72403 33554432000 4194304 5964478 140734450766592 139746205190560 4399938 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 379464

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.92 5/184 25906
/proc/meminfo: memFree=27369292/32873844 swapFree=7124/7124
[pid=25841] ppid=25839 vsize=379464 CPUtime=1800.2 cores=1,3,5,7
/proc/25841/stat : 25841 (pwbo2.02) S 25839 25841 25363 0 -1 4202496 70341 0 0 0 179929 91 0 0 20 0 3 0 332638865 388571136 72403 33554432000 4194304 5964478 140734450766592 140734450766112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25841/statm: 94866 72403 204 433 0 94430 0
[pid=25841/tid=25843] ppid=25839 vsize=379464 CPUtime=897.85 cores=1,3,5,7
/proc/25841/task/25843/stat : 25843 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 38552 0 0 0 89729 56 0 0 20 0 3 0 332638866 388571136 72403 33554432000 4194304 5964478 140734450766592 139746215679800 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25841/tid=25844] ppid=25839 vsize=379464 CPUtime=897.91 cores=1,3,5,7
/proc/25841/task/25844/stat : 25844 (pwbo2.02) R 25839 25841 25363 0 -1 4202560 30526 0 0 0 89730 61 0 0 20 0 3 0 332638866 388571136 72403 33554432000 4194304 5964478 140734450766592 139746205190560 4399938 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 379464

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25841 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=628175
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=193818
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.319
CPU time (s): 1800.2
CPU user time (s): 1799.29
CPU system time (s): 0.91
CPU usage (%): 199.951
Max. virtual memory (cumulated for all children) (KiB): 379464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.63
system time used= 1.19382
maximum resident set size= 289684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70359
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= 264
involuntary context switches= 2045

runsolver used 2.82057 second user time and 4.98624 second system time

The end