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-3705673-1338090802/watcher-3705673-1338090802 -o /tmp/evaluation-result-3705673-1338090802/solver-3705673-1338090802 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705673-1338090802.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.06 2.02 1.94 3/177 18650
/proc/meminfo: memFree=26778404/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=7208 CPUtime=0 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) R 18648 18650 16852 0 -1 4202496 659 0 0 0 0 0 0 0 20 0 1 0 275208845 7380992 612 33554432000 4194304 5963574 140733603015888 140733320160248 4394942 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 1802 612 169 432 0 762 0
[startup+0.0264959 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 18650
/proc/meminfo: memFree=26778404/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=12992 CPUtime=0.02 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) R 18648 18650 16852 0 -1 4202496 2081 0 0 0 2 0 0 0 20 0 1 0 275208845 13303808 1985 33554432000 4194304 5963574 140733603015888 140733320160248 4394942 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 3248 1992 223 432 0 2208 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12992
[startup+0.100297 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 18650
/proc/meminfo: memFree=26778404/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=18864 CPUtime=0.09 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) R 18648 18650 16852 0 -1 4202496 3667 0 0 0 9 0 0 0 20 0 1 0 275208845 19316736 3571 33554432000 4194304 5963574 140733603015888 140733320160248 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 4716 3571 463 432 0 3676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18864
[startup+0.30015 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 18650
/proc/meminfo: memFree=26778404/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=102012 CPUtime=0.29 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 13922 0 0 0 28 1 0 0 20 0 2 0 275208845 104460288 11526 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 25503 11526 191 432 0 25068 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 102012
[startup+0.70016 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 18650
/proc/meminfo: memFree=26778404/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=102012 CPUtime=0.69 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 19268 0 0 0 67 2 0 0 20 0 2 0 275208845 104460288 16872 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 25503 16872 192 432 0 25068 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102012
[startup+1.50025 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 18652
/proc/meminfo: memFree=26710444/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=102012 CPUtime=1.49 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 19679 0 0 0 147 2 0 0 20 0 2 0 275208845 104460288 17283 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 25503 17283 194 432 0 25068 0
[pid=18650/tid=18652] ppid=18648 vsize=102012 CPUtime=1.29 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 13676 0 0 0 127 2 0 0 20 0 2 0 275208865 104460288 17283 33554432000 4194304 5963574 140733603015888 140321525639512 4402912 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102012
[startup+3.10025 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 18652
/proc/meminfo: memFree=26710072/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=102012 CPUtime=3.09 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 19781 0 0 0 307 2 0 0 20 0 2 0 275208845 104460288 17385 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 25503 17385 194 432 0 25068 0
[pid=18650/tid=18652] ppid=18648 vsize=102012 CPUtime=2.89 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 13778 0 0 0 287 2 0 0 20 0 2 0 275208865 104460288 17385 33554432000 4194304 5963574 140733603015888 140321525639512 4222330 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) 102012
[startup+6.3003 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 18652
/proc/meminfo: memFree=26701764/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=102012 CPUtime=6.28 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 21639 0 0 0 626 2 0 0 20 0 2 0 275208845 104460288 19241 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 25503 19241 194 432 0 25068 0
[pid=18650/tid=18652] ppid=18648 vsize=102012 CPUtime=6.09 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 15636 0 0 0 607 2 0 0 20 0 2 0 275208865 104460288 19241 33554432000 4194304 5963574 140733603015888 140321525639496 4222336 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 102012
[startup+12.7003 s]
/proc/loadavg: 2.05 2.02 1.94 3/179 18652
/proc/meminfo: memFree=26700052/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=102012 CPUtime=12.69 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 21639 0 0 0 1266 3 0 0 20 0 2 0 275208845 104460288 19241 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 25503 19241 194 432 0 25068 0
[pid=18650/tid=18652] ppid=18648 vsize=102012 CPUtime=12.49 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 15636 0 0 0 1246 3 0 0 20 0 2 0 275208865 104460288 19241 33554432000 4194304 5963574 140733603015888 140321525639496 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 102012
[startup+25.5003 s]
/proc/loadavg: 2.04 2.02 1.94 3/179 18652
/proc/meminfo: memFree=26683808/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=102012 CPUtime=25.48 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 23768 0 0 0 2544 4 0 0 20 0 2 0 275208845 104460288 21370 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 25503 21370 194 432 0 25068 0
[pid=18650/tid=18652] ppid=18648 vsize=102012 CPUtime=25.29 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 17765 0 0 0 2525 4 0 0 20 0 2 0 275208865 104460288 21370 33554432000 4194304 5963574 140733603015888 140321525638968 4392112 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) 102012
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 18652
/proc/meminfo: memFree=26652312/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=167548 CPUtime=51.07 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 27517 0 0 0 5101 6 0 0 20 0 2 0 275208845 171569152 25119 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 41887 25119 194 432 0 41452 0
[pid=18650/tid=18652] ppid=18648 vsize=167548 CPUtime=50.88 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 21514 0 0 0 5082 6 0 0 20 0 2 0 275208865 171569152 25119 33554432000 4194304 5963574 140733603015888 140321525639160 4399937 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) 167548
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 18652
/proc/meminfo: memFree=26590444/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=167548 CPUtime=102.25 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 35215 0 0 0 10212 13 0 0 20 0 2 0 275208845 171569152 33232 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 41887 33232 194 432 0 41452 0
[pid=18650/tid=18652] ppid=18648 vsize=167548 CPUtime=102.07 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 29212 0 0 0 10193 14 0 0 20 0 2 0 275208865 171569152 33232 33554432000 4194304 5963574 140733603015888 140321525639160 4399390 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) 167548
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18653
/proc/meminfo: memFree=26531100/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=233084 CPUtime=162.21 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 46080 0 0 0 16201 20 0 0 20 0 2 0 275208845 238678016 44312 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 58271 44312 194 432 0 57836 0
[pid=18650/tid=18652] ppid=18648 vsize=233084 CPUtime=162.03 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 40077 0 0 0 16181 22 0 0 20 0 2 0 275208865 238678016 44312 33554432000 4194304 5963574 140733603015888 140321525639160 4387487 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 233084
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18653
/proc/meminfo: memFree=26496312/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=233084 CPUtime=222.2 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 52852 0 0 0 22195 25 0 0 20 0 2 0 275208845 238678016 51084 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 58271 51084 194 432 0 57836 0
[pid=18650/tid=18652] ppid=18648 vsize=233084 CPUtime=222.03 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 46849 0 0 0 22175 28 0 0 20 0 2 0 275208865 238678016 51084 33554432000 4194304 5963574 140733603015888 140321525639208 4399462 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) 233084
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18653
/proc/meminfo: memFree=26477192/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=233084 CPUtime=282.19 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 52882 0 0 0 28194 25 0 0 20 0 2 0 275208845 238678016 51114 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 58271 51114 194 432 0 57836 0
[pid=18650/tid=18652] ppid=18648 vsize=233084 CPUtime=282.03 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 46879 0 0 0 28174 29 0 0 20 0 2 0 275208865 238678016 51114 33554432000 4194304 5963574 140733603015888 140321525639208 4402912 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) 233084
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 18653
/proc/meminfo: memFree=26422816/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=298620 CPUtime=342.17 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 58732 0 0 0 34189 28 0 0 20 0 2 0 275208845 305786880 56964 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 74655 56964 194 432 0 74220 0
[pid=18650/tid=18652] ppid=18648 vsize=298620 CPUtime=342.03 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 52729 0 0 0 34170 33 0 0 20 0 2 0 275208865 305786880 56964 33554432000 4194304 5963574 140733603015888 140321525638968 4392243 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 298620
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 18656
/proc/meminfo: memFree=26382624/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=298620 CPUtime=402.17 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 67678 0 0 0 40182 35 0 0 20 0 2 0 275208845 305786880 65907 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 74655 65907 194 432 0 74220 0
[pid=18650/tid=18652] ppid=18648 vsize=298620 CPUtime=402.02 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 61675 0 0 0 40161 41 0 0 20 0 2 0 275208865 305786880 65907 33554432000 4194304 5963574 140733603015888 140321525639160 4403253 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) 298620
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 18680
/proc/meminfo: memFree=26339728/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=364156 CPUtime=462.16 cores=0,2,4,6
################
# More data... #
################
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 127207 0 0 0 130102 88 0 0 20 0 2 0 275208865 575885312 132500 33554432000 4194304 5963574 140733603015888 140321525639160 4399462 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 562388
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18737
/proc/meminfo: memFree=26482020/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=562388 CPUtime=1361.91 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 133226 0 0 0 136122 69 0 0 20 0 2 0 275208845 575885312 132516 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 140597 132516 194 432 0 140162 0
[pid=18650/tid=18652] ppid=18648 vsize=562388 CPUtime=1361.9 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 127223 0 0 0 136101 89 0 0 20 0 2 0 275208865 575885312 132516 33554432000 4194304 5963574 140733603015888 140321525639160 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 562388
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18737
/proc/meminfo: memFree=26454552/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=562388 CPUtime=1421.91 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 134804 0 0 0 142121 70 0 0 20 0 2 0 275208845 575885312 134091 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 140597 134091 194 432 0 140162 0
[pid=18650/tid=18652] ppid=18648 vsize=562388 CPUtime=1421.9 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 128801 0 0 0 142099 91 0 0 20 0 2 0 275208865 575885312 134091 33554432000 4194304 5963574 140733603015888 140321525638968 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 562388
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18737
/proc/meminfo: memFree=26431436/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=627924 CPUtime=1481.88 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 139031 0 0 0 148115 73 0 0 20 0 2 0 275208845 642994176 138552 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 156981 138552 194 432 0 156546 0
[pid=18650/tid=18652] ppid=18648 vsize=627924 CPUtime=1481.88 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 133028 0 0 0 148093 95 0 0 20 0 2 0 275208865 642994176 138552 33554432000 4194304 5963574 140733603015888 140321525639160 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 627924
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18737
/proc/meminfo: memFree=26351904/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=627924 CPUtime=1541.84 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 152984 0 0 0 154102 82 0 0 20 0 2 0 275208845 642994176 152676 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 156981 152676 194 432 0 156546 0
[pid=18650/tid=18652] ppid=18648 vsize=627924 CPUtime=1541.86 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 146981 0 0 0 154081 105 0 0 20 0 2 0 275208865 642994176 152676 33554432000 4194304 5963574 140733603015888 140321525639160 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 627924
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 18740
/proc/meminfo: memFree=26298324/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=693460 CPUtime=1601.81 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 165399 0 0 0 160090 91 0 0 20 0 2 0 275208845 710103040 165218 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 173365 165218 194 432 0 172930 0
[pid=18650/tid=18652] ppid=18648 vsize=693460 CPUtime=1601.83 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 159396 0 0 0 160068 115 0 0 20 0 2 0 275208865 710103040 165218 33554432000 4194304 5963574 140733603015888 140321525638968 4399645 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 693460
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18740
/proc/meminfo: memFree=26231264/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=758996 CPUtime=1661.8 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 180275 0 0 0 166080 100 0 0 20 0 2 0 275208845 777211904 180094 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 189749 180094 194 432 0 189314 0
[pid=18650/tid=18652] ppid=18648 vsize=758996 CPUtime=1661.83 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 174272 0 0 0 166058 125 0 0 20 0 2 0 275208865 777211904 180094 33554432000 4194304 5963574 140733603015888 140321525639160 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 758996
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18741
/proc/meminfo: memFree=26182524/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=824532 CPUtime=1721.79 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 192283 0 0 0 172072 107 0 0 20 0 2 0 275208845 844320768 192102 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 206133 192102 194 432 0 205698 0
[pid=18650/tid=18652] ppid=18648 vsize=824532 CPUtime=1721.83 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 186280 0 0 0 172050 133 0 0 20 0 2 0 275208865 844320768 192102 33554432000 4194304 5963574 140733603015888 140321525639160 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 824532
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18792
/proc/meminfo: memFree=26292692/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=825340 CPUtime=1781.79 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 199434 0 0 0 178067 112 0 0 20 0 2 0 275208845 845148160 199253 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 206335 199253 194 432 0 205900 0
[pid=18650/tid=18652] ppid=18648 vsize=825340 CPUtime=1781.82 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 193431 0 0 0 178043 139 0 0 20 0 2 0 275208865 845148160 199253 33554432000 4194304 5963574 140733603015888 140321525639160 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 825340
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18792
/proc/meminfo: memFree=26292948/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=825340 CPUtime=1791.39 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 199434 0 0 0 179027 112 0 0 20 0 2 0 275208845 845148160 199253 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 206335 199253 194 432 0 205900 0
[pid=18650/tid=18652] ppid=18648 vsize=825340 CPUtime=1791.43 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 193431 0 0 0 179004 139 0 0 20 0 2 0 275208865 845148160 199253 33554432000 4194304 5963574 140733603015888 140321525639160 4402906 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 825340
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18792
/proc/meminfo: memFree=26292948/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=825340 CPUtime=1794.59 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 199434 0 0 0 179347 112 0 0 20 0 2 0 275208845 845148160 199253 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 206335 199253 194 432 0 205900 0
[pid=18650/tid=18652] ppid=18648 vsize=825340 CPUtime=1794.63 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 193431 0 0 0 179324 139 0 0 20 0 2 0 275208865 845148160 199253 33554432000 4194304 5963574 140733603015888 140321525639160 4402906 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 825340
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18792
/proc/meminfo: memFree=26292688/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=825340 CPUtime=1797.78 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 199434 0 0 0 179666 112 0 0 20 0 2 0 275208845 845148160 199253 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 206335 199253 194 432 0 205900 0
[pid=18650/tid=18652] ppid=18648 vsize=825340 CPUtime=1797.82 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 193431 0 0 0 179643 139 0 0 20 0 2 0 275208865 845148160 199253 33554432000 4194304 5963574 140733603015888 140321525639160 4402909 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 825340
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18792
/proc/meminfo: memFree=26292688/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=825340 CPUtime=1798.58 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 199434 0 0 0 179746 112 0 0 20 0 2 0 275208845 845148160 199253 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 206335 199253 194 432 0 205900 0
[pid=18650/tid=18652] ppid=18648 vsize=825340 CPUtime=1798.62 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 193431 0 0 0 179723 139 0 0 20 0 2 0 275208865 845148160 199253 33554432000 4194304 5963574 140733603015888 140321525639160 4399451 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 825340
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18792
/proc/meminfo: memFree=26292688/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=825340 CPUtime=1798.99 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 199434 0 0 0 179787 112 0 0 20 0 2 0 275208845 845148160 199253 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 206335 199253 194 432 0 205900 0
[pid=18650/tid=18652] ppid=18648 vsize=825340 CPUtime=1799.03 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 193431 0 0 0 179764 139 0 0 20 0 2 0 275208865 845148160 199253 33554432000 4194304 5963574 140733603015888 140321525639160 4399451 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 825340
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18792
/proc/meminfo: memFree=26292688/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=825340 CPUtime=1799.38 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 199434 0 0 0 179826 112 0 0 20 0 2 0 275208845 845148160 199253 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 206335 199253 194 432 0 205900 0
[pid=18650/tid=18652] ppid=18648 vsize=825340 CPUtime=1799.42 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 193431 0 0 0 179803 139 0 0 20 0 2 0 275208865 845148160 199253 33554432000 4194304 5963574 140733603015888 140321525639160 4392498 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.38
Current children cumulated vsize (KiB) 825340
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18792
/proc/meminfo: memFree=26292688/32873844 swapFree=6088/6088
[pid=18650] ppid=18648 vsize=825340 CPUtime=1799.48 cores=0,2,4,6
/proc/18650/stat : 18650 (wbo1.7) S 18648 18650 16852 0 -1 4202496 199434 0 0 0 179836 112 0 0 20 0 2 0 275208845 845148160 199253 33554432000 4194304 5963574 140733603015888 140733603015408 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18650/statm: 206335 199253 194 432 0 205900 0
[pid=18650/tid=18652] ppid=18648 vsize=825340 CPUtime=1799.52 cores=0,2,4,6
/proc/18650/task/18652/stat : 18652 (wbo1.7) R 18648 18650 16852 0 -1 4202560 193431 0 0 0 179813 139 0 0 20 0 2 0 275208865 845148160 199253 33554432000 4194304 5963574 140733603015888 140321525639160 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 825340
Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.76
CPU user time (s): 1798.33
CPU system time (s): 1.42678
CPU usage (%): 99.9853
Max. virtual memory (cumulated for all children) (KiB): 825340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.33
system time used= 1.42678
maximum resident set size= 797012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199434
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= 251
involuntary context switches= 2035
runsolver used 4.12037 second user time and 8.60469 second system time
The end