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-3478828-1307440388/watcher-3478828-1307440388 -o /tmp/evaluation-result-3478828-1307440388/solver-3478828-1307440388 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478828-1307440388.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: 2.06 2.03 1.94 2/477 23539
/proc/meminfo: memFree=21048424/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=59664 CPUtime=0.01 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 490 0 0 0 1 0 0 0 20 0 1 0 836454305 61095936 443 33554432000 4194304 5714214 140735321394560 18446744073709551615 4233632 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 14916 443 214 372 0 284 0
[startup+0.0697171 s]
/proc/loadavg: 2.06 2.03 1.94 2/477 23539
/proc/meminfo: memFree=21048424/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=62488 CPUtime=0.06 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 1383 0 0 0 6 0 0 0 20 0 1 0 836454305 63987712 1336 33554432000 4194304 5714214 140735321394560 18446744073709551615 4336689 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 15622 1336 433 372 0 990 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 62488
[startup+0.100697 s]
/proc/loadavg: 2.06 2.03 1.94 2/477 23539
/proc/meminfo: memFree=21048424/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=63996 CPUtime=0.09 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 1921 0 0 0 9 0 0 0 20 0 1 0 836454305 65531904 1841 33554432000 4194304 5714214 140735321394560 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 15999 1841 561 372 0 1367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63996
[startup+0.300663 s]
/proc/loadavg: 2.06 2.03 1.94 2/477 23539
/proc/meminfo: memFree=21048424/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=73316 CPUtime=0.29 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 5088 0 0 0 29 0 0 0 21 0 1 0 836454305 75075584 4944 33554432000 4194304 5714214 140735321394560 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 18329 4945 1353 372 0 3697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73316
[startup+0.700596 s]
/proc/loadavg: 2.06 2.03 1.94 2/477 23539
/proc/meminfo: memFree=21048424/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=92912 CPUtime=0.69 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 11658 0 0 0 67 2 0 0 22 0 1 0 836454305 95141888 11127 33554432000 4194304 5714214 140735321394560 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 23228 11129 2961 372 0 8596 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92912
[startup+1.50045 s]
/proc/loadavg: 2.06 2.03 1.94 3/478 23540
/proc/meminfo: memFree=20954356/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=130176 CPUtime=1.49 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 24224 0 0 0 146 3 0 0 25 0 1 0 836454305 133300224 23181 33554432000 4194304 5714214 140735321394560 18446744073709551615 4990168 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 32544 23181 6231 372 0 17912 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130176
[startup+3.10017 s]
/proc/loadavg: 2.06 2.03 1.94 3/478 23540
/proc/meminfo: memFree=20856520/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=203208 CPUtime=3.09 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 48364 0 0 0 303 6 0 0 25 0 1 0 836454305 208084992 46295 33554432000 4194304 5714214 140735321394560 18446744073709551615 4993822 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 50802 46296 12553 372 0 36170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 203208
[startup+6.30061 s]
/proc/loadavg: 2.05 2.03 1.94 3/478 23540
/proc/meminfo: memFree=20468028/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=346792 CPUtime=6.29 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 103098 0 0 0 604 25 0 0 18 0 1 0 836454305 355115008 84262 33554432000 4194304 5714214 140735321394560 18446744073709551615 4320098 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 86698 84262 180 372 0 86323 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 346792
[startup+12.7005 s]
/proc/loadavg: 2.05 2.03 1.94 3/478 23540
/proc/meminfo: memFree=20466868/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=346792 CPUtime=12.69 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 103098 0 0 0 1216 53 0 0 25 0 1 0 836454305 355115008 84262 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 86698 84262 180 372 0 86323 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 346792
[startup+25.5002 s]
/proc/loadavg: 2.04 2.03 1.94 4/478 23541
/proc/meminfo: memFree=20467696/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=346792 CPUtime=25.49 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 103098 0 0 0 2423 126 0 0 25 0 1 0 836454305 355115008 84262 33554432000 4194304 5714214 140735321394560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 86698 84262 180 372 0 86323 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 346792
[startup+51.1007 s]
/proc/loadavg: 2.02 2.02 1.94 3/478 23541
/proc/meminfo: memFree=20467284/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=346792 CPUtime=51.1 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 103106 0 0 0 4825 285 0 0 25 0 1 0 836454305 355115008 84270 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 86698 84270 180 372 0 86323 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 346792
[startup+102.318 s]
/proc/loadavg: 2.01 2.02 1.94 3/478 23543
/proc/meminfo: memFree=20457844/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=346792 CPUtime=102.31 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 103158 0 0 0 9877 354 0 0 25 0 1 0 836454305 355115008 84322 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 86698 84322 180 372 0 86323 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 346792
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.94 4/478 23544
/proc/meminfo: memFree=20430792/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=346792 CPUtime=162.3 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 103231 0 0 0 15761 469 0 0 25 0 1 0 836454305 355115008 84395 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 86698 84395 180 372 0 86323 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 346792
[startup+222.3 s]
/proc/loadavg: 2.13 2.04 1.95 3/478 23546
/proc/meminfo: memFree=20394320/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=361436 CPUtime=222.3 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 107100 0 0 0 21570 660 0 0 19 0 1 0 836454305 370110464 88264 33554432000 4194304 5714214 140735321394560 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 90359 88264 180 372 0 89984 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 361436
[startup+282.301 s]
/proc/loadavg: 2.10 2.05 1.96 3/478 23547
/proc/meminfo: memFree=20347056/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=387936 CPUtime=282.3 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 113497 0 0 0 27554 676 0 0 25 0 1 0 836454305 397246464 94661 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 96984 94661 180 372 0 96609 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 387936
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 1.96 4/478 23549
/proc/meminfo: memFree=20304260/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=408408 CPUtime=342.3 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 118514 0 0 0 33546 684 0 0 25 0 1 0 836454305 418209792 99678 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 102102 99678 180 372 0 101727 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 408408
[startup+402.301 s]
/proc/loadavg: 2.01 2.03 1.96 3/478 23551
/proc/meminfo: memFree=20268152/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=426396 CPUtime=402.3 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 122878 0 0 0 39480 750 0 0 25 0 1 0 836454305 436629504 104042 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 106599 104042 180 372 0 106224 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 426396
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 1.96 3/478 23552
/proc/meminfo: memFree=20230572/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=442944 CPUtime=462.31 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 126737 0 0 0 45467 764 0 0 25 0 1 0 836454305 453574656 107901 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 110736 107901 180 372 0 110361 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 442944
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/478 23563
/proc/meminfo: memFree=20204468/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=456464 CPUtime=522.31 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 130114 0 0 0 51453 778 0 0 25 0 1 0 836454305 467419136 111278 33554432000 4194304 5714214 140735321394560 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 114116 111278 180 372 0 113741 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 456464
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.96 3/478 23564
/proc/meminfo: memFree=20173588/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=470784 CPUtime=582.31 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 133538 0 0 0 57428 803 0 0 25 0 1 0 836454305 482082816 114702 33554432000 4194304 5714214 140735321394560 18446744073709551615 4305950 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 117696 114702 180 372 0 117321 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 470784
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.13 2.04 1.97 3/478 23571
/proc/meminfo: memFree=20055612/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=537168 CPUtime=822.31 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 149381 0 0 0 81270 961 0 0 25 0 1 0 836454305 550060032 130545 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 134292 130545 180 372 0 133917 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 537168
[startup+882.301 s]
/proc/loadavg: 2.05 2.03 1.97 3/478 23572
/proc/meminfo: memFree=20023484/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=555692 CPUtime=882.31 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 154012 0 0 0 87257 974 0 0 25 0 1 0 836454305 569028608 135176 33554432000 4194304 5714214 140735321394560 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 138923 135176 180 372 0 138548 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 555692
[startup+942.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/478 23574
/proc/meminfo: memFree=19995820/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=572540 CPUtime=942.31 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 158153 0 0 0 93233 998 0 0 25 0 1 0 836454305 586280960 139317 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 143135 139317 180 372 0 142760 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 572540
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/478 23576
/proc/meminfo: memFree=19968404/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=586664 CPUtime=1002.31 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 161680 0 0 0 99227 1004 0 0 25 0 1 0 836454305 600743936 142844 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 146666 142844 180 372 0 146291 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 586664
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/478 23577
/proc/meminfo: memFree=19946440/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=598272 CPUtime=1062.32 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 164536 0 0 0 105207 1025 0 0 25 0 1 0 836454305 612630528 145700 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 149568 145700 180 372 0 149193 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 598272
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/478 23579
/proc/meminfo: memFree=19922004/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=611140 CPUtime=1122.32 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 167711 0 0 0 111198 1034 0 0 25 0 1 0 836454305 625807360 148875 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 152785 148875 180 372 0 152410 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 611140
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/478 23580
/proc/meminfo: memFree=19894836/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=623892 CPUtime=1182.32 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 170787 0 0 0 117109 1123 0 0 25 0 1 0 836454305 638865408 151951 33554432000 4194304 5714214 140735321394560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 155973 151951 180 372 0 155598 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 623892
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/478 23582
/proc/meminfo: memFree=19866800/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=633800 CPUtime=1242.32 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 173195 0 0 0 123087 1145 0 0 25 0 1 0 836454305 649011200 154359 33554432000 4194304 5714214 140735321394560 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 158450 154359 180 372 0 158075 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 633800
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/478 23584
/proc/meminfo: memFree=19849428/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=642144 CPUtime=1302.34 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 175270 0 0 0 129084 1150 0 0 25 0 1 0 836454305 657555456 156434 33554432000 4194304 5714214 140735321394560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 160536 156434 180 372 0 160161 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 642144
[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 1.98 4/478 23585
/proc/meminfo: memFree=19828820/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=654772 CPUtime=1362.32 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 178209 0 0 0 135054 1178 0 0 25 0 1 0 836454305 670486528 159373 33554432000 4194304 5714214 140735321394560 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 163693 159373 180 372 0 163318 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 654772
[startup+1422.32 s]
/proc/loadavg: 2.12 2.05 2.00 3/478 23587
/proc/meminfo: memFree=19812076/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=662568 CPUtime=1422.34 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 180047 0 0 0 141053 1181 0 0 25 0 1 0 836454305 678469632 161211 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 165642 161211 180 372 0 165267 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 662568
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/478 23588
/proc/meminfo: memFree=19796684/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=668412 CPUtime=1482.33 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 181502 0 0 0 147048 1185 0 0 25 0 1 0 836454305 684453888 162666 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 167103 162666 180 372 0 166728 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 668412
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/478 23590
/proc/meminfo: memFree=19783280/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=674412 CPUtime=1542.33 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 183019 0 0 0 153046 1187 0 0 25 0 1 0 836454305 690597888 164183 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 168603 164183 180 372 0 168228 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 674412
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23592
/proc/meminfo: memFree=19768260/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=682440 CPUtime=1602.33 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 184611 0 0 0 159041 1192 0 0 25 0 1 0 836454305 698818560 165775 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 170610 165775 180 372 0 170235 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 682440
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/478 23593
/proc/meminfo: memFree=19751748/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=689460 CPUtime=1662.33 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 186242 0 0 0 165039 1194 0 0 25 0 1 0 836454305 706007040 167406 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319317 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 172365 167406 180 372 0 171990 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 689460
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/478 23595
/proc/meminfo: memFree=19734748/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=695368 CPUtime=1722.34 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 187749 0 0 0 171037 1197 0 0 25 0 1 0 836454305 712056832 168913 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 173842 168913 180 372 0 173467 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 695368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23596
/proc/meminfo: memFree=19716268/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=701868 CPUtime=1782.34 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 189360 0 0 0 177033 1201 0 0 25 0 1 0 836454305 718712832 170524 33554432000 4194304 5714214 140735321394560 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 175467 170524 180 372 0 175092 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 701868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 2/476 23598
/proc/meminfo: memFree=20374352/32951124 swapFree=67057928/67111528
[pid=23539] ppid=23537 vsize=704052 CPUtime=1800.05 cores=1,3,5,7
/proc/23539/stat : 23539 (wbo1.6) R 23537 23539 23281 0 -1 4202496 189848 0 0 0 178803 1202 0 0 25 0 1 0 836454305 720949248 171012 33554432000 4194304 5714214 140735321394560 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23539/statm: 176013 171012 180 372 0 175638 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 704052
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.09
CPU user time (s): 1788.04
CPU system time (s): 12.0502
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 704052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.04
system time used= 12.0502
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189849
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= 1273
runsolver used 7.8728 second user time and 20.006 second system time
The end