0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3743405-1338798839.opb>
3.49/3.55 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
3.49/3.55 c problem read
3.49/3.55 c presolving settings loaded
5.69/5.78 c presolving:
9.59/9.64 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
10.79/10.80 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
95.38/95.46 c (round 3) 679 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12261460 impls, 1977 clqs
95.88/95.94 c (round 4) 679 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12265462 impls, 1977 clqs
97.47/97.53 c (round 5) 2683 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12300072 impls, 1977 clqs
97.97/98.00 c (round 6) 2683 del vars, 4657 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12300084 impls, 1977 clqs
287.84/287.96 c (round 7) 3353 del vars, 4657 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19086958 impls, 1977 clqs
288.24/288.38 c (round 8) 3353 del vars, 5324 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19086966 impls, 1977 clqs
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3743405-1338798839/watcher-3743405-1338798839 -o /tmp/evaluation-result-3743405-1338798839/solver-3743405-1338798839 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743405-1338798839.opb -t 1800 -m 15500
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.02 2.01 2.00 3/176 14355
/proc/meminfo: memFree=21640368/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1694 0 0 0 0 0 0 0 20 0 1 0 346012518 11214848 1649 33554432000 4194304 9016284 140734232273728 140735762212616 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 2738 1663 340 1178 0 1556 0
[startup+0.0875619 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14355
/proc/meminfo: memFree=21640368/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=32640 CPUtime=0.07 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 7162 0 0 0 7 0 0 0 20 0 1 0 346012518 33423360 7117 33554432000 4194304 9016284 140734232273728 140735762212616 4495956 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 8160 7117 360 1178 0 6978 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32640
[startup+0.100382 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14355
/proc/meminfo: memFree=21640368/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=35940 CPUtime=0.08 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 7951 0 0 0 8 0 0 0 20 0 1 0 346012518 36802560 7906 33554432000 4194304 9016284 140734232273728 140735762212616 4447111 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 8985 7906 360 1178 0 7803 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 35940
[startup+0.300328 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14355
/proc/meminfo: memFree=21640368/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=62004 CPUtime=0.29 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 14498 0 0 0 27 2 0 0 20 0 1 0 346012518 63492096 14453 33554432000 4194304 9016284 140734232273728 140735762212616 6182349 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 15501 14453 360 1178 0 14319 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62004
[startup+0.700331 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 14355
/proc/meminfo: memFree=21640368/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=116356 CPUtime=0.69 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 28084 0 0 0 66 3 0 0 20 0 1 0 346012518 119148544 28039 33554432000 4194304 9016284 140734232273728 140734232137624 6176773 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 29089 28039 360 1178 0 27907 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116356
[startup+1.50035 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14356
/proc/meminfo: memFree=21482260/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=238516 CPUtime=1.49 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 58486 0 0 0 142 7 0 0 20 0 1 0 346012518 244240384 58441 33554432000 4194304 9016284 140734232273728 140734232137624 7870448 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 59629 58441 360 1178 0 58447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 238516
[startup+3.10034 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14356
/proc/meminfo: memFree=21319820/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=453512 CPUtime=3.09 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 112337 0 0 0 294 15 0 0 20 0 1 0 346012518 464396288 112292 33554432000 4194304 9016284 140734232273728 140734232137624 7854978 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 113378 112292 360 1178 0 112196 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 453512
[startup+6.30036 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14356
/proc/meminfo: memFree=20529752/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=1175636 CPUtime=6.29 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 290057 0 0 0 588 41 0 0 20 0 1 0 346012518 1203851264 291474 33554432000 4194304 9016284 140734232273728 140734232270872 18446744073699066235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 293909 291474 474 1178 0 292727 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1175636
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14356
/proc/meminfo: memFree=20159984/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=1498940 CPUtime=12.69 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 407183 0 0 0 1210 59 0 0 20 0 1 0 346012518 1534914560 371211 33554432000 4194304 9016284 140734232273728 140734232268792 4222983 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 374735 371211 529 1178 0 373553 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1498940
[startup+25.5004 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 14356
/proc/meminfo: memFree=20083628/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=1572876 CPUtime=25.48 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 424994 0 0 0 2487 61 0 0 20 0 1 0 346012518 1610625024 389022 33554432000 4194304 9016284 140734232273728 140734232269176 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 393219 389022 529 1178 0 392037 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1572876
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14356
/proc/meminfo: memFree=19880716/32873844 swapFree=7624/7624
[pid=14355] ppid=14353 vsize=1776192 CPUtime=51.08 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 475025 0 0 0 5040 68 0 0 20 0 1 0 346012518 1818820608 439053 33554432000 4194304 9016284 140734232273728 140734232269480 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 444048 439053 529 1178 0 442866 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1776192
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14357
/proc/meminfo: memFree=19655196/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=1989648 CPUtime=102.28 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 528988 0 0 0 10150 78 0 0 20 0 1 0 346012518 2037399552 491480 33554432000 4194304 9016284 140734232273728 140734232269320 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 497412 491480 529 1178 0 496230 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1989648
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14396
/proc/meminfo: memFree=23648932/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=2187556 CPUtime=162.27 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 577267 0 0 0 16142 85 0 0 20 0 1 0 346012518 2240057344 539759 33554432000 4194304 9016284 140734232273728 140734232269320 6469475 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 546889 539759 529 1178 0 545707 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2187556
[startup+222.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 14396
/proc/meminfo: memFree=21815512/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=2319912 CPUtime=222.26 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 590247 0 0 0 22138 88 0 0 20 0 1 0 346012518 2375589888 572407 33554432000 4194304 9016284 140734232273728 140734232269320 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 579978 572407 529 1178 0 578796 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2319912
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 14397
/proc/meminfo: memFree=21576404/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=2328584 CPUtime=282.24 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 591842 0 0 0 28136 88 0 0 20 0 1 0 346012518 2384470016 574936 33554432000 4194304 9016284 140734232273728 140734232269320 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 582146 574936 529 1178 0 580964 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2328584
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 14397
/proc/meminfo: memFree=20963300/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=2694284 CPUtime=342.23 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 680098 0 0 0 34121 102 0 0 20 0 1 0 346012518 2758946816 663077 33554432000 4194304 9016284 140734232273728 140734232269112 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 673571 663077 529 1178 0 672389 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2694284
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14400
/proc/meminfo: memFree=20771180/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=2870704 CPUtime=402.22 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 724693 0 0 0 40112 110 0 0 20 0 1 0 346012518 2939600896 708138 33554432000 4194304 9016284 140734232273728 140734232269112 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 717676 708138 529 1178 0 716494 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2870704
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14400
/proc/meminfo: memFree=20456504/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=3108984 CPUtime=462.22 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 782843 0 0 0 46103 119 0 0 20 0 1 0 346012518 3183599616 766850 33554432000 4194304 9016284 140734232273728 140734232269112 6480384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 777246 766850 529 1178 0 776064 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3108984
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14400
/proc/meminfo: memFree=20089492/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=3254856 CPUtime=522.2 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 816964 0 0 0 52096 124 0 0 20 0 1 0 346012518 3332972544 801420 33554432000 4194304 9016284 140734232273728 140734232269112 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 813714 801420 529 1178 0 812532 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3254856
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14401
/proc/meminfo: memFree=19851936/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=3268164 CPUtime=582.18 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 822724 0 0 0 58092 126 0 0 20 0 1 0 346012518 3346599936 807658 33554432000 4194304 9016284 140734232273728 140734232269112 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 817041 807658 529 1178 0 815859 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 3268164
[startup+642.3 s]
################
# More data... #
################
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 980010 0 0 0 106051 159 0 0 20 0 1 0 346012518 4013441024 969581 33554432000 4194304 9016284 140734232273728 140734232269112 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 979844 969581 529 1178 0 978662 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 3919376
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14405
/proc/meminfo: memFree=18374988/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=3929612 CPUtime=1122.08 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 984500 0 0 0 112048 160 0 0 20 0 1 0 346012518 4023922688 974245 33554432000 4194304 9016284 140734232273728 140734232269112 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 982403 974245 529 1178 0 981221 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 3929612
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14406
/proc/meminfo: memFree=18339924/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=3941900 CPUtime=1182.08 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 989697 0 0 0 118045 163 0 0 20 0 1 0 346012518 4036505600 979442 33554432000 4194304 9016284 140734232273728 140734232269112 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 985475 979442 529 1178 0 984293 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 3941900
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14406
/proc/meminfo: memFree=18307844/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=3954184 CPUtime=1242.06 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 994799 0 0 0 124042 164 0 0 20 0 1 0 346012518 4049084416 984803 33554432000 4194304 9016284 140734232273728 140734232269112 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 988546 984803 529 1178 0 987364 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 3954184
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14407
/proc/meminfo: memFree=17873392/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4226732 CPUtime=1302.07 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1053999 0 0 0 130032 175 0 0 20 0 1 0 346012518 4328173568 1044003 33554432000 4194304 9016284 140734232273728 140734232269112 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1056683 1044003 529 1178 0 1055501 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 4226732
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14407
/proc/meminfo: memFree=17842172/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4239020 CPUtime=1362.04 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1059092 0 0 0 136028 176 0 0 20 0 1 0 346012518 4340756480 1049409 33554432000 4194304 9016284 140734232273728 140734232269112 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1059755 1049409 529 1178 0 1058573 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 4239020
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14407
/proc/meminfo: memFree=17805496/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4249256 CPUtime=1422.05 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1063541 0 0 0 142026 179 0 0 20 0 1 0 346012518 4351238144 1053858 33554432000 4194304 9016284 140734232273728 140734232269112 6480364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1062314 1053858 529 1178 0 1061132 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 4249256
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14408
/proc/meminfo: memFree=17768200/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4258472 CPUtime=1482.03 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1067448 0 0 0 148022 181 0 0 20 0 1 0 346012518 4360675328 1057840 33554432000 4194304 9016284 140734232273728 140734232269112 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1064618 1057840 529 1178 0 1063436 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 4258472
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14408
/proc/meminfo: memFree=17742552/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4261544 CPUtime=1542.01 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1068851 0 0 0 154020 181 0 0 20 0 1 0 346012518 4363821056 1059243 33554432000 4194304 9016284 140734232273728 140734232269112 6480384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1065386 1059243 529 1178 0 1064204 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 4261544
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14411
/proc/meminfo: memFree=17499440/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4264616 CPUtime=1602 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1070290 0 0 0 160019 181 0 0 20 0 1 0 346012518 4366966784 1060682 33554432000 4194304 9016284 140734232273728 140734232269112 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1066154 1060682 529 1178 0 1064972 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 4264616
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14434
/proc/meminfo: memFree=17473688/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4269732 CPUtime=1661.99 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1072422 0 0 0 166017 182 0 0 20 0 1 0 346012518 4372205568 1063129 33554432000 4194304 9016284 140734232273728 140734232269112 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1067433 1063129 529 1178 0 1066251 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 4269732
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14434
/proc/meminfo: memFree=17445524/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4275764 CPUtime=1721.98 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1074669 0 0 0 172015 183 0 0 20 0 1 0 346012518 4378382336 1065702 33554432000 4194304 9016284 140734232273728 140734232269112 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1068941 1065702 529 1178 0 1067759 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 4275764
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14435
/proc/meminfo: memFree=17149732/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4601696 CPUtime=1781.97 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1144243 0 0 0 178004 193 0 0 20 0 1 0 346012518 4712136704 1135284 33554432000 4194304 9016284 140734232273728 140734232269112 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1150424 1135284 529 1178 0 1149242 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 4601696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14435
/proc/meminfo: memFree=17142496/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4603744 CPUtime=1800.07 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1145145 0 0 0 179814 193 0 0 20 0 1 0 346012518 4714233856 1136186 33554432000 4194304 9016284 140734232273728 140734232269112 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1150936 1136186 529 1178 0 1149754 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 4603744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14355
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14436
/proc/meminfo: memFree=17142364/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4603744 CPUtime=1801.06 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1145161 0 0 0 179913 193 0 0 20 0 1 0 346012518 4714233856 1136311 33554432000 4194304 9016284 140734232273728 140734232268608 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1150936 1136311 529 1178 0 1149754 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 4603744
[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14436
/proc/meminfo: memFree=17141728/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4603744 CPUtime=1801.86 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1145174 0 0 0 179993 193 0 0 20 0 1 0 346012518 4714233856 1136324 33554432000 4194304 9016284 140734232273728 140734232268608 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1150936 1136324 529 1178 0 1149754 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 4603744
[startup+1802.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14436
/proc/meminfo: memFree=17141728/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=4603744 CPUtime=1802.06 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4202496 1145179 0 0 0 180013 193 0 0 20 0 1 0 346012518 4714233856 1136329 33554432000 4194304 9016284 140734232273728 140734232268608 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 1150936 1136329 529 1178 0 1149754 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 4603744
[startup+1802.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14436
/proc/meminfo: memFree=17141728/32873844 swapFree=7628/7628
[pid=14355] ppid=14353 vsize=0 CPUtime=1802.16 cores=0,2,4,6
/proc/14355/stat : 14355 (scip-2.0.1.4b_2) R 14353 14355 13522 0 -1 4203524 1145179 0 0 0 180014 202 0 0 20 0 1 0 346012518 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14355/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.19
CPU user time (s): 1800.14
CPU system time (s): 2.04969
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 4603744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.14
system time used= 2.04969
maximum resident set size= 4545316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1145179
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= 84
involuntary context switches= 1844
runsolver used 4.41633 second user time and 14.9097 second system time
The end