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-3460974-1307105806/watcher-3460974-1307105806 -o /tmp/evaluation-result-3460974-1307105806/solver-3460974-1307105806 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460974-1307105806.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.12 1.50 3/436 3415
/proc/meminfo: memFree=24777232/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=2104 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 313 0 0 0 0 0 0 0 22 0 1 0 802996228 2154496 265 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 526 265 180 372 0 151 0
[startup+0.0604929 s]
/proc/loadavg: 1.00 1.12 1.50 3/436 3415
/proc/meminfo: memFree=24777232/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=2632 CPUtime=0.05 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 455 0 0 0 5 0 0 0 22 0 1 0 802996228 2695168 407 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 658 408 180 372 0 283 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2632
[startup+0.100487 s]
/proc/loadavg: 1.00 1.12 1.50 3/436 3415
/proc/meminfo: memFree=24777232/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=3024 CPUtime=0.09 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 551 0 0 0 9 0 0 0 22 0 1 0 802996228 3096576 503 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 756 503 180 372 0 381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3024
[startup+0.300443 s]
/proc/loadavg: 1.00 1.12 1.50 3/436 3415
/proc/meminfo: memFree=24777232/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=4612 CPUtime=0.29 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 960 0 0 0 28 1 0 0 22 0 1 0 802996228 4722688 912 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 1153 913 180 372 0 778 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4612
[startup+0.700364 s]
/proc/loadavg: 1.00 1.12 1.50 3/436 3415
/proc/meminfo: memFree=24777232/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=7248 CPUtime=0.69 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 1625 0 0 0 67 2 0 0 24 0 1 0 802996228 7421952 1577 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 1812 1577 180 372 0 1437 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7248
[startup+1.50021 s]
/proc/loadavg: 1.00 1.12 1.50 4/438 3417
/proc/meminfo: memFree=24764564/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=9244 CPUtime=1.49 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 2097 0 0 0 146 3 0 0 25 0 1 0 802996228 9465856 2049 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 2311 2049 180 372 0 1936 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9244
[startup+3.10089 s]
/proc/loadavg: 1.00 1.12 1.50 4/438 3417
/proc/meminfo: memFree=24758140/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=11756 CPUtime=3.09 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 2739 0 0 0 304 5 0 0 25 0 1 0 802996228 12038144 2691 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 2939 2691 180 372 0 2564 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11756
[startup+6.30026 s]
/proc/loadavg: 1.08 1.14 1.50 4/438 3417
/proc/meminfo: memFree=24746412/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=16188 CPUtime=6.29 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 3829 0 0 0 618 11 0 0 25 0 1 0 802996228 16576512 3781 33554432000 4194304 5714214 140734514232608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 4047 3781 180 372 0 3672 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16188
[startup+12.701 s]
/proc/loadavg: 1.15 1.15 1.50 4/438 3417
/proc/meminfo: memFree=24727740/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=23092 CPUtime=12.69 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 5527 0 0 0 1251 18 0 0 25 0 1 0 802996228 23646208 5479 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 5773 5479 180 372 0 5398 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23092
[startup+25.5004 s]
/proc/loadavg: 1.34 1.19 1.51 4/438 3417
/proc/meminfo: memFree=24696084/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=37364 CPUtime=25.49 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 9079 0 0 0 2518 31 0 0 25 0 1 0 802996228 38260736 9031 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 9341 9031 180 372 0 8966 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37364
[startup+51.1004 s]
/proc/loadavg: 1.56 1.25 1.52 5/438 3418
/proc/meminfo: memFree=24643308/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=60180 CPUtime=51.1 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 14745 0 0 0 5055 55 0 0 25 0 1 0 802996228 61624320 14697 33554432000 4194304 5714214 140734514232608 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 15045 14697 180 372 0 14670 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 60180
[startup+102.316 s]
/proc/loadavg: 1.81 1.37 1.54 4/438 3420
/proc/meminfo: memFree=24540128/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=99408 CPUtime=102.31 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 24525 0 0 0 10134 97 0 0 25 0 1 0 802996228 101793792 24477 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 24852 24477 180 372 0 24477 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 99408
[startup+162.3 s]
/proc/loadavg: 2.02 1.51 1.58 4/438 3421
/proc/meminfo: memFree=24434088/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=142644 CPUtime=162.29 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 35297 0 0 0 16085 144 0 0 25 0 1 0 802996228 146067456 35249 33554432000 4194304 5714214 140734514232608 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 35661 35249 180 372 0 35286 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 142644
[startup+222.3 s]
/proc/loadavg: 2.05 1.61 1.61 4/438 3423
/proc/meminfo: memFree=24329028/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=185772 CPUtime=222.3 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 46020 0 0 0 22037 193 0 0 25 0 1 0 802996228 190230528 45972 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 46443 45972 180 372 0 46068 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 185772
[startup+282.3 s]
/proc/loadavg: 2.02 1.68 1.63 4/438 3434
/proc/meminfo: memFree=24228420/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=226364 CPUtime=282.3 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 56130 0 0 0 27991 239 0 0 25 0 1 0 802996228 231796736 56082 33554432000 4194304 5714214 140734514232608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 56591 56082 180 372 0 56216 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 226364
[startup+342.301 s]
/proc/loadavg: 2.00 1.73 1.65 5/438 3436
/proc/meminfo: memFree=24128096/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=267812 CPUtime=342.31 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 66445 0 0 0 33948 283 0 0 25 0 1 0 802996228 274239488 66397 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 66953 66397 180 372 0 66578 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 267812
[startup+402.301 s]
/proc/loadavg: 2.00 1.78 1.67 4/438 3438
/proc/meminfo: memFree=24035816/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=305716 CPUtime=402.31 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 75862 0 0 0 39904 327 0 0 25 0 1 0 802996228 313053184 75814 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 76429 75814 180 372 0 76054 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 305716
[startup+462.301 s]
/proc/loadavg: 2.00 1.82 1.69 4/438 3439
/proc/meminfo: memFree=23939932/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=344768 CPUtime=462.31 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 85551 0 0 0 45863 368 0 0 25 0 1 0 802996228 353042432 85503 33554432000 4194304 5714214 140734514232608 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 86192 85503 180 372 0 85817 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 344768
[startup+522.301 s]
/proc/loadavg: 2.00 1.85 1.70 5/438 3441
/proc/meminfo: memFree=23851744/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=381880 CPUtime=522.32 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 94840 0 0 0 51820 412 0 0 25 0 1 0 802996228 391045120 94792 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 95470 94792 180 372 0 95095 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 381880
[startup+582.301 s]
/proc/loadavg: 2.15 1.91 1.73 4/438 3442
/proc/meminfo: memFree=23768032/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=416608 CPUtime=582.32 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 103545 0 0 0 57779 453 0 0 25 0 1 0 802996228 426606592 103497 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 104152 103497 180 372 0 103777 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 416608
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 1.99 1.80 5/438 3449
/proc/meminfo: memFree=23435484/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=556964 CPUtime=822.33 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 138608 0 0 0 81621 612 0 0 25 0 1 0 802996228 570331136 138560 33554432000 4194304 5714214 140734514232608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 139241 138560 180 372 0 138866 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 556964
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.81 4/438 3450
/proc/meminfo: memFree=23352624/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=591416 CPUtime=882.33 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 147193 0 0 0 87589 644 0 0 25 0 1 0 802996228 605609984 147145 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 147854 147145 180 372 0 147479 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 591416
[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.82 4/438 3452
/proc/meminfo: memFree=23275836/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=622516 CPUtime=942.33 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 154941 0 0 0 93550 683 0 0 25 0 1 0 802996228 637456384 154893 33554432000 4194304 5714214 140734514232608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 155629 154893 180 372 0 155254 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 622516
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.83 4/438 3454
/proc/meminfo: memFree=23194848/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=654484 CPUtime=1002.33 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 162966 0 0 0 99512 721 0 0 25 0 1 0 802996228 670191616 162918 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 163621 162918 180 372 0 163246 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 654484
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.83 4/438 3455
/proc/meminfo: memFree=23115464/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=687700 CPUtime=1062.34 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 171244 0 0 0 105474 760 0 0 25 0 1 0 802996228 704204800 171196 33554432000 4194304 5714214 140734514232608 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 171925 171196 180 372 0 171550 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 687700
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.84 4/438 3458
/proc/meminfo: memFree=23037956/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=721188 CPUtime=1122.35 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 179598 0 0 0 111437 798 0 0 25 0 1 0 802996228 738496512 179550 33554432000 4194304 5714214 140734514232608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 180297 179550 180 372 0 179922 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 721188
[startup+1182.3 s]
/proc/loadavg: 2.11 2.03 1.86 4/438 3459
/proc/meminfo: memFree=22958580/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=752892 CPUtime=1182.34 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 187518 0 0 0 117400 834 0 0 25 0 1 0 802996228 770961408 187470 33554432000 4194304 5714214 140734514232608 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 188223 187470 180 372 0 187848 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 752892
[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 1.87 4/438 3462
/proc/meminfo: memFree=22876708/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=787896 CPUtime=1242.35 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 196254 0 0 0 123362 873 0 0 25 0 1 0 802996228 806805504 196206 33554432000 4194304 5714214 140734514232608 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 196974 196206 180 372 0 196599 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 787896
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 1.88 4/438 3464
/proc/meminfo: memFree=22797948/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=820816 CPUtime=1302.36 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 204503 0 0 0 129325 911 0 0 25 0 1 0 802996228 840515584 204455 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 205204 204455 180 372 0 204829 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 820816
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.88 4/438 3465
/proc/meminfo: memFree=22725628/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=851716 CPUtime=1362.36 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 212189 0 0 0 135287 949 0 0 25 0 1 0 802996228 872157184 212141 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 212929 212141 180 372 0 212554 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 851716
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.89 4/438 3467
/proc/meminfo: memFree=22647244/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=886492 CPUtime=1422.37 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 220858 0 0 0 141247 990 0 0 25 0 1 0 802996228 907767808 220810 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 221623 220810 180 372 0 221248 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 886492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.89 4/438 3468
/proc/meminfo: memFree=22565636/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=920924 CPUtime=1482.36 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 229465 0 0 0 147210 1026 0 0 25 0 1 0 802996228 943026176 229417 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 230231 229417 180 372 0 229856 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 920924
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.90 4/438 3470
/proc/meminfo: memFree=22486132/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=952724 CPUtime=1542.36 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 237434 0 0 0 153173 1063 0 0 25 0 1 0 802996228 975589376 237386 33554432000 4194304 5714214 140734514232608 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 238181 237386 180 372 0 237806 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 952724
[startup+1602.3 s]
/proc/loadavg: 2.12 2.03 1.92 4/438 3472
/proc/meminfo: memFree=22410604/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=985212 CPUtime=1602.37 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 245562 0 0 0 159135 1102 0 0 25 0 1 0 802996228 1008857088 245514 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 246303 245514 180 372 0 245928 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 985212
[startup+1662.3 s]
/proc/loadavg: 2.22 2.07 1.93 5/438 3473
/proc/meminfo: memFree=22335928/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=1017872 CPUtime=1662.37 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 253717 0 0 0 165093 1144 0 0 25 0 1 0 802996228 1042300928 253669 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 254468 253669 180 372 0 254093 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 1017872
[startup+1722.3 s]
/proc/loadavg: 2.14 2.07 1.94 4/438 3478
/proc/meminfo: memFree=22260612/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=1050888 CPUtime=1722.37 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 261961 0 0 0 171050 1187 0 0 25 0 1 0 802996228 1076109312 261913 33554432000 4194304 5714214 140734514232608 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 262722 261913 180 372 0 262347 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 1050888
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 1.94 4/438 3479
/proc/meminfo: memFree=22184940/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=1085812 CPUtime=1782.38 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 270677 0 0 0 177015 1223 0 0 25 0 1 0 802996228 1111871488 270629 33554432000 4194304 5714214 140734514232608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 271453 270629 180 372 0 271078 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 1085812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.05 1.94 4/438 3480
/proc/meminfo: memFree=22161372/32951124 swapFree=50923800/67111528
[pid=3415] ppid=3413 vsize=1095184 CPUtime=1800.08 cores=1,3,5,7
/proc/3415/stat : 3415 (wbo1.6) R 3413 3415 2319 0 -1 4202496 273009 0 0 0 178774 1234 0 0 25 0 1 0 802996228 1121468416 272961 33554432000 4194304 5714214 140734514232608 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3415/statm: 273796 272961 180 372 0 273421 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1095184
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.06
CPU time (s): 1800.14
CPU user time (s): 1787.75
CPU system time (s): 12.3911
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 1095184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.75
system time used= 12.3911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273013
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= 7
involuntary context switches= 2229
runsolver used 7.67683 second user time and 17.5253 second system time
The end