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-3705765-1338114851/watcher-3705765-1338114851 -o /tmp/evaluation-result-3705765-1338114851/solver-3705765-1338114851 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705765-1338114851.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.01 2.01 2.00 3/177 4996
/proc/meminfo: memFree=28008500/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=4504 CPUtime=0 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) R 4994 4996 2447 0 -1 4202496 578 0 0 0 0 0 0 0 20 0 1 0 277611054 4612096 530 33554432000 4194304 5963574 140736684242368 140736431577800 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 1126 531 174 432 0 616 0
[startup+0.06095 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4996
/proc/meminfo: memFree=28008500/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=85996 CPUtime=0.05 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 2460 0 0 0 5 0 0 0 20 0 2 0 277611054 88059904 2337 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 21499 2337 193 432 0 21064 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85996
[startup+0.100192 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4996
/proc/meminfo: memFree=28008500/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=85996 CPUtime=0.09 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 2462 0 0 0 9 0 0 0 20 0 2 0 277611054 88059904 2339 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 21499 2339 195 432 0 21064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85996
[startup+0.300111 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4996
/proc/meminfo: memFree=28008500/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=85996 CPUtime=0.29 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 2713 0 0 0 29 0 0 0 20 0 2 0 277611054 88059904 2590 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 21499 2590 195 432 0 21064 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85996
[startup+0.700109 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4996
/proc/meminfo: memFree=28008500/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=85996 CPUtime=0.69 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 2720 0 0 0 69 0 0 0 20 0 2 0 277611054 88059904 2597 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 21499 2597 195 432 0 21064 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85996
[startup+1.50019 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 4998
/proc/meminfo: memFree=27997076/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=86140 CPUtime=1.48 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 3201 0 0 0 148 0 0 0 20 0 2 0 277611054 88207360 3078 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 21535 3078 195 432 0 21100 0
[pid=4996/tid=4998] ppid=4994 vsize=86140 CPUtime=1.46 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 1853 0 0 0 146 0 0 0 20 0 2 0 277611056 88207360 3078 33554432000 4194304 5963574 140736684242368 140403832948536 5135572 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) 86140
[startup+3.10013 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 4998
/proc/meminfo: memFree=27993456/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=86212 CPUtime=3.09 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 4236 0 0 0 308 1 0 0 20 0 2 0 277611054 88281088 4113 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 21553 4113 195 432 0 21118 0
[pid=4996/tid=4998] ppid=4994 vsize=86212 CPUtime=3.06 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 2888 0 0 0 306 0 0 0 20 0 2 0 277611056 88281088 4113 33554432000 4194304 5963574 140736684242368 140403832948536 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) 86212
[startup+6.30012 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 4998
/proc/meminfo: memFree=27984900/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=86320 CPUtime=6.29 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 5830 0 0 0 627 2 0 0 20 0 2 0 277611054 88391680 5707 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 21580 5707 195 432 0 21145 0
[pid=4996/tid=4998] ppid=4994 vsize=86320 CPUtime=6.26 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 4482 0 0 0 624 2 0 0 20 0 2 0 277611056 88391680 5707 33554432000 4194304 5963574 140736684242368 140403832948248 4402912 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) 86320
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 4998
/proc/meminfo: memFree=27972612/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=86624 CPUtime=12.68 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 7650 0 0 0 1266 2 0 0 20 0 2 0 277611054 88702976 7527 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 21656 7527 195 432 0 21221 0
[pid=4996/tid=4998] ppid=4994 vsize=86624 CPUtime=12.66 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 6302 0 0 0 1263 3 0 0 20 0 2 0 277611056 88702976 7527 33554432000 4194304 5963574 140736684242368 140403832948536 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86624
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 4998
/proc/meminfo: memFree=27955592/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=87776 CPUtime=25.47 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 10847 0 0 0 2544 3 0 0 20 0 2 0 277611054 89882624 10724 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 21944 10724 195 432 0 21509 0
[pid=4996/tid=4998] ppid=4994 vsize=87776 CPUtime=25.45 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 9499 0 0 0 2541 4 0 0 20 0 2 0 277611056 89882624 10724 33554432000 4194304 5963574 140736684242368 140403832948776 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 87776
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4998
/proc/meminfo: memFree=27926956/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=89168 CPUtime=51.07 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 15817 0 0 0 5102 5 0 0 20 0 2 0 277611054 91308032 15694 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 22292 15694 195 432 0 21857 0
[pid=4996/tid=4998] ppid=4994 vsize=89168 CPUtime=51.05 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 14469 0 0 0 5099 6 0 0 20 0 2 0 277611056 91308032 15694 33554432000 4194304 5963574 140736684242368 140403832948248 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 89168
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4998
/proc/meminfo: memFree=27881564/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=158808 CPUtime=102.27 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 25008 0 0 0 10217 10 0 0 20 0 2 0 277611054 162619392 24885 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 39702 24885 195 432 0 39267 0
[pid=4996/tid=4998] ppid=4994 vsize=158808 CPUtime=102.26 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 23660 0 0 0 10214 12 0 0 20 0 2 0 277611056 162619392 24885 33554432000 4194304 5963574 140736684242368 140403832948776 4378544 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 158808
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 4998
/proc/meminfo: memFree=27836676/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=161808 CPUtime=162.26 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 30912 0 0 0 16211 15 0 0 20 0 2 0 277611054 165691392 30789 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 40452 30789 195 432 0 40017 0
[pid=4996/tid=4998] ppid=4994 vsize=161808 CPUtime=162.26 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 29564 0 0 0 16208 18 0 0 20 0 2 0 277611056 165691392 30789 33554432000 4194304 5963574 140736684242368 140403832948776 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 161808
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 4999
/proc/meminfo: memFree=27809836/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=163784 CPUtime=222.22 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 34373 0 0 0 22205 17 0 0 20 0 2 0 277611054 167714816 34276 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 40946 34276 195 432 0 40511 0
[pid=4996/tid=4998] ppid=4994 vsize=163784 CPUtime=222.24 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 33025 0 0 0 22203 21 0 0 20 0 2 0 277611056 167714816 34276 33554432000 4194304 5963574 140736684242368 140403832948776 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 163784
[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 4999
/proc/meminfo: memFree=27771016/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=231424 CPUtime=282.19 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 38806 0 0 0 28198 21 0 0 20 0 2 0 277611054 236978176 39626 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 57856 39626 195 432 0 57421 0
[pid=4996/tid=4998] ppid=4994 vsize=231424 CPUtime=282.22 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 37458 0 0 0 28196 26 0 0 20 0 2 0 277611056 236978176 39626 33554432000 4194304 5963574 140736684242368 140403832948776 4399474 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) 231424
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 4999
/proc/meminfo: memFree=27752916/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=232992 CPUtime=342.18 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 43050 0 0 0 34191 27 0 0 20 0 2 0 277611054 238583808 43870 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 58248 43870 195 432 0 57813 0
[pid=4996/tid=4998] ppid=4994 vsize=232992 CPUtime=342.22 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 41702 0 0 0 34189 33 0 0 20 0 2 0 277611056 238583808 43870 33554432000 4194304 5963574 140736684242368 140403832948776 4399456 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) 232992
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 5002
/proc/meminfo: memFree=27720256/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=233172 CPUtime=402.17 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 46590 0 0 0 40188 29 0 0 20 0 2 0 277611054 238768128 47410 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 58293 47410 195 432 0 57858 0
[pid=4996/tid=4998] ppid=4994 vsize=233172 CPUtime=402.22 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 45242 0 0 0 40186 36 0 0 20 0 2 0 277611056 238768128 47410 33554432000 4194304 5963574 140736684242368 140403832948776 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 233172
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5002
/proc/meminfo: memFree=27697696/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=234072 CPUtime=462.17 cores=0,2,4,6
################
# More data... #
################
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 91682 0 0 0 130126 94 0 0 20 0 2 0 277611056 451477504 93812 33554432000 4194304 5963574 140736684242368 140403832948776 4399462 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 440896
[startup+1362.3 s]
/proc/loadavg: 1.01 1.40 1.74 2/172 5035
/proc/meminfo: memFree=27911640/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=441784 CPUtime=1361.96 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 97552 0 0 0 136116 80 0 0 20 0 2 0 277611054 452386816 98334 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 110446 98334 195 432 0 110011 0
[pid=4996/tid=4998] ppid=4994 vsize=441784 CPUtime=1362.2 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 96204 0 0 0 136119 101 0 0 20 0 2 0 277611056 452386816 98334 33554432000 4194304 5963574 140736684242368 140403832948776 4378784 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 441784
[startup+1422.31 s]
/proc/loadavg: 1.00 1.32 1.69 2/172 5035
/proc/meminfo: memFree=27902560/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=442024 CPUtime=1421.95 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 99920 0 0 0 142112 83 0 0 20 0 2 0 277611054 452632576 100686 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 110506 100686 195 432 0 110071 0
[pid=4996/tid=4998] ppid=4994 vsize=442024 CPUtime=1422.19 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 98572 0 0 0 142114 105 0 0 20 0 2 0 277611056 452632576 100686 33554432000 4194304 5963574 140736684242368 140403832948728 4399474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 442024
[startup+1482.3 s]
/proc/loadavg: 1.00 1.26 1.64 2/172 5036
/proc/meminfo: memFree=27886312/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=442384 CPUtime=1481.93 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 103922 0 0 0 148104 89 0 0 20 0 2 0 277611054 453001216 104686 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 110596 104686 195 432 0 110161 0
[pid=4996/tid=4998] ppid=4994 vsize=442384 CPUtime=1482.19 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 102574 0 0 0 148108 111 0 0 20 0 2 0 277611056 453001216 104686 33554432000 4194304 5963574 140736684242368 140403832948728 4378352 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) 442384
[startup+1542.3 s]
/proc/loadavg: 1.00 1.21 1.60 2/172 5036
/proc/meminfo: memFree=27883584/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=442384 CPUtime=1541.92 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 104693 0 0 0 154102 90 0 0 20 0 2 0 277611054 453001216 105457 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 110596 105457 195 432 0 110161 0
[pid=4996/tid=4998] ppid=4994 vsize=442384 CPUtime=1542.19 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 103345 0 0 0 154105 114 0 0 20 0 2 0 277611056 453001216 105457 33554432000 4194304 5963574 140736684242368 140403832948728 4400164 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) 442384
[startup+1602.3 s]
/proc/loadavg: 1.00 1.17 1.56 2/173 5039
/proc/meminfo: memFree=27871440/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=508064 CPUtime=1601.91 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 107839 0 0 0 160099 92 0 0 20 0 2 0 277611054 520257536 108603 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 127016 108603 195 432 0 126581 0
[pid=4996/tid=4998] ppid=4994 vsize=508064 CPUtime=1602.19 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 106491 0 0 0 160102 117 0 0 20 0 2 0 277611056 520257536 108603 33554432000 4194304 5963574 140736684242368 140403832948728 4400320 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) 508064
[startup+1662.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/173 5062
/proc/meminfo: memFree=27860428/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=508664 CPUtime=1661.89 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 110516 0 0 0 166094 95 0 0 20 0 2 0 277611054 520871936 111272 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 127166 111272 195 432 0 126731 0
[pid=4996/tid=4998] ppid=4994 vsize=508664 CPUtime=1662.19 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 109168 0 0 0 166098 121 0 0 20 0 2 0 277611056 520871936 111272 33554432000 4194304 5963574 140736684242368 140403832948776 4378768 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 508664
[startup+1722.3 s]
/proc/loadavg: 1.00 1.11 1.49 2/172 5062
/proc/meminfo: memFree=27855272/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=508736 CPUtime=1721.88 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 112005 0 0 0 172091 97 0 0 20 0 2 0 277611054 520945664 112756 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 127184 112756 195 432 0 126749 0
[pid=4996/tid=4998] ppid=4994 vsize=508736 CPUtime=1722.19 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 110657 0 0 0 172095 124 0 0 20 0 2 0 277611056 520945664 112756 33554432000 4194304 5963574 140736684242368 140403832948728 5243463 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 508736
[startup+1782.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/172 5063
/proc/meminfo: memFree=27838160/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=509956 CPUtime=1781.87 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 116184 0 0 0 178086 101 0 0 20 0 2 0 277611054 522194944 116935 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 127489 116935 195 432 0 127054 0
[pid=4996/tid=4998] ppid=4994 vsize=509956 CPUtime=1782.19 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 114836 0 0 0 178090 129 0 0 20 0 2 0 277611056 522194944 116935 33554432000 4194304 5963574 140736684242368 140403832948776 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 509956
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.08 1.45 2/172 5063
/proc/meminfo: memFree=27836424/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=509956 CPUtime=1791.48 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 116653 0 0 0 179046 102 0 0 20 0 2 0 277611054 522194944 117404 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 127489 117404 195 432 0 127054 0
[pid=4996/tid=4998] ppid=4994 vsize=509956 CPUtime=1791.8 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 115305 0 0 0 179051 129 0 0 20 0 2 0 277611056 522194944 117404 33554432000 4194304 5963574 140736684242368 140403832948776 4399537 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 509956
[startup+1795.1 s]
/proc/loadavg: 1.00 1.08 1.44 2/172 5063
/proc/meminfo: memFree=27836052/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=509956 CPUtime=1794.68 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 116781 0 0 0 179366 102 0 0 20 0 2 0 277611054 522194944 117532 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 127489 117532 195 432 0 127054 0
[pid=4996/tid=4998] ppid=4994 vsize=509956 CPUtime=1795 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 115433 0 0 0 179370 130 0 0 20 0 2 0 277611056 522194944 117532 33554432000 4194304 5963574 140736684242368 140403832948776 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 509956
[startup+1798.3 s]
/proc/loadavg: 1.00 1.08 1.44 2/172 5063
/proc/meminfo: memFree=27835432/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=509956 CPUtime=1797.87 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 116914 0 0 0 179685 102 0 0 20 0 2 0 277611054 522194944 117665 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 127489 117665 195 432 0 127054 0
[pid=4996/tid=4998] ppid=4994 vsize=509956 CPUtime=1798.19 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 115566 0 0 0 179689 130 0 0 20 0 2 0 277611056 522194944 117665 33554432000 4194304 5963574 140736684242368 140403832948728 4399537 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 509956
[startup+1799.1 s]
/proc/loadavg: 1.00 1.08 1.44 2/172 5063
/proc/meminfo: memFree=27835308/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=510028 CPUtime=1798.67 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 116940 0 0 0 179765 102 0 0 20 0 2 0 277611054 522268672 117691 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 127507 117691 195 432 0 127072 0
[pid=4996/tid=4998] ppid=4994 vsize=510028 CPUtime=1798.99 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 115592 0 0 0 179769 130 0 0 20 0 2 0 277611056 522268672 117691 33554432000 4194304 5963574 140736684242368 140403832948728 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 510028
[startup+1799.5 s]
/proc/loadavg: 1.00 1.08 1.44 2/172 5063
/proc/meminfo: memFree=27835184/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=510028 CPUtime=1799.08 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 116951 0 0 0 179805 103 0 0 20 0 2 0 277611054 522268672 117702 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 127507 117702 195 432 0 127072 0
[pid=4996/tid=4998] ppid=4994 vsize=510028 CPUtime=1799.4 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 115603 0 0 0 179810 130 0 0 20 0 2 0 277611056 522268672 117702 33554432000 4194304 5963574 140736684242368 140403832948776 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 510028
[startup+1799.9 s]
/proc/loadavg: 1.00 1.08 1.44 2/172 5063
/proc/meminfo: memFree=27835184/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=510028 CPUtime=1799.47 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 116959 0 0 0 179844 103 0 0 20 0 2 0 277611054 522268672 117710 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 127507 117710 195 432 0 127072 0
[pid=4996/tid=4998] ppid=4994 vsize=510028 CPUtime=1799.79 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 115611 0 0 0 179849 130 0 0 20 0 2 0 277611056 522268672 117710 33554432000 4194304 5963574 140736684242368 140403832948776 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 510028
[startup+1800 s]
/proc/loadavg: 1.00 1.08 1.44 2/172 5063
/proc/meminfo: memFree=27835184/32873648 swapFree=6864/6864
[pid=4996] ppid=4994 vsize=510028 CPUtime=1799.57 cores=0,2,4,6
/proc/4996/stat : 4996 (wbo1.7) S 4994 4996 2447 0 -1 4202496 116961 0 0 0 179854 103 0 0 20 0 2 0 277611054 522268672 117712 33554432000 4194304 5963574 140736684242368 140736684241888 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4996/statm: 127507 117712 195 432 0 127072 0
[pid=4996/tid=4998] ppid=4994 vsize=510028 CPUtime=1799.89 cores=0,2,4,6
/proc/4996/task/4998/stat : 4998 (wbo1.7) R 4994 4996 2447 0 -1 4202560 115613 0 0 0 179859 130 0 0 20 0 2 0 277611056 522268672 117712 33554432000 4194304 5963574 140736684242368 140403832948776 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 510028
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.94
CPU user time (s): 1798.62
CPU system time (s): 1.3188
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 510028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 1.3188
maximum resident set size= 470848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116961
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= 181
involuntary context switches= 1896
runsolver used 2.74558 second user time and 7.07692 second system time
The end