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-3461574-1307120201/watcher-3461574-1307120201 -o /tmp/evaluation-result-3461574-1307120201/solver-3461574-1307120201 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461574-1307120201.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.02 2.04 2.00 3/524 21181
/proc/meminfo: memFree=23900976/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=8828 CPUtime=0 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 378 0 0 0 0 0 0 0 25 0 1 0 823617859 9039872 331 33554432000 4194304 5714214 140733911401056 18446744073709551615 4315202 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 2207 332 168 372 0 239 0
[startup+0.107616 s]
/proc/loadavg: 2.02 2.04 2.00 3/524 21181
/proc/meminfo: memFree=23900976/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=20580 CPUtime=0.09 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 3543 0 0 0 9 0 0 0 25 0 1 0 823617859 21073920 3414 33554432000 4194304 5714214 140733911401056 18446744073709551615 4970356 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 5145 3415 479 372 0 3177 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20580
[startup+0.200599 s]
/proc/loadavg: 2.02 2.04 2.00 3/524 21181
/proc/meminfo: memFree=23900976/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=24228 CPUtime=0.18 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 4735 0 0 0 18 0 0 0 25 0 1 0 823617859 24809472 4541 33554432000 4194304 5714214 140733911401056 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 6057 4541 772 372 0 4089 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 24228
[startup+0.300593 s]
/proc/loadavg: 2.02 2.04 2.00 3/524 21181
/proc/meminfo: memFree=23900976/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=30340 CPUtime=0.28 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 6647 0 0 0 28 0 0 0 25 0 1 0 823617859 31068160 6219 33554432000 4194304 5714214 140733911401056 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 7585 6219 1096 372 0 5617 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 30340
[startup+0.70048 s]
/proc/loadavg: 2.02 2.04 2.00 3/524 21181
/proc/meminfo: memFree=23900976/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=80092 CPUtime=0.68 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 21299 0 0 0 66 2 0 0 25 0 1 0 823617859 82014208 19181 33554432000 4194304 5714214 140733911401056 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 20023 19184 174 372 0 19648 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 80092
[startup+1.50036 s]
/proc/loadavg: 2.02 2.04 2.00 3/525 21182
/proc/meminfo: memFree=23821112/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=80428 CPUtime=1.49 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 23135 0 0 0 146 3 0 0 25 0 1 0 823617859 82358272 19403 33554432000 4194304 5714214 140733911401056 18446744073709551615 4320074 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 20107 19403 180 372 0 19732 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80428
[startup+3.10104 s]
/proc/loadavg: 2.02 2.04 2.00 3/525 21182
/proc/meminfo: memFree=23818268/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=80428 CPUtime=3.08 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 23135 0 0 0 305 3 0 0 25 0 1 0 823617859 82358272 19403 33554432000 4194304 5714214 140733911401056 18446744073709551615 4310636 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 20107 19403 180 372 0 19732 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 80428
[startup+6.3005 s]
/proc/loadavg: 2.02 2.04 2.00 3/525 21182
/proc/meminfo: memFree=23813852/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=80428 CPUtime=6.29 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 23135 0 0 0 625 4 0 0 25 0 1 0 823617859 82358272 19403 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 20107 19403 180 372 0 19732 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80428
[startup+12.7004 s]
/proc/loadavg: 2.02 2.04 2.00 3/525 21182
/proc/meminfo: memFree=23802668/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=80428 CPUtime=12.68 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 23135 0 0 0 1263 5 0 0 25 0 1 0 823617859 82358272 19403 33554432000 4194304 5714214 140733911401056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 20107 19403 180 372 0 19732 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 80428
[startup+25.501 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 21182
/proc/meminfo: memFree=23781088/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=94940 CPUtime=25.48 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 26711 0 0 0 2538 10 0 0 25 0 1 0 823617859 97218560 22979 33554432000 4194304 5714214 140733911401056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 23735 22979 180 372 0 23360 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94940
[startup+51.1004 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 21183
/proc/meminfo: memFree=23747908/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=117588 CPUtime=51.09 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 32362 0 0 0 5092 17 0 0 25 0 1 0 823617859 120410112 28630 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 29397 28630 180 372 0 29022 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 117588
[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 21184
/proc/meminfo: memFree=23682156/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=164980 CPUtime=102.29 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 44202 0 0 0 10199 30 0 0 25 0 1 0 823617859 168939520 40470 33554432000 4194304 5714214 140733911401056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 41245 40470 180 372 0 40870 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 164980
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 21186
/proc/meminfo: memFree=23645072/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=169912 CPUtime=162.29 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 45433 0 0 0 16188 41 0 0 25 0 1 0 823617859 173989888 41701 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 42478 41701 180 372 0 42103 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 169912
[startup+222.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 21187
/proc/meminfo: memFree=23582300/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=202196 CPUtime=222.31 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 53465 0 0 0 22176 55 0 0 25 0 1 0 823617859 207048704 49733 33554432000 4194304 5714214 140733911401056 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 50549 49733 180 372 0 50174 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 202196
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 21198
/proc/meminfo: memFree=23544752/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=233380 CPUtime=282.29 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 61005 0 0 0 28161 68 0 0 25 0 1 0 823617859 238981120 57273 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 58345 57273 180 372 0 57970 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 233380
[startup+342.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/525 21200
/proc/meminfo: memFree=23531696/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=236364 CPUtime=342.3 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 61730 0 0 0 34151 79 0 0 25 0 1 0 823617859 242036736 57998 33554432000 4194304 5714214 140733911401056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 59091 57998 180 372 0 58716 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 236364
[startup+402.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/525 21201
/proc/meminfo: memFree=23521128/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=239464 CPUtime=402.3 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 62473 0 0 0 40142 88 0 0 25 0 1 0 823617859 245211136 58741 33554432000 4194304 5714214 140733911401056 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 59866 58741 180 372 0 59491 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 239464
[startup+462.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/525 21205
/proc/meminfo: memFree=23493440/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=254136 CPUtime=462.3 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 66088 0 0 0 46134 96 0 0 25 0 1 0 823617859 260235264 62356 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 63534 62356 180 372 0 63159 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 254136
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/525 21207
/proc/meminfo: memFree=23474812/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=259640 CPUtime=522.3 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 67451 0 0 0 52122 108 0 0 25 0 1 0 823617859 265871360 63719 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 64910 63719 180 372 0 64535 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 259640
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 21209
/proc/meminfo: memFree=23424312/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=290600 CPUtime=582.3 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 75150 0 0 0 58111 119 0 0 25 0 1 0 823617859 297574400 71418 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 72650 71418 180 372 0 72275 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 290600
[startup+642.301 s]
################
# More data... #
################
[startup+882.32 s]
/proc/loadavg: 2.12 2.03 2.01 3/525 21217
/proc/meminfo: memFree=23287644/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=370276 CPUtime=882.33 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 95045 0 0 0 88070 163 0 0 25 0 1 0 823617859 379162624 91313 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 92569 91313 180 372 0 92194 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 370276
[startup+942.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/525 21219
/proc/meminfo: memFree=23275592/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=373592 CPUtime=942.31 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 95865 0 0 0 94058 173 0 0 25 0 1 0 823617859 382558208 92133 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 93398 92133 180 372 0 93023 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 373592
[startup+1002.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/525 21220
/proc/meminfo: memFree=23226572/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=401784 CPUtime=1002.31 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 102871 0 0 0 100047 184 0 0 25 0 1 0 823617859 411426816 99139 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 100446 99139 180 372 0 100071 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 401784
[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/525 21222
/proc/meminfo: memFree=23207068/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=418512 CPUtime=1062.32 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 107089 0 0 0 106037 195 0 0 25 0 1 0 823617859 428556288 103357 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 104628 103357 180 372 0 104253 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 418512
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 21223
/proc/meminfo: memFree=23192288/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=419216 CPUtime=1122.31 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 107268 0 0 0 112028 203 0 0 25 0 1 0 823617859 429277184 103536 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 104804 103536 180 372 0 104429 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 419216
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 21225
/proc/meminfo: memFree=23172672/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=419888 CPUtime=1182.32 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 107396 0 0 0 118022 210 0 0 25 0 1 0 823617859 429965312 103664 33554432000 4194304 5714214 140733911401056 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 104972 103664 180 372 0 104597 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 419888
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 21227
/proc/meminfo: memFree=23168436/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=421124 CPUtime=1242.32 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 107688 0 0 0 124014 218 0 0 25 0 1 0 823617859 431230976 103956 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 105281 103956 180 372 0 104906 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 421124
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 21228
/proc/meminfo: memFree=23153760/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=422084 CPUtime=1302.32 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 107904 0 0 0 130008 224 0 0 25 0 1 0 823617859 432214016 104172 33554432000 4194304 5714214 140733911401056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 105521 104172 180 372 0 105146 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 422084
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 21230
/proc/meminfo: memFree=23138356/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=423640 CPUtime=1362.32 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 108272 0 0 0 136002 230 0 0 25 0 1 0 823617859 433807360 104540 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 105910 104540 180 372 0 105535 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 423640
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/525 21231
/proc/meminfo: memFree=23133868/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=424280 CPUtime=1422.34 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 108411 0 0 0 141997 237 0 0 25 0 1 0 823617859 434462720 104679 33554432000 4194304 5714214 140733911401056 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 106070 104679 180 372 0 105695 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 424280
[startup+1482.3 s]
/proc/loadavg: 2.25 2.06 2.02 3/525 21233
/proc/meminfo: memFree=23115736/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=429644 CPUtime=1482.33 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 109772 0 0 0 147990 243 0 0 25 0 1 0 823617859 439955456 106040 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 107411 106040 180 372 0 107036 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 429644
[startup+1542.32 s]
/proc/loadavg: 2.15 2.06 2.02 3/525 21235
/proc/meminfo: memFree=23113724/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=431212 CPUtime=1542.35 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 110136 0 0 0 153984 251 0 0 25 0 1 0 823617859 441561088 106404 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 107803 106404 180 372 0 107428 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 431212
[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/525 21236
/proc/meminfo: memFree=23090264/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=441900 CPUtime=1602.33 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 112781 0 0 0 159970 263 0 0 25 0 1 0 823617859 452505600 109049 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 110475 109049 180 372 0 110100 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 441900
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/525 21238
/proc/meminfo: memFree=23058492/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=458276 CPUtime=1662.33 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 116807 0 0 0 165961 272 0 0 25 0 1 0 823617859 469274624 113075 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 114569 113075 180 372 0 114194 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 458276
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 21239
/proc/meminfo: memFree=23021280/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=478472 CPUtime=1722.34 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 121838 0 0 0 171953 281 0 0 25 0 1 0 823617859 489955328 118106 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 119618 118106 180 372 0 119243 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 478472
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 21241
/proc/meminfo: memFree=22991108/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=497004 CPUtime=1782.34 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 126433 0 0 0 177945 289 0 0 25 0 1 0 823617859 508932096 122701 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 124251 122701 180 372 0 123876 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 497004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.85 1.99 1.99 2/519 21260
/proc/meminfo: memFree=23448812/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=501872 CPUtime=1800.05 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 127638 0 0 0 179713 292 0 0 25 0 1 0 823617859 513916928 123906 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 125468 123906 180 372 0 125093 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 501872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 1.85 1.99 1.99 2/519 21260
/proc/meminfo: memFree=23448812/32951124 swapFree=56930356/67111528
[pid=21181] ppid=21179 vsize=501872 CPUtime=1800.05 cores=0,2,4,6
/proc/21181/stat : 21181 (wbo1.6) R 21179 21181 18788 0 -1 4202496 127638 0 0 0 179713 292 0 0 25 0 1 0 823617859 513916928 123906 33554432000 4194304 5714214 140733911401056 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21181/statm: 125468 123906 180 372 0 125093 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 501872
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.09
CPU user time (s): 1797.14
CPU system time (s): 2.94755
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 501872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.14
system time used= 2.94755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127638
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= 3
involuntary context switches= 2436
runsolver used 10.0135 second user time and 21.1048 second system time
The end