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-3727075-1338659514/watcher-3727075-1338659514 -o /tmp/evaluation-result-3727075-1338659514/solver-3727075-1338659514 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727075-1338659514.opb
running on 4 cores: 0,2,4,6
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 2/177 19070
/proc/meminfo: memFree=30926096/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=4056 CPUtime=0 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) R 19068 19070 16985 0 -1 4202496 562 0 0 0 0 0 0 0 20 0 1 0 332077420 4153344 505 33554432000 4194304 5964350 140733649681120 140735536288408 4297174 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 1139 517 167 433 0 703 0
[startup+0.052226 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19070
/proc/meminfo: memFree=30926096/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=84440 CPUtime=0.04 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 1379 0 0 0 4 0 0 0 20 0 2 0 332077420 86466560 1321 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 21110 1322 184 433 0 20674 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84440
[startup+0.100259 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19070
/proc/meminfo: memFree=30926096/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=84440 CPUtime=0.09 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 1504 0 0 0 9 0 0 0 20 0 2 0 332077420 86466560 1446 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 21110 1446 184 433 0 20674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84440
[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19070
/proc/meminfo: memFree=30926096/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=84440 CPUtime=0.29 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 2008 0 0 0 29 0 0 0 20 0 2 0 332077420 86466560 1950 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 21110 1950 184 433 0 20674 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84440
[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19070
/proc/meminfo: memFree=30926096/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=84440 CPUtime=0.69 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 2930 0 0 0 69 0 0 0 20 0 2 0 332077420 86466560 2872 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 21110 2872 184 433 0 20674 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84440
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30909200/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=84440 CPUtime=1.49 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 4416 0 0 0 149 0 0 0 20 0 2 0 332077420 86466560 4358 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 21110 4358 184 433 0 20674 0
[pid=19070/tid=19072] ppid=19068 vsize=84440 CPUtime=1.48 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 3509 0 0 0 148 0 0 0 20 0 2 0 332077421 86466560 4358 33554432000 4194304 5964350 140733649681120 139687165290488 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84440
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30897296/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=84584 CPUtime=3.09 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 5651 0 0 0 308 1 0 0 20 0 2 0 332077420 86614016 5593 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 21146 5593 184 433 0 20710 0
[pid=19070/tid=19072] ppid=19068 vsize=84584 CPUtime=3.08 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 4744 0 0 0 307 1 0 0 20 0 2 0 332077421 86614016 5593 33554432000 4194304 5964350 140733649681120 139687165290536 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84584
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30882540/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=84584 CPUtime=6.29 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 8128 0 0 0 628 1 0 0 20 0 2 0 332077420 86614016 8070 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 21146 8070 184 433 0 20710 0
[pid=19070/tid=19072] ppid=19068 vsize=84584 CPUtime=6.28 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 7221 0 0 0 626 2 0 0 20 0 2 0 332077421 86614016 8070 33554432000 4194304 5964350 140733649681120 139687165290488 4399989 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84584
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30860256/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=84656 CPUtime=12.68 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 12673 0 0 0 1266 2 0 0 20 0 2 0 332077420 86687744 12615 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 21164 12615 184 433 0 20728 0
[pid=19070/tid=19072] ppid=19068 vsize=84656 CPUtime=12.68 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 11766 0 0 0 1265 3 0 0 20 0 2 0 332077421 86687744 12615 33554432000 4194304 5964350 140733649681120 139687165290488 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84656
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30782612/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=150300 CPUtime=25.49 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 20975 0 0 0 2544 5 0 0 20 0 2 0 332077420 153907200 20917 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 37575 20917 184 433 0 37139 0
[pid=19070/tid=19072] ppid=19068 vsize=150300 CPUtime=25.48 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 20068 0 0 0 2542 6 0 0 20 0 2 0 332077421 153907200 20917 33554432000 4194304 5964350 140733649681120 139687165290488 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 150300
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30710784/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=150460 CPUtime=51.09 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 28597 0 0 0 5101 8 0 0 20 0 2 0 332077420 154071040 28539 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 37615 28539 184 433 0 37179 0
[pid=19070/tid=19072] ppid=19068 vsize=150460 CPUtime=51.08 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 27690 0 0 0 5100 8 0 0 20 0 2 0 332077421 154071040 28539 33554432000 4194304 5964350 140733649681120 139687165290488 4399832 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 150460
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30574032/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=216236 CPUtime=102.28 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 39808 0 0 0 10217 11 0 0 20 0 2 0 332077420 221425664 39750 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 54059 39750 184 433 0 53623 0
[pid=19070/tid=19072] ppid=19068 vsize=216236 CPUtime=102.29 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 38901 0 0 0 10217 12 0 0 20 0 2 0 332077421 221425664 39750 33554432000 4194304 5964350 140733649681120 139687165290488 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 216236
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19072
/proc/meminfo: memFree=30500560/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=281772 CPUtime=162.26 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 57455 0 0 0 16209 17 0 0 20 0 2 0 332077420 288534528 57415 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 70443 57415 184 433 0 70007 0
[pid=19070/tid=19072] ppid=19068 vsize=281772 CPUtime=162.28 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 56548 0 0 0 16209 19 0 0 20 0 2 0 332077421 288534528 57415 33554432000 4194304 5964350 140733649681120 139687165290488 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 281772
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19072
/proc/meminfo: memFree=30472324/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=281772 CPUtime=222.21 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 58863 0 0 0 22204 17 0 0 20 0 2 0 332077420 288534528 58858 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 70443 58858 184 433 0 70007 0
[pid=19070/tid=19072] ppid=19068 vsize=281772 CPUtime=222.25 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 57956 0 0 0 22204 21 0 0 20 0 2 0 332077421 288534528 58858 33554432000 4194304 5964350 140733649681120 139687165290296 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 281772
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19073
/proc/meminfo: memFree=30420828/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=282384 CPUtime=282.17 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 62040 0 0 0 28199 18 0 0 20 0 2 0 332077420 289161216 62024 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 70596 62024 184 433 0 70160 0
[pid=19070/tid=19072] ppid=19068 vsize=282384 CPUtime=282.22 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 61133 0 0 0 28200 22 0 0 20 0 2 0 332077421 289161216 62024 33554432000 4194304 5964350 140733649681120 139687165290488 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 282384
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19073
/proc/meminfo: memFree=30279088/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=347920 CPUtime=342.15 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 76999 0 0 0 34192 23 0 0 20 0 2 0 332077420 356270080 78187 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 86980 78187 184 433 0 86544 0
[pid=19070/tid=19072] ppid=19068 vsize=347920 CPUtime=342.22 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 76092 0 0 0 34193 29 0 0 20 0 2 0 332077421 356270080 78187 33554432000 4194304 5964350 140733649681120 139687165290488 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 347920
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19073
/proc/meminfo: memFree=30137600/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=480360 CPUtime=402.15 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 104772 0 0 0 40180 35 0 0 20 0 2 0 332077420 491888640 105960 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 120090 105960 184 433 0 119654 0
[pid=19070/tid=19072] ppid=19068 vsize=480360 CPUtime=402.23 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 103865 0 0 0 40181 42 0 0 20 0 2 0 332077421 491888640 105960 33554432000 4194304 5964350 140733649681120 139687165290488 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 480360
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 19073
/proc/meminfo: memFree=30137840/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=480360 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185650 0 0 0 130134 88 0 0 20 0 2 0 332077421 835174400 186815 33554432000 4194304 5964350 140733649681120 139687165290520 4399987 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 815600
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19105
/proc/meminfo: memFree=29379464/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815600 CPUtime=1361.94 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186559 0 0 0 136126 68 0 0 20 0 2 0 332077420 835174400 186817 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203900 186817 184 433 0 203464 0
[pid=19070/tid=19072] ppid=19068 vsize=815600 CPUtime=1362.22 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185652 0 0 0 136133 89 0 0 20 0 2 0 332077421 835174400 186817 33554432000 4194304 5964350 140733649681120 139687165290520 4381941 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 815600
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 19105
/proc/meminfo: memFree=29330912/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815600 CPUtime=1421.93 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186582 0 0 0 142125 68 0 0 20 0 2 0 332077420 835174400 187222 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203900 187222 184 433 0 203464 0
[pid=19070/tid=19072] ppid=19068 vsize=815600 CPUtime=1422.22 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185675 0 0 0 142132 90 0 0 20 0 2 0 332077421 835174400 187222 33554432000 4194304 5964350 140733649681120 139687165290520 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 815600
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19106
/proc/meminfo: memFree=29284468/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815600 CPUtime=1481.89 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186611 0 0 0 148121 68 0 0 20 0 2 0 332077420 835174400 187293 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203900 187293 184 433 0 203464 0
[pid=19070/tid=19072] ppid=19068 vsize=815600 CPUtime=1482.2 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185704 0 0 0 148129 91 0 0 20 0 2 0 332077421 835174400 187293 33554432000 4194304 5964350 140733649681120 139687165290520 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 815600
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19106
/proc/meminfo: memFree=29237940/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815600 CPUtime=1541.86 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186645 0 0 0 154118 68 0 0 20 0 2 0 332077420 835174400 187378 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203900 187378 184 433 0 203464 0
[pid=19070/tid=19072] ppid=19068 vsize=815600 CPUtime=1542.18 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185738 0 0 0 154126 92 0 0 20 0 2 0 332077421 835174400 187378 33554432000 4194304 5964350 140733649681120 139687165290520 4399930 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 815600
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19106
/proc/meminfo: memFree=29185420/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815600 CPUtime=1601.85 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186647 0 0 0 160117 68 0 0 20 0 2 0 332077420 835174400 187387 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203900 187387 184 433 0 203464 0
[pid=19070/tid=19072] ppid=19068 vsize=815600 CPUtime=1602.18 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185740 0 0 0 160125 93 0 0 20 0 2 0 332077421 835174400 187387 33554432000 4194304 5964350 140733649681120 139687165290520 4399987 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 815600
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19106
/proc/meminfo: memFree=29166452/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815600 CPUtime=1661.84 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186650 0 0 0 166116 68 0 0 20 0 2 0 332077420 835174400 187390 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203900 187390 184 433 0 203464 0
[pid=19070/tid=19072] ppid=19068 vsize=815600 CPUtime=1662.18 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185743 0 0 0 166124 94 0 0 20 0 2 0 332077421 835174400 187390 33554432000 4194304 5964350 140733649681120 139687165290520 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 815600
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19109
/proc/meminfo: memFree=29166456/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815600 CPUtime=1721.83 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186651 0 0 0 172115 68 0 0 20 0 2 0 332077420 835174400 187391 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203900 187391 184 433 0 203464 0
[pid=19070/tid=19072] ppid=19068 vsize=815600 CPUtime=1722.19 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185744 0 0 0 172124 95 0 0 20 0 2 0 332077421 835174400 187391 33554432000 4194304 5964350 140733649681120 139687165290520 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 815600
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19149
/proc/meminfo: memFree=30232772/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815780 CPUtime=1781.82 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186680 0 0 0 178114 68 0 0 20 0 2 0 332077420 835358720 187414 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203945 187414 184 433 0 203509 0
[pid=19070/tid=19072] ppid=19068 vsize=815780 CPUtime=1782.18 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185773 0 0 0 178122 96 0 0 20 0 2 0 332077421 835358720 187414 33554432000 4194304 5964350 140733649681120 139687165290536 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 815780
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 19149
/proc/meminfo: memFree=30221176/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815780 CPUtime=1791.42 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186681 0 0 0 179074 68 0 0 20 0 2 0 332077420 835358720 187414 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203945 187414 184 433 0 203509 0
[pid=19070/tid=19072] ppid=19068 vsize=815780 CPUtime=1791.79 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185774 0 0 0 179083 96 0 0 20 0 2 0 332077421 835358720 187414 33554432000 4194304 5964350 140733649681120 139687165290536 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 815780
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19149
/proc/meminfo: memFree=30214736/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815780 CPUtime=1794.62 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186681 0 0 0 179394 68 0 0 20 0 2 0 332077420 835358720 187414 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203945 187414 184 433 0 203509 0
[pid=19070/tid=19072] ppid=19068 vsize=815780 CPUtime=1794.99 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185774 0 0 0 179403 96 0 0 20 0 2 0 332077421 835358720 187414 33554432000 4194304 5964350 140733649681120 139687165290536 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 815780
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19149
/proc/meminfo: memFree=30214364/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815780 CPUtime=1797.81 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186681 0 0 0 179713 68 0 0 20 0 2 0 332077420 835358720 187414 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203945 187414 184 433 0 203509 0
[pid=19070/tid=19072] ppid=19068 vsize=815780 CPUtime=1798.18 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185774 0 0 0 179722 96 0 0 20 0 2 0 332077421 835358720 187414 33554432000 4194304 5964350 140733649681120 139687165290536 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 815780
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19149
/proc/meminfo: memFree=30214248/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815780 CPUtime=1798.61 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186681 0 0 0 179793 68 0 0 20 0 2 0 332077420 835358720 187414 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203945 187414 184 433 0 203509 0
[pid=19070/tid=19072] ppid=19068 vsize=815780 CPUtime=1798.98 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185774 0 0 0 179802 96 0 0 20 0 2 0 332077421 835358720 187414 33554432000 4194304 5964350 140733649681120 139687165290536 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 815780
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19149
/proc/meminfo: memFree=30213876/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815780 CPUtime=1799.02 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186681 0 0 0 179834 68 0 0 20 0 2 0 332077420 835358720 187414 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203945 187414 184 433 0 203509 0
[pid=19070/tid=19072] ppid=19068 vsize=815780 CPUtime=1799.39 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185774 0 0 0 179843 96 0 0 20 0 2 0 332077421 835358720 187414 33554432000 4194304 5964350 140733649681120 139687165290536 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 815780
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19149
/proc/meminfo: memFree=30213876/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815780 CPUtime=1799.41 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186681 0 0 0 179873 68 0 0 20 0 2 0 332077420 835358720 187414 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203945 187414 184 433 0 203509 0
[pid=19070/tid=19072] ppid=19068 vsize=815780 CPUtime=1799.78 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185774 0 0 0 179882 96 0 0 20 0 2 0 332077421 835358720 187414 33554432000 4194304 5964350 140733649681120 139687165290536 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 815780
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19149
/proc/meminfo: memFree=30213876/32873648 swapFree=7628/7628
[pid=19070] ppid=19068 vsize=815780 CPUtime=1799.51 cores=0,2,4,6
/proc/19070/stat : 19070 (wbo1.72) S 19068 19070 16985 0 -1 4202496 186681 0 0 0 179883 68 0 0 20 0 2 0 332077420 835358720 187414 33554432000 4194304 5964350 140733649681120 140733649680640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19070/statm: 203945 187414 184 433 0 203509 0
[pid=19070/tid=19072] ppid=19068 vsize=815780 CPUtime=1799.88 cores=0,2,4,6
/proc/19070/task/19072/stat : 19072 (wbo1.72) R 19068 19070 16985 0 -1 4202560 185774 0 0 0 179892 96 0 0 20 0 2 0 332077421 835358720 187414 33554432000 4194304 5964350 140733649681120 139687165290536 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 815780
Child status: 255
Real time (s): 1800
CPU time (s): 1799.91
CPU user time (s): 1798.93
CPU system time (s): 0.975851
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 815780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 0.975851
maximum resident set size= 750020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186684
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= 290
involuntary context switches= 1882
runsolver used 2.86456 second user time and 7.15091 second system time
The end