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-3705167-1338095171/watcher-3705167-1338095171 -o /tmp/evaluation-result-3705167-1338095171/solver-3705167-1338095171 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705167-1338095171.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: 2.08 2.02 2.00 3/177 22716
/proc/meminfo: memFree=29157776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=4816 CPUtime=0 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) R 22714 22716 21940 0 -1 4202496 562 0 0 0 0 0 0 0 20 0 1 0 275641966 4931584 515 33554432000 4194304 5963574 140733328219712 140733328217656 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 1204 515 160 432 0 634 0
[startup+0.0640861 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 22716
/proc/meminfo: memFree=29157776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=89636 CPUtime=0.05 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 3409 0 0 0 5 0 0 0 20 0 2 0 275641966 91787264 3226 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22409 3226 185 432 0 21974 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 89636
[startup+0.100221 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 22716
/proc/meminfo: memFree=29157776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=89124 CPUtime=0.08 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 4587 0 0 0 8 0 0 0 20 0 2 0 275641966 91262976 4103 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22281 4103 193 432 0 21846 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 89124
[startup+0.300166 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 22716
/proc/meminfo: memFree=29157776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=0.29 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 6172 0 0 0 28 1 0 0 20 0 2 0 275641966 90386432 5293 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 5293 193 432 0 21632 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88268
[startup+0.700207 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 22716
/proc/meminfo: memFree=29157776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=0.69 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 8302 0 0 0 68 1 0 0 20 0 2 0 275641966 90386432 6630 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 6630 194 432 0 21632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88268
[startup+1.50032 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 22718
/proc/meminfo: memFree=29129504/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=1.48 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 11429 0 0 0 147 1 0 0 20 0 2 0 275641966 90386432 7733 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 7733 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=1.44 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 9472 0 0 0 142 2 0 0 20 0 2 0 275641970 90386432 7733 33554432000 4194304 5963574 140733328219712 140071531966784 4402875 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 88268
[startup+3.10034 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22718
/proc/meminfo: memFree=29127140/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=3.09 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 12678 0 0 0 307 2 0 0 20 0 2 0 275641966 90386432 8705 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 8705 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=3.04 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 10721 0 0 0 302 2 0 0 20 0 2 0 275641970 90386432 8705 33554432000 4194304 5963574 140733328219712 140071531977048 4403139 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88268
[startup+6.30025 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22718
/proc/meminfo: memFree=29123668/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=6.29 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 12904 0 0 0 627 2 0 0 20 0 2 0 275641966 90386432 8931 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 8931 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=6.24 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 10947 0 0 0 622 2 0 0 20 0 2 0 275641970 90386432 8931 33554432000 4194304 5963574 140733328219712 140071531976696 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88268
[startup+12.7003 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 22718
/proc/meminfo: memFree=29114368/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=12.68 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 14836 0 0 0 1266 2 0 0 20 0 2 0 275641966 90386432 10539 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 10539 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=12.64 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 12879 0 0 0 1261 3 0 0 20 0 2 0 275641970 90386432 10539 33554432000 4194304 5963574 140733328219712 140071531966784 4403253 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88268
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22718
/proc/meminfo: memFree=29096124/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=25.48 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 16073 0 0 0 2545 3 0 0 20 0 2 0 275641966 90386432 11631 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 11631 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=25.43 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 14116 0 0 0 2540 3 0 0 20 0 2 0 275641970 90386432 11631 33554432000 4194304 5963574 140733328219712 140071531977544 4403234 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88268
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22718
/proc/meminfo: memFree=29078592/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=88268 CPUtime=51.07 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 19922 0 0 0 5103 4 0 0 20 0 2 0 275641966 90386432 14492 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 22067 14492 196 432 0 21632 0
[pid=22716/tid=22718] ppid=22714 vsize=88268 CPUtime=51.03 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 17965 0 0 0 5098 5 0 0 20 0 2 0 275641970 90386432 14492 33554432000 4194304 5963574 140733328219712 140071531977544 4392483 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 88268
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22718
/proc/meminfo: memFree=29006432/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=153804 CPUtime=102.26 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 32540 0 0 0 10217 9 0 0 20 0 2 0 275641966 157495296 27263 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 38451 27263 196 432 0 38016 0
[pid=22716/tid=22718] ppid=22714 vsize=153804 CPUtime=102.23 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 30583 0 0 0 10213 10 0 0 20 0 2 0 275641970 157495296 27263 33554432000 4194304 5963574 140733328219712 140071531977240 4221120 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) 153804
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 22718
/proc/meminfo: memFree=28976048/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=154888 CPUtime=162.22 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 33960 0 0 0 16212 10 0 0 20 0 2 0 275641966 158605312 28675 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 38722 28675 196 432 0 38287 0
[pid=22716/tid=22718] ppid=22714 vsize=154888 CPUtime=162.19 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 32003 0 0 0 16207 12 0 0 20 0 2 0 275641970 158605312 28675 33554432000 4194304 5963574 140733328219712 140071531976632 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 154888
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22719
/proc/meminfo: memFree=28915048/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=220424 CPUtime=222.21 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 43618 0 0 0 22203 18 0 0 20 0 2 0 275641966 225714176 38332 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 55106 38332 196 432 0 54671 0
[pid=22716/tid=22718] ppid=22714 vsize=220424 CPUtime=222.19 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 41661 0 0 0 22198 21 0 0 20 0 2 0 275641970 225714176 38332 33554432000 4194304 5963574 140733328219712 140071531976744 4220672 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) 220424
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 22722
/proc/meminfo: memFree=28880072/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=219340 CPUtime=282.2 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 46749 0 0 0 28200 20 0 0 20 0 2 0 275641966 224604160 37909 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 54835 37909 196 432 0 54400 0
[pid=22716/tid=22718] ppid=22714 vsize=219340 CPUtime=282.19 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 44792 0 0 0 28194 25 0 0 20 0 2 0 275641970 224604160 37909 33554432000 4194304 5963574 140733328219712 140071531977240 4399639 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) 219340
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22722
/proc/meminfo: memFree=28831052/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=219340 CPUtime=342.16 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 46790 0 0 0 34196 20 0 0 20 0 2 0 275641966 224604160 37955 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 54835 37955 196 432 0 54400 0
[pid=22716/tid=22718] ppid=22714 vsize=219340 CPUtime=342.17 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 44833 0 0 0 34191 26 0 0 20 0 2 0 275641970 224604160 37955 33554432000 4194304 5963574 140733328219712 140071531977240 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 219340
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22722
/proc/meminfo: memFree=28769040/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=219340 CPUtime=402.15 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 50180 0 0 0 40194 21 0 0 20 0 2 0 275641966 224604160 41751 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 54835 41751 196 432 0 54400 0
[pid=22716/tid=22718] ppid=22714 vsize=219340 CPUtime=402.16 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 48223 0 0 0 40189 27 0 0 20 0 2 0 275641970 224604160 41751 33554432000 4194304 5963574 140733328219712 140071531977656 4388683 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 219340
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22722
/proc/meminfo: memFree=28749556/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=219340 CPUtime=462.14 cores=1,3,5,7
################
# More data... #
################
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 130968 0 0 0 130088 114 0 0 20 0 2 0 275641970 562638848 125853 33554432000 4194304 5963574 140733328219712 140071531976504 4403084 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 549452
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22728
/proc/meminfo: memFree=28077600/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=549452 CPUtime=1361.86 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 139604 0 0 0 136084 102 0 0 20 0 2 0 275641966 562638848 132737 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 137363 132737 196 432 0 136928 0
[pid=22716/tid=22718] ppid=22714 vsize=549452 CPUtime=1362 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 137647 0 0 0 136077 123 0 0 20 0 2 0 275641970 562638848 132737 33554432000 4194304 5963574 140733328219712 140071531976504 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 549452
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 22728
/proc/meminfo: memFree=27987640/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1421.86 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 142075 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1422.01 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 142069 132 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 678092
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 22732
/proc/meminfo: memFree=27987096/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1481.84 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 148073 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1482 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 148067 133 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977544 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 678092
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22732
/proc/meminfo: memFree=27984900/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1541.83 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 154072 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1542 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 154066 134 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 678092
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22732
/proc/meminfo: memFree=27984700/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1601.82 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 160071 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1602 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 160065 135 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977544 4399614 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 678092
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22732
/proc/meminfo: memFree=27984700/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1661.81 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 166070 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1662 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 166064 136 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 678092
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22732
/proc/meminfo: memFree=27984824/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1721.8 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162433 0 0 0 172069 111 0 0 20 0 2 0 275641966 694366208 154770 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 154770 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1722 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160476 0 0 0 172063 137 0 0 20 0 2 0 275641970 694366208 154770 33554432000 4194304 5963574 140733328219712 140071531977240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 678092
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22772
/proc/meminfo: memFree=28600588/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1781.79 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162436 0 0 0 178068 111 0 0 20 0 2 0 275641966 694366208 155054 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155054 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1781.99 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160479 0 0 0 178061 138 0 0 20 0 2 0 275641970 694366208 155054 33554432000 4194304 5963574 140733328219712 140071531977240 4403257 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 678092
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.09 2.02 2.01 3/179 22772
/proc/meminfo: memFree=28597720/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1791.4 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162436 0 0 0 179029 111 0 0 20 0 2 0 275641966 694366208 155197 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155197 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1791.6 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160479 0 0 0 179022 138 0 0 20 0 2 0 275641970 694366208 155197 33554432000 4194304 5963574 140733328219712 140071531977240 4388608 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 678092
[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28590776/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1794.6 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162436 0 0 0 179349 111 0 0 20 0 2 0 275641966 694366208 155197 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155197 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1794.8 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160479 0 0 0 179342 138 0 0 20 0 2 0 275641970 694366208 155197 33554432000 4194304 5963574 140733328219712 140071531977240 4403257 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 678092
[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28586916/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1797.79 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162437 0 0 0 179668 111 0 0 20 0 2 0 275641966 694366208 155344 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155344 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1797.99 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160480 0 0 0 179661 138 0 0 20 0 2 0 275641970 694366208 155344 33554432000 4194304 5963574 140733328219712 140071531977240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 678092
[startup+1799.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28585304/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1798.59 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162437 0 0 0 179748 111 0 0 20 0 2 0 275641966 694366208 155344 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155344 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1798.79 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160480 0 0 0 179741 138 0 0 20 0 2 0 275641970 694366208 155344 33554432000 4194304 5963574 140733328219712 140071531977240 4403160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 678092
[startup+1799.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28583940/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1799 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162437 0 0 0 179789 111 0 0 20 0 2 0 275641966 694366208 155344 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155344 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1799.2 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160480 0 0 0 179782 138 0 0 20 0 2 0 275641970 694366208 155344 33554432000 4194304 5963574 140733328219712 140071531977240 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 678092
[startup+1799.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28583940/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1799.39 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162437 0 0 0 179828 111 0 0 20 0 2 0 275641966 694366208 155344 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155344 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1799.59 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160480 0 0 0 179821 138 0 0 20 0 2 0 275641970 694366208 155344 33554432000 4194304 5963574 140733328219712 140071531977240 4399968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 678092
[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22772
/proc/meminfo: memFree=28583940/32873844 swapFree=6856/6856
[pid=22716] ppid=22714 vsize=678092 CPUtime=1799.49 cores=1,3,5,7
/proc/22716/stat : 22716 (wbo1.7) S 22714 22716 21940 0 -1 4202496 162437 0 0 0 179838 111 0 0 20 0 2 0 275641966 694366208 155344 33554432000 4194304 5963574 140733328219712 140733328219232 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22716/statm: 169523 155344 196 432 0 169088 0
[pid=22716/tid=22718] ppid=22714 vsize=678092 CPUtime=1799.69 cores=1,3,5,7
/proc/22716/task/22718/stat : 22718 (wbo1.7) R 22714 22716 21940 0 -1 4202560 160480 0 0 0 179831 138 0 0 20 0 2 0 275641970 694366208 155344 33554432000 4194304 5963574 140733328219712 140071531977240 4403234 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 678092
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.77
CPU user time (s): 1798.36
CPU system time (s): 1.41079
CPU usage (%): 99.9866
Max. virtual memory (cumulated for all children) (KiB): 680524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.41078
maximum resident set size= 622260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162437
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= 226
involuntary context switches= 2034
runsolver used 2.95755 second user time and 8.50271 second system time
The end