0.00/0.02 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3451880-1307120448.opb>
1.17/1.26 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192648 constraints
1.17/1.26 c problem read
1.17/1.26 c presolving settings loaded
1.57/1.61 c presolving:
6.47/6.51 c (round 1) 5084 del vars, 14555 del conss, 0 add conss, 3949 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13022864 impls, 0 clqs
7.88/7.94 c (round 2) 9176 del vars, 33400 del conss, 0 add conss, 7765 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13048334 impls, 0 clqs
8.28/8.37 c (round 3) 11001 del vars, 40969 del conss, 0 add conss, 8891 chg bounds, 59 chg sides, 91 chg coeffs, 0 upgd conss, 13063394 impls, 0 clqs
8.58/8.63 c (round 4) 11999 del vars, 45131 del conss, 0 add conss, 9558 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13070625 impls, 0 clqs
8.68/8.76 c (round 5) 12523 del vars, 47496 del conss, 0 add conss, 9850 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13074624 impls, 0 clqs
8.79/8.86 c (round 6) 12775 del vars, 48611 del conss, 0 add conss, 10006 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13076294 impls, 0 clqs
8.88/8.92 c (round 7) 12865 del vars, 49091 del conss, 0 add conss, 10060 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077120 impls, 0 clqs
8.88/8.97 c (round 8) 12921 del vars, 49373 del conss, 0 add conss, 10100 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077356 impls, 0 clqs
8.98/9.02 c (round 9) 12937 del vars, 49468 del conss, 0 add conss, 10108 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077440 impls, 0 clqs
8.98/9.07 c (round 10) 12941 del vars, 49497 del conss, 0 add conss, 10110 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077452 impls, 0 clqs
9.47/9.59 c (round 11) 12941 del vars, 49501 del conss, 0 add conss, 10110 chg bounds, 74 chg sides, 105 chg coeffs, 143147 upgd conss, 13077452 impls, 0 clqs
9.89/9.98 c (round 12) 12941 del vars, 49506 del conss, 39 add conss, 10110 chg bounds, 178 chg sides, 385 chg coeffs, 143147 upgd conss, 13077452 impls, 0 clqs
490.82/490.92 c (490.9s) probing: 1000/41841 (2.4%) - 0 fixings, 0 aggregations, 11452976 implications, 0 bound changes
916.82/916.97 c (916.9s) probing: 2000/41841 (4.8%) - 0 fixings, 0 aggregations, 18773931 implications, 0 bound changes
917.23/917.38 c (917.4s) probing: 2001/41841 (4.8%) - 0 fixings, 0 aggregations, 18779824 implications, 0 bound changes
917.23/917.38 c (917.4s) probing aborted: 2000/2000 successive useless probings
917.23/917.38 c presolving (13 rounds):
917.23/917.38 c 12941 deleted vars, 49513 deleted constraints, 39 added constraints, 10110 tightened bounds, 0 added holes, 178 changed sides, 394 changed coefficients
917.23/917.38 c 75341070 implications, 0 cliques
917.23/917.38 c presolved problem has 41841 variables (41841 bin, 0 int, 0 impl, 0 cont) and 143174 constraints
917.23/917.38 c 1119 constraints of type <knapsack>
917.23/917.38 c 121373 constraints of type <setppc>
917.23/917.38 c 20682 constraints of type <logicor>
917.23/917.38 c transformed objective value is always integral (scale: 1)
917.23/917.38 c Presolving Time: 915.87
917.23/917.38 c - non default parameters ----------------------------------------------------------------------
917.23/917.38 c # SCIP version 2.0.1.5
917.23/917.38 c
917.23/917.38 c # frequency for displaying node information lines
917.23/917.38 c # [type: int, range: [-1,2147483647], default: 100]
917.23/917.38 c display/freq = 10000
917.23/917.38 c
917.23/917.38 c # maximal time in seconds to run
917.23/917.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
917.23/917.38 c limits/time = 1800
917.23/917.38 c
917.23/917.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
917.23/917.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
917.23/917.38 c limits/memory = 13950
917.23/917.38 c
917.23/917.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
917.23/917.38 c # [type: int, range: [1,2], default: 1]
917.23/917.38 c timing/clocktype = 2
917.23/917.38 c
917.23/917.38 c # belongs reading time to solving time?
917.23/917.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
917.23/917.38 c timing/reading = TRUE
917.23/917.38 c
917.23/917.38 c # should presolving try to simplify inequalities
917.23/917.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
917.23/917.38 c constraints/linear/simplifyinequalities = TRUE
917.23/917.38 c
917.23/917.38 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
917.23/917.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
917.23/917.38 c constraints/indicator/addCouplingCons = TRUE
917.23/917.38 c
917.23/917.38 c # should presolving try to simplify knapsacks
917.23/917.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
917.23/917.38 c constraints/knapsack/simplifyinequalities = TRUE
917.23/917.38 c
917.23/917.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
917.23/917.38 c # [type: int, range: [-1,2147483647], default: -1]
917.23/917.38 c separating/rapidlearning/freq = 0
917.23/917.38 c
917.23/917.38 c -----------------------------------------------------------------------------------------------
917.23/917.38 c start solving
917.23/917.41 c
1040.32/1040.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1040.32/1040.49 c 1040s| 1 | 0 | 36468 | - |2226M| 0 | 294 | 41k| 143k| 41k| 143k| 0 | 2 | 0 | 8.100000e+01 | -- | Inf
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-3451880-1307120448/watcher-3451880-1307120448 -o /tmp/evaluation-result-3451880-1307120448/solver-3451880-1307120448 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451880-1307120448.opb -t 1800 -m 15500
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: 2.03 2.04 1.94 3/464 8301
/proc/meminfo: memFree=24159792/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/8301/stat : 8301 (runsolver) R 8299 8301 6224 0 -1 4202560 42 0 0 0 0 0 0 0 21 0 1 0 902275348 12079104 51 33554432000 4194304 5432328 140735494374448 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/8301/statm: 2949 51 31 303 0 2643 0
[startup+0.075722 s]
/proc/loadavg: 2.03 2.04 1.94 3/464 8301
/proc/meminfo: memFree=24159792/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=23344 CPUtime=0.04 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 4825 0 0 0 4 0 0 0 21 0 1 0 902275348 23904256 4779 33554432000 4194304 9163163 140733342979584 18446744073709551615 6165461 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8301/statm: 5836 4779 395 1214 0 4618 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23344
[startup+0.100716 s]
/proc/loadavg: 2.03 2.04 1.94 3/464 8301
/proc/meminfo: memFree=24159792/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=27784 CPUtime=0.08 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 5945 0 0 0 7 1 0 0 21 0 1 0 902275348 28450816 5899 33554432000 4194304 9163163 140733342979584 18446744073709551615 8031063 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8301/statm: 6946 5899 395 1214 0 5728 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27784
[startup+0.30069 s]
/proc/loadavg: 2.03 2.04 1.94 3/464 8301
/proc/meminfo: memFree=24159792/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=50364 CPUtime=0.28 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 11582 0 0 0 26 2 0 0 22 0 1 0 902275348 51572736 11536 33554432000 4194304 9163163 140733342979584 18446744073709551615 7481008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8301/statm: 12591 11536 395 1214 0 11373 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 50364
[startup+0.700601 s]
/proc/loadavg: 2.03 2.04 1.94 3/464 8301
/proc/meminfo: memFree=24159792/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=74400 CPUtime=0.67 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 17578 0 0 0 64 3 0 0 23 0 1 0 902275348 76185600 17533 33554432000 4194304 9163163 140733342979584 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8301/statm: 18600 17548 395 1214 0 17382 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 74400
[startup+1.50045 s]
/proc/loadavg: 2.03 2.04 1.94 3/470 8307
/proc/meminfo: memFree=23963336/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=281864 CPUtime=1.47 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 69346 0 0 0 137 10 0 0 25 0 1 0 902275348 288628736 69280 33554432000 4194304 9163163 140733342979584 18446744073709551615 6555265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 70466 69280 439 1214 0 69248 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 281864
[startup+3.10016 s]
/proc/loadavg: 2.19 2.08 1.95 3/470 8307
/proc/meminfo: memFree=23459648/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=465820 CPUtime=3.07 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 114359 0 0 0 291 16 0 0 25 0 1 0 902275348 476999680 114293 33554432000 4194304 9163163 140733342979584 18446744073709551615 4833741 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 116455 114293 506 1214 0 115237 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 465820
[startup+6.30056 s]
/proc/loadavg: 2.19 2.08 1.95 3/470 8307
/proc/meminfo: memFree=22899856/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=690564 CPUtime=6.27 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 168623 0 0 0 606 21 0 0 25 0 1 0 902275348 707137536 168557 33554432000 4194304 9163163 140733342979584 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 172641 168557 515 1214 0 171423 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 690564
[startup+12.7004 s]
/proc/loadavg: 2.16 2.07 1.95 3/470 8308
/proc/meminfo: memFree=22651556/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=790704 CPUtime=12.67 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 202475 0 0 0 1242 25 0 0 25 0 1 0 902275348 809680896 192734 33554432000 4194304 9163163 140733342979584 18446744073709551615 6567824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 197676 192734 598 1214 0 196458 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 790704
[startup+25.501 s]
/proc/loadavg: 2.13 2.07 1.95 3/470 8317
/proc/meminfo: memFree=22567832/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=831744 CPUtime=25.48 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 212644 0 0 0 2521 27 0 0 25 0 1 0 902275348 851705856 202903 33554432000 4194304 9163163 140733342979584 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 207936 202903 598 1214 0 206718 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 831744
[startup+51.1002 s]
/proc/loadavg: 2.09 2.06 1.95 3/470 8318
/proc/meminfo: memFree=22403384/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=916856 CPUtime=51.07 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 233475 0 0 0 5078 29 0 0 25 0 1 0 902275348 938860544 223734 33554432000 4194304 9163163 140733342979584 18446744073709551615 5947494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 229214 223734 598 1214 0 227996 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 916856
[startup+102.318 s]
/proc/loadavg: 2.03 2.05 1.95 3/470 8319
/proc/meminfo: memFree=22039972/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=1121820 CPUtime=102.29 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 282526 0 0 0 10193 36 0 0 25 0 1 0 902275348 1148743680 272785 33554432000 4194304 9163163 140733342979584 18446744073709551615 4679606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 280455 272785 598 1214 0 279237 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1121820
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 1.95 3/470 8321
/proc/meminfo: memFree=21554220/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=1316568 CPUtime=162.27 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 331888 0 0 0 16185 42 0 0 25 0 1 0 902275348 1348165632 322147 33554432000 4194304 9163163 140733342979584 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 329142 322147 598 1214 0 327924 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1316568
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/470 8322
/proc/meminfo: memFree=21089292/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=1542344 CPUtime=222.27 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 388846 0 0 0 22179 48 0 0 25 0 1 0 902275348 1579360256 379105 33554432000 4194304 9163163 140733342979584 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 385586 379105 598 1214 0 384368 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1542344
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/470 8324
/proc/meminfo: memFree=20658368/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=1801588 CPUtime=282.27 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 452969 0 0 0 28171 56 0 0 25 0 1 0 902275348 1844826112 443228 33554432000 4194304 9163163 140733342979584 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/8301/statm: 450397 443228 598 1214 0 449179 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 1801588
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/470 8325
/proc/meminfo: memFree=20144724/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=1991332 CPUtime=342.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 499292 0 0 0 34161 61 0 0 25 0 1 0 902275348 2039123968 489551 33554432000 4194304 9163163 140733342979584 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 497833 489551 598 1214 0 496615 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1991332
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/470 8327
/proc/meminfo: memFree=19898180/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=2115764 CPUtime=402.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 529823 0 0 0 40157 65 0 0 25 0 1 0 902275348 2166542336 520082 33554432000 4194304 9163163 140733342979584 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 528941 520082 598 1214 0 527723 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2115764
[startup+462.301 s]
/proc/loadavg: 2.07 2.02 1.95 3/470 8329
/proc/meminfo: memFree=19629060/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=2214960 CPUtime=462.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 554976 0 0 0 46154 68 0 0 25 0 1 0 902275348 2268119040 545235 33554432000 4194304 9163163 140733342979584 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 553740 545235 598 1214 0 552522 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2214960
[startup+522.3 s]
/proc/loadavg: 2.15 2.05 1.96 3/470 8330
/proc/meminfo: memFree=19452572/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=2305464 CPUtime=522.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 577723 0 0 0 52151 71 0 0 25 0 1 0 902275348 2360795136 567982 33554432000 4194304 9163163 140733342979584 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 576366 567982 602 1214 0 575148 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 2305464
[startup+582.3 s]
/proc/loadavg: 2.11 2.05 1.97 3/470 8332
/proc/meminfo: memFree=19197844/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=2404032 CPUtime=582.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 602263 0 0 0 58147 75 0 0 25 0 1 0 902275348 2461728768 592522 33554432000 4194304 9163163 140733342979584 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 601008 592522 602 1214 0 599790 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 2404032
[startup+642.301 s]
################
# More data... #
################
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 772455 0 0 0 100111 111 0 0 25 0 1 0 902275348 3159326720 757332 33554432000 4194304 9163163 140733342979584 18446744073709551615 7375917 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 771320 757332 1012 1214 0 770102 0
Current children cumulated CPU time (s) 1002.22
Current children cumulated vsize (KiB) 3085280
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/470 8345
/proc/meminfo: memFree=17860308/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1062.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 779773 0 0 0 106101 121 0 0 25 0 1 0 902275348 3172765696 764313 33554432000 4194304 9163163 140733342979584 18446744073709551615 7348024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 764313 1600 1214 0 773383 0
Current children cumulated CPU time (s) 1062.22
Current children cumulated vsize (KiB) 3098404
[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 1.99 3/470 8346
/proc/meminfo: memFree=17860136/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1122.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 779789 0 0 0 112094 128 0 0 25 0 1 0 902275348 3172765696 764329 33554432000 4194304 9163163 140733342979584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 764329 1600 1214 0 773383 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 3098404
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 1.99 3/470 8348
/proc/meminfo: memFree=17856868/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1182.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780560 0 0 0 118084 138 0 0 25 0 1 0 902275348 3172765696 765053 33554432000 4194304 9163163 140733342979584 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765053 1730 1214 0 773383 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 3098404
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/470 8349
/proc/meminfo: memFree=17855956/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1242.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780560 0 0 0 124084 138 0 0 25 0 1 0 902275348 3172765696 765053 33554432000 4194304 9163163 140733342979584 18446744073709551615 6217680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765053 1730 1214 0 773383 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 3098404
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/470 8351
/proc/meminfo: memFree=17856156/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1302.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780560 0 0 0 130084 138 0 0 25 0 1 0 902275348 3172765696 765053 33554432000 4194304 9163163 140733342979584 18446744073709551615 6217600 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765053 1730 1214 0 773383 0
Current children cumulated CPU time (s) 1302.22
Current children cumulated vsize (KiB) 3098404
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/470 8353
/proc/meminfo: memFree=17856224/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1362.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780560 0 0 0 136084 138 0 0 25 0 1 0 902275348 3172765696 765053 33554432000 4194304 9163163 140733342979584 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765053 1730 1214 0 773383 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 3098404
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.99 3/470 8354
/proc/meminfo: memFree=17856060/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1422.24 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780560 0 0 0 142086 138 0 0 25 0 1 0 902275348 3172765696 765053 33554432000 4194304 9163163 140733342979584 18446744073709551615 6217792 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765053 1730 1214 0 773383 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 3098404
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/470 8356
/proc/meminfo: memFree=17856132/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1482.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780560 0 0 0 148084 138 0 0 25 0 1 0 902275348 3172765696 765053 33554432000 4194304 9163163 140733342979584 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765053 1730 1214 0 773383 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 3098404
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/470 8357
/proc/meminfo: memFree=17855968/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1542.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780560 0 0 0 154084 138 0 0 25 0 1 0 902275348 3172765696 765053 33554432000 4194304 9163163 140733342979584 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765053 1730 1214 0 773383 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 3098404
[startup+1602.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/470 8359
/proc/meminfo: memFree=17856032/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1602.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780560 0 0 0 160084 138 0 0 25 0 1 0 902275348 3172765696 765053 33554432000 4194304 9163163 140733342979584 18446744073709551615 6217776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765053 1730 1214 0 773383 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 3098404
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/470 8361
/proc/meminfo: memFree=17855876/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1662.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780560 0 0 0 166084 138 0 0 25 0 1 0 902275348 3172765696 765053 33554432000 4194304 9163163 140733342979584 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765053 1730 1214 0 773383 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 3098404
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 8362
/proc/meminfo: memFree=17856104/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1722.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780560 0 0 0 172084 138 0 0 25 0 1 0 902275348 3172765696 765053 33554432000 4194304 9163163 140733342979584 18446744073709551615 6217837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765053 1730 1214 0 773383 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 3098404
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 8364
/proc/meminfo: memFree=17854948/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1782.22 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780560 0 0 0 178084 138 0 0 25 0 1 0 902275348 3172765696 765053 33554432000 4194304 9163163 140733342979584 18446744073709551615 6217600 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765053 1730 1214 0 773383 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 3098404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/471 8365
/proc/meminfo: memFree=17853548/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1800.02 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780662 0 0 0 179864 138 0 0 25 0 1 0 902275348 3172765696 765129 33554432000 4194304 9163163 140733342979584 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765129 1704 1214 0 773383 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3098404
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8301
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/472 8366
/proc/meminfo: memFree=17845728/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1801.32 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780662 0 0 0 179994 138 0 0 25 0 1 0 902275348 3172765696 765129 33554432000 4194304 9163163 140733342979584 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765129 1704 1214 0 773383 0
Current children cumulated CPU time (s) 1801.32
Current children cumulated vsize (KiB) 3098404
[startup+1801.82 s]
/proc/loadavg: 2.01 2.02 2.00 3/472 8366
/proc/meminfo: memFree=17846472/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=3098404 CPUtime=1801.74 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4202496 780662 0 0 0 180036 138 0 0 25 0 1 0 902275348 3172765696 765129 33554432000 4194304 9163163 140733342979584 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8301/statm: 774601 765129 1704 1214 0 773383 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 3098404
[startup+1802.2 s]
/proc/loadavg: 2.01 2.02 2.00 3/472 8366
/proc/meminfo: memFree=17846472/32951124 swapFree=56297244/67111528
[pid=8301] ppid=8299 vsize=0 CPUtime=1802.12 cores=1,3,5,7
/proc/8301/stat : 8301 (scip-2.0.1.4b.l) R 8299 8301 6224 0 -1 4203524 780662 0 0 0 180066 146 0 0 25 0 1 0 902275348 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/8301/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.24
CPU time (s): 1802.16
CPU user time (s): 1800.66
CPU system time (s): 1.50177
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 3098404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.66
system time used= 1.50177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 780662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 4093
runsolver used 7.62184 second user time and 20.2359 second system time
The end