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-3727913-1338667783/watcher-3727913-1338667783 -o /tmp/evaluation-result-3727913-1338667783/solver-3727913-1338667783 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727913-1338667783.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 1.99 1.99 3/177 25217
/proc/meminfo: memFree=31533716/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=3832 CPUtime=0 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) R 25215 25217 25000 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 1 0 332906845 3923968 400 33554432000 4194304 5964350 140735280087552 140736966996024 4344688 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 958 400 175 433 0 496 0
[startup+0.0622191 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 25217
/proc/meminfo: memFree=31533716/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=84588 CPUtime=0.05 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 1336 0 0 0 5 0 0 0 20 0 2 0 332906845 86618112 1262 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 21147 1262 186 433 0 20711 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84588
[startup+0.100155 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 25217
/proc/meminfo: memFree=31533716/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=84588 CPUtime=0.09 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 1388 0 0 0 9 0 0 0 20 0 2 0 332906845 86618112 1314 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 21147 1314 186 433 0 20711 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84588
[startup+0.300112 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 25217
/proc/meminfo: memFree=31533716/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=84588 CPUtime=0.29 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 1657 0 0 0 29 0 0 0 20 0 2 0 332906845 86618112 1583 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 21147 1583 186 433 0 20711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84588
[startup+0.70011 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 25217
/proc/meminfo: memFree=31533716/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=84588 CPUtime=0.69 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 2161 0 0 0 69 0 0 0 20 0 2 0 332906845 86618112 2087 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 21147 2087 186 433 0 20711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84588
[startup+1.50021 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 25219
/proc/meminfo: memFree=31525184/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=84732 CPUtime=1.49 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 2748 0 0 0 149 0 0 0 20 0 2 0 332906845 86765568 2674 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 21183 2674 186 433 0 20747 0
[pid=25217/tid=25219] ppid=25215 vsize=84732 CPUtime=1.47 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 1789 0 0 0 147 0 0 0 20 0 2 0 332906846 86765568 2674 33554432000 4194304 5964350 140735280087552 140089781995032 4390032 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) 84732
[startup+3.10021 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 25219
/proc/meminfo: memFree=31522424/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=84732 CPUtime=3.09 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 3525 0 0 0 309 0 0 0 20 0 2 0 332906845 86765568 3451 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 21183 3451 186 433 0 20747 0
[pid=25217/tid=25219] ppid=25215 vsize=84732 CPUtime=3.07 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 2566 0 0 0 307 0 0 0 20 0 2 0 332906846 86765568 3451 33554432000 4194304 5964350 140735280087552 140089781995320 4390258 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) 84732
[startup+6.30025 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 25219
/proc/meminfo: memFree=31514860/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=84804 CPUtime=6.29 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 5021 0 0 0 628 1 0 0 20 0 2 0 332906845 86839296 4947 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 21201 4947 186 433 0 20765 0
[pid=25217/tid=25219] ppid=25215 vsize=84804 CPUtime=6.27 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 4062 0 0 0 626 1 0 0 20 0 2 0 332906846 86839296 4947 33554432000 4194304 5964350 140735280087552 140089781995320 4222304 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84804
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 25219
/proc/meminfo: memFree=31484868/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=85216 CPUtime=12.68 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 12293 0 0 0 1265 3 0 0 20 0 2 0 332906845 87261184 12222 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 21304 12222 186 433 0 20868 0
[pid=25217/tid=25219] ppid=25215 vsize=85216 CPUtime=12.67 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 11334 0 0 0 1263 4 0 0 20 0 2 0 332906846 87261184 12222 33554432000 4194304 5964350 140735280087552 140089781995032 4400007 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) 85216
[startup+25.5003 s]
/proc/loadavg: 2.07 2.00 2.00 3/180 25222
/proc/meminfo: memFree=31464936/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=85504 CPUtime=25.47 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 14072 0 0 0 2543 4 0 0 20 0 2 0 332906845 87556096 14014 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 21376 14014 186 433 0 20940 0
[pid=25217/tid=25219] ppid=25215 vsize=85504 CPUtime=25.46 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 13113 0 0 0 2542 4 0 0 20 0 2 0 332906846 87556096 14014 33554432000 4194304 5964350 140735280087552 140089781995320 5136340 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) 85504
[startup+51.1003 s]
/proc/loadavg: 2.04 2.00 2.00 3/180 25222
/proc/meminfo: memFree=31429696/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=152720 CPUtime=51.05 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 20440 0 0 0 5099 6 0 0 20 0 2 0 332906845 156385280 20448 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 38180 20448 186 433 0 37744 0
[pid=25217/tid=25219] ppid=25215 vsize=152720 CPUtime=51.05 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 19481 0 0 0 5098 7 0 0 20 0 2 0 332906846 156385280 20448 33554432000 4194304 5964350 140735280087552 140089781995032 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 152720
[startup+102.307 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 25222
/proc/meminfo: memFree=31372688/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=154572 CPUtime=102.25 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 29028 0 0 0 10215 10 0 0 20 0 2 0 332906845 158281728 29855 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 38643 29855 186 433 0 38207 0
[pid=25217/tid=25219] ppid=25215 vsize=154572 CPUtime=102.25 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 28069 0 0 0 10213 12 0 0 20 0 2 0 332906846 158281728 29855 33554432000 4194304 5964350 140735280087552 140089781995032 4221120 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) 154572
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25223
/proc/meminfo: memFree=31289524/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=224572 CPUtime=162.24 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 46961 0 0 0 16205 19 0 0 20 0 2 0 332906845 229961728 47783 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 56143 47783 186 433 0 55707 0
[pid=25217/tid=25219] ppid=25215 vsize=224572 CPUtime=162.25 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 46002 0 0 0 16204 21 0 0 20 0 2 0 332906846 229961728 47783 33554432000 4194304 5964350 140735280087552 140089781995512 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 224572
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 25223
/proc/meminfo: memFree=31215868/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=302504 CPUtime=222.21 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 59598 0 0 0 22199 22 0 0 20 0 2 0 332906845 309764096 60709 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 75626 60709 186 433 0 75190 0
[pid=25217/tid=25219] ppid=25215 vsize=302504 CPUtime=222.24 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 58639 0 0 0 22198 26 0 0 20 0 2 0 332906846 309764096 60709 33554432000 4194304 5964350 140735280087552 140089781995512 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 302504
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25223
/proc/meminfo: memFree=31189696/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=303132 CPUtime=282.17 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 62178 0 0 0 28194 23 0 0 20 0 2 0 332906845 310407168 63292 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 75783 63292 186 433 0 75347 0
[pid=25217/tid=25219] ppid=25215 vsize=303132 CPUtime=282.22 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 61219 0 0 0 28194 28 0 0 20 0 2 0 332906846 310407168 63292 33554432000 4194304 5964350 140735280087552 140089781995560 4399987 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 303132
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25223
/proc/meminfo: memFree=31122336/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=371012 CPUtime=342.17 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 77540 0 0 0 34185 32 0 0 20 0 2 0 332906845 379916288 78639 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 92753 78639 186 433 0 92317 0
[pid=25217/tid=25219] ppid=25215 vsize=371012 CPUtime=342.22 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 76581 0 0 0 34184 38 0 0 20 0 2 0 332906846 379916288 78639 33554432000 4194304 5964350 140735280087552 140089781995560 5136340 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) 371012
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25223
/proc/meminfo: memFree=31071580/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=373444 CPUtime=402.16 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 84724 0 0 0 40181 35 0 0 20 0 2 0 332906845 382406656 85823 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 93361 85823 186 433 0 92925 0
[pid=25217/tid=25219] ppid=25215 vsize=373444 CPUtime=402.22 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 83765 0 0 0 40180 42 0 0 20 0 2 0 332906846 382406656 85823 33554432000 4194304 5964350 140735280087552 140089781995032 4399930 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 373444
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25224
/proc/meminfo: memFree=31058620/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=373444 CPUtime=462.15 cores=0,2,4,6
################
# More data... #
################
/proc/25217/statm: 164278 148529 186 433 0 163842 0
[pid=25217/tid=25219] ppid=25215 vsize=657112 CPUtime=1302.17 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 147495 0 0 0 130108 109 0 0 20 0 2 0 332906846 672882688 148529 33554432000 4194304 5964350 140735280087552 140089781995512 4399953 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 657112
[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 25233
/proc/meminfo: memFree=30613376/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=658628 CPUtime=1361.92 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 153363 0 0 0 136098 94 0 0 20 0 2 0 332906845 674435072 153438 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 164657 153438 186 433 0 164221 0
[pid=25217/tid=25219] ppid=25215 vsize=658628 CPUtime=1362.16 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 152404 0 0 0 136102 114 0 0 20 0 2 0 332906846 674435072 153438 33554432000 4194304 5964350 140735280087552 140089781995560 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 658628
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25233
/proc/meminfo: memFree=30560304/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=726264 CPUtime=1421.91 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 161749 0 0 0 142091 100 0 0 20 0 2 0 332906845 743694336 161824 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 181566 161824 186 433 0 181130 0
[pid=25217/tid=25219] ppid=25215 vsize=726264 CPUtime=1422.17 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 160790 0 0 0 142095 122 0 0 20 0 2 0 332906846 743694336 161824 33554432000 4194304 5964350 140735280087552 140089781995032 4221120 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) 726264
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25233
/proc/meminfo: memFree=30536316/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=727736 CPUtime=1481.87 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 165590 0 0 0 148083 104 0 0 20 0 2 0 332906845 745201664 165650 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 181934 165650 186 433 0 181498 0
[pid=25217/tid=25219] ppid=25215 vsize=727736 CPUtime=1482.14 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 164631 0 0 0 148087 127 0 0 20 0 2 0 332906846 745201664 165650 33554432000 4194304 5964350 140735280087552 140089781995032 4399944 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 727736
[startup+1542.3 s]
/proc/loadavg: 1.92 1.98 1.99 2/172 25260
/proc/meminfo: memFree=31007664/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=730740 CPUtime=1541.84 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 172957 0 0 0 154074 110 0 0 20 0 2 0 332906845 748277760 173003 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 182685 173003 186 433 0 182249 0
[pid=25217/tid=25219] ppid=25215 vsize=730740 CPUtime=1542.12 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 171998 0 0 0 154078 134 0 0 20 0 2 0 332906846 748277760 173003 33554432000 4194304 5964350 140735280087552 140089781995032 4389471 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) 730740
[startup+1602.3 s]
/proc/loadavg: 1.34 1.80 1.93 2/172 25260
/proc/meminfo: memFree=31007268/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=731300 CPUtime=1601.81 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 173128 0 0 0 160071 110 0 0 20 0 2 0 332906845 748851200 173150 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 182825 173150 186 433 0 182389 0
[pid=25217/tid=25219] ppid=25215 vsize=731300 CPUtime=1602.1 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 172169 0 0 0 160075 135 0 0 20 0 2 0 332906846 748851200 173150 33554432000 4194304 5964350 140735280087552 140089781995560 4399998 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) 731300
[startup+1662.3 s]
/proc/loadavg: 1.12 1.65 1.87 2/172 25261
/proc/meminfo: memFree=30981600/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=797608 CPUtime=1661.8 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 179532 0 0 0 166062 118 0 0 20 0 2 0 332906845 816750592 179554 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 199402 179554 186 433 0 198966 0
[pid=25217/tid=25219] ppid=25215 vsize=797608 CPUtime=1662.1 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 178573 0 0 0 166066 144 0 0 20 0 2 0 332906846 816750592 179554 33554432000 4194304 5964350 140735280087552 140089781995032 4399840 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) 797608
[startup+1722.3 s]
/proc/loadavg: 1.04 1.53 1.81 2/172 25261
/proc/meminfo: memFree=30970812/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=799088 CPUtime=1721.79 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 182453 0 0 0 172058 121 0 0 20 0 2 0 332906845 818266112 182475 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 199772 182475 186 433 0 199336 0
[pid=25217/tid=25219] ppid=25215 vsize=799088 CPUtime=1722.1 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 181494 0 0 0 172062 148 0 0 20 0 2 0 332906846 818266112 182475 33554432000 4194304 5964350 140735280087552 140089781995032 4222464 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) 799088
[startup+1782.3 s]
/proc/loadavg: 1.01 1.43 1.76 2/172 25261
/proc/meminfo: memFree=30959776/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=799304 CPUtime=1781.78 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 184908 0 0 0 178055 123 0 0 20 0 2 0 332906845 818487296 184930 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 199826 184930 186 433 0 199390 0
[pid=25217/tid=25219] ppid=25215 vsize=799304 CPUtime=1782.11 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 183949 0 0 0 178060 151 0 0 20 0 2 0 332906846 818487296 184930 33554432000 4194304 5964350 140735280087552 140089781995032 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 799304
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.01 1.42 1.75 2/172 25261
/proc/meminfo: memFree=30959776/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=799304 CPUtime=1791.38 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 184913 0 0 0 179015 123 0 0 20 0 2 0 332906845 818487296 184935 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 199826 184935 186 433 0 199390 0
[pid=25217/tid=25219] ppid=25215 vsize=799304 CPUtime=1791.71 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 183954 0 0 0 179020 151 0 0 20 0 2 0 332906846 818487296 184935 33554432000 4194304 5964350 140735280087552 140089781995032 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 799304
[startup+1795.1 s]
/proc/loadavg: 1.01 1.41 1.75 2/172 25261
/proc/meminfo: memFree=30959776/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=799304 CPUtime=1794.58 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 184913 0 0 0 179335 123 0 0 20 0 2 0 332906845 818487296 184935 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 199826 184935 186 433 0 199390 0
[pid=25217/tid=25219] ppid=25215 vsize=799304 CPUtime=1794.91 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 183954 0 0 0 179340 151 0 0 20 0 2 0 332906846 818487296 184935 33554432000 4194304 5964350 140735280087552 140089781995032 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 799304
[startup+1798.3 s]
/proc/loadavg: 1.01 1.41 1.75 2/172 25261
/proc/meminfo: memFree=30959776/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=799304 CPUtime=1797.77 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 184913 0 0 0 179654 123 0 0 20 0 2 0 332906845 818487296 184935 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 199826 184935 186 433 0 199390 0
[pid=25217/tid=25219] ppid=25215 vsize=799304 CPUtime=1798.11 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 183954 0 0 0 179660 151 0 0 20 0 2 0 332906846 818487296 184935 33554432000 4194304 5964350 140735280087552 140089781995032 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 799304
[startup+1799.1 s]
/proc/loadavg: 1.01 1.40 1.74 2/172 25261
/proc/meminfo: memFree=30959776/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=799304 CPUtime=1798.57 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 184913 0 0 0 179734 123 0 0 20 0 2 0 332906845 818487296 184935 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 199826 184935 186 433 0 199390 0
[pid=25217/tid=25219] ppid=25215 vsize=799304 CPUtime=1798.91 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 183954 0 0 0 179740 151 0 0 20 0 2 0 332906846 818487296 184935 33554432000 4194304 5964350 140735280087552 140089781995032 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 799304
[startup+1799.5 s]
/proc/loadavg: 1.01 1.40 1.74 2/172 25261
/proc/meminfo: memFree=30959776/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=799304 CPUtime=1798.98 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 184913 0 0 0 179775 123 0 0 20 0 2 0 332906845 818487296 184935 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 199826 184935 186 433 0 199390 0
[pid=25217/tid=25219] ppid=25215 vsize=799304 CPUtime=1799.31 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 183954 0 0 0 179780 151 0 0 20 0 2 0 332906846 818487296 184935 33554432000 4194304 5964350 140735280087552 140089781995032 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.98
Current children cumulated vsize (KiB) 799304
[startup+1799.9 s]
/proc/loadavg: 1.01 1.40 1.74 2/172 25261
/proc/meminfo: memFree=30959776/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=799304 CPUtime=1799.37 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) S 25215 25217 25000 0 -1 4202496 184913 0 0 0 179814 123 0 0 20 0 2 0 332906845 818487296 184935 33554432000 4194304 5964350 140735280087552 140735280087072 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 199826 184935 186 433 0 199390 0
[pid=25217/tid=25219] ppid=25215 vsize=799304 CPUtime=1799.71 cores=0,2,4,6
/proc/25217/task/25219/stat : 25219 (wbo1.72) R 25215 25217 25000 0 -1 4202560 183954 0 0 0 179820 151 0 0 20 0 2 0 332906846 818487296 184935 33554432000 4194304 5964350 140735280087552 140089781995032 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 799304
[startup+1800 s]
/proc/loadavg: 1.01 1.40 1.74 2/172 25261
/proc/meminfo: memFree=30959776/32873844 swapFree=7116/7116
[pid=25217] ppid=25215 vsize=0 CPUtime=1799.83 cores=0,2,4,6
/proc/25217/stat : 25217 (wbo1.72) R 25215 25217 25000 0 -1 4203524 184916 0 0 0 179831 152 0 0 20 0 1 0 332906845 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25217/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.83
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.85
CPU user time (s): 1798.31
CPU system time (s): 1.53177
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 799304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 1.53177
maximum resident set size= 739752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184916
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= 256
involuntary context switches= 1987
runsolver used 3.46447 second user time and 7.93079 second system time
The end