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-3479004-1307444066/watcher-3479004-1307444066 -o /tmp/evaluation-result-3479004-1307444066/solver-3479004-1307444066 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479004-1307444066.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: 1.92 2.02 2.00 2/477 23815
/proc/meminfo: memFree=21027372/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=2508 CPUtime=0.01 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 443 0 0 0 1 0 0 0 25 0 1 0 836821877 2568192 389 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 627 389 180 372 0 252 0
[startup+0.0928919 s]
/proc/loadavg: 1.92 2.02 2.00 2/477 23815
/proc/meminfo: memFree=21027372/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=3564 CPUtime=0.08 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 683 0 0 0 8 0 0 0 25 0 1 0 836821877 3649536 629 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 891 629 180 372 0 516 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3564
[startup+0.100886 s]
/proc/loadavg: 1.92 2.02 2.00 2/477 23815
/proc/meminfo: memFree=21027372/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=3564 CPUtime=0.09 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 700 0 0 0 9 0 0 0 25 0 1 0 836821877 3649536 646 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 891 646 180 372 0 516 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3564
[startup+0.300863 s]
/proc/loadavg: 1.92 2.02 2.00 2/477 23815
/proc/meminfo: memFree=21027372/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=5016 CPUtime=0.29 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 1054 0 0 0 29 0 0 0 25 0 1 0 836821877 5136384 1000 33554432000 4194304 5714214 140734451840720 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 1254 1000 180 372 0 879 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5016
[startup+0.700778 s]
/proc/loadavg: 1.92 2.02 2.00 2/477 23815
/proc/meminfo: memFree=21027372/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=7080 CPUtime=0.69 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 1553 0 0 0 68 1 0 0 25 0 1 0 836821877 7249920 1499 33554432000 4194304 5714214 140734451840720 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 1770 1499 180 372 0 1395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7080
[startup+1.50064 s]
/proc/loadavg: 1.92 2.02 2.00 3/478 23816
/proc/meminfo: memFree=21020668/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=8400 CPUtime=1.49 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 1883 0 0 0 148 1 0 0 25 0 1 0 836821877 8601600 1829 33554432000 4194304 5714214 140734451840720 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 2100 1829 180 372 0 1725 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8400
[startup+3.10033 s]
/proc/loadavg: 1.92 2.02 2.00 3/478 23816
/proc/meminfo: memFree=21017196/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=10928 CPUtime=3.09 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 2529 0 0 0 306 3 0 0 25 0 1 0 836821877 11190272 2475 33554432000 4194304 5714214 140734451840720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 2732 2475 180 372 0 2357 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10928
[startup+6.30079 s]
/proc/loadavg: 1.93 2.02 2.00 3/478 23816
/proc/meminfo: memFree=21011644/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=14556 CPUtime=6.29 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 3432 0 0 0 623 6 0 0 25 0 1 0 836821877 14905344 3378 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 3639 3378 180 372 0 3264 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14556
[startup+12.7007 s]
/proc/loadavg: 1.94 2.01 2.00 4/478 23816
/proc/meminfo: memFree=21002984/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=20824 CPUtime=12.69 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 4955 0 0 0 1260 9 0 0 25 0 1 0 836821877 21323776 4901 33554432000 4194304 5714214 140734451840720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 5206 4901 180 372 0 4831 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20824
[startup+25.5004 s]
/proc/loadavg: 1.95 2.01 2.00 3/478 23817
/proc/meminfo: memFree=20983888/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=30100 CPUtime=25.49 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 7255 0 0 0 2535 14 0 0 25 0 1 0 836821877 30822400 7201 33554432000 4194304 5714214 140734451840720 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 7525 7201 180 372 0 7150 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30100
[startup+51.1008 s]
/proc/loadavg: 1.97 2.01 2.00 3/478 23817
/proc/meminfo: memFree=20961628/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=45236 CPUtime=51.01 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 10982 0 0 0 5077 24 0 0 25 0 1 0 836821877 46321664 10928 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 11309 10928 180 372 0 10934 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 45236
[startup+102.318 s]
/proc/loadavg: 2.13 2.04 2.01 3/478 23819
/proc/meminfo: memFree=20911152/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=70164 CPUtime=102.22 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 17081 0 0 0 10177 45 0 0 25 0 1 0 836821877 71847936 17027 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 17541 17027 180 372 0 17166 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 70164
[startup+162.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/478 23820
/proc/meminfo: memFree=20853940/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=96404 CPUtime=162.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 23584 0 0 0 16153 67 0 0 25 0 1 0 836821877 98717696 23530 33554432000 4194304 5714214 140734451840720 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 24101 23530 180 372 0 23726 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 96404
[startup+222.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/478 23822
/proc/meminfo: memFree=20797596/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=123992 CPUtime=222.21 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 30417 0 0 0 22132 89 0 0 25 0 1 0 836821877 126967808 30363 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 30998 30363 180 372 0 30623 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 123992
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/478 23823
/proc/meminfo: memFree=20763092/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=151492 CPUtime=282.21 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 37168 0 0 0 28110 111 0 0 25 0 1 0 836821877 155127808 37114 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 37873 37114 180 372 0 37498 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 151492
[startup+342.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/478 23825
/proc/meminfo: memFree=20731580/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=179632 CPUtime=342.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 44143 0 0 0 34088 132 0 0 25 0 1 0 836821877 183943168 44089 33554432000 4194304 5714214 140734451840720 18446744073709551615 4320153 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 44908 44089 180 372 0 44533 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 179632
[startup+402.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/478 23836
/proc/meminfo: memFree=20695352/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=203048 CPUtime=402.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 49944 0 0 0 40068 152 0 0 25 0 1 0 836821877 207921152 49890 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 50762 49890 180 372 0 50387 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 203048
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/478 23837
/proc/meminfo: memFree=20647916/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=226248 CPUtime=462.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 55620 0 0 0 46051 169 0 0 25 0 1 0 836821877 231677952 55566 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 56562 55566 180 372 0 56187 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 226248
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 23839
/proc/meminfo: memFree=20610568/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=248524 CPUtime=522.21 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 61159 0 0 0 52032 189 0 0 25 0 1 0 836821877 254488576 61105 33554432000 4194304 5714214 140734451840720 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 62131 61105 180 372 0 61756 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 248524
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23840
/proc/meminfo: memFree=20586992/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=269588 CPUtime=582.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 66374 0 0 0 58013 207 0 0 25 0 1 0 836821877 276058112 66320 33554432000 4194304 5714214 140734451840720 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 67397 66320 180 372 0 67022 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 269588
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/478 23847
/proc/meminfo: memFree=20430020/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=353460 CPUtime=822.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 87227 0 0 0 81945 275 0 0 25 0 1 0 836821877 361943040 87173 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 88365 87173 180 372 0 87990 0
Current children cumulated CPU time (s) 822.2
Current children cumulated vsize (KiB) 353460
[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 23848
/proc/meminfo: memFree=20404948/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=377992 CPUtime=882.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 93280 0 0 0 87927 293 0 0 25 0 1 0 836821877 387063808 93226 33554432000 4194304 5714214 140734451840720 18446744073709551615 4319826 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 94498 93226 180 372 0 94123 0
Current children cumulated CPU time (s) 882.2
Current children cumulated vsize (KiB) 377992
[startup+942.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/478 23850
/proc/meminfo: memFree=20381740/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=400228 CPUtime=942.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 98769 0 0 0 93907 313 0 0 25 0 1 0 836821877 409833472 98715 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 100057 98715 180 372 0 99682 0
Current children cumulated CPU time (s) 942.2
Current children cumulated vsize (KiB) 400228
[startup+1002.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/478 23852
/proc/meminfo: memFree=20357052/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=423576 CPUtime=1002.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 104569 0 0 0 99886 334 0 0 25 0 1 0 836821877 433741824 104515 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 105894 104515 180 372 0 105519 0
Current children cumulated CPU time (s) 1002.2
Current children cumulated vsize (KiB) 423576
[startup+1062.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/478 23853
/proc/meminfo: memFree=20329112/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=443240 CPUtime=1062.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 109474 0 0 0 105867 353 0 0 25 0 1 0 836821877 453877760 109420 33554432000 4194304 5714214 140734451840720 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 110810 109420 180 372 0 110435 0
Current children cumulated CPU time (s) 1062.2
Current children cumulated vsize (KiB) 443240
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 23855
/proc/meminfo: memFree=20280088/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=467284 CPUtime=1122.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 115444 0 0 0 111846 374 0 0 25 0 1 0 836821877 478498816 115390 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 116821 115390 180 372 0 116446 0
Current children cumulated CPU time (s) 1122.2
Current children cumulated vsize (KiB) 467284
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 23856
/proc/meminfo: memFree=20232316/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=490920 CPUtime=1182.19 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 121295 0 0 0 117825 394 0 0 25 0 1 0 836821877 502702080 121241 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 122730 121241 180 372 0 122355 0
Current children cumulated CPU time (s) 1182.19
Current children cumulated vsize (KiB) 490920
[startup+1242.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/478 23858
/proc/meminfo: memFree=20189012/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=514576 CPUtime=1242.19 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 127192 0 0 0 123805 414 0 0 25 0 1 0 836821877 526925824 127138 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 128644 127138 180 372 0 128269 0
Current children cumulated CPU time (s) 1242.19
Current children cumulated vsize (KiB) 514576
[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/478 23860
/proc/meminfo: memFree=20162200/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=537384 CPUtime=1302.21 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 132830 0 0 0 129786 435 0 0 25 0 1 0 836821877 550281216 132776 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 134346 132776 180 372 0 133971 0
Current children cumulated CPU time (s) 1302.21
Current children cumulated vsize (KiB) 537384
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/478 23861
/proc/meminfo: memFree=20135036/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=559924 CPUtime=1362.19 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 138421 0 0 0 135764 455 0 0 25 0 1 0 836821877 573362176 138367 33554432000 4194304 5714214 140734451840720 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 139981 138367 180 372 0 139606 0
Current children cumulated CPU time (s) 1362.19
Current children cumulated vsize (KiB) 559924
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 23863
/proc/meminfo: memFree=20106120/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=579300 CPUtime=1422.22 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 143163 0 0 0 141748 474 0 0 25 0 1 0 836821877 593203200 143109 33554432000 4194304 5714214 140734451840720 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 144825 143109 180 372 0 144450 0
Current children cumulated CPU time (s) 1422.22
Current children cumulated vsize (KiB) 579300
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 23864
/proc/meminfo: memFree=20063312/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=599456 CPUtime=1482.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 148186 0 0 0 147727 493 0 0 25 0 1 0 836821877 613842944 148132 33554432000 4194304 5714214 140734451840720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 149864 148132 180 372 0 149489 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 599456
[startup+1542.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/478 23866
/proc/meminfo: memFree=20028188/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=616760 CPUtime=1542.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 152461 0 0 0 153707 513 0 0 25 0 1 0 836821877 631562240 152407 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 154190 152407 180 372 0 153815 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 616760
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/478 23868
/proc/meminfo: memFree=19998288/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=632928 CPUtime=1602.2 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 156470 0 0 0 159690 530 0 0 25 0 1 0 836821877 648118272 156416 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 158232 156416 180 372 0 157857 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 632928
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 23869
/proc/meminfo: memFree=19966756/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=652704 CPUtime=1662.19 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 161390 0 0 0 165674 545 0 0 25 0 1 0 836821877 668368896 161336 33554432000 4194304 5714214 140734451840720 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 163176 161336 180 372 0 162801 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 652704
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23871
/proc/meminfo: memFree=19932608/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=671804 CPUtime=1722.19 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 166172 0 0 0 171655 564 0 0 25 0 1 0 836821877 687927296 166118 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 167951 166118 180 372 0 167576 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 671804
[startup+1782.3 s]
/proc/loadavg: 1.95 2.00 1.99 3/478 23900
/proc/meminfo: memFree=20194064/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=692796 CPUtime=1782.19 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 171367 0 0 0 177636 583 0 0 25 0 1 0 836821877 709423104 171313 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 173199 171313 180 372 0 172824 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 692796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.2 s]
/proc/loadavg: 1.96 2.00 1.99 3/478 23901
/proc/meminfo: memFree=20178784/32951124 swapFree=67057928/67111528
[pid=23815] ppid=23813 vsize=697812 CPUtime=1800.1 cores=0,2,4,6
/proc/23815/stat : 23815 (wbo1.6) R 23813 23815 23281 0 -1 4202496 172630 0 0 0 179423 587 0 0 25 0 1 0 836821877 714559488 172576 33554432000 4194304 5714214 140734451840720 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23815/statm: 174453 172576 180 372 0 174078 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 697812
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.25
CPU time (s): 1800.15
CPU user time (s): 1794.24
CPU system time (s): 5.9081
CPU usage (%): 99.9943
Max. virtual memory (cumulated for all children) (KiB): 697812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.24
system time used= 5.9081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172630
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= 2466
runsolver used 8.92564 second user time and 18.9191 second system time
The end