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-3727635-1338664156/watcher-3727635-1338664156 -o /tmp/evaluation-result-3727635-1338664156/solver-3727635-1338664156 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727635-1338664156.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 3/175 10120
/proc/meminfo: memFree=23995432/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=10036 CPUtime=0 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) R 10118 10120 7385 0 -1 4202496 556 0 0 0 0 0 0 0 20 0 1 0 332544217 10276864 509 33554432000 4194304 5964350 140734400436096 140735118750936 4395449 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 2509 509 157 433 0 634 0
[startup+0.01667 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 10120
/proc/meminfo: memFree=23995432/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=12808 CPUtime=0.01 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) R 10118 10120 7385 0 -1 4202496 1181 0 0 0 1 0 0 0 20 0 1 0 332544217 13115392 1134 33554432000 4194304 5964350 140734400436096 140735118750936 4339143 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 3202 1135 183 433 0 1327 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12808
[startup+0.100241 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 10120
/proc/meminfo: memFree=23995432/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=25384 CPUtime=0.09 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) R 10118 10120 7385 0 -1 4202496 4753 0 0 0 9 0 0 0 20 0 1 0 332544217 25993216 4455 33554432000 4194304 5964350 140734400436096 140735118750936 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 6346 4456 419 433 0 4471 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25384
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 10120
/proc/meminfo: memFree=23995432/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=39172 CPUtime=0.29 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) R 10118 10120 7385 0 -1 4202496 8393 0 0 0 28 1 0 0 20 0 1 0 332544217 40112128 7966 33554432000 4194304 5964350 140734400436096 140734400434440 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 9793 7966 1022 433 0 7918 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39172
[startup+0.700283 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 10120
/proc/meminfo: memFree=23995432/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=139836 CPUtime=0.69 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 26359 0 0 0 65 4 0 0 20 0 2 0 332544217 143192064 24406 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 34959 24408 183 433 0 34523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 139836
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10122
/proc/meminfo: memFree=23875032/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=184012 CPUtime=1.49 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 36375 0 0 0 143 6 0 0 20 0 2 0 332544217 188428288 29887 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 46003 29887 191 433 0 45567 0
[pid=10120/tid=10122] ppid=10118 vsize=184012 CPUtime=1 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 25183 0 0 0 95 5 0 0 20 0 2 0 332544266 188428288 29887 33554432000 4194304 5964350 140734400436096 139998412347832 4419579 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) 184012
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10122
/proc/meminfo: memFree=23875032/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=184012 CPUtime=3.09 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 41390 0 0 0 302 7 0 0 20 0 2 0 332544217 188428288 30910 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 46003 30910 191 433 0 45567 0
[pid=10120/tid=10122] ppid=10118 vsize=184012 CPUtime=2.6 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 30198 0 0 0 254 6 0 0 20 0 2 0 332544266 188428288 30910 33554432000 4194304 5964350 140734400436096 139998412347928 4444974 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) 184012
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10122
/proc/meminfo: memFree=23871604/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=184012 CPUtime=6.29 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 45441 0 0 0 621 8 0 0 20 0 2 0 332544217 188428288 30923 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 46003 30923 191 433 0 45567 0
[pid=10120/tid=10122] ppid=10118 vsize=184012 CPUtime=5.8 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 34249 0 0 0 573 7 0 0 20 0 2 0 332544266 188428288 30923 33554432000 4194304 5964350 140734400436096 139998412347800 4406259 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) 184012
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10122
/proc/meminfo: memFree=23871380/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=184012 CPUtime=12.69 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 46813 0 0 0 1261 8 0 0 20 0 2 0 332544217 188428288 32295 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 46003 32295 193 433 0 45567 0
[pid=10120/tid=10122] ppid=10118 vsize=184012 CPUtime=12.2 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 35621 0 0 0 1213 7 0 0 20 0 2 0 332544266 188428288 32295 33554432000 4194304 5964350 140734400436096 139998412347752 4389067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 184012
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10122
/proc/meminfo: memFree=23846444/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=193740 CPUtime=25.48 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 47860 0 0 0 2540 8 0 0 20 0 2 0 332544217 198389760 33743 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 48435 33743 195 433 0 47999 0
[pid=10120/tid=10122] ppid=10118 vsize=193740 CPUtime=25 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 36668 0 0 0 2492 8 0 0 20 0 2 0 332544266 198389760 33743 33554432000 4194304 5964350 140734400436096 139998412348232 4389090 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 193740
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10125
/proc/meminfo: memFree=23790208/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=193740 CPUtime=51.08 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 47860 0 0 0 5100 8 0 0 20 0 2 0 332544217 198389760 33743 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 48435 33743 195 433 0 47999 0
[pid=10120/tid=10122] ppid=10118 vsize=193740 CPUtime=50.6 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 36668 0 0 0 5052 8 0 0 20 0 2 0 332544266 198389760 33743 33554432000 4194304 5964350 140734400436096 139998412348232 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 193740
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10125
/proc/meminfo: memFree=23615012/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=193740 CPUtime=102.27 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 47860 0 0 0 10219 8 0 0 20 0 2 0 332544217 198389760 34524 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 48435 34524 195 433 0 47999 0
[pid=10120/tid=10122] ppid=10118 vsize=193740 CPUtime=101.81 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 36668 0 0 0 10172 9 0 0 20 0 2 0 332544266 198389760 34524 33554432000 4194304 5964350 140734400436096 139998412348232 4410659 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 193740
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10125
/proc/meminfo: memFree=23481220/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=193740 CPUtime=162.26 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 50434 0 0 0 16216 10 0 0 20 0 2 0 332544217 198389760 37639 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 48435 37639 195 433 0 47999 0
[pid=10120/tid=10122] ppid=10118 vsize=193740 CPUtime=161.8 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 39242 0 0 0 16169 11 0 0 20 0 2 0 332544266 198389760 37639 33554432000 4194304 5964350 140734400436096 139998412347384 4389005 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) 193740
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10126
/proc/meminfo: memFree=23466744/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=193740 CPUtime=222.25 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 53957 0 0 0 22212 13 0 0 20 0 2 0 332544217 198389760 41162 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 48435 41162 195 433 0 47999 0
[pid=10120/tid=10122] ppid=10118 vsize=193740 CPUtime=221.8 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 42765 0 0 0 22165 15 0 0 20 0 2 0 332544266 198389760 41162 33554432000 4194304 5964350 140734400436096 139998412347192 4399835 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 193740
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10126
/proc/meminfo: memFree=23387976/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=259276 CPUtime=282.24 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 59654 0 0 0 28209 15 0 0 20 0 2 0 332544217 265498624 46859 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 64819 46859 195 433 0 64383 0
[pid=10120/tid=10122] ppid=10118 vsize=259276 CPUtime=281.8 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 48462 0 0 0 28162 18 0 0 20 0 2 0 332544266 265498624 46859 33554432000 4194304 5964350 140734400436096 139998412347384 4410659 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 259276
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10126
/proc/meminfo: memFree=23260724/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=259276 CPUtime=342.22 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 62727 0 0 0 34207 15 0 0 20 0 2 0 332544217 265498624 49932 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 64819 49932 195 433 0 64383 0
[pid=10120/tid=10122] ppid=10118 vsize=259276 CPUtime=341.81 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 51535 0 0 0 34161 20 0 0 20 0 2 0 332544266 265498624 49932 33554432000 4194304 5964350 140734400436096 139998412347192 4389049 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 259276
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10126
/proc/meminfo: memFree=23103144/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=259276 CPUtime=402.21 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 72710 0 0 0 40203 18 0 0 20 0 2 0 332544217 265498624 59915 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 64819 59915 195 433 0 64383 0
[pid=10120/tid=10122] ppid=10118 vsize=259276 CPUtime=401.81 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 61518 0 0 0 40157 24 0 0 20 0 2 0 332544266 265498624 59915 33554432000 4194304 5964350 140734400436096 139998412347384 4389080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 259276
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10126
/proc/meminfo: memFree=22990276/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=324812 CPUtime=462.21 cores=0,2,4,6
################
# More data... #
################
[pid=10120] ppid=10118 vsize=455884 CPUtime=1002.11 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 114773 0 0 0 100176 35 0 0 20 0 2 0 332544217 466825216 102058 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 113971 102058 195 433 0 113535 0
[pid=10120/tid=10122] ppid=10118 vsize=455884 CPUtime=1001.83 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 103581 0 0 0 100134 49 0 0 20 0 2 0 332544266 466825216 102058 33554432000 4194304 5964350 140734400436096 139998412347384 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 455884
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10131
/proc/meminfo: memFree=21866220/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=455884 CPUtime=1062.1 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 118134 0 0 0 106174 36 0 0 20 0 2 0 332544217 466825216 105419 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 113971 105419 195 433 0 113535 0
[pid=10120/tid=10122] ppid=10118 vsize=455884 CPUtime=1061.83 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 106942 0 0 0 106132 51 0 0 20 0 2 0 332544266 466825216 105419 33554432000 4194304 5964350 140734400436096 139998412347384 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 455884
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10131
/proc/meminfo: memFree=21546424/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=455884 CPUtime=1122.09 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 121712 0 0 0 112172 37 0 0 20 0 2 0 332544217 466825216 108997 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 113971 108997 195 433 0 113535 0
[pid=10120/tid=10122] ppid=10118 vsize=455884 CPUtime=1121.83 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 110520 0 0 0 112130 53 0 0 20 0 2 0 332544266 466825216 108997 33554432000 4194304 5964350 140734400436096 139998412347384 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 455884
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10132
/proc/meminfo: memFree=21318884/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=521420 CPUtime=1182.07 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 124092 0 0 0 118169 38 0 0 20 0 2 0 332544217 533934080 111377 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 130355 111377 195 433 0 129919 0
[pid=10120/tid=10122] ppid=10118 vsize=521420 CPUtime=1181.84 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 112900 0 0 0 118129 55 0 0 20 0 2 0 332544266 533934080 111377 33554432000 4194304 5964350 140734400436096 139998412347384 4389080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 521420
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10132
/proc/meminfo: memFree=21038000/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=521420 CPUtime=1242.06 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 128155 0 0 0 124166 40 0 0 20 0 2 0 332544217 533934080 115509 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 130355 115509 195 433 0 129919 0
[pid=10120/tid=10122] ppid=10118 vsize=521420 CPUtime=1241.84 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 116963 0 0 0 124126 58 0 0 20 0 2 0 332544266 533934080 115509 33554432000 4194304 5964350 140734400436096 139998412347384 4389084 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 521420
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10135
/proc/meminfo: memFree=20806388/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=521420 CPUtime=1302.06 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 130948 0 0 0 130164 42 0 0 20 0 2 0 332544217 533934080 118402 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 130355 118402 195 433 0 129919 0
[pid=10120/tid=10122] ppid=10118 vsize=521420 CPUtime=1301.84 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 119756 0 0 0 130124 60 0 0 20 0 2 0 332544266 533934080 118402 33554432000 4194304 5964350 140734400436096 139998412347384 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 521420
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10135
/proc/meminfo: memFree=20583112/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=521420 CPUtime=1362.05 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 133706 0 0 0 136162 43 0 0 20 0 2 0 332544217 533934080 121166 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 130355 121166 195 433 0 129919 0
[pid=10120/tid=10122] ppid=10118 vsize=521420 CPUtime=1361.84 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 122514 0 0 0 136122 62 0 0 20 0 2 0 332544266 533934080 121166 33554432000 4194304 5964350 140734400436096 139998412347384 4222474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 521420
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10135
/proc/meminfo: memFree=20376464/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=521420 CPUtime=1422.04 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 137357 0 0 0 142161 43 0 0 20 0 2 0 332544217 533934080 124817 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 130355 124817 195 433 0 129919 0
[pid=10120/tid=10122] ppid=10118 vsize=521420 CPUtime=1421.85 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 126165 0 0 0 142122 63 0 0 20 0 2 0 332544266 533934080 124817 33554432000 4194304 5964350 140734400436096 139998412347384 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 521420
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10136
/proc/meminfo: memFree=20174672/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=586956 CPUtime=1482.02 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 144657 0 0 0 148157 45 0 0 20 0 2 0 332544217 601042944 132117 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 146739 132117 195 433 0 146303 0
[pid=10120/tid=10122] ppid=10118 vsize=586956 CPUtime=1481.85 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 133465 0 0 0 148119 66 0 0 20 0 2 0 332544266 601042944 132117 33554432000 4194304 5964350 140734400436096 139998412347384 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 586956
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10136
/proc/meminfo: memFree=19985228/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=586956 CPUtime=1542.01 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 151853 0 0 0 154154 47 0 0 20 0 2 0 332544217 601042944 139313 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 146739 139313 195 433 0 146303 0
[pid=10120/tid=10122] ppid=10118 vsize=586956 CPUtime=1541.85 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 140661 0 0 0 154115 70 0 0 20 0 2 0 332544266 601042944 139313 33554432000 4194304 5964350 140734400436096 139998412347384 4389084 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 586956
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10136
/proc/meminfo: memFree=19784564/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=652492 CPUtime=1602.01 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 156842 0 0 0 160152 49 0 0 20 0 2 0 332544217 668151808 144302 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 163123 144302 195 433 0 162687 0
[pid=10120/tid=10122] ppid=10118 vsize=652492 CPUtime=1601.85 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 145650 0 0 0 160113 72 0 0 20 0 2 0 332544266 668151808 144302 33554432000 4194304 5964350 140734400436096 139998412347384 4410659 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 652492
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10136
/proc/meminfo: memFree=19587928/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=652492 CPUtime=1662 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 159695 0 0 0 166150 50 0 0 20 0 2 0 332544217 668151808 147155 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 163123 147155 195 433 0 162687 0
[pid=10120/tid=10122] ppid=10118 vsize=652492 CPUtime=1661.86 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 148503 0 0 0 166112 74 0 0 20 0 2 0 332544266 668151808 147155 33554432000 4194304 5964350 140734400436096 139998412347384 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 652492
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10137
/proc/meminfo: memFree=19504124/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=652492 CPUtime=1721.99 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 164560 0 0 0 172149 50 0 0 20 0 2 0 332544217 668151808 152020 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 163123 152020 195 433 0 162687 0
[pid=10120/tid=10122] ppid=10118 vsize=652492 CPUtime=1721.86 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 153368 0 0 0 172110 76 0 0 20 0 2 0 332544266 668151808 152020 33554432000 4194304 5964350 140734400436096 139998412346984 4389080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 652492
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10177
/proc/meminfo: memFree=23425752/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=652492 CPUtime=1781.98 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 168202 0 0 0 178147 51 0 0 20 0 2 0 332544217 668151808 155662 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 163123 155662 195 433 0 162687 0
[pid=10120/tid=10122] ppid=10118 vsize=652492 CPUtime=1781.86 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 157010 0 0 0 178109 77 0 0 20 0 2 0 332544266 668151808 155662 33554432000 4194304 5964350 140734400436096 139998412347384 4388992 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 652492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10177
/proc/meminfo: memFree=23401724/32873844 swapFree=7112/7112
[pid=10120] ppid=10118 vsize=652492 CPUtime=1800.09 cores=0,2,4,6
/proc/10120/stat : 10120 (wbo1.72) S 10118 10120 7385 0 -1 4202496 169059 0 0 0 179957 52 0 0 20 0 2 0 332544217 668151808 156530 33554432000 4194304 5964350 140734400436096 140734400435616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10120/statm: 163123 156530 195 433 0 162687 0
[pid=10120/tid=10122] ppid=10118 vsize=652492 CPUtime=1799.97 cores=0,2,4,6
/proc/10120/task/10122/stat : 10122 (wbo1.72) R 10118 10120 7385 0 -1 4202560 157867 0 0 0 179919 78 0 0 20 0 2 0 332544266 668151808 156530 33554432000 4194304 5964350 140734400436096 139998412346984 4389067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 652492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.43
CPU time (s): 1800.5
CPU user time (s): 1799.68
CPU system time (s): 0.821875
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 652492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.821875
maximum resident set size= 626124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169060
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= 46
involuntary context switches= 1878
runsolver used 3.14952 second user time and 8.78566 second system time
The end