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-3703492-1338089627/watcher-3703492-1338089627 -o /tmp/evaluation-result-3703492-1338089627/solver-3703492-1338089627 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703492-1338089627.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: 3.84 3.96 3.90 4/178 20765
/proc/meminfo: memFree=30521292/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=5216 CPUtime=0 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) R 20763 20765 19605 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 275088376 5341184 475 33554432000 4194304 5965102 140734720902208 140736544882456 4350875 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 1304 475 166 433 0 776 0

[startup+0.0398081 s]
/proc/loadavg: 3.84 3.96 3.90 4/178 20765
/proc/meminfo: memFree=30521292/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=164712 CPUtime=0.03 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 2054 0 0 0 3 0 0 0 20 0 3 0 275088376 168665088 1913 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 41178 1918 201 433 0 40742 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 164712

[startup+0.100206 s]
/proc/loadavg: 3.84 3.96 3.90 4/178 20765
/proc/meminfo: memFree=30521292/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=181612 CPUtime=0.15 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 8340 0 0 0 9 6 0 0 20 0 3 0 275088376 185970688 8105 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 45403 8113 202 433 0 44967 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 181612

[startup+0.30022 s]
/proc/loadavg: 3.84 3.96 3.90 4/178 20765
/proc/meminfo: memFree=30521292/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=191420 CPUtime=0.55 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 12372 0 0 0 45 10 0 0 20 0 3 0 275088376 196014080 12093 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 47855 12093 206 433 0 47419 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 191420

[startup+0.700205 s]
/proc/loadavg: 3.84 3.96 3.90 4/178 20765
/proc/meminfo: memFree=30521292/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=191420 CPUtime=1.35 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 13081 0 0 0 124 11 0 0 20 0 3 0 275088376 196014080 12802 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 47855 12802 206 433 0 47419 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 191420

[startup+1.50033 s]
/proc/loadavg: 3.84 3.96 3.90 5/181 20768
/proc/meminfo: memFree=30469444/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=191420 CPUtime=2.95 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 14233 0 0 0 283 12 0 0 20 0 3 0 275088376 196014080 13954 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 47855 13954 206 433 0 47419 0
[pid=20765/tid=20767] ppid=20763 vsize=191420 CPUtime=1.45 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 2701 0 0 0 143 2 0 0 20 0 3 0 275088380 196014080 13954 33554432000 4194304 5965102 140734720902208 139868024870904 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=191420 CPUtime=1.45 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 10341 0 0 0 135 10 0 0 20 0 3 0 275088380 196014080 13954 33554432000 4194304 5965102 140734720902208 139868014381368 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 191420

[startup+3.10034 s]
/proc/loadavg: 3.85 3.96 3.91 5/181 20768
/proc/meminfo: memFree=30462980/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=191804 CPUtime=6.14 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 15085 0 0 0 602 12 0 0 20 0 3 0 275088376 196407296 14806 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 47951 14806 206 433 0 47515 0
[pid=20765/tid=20767] ppid=20763 vsize=191804 CPUtime=3.04 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 3487 0 0 0 302 2 0 0 20 0 3 0 275088380 196407296 14806 33554432000 4194304 5965102 140734720902208 139868024871272 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=191804 CPUtime=3.04 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 10407 0 0 0 294 10 0 0 20 0 3 0 275088380 196407296 14806 33554432000 4194304 5965102 140734720902208 139868014381176 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 191804

[startup+6.30033 s]
/proc/loadavg: 3.85 3.96 3.91 5/181 20768
/proc/meminfo: memFree=30456532/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=191948 CPUtime=12.54 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 17563 0 0 0 1241 13 0 0 20 0 3 0 275088376 196554752 17284 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 47987 17284 206 433 0 47551 0
[pid=20765/tid=20767] ppid=20763 vsize=191948 CPUtime=6.23 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 5848 0 0 0 621 2 0 0 20 0 3 0 275088380 196554752 17284 33554432000 4194304 5965102 140734720902208 139868024870904 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=191948 CPUtime=6.23 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 10524 0 0 0 613 10 0 0 20 0 3 0 275088380 196554752 17284 33554432000 4194304 5965102 140734720902208 139868014381416 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 191948

[startup+12.7003 s]
/proc/loadavg: 3.87 3.96 3.91 5/181 20768
/proc/meminfo: memFree=30436480/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=192020 CPUtime=25.34 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 21769 0 0 0 2518 16 0 0 20 0 3 0 275088376 196628480 21490 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 48005 21490 206 433 0 47569 0
[pid=20765/tid=20767] ppid=20763 vsize=192020 CPUtime=12.61 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 9670 0 0 0 1257 4 0 0 20 0 3 0 275088380 196628480 21490 33554432000 4194304 5965102 140734720902208 139868024870904 4390210 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=192020 CPUtime=12.62 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 10908 0 0 0 1252 10 0 0 20 0 3 0 275088380 196628480 21490 33554432000 4194304 5965102 140734720902208 139868014381416 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 192020

[startup+25.5003 s]
/proc/loadavg: 3.89 3.96 3.91 5/181 20768
/proc/meminfo: memFree=30415332/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=192164 CPUtime=50.94 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 27584 0 0 0 5073 21 0 0 20 0 3 0 275088376 196775936 27305 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 48041 27305 206 433 0 47605 0
[pid=20765/tid=20767] ppid=20763 vsize=192164 CPUtime=25.38 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 14570 0 0 0 2530 8 0 0 20 0 3 0 275088380 196775936 27305 33554432000 4194304 5965102 140734720902208 139868024870904 4401109 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=192164 CPUtime=25.39 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 11823 0 0 0 2527 12 0 0 20 0 3 0 275088380 196775936 27305 33554432000 4194304 5965102 140734720902208 139868014381416 4388991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 192164

[startup+51.1004 s]
/proc/loadavg: 3.93 3.96 3.91 5/181 20768
/proc/meminfo: memFree=30322284/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=257556 CPUtime=102.13 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 40936 0 0 0 10183 30 0 0 20 0 3 0 275088376 263737344 40401 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 64389 40401 206 433 0 63953 0
[pid=20765/tid=20767] ppid=20763 vsize=257556 CPUtime=50.91 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 26221 0 0 0 5076 15 0 0 20 0 3 0 275088380 263737344 40401 33554432000 4194304 5965102 140734720902208 139868024871864 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=257556 CPUtime=50.92 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 13524 0 0 0 5079 13 0 0 20 0 3 0 275088380 263737344 40401 33554432000 4194304 5965102 140734720902208 139868014381176 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 257556

[startup+102.307 s]
/proc/loadavg: 3.90 3.95 3.90 5/181 20809
/proc/meminfo: memFree=31204992/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=258364 CPUtime=204.52 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 48269 0 0 0 20414 38 0 0 20 0 3 0 275088376 264564736 47734 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 64591 47734 206 433 0 64155 0
[pid=20765/tid=20767] ppid=20763 vsize=258364 CPUtime=101.98 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 28996 0 0 0 10179 19 0 0 20 0 3 0 275088380 264564736 47734 33554432000 4194304 5965102 140734720902208 139868024870952 4390169 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=258364 CPUtime=101.99 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 18082 0 0 0 10180 19 0 0 20 0 3 0 275088380 264564736 47734 33554432000 4194304 5965102 140734720902208 139868014381368 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 258364

[startup+162.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 20809
/proc/meminfo: memFree=31066768/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=389980 CPUtime=324.45 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 62339 0 0 0 32383 62 0 0 20 0 3 0 275088376 399339520 62055 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 97495 62055 206 433 0 97059 0
[pid=20765/tid=20767] ppid=20763 vsize=389980 CPUtime=161.77 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 37655 0 0 0 16139 38 0 0 20 0 3 0 275088380 399339520 62055 33554432000 4194304 5965102 140734720902208 139868024870904 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=389980 CPUtime=161.83 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 23493 0 0 0 16155 28 0 0 20 0 3 0 275088380 399339520 62055 33554432000 4194304 5965102 140734720902208 139868014381368 4404383 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 389980

[startup+222.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 20810
/proc/meminfo: memFree=30869512/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=391656 CPUtime=444.41 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 77478 0 0 0 44354 87 0 0 20 0 3 0 275088376 401055744 77467 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 97914 77467 206 433 0 97478 0
[pid=20765/tid=20767] ppid=20763 vsize=391656 CPUtime=221.59 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 46046 0 0 0 22104 55 0 0 20 0 3 0 275088380 401055744 77467 33554432000 4194304 5965102 140734720902208 139868024870904 4221123 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=391656 CPUtime=221.67 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 30241 0 0 0 22131 36 0 0 20 0 3 0 275088380 401055744 77467 33554432000 4194304 5965102 140734720902208 139868014381368 4404383 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.41
Current children cumulated vsize (KiB) 391656

[startup+282.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 20810
/proc/meminfo: memFree=30721996/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=457816 CPUtime=564.37 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 100904 0 0 0 56305 132 0 0 20 0 3 0 275088376 468803584 102433 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 114454 102433 206 433 0 114018 0
[pid=20765/tid=20767] ppid=20763 vsize=457816 CPUtime=281.43 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 63297 0 0 0 28048 95 0 0 20 0 3 0 275088380 468803584 102433 33554432000 4194304 5965102 140734720902208 139868024870904 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=457816 CPUtime=281.5 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 36416 0 0 0 28105 45 0 0 20 0 3 0 275088380 468803584 102433 33554432000 4194304 5965102 140734720902208 139868014381368 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.37
Current children cumulated vsize (KiB) 457816

[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 20810
/proc/meminfo: memFree=30650228/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=589892 CPUtime=684.35 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 111201 0 0 0 68281 154 0 0 20 0 3 0 275088376 604049408 112730 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 147473 112730 206 433 0 147037 0

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

[pid=20765/tid=20768] ppid=20763 vsize=589892 CPUtime=341.35 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 43165 0 0 0 34078 57 0 0 20 0 3 0 275088380 604049408 112730 33554432000 4194304 5965102 140734720902208 139868014381368 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.35
Current children cumulated vsize (KiB) 589892

[startup+402.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 20813
/proc/meminfo: memFree=30551668/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=590360 CPUtime=804.34 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 121470 0 0 0 80259 175 0 0 20 0 3 0 275088376 604528640 122999 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 147590 122999 206 433 0 147154 0
[pid=20765/tid=20767] ppid=20763 vsize=590360 CPUtime=401.12 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 72878 0 0 0 39993 119 0 0 20 0 3 0 275088380 604528640 122999 33554432000 4194304 5965102 140734720902208 139868024870904 4401118 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=590360 CPUtime=401.19 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 47401 0 0 0 40052 67 0 0 20 0 3 0 275088380 604528640 122999 33554432000 4194304 5965102 140734720902208 139868014381368 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.34
Current children cumulated vsize (KiB) 590360

[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 20813
/proc/meminfo: memFree=30300116/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=591224 CPUtime=924.32 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 135882 0 0 0 92235 197 0 0 20 0 3 0 275088376 605413376 137409 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 147806 137409 206 433 0 147370 0
[pid=20765/tid=20767] ppid=20763 vsize=591224 CPUtime=460.97 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 81532 0 0 0 45964 133 0 0 20 0 3 0 275088380 605413376 137409 33554432000 4194304 5965102 140734720902208 139868024870904 5180368 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=591224 CPUtime=461.04 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 53159 0 0 0 46029 75 0 0 20 0 3 0 275088380 605413376 137409 33554432000 4194304 5965102 140734720902208 139868014381368 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 591224

[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 20814
/proc/meminfo: memFree=30193892/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=722812 CPUtime=1044.3 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 153561 0 0 0 104202 228 0 0 20 0 3 0 275088376 740159488 155087 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 180703 155087 206 433 0 180267 0
[pid=20765/tid=20767] ppid=20763 vsize=722812 CPUtime=520.81 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 92993 0 0 0 51925 156 0 0 20 0 3 0 275088380 740159488 155087 33554432000 4194304 5965102 140734720902208 139868024870712 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=722812 CPUtime=520.88 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 59377 0 0 0 52004 84 0 0 20 0 3 0 275088380 740159488 155087 33554432000 4194304 5965102 140734720902208 139868014381368 4400927 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 722812

[startup+582.3 s]
/proc/loadavg: 4.06 3.99 3.92 5/181 20814
/proc/meminfo: memFree=30098856/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=723440 CPUtime=1164.27 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 160698 0 0 0 116189 238 0 0 20 0 3 0 275088376 740802560 162600 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 180860 162600 206 433 0 180424 0
[pid=20765/tid=20767] ppid=20763 vsize=723440 CPUtime=580.64 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 93319 0 0 0 57906 158 0 0 20 0 3 0 275088380 740802560 162600 33554432000 4194304 5965102 140734720902208 139868024870712 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=723440 CPUtime=580.73 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 66188 0 0 0 57978 95 0 0 20 0 3 0 275088380 740802560 162600 33554432000 4194304 5965102 140734720902208 139868014381176 4393869 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.27
Current children cumulated vsize (KiB) 723440

[startup+642.3 s]
/proc/loadavg: 4.02 3.99 3.92 5/181 20814
/proc/meminfo: memFree=30043892/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=789308 CPUtime=1284.24 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 168377 0 0 0 128173 251 0 0 20 0 3 0 275088376 808251392 170249 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 197327 170249 206 433 0 196891 0
[pid=20765/tid=20767] ppid=20763 vsize=789308 CPUtime=640.49 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 94015 0 0 0 63890 159 0 0 20 0 3 0 275088380 808251392 170249 33554432000 4194304 5965102 140734720902208 139868024870712 4401109 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=789308 CPUtime=640.55 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 73171 0 0 0 63947 108 0 0 20 0 3 0 275088380 808251392 170249 33554432000 4194304 5965102 140734720902208 139868014381368 4404383 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.24
Current children cumulated vsize (KiB) 789308

[startup+702.3 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 20814
/proc/meminfo: memFree=29911180/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=791112 CPUtime=1404.17 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 176394 0 0 0 140156 261 0 0 20 0 3 0 275088376 810098688 178380 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 197778 178380 206 433 0 197342 0
[pid=20765/tid=20767] ppid=20763 vsize=791112 CPUtime=700.3 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 94626 0 0 0 69870 160 0 0 20 0 3 0 275088380 810098688 178380 33554432000 4194304 5965102 140734720902208 139868024870712 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=791112 CPUtime=700.38 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 80577 0 0 0 69919 119 0 0 20 0 3 0 275088380 810098688 178380 33554432000 4194304 5965102 140734720902208 139868014381368 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 791112

[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20814
/proc/meminfo: memFree=29759308/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=859064 CPUtime=1524.14 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 197409 0 0 0 152118 296 0 0 20 0 3 0 275088376 879681536 199412 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 214766 199412 206 433 0 214330 0
[pid=20765/tid=20767] ppid=20763 vsize=859064 CPUtime=760.13 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 107711 0 0 0 75825 188 0 0 20 0 3 0 275088380 879681536 199412 33554432000 4194304 5965102 140734720902208 139868024870712 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=859064 CPUtime=760.22 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 88507 0 0 0 75892 130 0 0 20 0 3 0 275088380 879681536 199412 33554432000 4194304 5965102 140734720902208 139868014381368 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.14
Current children cumulated vsize (KiB) 859064

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20815
/proc/meminfo: memFree=29656316/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=925084 CPUtime=1644.11 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 207839 0 0 0 164095 316 0 0 20 0 3 0 275088376 947286016 209835 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 231271 209835 206 433 0 230835 0
[pid=20765/tid=20767] ppid=20763 vsize=925084 CPUtime=819.97 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 112731 0 0 0 81796 201 0 0 20 0 3 0 275088380 947286016 209835 33554432000 4194304 5965102 140734720902208 139868024870712 4400894 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=925084 CPUtime=820.06 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 93917 0 0 0 81867 139 0 0 20 0 3 0 275088380 947286016 209835 33554432000 4194304 5965102 140734720902208 139868014381368 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.11
Current children cumulated vsize (KiB) 925084

[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20815
/proc/meminfo: memFree=29470548/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=991436 CPUtime=1764.09 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 227838 0 0 0 176043 366 0 0 20 0 3 0 275088376 1015230464 229852 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 247859 229852 206 433 0 247423 0
[pid=20765/tid=20767] ppid=20763 vsize=991436 CPUtime=879.81 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 127742 0 0 0 87736 245 0 0 20 0 3 0 275088380 1015230464 229852 33554432000 4194304 5965102 140734720902208 139868024870904 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=991436 CPUtime=879.9 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 98905 0 0 0 87844 146 0 0 20 0 3 0 275088380 1015230464 229852 33554432000 4194304 5965102 140734720902208 139868014381368 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.09
Current children cumulated vsize (KiB) 991436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 20815
/proc/meminfo: memFree=29454232/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=991436 CPUtime=1800.09 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 229154 0 0 0 179641 368 0 0 20 0 3 0 275088376 1015230464 231177 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 247859 231177 206 433 0 247423 0
[pid=20765/tid=20767] ppid=20763 vsize=991436 CPUtime=897.77 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 127748 0 0 0 89532 245 0 0 20 0 3 0 275088380 1015230464 231177 33554432000 4194304 5965102 140734720902208 139868024870904 4392437 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=991436 CPUtime=897.86 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 100215 0 0 0 89638 148 0 0 20 0 3 0 275088380 1015230464 231177 33554432000 4194304 5965102 140734720902208 139868014381368 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 991436

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 3.99 3.92 5/181 20815
/proc/meminfo: memFree=29454232/32873844 swapFree=7112/7112
[pid=20765] ppid=20763 vsize=991436 CPUtime=1800.09 cores=1,3,5,7
/proc/20765/stat : 20765 (pwbo2.0) S 20763 20765 19605 0 -1 4202496 229154 0 0 0 179641 368 0 0 20 0 3 0 275088376 1015230464 231177 33554432000 4194304 5965102 140734720902208 140734720901728 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20765/statm: 247859 231177 206 433 0 247423 0
[pid=20765/tid=20767] ppid=20763 vsize=991436 CPUtime=897.77 cores=1,3,5,7
/proc/20765/task/20767/stat : 20767 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 127748 0 0 0 89532 245 0 0 20 0 3 0 275088380 1015230464 231177 33554432000 4194304 5965102 140734720902208 139868024870904 4392437 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=20765/tid=20768] ppid=20763 vsize=991436 CPUtime=897.86 cores=1,3,5,7
/proc/20765/task/20768/stat : 20768 (pwbo2.0) R 20763 20765 19605 0 -1 4202560 100215 0 0 0 89638 148 0 0 20 0 3 0 275088380 1015230464 231177 33554432000 4194304 5965102 140734720902208 139868014381368 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 991436

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20765 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=745613
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=978395
# CPU time returned by wait4() is 1795.72
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.338
CPU time (s): 1800.09
CPU user time (s): 1796.41
CPU system time (s): 3.68
CPU usage (%): 199.935
Max. virtual memory (cumulated for all children) (KiB): 991436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.75
system time used= 3.97839
maximum resident set size= 924724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229158
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= 718
involuntary context switches= 2024

runsolver used 1.9427 second user time and 5.43417 second system time

The end