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-3478784-1307438585/watcher-3478784-1307438585 -o /tmp/evaluation-result-3478784-1307438585/solver-3478784-1307438585 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478784-1307438585.opb
running on 4 cores: 1,3,5,7
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: 1.96 2.01 1.70 2/472 23426
/proc/meminfo: memFree=21117752/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=52392 CPUtime=0.01 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 486 0 0 0 1 0 0 0 22 0 1 0 836273959 53649408 439 33554432000 4194304 5714214 140737093435408 18446744073709551615 4234520 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 13098 439 214 372 0 299 0
[startup+0.110444 s]
/proc/loadavg: 1.96 2.01 1.70 2/472 23426
/proc/meminfo: memFree=21117752/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=57260 CPUtime=0.1 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 2063 0 0 0 10 0 0 0 23 0 1 0 836273959 58634240 1983 33554432000 4194304 5714214 140737093435408 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 14315 1985 599 372 0 1516 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 57260
[startup+0.20043 s]
/proc/loadavg: 1.96 2.01 1.70 2/472 23426
/proc/meminfo: memFree=21117752/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=61384 CPUtime=0.19 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 3512 0 0 0 19 0 0 0 23 0 1 0 836273959 62857216 3367 33554432000 4194304 5714214 140737093435408 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 15346 3368 951 372 0 2547 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 61384
[startup+0.300413 s]
/proc/loadavg: 1.96 2.01 1.70 2/472 23426
/proc/meminfo: memFree=21117752/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=65908 CPUtime=0.29 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 5057 0 0 0 29 0 0 0 24 0 1 0 836273959 67489792 4912 33554432000 4194304 5714214 140737093435408 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 16477 4913 1346 372 0 3678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65908
[startup+0.700344 s]
/proc/loadavg: 1.96 2.01 1.70 2/472 23426
/proc/meminfo: memFree=21117752/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=85472 CPUtime=0.69 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 11605 0 0 0 68 1 0 0 25 0 1 0 836273959 87523328 11074 33554432000 4194304 5714214 140737093435408 18446744073709551615 4968150 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 21368 11076 2942 372 0 8569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85472
[startup+1.5002 s]
/proc/loadavg: 1.96 2.01 1.70 3/478 23433
/proc/meminfo: memFree=21007264/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=122828 CPUtime=1.49 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 24211 0 0 0 147 2 0 0 25 0 1 0 836273959 125775872 23167 33554432000 4194304 5714214 140737093435408 18446744073709551615 4234000 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 30707 23167 6221 372 0 17908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 122828
[startup+3.10092 s]
/proc/loadavg: 1.96 2.01 1.70 3/478 23433
/proc/meminfo: memFree=20957664/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=195608 CPUtime=3.09 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 48291 0 0 0 305 4 0 0 25 0 1 0 836273959 200302592 46222 33554432000 4194304 5714214 140737093435408 18446744073709551615 5203693 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 48902 46222 12526 372 0 36103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 195608
[startup+6.30036 s]
/proc/loadavg: 1.96 2.01 1.71 3/478 23433
/proc/meminfo: memFree=20762556/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=306604 CPUtime=6.3 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 90371 0 0 0 613 17 0 0 19 0 1 0 836273959 313962496 73684 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 76651 73684 180 372 0 76276 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 306604
[startup+12.7002 s]
/proc/loadavg: 1.96 2.01 1.71 3/478 23433
/proc/meminfo: memFree=20761232/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=306604 CPUtime=12.69 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 90371 0 0 0 1236 33 0 0 25 0 1 0 836273959 313962496 73684 33554432000 4194304 5714214 140737093435408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 76651 73684 180 372 0 76276 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 306604
[startup+25.501 s]
/proc/loadavg: 1.97 2.00 1.71 3/478 23433
/proc/meminfo: memFree=20754608/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=306604 CPUtime=25.49 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 90373 0 0 0 2500 49 0 0 19 0 1 0 836273959 313962496 73686 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 76651 73686 180 372 0 76276 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 306604
[startup+51.1004 s]
/proc/loadavg: 2.14 2.04 1.73 3/478 23434
/proc/meminfo: memFree=20733468/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=306604 CPUtime=51.09 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 90389 0 0 0 5001 108 0 0 25 0 1 0 836273959 313962496 73702 33554432000 4194304 5714214 140737093435408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 76651 73702 180 372 0 76276 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 306604
[startup+102.3 s]
/proc/loadavg: 2.06 2.03 1.74 3/478 23436
/proc/meminfo: memFree=20694668/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=306604 CPUtime=102.31 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 90403 0 0 0 10081 150 0 0 25 0 1 0 836273959 313962496 73716 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 76651 73716 180 372 0 76276 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 306604
[startup+162.301 s]
/proc/loadavg: 2.05 2.03 1.76 3/478 23440
/proc/meminfo: memFree=20649816/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=318956 CPUtime=162.29 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 93852 0 0 0 16029 200 0 0 25 0 1 0 836273959 326610944 77165 33554432000 4194304 5714214 140737093435408 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 79739 77165 180 372 0 79364 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 318956
[startup+222.318 s]
/proc/loadavg: 2.02 2.02 1.77 3/478 23442
/proc/meminfo: memFree=20605348/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=349336 CPUtime=222.31 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 101187 0 0 0 21999 232 0 0 25 0 1 0 836273959 357720064 84500 33554432000 4194304 5714214 140737093435408 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 87334 84500 180 372 0 86959 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 349336
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.78 3/478 23443
/proc/meminfo: memFree=20573364/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=376808 CPUtime=282.3 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 108037 0 0 0 27988 242 0 0 25 0 1 0 836273959 385851392 91350 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 94202 91350 180 372 0 93827 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 376808
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.79 3/478 23445
/proc/meminfo: memFree=20527460/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=389816 CPUtime=342.3 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 111118 0 0 0 33984 246 0 0 25 0 1 0 836273959 399171584 94431 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 97454 94431 180 372 0 97079 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 389816
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/478 23446
/proc/meminfo: memFree=20493964/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=399304 CPUtime=402.3 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 113439 0 0 0 39979 251 0 0 25 0 1 0 836273959 408887296 96752 33554432000 4194304 5714214 140737093435408 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 99826 96752 180 372 0 99451 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 399304
[startup+462.301 s]
/proc/loadavg: 2.05 2.02 1.82 3/478 23448
/proc/meminfo: memFree=20477340/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=408660 CPUtime=462.3 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 115576 0 0 0 45973 257 0 0 25 0 1 0 836273959 418467840 98889 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 102165 98889 180 372 0 101790 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 408660
[startup+522.3 s]
/proc/loadavg: 2.07 2.03 1.83 3/478 23450
/proc/meminfo: memFree=20460828/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=423600 CPUtime=522.3 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 119270 0 0 0 51963 267 0 0 25 0 1 0 836273959 433766400 102583 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 105900 102583 180 372 0 105525 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 423600
[startup+582.301 s]
/proc/loadavg: 2.02 2.02 1.84 3/478 23451
/proc/meminfo: memFree=20436116/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=438124 CPUtime=582.3 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 122817 0 0 0 57954 276 0 0 25 0 1 0 836273959 448638976 106130 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 109531 106130 180 372 0 109156 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 438124
[startup+642.301 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.00 2.02 1.88 3/478 23459
/proc/meminfo: memFree=20316224/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=480968 CPUtime=882.33 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 133146 0 0 0 87912 321 0 0 25 0 1 0 836273959 492511232 116459 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 120242 116459 180 372 0 119867 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 480968
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 1.89 3/478 23461
/proc/meminfo: memFree=20296476/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=502316 CPUtime=942.31 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 137963 0 0 0 93898 333 0 0 25 0 1 0 836273959 514371584 121276 33554432000 4194304 5714214 140737093435408 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 125579 121276 180 372 0 125204 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 502316
[startup+1002.3 s]
/proc/loadavg: 2.15 2.04 1.90 3/478 23462
/proc/meminfo: memFree=20272520/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=509212 CPUtime=1002.32 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 139645 0 0 0 99897 335 0 0 25 0 1 0 836273959 521433088 122958 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319852 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 127303 122958 180 372 0 126928 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 509212
[startup+1062.3 s]
/proc/loadavg: 2.12 2.05 1.91 3/478 23464
/proc/meminfo: memFree=20244348/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=516832 CPUtime=1062.32 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 141376 0 0 0 105894 338 0 0 25 0 1 0 836273959 529235968 124689 33554432000 4194304 5714214 140737093435408 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 129208 124689 180 372 0 128833 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 516832
[startup+1122.3 s]
/proc/loadavg: 2.04 2.04 1.91 3/478 23466
/proc/meminfo: memFree=20219900/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=522572 CPUtime=1122.31 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 142801 0 0 0 111891 340 0 0 25 0 1 0 836273959 535113728 126114 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 130643 126114 180 372 0 130268 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 522572
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/478 23467
/proc/meminfo: memFree=20195944/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=530200 CPUtime=1182.32 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 144657 0 0 0 117886 346 0 0 25 0 1 0 836273959 542924800 127970 33554432000 4194304 5714214 140737093435408 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 132550 127970 180 372 0 132175 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 530200
[startup+1242.3 s]
/proc/loadavg: 2.13 2.05 1.93 3/478 23469
/proc/meminfo: memFree=20178680/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=541440 CPUtime=1242.32 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 147476 0 0 0 123877 355 0 0 25 0 1 0 836273959 554434560 130789 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 135360 130789 180 372 0 134985 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 541440
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 1.93 3/478 23470
/proc/meminfo: memFree=20161552/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=558160 CPUtime=1302.33 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 151516 0 0 0 129865 368 0 0 25 0 1 0 836273959 571555840 134829 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 139540 134829 180 372 0 139165 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 558160
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 1.93 3/478 23472
/proc/meminfo: memFree=20152468/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=566340 CPUtime=1362.32 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 153502 0 0 0 135861 371 0 0 25 0 1 0 836273959 579932160 136815 33554432000 4194304 5714214 140737093435408 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 141585 136815 180 372 0 141210 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 566340
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/478 23474
/proc/meminfo: memFree=20149592/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=571316 CPUtime=1422.34 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 154760 0 0 0 141860 374 0 0 25 0 1 0 836273959 585027584 138073 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 142829 138073 180 372 0 142454 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 571316
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/478 23475
/proc/meminfo: memFree=20140152/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=580444 CPUtime=1482.33 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 156928 0 0 0 147855 378 0 0 25 0 1 0 836273959 594374656 140241 33554432000 4194304 5714214 140737093435408 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 145111 140241 180 372 0 144736 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 580444
[startup+1542.32 s]
/proc/loadavg: 2.00 2.01 1.93 3/478 23477
/proc/meminfo: memFree=20124132/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=595916 CPUtime=1542.34 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 160833 0 0 0 153851 383 0 0 25 0 1 0 836273959 610217984 144146 33554432000 4194304 5714214 140737093435408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 148979 144146 180 372 0 148604 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 595916
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/478 23478
/proc/meminfo: memFree=20100552/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=607476 CPUtime=1602.33 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 163720 0 0 0 159846 387 0 0 25 0 1 0 836273959 622055424 147033 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 151869 147033 180 372 0 151494 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 607476
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 1.94 3/478 23480
/proc/meminfo: memFree=20068164/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=624616 CPUtime=1662.33 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 167779 0 0 0 165837 396 0 0 25 0 1 0 836273959 639606784 151092 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 156154 151092 180 372 0 155779 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 624616
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/478 23482
/proc/meminfo: memFree=20041356/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=638900 CPUtime=1722.33 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 171143 0 0 0 171818 415 0 0 25 0 1 0 836273959 654233600 154456 33554432000 4194304 5714214 140737093435408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 159725 154456 180 372 0 159350 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 638900
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/478 23483
/proc/meminfo: memFree=20016032/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=647336 CPUtime=1782.33 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 173170 0 0 0 177815 418 0 0 25 0 1 0 836273959 662872064 156483 33554432000 4194304 5714214 140737093435408 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 161834 156483 180 372 0 161459 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 647336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.03 1.94 3/478 23484
/proc/meminfo: memFree=20010552/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=655904 CPUtime=1800.05 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 174857 0 0 0 179584 421 0 0 25 0 1 0 836273959 671645696 158170 33554432000 4194304 5714214 140737093435408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 163976 158170 180 372 0 163601 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 655904
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: 2.06 2.03 1.94 3/478 23484
/proc/meminfo: memFree=20010552/32951124 swapFree=67057928/67111528
[pid=23426] ppid=23424 vsize=655904 CPUtime=1800.05 cores=1,3,5,7
/proc/23426/stat : 23426 (wbo1.6) R 23424 23426 23281 0 -1 4202496 174857 0 0 0 179584 421 0 0 25 0 1 0 836273959 671645696 158170 33554432000 4194304 5714214 140737093435408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23426/statm: 163976 158170 180 372 0 163601 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 655904
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.09
CPU user time (s): 1795.85
CPU system time (s): 4.24235
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 655904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.85
system time used= 4.24235
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174857
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= 12
involuntary context switches= 21828
runsolver used 8.36173 second user time and 19.481 second system time
The end