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-3703761-1338094701/watcher-3703761-1338094701 -o /tmp/evaluation-result-3703761-1338094701/solver-3703761-1338094701 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703761-1338094701.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 4.00 3.99 4/178 25904
/proc/meminfo: memFree=30217696/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=162464 CPUtime=0 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 866 0 0 0 0 0 0 0 20 0 3 0 275595540 166363136 816 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 40616 816 196 433 0 40180 0
[pid=25904/tid=25905] ppid=25902 vsize=162464 CPUtime=0 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 3 0 275595541 166363136 817 33554432000 4194304 5965102 140734066120816 140653956054064 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=162464 CPUtime=0 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 3 0 275595541 166363136 817 33554432000 4194304 5965102 140734066120816 140653945564120 4392734 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.071052 s]
/proc/loadavg: 4.00 4.00 3.99 4/178 25904
/proc/meminfo: memFree=30217696/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=162464 CPUtime=0.13 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 1166 0 0 0 13 0 0 0 20 0 3 0 275595540 166363136 1116 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 40616 1116 199 433 0 40180 0
[pid=25904/tid=25905] ppid=25902 vsize=162464 CPUtime=0.05 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 204 0 0 0 5 0 0 0 20 0 3 0 275595541 166363136 1116 33554432000 4194304 5965102 140734066120816 140653956054064 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=162464 CPUtime=0.05 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 187 0 0 0 5 0 0 0 20 0 3 0 275595541 166363136 1116 33554432000 4194304 5965102 140734066120816 140653945564120 4404753 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 162464
[startup+0.100221 s]
/proc/loadavg: 4.00 4.00 3.99 4/178 25904
/proc/meminfo: memFree=30217696/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=162464 CPUtime=0.19 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 1283 0 0 0 19 0 0 0 20 0 3 0 275595540 166363136 1233 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 40616 1233 199 433 0 40180 0
[pid=25904/tid=25905] ppid=25902 vsize=162464 CPUtime=0.08 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 272 0 0 0 8 0 0 0 20 0 3 0 275595541 166363136 1233 33554432000 4194304 5965102 140734066120816 140653956054064 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=162464 CPUtime=0.08 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 236 0 0 0 8 0 0 0 20 0 3 0 275595541 166363136 1233 33554432000 4194304 5965102 140734066120816 140653945563256 4404717 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162464
[startup+0.300159 s]
/proc/loadavg: 4.00 4.00 3.99 4/178 25904
/proc/meminfo: memFree=30217696/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=162464 CPUtime=0.58 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 1933 0 0 0 58 0 0 0 20 0 3 0 275595540 166363136 1883 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 40616 1883 199 433 0 40180 0
[pid=25904/tid=25905] ppid=25902 vsize=162464 CPUtime=0.28 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 659 0 0 0 28 0 0 0 20 0 3 0 275595541 166363136 1883 33554432000 4194304 5965102 140734066120816 140653956053032 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=162464 CPUtime=0.28 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 499 0 0 0 28 0 0 0 20 0 3 0 275595541 166363136 1883 33554432000 4194304 5965102 140734066120816 140653945563384 4391169 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162464
[startup+0.700153 s]
/proc/loadavg: 4.00 4.00 3.99 4/178 25904
/proc/meminfo: memFree=30217696/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=162464 CPUtime=1.38 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 2801 0 0 0 138 0 0 0 20 0 3 0 275595540 166363136 2751 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 40616 2751 199 433 0 40180 0
[pid=25904/tid=25905] ppid=25902 vsize=162464 CPUtime=0.68 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 1299 0 0 0 68 0 0 0 20 0 3 0 275595541 166363136 2751 33554432000 4194304 5965102 140734066120816 140653956053032 4390219 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=162464 CPUtime=0.68 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 727 0 0 0 68 0 0 0 20 0 3 0 275595541 166363136 2751 33554432000 4194304 5965102 140734066120816 140653945562968 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162464
[startup+1.50016 s]
/proc/loadavg: 4.00 4.00 3.99 5/181 25907
/proc/meminfo: memFree=30205024/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=162752 CPUtime=2.98 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 3608 0 0 0 297 1 0 0 20 0 3 0 275595540 166658048 3558 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 40688 3558 199 433 0 40252 0
[pid=25904/tid=25905] ppid=25902 vsize=162752 CPUtime=1.48 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 1850 0 0 0 147 1 0 0 20 0 3 0 275595541 166658048 3558 33554432000 4194304 5965102 140734066120816 140653956052792 4382742 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=162752 CPUtime=1.48 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 983 0 0 0 148 0 0 0 20 0 3 0 275595541 166658048 3558 33554432000 4194304 5965102 140734066120816 140653945563256 4390112 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 162752
[startup+3.10026 s]
/proc/loadavg: 4.00 4.00 3.99 5/181 25907
/proc/meminfo: memFree=30201800/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=162824 CPUtime=6.19 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 4607 0 0 0 617 2 0 0 20 0 3 0 275595540 166731776 4557 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 40706 4557 199 433 0 40270 0
[pid=25904/tid=25905] ppid=25902 vsize=162824 CPUtime=3.07 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 2670 0 0 0 306 1 0 0 20 0 3 0 275595541 166731776 4557 33554432000 4194304 5965102 140734066120816 140653956052984 4401118 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=162824 CPUtime=3.07 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 1162 0 0 0 307 0 0 0 20 0 3 0 275595541 166731776 4557 33554432000 4194304 5965102 140734066120816 140653945563448 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 162824
[startup+6.30028 s]
/proc/loadavg: 4.00 4.00 3.99 5/181 25907
/proc/meminfo: memFree=30188208/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=162896 CPUtime=12.58 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 6886 0 0 0 1255 3 0 0 20 0 3 0 275595540 166805504 6836 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 40724 6836 199 433 0 40288 0
[pid=25904/tid=25905] ppid=25902 vsize=162896 CPUtime=6.26 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 4163 0 0 0 623 3 0 0 20 0 3 0 275595541 166805504 6836 33554432000 4194304 5965102 140734066120816 140653956052984 5137146 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=162896 CPUtime=6.26 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 1948 0 0 0 626 0 0 0 20 0 3 0 275595541 166805504 6836 33554432000 4194304 5965102 140734066120816 140653945563496 4390144 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 162896
[startup+12.7003 s]
/proc/loadavg: 4.07 4.02 4.00 5/181 25907
/proc/meminfo: memFree=30168756/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=163164 CPUtime=25.38 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 9972 0 0 0 2533 5 0 0 20 0 3 0 275595540 167079936 9922 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 40791 9922 199 433 0 40355 0
[pid=25904/tid=25905] ppid=25902 vsize=163164 CPUtime=12.65 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 6946 0 0 0 1261 4 0 0 20 0 3 0 275595541 167079936 9922 33554432000 4194304 5965102 140734066120816 140653956053032 4394002 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=163164 CPUtime=12.65 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 2251 0 0 0 1264 1 0 0 20 0 3 0 275595541 167079936 9922 33554432000 4194304 5965102 140734066120816 140653945563448 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 163164
[startup+25.5003 s]
/proc/loadavg: 4.06 4.02 4.00 5/181 25907
/proc/meminfo: memFree=30146216/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=163432 CPUtime=50.98 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 14614 0 0 0 5089 9 0 0 20 0 3 0 275595540 167354368 14564 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 40858 14564 199 433 0 40422 0
[pid=25904/tid=25905] ppid=25902 vsize=163432 CPUtime=25.41 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 9776 0 0 0 2535 6 0 0 20 0 3 0 275595541 167354368 14564 33554432000 4194304 5965102 140734066120816 140653956052984 5132431 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=163432 CPUtime=25.42 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 4063 0 0 0 2540 2 0 0 20 0 3 0 275595541 167354368 14564 33554432000 4194304 5965102 140734066120816 140653945562968 4401058 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 163432
[startup+51.1004 s]
/proc/loadavg: 4.04 4.01 4.00 5/181 25907
/proc/meminfo: memFree=30109604/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=163672 CPUtime=102.17 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 20666 0 0 0 10201 16 0 0 20 0 3 0 275595540 167600128 20616 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 40918 20616 199 433 0 40482 0
[pid=25904/tid=25905] ppid=25902 vsize=163672 CPUtime=50.95 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 14607 0 0 0 5082 13 0 0 20 0 3 0 275595541 167600128 20616 33554432000 4194304 5965102 140734066120816 140653956052984 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=163672 CPUtime=50.95 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 5284 0 0 0 5092 3 0 0 20 0 3 0 275595541 167600128 20616 33554432000 4194304 5965102 140734066120816 140653945563448 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 163672
[startup+102.307 s]
/proc/loadavg: 4.08 4.02 4.00 5/182 25910
/proc/meminfo: memFree=30049648/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=230168 CPUtime=204.55 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 29442 0 0 0 20426 29 0 0 20 0 3 0 275595540 235692032 29352 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 57542 29352 199 433 0 57106 0
[pid=25904/tid=25905] ppid=25902 vsize=230168 CPUtime=102.01 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 20757 0 0 0 10178 23 0 0 20 0 3 0 275595541 235692032 29352 33554432000 4194304 5965102 140734066120816 140653956052984 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=230168 CPUtime=102.03 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 7910 0 0 0 10196 7 0 0 20 0 3 0 275595541 235692032 29352 33554432000 4194304 5965102 140734066120816 140653945563448 4401009 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 230168
[startup+162.3 s]
/proc/loadavg: 4.03 4.02 4.00 5/182 25933
/proc/meminfo: memFree=29998556/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=231680 CPUtime=324.48 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 37373 0 0 0 32405 43 0 0 20 0 3 0 275595540 237240320 37321 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 57920 37321 199 433 0 57484 0
[pid=25904/tid=25905] ppid=25902 vsize=231680 CPUtime=161.82 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 27049 0 0 0 16147 35 0 0 20 0 3 0 275595541 237240320 37321 33554432000 4194304 5965102 140734066120816 140653956052984 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=231680 CPUtime=161.85 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 9549 0 0 0 16174 11 0 0 20 0 3 0 275595541 237240320 37321 33554432000 4194304 5965102 140734066120816 140653945563480 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 231680
[startup+222.3 s]
/proc/loadavg: 4.01 4.01 4.00 5/181 25933
/proc/meminfo: memFree=29953828/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=233444 CPUtime=444.46 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 45194 0 0 0 44389 57 0 0 20 0 3 0 275595540 239046656 46431 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 58361 46431 199 433 0 57925 0
[pid=25904/tid=25905] ppid=25902 vsize=233444 CPUtime=221.67 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 33158 0 0 0 22120 47 0 0 20 0 3 0 275595541 239046656 46431 33554432000 4194304 5965102 140734066120816 140653956053032 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=233444 CPUtime=221.69 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 11261 0 0 0 22154 15 0 0 20 0 3 0 275595541 239046656 46431 33554432000 4194304 5965102 140734066120816 140653945563448 4380032 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 233444
################
# More data... #
################
[pid=25904/tid=25906] ppid=25902 vsize=301860 CPUtime=341.38 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 11273 0 0 0 34121 17 0 0 20 0 3 0 275595541 309104640 55427 33554432000 4194304 5965102 140734066120816 140653945563480 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (KiB) 301860
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 25934
/proc/meminfo: memFree=29822484/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=302760 CPUtime=804.38 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 59433 0 0 0 80355 83 0 0 20 0 3 0 275595540 310026240 60551 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 75690 60551 199 433 0 75254 0
[pid=25904/tid=25905] ppid=25902 vsize=302760 CPUtime=401.18 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 47383 0 0 0 40042 76 0 0 20 0 3 0 275595541 310026240 60551 33554432000 4194304 5965102 140734066120816 140653956052984 4390392 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=302760 CPUtime=401.23 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 11275 0 0 0 40105 18 0 0 20 0 3 0 275595541 310026240 60551 33554432000 4194304 5965102 140734066120816 140653945563480 4400952 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.38
Current children cumulated vsize (KiB) 302760
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 25934
/proc/meminfo: memFree=29802060/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=303876 CPUtime=924.35 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 62364 0 0 0 92347 88 0 0 20 0 3 0 275595540 311169024 63475 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 75969 63475 199 433 0 75533 0
[pid=25904/tid=25905] ppid=25902 vsize=303876 CPUtime=461.02 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 49918 0 0 0 46021 81 0 0 20 0 3 0 275595541 311169024 63475 33554432000 4194304 5965102 140734066120816 140653956053032 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=303876 CPUtime=461.08 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 11671 0 0 0 46088 20 0 0 20 0 3 0 275595541 311169024 63475 33554432000 4194304 5965102 140734066120816 140653945563448 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 303876
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 25934
/proc/meminfo: memFree=29757352/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=370924 CPUtime=1044.31 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 69101 0 0 0 104331 100 0 0 20 0 3 0 275595540 379826176 70099 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 92731 70099 199 433 0 92295 0
[pid=25904/tid=25905] ppid=25902 vsize=370924 CPUtime=520.85 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 55991 0 0 0 51993 92 0 0 20 0 3 0 275595541 379826176 70099 33554432000 4194304 5965102 140734066120816 140653956052984 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=370924 CPUtime=520.92 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 12335 0 0 0 52070 22 0 0 20 0 3 0 275595541 379826176 70099 33554432000 4194304 5965102 140734066120816 140653945563480 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.31
Current children cumulated vsize (KiB) 370924
[startup+582.3 s]
/proc/loadavg: 3.66 3.92 3.97 4/179 26014
/proc/meminfo: memFree=30090992/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=372632 CPUtime=1164.28 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 73812 0 0 0 116319 109 0 0 20 0 3 0 275595540 381575168 74815 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 93158 74815 199 433 0 92722 0
[pid=25904/tid=25905] ppid=25902 vsize=372632 CPUtime=580.68 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 60702 0 0 0 57966 102 0 0 20 0 3 0 275595541 381575168 74815 33554432000 4194304 5965102 140734066120816 140653956052984 4401050 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=372632 CPUtime=580.76 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 12335 0 0 0 58053 23 0 0 20 0 3 0 275595541 381575168 74815 33554432000 4194304 5965102 140734066120816 140653945563480 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 372632
[startup+642.3 s]
/proc/loadavg: 3.68 3.87 3.95 5/181 26096
/proc/meminfo: memFree=29961860/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=373388 CPUtime=1284.27 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 76001 0 0 0 128314 113 0 0 20 0 3 0 275595540 382349312 76998 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 93347 76998 199 433 0 92911 0
[pid=25904/tid=25905] ppid=25902 vsize=373388 CPUtime=640.53 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 62891 0 0 0 63947 106 0 0 20 0 3 0 275595541 382349312 76998 33554432000 4194304 5965102 140734066120816 140653956052792 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=373388 CPUtime=640.61 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 12335 0 0 0 64037 24 0 0 20 0 3 0 275595541 382349312 76998 33554432000 4194304 5965102 140734066120816 140653945563480 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.27
Current children cumulated vsize (KiB) 373388
[startup+702.3 s]
/proc/loadavg: 3.75 3.86 3.94 5/182 26299
/proc/meminfo: memFree=30065796/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=373964 CPUtime=1404.24 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 80464 0 0 0 140305 119 0 0 20 0 3 0 275595540 382939136 81461 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 93491 81461 199 433 0 93055 0
[pid=25904/tid=25905] ppid=25902 vsize=373964 CPUtime=700.36 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 67354 0 0 0 69922 114 0 0 20 0 3 0 275595541 382939136 81461 33554432000 4194304 5965102 140734066120816 140653956053032 5139822 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=373964 CPUtime=700.46 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 12335 0 0 0 70021 25 0 0 20 0 3 0 275595541 382939136 81461 33554432000 4194304 5965102 140734066120816 140653945563480 4401009 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.24
Current children cumulated vsize (KiB) 373964
[startup+762.307 s]
/proc/loadavg: 3.91 3.88 3.94 5/181 26419
/proc/meminfo: memFree=29890828/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=439896 CPUtime=1524.23 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 82445 0 0 0 152301 122 0 0 20 0 3 0 275595540 450453504 83496 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 109974 83496 199 433 0 109538 0
[pid=25904/tid=25905] ppid=25902 vsize=439896 CPUtime=760.22 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 69335 0 0 0 75904 118 0 0 20 0 3 0 275595541 450453504 83496 33554432000 4194304 5965102 140734066120816 140653956053032 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=439896 CPUtime=760.31 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 12335 0 0 0 76005 26 0 0 20 0 3 0 275595541 450453504 83496 33554432000 4194304 5965102 140734066120816 140653945563480 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.23
Current children cumulated vsize (KiB) 439896
[startup+822.3 s]
/proc/loadavg: 3.96 3.90 3.94 5/181 26419
/proc/meminfo: memFree=29815596/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=440508 CPUtime=1644.2 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 86631 0 0 0 164291 129 0 0 20 0 3 0 275595540 451080192 87682 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 110127 87682 199 433 0 109691 0
[pid=25904/tid=25905] ppid=25902 vsize=440508 CPUtime=820.06 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 73521 0 0 0 81880 126 0 0 20 0 3 0 275595541 451080192 87682 33554432000 4194304 5965102 140734066120816 140653956052984 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=440508 CPUtime=820.15 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 12335 0 0 0 81988 27 0 0 20 0 3 0 275595541 451080192 87682 33554432000 4194304 5965102 140734066120816 140653945563480 4404748 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.2
Current children cumulated vsize (KiB) 440508
[startup+882.3 s]
/proc/loadavg: 3.98 3.92 3.94 5/181 26420
/proc/meminfo: memFree=29717048/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=441280 CPUtime=1764.18 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 89457 0 0 0 176284 134 0 0 20 0 3 0 275595540 451870720 90502 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 110320 90502 199 433 0 109884 0
[pid=25904/tid=25905] ppid=25902 vsize=441280 CPUtime=879.89 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 76133 0 0 0 87858 131 0 0 20 0 3 0 275595541 451870720 90502 33554432000 4194304 5965102 140734066120816 140653956053032 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=441280 CPUtime=879.99 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 12549 0 0 0 87971 28 0 0 20 0 3 0 275595541 451870720 90502 33554432000 4194304 5965102 140734066120816 140653945563496 4401441 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.18
Current children cumulated vsize (KiB) 441280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 3.99 3.92 3.94 5/181 26420
/proc/meminfo: memFree=29677472/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=441856 CPUtime=1800.17 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 89913 0 0 0 179883 134 0 0 20 0 3 0 275595540 452460544 90946 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 110464 90946 199 433 0 110028 0
[pid=25904/tid=25905] ppid=25902 vsize=441856 CPUtime=897.84 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 76167 0 0 0 89653 131 0 0 20 0 3 0 275595541 452460544 90946 33554432000 4194304 5965102 140734066120816 140653956053032 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=441856 CPUtime=897.95 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 12971 0 0 0 89766 29 0 0 20 0 3 0 275595541 452460544 90946 33554432000 4194304 5965102 140734066120816 140653945563256 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 441856
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: 3.99 3.92 3.94 5/181 26420
/proc/meminfo: memFree=29677472/32873648 swapFree=7108/7108
[pid=25904] ppid=25902 vsize=441856 CPUtime=1800.17 cores=1,3,5,7
/proc/25904/stat : 25904 (pwbo2.0) S 25902 25904 25163 0 -1 4202496 89913 0 0 0 179883 134 0 0 20 0 3 0 275595540 452460544 90946 33554432000 4194304 5965102 140734066120816 140734066120336 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25904/statm: 110464 90946 199 433 0 110028 0
[pid=25904/tid=25905] ppid=25902 vsize=441856 CPUtime=897.84 cores=1,3,5,7
/proc/25904/task/25905/stat : 25905 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 76167 0 0 0 89653 131 0 0 20 0 3 0 275595541 452460544 90946 33554432000 4194304 5965102 140734066120816 140653956053032 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25904/tid=25906] ppid=25902 vsize=441856 CPUtime=897.95 cores=1,3,5,7
/proc/25904/task/25906/stat : 25906 (pwbo2.0) R 25902 25904 25163 0 -1 4202560 12971 0 0 0 89766 29 0 0 20 0 3 0 275595541 452460544 90946 33554432000 4194304 5965102 140734066120816 140653945563256 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 441856
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25904 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=209238
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=619753
# CPU time returned by wait4() is 1795.83
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.315
CPU time (s): 1800.17
CPU user time (s): 1798.83
CPU system time (s): 1.34
CPU usage (%): 199.949
Max. virtual memory (cumulated for all children) (KiB): 441856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.21
system time used= 1.61975
maximum resident set size= 363796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89916
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= 216
involuntary context switches= 2174
runsolver used 2.00169 second user time and 5.04423 second system time
The end