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-3727438-1338657714/watcher-3727438-1338657714 -o /tmp/evaluation-result-3727438-1338657714/solver-3727438-1338657714 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727438-1338657714.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: 1.92 1.98 1.99 3/177 18976
/proc/meminfo: memFree=30977636/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=3560 CPUtime=0 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) R 18974 18976 16985 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 331897388 3645440 277 33554432000 4194304 5964350 140734586814528 140736218550888 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 924 279 167 433 0 384 0
[startup+0.0286641 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 18976
/proc/meminfo: memFree=30977636/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=4820 CPUtime=0.02 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) R 18974 18976 16985 0 -1 4202496 708 0 0 0 2 0 0 0 20 0 1 0 331897388 4935680 661 33554432000 4194304 5964350 140734586814528 140736218550888 4344688 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 1205 661 253 433 0 665 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4820
[startup+0.10016 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 18976
/proc/meminfo: memFree=30977636/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=85068 CPUtime=0.09 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 2512 0 0 0 9 0 0 0 20 0 2 0 331897388 87109632 2212 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 21267 2212 187 433 0 20831 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85068
[startup+0.300109 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 18976
/proc/meminfo: memFree=30977636/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=85068 CPUtime=0.29 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 2720 0 0 0 29 0 0 0 20 0 2 0 331897388 87109632 2266 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 21267 2266 187 433 0 20831 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85068
[startup+0.70011 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 18976
/proc/meminfo: memFree=30977636/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=85068 CPUtime=0.69 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 3106 0 0 0 69 0 0 0 20 0 2 0 331897388 87109632 2374 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 21267 2374 187 433 0 20831 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85068
[startup+1.5002 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 18978
/proc/meminfo: memFree=30968552/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=85068 CPUtime=1.48 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 4000 0 0 0 148 0 0 0 20 0 2 0 331897388 87109632 2833 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 21267 2833 191 433 0 20831 0
[pid=18976/tid=18978] ppid=18974 vsize=85068 CPUtime=1.45 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 2826 0 0 0 145 0 0 0 20 0 2 0 331897391 87109632 2833 33554432000 4194304 5964350 140734586814528 140565240207896 4394926 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85068
[startup+3.1002 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 18978
/proc/meminfo: memFree=30965428/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=85068 CPUtime=3.09 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 5146 0 0 0 308 1 0 0 20 0 2 0 331897388 87109632 3653 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 21267 3653 192 433 0 20831 0
[pid=18976/tid=18978] ppid=18974 vsize=85068 CPUtime=3.05 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 3972 0 0 0 305 0 0 0 20 0 2 0 331897391 87109632 3653 33554432000 4194304 5964350 140734586814528 140565240207896 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85068
[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 18978
/proc/meminfo: memFree=30956176/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=85068 CPUtime=6.29 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 7099 0 0 0 628 1 0 0 20 0 2 0 331897388 87109632 5606 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 21267 5606 192 433 0 20831 0
[pid=18976/tid=18978] ppid=18974 vsize=85068 CPUtime=6.26 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 5925 0 0 0 624 2 0 0 20 0 2 0 331897391 87109632 5606 33554432000 4194304 5964350 140734586814528 140565240207160 4400400 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85068
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 18978
/proc/meminfo: memFree=30943052/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=85068 CPUtime=12.69 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 9585 0 0 0 1267 2 0 0 20 0 2 0 331897388 87109632 8037 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 21267 8037 192 433 0 20831 0
[pid=18976/tid=18978] ppid=18974 vsize=85068 CPUtime=12.65 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 8411 0 0 0 1263 2 0 0 20 0 2 0 331897391 87109632 8037 33554432000 4194304 5964350 140734586814528 140565240208312 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85068
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 18978
/proc/meminfo: memFree=30937156/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=85068 CPUtime=25.48 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 9638 0 0 0 2546 2 0 0 20 0 2 0 331897388 87109632 8070 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 21267 8070 192 433 0 20831 0
[pid=18976/tid=18978] ppid=18974 vsize=85068 CPUtime=25.45 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 8464 0 0 0 2543 2 0 0 20 0 2 0 331897391 87109632 8070 33554432000 4194304 5964350 140734586814528 140565240208200 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85068
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 18978
/proc/meminfo: memFree=30894376/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=85552 CPUtime=51.06 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 16730 0 0 0 5103 3 0 0 20 0 2 0 331897388 87605248 15152 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 21388 15152 192 433 0 20952 0
[pid=18976/tid=18978] ppid=18974 vsize=85552 CPUtime=51.04 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 15556 0 0 0 5100 4 0 0 20 0 2 0 331897391 87605248 15152 33554432000 4194304 5964350 140734586814528 140565240207400 4400552 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 85552
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 18978
/proc/meminfo: memFree=30831248/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=151328 CPUtime=102.25 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 25497 0 0 0 10217 8 0 0 20 0 2 0 331897388 154959872 24398 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 37832 24398 192 433 0 37396 0
[pid=18976/tid=18978] ppid=18974 vsize=151328 CPUtime=102.23 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 24323 0 0 0 10214 9 0 0 20 0 2 0 331897391 154959872 24398 33554432000 4194304 5964350 140734586814528 140565240207160 4399872 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 151328
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 18978
/proc/meminfo: memFree=30774988/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=151688 CPUtime=162.22 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 31357 0 0 0 16212 10 0 0 20 0 2 0 331897388 155328512 30377 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 37922 30377 192 433 0 37486 0
[pid=18976/tid=18978] ppid=18974 vsize=151688 CPUtime=162.21 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 30183 0 0 0 16208 13 0 0 20 0 2 0 331897391 155328512 30377 33554432000 4194304 5964350 140734586814528 140565240207160 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 151688
[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 18979
/proc/meminfo: memFree=30728256/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=217224 CPUtime=222.2 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 42526 0 0 0 22204 16 0 0 20 0 2 0 331897388 222437376 41990 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 54306 41990 192 433 0 53870 0
[pid=18976/tid=18978] ppid=18974 vsize=217224 CPUtime=222.19 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 41352 0 0 0 22199 20 0 0 20 0 2 0 331897391 222437376 41990 33554432000 4194304 5964350 140734586814528 140565240207400 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 217224
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 18980
/proc/meminfo: memFree=30706832/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=217224 CPUtime=282.19 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 47685 0 0 0 28201 18 0 0 20 0 2 0 331897388 222437376 47145 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 54306 47145 192 433 0 53870 0
[pid=18976/tid=18978] ppid=18974 vsize=217224 CPUtime=282.19 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 46511 0 0 0 28196 23 0 0 20 0 2 0 331897391 222437376 47145 33554432000 4194304 5964350 140734586814528 140565240207160 4400011 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 217224
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18980
/proc/meminfo: memFree=30667432/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=282760 CPUtime=342.18 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 53719 0 0 0 34196 22 0 0 20 0 2 0 331897388 289546240 53179 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 70690 53179 192 433 0 70254 0
[pid=18976/tid=18978] ppid=18974 vsize=282760 CPUtime=342.19 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 52545 0 0 0 34191 28 0 0 20 0 2 0 331897391 289546240 53179 33554432000 4194304 5964350 140734586814528 140565240207160 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 282760
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18980
/proc/meminfo: memFree=30648092/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=283244 CPUtime=402.15 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 58219 0 0 0 40190 25 0 0 20 0 2 0 331897388 290041856 57994 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 70811 57994 192 433 0 70375 0
[pid=18976/tid=18978] ppid=18974 vsize=283244 CPUtime=402.17 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 57045 0 0 0 40186 31 0 0 20 0 2 0 331897391 290041856 57994 33554432000 4194304 5964350 140734586814528 140565240207352 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 283244
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18980
/proc/meminfo: memFree=30609524/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=347212 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 95377 0 0 0 130141 69 0 0 20 0 2 0 331897391 422653952 96957 33554432000 4194304 5964350 140734586814528 140565240207160 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 412748
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18989
/proc/meminfo: memFree=30206968/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1361.95 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 111578 0 0 0 136141 54 0 0 20 0 2 0 331897388 489762816 111984 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 111984 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1362.1 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110404 0 0 0 136135 75 0 0 20 0 2 0 331897391 489762816 111984 33554432000 4194304 5964350 140734586814528 140565240207704 4400029 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 478284
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18990
/proc/meminfo: memFree=30172916/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1421.94 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 111593 0 0 0 142140 54 0 0 20 0 2 0 331897388 489762816 111999 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 111999 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1422.1 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110419 0 0 0 142134 76 0 0 20 0 2 0 331897391 489762816 111999 33554432000 4194304 5964350 140734586814528 140565240207704 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 478284
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18990
/proc/meminfo: memFree=30151620/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1481.93 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 111593 0 0 0 148139 54 0 0 20 0 2 0 331897388 489762816 111999 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 111999 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1482.1 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110419 0 0 0 148133 77 0 0 20 0 2 0 331897391 489762816 111999 33554432000 4194304 5964350 140734586814528 140565240207704 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 478284
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18990
/proc/meminfo: memFree=30148356/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1541.92 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 111593 0 0 0 154138 54 0 0 20 0 2 0 331897388 489762816 111999 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 111999 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1542.1 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110419 0 0 0 154132 78 0 0 20 0 2 0 331897391 489762816 111999 33554432000 4194304 5964350 140734586814528 140565240207704 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 478284
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18990
/proc/meminfo: memFree=30147240/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1601.91 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 111716 0 0 0 160137 54 0 0 20 0 2 0 331897388 489762816 112122 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 112122 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1602.09 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110542 0 0 0 160130 79 0 0 20 0 2 0 331897391 489762816 112122 33554432000 4194304 5964350 140734586814528 140565240207704 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 478284
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 18990
/proc/meminfo: memFree=30145632/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1661.9 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 112108 0 0 0 166136 54 0 0 20 0 2 0 331897388 489762816 112514 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 112514 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1662.09 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110934 0 0 0 166129 80 0 0 20 0 2 0 331897391 489762816 112514 33554432000 4194304 5964350 140734586814528 140565240207704 4399944 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 478284
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18994
/proc/meminfo: memFree=30145252/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1721.86 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 112141 0 0 0 172132 54 0 0 20 0 2 0 331897388 489762816 112539 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 112539 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1722.07 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110967 0 0 0 172126 81 0 0 20 0 2 0 331897391 489762816 112539 33554432000 4194304 5964350 140734586814528 140565240207704 4400439 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 478284
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19033
/proc/meminfo: memFree=30522980/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1781.85 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 112148 0 0 0 178131 54 0 0 20 0 2 0 331897388 489762816 112545 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 112545 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1782.06 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110974 0 0 0 178124 82 0 0 20 0 2 0 331897391 489762816 112545 33554432000 4194304 5964350 140734586814528 140565240207704 4400462 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 478284
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 19033
/proc/meminfo: memFree=30492716/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1791.45 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 112148 0 0 0 179091 54 0 0 20 0 2 0 331897388 489762816 112545 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 112545 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1791.67 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110974 0 0 0 179085 82 0 0 20 0 2 0 331897391 489762816 112545 33554432000 4194304 5964350 140734586814528 140565240207704 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 478284
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19033
/proc/meminfo: memFree=30490112/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1794.65 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 112148 0 0 0 179411 54 0 0 20 0 2 0 331897388 489762816 112545 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 112545 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1794.87 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110974 0 0 0 179405 82 0 0 20 0 2 0 331897391 489762816 112545 33554432000 4194304 5964350 140734586814528 140565240207704 4389005 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 478284
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19033
/proc/meminfo: memFree=30487012/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1797.85 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 112160 0 0 0 179731 54 0 0 20 0 2 0 331897388 489762816 112557 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 112557 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1798.06 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110986 0 0 0 179724 82 0 0 20 0 2 0 331897391 489762816 112557 33554432000 4194304 5964350 140734586814528 140565240207704 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 478284
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19033
/proc/meminfo: memFree=30483052/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1798.65 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 112160 0 0 0 179811 54 0 0 20 0 2 0 331897388 489762816 112557 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 112557 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1798.86 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110986 0 0 0 179804 82 0 0 20 0 2 0 331897391 489762816 112557 33554432000 4194304 5964350 140734586814528 140565240207704 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 478284
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19033
/proc/meminfo: memFree=30478588/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1799.05 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 112160 0 0 0 179851 54 0 0 20 0 2 0 331897388 489762816 112557 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 112557 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1799.27 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110986 0 0 0 179845 82 0 0 20 0 2 0 331897391 489762816 112557 33554432000 4194304 5964350 140734586814528 140565240207704 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.05
Current children cumulated vsize (KiB) 478284
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19033
/proc/meminfo: memFree=30478588/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1799.45 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 112160 0 0 0 179891 54 0 0 20 0 2 0 331897388 489762816 112557 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 112557 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1799.66 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110986 0 0 0 179884 82 0 0 20 0 2 0 331897391 489762816 112557 33554432000 4194304 5964350 140734586814528 140565240207704 4400355 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 478284
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19033
/proc/meminfo: memFree=30478588/32873648 swapFree=7628/7628
[pid=18976] ppid=18974 vsize=478284 CPUtime=1799.55 cores=0,2,4,6
/proc/18976/stat : 18976 (wbo1.72) S 18974 18976 16985 0 -1 4202496 112160 0 0 0 179901 54 0 0 20 0 2 0 331897388 489762816 112557 33554432000 4194304 5964350 140734586814528 140734586814048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18976/statm: 119571 112557 192 433 0 119135 0
[pid=18976/tid=18978] ppid=18974 vsize=478284 CPUtime=1799.76 cores=0,2,4,6
/proc/18976/task/18978/stat : 18978 (wbo1.72) R 18974 18976 16985 0 -1 4202560 110986 0 0 0 179894 82 0 0 20 0 2 0 331897391 489762816 112557 33554432000 4194304 5964350 140734586814528 140565240207704 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 478284
Child status: 255
Real time (s): 1800
CPU time (s): 1799.81
CPU user time (s): 1798.97
CPU system time (s): 0.832873
CPU usage (%): 99.989
Max. virtual memory (cumulated for all children) (KiB): 478284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 0.832873
maximum resident set size= 450236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112162
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= 210
involuntary context switches= 2033
runsolver used 2.69459 second user time and 7.13192 second system time
The end