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-3460959-1307107262/watcher-3460959-1307107262 -o /tmp/evaluation-result-3460959-1307107262/solver-3460959-1307107262 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460959-1307107262.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.03 2.04 2.00 2/526 24655
/proc/meminfo: memFree=23011164/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=3896 CPUtime=0.01 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 693 0 0 0 1 0 0 0 25 0 1 0 803142091 3989504 646 33554432000 4194304 5714214 140737056976320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 974 646 215 372 0 481 0
[startup+0.0831931 s]
/proc/loadavg: 2.03 2.04 2.00 2/526 24655
/proc/meminfo: memFree=23011164/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=9156 CPUtime=0.07 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 2201 0 0 0 7 0 0 0 25 0 1 0 803142091 9375744 2036 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 2289 2036 179 372 0 1914 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9156
[startup+0.101191 s]
/proc/loadavg: 2.03 2.04 2.00 2/526 24655
/proc/meminfo: memFree=23011164/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=9156 CPUtime=0.09 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 2202 0 0 0 9 0 0 0 25 0 1 0 803142091 9375744 2037 33554432000 4194304 5714214 140737056976320 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 2289 2037 180 372 0 1914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9156
[startup+0.30118 s]
/proc/loadavg: 2.03 2.04 2.00 2/526 24655
/proc/meminfo: memFree=23011164/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=9156 CPUtime=0.29 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 2202 0 0 0 29 0 0 0 25 0 1 0 803142091 9375744 2037 33554432000 4194304 5714214 140737056976320 18446744073709551615 4322717 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 2289 2037 180 372 0 1914 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9156
[startup+0.701112 s]
/proc/loadavg: 2.03 2.04 2.00 2/526 24655
/proc/meminfo: memFree=23011164/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=9156 CPUtime=0.69 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 2202 0 0 0 69 0 0 0 25 0 1 0 803142091 9375744 2037 33554432000 4194304 5714214 140737056976320 18446744073709551615 4319215 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 2289 2037 180 372 0 1914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9156
[startup+1.50096 s]
/proc/loadavg: 2.03 2.04 2.00 3/527 24657
/proc/meminfo: memFree=23002984/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=9156 CPUtime=1.49 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 2206 0 0 0 149 0 0 0 25 0 1 0 803142091 9375744 2041 33554432000 4194304 5714214 140737056976320 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 2289 2041 180 372 0 1914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9156
[startup+3.10067 s]
/proc/loadavg: 2.03 2.04 2.00 3/527 24657
/proc/meminfo: memFree=23001916/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=9156 CPUtime=3.09 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 2209 0 0 0 309 0 0 0 25 0 1 0 803142091 9375744 2044 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 2289 2044 180 372 0 1914 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9156
[startup+6.30107 s]
/proc/loadavg: 2.03 2.04 2.00 3/527 24657
/proc/meminfo: memFree=23000932/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=10368 CPUtime=6.29 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 2503 0 0 0 627 2 0 0 25 0 1 0 803142091 10616832 2338 33554432000 4194304 5714214 140737056976320 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 2592 2338 180 372 0 2217 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10368
[startup+12.7009 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 24657
/proc/meminfo: memFree=22997864/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=12800 CPUtime=12.69 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 3106 0 0 0 1266 3 0 0 25 0 1 0 803142091 13107200 2941 33554432000 4194304 5714214 140737056976320 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 3200 2941 180 372 0 2825 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12800
[startup+25.5006 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 24657
/proc/meminfo: memFree=22993112/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=17224 CPUtime=25.49 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 4181 0 0 0 2543 6 0 0 25 0 1 0 803142091 17637376 4016 33554432000 4194304 5714214 140737056976320 18446744073709551615 4323016 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 4306 4016 180 372 0 3931 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17224
[startup+51.1011 s]
/proc/loadavg: 2.09 2.05 2.01 3/527 24658
/proc/meminfo: memFree=22986604/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=24296 CPUtime=51.09 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 5936 0 0 0 5098 11 0 0 25 0 1 0 803142091 24879104 5771 33554432000 4194304 5714214 140737056976320 18446744073709551615 4322823 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 6074 5771 180 372 0 5699 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24296
[startup+102.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/527 24660
/proc/meminfo: memFree=22972572/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=38168 CPUtime=102.31 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 9379 0 0 0 10210 21 0 0 25 0 1 0 803142091 39084032 9214 33554432000 4194304 5714214 140737056976320 18446744073709551615 4200656 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 9542 9214 180 372 0 9167 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 38168
[startup+162.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/527 24663
/proc/meminfo: memFree=22960492/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=47296 CPUtime=162.29 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 11750 0 0 0 16194 35 0 0 25 0 1 0 803142091 48431104 11502 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 11824 11502 180 372 0 11449 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 47296
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 24664
/proc/meminfo: memFree=22960836/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=47296 CPUtime=222.3 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 11793 0 0 0 22183 47 0 0 25 0 1 0 803142091 48431104 11545 33554432000 4194304 5714214 140737056976320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 11824 11545 180 372 0 11449 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 47296
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 24672
/proc/meminfo: memFree=22948668/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=55560 CPUtime=282.3 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 13843 0 0 0 28170 60 0 0 25 0 1 0 803142091 56893440 13595 33554432000 4194304 5714214 140737056976320 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 13890 13595 180 372 0 13515 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 55560
[startup+342.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/527 24675
/proc/meminfo: memFree=22930144/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=71436 CPUtime=342.3 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 17794 0 0 0 34156 74 0 0 25 0 1 0 803142091 73150464 17546 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 17859 17546 180 372 0 17484 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 71436
[startup+402.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/527 24676
/proc/meminfo: memFree=22912372/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=85932 CPUtime=402.3 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 21438 0 0 0 40143 87 0 0 25 0 1 0 803142091 87994368 21190 33554432000 4194304 5714214 140737056976320 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 21483 21190 180 372 0 21108 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 85932
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 24678
/proc/meminfo: memFree=22893720/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=100316 CPUtime=462.3 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 25015 0 0 0 46130 100 0 0 25 0 1 0 803142091 102723584 24767 33554432000 4194304 5714214 140737056976320 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 25079 24767 180 372 0 24704 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 100316
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 24679
/proc/meminfo: memFree=22885380/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=107300 CPUtime=522.3 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 26757 0 0 0 52117 113 0 0 25 0 1 0 803142091 109875200 26509 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 26825 26509 180 372 0 26450 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 107300
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24681
/proc/meminfo: memFree=22882496/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=107300 CPUtime=582.3 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 26779 0 0 0 58106 124 0 0 25 0 1 0 803142091 109875200 26531 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 26825 26531 180 372 0 26450 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 107300
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 24688
/proc/meminfo: memFree=22870320/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=107300 CPUtime=822.31 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 26820 0 0 0 82059 172 0 0 25 0 1 0 803142091 109875200 26572 33554432000 4194304 5714214 140737056976320 18446744073709551615 4200640 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 26825 26572 180 372 0 26450 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 107300
[startup+882.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/527 24691
/proc/meminfo: memFree=22853924/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=120000 CPUtime=882.31 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 29963 0 0 0 88048 183 0 0 25 0 1 0 803142091 122880000 29715 33554432000 4194304 5714214 140737056976320 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 30000 29715 180 372 0 29625 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 120000
[startup+942.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/527 24694
/proc/meminfo: memFree=22818300/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=151104 CPUtime=942.31 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 37749 0 0 0 94036 195 0 0 25 0 1 0 803142091 154730496 37501 33554432000 4194304 5714214 140737056976320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 37776 37501 180 372 0 37401 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 151104
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/527 24695
/proc/meminfo: memFree=22814300/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=151104 CPUtime=1002.32 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 37751 0 0 0 100026 206 0 0 25 0 1 0 803142091 154730496 37503 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 37776 37503 180 372 0 37401 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 151104
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 24698
/proc/meminfo: memFree=22813760/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=151104 CPUtime=1062.32 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 37753 0 0 0 106014 218 0 0 25 0 1 0 803142091 154730496 37505 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 37776 37505 180 372 0 37401 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 151104
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24699
/proc/meminfo: memFree=22808372/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=151104 CPUtime=1122.32 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 37782 0 0 0 112003 229 0 0 25 0 1 0 803142091 154730496 37534 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 37776 37534 180 372 0 37401 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 151104
[startup+1182.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/527 24702
/proc/meminfo: memFree=22804256/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=151104 CPUtime=1182.32 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 37782 0 0 0 117992 240 0 0 25 0 1 0 803142091 154730496 37534 33554432000 4194304 5714214 140737056976320 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 37776 37534 180 372 0 37401 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 151104
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/527 24704
/proc/meminfo: memFree=22801120/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=151104 CPUtime=1242.32 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 37787 0 0 0 123981 251 0 0 25 0 1 0 803142091 154730496 37539 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 37776 37539 180 372 0 37401 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 151104
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 24706
/proc/meminfo: memFree=22796008/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=151104 CPUtime=1302.34 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 37788 0 0 0 129973 261 0 0 25 0 1 0 803142091 154730496 37540 33554432000 4194304 5714214 140737056976320 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 37776 37540 180 372 0 37401 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 151104
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24709
/proc/meminfo: memFree=22792996/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=151104 CPUtime=1362.32 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 37788 0 0 0 135962 270 0 0 25 0 1 0 803142091 154730496 37540 33554432000 4194304 5714214 140737056976320 18446744073709551615 4323052 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 37776 37540 180 372 0 37401 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 151104
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 24710
/proc/meminfo: memFree=22792092/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=151104 CPUtime=1422.34 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 37788 0 0 0 141953 281 0 0 25 0 1 0 803142091 154730496 37540 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 37776 37540 180 372 0 37401 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 151104
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/527 24713
/proc/meminfo: memFree=22787224/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=151104 CPUtime=1482.33 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 37788 0 0 0 147940 293 0 0 25 0 1 0 803142091 154730496 37540 33554432000 4194304 5714214 140737056976320 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 37776 37540 180 372 0 37401 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 151104
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 24715
/proc/meminfo: memFree=22778508/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=157176 CPUtime=1542.33 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 39302 0 0 0 153928 305 0 0 25 0 1 0 803142091 160948224 39054 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 39294 39054 180 372 0 38919 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 157176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 24716
/proc/meminfo: memFree=22762600/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=170552 CPUtime=1602.33 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 42617 0 0 0 159918 315 0 0 25 0 1 0 803142091 174645248 42369 33554432000 4194304 5714214 140737056976320 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 42638 42369 180 372 0 42263 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 170552
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 24718
/proc/meminfo: memFree=22746700/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=182560 CPUtime=1662.33 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 45504 0 0 0 165907 326 0 0 25 0 1 0 803142091 186941440 45256 33554432000 4194304 5714214 140737056976320 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 45640 45256 180 372 0 45265 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 182560
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/527 24719
/proc/meminfo: memFree=22731664/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=195120 CPUtime=1722.34 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 48628 0 0 0 171896 338 0 0 25 0 1 0 803142091 199802880 48380 33554432000 4194304 5714214 140737056976320 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 48780 48380 180 372 0 48405 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 195120
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/527 24721
/proc/meminfo: memFree=22714020/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=207928 CPUtime=1782.34 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 51834 0 0 0 177885 349 0 0 25 0 1 0 803142091 212918272 51586 33554432000 4194304 5714214 140737056976320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 51982 51586 180 372 0 51607 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 207928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/527 24869
/proc/meminfo: memFree=22819376/32951124 swapFree=64303760/67111528
[pid=24655] ppid=24652 vsize=210964 CPUtime=1800.05 cores=0,2,4,6
/proc/24655/stat : 24655 (wbo1.6) R 24652 24655 23633 0 -1 4202496 52615 0 0 0 179653 352 0 0 25 0 1 0 803142091 216027136 52367 33554432000 4194304 5714214 140737056976320 18446744073709551615 4200621 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/24655/statm: 52741 52367 180 372 0 52366 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 210964
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.03
CPU time (s): 1800.08
CPU user time (s): 1796.54
CPU system time (s): 3.53546
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 210964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.54
system time used= 3.53546
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52615
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= 5
involuntary context switches= 2579
runsolver used 9.96748 second user time and 21.1268 second system time
The end