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-3727079-1338659490/watcher-3727079-1338659490 -o /tmp/evaluation-result-3727079-1338659490/solver-3727079-1338659490 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727079-1338659490.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.00 2.00 2.00 3/177 19031
/proc/meminfo: memFree=30554448/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=4336 CPUtime=0 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) R 19029 19031 16985 0 -1 4202496 548 0 0 0 0 0 0 0 20 0 1 0 332074981 4440064 500 33554432000 4194304 5964350 140735350227072 140735430782888 5179632 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 1084 500 160 433 0 626 0
[startup+0.055594 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19031
/proc/meminfo: memFree=30554448/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=85028 CPUtime=0.04 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 1828 0 0 0 4 0 0 0 20 0 2 0 332074981 87068672 1674 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 21257 1674 183 433 0 20821 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 85028
[startup+0.100168 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19031
/proc/meminfo: memFree=30554448/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=85028 CPUtime=0.09 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 1959 0 0 0 9 0 0 0 20 0 2 0 332074981 87068672 1805 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 21257 1805 184 433 0 20821 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85028
[startup+0.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19031
/proc/meminfo: memFree=30554448/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=85028 CPUtime=0.29 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 2358 0 0 0 29 0 0 0 20 0 2 0 332074981 87068672 2204 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 21257 2204 184 433 0 20821 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85028
[startup+0.700111 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19031
/proc/meminfo: memFree=30554448/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=85028 CPUtime=0.69 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 3161 0 0 0 69 0 0 0 20 0 2 0 332074981 87068672 3007 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 21257 3007 184 433 0 20821 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85028
[startup+1.50013 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19033
/proc/meminfo: memFree=30541164/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=85028 CPUtime=1.48 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 4582 0 0 0 148 0 0 0 20 0 2 0 332074981 87068672 4428 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 21257 4428 184 433 0 20821 0
[pid=19031/tid=19033] ppid=19029 vsize=85028 CPUtime=1.47 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 3484 0 0 0 147 0 0 0 20 0 2 0 332074982 87068672 4428 33554432000 4194304 5964350 140735350227072 140152110405624 5136340 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) 85028
[startup+3.10012 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19033
/proc/meminfo: memFree=30533320/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=85028 CPUtime=3.08 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 6980 0 0 0 307 1 0 0 20 0 2 0 332074981 87068672 6826 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 21257 6826 184 433 0 20821 0
[pid=19031/tid=19033] ppid=19029 vsize=85028 CPUtime=3.07 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 5882 0 0 0 305 2 0 0 20 0 2 0 332074982 87068672 6826 33554432000 4194304 5964350 140735350227072 140152110405672 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85028
[startup+6.30013 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19033
/proc/meminfo: memFree=30523228/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=85028 CPUtime=6.29 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 7978 0 0 0 627 2 0 0 20 0 2 0 332074981 87068672 7824 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 21257 7824 184 433 0 20821 0
[pid=19031/tid=19033] ppid=19029 vsize=85028 CPUtime=6.27 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 6880 0 0 0 625 2 0 0 20 0 2 0 332074982 87068672 7824 33554432000 4194304 5964350 140735350227072 140152110405432 4381916 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) 85028
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19033
/proc/meminfo: memFree=30511424/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=85244 CPUtime=12.68 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 11846 0 0 0 1265 3 0 0 20 0 2 0 332074981 87289856 11692 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 21311 11692 184 433 0 20875 0
[pid=19031/tid=19033] ppid=19029 vsize=85244 CPUtime=12.68 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 10748 0 0 0 1264 4 0 0 20 0 2 0 332074982 87289856 11692 33554432000 4194304 5964350 140735350227072 140152110405624 5136340 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) 85244
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30911432/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=150888 CPUtime=25.48 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 21368 0 0 0 2542 6 0 0 20 0 2 0 332074981 154509312 21214 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 37722 21214 184 433 0 37286 0
[pid=19031/tid=19033] ppid=19029 vsize=150888 CPUtime=25.47 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 20270 0 0 0 2541 6 0 0 20 0 2 0 332074982 154509312 21214 33554432000 4194304 5964350 140735350227072 140152110405624 5136340 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) 150888
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30775544/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=216584 CPUtime=51.07 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 37224 0 0 0 5096 11 0 0 20 0 2 0 332074981 221782016 37080 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 54146 37080 184 433 0 53710 0
[pid=19031/tid=19033] ppid=19029 vsize=216584 CPUtime=51.06 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 36126 0 0 0 5095 11 0 0 20 0 2 0 332074982 221782016 37080 33554432000 4194304 5964350 140735350227072 140152110405624 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 216584
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30591052/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=347896 CPUtime=102.25 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 67537 0 0 0 10206 19 0 0 20 0 2 0 332074981 356245504 67372 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 86974 67372 184 433 0 86538 0
[pid=19031/tid=19033] ppid=19029 vsize=347896 CPUtime=102.24 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 66439 0 0 0 10204 20 0 0 20 0 2 0 332074982 356245504 67372 33554432000 4194304 5964350 140735350227072 140152110405624 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 347896
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30503552/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=347896 CPUtime=162.21 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 68320 0 0 0 16202 19 0 0 20 0 2 0 332074981 356245504 68131 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 86974 68131 184 433 0 86538 0
[pid=19031/tid=19033] ppid=19029 vsize=347896 CPUtime=162.21 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 67222 0 0 0 16199 22 0 0 20 0 2 0 332074982 356245504 68131 33554432000 4194304 5964350 140735350227072 140152110405624 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 347896
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30494792/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=347896 CPUtime=222.19 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 68905 0 0 0 22200 19 0 0 20 0 2 0 332074981 356245504 68716 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 86974 68716 184 433 0 86538 0
[pid=19031/tid=19033] ppid=19029 vsize=347896 CPUtime=222.2 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 67807 0 0 0 22197 23 0 0 20 0 2 0 332074982 356245504 68716 33554432000 4194304 5964350 140735350227072 140152110405624 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 347896
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19073
/proc/meminfo: memFree=30423956/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=413432 CPUtime=282.19 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 84181 0 0 0 28194 25 0 0 20 0 2 0 332074981 423354368 83992 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 103358 83992 184 433 0 102922 0
[pid=19031/tid=19033] ppid=19029 vsize=413432 CPUtime=282.21 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 83083 0 0 0 28191 30 0 0 20 0 2 0 332074982 423354368 83992 33554432000 4194304 5964350 140735350227072 140152110405624 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 413432
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19073
/proc/meminfo: memFree=30338640/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=478968 CPUtime=342.16 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 99873 0 0 0 34187 29 0 0 20 0 2 0 332074981 490463232 99691 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 119742 99691 184 433 0 119306 0
[pid=19031/tid=19033] ppid=19029 vsize=478968 CPUtime=342.2 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 98775 0 0 0 34185 35 0 0 20 0 2 0 332074982 490463232 99691 33554432000 4194304 5964350 140735350227072 140152110405624 4399998 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) 478968
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19073
/proc/meminfo: memFree=30190520/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=479184 CPUtime=402.13 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 103663 0 0 0 40183 30 0 0 20 0 2 0 332074981 490684416 103488 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 119796 103488 184 433 0 119360 0
[pid=19031/tid=19033] ppid=19029 vsize=479184 CPUtime=402.18 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 102565 0 0 0 40181 37 0 0 20 0 2 0 332074982 490684416 103488 33554432000 4194304 5964350 140735350227072 140152110405624 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 479184
[startup+462.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 19073
/proc/meminfo: memFree=30137116/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=479184 CPUtime=462.1 cores=1,3,5,7
################
# More data... #
################
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 217674 0 0 0 130120 90 0 0 20 0 2 0 332074982 961699840 218835 33554432000 4194304 5964350 140735350227072 140152110405656 4381597 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) 939160
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19105
/proc/meminfo: memFree=29379336/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=939160 CPUtime=1361.87 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 218772 0 0 0 136116 71 0 0 20 0 2 0 332074981 961699840 218835 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 234790 218835 184 433 0 234354 0
[pid=19031/tid=19033] ppid=19029 vsize=939160 CPUtime=1362.1 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 217674 0 0 0 136119 91 0 0 20 0 2 0 332074982 961699840 218835 33554432000 4194304 5964350 140735350227072 140152110405656 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 939160
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19105
/proc/meminfo: memFree=29377568/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=939160 CPUtime=1421.87 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 218772 0 0 0 142116 71 0 0 20 0 2 0 332074981 961699840 218835 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 234790 218835 184 433 0 234354 0
[pid=19031/tid=19033] ppid=19029 vsize=939160 CPUtime=1422.11 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 217674 0 0 0 142119 92 0 0 20 0 2 0 332074982 961699840 218835 33554432000 4194304 5964350 140735350227072 140152110405656 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 939160
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 19106
/proc/meminfo: memFree=29303100/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1004912 CPUtime=1481.85 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 237509 0 0 0 148106 79 0 0 20 0 2 0 332074981 1029029888 237572 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 251228 237572 184 433 0 250792 0
[pid=19031/tid=19033] ppid=19029 vsize=1004912 CPUtime=1482.11 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 236411 0 0 0 148109 102 0 0 20 0 2 0 332074982 1029029888 237572 33554432000 4194304 5964350 140735350227072 140152110405624 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1004912
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 19106
/proc/meminfo: memFree=29255388/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1070448 CPUtime=1541.84 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 249283 0 0 0 154096 88 0 0 20 0 2 0 332074981 1096138752 249346 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 267612 249346 184 433 0 267176 0
[pid=19031/tid=19033] ppid=19029 vsize=1070448 CPUtime=1542.11 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 248185 0 0 0 154099 112 0 0 20 0 2 0 332074982 1096138752 249346 33554432000 4194304 5964350 140735350227072 140152110405624 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1070448
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19106
/proc/meminfo: memFree=29209724/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1070448 CPUtime=1601.83 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 260815 0 0 0 160087 96 0 0 20 0 2 0 332074981 1096138752 260878 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 267612 260878 184 433 0 267176 0
[pid=19031/tid=19033] ppid=19029 vsize=1070448 CPUtime=1602.11 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 259717 0 0 0 160090 121 0 0 20 0 2 0 332074982 1096138752 260878 33554432000 4194304 5964350 140735350227072 140152110405624 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1070448
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19106
/proc/meminfo: memFree=29166324/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1136956 CPUtime=1661.82 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 271424 0 0 0 166080 102 0 0 20 0 2 0 332074981 1164242944 271487 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 284239 271487 184 433 0 283803 0
[pid=19031/tid=19033] ppid=19029 vsize=1136956 CPUtime=1662.12 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 270326 0 0 0 166084 128 0 0 20 0 2 0 332074982 1164242944 271487 33554432000 4194304 5964350 140735350227072 140152110405624 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1136956
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19109
/proc/meminfo: memFree=29166048/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1136956 CPUtime=1721.81 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 271440 0 0 0 172079 102 0 0 20 0 2 0 332074981 1164242944 271503 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 284239 271503 184 433 0 283803 0
[pid=19031/tid=19033] ppid=19029 vsize=1136956 CPUtime=1722.12 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 270342 0 0 0 172083 129 0 0 20 0 2 0 332074982 1164242944 271503 33554432000 4194304 5964350 140735350227072 140152110405624 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1136956
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19110
/proc/meminfo: memFree=29166028/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1136956 CPUtime=1781.8 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 271457 0 0 0 178078 102 0 0 20 0 2 0 332074981 1164242944 271520 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 284239 271520 184 433 0 283803 0
[pid=19031/tid=19033] ppid=19029 vsize=1136956 CPUtime=1782.12 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 270359 0 0 0 178082 130 0 0 20 0 2 0 332074982 1164242944 271520 33554432000 4194304 5964350 140735350227072 140152110405624 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1136956
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19110
/proc/meminfo: memFree=29165952/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1136956 CPUtime=1791.4 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 271457 0 0 0 179038 102 0 0 20 0 2 0 332074981 1164242944 271520 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 284239 271520 184 433 0 283803 0
[pid=19031/tid=19033] ppid=19029 vsize=1136956 CPUtime=1791.73 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 270359 0 0 0 179043 130 0 0 20 0 2 0 332074982 1164242944 271520 33554432000 4194304 5964350 140735350227072 140152110405624 4381949 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) 1136956
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19110
/proc/meminfo: memFree=29165580/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1136956 CPUtime=1794.6 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 271457 0 0 0 179358 102 0 0 20 0 2 0 332074981 1164242944 271520 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 284239 271520 184 433 0 283803 0
[pid=19031/tid=19033] ppid=19029 vsize=1136956 CPUtime=1794.93 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 270359 0 0 0 179363 130 0 0 20 0 2 0 332074982 1164242944 271520 33554432000 4194304 5964350 140735350227072 140152110405624 4400035 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) 1136956
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19110
/proc/meminfo: memFree=29165704/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1136956 CPUtime=1797.8 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 271457 0 0 0 179678 102 0 0 20 0 2 0 332074981 1164242944 271520 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 284239 271520 184 433 0 283803 0
[pid=19031/tid=19033] ppid=19029 vsize=1136956 CPUtime=1798.12 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 270359 0 0 0 179682 130 0 0 20 0 2 0 332074982 1164242944 271520 33554432000 4194304 5964350 140735350227072 140152110405624 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 1136956
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19110
/proc/meminfo: memFree=29165440/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1136956 CPUtime=1798.6 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 271457 0 0 0 179758 102 0 0 20 0 2 0 332074981 1164242944 271520 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 284239 271520 184 433 0 283803 0
[pid=19031/tid=19033] ppid=19029 vsize=1136956 CPUtime=1798.92 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 270359 0 0 0 179762 130 0 0 20 0 2 0 332074982 1164242944 271520 33554432000 4194304 5964350 140735350227072 140152110405624 4400355 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 1136956
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19110
/proc/meminfo: memFree=29165688/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1136956 CPUtime=1799 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 271457 0 0 0 179798 102 0 0 20 0 2 0 332074981 1164242944 271520 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 284239 271520 184 433 0 283803 0
[pid=19031/tid=19033] ppid=19029 vsize=1136956 CPUtime=1799.33 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 270359 0 0 0 179803 130 0 0 20 0 2 0 332074982 1164242944 271520 33554432000 4194304 5964350 140735350227072 140152110405624 4400007 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) 1136956
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19110
/proc/meminfo: memFree=29165688/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1136956 CPUtime=1799.4 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 271457 0 0 0 179838 102 0 0 20 0 2 0 332074981 1164242944 271520 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 284239 271520 184 433 0 283803 0
[pid=19031/tid=19033] ppid=19029 vsize=1136956 CPUtime=1799.72 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 270359 0 0 0 179842 130 0 0 20 0 2 0 332074982 1164242944 271520 33554432000 4194304 5964350 140735350227072 140152110405624 4381622 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 1136956
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19110
/proc/meminfo: memFree=29165688/32873648 swapFree=7628/7628
[pid=19031] ppid=19029 vsize=1136956 CPUtime=1799.5 cores=1,3,5,7
/proc/19031/stat : 19031 (wbo1.72) S 19029 19031 16985 0 -1 4202496 271457 0 0 0 179848 102 0 0 20 0 2 0 332074981 1164242944 271520 33554432000 4194304 5964350 140735350227072 140735350226592 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19031/statm: 284239 271520 184 433 0 283803 0
[pid=19031/tid=19033] ppid=19029 vsize=1136956 CPUtime=1799.82 cores=1,3,5,7
/proc/19031/task/19033/stat : 19033 (wbo1.72) R 19029 19031 16985 0 -1 4202560 270359 0 0 0 179852 130 0 0 20 0 2 0 332074982 1164242944 271520 33554432000 4194304 5964350 140735350227072 140152110405624 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 1136956
Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.87
CPU user time (s): 1798.54
CPU system time (s): 1.3288
CPU usage (%): 99.9918
Max. virtual memory (cumulated for all children) (KiB): 1136956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.54
system time used= 1.3288
maximum resident set size= 1086092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271460
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= 308
involuntary context switches= 2066
runsolver used 2.50262 second user time and 7.32489 second system time
The end