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-3705708-1338101547/watcher-3705708-1338101547 -o /tmp/evaluation-result-3705708-1338101547/solver-3705708-1338101547 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705708-1338101547.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: 1.92 1.98 1.99 3/177 19475
/proc/meminfo: memFree=26674812/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=83996 CPUtime=0 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 916 0 0 0 0 0 0 0 20 0 2 0 276283250 86011904 855 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 20999 855 183 432 0 20564 0
[pid=19475/tid=19476] ppid=19473 vsize=83996 CPUtime=0 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 113 0 0 0 0 0 0 0 20 0 2 0 276283250 86011904 857 33554432000 4194304 5963574 140734651079680 140733991803096 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0733679 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19475
/proc/meminfo: memFree=26674812/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=83996 CPUtime=0.07 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 1104 0 0 0 7 0 0 0 20 0 2 0 276283250 86011904 1043 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 20999 1043 194 432 0 20564 0
[pid=19475/tid=19476] ppid=19473 vsize=83996 CPUtime=0.05 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 299 0 0 0 5 0 0 0 20 0 2 0 276283250 86011904 1043 33554432000 4194304 5963574 140734651079680 140733991803096 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83996
[startup+0.100287 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19475
/proc/meminfo: memFree=26674812/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=83996 CPUtime=0.09 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 1171 0 0 0 9 0 0 0 20 0 2 0 276283250 86011904 1110 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 20999 1110 194 432 0 20564 0
[pid=19475/tid=19476] ppid=19473 vsize=83996 CPUtime=0.08 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 366 0 0 0 8 0 0 0 20 0 2 0 276283250 86011904 1110 33554432000 4194304 5963574 140734651079680 140733991803096 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83996
[startup+0.300252 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19475
/proc/meminfo: memFree=26674812/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=83996 CPUtime=0.29 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 1391 0 0 0 29 0 0 0 20 0 2 0 276283250 86011904 1330 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 20999 1330 194 432 0 20564 0
[pid=19475/tid=19476] ppid=19473 vsize=83996 CPUtime=0.28 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 586 0 0 0 28 0 0 0 20 0 2 0 276283250 86011904 1330 33554432000 4194304 5963574 140734651079680 140448580188520 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83996
[startup+0.70025 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19475
/proc/meminfo: memFree=26674812/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=83996 CPUtime=0.69 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 1889 0 0 0 69 0 0 0 20 0 2 0 276283250 86011904 1828 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 20999 1828 194 432 0 20564 0
[pid=19475/tid=19476] ppid=19473 vsize=83996 CPUtime=0.68 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 1084 0 0 0 68 0 0 0 20 0 2 0 276283250 86011904 1828 33554432000 4194304 5963574 140734651079680 140448580188520 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83996
[startup+1.50025 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 19477
/proc/meminfo: memFree=26666396/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=83996 CPUtime=1.49 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 2332 0 0 0 149 0 0 0 20 0 2 0 276283250 86011904 2271 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 20999 2271 194 432 0 20564 0
[pid=19475/tid=19476] ppid=19473 vsize=83996 CPUtime=1.48 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 1527 0 0 0 148 0 0 0 20 0 2 0 276283250 86011904 2271 33554432000 4194304 5963574 140734651079680 140448580188520 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83996
[startup+3.10025 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 19477
/proc/meminfo: memFree=26665032/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=84140 CPUtime=3.09 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 2930 0 0 0 308 1 0 0 20 0 2 0 276283250 86159360 2869 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 21035 2869 194 432 0 20600 0
[pid=19475/tid=19476] ppid=19473 vsize=84140 CPUtime=3.08 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 2125 0 0 0 308 0 0 0 20 0 2 0 276283250 86159360 2869 33554432000 4194304 5963574 140734651079680 140448580187960 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84140
[startup+6.30025 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 19477
/proc/meminfo: memFree=26658436/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=83996 CPUtime=6.29 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 3928 0 0 0 628 1 0 0 20 0 2 0 276283250 86011904 3834 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 20999 3834 194 432 0 20564 0
[pid=19475/tid=19476] ppid=19473 vsize=83996 CPUtime=6.29 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 3123 0 0 0 627 2 0 0 20 0 2 0 276283250 86011904 3834 33554432000 4194304 5963574 140734651079680 140448580189112 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83996
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 19477
/proc/meminfo: memFree=26651384/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=84212 CPUtime=12.69 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 5777 0 0 0 1268 1 0 0 20 0 2 0 276283250 86233088 5683 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 21053 5683 194 432 0 20618 0
[pid=19475/tid=19476] ppid=19473 vsize=84212 CPUtime=12.68 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 4972 0 0 0 1266 2 0 0 20 0 2 0 276283250 86233088 5683 33554432000 4194304 5963574 140734651079680 140448580187960 4410275 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84212
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 19477
/proc/meminfo: memFree=26637472/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=84320 CPUtime=25.48 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 9143 0 0 0 2546 2 0 0 20 0 2 0 276283250 86343680 9049 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 21080 9049 194 432 0 20645 0
[pid=19475/tid=19476] ppid=19473 vsize=84320 CPUtime=25.48 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 8338 0 0 0 2545 3 0 0 20 0 2 0 276283250 86343680 9049 33554432000 4194304 5963574 140734651079680 140448580188152 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84320
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 19477
/proc/meminfo: memFree=26615120/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=87288 CPUtime=51.08 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 14296 0 0 0 5103 5 0 0 20 0 2 0 276283250 89382912 14190 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 21822 14190 194 432 0 21387 0
[pid=19475/tid=19476] ppid=19473 vsize=87288 CPUtime=51.08 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 13491 0 0 0 5102 6 0 0 20 0 2 0 276283250 89382912 14190 33554432000 4194304 5963574 140734651079680 140448580187960 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87288
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 19529
/proc/meminfo: memFree=27122136/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=83996 CPUtime=102.26 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 15714 0 0 0 10220 6 0 0 20 0 2 0 276283250 86011904 15023 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 20999 15023 194 432 0 20564 0
[pid=19475/tid=19476] ppid=19473 vsize=83996 CPUtime=102.27 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 14909 0 0 0 10220 7 0 0 20 0 2 0 276283250 86011904 15023 33554432000 4194304 5963574 140734651079680 140448580189112 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 83996
[startup+162.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/179 19529
/proc/meminfo: memFree=27070056/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=150256 CPUtime=162.25 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 24654 0 0 0 16214 11 0 0 20 0 2 0 276283250 153862144 24436 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 37564 24436 194 432 0 37129 0
[pid=19475/tid=19476] ppid=19473 vsize=150256 CPUtime=162.26 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 23849 0 0 0 16212 14 0 0 20 0 2 0 276283250 153862144 24436 33554432000 4194304 5963574 140734651079680 140448580188152 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 150256
[startup+222.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/179 19529
/proc/meminfo: memFree=27004164/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=150256 CPUtime=222.21 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 31028 0 0 0 22206 15 0 0 20 0 2 0 276283250 153862144 31125 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 37564 31125 194 432 0 37129 0
[pid=19475/tid=19476] ppid=19473 vsize=150256 CPUtime=222.24 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 30223 0 0 0 22205 19 0 0 20 0 2 0 276283250 153862144 31125 33554432000 4194304 5963574 140734651079680 140448580187960 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 150256
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19529
/proc/meminfo: memFree=26943108/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=216152 CPUtime=282.2 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 38779 0 0 0 28200 20 0 0 20 0 2 0 276283250 221339648 38886 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 54038 38886 194 432 0 53603 0
[pid=19475/tid=19476] ppid=19473 vsize=216152 CPUtime=282.24 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 37974 0 0 0 28199 25 0 0 20 0 2 0 276283250 221339648 38886 33554432000 4194304 5963574 140734651079680 140448580188152 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 216152
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19529
/proc/meminfo: memFree=26891420/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=216152 CPUtime=342.18 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 40758 0 0 0 34197 21 0 0 20 0 2 0 276283250 221339648 40862 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 54038 40862 194 432 0 53603 0
[pid=19475/tid=19476] ppid=19473 vsize=216152 CPUtime=342.24 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 39953 0 0 0 34197 27 0 0 20 0 2 0 276283250 221339648 40862 33554432000 4194304 5963574 140734651079680 140448580188152 5243463 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 216152
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19530
/proc/meminfo: memFree=26849904/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=216152 CPUtime=402.16 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 45844 0 0 0 40190 26 0 0 20 0 2 0 276283250 221339648 46260 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/19475/statm: 122152 101998 194 432 0 121717 0
[pid=19475/tid=19476] ppid=19473 vsize=488608 CPUtime=1302.2 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 98459 0 0 0 130129 91 0 0 20 0 2 0 276283250 500334592 101998 33554432000 4194304 5963574 140734651079680 140448580188024 4399614 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 488608
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19562
/proc/meminfo: memFree=26386652/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=488608 CPUtime=1361.94 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 107969 0 0 0 136114 80 0 0 20 0 2 0 276283250 500334592 110702 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 122152 110702 194 432 0 121717 0
[pid=19475/tid=19476] ppid=19473 vsize=488608 CPUtime=1362.2 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 107164 0 0 0 136119 101 0 0 20 0 2 0 276283250 500334592 110702 33554432000 4194304 5963574 140734651079680 140448580188152 4378768 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 488608
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19562
/proc/meminfo: memFree=26344176/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=488608 CPUtime=1421.94 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 108193 0 0 0 142114 80 0 0 20 0 2 0 276283250 500334592 110925 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 122152 110925 194 432 0 121717 0
[pid=19475/tid=19476] ppid=19473 vsize=488608 CPUtime=1422.21 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 107388 0 0 0 142119 102 0 0 20 0 2 0 276283250 500334592 110925 33554432000 4194304 5963574 140734651079680 140448580187960 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 488608
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19562
/proc/meminfo: memFree=26342936/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=488608 CPUtime=1481.92 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 108486 0 0 0 148112 80 0 0 20 0 2 0 276283250 500334592 111217 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 122152 111217 194 432 0 121717 0
[pid=19475/tid=19476] ppid=19473 vsize=488608 CPUtime=1482.2 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 107681 0 0 0 148117 103 0 0 20 0 2 0 276283250 500334592 111217 33554432000 4194304 5963574 140734651079680 140448580188024 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 488608
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19562
/proc/meminfo: memFree=26322056/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=488608 CPUtime=1541.89 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 108590 0 0 0 154109 80 0 0 20 0 2 0 276283250 500334592 111877 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 122152 111877 194 432 0 121717 0
[pid=19475/tid=19476] ppid=19473 vsize=488608 CPUtime=1542.18 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 107785 0 0 0 154114 104 0 0 20 0 2 0 276283250 500334592 111877 33554432000 4194304 5963574 140734651079680 140448580187960 4399542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 488608
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19562
/proc/meminfo: memFree=26299516/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=488608 CPUtime=1601.86 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 111646 0 0 0 160103 83 0 0 20 0 2 0 276283250 500334592 115097 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 122152 115097 194 432 0 121717 0
[pid=19475/tid=19476] ppid=19473 vsize=488608 CPUtime=1602.16 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 110841 0 0 0 160108 108 0 0 20 0 2 0 276283250 500334592 115097 33554432000 4194304 5963574 140734651079680 140448580188152 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 488608
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 19566
/proc/meminfo: memFree=26270476/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=559212 CPUtime=1661.85 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 117870 0 0 0 166096 89 0 0 20 0 2 0 276283250 572633088 121319 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 139803 121319 194 432 0 139368 0
[pid=19475/tid=19476] ppid=19473 vsize=559212 CPUtime=1662.17 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 117065 0 0 0 166102 115 0 0 20 0 2 0 276283250 572633088 121319 33554432000 4194304 5963574 140734651079680 140448580187960 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 559212
[startup+1722.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 19566
/proc/meminfo: memFree=26232176/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=559212 CPUtime=1721.84 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 119661 0 0 0 172093 91 0 0 20 0 2 0 276283250 572633088 123110 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 139803 123110 194 432 0 139368 0
[pid=19475/tid=19476] ppid=19473 vsize=559212 CPUtime=1722.17 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 118856 0 0 0 172099 118 0 0 20 0 2 0 276283250 572633088 123110 33554432000 4194304 5963574 140734651079680 140448580187960 4399488 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 559212
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 19566
/proc/meminfo: memFree=26224108/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=559212 CPUtime=1781.83 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 119994 0 0 0 178091 92 0 0 20 0 2 0 276283250 572633088 123913 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 139803 123913 194 432 0 139368 0
[pid=19475/tid=19476] ppid=19473 vsize=559212 CPUtime=1782.17 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 119189 0 0 0 178098 119 0 0 20 0 2 0 276283250 572633088 123913 33554432000 4194304 5963574 140734651079680 140448580188024 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 559212
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 19566
/proc/meminfo: memFree=26223424/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=559212 CPUtime=1791.44 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 120200 0 0 0 179052 92 0 0 20 0 2 0 276283250 572633088 124119 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 139803 124119 194 432 0 139368 0
[pid=19475/tid=19476] ppid=19473 vsize=559212 CPUtime=1791.78 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 119395 0 0 0 179058 120 0 0 20 0 2 0 276283250 572633088 124119 33554432000 4194304 5963574 140734651079680 140448580187960 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 559212
[startup+1795.1 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 19566
/proc/meminfo: memFree=26221548/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=559212 CPUtime=1794.64 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 120201 0 0 0 179372 92 0 0 20 0 2 0 276283250 572633088 124120 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 139803 124120 194 432 0 139368 0
[pid=19475/tid=19476] ppid=19473 vsize=559212 CPUtime=1794.98 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 119396 0 0 0 179378 120 0 0 20 0 2 0 276283250 572633088 124120 33554432000 4194304 5963574 140734651079680 140448580187960 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 559212
[startup+1798.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 19566
/proc/meminfo: memFree=26221672/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=559212 CPUtime=1797.83 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 120201 0 0 0 179691 92 0 0 20 0 2 0 276283250 572633088 124120 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 139803 124120 194 432 0 139368 0
[pid=19475/tid=19476] ppid=19473 vsize=559212 CPUtime=1798.17 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 119396 0 0 0 179697 120 0 0 20 0 2 0 276283250 572633088 124120 33554432000 4194304 5963574 140734651079680 140448580187960 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 559212
[startup+1799.1 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 19566
/proc/meminfo: memFree=26221672/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=559212 CPUtime=1798.63 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 120201 0 0 0 179771 92 0 0 20 0 2 0 276283250 572633088 124120 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 139803 124120 194 432 0 139368 0
[pid=19475/tid=19476] ppid=19473 vsize=559212 CPUtime=1798.97 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 119396 0 0 0 179777 120 0 0 20 0 2 0 276283250 572633088 124120 33554432000 4194304 5963574 140734651079680 140448580187960 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 559212
[startup+1799.5 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 19566
/proc/meminfo: memFree=26221672/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=559212 CPUtime=1799.04 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 120201 0 0 0 179812 92 0 0 20 0 2 0 276283250 572633088 124120 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 139803 124120 194 432 0 139368 0
[pid=19475/tid=19476] ppid=19473 vsize=559212 CPUtime=1799.38 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 119396 0 0 0 179818 120 0 0 20 0 2 0 276283250 572633088 124120 33554432000 4194304 5963574 140734651079680 140448580187960 4399968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 559212
[startup+1799.9 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 19566
/proc/meminfo: memFree=26221672/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=559212 CPUtime=1799.43 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) S 19473 19475 16852 0 -1 4202496 120201 0 0 0 179851 92 0 0 20 0 2 0 276283250 572633088 124120 33554432000 4194304 5963574 140734651079680 140734651079200 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 139803 124120 194 432 0 139368 0
[pid=19475/tid=19476] ppid=19473 vsize=559212 CPUtime=1799.77 cores=1,3,5,7
/proc/19475/task/19476/stat : 19476 (wbo1.7) R 19473 19475 16852 0 -1 4202560 119396 0 0 0 179857 120 0 0 20 0 2 0 276283250 572633088 124120 33554432000 4194304 5963574 140734651079680 140448580187960 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 559212
[startup+1800 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 19566
/proc/meminfo: memFree=26221672/32873844 swapFree=6088/6088
[pid=19475] ppid=19473 vsize=0 CPUtime=1799.89 cores=1,3,5,7
/proc/19475/stat : 19475 (wbo1.7) R 19473 19475 16852 0 -1 4203524 120201 0 0 0 179868 121 0 0 20 0 1 0 276283250 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19475/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.89
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.9
CPU user time (s): 1798.68
CPU system time (s): 1.21681
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 559212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.68
system time used= 1.21681
maximum resident set size= 496480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120201
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= 196
involuntary context switches= 1872
runsolver used 3.2955 second user time and 8.71068 second system time
The end