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-3460760-1307105811/watcher-3460760-1307105811 -o /tmp/evaluation-result-3460760-1307105811/solver-3460760-1307105811 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460760-1307105811.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.04 2.05 2.00 2/550 22565
/proc/meminfo: memFree=20594248/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=2104 CPUtime=0.01 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 338 0 0 0 1 0 0 0 25 0 1 0 822181500 2154496 290 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 526 290 180 372 0 151 0
[startup+0.111986 s]
/proc/loadavg: 2.04 2.05 2.00 2/550 22565
/proc/meminfo: memFree=20594248/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=3024 CPUtime=0.1 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 554 0 0 0 10 0 0 0 25 0 1 0 822181500 3096576 506 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 756 507 180 372 0 381 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3024
[startup+0.200969 s]
/proc/loadavg: 2.04 2.05 2.00 2/550 22565
/proc/meminfo: memFree=20594248/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=3816 CPUtime=0.19 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 749 0 0 0 19 0 0 0 25 0 1 0 822181500 3907584 701 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 954 701 180 372 0 579 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3816
[startup+0.300951 s]
/proc/loadavg: 2.04 2.05 2.00 2/550 22565
/proc/meminfo: memFree=20594248/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=4620 CPUtime=0.29 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 934 0 0 0 29 0 0 0 25 0 1 0 822181500 4730880 886 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 1155 886 180 372 0 780 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4620
[startup+0.70088 s]
/proc/loadavg: 2.04 2.05 2.00 2/550 22565
/proc/meminfo: memFree=20594248/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=5760 CPUtime=0.69 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 1225 0 0 0 68 1 0 0 25 0 1 0 822181500 5898240 1177 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 1440 1177 180 372 0 1065 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5760
[startup+1.50074 s]
/proc/loadavg: 2.04 2.05 2.00 3/551 22566
/proc/meminfo: memFree=20586800/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=7844 CPUtime=1.49 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 1736 0 0 0 147 2 0 0 25 0 1 0 822181500 8032256 1688 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 1961 1688 180 372 0 1586 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7844
[startup+3.1004 s]
/proc/loadavg: 2.04 2.05 2.00 3/551 22566
/proc/meminfo: memFree=20582336/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=11412 CPUtime=3.09 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 2612 0 0 0 306 3 0 0 25 0 1 0 822181500 11685888 2564 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 2853 2564 180 372 0 2478 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11412
[startup+6.30084 s]
/proc/loadavg: 2.04 2.05 2.00 3/551 22566
/proc/meminfo: memFree=20571804/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=17524 CPUtime=6.29 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 4106 0 0 0 621 8 0 0 25 0 1 0 822181500 17944576 4058 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 4381 4058 180 372 0 4006 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17524
[startup+12.7007 s]
/proc/loadavg: 2.03 2.04 2.00 3/551 22566
/proc/meminfo: memFree=20555140/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=28168 CPUtime=12.69 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 6751 0 0 0 1254 15 0 0 25 0 1 0 822181500 28844032 6703 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 7042 6703 180 372 0 6667 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28168
[startup+25.5004 s]
/proc/loadavg: 2.03 2.04 2.00 3/551 22566
/proc/meminfo: memFree=20523020/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=47848 CPUtime=25.49 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 11590 0 0 0 2524 25 0 0 25 0 1 0 822181500 48996352 11542 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 11962 11542 180 372 0 11587 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47848
[startup+51.1007 s]
/proc/loadavg: 2.02 2.04 2.00 3/551 22567
/proc/meminfo: memFree=20464096/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=82224 CPUtime=51.09 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 20165 0 0 0 5061 48 0 0 25 0 1 0 822181500 84197376 20117 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 20556 20117 180 372 0 20181 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82224
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 22568
/proc/meminfo: memFree=20353712/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=140580 CPUtime=102.31 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 34676 0 0 0 10144 87 0 0 25 0 1 0 822181500 143953920 34628 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 35145 34628 180 372 0 34770 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 140580
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22570
/proc/meminfo: memFree=20231552/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=203124 CPUtime=162.3 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 50321 0 0 0 16097 133 0 0 25 0 1 0 822181500 207998976 50269 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 50781 50269 180 372 0 50406 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 203124
[startup+222.322 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22572
/proc/meminfo: memFree=20112740/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=267352 CPUtime=222.32 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 66255 0 0 0 22052 180 0 0 25 0 1 0 822181500 273768448 66200 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 66838 66200 180 372 0 66463 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 267352
[startup+282.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/551 22582
/proc/meminfo: memFree=19998816/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=328720 CPUtime=282.3 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 81559 0 0 0 28004 226 0 0 25 0 1 0 822181500 336609280 81504 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 82180 81504 180 372 0 81805 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 328720
[startup+342.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/551 22584
/proc/meminfo: memFree=19886320/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=388124 CPUtime=342.3 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 96378 0 0 0 33963 267 0 0 25 0 1 0 822181500 397438976 96323 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 97031 96323 180 372 0 96656 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 388124
[startup+402.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/551 22585
/proc/meminfo: memFree=19769004/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=450456 CPUtime=402.3 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 111893 0 0 0 39918 312 0 0 25 0 1 0 822181500 461266944 111838 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 112614 111838 180 372 0 112239 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 450456
[startup+462.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/551 22590
/proc/meminfo: memFree=19656572/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=507864 CPUtime=462.3 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 126250 0 0 0 45877 353 0 0 25 0 1 0 822181500 520052736 126195 33554432000 4194304 5714214 140733389362960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 126966 126195 180 372 0 126591 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 507864
[startup+522.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/551 22592
/proc/meminfo: memFree=19551032/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=559128 CPUtime=522.3 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 139066 0 0 0 51832 398 0 0 25 0 1 0 822181500 572547072 139011 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 139782 139011 180 372 0 139407 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 559128
[startup+582.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/551 22593
/proc/meminfo: memFree=19446820/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=610796 CPUtime=582.3 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 152026 0 0 0 57793 437 0 0 25 0 1 0 822181500 625455104 151971 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 152699 151971 180 372 0 152324 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 610796
[startup+642.3 s]
################
# More data... #
################
[startup+882.321 s]
/proc/loadavg: 2.08 2.05 2.01 3/551 22601
/proc/meminfo: memFree=18946832/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=864380 CPUtime=882.34 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 215316 0 0 0 87603 631 0 0 25 0 1 0 822181500 885125120 215261 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 216095 215261 180 372 0 215720 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 864380
[startup+942.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/551 22603
/proc/meminfo: memFree=18845272/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=919364 CPUtime=942.32 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 229062 0 0 0 93564 668 0 0 25 0 1 0 822181500 941428736 229007 33554432000 4194304 5714214 140733389362960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 229841 229007 180 372 0 229466 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 919364
[startup+1002.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/551 22604
/proc/meminfo: memFree=18743548/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=972868 CPUtime=1002.32 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 242458 0 0 0 99522 710 0 0 25 0 1 0 822181500 996216832 242403 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 243217 242403 180 372 0 242842 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 972868
[startup+1062.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/551 22606
/proc/meminfo: memFree=18648436/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1020660 CPUtime=1062.32 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 254305 0 0 0 105484 748 0 0 25 0 1 0 822181500 1045155840 254250 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 255165 254250 180 372 0 254790 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1020660
[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/551 22608
/proc/meminfo: memFree=18548456/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1073428 CPUtime=1122.33 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 267441 0 0 0 111442 791 0 0 25 0 1 0 822181500 1099190272 267386 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 268357 267386 180 372 0 267982 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1073428
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 22609
/proc/meminfo: memFree=18448488/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1128740 CPUtime=1182.33 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 281261 0 0 0 117403 830 0 0 25 0 1 0 822181500 1155829760 281206 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 282185 281206 180 372 0 281810 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1128740
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22611
/proc/meminfo: memFree=18352836/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1177720 CPUtime=1242.33 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 293434 0 0 0 123366 867 0 0 25 0 1 0 822181500 1205985280 293379 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 294430 293379 180 372 0 294055 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1177720
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22667
/proc/meminfo: memFree=19876320/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1224528 CPUtime=1302.33 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 305137 0 0 0 129331 902 0 0 25 0 1 0 822181500 1253916672 305082 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 306132 305082 180 372 0 305757 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1224528
[startup+1362.3 s]
/proc/loadavg: 2.19 2.06 2.01 3/551 22669
/proc/meminfo: memFree=19832296/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1269840 CPUtime=1362.33 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 316446 0 0 0 135300 933 0 0 25 0 1 0 822181500 1300316160 316391 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 317460 316391 180 372 0 317085 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1269840
[startup+1422.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/551 22671
/proc/meminfo: memFree=19784792/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1316292 CPUtime=1422.35 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 328052 0 0 0 141269 966 0 0 25 0 1 0 822181500 1347883008 327997 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 329073 327997 180 372 0 328698 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1316292
[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/551 22672
/proc/meminfo: memFree=19739368/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1362252 CPUtime=1482.33 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 339554 0 0 0 147235 998 0 0 25 0 1 0 822181500 1394946048 339499 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 340563 339499 180 372 0 340188 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1362252
[startup+1542.32 s]
/proc/loadavg: 2.02 2.05 2.01 3/551 22674
/proc/meminfo: memFree=19693728/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1407580 CPUtime=1542.36 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 350870 0 0 0 153206 1030 0 0 25 0 1 0 822181500 1441361920 350815 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 351895 350815 180 372 0 351520 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 1407580
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 22675
/proc/meminfo: memFree=19650920/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1451380 CPUtime=1602.34 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 361766 0 0 0 159169 1065 0 0 25 0 1 0 822181500 1486213120 361711 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 362845 361711 180 372 0 362470 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1451380
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 22677
/proc/meminfo: memFree=19606132/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1495340 CPUtime=1662.34 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 372767 0 0 0 165138 1096 0 0 25 0 1 0 822181500 1531228160 372712 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 373835 372712 180 372 0 373460 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1495340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22679
/proc/meminfo: memFree=19563840/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1539360 CPUtime=1722.34 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 383773 0 0 0 171109 1125 0 0 25 0 1 0 822181500 1576304640 383718 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 384840 383718 180 372 0 384465 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1539360
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 22680
/proc/meminfo: memFree=19515208/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1585844 CPUtime=1782.34 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 395409 0 0 0 177076 1158 0 0 25 0 1 0 822181500 1623904256 395354 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 396461 395354 180 372 0 396086 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1585844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 22681
/proc/meminfo: memFree=19501924/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1599256 CPUtime=1800.07 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 398762 0 0 0 178838 1169 0 0 25 0 1 0 822181500 1637638144 398707 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 399814 398707 180 372 0 399439 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1599256
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.00 2.01 2.00 3/551 22681
/proc/meminfo: memFree=19501924/32951124 swapFree=53733252/67111528
[pid=22565] ppid=22563 vsize=1599256 CPUtime=1800.07 cores=0,2,4,6
/proc/22565/stat : 22565 (wbo1.6) R 22563 22565 21496 0 -1 4202496 398762 0 0 0 178838 1169 0 0 25 0 1 0 822181500 1637638144 398707 33554432000 4194304 5714214 140733389362960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22565/statm: 399814 398707 180 372 0 399439 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1599256
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.09
CPU time (s): 1800.14
CPU user time (s): 1788.38
CPU system time (s): 11.7552
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1599256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.38
system time used= 11.7552
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398762
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= 8
involuntary context switches= 1487
runsolver used 10.4814 second user time and 22.2686 second system time
The end