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-3705686-1338092603/watcher-3705686-1338092603 -o /tmp/evaluation-result-3705686-1338092603/solver-3705686-1338092603 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705686-1338092603.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 4/176 18841
/proc/meminfo: memFree=27093796/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=3928 CPUtime=0 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) R 18839 18841 16852 0 -1 4202496 473 0 0 0 0 0 0 0 20 0 1 0 275388885 4022272 425 33554432000 4194304 5963574 140734647471744 140733537402088 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 982 425 176 432 0 501 0
[startup+0.0195971 s]
/proc/loadavg: 2.00 2.00 1.95 4/176 18841
/proc/meminfo: memFree=27093796/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=85080 CPUtime=0.01 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 1388 0 0 0 1 0 0 0 20 0 2 0 275388885 87121920 1294 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 21270 1296 183 432 0 20835 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 85080
[startup+0.100222 s]
/proc/loadavg: 2.00 2.00 1.95 4/176 18841
/proc/meminfo: memFree=27093796/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=85080 CPUtime=0.09 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 2174 0 0 0 9 0 0 0 20 0 2 0 275388885 87121920 2080 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 21270 2080 194 432 0 20835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85080
[startup+0.300209 s]
/proc/loadavg: 2.00 2.00 1.95 4/176 18841
/proc/meminfo: memFree=27093796/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=85080 CPUtime=0.29 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 2454 0 0 0 29 0 0 0 20 0 2 0 275388885 87121920 2360 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 21270 2360 194 432 0 20835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85080
[startup+0.700211 s]
/proc/loadavg: 2.00 2.00 1.95 4/176 18841
/proc/meminfo: memFree=27093796/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=85080 CPUtime=0.69 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 3186 0 0 0 69 0 0 0 20 0 2 0 275388885 87121920 3092 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 21270 3092 194 432 0 20835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85080
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18843
/proc/meminfo: memFree=27082652/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=85080 CPUtime=1.49 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 3193 0 0 0 149 0 0 0 20 0 2 0 275388885 87121920 3099 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 21270 3099 194 432 0 20835 0
[pid=18841/tid=18843] ppid=18839 vsize=85080 CPUtime=1.47 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 2070 0 0 0 147 0 0 0 20 0 2 0 275388886 87121920 3099 33554432000 4194304 5963574 140734647471744 139651876305256 4399595 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85080
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18843
/proc/meminfo: memFree=27081172/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=85224 CPUtime=3.09 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 4186 0 0 0 308 1 0 0 20 0 2 0 275388885 87269376 4092 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 21306 4092 194 432 0 20871 0
[pid=18841/tid=18843] ppid=18839 vsize=85224 CPUtime=3.07 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 3063 0 0 0 307 0 0 0 20 0 2 0 275388886 87269376 4092 33554432000 4194304 5963574 140734647471744 139651876304888 4403244 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85224
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18843
/proc/meminfo: memFree=27074832/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=85224 CPUtime=6.29 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 5445 0 0 0 628 1 0 0 20 0 2 0 275388885 87269376 5351 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 21306 5351 194 432 0 20871 0
[pid=18841/tid=18843] ppid=18839 vsize=85224 CPUtime=6.27 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 4322 0 0 0 625 2 0 0 20 0 2 0 275388886 87269376 5351 33554432000 4194304 5963574 140734647471744 139651876304888 5135572 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) 85224
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18843
/proc/meminfo: memFree=27058348/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=85296 CPUtime=12.68 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 9342 0 0 0 1266 2 0 0 20 0 2 0 275388885 87343104 9248 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 21324 9248 194 432 0 20889 0
[pid=18841/tid=18843] ppid=18839 vsize=85296 CPUtime=12.67 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 8219 0 0 0 1264 3 0 0 20 0 2 0 275388886 87343104 9248 33554432000 4194304 5963574 140734647471744 139651876304888 5135572 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) 85296
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18843
/proc/meminfo: memFree=27035896/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=85404 CPUtime=25.49 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 13877 0 0 0 2545 4 0 0 20 0 2 0 275388885 87453696 13783 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 21351 13783 194 432 0 20916 0
[pid=18841/tid=18843] ppid=18839 vsize=85404 CPUtime=25.47 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 12754 0 0 0 2542 5 0 0 20 0 2 0 275388886 87453696 13783 33554432000 4194304 5963574 140734647471744 139651876304936 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85404
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18844
/proc/meminfo: memFree=27011104/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=154772 CPUtime=51.09 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 20270 0 0 0 5102 7 0 0 20 0 2 0 275388885 158486528 20176 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 38693 20176 194 432 0 38258 0
[pid=18841/tid=18843] ppid=18839 vsize=154772 CPUtime=51.07 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 19147 0 0 0 5100 7 0 0 20 0 2 0 275388886 158486528 20176 33554432000 4194304 5963574 140734647471744 139651876305080 4397744 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 154772
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 18844
/proc/meminfo: memFree=26995364/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=150616 CPUtime=102.27 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 21454 0 0 0 10220 7 0 0 20 0 2 0 275388885 154230784 20549 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 37654 20549 194 432 0 37219 0
[pid=18841/tid=18843] ppid=18839 vsize=150616 CPUtime=102.26 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 20331 0 0 0 10217 9 0 0 20 0 2 0 275388886 154230784 20549 33554432000 4194304 5963574 140734647471744 139651876304696 4400078 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) 150616
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 18844
/proc/meminfo: memFree=26924188/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=151340 CPUtime=162.22 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 34380 0 0 0 16211 11 0 0 20 0 2 0 275388885 154972160 34418 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 37835 34418 194 432 0 37400 0
[pid=18841/tid=18843] ppid=18839 vsize=151340 CPUtime=162.23 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 33257 0 0 0 16209 14 0 0 20 0 2 0 275388886 154972160 34418 33554432000 4194304 5963574 140734647471744 139651876304696 4399456 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) 151340
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 18845
/proc/meminfo: memFree=26867196/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=216876 CPUtime=222.21 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 44003 0 0 0 22206 15 0 0 20 0 2 0 275388885 222081024 44040 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 54219 44040 194 432 0 53784 0
[pid=18841/tid=18843] ppid=18839 vsize=216876 CPUtime=222.22 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 42880 0 0 0 22203 19 0 0 20 0 2 0 275388886 222081024 44040 33554432000 4194304 5963574 140734647471744 139651876304696 4399623 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) 216876
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/179 18845
/proc/meminfo: memFree=26817188/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=282412 CPUtime=282.21 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 52383 0 0 0 28202 19 0 0 20 0 2 0 275388885 289189888 52420 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 70603 52420 194 432 0 70168 0
[pid=18841/tid=18843] ppid=18839 vsize=282412 CPUtime=282.22 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 51260 0 0 0 28198 24 0 0 20 0 2 0 275388886 289189888 52420 33554432000 4194304 5963574 140734647471744 139651876304888 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 282412
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/180 18846
/proc/meminfo: memFree=26757232/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=282772 CPUtime=342.17 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 61036 0 0 0 34195 22 0 0 20 0 2 0 275388885 289558528 61240 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 70693 61240 194 432 0 70258 0
[pid=18841/tid=18843] ppid=18839 vsize=282772 CPUtime=342.19 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 59913 0 0 0 34191 28 0 0 20 0 2 0 275388886 289558528 61240 33554432000 4194304 5963574 140734647471744 139651876304696 4222240 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) 282772
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/180 18849
/proc/meminfo: memFree=26692888/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=348308 CPUtime=402.11 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 72023 0 0 0 40185 26 0 0 20 0 2 0 275388885 356667392 72797 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 87077 72797 194 432 0 86642 0
[pid=18841/tid=18843] ppid=18839 vsize=348308 CPUtime=402.14 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 70900 0 0 0 40181 33 0 0 20 0 2 0 275388886 356667392 72797 33554432000 4194304 5963574 140734647471744 139651876304888 4399651 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 348308
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18849
/proc/meminfo: memFree=26622292/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=348308 CPUtime=462.1 cores=0,2,4,6
################
# More data... #
################
/proc/18841/statm: 153472 143163 194 432 0 153037 0
[pid=18841/tid=18843] ppid=18839 vsize=613888 CPUtime=1301.98 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 139156 0 0 0 130114 84 0 0 20 0 2 0 275388886 628621312 143163 33554432000 4194304 5963574 140734647471744 139651876304888 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 613888
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18855
/proc/meminfo: memFree=26148220/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=613888 CPUtime=1361.82 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 141781 0 0 0 136117 65 0 0 20 0 2 0 275388885 628621312 144723 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 153472 144723 194 432 0 153037 0
[pid=18841/tid=18843] ppid=18839 vsize=613888 CPUtime=1361.98 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 140658 0 0 0 136112 86 0 0 20 0 2 0 275388886 628621312 144723 33554432000 4194304 5963574 140734647471744 139651876304696 4399448 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 613888
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.97 3/179 18856
/proc/meminfo: memFree=26121064/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=614612 CPUtime=1421.81 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 143732 0 0 0 142116 65 0 0 20 0 2 0 275388885 629362688 146581 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 153653 146581 194 432 0 153218 0
[pid=18841/tid=18843] ppid=18839 vsize=614612 CPUtime=1421.98 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 142609 0 0 0 142111 87 0 0 20 0 2 0 275388886 629362688 146581 33554432000 4194304 5963574 140734647471744 139651876304888 4399462 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 614612
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/179 18856
/proc/meminfo: memFree=26043064/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=685940 CPUtime=1481.79 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 158448 0 0 0 148105 74 0 0 20 0 2 0 275388885 702402560 161510 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 171485 161510 194 432 0 171050 0
[pid=18841/tid=18843] ppid=18839 vsize=685940 CPUtime=1481.97 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 157325 0 0 0 148100 97 0 0 20 0 2 0 275388886 702402560 161510 33554432000 4194304 5963574 140734647471744 139651876304888 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 685940
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18856
/proc/meminfo: memFree=26024580/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=685940 CPUtime=1541.79 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 159106 0 0 0 154104 75 0 0 20 0 2 0 275388885 702402560 162167 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 171485 162167 194 432 0 171050 0
[pid=18841/tid=18843] ppid=18839 vsize=685940 CPUtime=1541.97 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 157983 0 0 0 154099 98 0 0 20 0 2 0 275388886 702402560 162167 33554432000 4194304 5963574 140734647471744 139651876304760 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 685940
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 18859
/proc/meminfo: memFree=26003148/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=685940 CPUtime=1601.78 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 160111 0 0 0 160103 75 0 0 20 0 2 0 275388885 702402560 163168 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 171485 163168 194 432 0 171050 0
[pid=18841/tid=18843] ppid=18839 vsize=685940 CPUtime=1601.97 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 158988 0 0 0 160097 100 0 0 20 0 2 0 275388886 702402560 163168 33554432000 4194304 5963574 140734647471744 139651876304760 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 685940
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18859
/proc/meminfo: memFree=25966432/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=753648 CPUtime=1661.77 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 164405 0 0 0 166100 77 0 0 20 0 2 0 275388885 771735552 167371 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 188412 167371 194 432 0 187977 0
[pid=18841/tid=18843] ppid=18839 vsize=753648 CPUtime=1661.97 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 163282 0 0 0 166094 103 0 0 20 0 2 0 275388886 771735552 167371 33554432000 4194304 5963574 140734647471744 139651876304888 4399614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 753648
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18860
/proc/meminfo: memFree=25891908/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=756180 CPUtime=1721.76 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 176725 0 0 0 172088 88 0 0 20 0 2 0 275388885 774328320 179685 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 189045 179685 194 432 0 188610 0
[pid=18841/tid=18843] ppid=18839 vsize=756180 CPUtime=1721.97 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 175602 0 0 0 172082 115 0 0 20 0 2 0 275388886 774328320 179685 33554432000 4194304 5963574 140734647471744 139651876304696 4399592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 756180
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26396884/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=756180 CPUtime=1781.74 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 177282 0 0 0 178085 89 0 0 20 0 2 0 275388885 774328320 180651 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 189045 180651 194 432 0 188610 0
[pid=18841/tid=18843] ppid=18839 vsize=756180 CPUtime=1781.95 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 176159 0 0 0 178078 117 0 0 20 0 2 0 275388886 774328320 180651 33554432000 4194304 5963574 140734647471744 139651876304696 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 756180
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26390172/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=756180 CPUtime=1791.34 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 177287 0 0 0 179045 89 0 0 20 0 2 0 275388885 774328320 181171 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 189045 181171 194 432 0 188610 0
[pid=18841/tid=18843] ppid=18839 vsize=756180 CPUtime=1791.56 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 176164 0 0 0 179039 117 0 0 20 0 2 0 275388886 774328320 181171 33554432000 4194304 5963574 140734647471744 139651876304696 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 756180
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26390172/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=756180 CPUtime=1794.54 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 177287 0 0 0 179365 89 0 0 20 0 2 0 275388885 774328320 181171 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 189045 181171 194 432 0 188610 0
[pid=18841/tid=18843] ppid=18839 vsize=756180 CPUtime=1794.76 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 176164 0 0 0 179359 117 0 0 20 0 2 0 275388886 774328320 181171 33554432000 4194304 5963574 140734647471744 139651876304696 4400064 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 756180
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26390280/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=756180 CPUtime=1797.73 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 177312 0 0 0 179684 89 0 0 20 0 2 0 275388885 774328320 181188 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 189045 181188 194 432 0 188610 0
[pid=18841/tid=18843] ppid=18839 vsize=756180 CPUtime=1797.94 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 176189 0 0 0 179677 117 0 0 20 0 2 0 275388886 774328320 181188 33554432000 4194304 5963574 140734647471744 139651876304696 4402942 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 756180
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26390280/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=756180 CPUtime=1798.53 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 177331 0 0 0 179764 89 0 0 20 0 2 0 275388885 774328320 181207 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 189045 181207 194 432 0 188610 0
[pid=18841/tid=18843] ppid=18839 vsize=756180 CPUtime=1798.74 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 176208 0 0 0 179757 117 0 0 20 0 2 0 275388886 774328320 181207 33554432000 4194304 5963574 140734647471744 139651876304696 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (KiB) 756180
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26390156/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=756180 CPUtime=1798.94 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 177331 0 0 0 179805 89 0 0 20 0 2 0 275388885 774328320 181207 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 189045 181207 194 432 0 188610 0
[pid=18841/tid=18843] ppid=18839 vsize=756180 CPUtime=1799.15 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 176208 0 0 0 179798 117 0 0 20 0 2 0 275388886 774328320 181207 33554432000 4194304 5963574 140734647471744 139651876304696 4399651 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.94
Current children cumulated vsize (KiB) 756180
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26390156/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=756180 CPUtime=1799.33 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) S 18839 18841 16852 0 -1 4202496 177357 0 0 0 179844 89 0 0 20 0 2 0 275388885 774328320 181233 33554432000 4194304 5963574 140734647471744 140734647471264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 189045 181233 194 432 0 188610 0
[pid=18841/tid=18843] ppid=18839 vsize=756180 CPUtime=1799.54 cores=0,2,4,6
/proc/18841/task/18843/stat : 18843 (wbo1.7) R 18839 18841 16852 0 -1 4202560 176234 0 0 0 179837 117 0 0 20 0 2 0 275388886 774328320 181233 33554432000 4194304 5963574 140734647471744 139651876304696 4399639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.33
Current children cumulated vsize (KiB) 756180
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 18911
/proc/meminfo: memFree=26390156/32873844 swapFree=6088/6088
[pid=18841] ppid=18839 vsize=0 CPUtime=1799.67 cores=0,2,4,6
/proc/18841/stat : 18841 (wbo1.7) R 18839 18841 16852 0 -1 4203524 177358 0 0 0 179849 118 0 0 20 0 1 0 275388885 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18841/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.68
CPU user time (s): 1798.49
CPU system time (s): 1.18982
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 756180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.49
system time used= 1.18982
maximum resident set size= 724936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177358
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= 294
involuntary context switches= 2073
runsolver used 2.69059 second user time and 7.13091 second system time
The end