runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460770-1307071345/watcher-3460770-1307071345 -o /tmp/evaluation-result-3460770-1307071345/solver-3460770-1307071345 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460770-1307071345.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.10 2.07 1.94 2/473 23226
/proc/meminfo: memFree=20216700/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=22544 CPUtime=0.01 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 587 0 0 0 1 0 0 0 25 0 1 0 818734207 23085056 540 33554432000 4194304 5714214 140736390344800 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 5690 550 205 372 0 441 0
[startup+0.102844 s]
/proc/loadavg: 2.10 2.07 1.94 2/473 23226
/proc/meminfo: memFree=20216700/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=30672 CPUtime=0.09 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 2808 0 0 0 9 0 0 0 25 0 1 0 818734207 31408128 2761 33554432000 4194304 5714214 140736390344800 18446744073709551615 4233391 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 7668 2762 534 372 0 2419 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30672
[startup+0.200829 s]
/proc/loadavg: 2.10 2.07 1.94 2/473 23226
/proc/meminfo: memFree=20216700/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=39468 CPUtime=0.19 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 5256 0 0 0 19 0 0 0 25 0 1 0 818734207 40415232 5030 33554432000 4194304 5714214 140736390344800 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 9867 5030 877 372 0 4618 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39468
[startup+0.300823 s]
/proc/loadavg: 2.10 2.07 1.94 2/473 23226
/proc/meminfo: memFree=20216700/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=48236 CPUtime=0.29 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 7740 0 0 0 29 0 0 0 25 0 1 0 818734207 49393664 7248 33554432000 4194304 5714214 140736390344800 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 12059 7248 1203 372 0 6810 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48236
[startup+0.700744 s]
/proc/loadavg: 2.10 2.07 1.94 2/473 23226
/proc/meminfo: memFree=20216700/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=81496 CPUtime=0.69 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 17336 0 0 0 67 2 0 0 25 0 1 0 818734207 83451904 16186 33554432000 4194304 5714214 140736390344800 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 20374 16187 2588 372 0 15125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81496
[startup+1.50049 s]
/proc/loadavg: 2.10 2.07 1.94 3/474 23227
/proc/meminfo: memFree=20132124/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=186376 CPUtime=1.49 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 51800 0 0 0 143 6 0 0 25 0 1 0 818734207 190849024 44464 33554432000 4194304 5714214 140736390344800 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 46594 44469 172 372 0 46219 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 186376
[startup+3.10021 s]
/proc/loadavg: 2.09 2.06 1.94 3/474 23227
/proc/meminfo: memFree=19952820/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=269128 CPUtime=3.09 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 79230 0 0 0 299 10 0 0 25 0 1 0 818734207 275587072 65605 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319260 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 67282 65605 180 372 0 66907 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 269128
[startup+6.30075 s]
/proc/loadavg: 2.09 2.06 1.94 3/474 23228
/proc/meminfo: memFree=19952308/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=269128 CPUtime=6.29 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 79230 0 0 0 618 11 0 0 25 0 1 0 818734207 275587072 65605 33554432000 4194304 5714214 140736390344800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 67282 65605 180 372 0 66907 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 269128
[startup+12.7006 s]
/proc/loadavg: 2.08 2.06 1.94 3/474 23228
/proc/meminfo: memFree=19951984/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=269128 CPUtime=12.69 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 79230 0 0 0 1257 12 0 0 25 0 1 0 818734207 275587072 65605 33554432000 4194304 5714214 140736390344800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 67282 65605 180 372 0 66907 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 269128
[startup+25.5004 s]
/proc/loadavg: 2.06 2.06 1.94 3/474 23228
/proc/meminfo: memFree=19952656/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=269128 CPUtime=25.49 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 79230 0 0 0 2536 13 0 0 25 0 1 0 818734207 275587072 65605 33554432000 4194304 5714214 140736390344800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 67282 65605 180 372 0 66907 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 269128
[startup+51.1009 s]
/proc/loadavg: 2.04 2.05 1.94 3/474 23229
/proc/meminfo: memFree=19952280/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=269128 CPUtime=51.1 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 79230 0 0 0 5095 15 0 0 25 0 1 0 818734207 275587072 65605 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 67282 65605 180 372 0 66907 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 269128
[startup+102.301 s]
/proc/loadavg: 2.01 2.04 1.94 3/474 23230
/proc/meminfo: memFree=19938304/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=269128 CPUtime=102.31 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 79230 0 0 0 10213 18 0 0 25 0 1 0 818734207 275587072 65605 33554432000 4194304 5714214 140736390344800 18446744073709551615 4322645 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 67282 65605 180 372 0 66907 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 269128
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/474 23232
/proc/meminfo: memFree=19922148/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=269128 CPUtime=162.29 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 79230 0 0 0 16208 21 0 0 25 0 1 0 818734207 275587072 65605 33554432000 4194304 5714214 140736390344800 18446744073709551615 4310639 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 67282 65605 180 372 0 66907 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 269128
[startup+222.319 s]
/proc/loadavg: 2.00 2.02 1.94 3/474 23233
/proc/meminfo: memFree=19897672/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=269128 CPUtime=222.31 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 79231 0 0 0 22206 25 0 0 25 0 1 0 818734207 275587072 65606 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 67282 65606 180 372 0 66907 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 269128
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/474 23235
/proc/meminfo: memFree=19896392/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=269316 CPUtime=282.29 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 79274 0 0 0 28199 30 0 0 25 0 1 0 818734207 275779584 65649 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 67329 65649 180 372 0 66954 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 269316
[startup+342.301 s]
/proc/loadavg: 2.10 2.04 1.95 3/474 23236
/proc/meminfo: memFree=19888548/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=270396 CPUtime=342.3 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 79482 0 0 0 34196 34 0 0 25 0 1 0 818734207 276885504 65857 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 67599 65857 180 372 0 67224 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 270396
[startup+402.301 s]
/proc/loadavg: 2.08 2.05 1.96 3/474 23238
/proc/meminfo: memFree=19863200/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=270848 CPUtime=402.3 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 79630 0 0 0 40193 37 0 0 25 0 1 0 818734207 277348352 66005 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319944 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 67712 66005 180 372 0 67337 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 270848
[startup+462.3 s]
/proc/loadavg: 2.07 2.05 1.97 3/474 23240
/proc/meminfo: memFree=19856472/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=272632 CPUtime=462.3 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 80004 0 0 0 46188 42 0 0 25 0 1 0 818734207 279175168 66379 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 68158 66379 180 372 0 67783 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 272632
[startup+522.301 s]
/proc/loadavg: 2.02 2.04 1.97 3/474 23241
/proc/meminfo: memFree=19840812/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=274252 CPUtime=522.3 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 80329 0 0 0 52184 46 0 0 25 0 1 0 818734207 280834048 66704 33554432000 4194304 5714214 140736390344800 18446744073709551615 4305219 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 68563 66704 180 372 0 68188 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 274252
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/474 23243
/proc/meminfo: memFree=19837288/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=275532 CPUtime=582.31 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 80536 0 0 0 58181 50 0 0 25 0 1 0 818734207 282144768 66911 33554432000 4194304 5714214 140736390344800 18446744073709551615 4305219 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 68883 66911 180 372 0 68508 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 275532
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=19808472/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=276012 CPUtime=642.31 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 80673 0 0 0 64178 53 0 0 25 0 1 0 818734207 282636288 67048 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 69003 67048 180 372 0 68628 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 276012
[startup+702.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/474 23246
/proc/meminfo: memFree=19805808/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=276012 CPUtime=702.31 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 80764 0 0 0 70174 57 0 0 25 0 1 0 818734207 282636288 67139 33554432000 4194304 5714214 140736390344800 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 69003 67139 180 372 0 68628 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 276012
[startup+762.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/474 23248
/proc/meminfo: memFree=19792116/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=276812 CPUtime=762.32 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 80971 0 0 0 76171 61 0 0 25 0 1 0 818734207 283455488 67346 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 69203 67346 180 372 0 68828 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 276812
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/474 23249
/proc/meminfo: memFree=19779304/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=280228 CPUtime=822.31 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 81839 0 0 0 82166 65 0 0 25 0 1 0 818734207 286953472 68214 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 70057 68214 180 372 0 69682 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 280228
[startup+882.318 s]
/proc/loadavg: 2.15 2.03 1.98 3/474 23251
/proc/meminfo: memFree=19754956/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=283864 CPUtime=882.33 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 82566 0 0 0 88166 67 0 0 25 0 1 0 818734207 290676736 68941 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 70966 68941 180 372 0 70591 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 283864
[startup+942.301 s]
/proc/loadavg: 2.12 2.04 1.98 3/474 23252
/proc/meminfo: memFree=19726024/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=286152 CPUtime=942.32 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 83151 0 0 0 94161 71 0 0 25 0 1 0 818734207 293019648 69526 33554432000 4194304 5714214 140736390344800 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 71538 69526 180 372 0 71163 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 286152
[startup+1002.3 s]
/proc/loadavg: 2.10 2.05 1.99 3/474 23254
/proc/meminfo: memFree=19683560/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=289708 CPUtime=1002.31 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 83980 0 0 0 100157 74 0 0 25 0 1 0 818734207 296660992 70355 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 72427 70355 180 372 0 72052 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 289708
[startup+1062.3 s]
/proc/loadavg: 2.09 2.05 1.99 3/474 23256
/proc/meminfo: memFree=19676324/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=292308 CPUtime=1062.32 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 84601 0 0 0 106154 78 0 0 25 0 1 0 818734207 299323392 70976 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 73077 70976 180 372 0 72702 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 292308
[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 1.99 3/474 23257
/proc/meminfo: memFree=19673168/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=296388 CPUtime=1122.31 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 85415 0 0 0 112150 81 0 0 25 0 1 0 818734207 303501312 71790 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 74097 71790 180 372 0 73722 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 296388
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/474 23259
/proc/meminfo: memFree=19670268/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=298104 CPUtime=1182.32 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 86047 0 0 0 118146 86 0 0 25 0 1 0 818734207 305258496 72422 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 74526 72422 180 372 0 74151 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 298104
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/474 23260
/proc/meminfo: memFree=19667364/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=300880 CPUtime=1242.32 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 86744 0 0 0 124143 89 0 0 25 0 1 0 818734207 308101120 73119 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 75220 73119 180 372 0 74845 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 300880
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/474 23262
/proc/meminfo: memFree=19651316/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=303260 CPUtime=1302.32 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 87366 0 0 0 130140 92 0 0 25 0 1 0 818734207 310538240 73741 33554432000 4194304 5714214 140736390344800 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 75815 73741 180 372 0 75440 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 303260
Solver just ended. Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.00 2.02 1.99 3/474 23262
/proc/meminfo: memFree=19650200/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=303392 CPUtime=1305.62 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 87396 0 0 0 130470 92 0 0 25 0 1 0 818734207 310673408 73771 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 75848 73771 180 372 0 75473 0
Current children cumulated CPU time (s) 1305.62
Current children cumulated vsize (KiB) 303392
[startup+1318.4 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23263
/proc/meminfo: memFree=19649696/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=303920 CPUtime=1318.43 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 87528 0 0 0 131749 94 0 0 25 0 1 0 818734207 311214080 73903 33554432000 4194304 5714214 140736390344800 18446744073709551615 4310627 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 75980 73903 180 372 0 75605 0
Current children cumulated CPU time (s) 1318.43
Current children cumulated vsize (KiB) 303920
[startup+1321.6 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23263
/proc/meminfo: memFree=19650684/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=304052 CPUtime=1321.62 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 87562 0 0 0 132068 94 0 0 25 0 1 0 818734207 311349248 73937 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 76013 73937 180 372 0 75638 0
Current children cumulated CPU time (s) 1321.62
Current children cumulated vsize (KiB) 304052
[startup+1324.8 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23263
/proc/meminfo: memFree=19650560/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=304184 CPUtime=1324.82 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 87604 0 0 0 132388 94 0 0 25 0 1 0 818734207 311484416 73979 33554432000 4194304 5714214 140736390344800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 76046 73979 180 372 0 75671 0
Current children cumulated CPU time (s) 1324.82
Current children cumulated vsize (KiB) 304184
[startup+1326.4 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23263
/proc/meminfo: memFree=19650312/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=304184 CPUtime=1326.42 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 87618 0 0 0 132548 94 0 0 25 0 1 0 818734207 311484416 73993 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 76046 73993 180 372 0 75671 0
Current children cumulated CPU time (s) 1326.42
Current children cumulated vsize (KiB) 304184
[startup+1327.2 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23263
/proc/meminfo: memFree=19650312/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=304184 CPUtime=1327.22 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 87625 0 0 0 132628 94 0 0 25 0 1 0 818734207 311484416 74000 33554432000 4194304 5714214 140736390344800 18446744073709551615 4322634 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 76046 74000 180 372 0 75671 0
Current children cumulated CPU time (s) 1327.22
Current children cumulated vsize (KiB) 304184
[startup+1327.4 s]
/proc/loadavg: 2.00 2.01 1.99 3/474 23263
/proc/meminfo: memFree=19650312/32950928 swapFree=61858088/67111528
[pid=23226] ppid=23224 vsize=304184 CPUtime=1327.42 cores=0,2,4,6
/proc/23226/stat : 23226 (wbo1.6) R 23224 23226 21173 0 -1 4202496 87626 0 0 0 132648 94 0 0 25 0 1 0 818734207 311484416 74001 33554432000 4194304 5714214 140736390344800 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23226/statm: 76046 74001 180 372 0 75671 0
Current children cumulated CPU time (s) 1327.42
Current children cumulated vsize (KiB) 304184
Child status: 0
Real time (s): 1327.44
CPU time (s): 1327.47
CPU user time (s): 1326.51
CPU system time (s): 0.959854
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 304184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1326.51
system time used= 0.959854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87628
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= 6
involuntary context switches= 1377
runsolver used 6.08907 second user time and 14.4258 second system time
The end