0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3451829-1307117200.opb>
1.59/1.67 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256283 constraints
1.59/1.67 c problem read
1.59/1.67 c presolving settings loaded
2.10/2.14 c presolving:
8.59/8.63 c (round 1) 8846 del vars, 26293 del conss, 0 add conss, 7285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16970578 impls, 0 clqs
11.19/11.30 c (round 2) 14952 del vars, 55151 del conss, 0 add conss, 13010 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17007638 impls, 0 clqs
12.00/12.08 c (round 3) 17321 del vars, 66058 del conss, 0 add conss, 14424 chg bounds, 48 chg sides, 33 chg coeffs, 0 upgd conss, 17026689 impls, 0 clqs
12.49/12.55 c (round 4) 18521 del vars, 71069 del conss, 0 add conss, 15264 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17038411 impls, 0 clqs
12.79/12.83 c (round 5) 19275 del vars, 74158 del conss, 0 add conss, 15743 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17044322 impls, 0 clqs
12.99/13.03 c (round 6) 19814 del vars, 76338 del conss, 0 add conss, 16083 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17050605 impls, 0 clqs
13.10/13.17 c (round 7) 20197 del vars, 77933 del conss, 0 add conss, 16329 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17054516 impls, 0 clqs
13.29/13.30 c (round 8) 20496 del vars, 79082 del conss, 0 add conss, 16540 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17057344 impls, 0 clqs
13.39/13.40 c (round 9) 20668 del vars, 79874 del conss, 0 add conss, 16645 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17059064 impls, 0 clqs
13.39/13.47 c (round 10) 20740 del vars, 80250 del conss, 0 add conss, 16688 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17059687 impls, 0 clqs
13.49/13.53 c (round 11) 20766 del vars, 80415 del conss, 0 add conss, 16701 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17060023 impls, 0 clqs
13.49/13.60 c (round 12) 20780 del vars, 80483 del conss, 0 add conss, 16708 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17060135 impls, 0 clqs
13.59/13.67 c (round 13) 20788 del vars, 80529 del conss, 0 add conss, 16712 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17060187 impls, 0 clqs
14.31/14.34 c (round 14) 20788 del vars, 80537 del conss, 0 add conss, 16712 chg bounds, 54 chg sides, 39 chg coeffs, 175746 upgd conss, 17060187 impls, 0 clqs
14.79/14.86 c (round 15) 20788 del vars, 80545 del conss, 67 add conss, 16712 chg bounds, 154 chg sides, 380 chg coeffs, 175746 upgd conss, 17061439 impls, 3026 clqs
15.09/15.19 c (round 16) 20788 del vars, 80554 del conss, 68 add conss, 16712 chg bounds, 162 chg sides, 428 chg coeffs, 175746 upgd conss, 17061681 impls, 3240 clqs
478.56/478.61 c (round 17) 20840 del vars, 80555 del conss, 70 add conss, 16712 chg bounds, 166 chg sides, 447 chg coeffs, 175746 upgd conss, 59626851 impls, 3139 clqs
479.16/479.21 c (round 18) 20844 del vars, 81682 del conss, 70 add conss, 16712 chg bounds, 167 chg sides, 670 chg coeffs, 175746 upgd conss, 59631681 impls, 3139 clqs
479.47/479.56 c (round 19) 20844 del vars, 81686 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 731 chg coeffs, 175746 upgd conss, 59631681 impls, 3523 clqs
622.16/622.20 c (round 20) 20894 del vars, 81686 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 731 chg coeffs, 175746 upgd conss, 63760117 impls, 3526 clqs
622.76/622.88 c (round 21) 20898 del vars, 81880 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 63760169 impls, 3526 clqs
697.38/697.43 c (697.4s) probing: 1000/52054 (1.9%) - 90 fixings, 31 aggregations, 12678422 implications, 0 bound changes
741.39/741.49 c (round 22) 20948 del vars, 81884 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 68717885 impls, 3526 clqs
742.07/742.11 c (round 23) 20950 del vars, 82072 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 68717887 impls, 3526 clqs
826.97/827.05 c (round 24) 21000 del vars, 82073 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 72456429 impls, 3526 clqs
827.57/827.62 c (round 25) 21000 del vars, 82255 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 72456429 impls, 3526 clqs
1448.28/1448.35 c (1448.4s) probing: 2000/52054 (3.8%) - 157 fixings, 69 aggregations, 23290212 implications, 0 bound changes
1800.01/1800.11 c (1800.1s) probing: 2541/52054 (4.9%) - 157 fixings, 69 aggregations, 30226109 implications, 0 bound changes
1800.01/1800.11 c (1800.1s) probing aborted: solving stopped
1800.01/1800.11 c (round 26) 21024 del vars, 82255 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 126271321 impls, 3526 clqs
1800.01/1800.11 c presolving (26 rounds):
1800.01/1800.11 c 21024 deleted vars, 82255 deleted constraints, 79 added constraints, 16712 tightened bounds, 0 added holes, 176 changed sides, 733 changed coefficients
1800.01/1800.11 c 126271321 implications, 3526 cliques
1800.01/1800.11 c presolving was interrupted.
1800.01/1800.11 c Presolving Time: 1798.11
1800.01/1800.11 c - non default parameters ----------------------------------------------------------------------
1800.01/1800.11 c # SCIP version 2.0.1.5
1800.01/1800.11 c
1800.01/1800.11 c # frequency for displaying node information lines
1800.01/1800.11 c # [type: int, range: [-1,2147483647], default: 100]
1800.01/1800.11 c display/freq = 10000
1800.01/1800.11 c
1800.01/1800.11 c # maximal time in seconds to run
1800.01/1800.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.01/1800.11 c limits/time = 1800
1800.01/1800.11 c
1800.01/1800.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.01/1800.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.01/1800.11 c limits/memory = 13950
1800.01/1800.11 c
1800.01/1800.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.01/1800.11 c # [type: int, range: [1,2], default: 1]
1800.01/1800.11 c timing/clocktype = 2
1800.01/1800.11 c
1800.01/1800.11 c # belongs reading time to solving time?
1800.01/1800.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.01/1800.11 c timing/reading = TRUE
1800.01/1800.11 c
1800.01/1800.11 c # should presolving try to simplify inequalities
1800.01/1800.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.01/1800.11 c constraints/linear/simplifyinequalities = TRUE
1800.01/1800.11 c
1800.01/1800.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.01/1800.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.01/1800.11 c constraints/indicator/addCouplingCons = TRUE
1800.01/1800.11 c
1800.01/1800.11 c # should presolving try to simplify knapsacks
1800.01/1800.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.01/1800.11 c constraints/knapsack/simplifyinequalities = TRUE
1800.01/1800.11 c
1800.01/1800.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.01/1800.11 c # [type: int, range: [-1,2147483647], default: -1]
1800.01/1800.11 c separating/rapidlearning/freq = 0
1800.01/1800.11 c
1800.01/1800.11 c -----------------------------------------------------------------------------------------------
1800.01/1800.11 c start solving
1800.12/1800.15 c presolving:
1800.12/1800.15 c presolving (26 rounds):
1800.12/1800.15 c 21024 deleted vars, 82255 deleted constraints, 79 added constraints, 16712 tightened bounds, 0 added holes, 176 changed sides, 733 changed coefficients
1800.12/1800.15 c 126271321 implications, 3526 cliques
1800.12/1800.15 c presolving was interrupted.
1800.12/1800.15 c Presolving Time: 1798.14
1800.12/1800.15 c
1800.12/1800.15 c SCIP Status : solving was interrupted [time limit reached]
1800.12/1800.15 c Solving Time (sec) : 1800.15
1800.12/1800.15 c Solving Nodes : 0
1800.12/1800.15 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.12/1800.15 s UNKNOWN
1800.12/1800.15 c SCIP Status : solving was interrupted [time limit reached]
1800.12/1800.15 c Total Time : 1800.15
1800.12/1800.15 c solving : 1800.15
1800.12/1800.15 c presolving : 1798.14 (included in solving)
1800.12/1800.15 c reading : 1.67 (included in solving)
1800.12/1800.15 c Original Problem :
1800.12/1800.15 c Problem name : HOME/instance-3451829-1307117200.opb
1800.12/1800.15 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.12/1800.15 c Constraints : 256283 initial, 256283 maximal
1800.12/1800.15 c Presolved Problem :
1800.12/1800.15 c Problem name : t_HOME/instance-3451829-1307117200.opb
1800.12/1800.15 c Variables : 51818 (51818 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.12/1800.15 c Constraints : 174107 initial, 174107 maximal
1800.12/1800.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.12/1800.15 c trivial : 0.08 921 0 0 0 0 0 0 0 0
1800.12/1800.15 c dualfix : 0.09 120 0 0 0 0 0 0 0 0
1800.12/1800.15 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c implics : 1.57 0 9 0 0 0 0 0 0 0
1800.12/1800.15 c probing : 1780.92 157 69 0 0 0 0 0 0 0
1800.12/1800.15 c knapsack : 2.52 0 0 0 0 0 12 79 122 694
1800.12/1800.15 c setppc : 0.88 1 0 0 0 0 1664 0 0 0
1800.12/1800.15 c linear : 11.41 15791 3956 0 16712 0 80537 0 54 39
1800.12/1800.15 c logicor : 0.25 0 0 0 0 0 42 0 0 0
1800.12/1800.15 c root node : - 0 - - 0 - - - - -
1800.12/1800.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.12/1800.15 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c knapsack : 0+ 0 107162 0 0 0 0 38 0 0 0 0
1800.12/1800.15 c setppc : 0+ 0 107124 0 0 0 0 31 0 0 0 0
1800.12/1800.15 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c logicor : 0+ 0 98669 0 0 0 0 45 0 0 0 0
1800.12/1800.15 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.12/1800.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.12/1800.15 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.12/1800.15 c knapsack : 8.02 0.00 8.02 0.00 0.00 0.00 0.00
1800.12/1800.15 c setppc : 636.02 0.00 636.02 0.00 0.00 0.00 0.00
1800.12/1800.15 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.12/1800.15 c logicor : 13.42 0.00 13.42 0.00 0.00 0.00 0.00
1800.12/1800.15 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.12/1800.15 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.12/1800.15 c vbounds : 0 0 0 0
1800.12/1800.15 c rootredcost : 0 0 0 0
1800.12/1800.15 c pseudoobj : 0 0 0 0
1800.12/1800.15 c Propagator Timings : TotalTime Propagate Resprop
1800.12/1800.15 c vbounds : 0.05 0.05 0.00
1800.12/1800.15 c rootredcost : 0.04 0.04 0.00
1800.12/1800.15 c pseudoobj : 0.02 0.02 0.00
1800.12/1800.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.12/1800.15 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.12/1800.15 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.12/1800.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.12/1800.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.12/1800.15 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.12/1800.15 c applied globally : - - - 0 0.0 - - -
1800.12/1800.15 c applied locally : - - - 0 0.0 - - -
1800.79/1800.87 c Time complete: 1800.86.
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-3451829-1307117200/watcher-3451829-1307117200 -o /tmp/evaluation-result-3451829-1307117200/solver-3451829-1307117200 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451829-1307117200.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: 1.92 2.00 1.99 2/575 25858
/proc/meminfo: memFree=21781284/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=14976 CPUtime=0 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 2714 0 0 0 0 0 0 0 25 0 1 0 823317798 15335424 2667 33554432000 4194304 9163163 140734006750352 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25858/statm: 3744 2667 395 1214 0 2526 0
[startup+0.0931679 s]
/proc/loadavg: 1.92 2.00 1.99 2/575 25858
/proc/meminfo: memFree=21781284/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=29048 CPUtime=0.08 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 6260 0 0 0 8 0 0 0 25 0 1 0 823317798 29745152 6213 33554432000 4194304 9163163 140734006750352 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25858/statm: 7262 6213 395 1214 0 6044 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29048
[startup+0.101157 s]
/proc/loadavg: 1.92 2.00 1.99 2/575 25858
/proc/meminfo: memFree=21781284/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=30072 CPUtime=0.09 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 6518 0 0 0 9 0 0 0 25 0 1 0 823317798 30793728 6471 33554432000 4194304 9163163 140734006750352 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25858/statm: 7518 6471 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30072
[startup+0.301132 s]
/proc/loadavg: 1.92 2.00 1.99 2/575 25858
/proc/meminfo: memFree=21781284/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=56888 CPUtime=0.29 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 13203 0 0 0 28 1 0 0 25 0 1 0 823317798 58253312 13156 33554432000 4194304 9163163 140734006750352 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25858/statm: 14222 13156 395 1214 0 13004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56888
[startup+0.70105 s]
/proc/loadavg: 1.92 2.00 1.99 2/575 25858
/proc/meminfo: memFree=21781284/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=80896 CPUtime=0.69 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 19180 0 0 0 67 2 0 0 25 0 1 0 823317798 82837504 19133 33554432000 4194304 9163163 140734006750352 18446744073709551615 8044913 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25858/statm: 20224 19133 395 1214 0 19006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80896
[startup+1.50091 s]
/proc/loadavg: 1.92 2.00 1.99 3/576 25859
/proc/meminfo: memFree=21682076/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=149240 CPUtime=1.49 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 36210 0 0 0 145 4 0 0 25 0 1 0 823317798 152821760 36163 33554432000 4194304 9163163 140734006750352 18446744073709551615 8031147 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25858/statm: 37310 36163 395 1214 0 36092 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 149240
[startup+3.10063 s]
/proc/loadavg: 1.92 2.00 1.99 3/576 25859
/proc/meminfo: memFree=21402952/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=510572 CPUtime=3.09 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 125348 0 0 0 294 15 0 0 25 0 1 0 823317798 522825728 125252 33554432000 4194304 9163163 140734006750352 18446744073709551615 4782806 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25858/statm: 127643 125252 506 1214 0 126425 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510572
[startup+6.30101 s]
/proc/loadavg: 1.93 2.00 1.99 3/576 25860
/proc/meminfo: memFree=20948244/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=776052 CPUtime=6.29 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 190854 0 0 0 607 22 0 0 25 0 1 0 823317798 794677248 190758 33554432000 4194304 9163163 140734006750352 18446744073709551615 4352439 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25858/statm: 194013 190758 506 1214 0 192795 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 776052
[startup+12.7009 s]
/proc/loadavg: 1.93 2.00 1.99 3/576 25860
/proc/meminfo: memFree=20747000/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=893000 CPUtime=12.69 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 218691 0 0 0 1244 25 0 0 25 0 1 0 823317798 914432000 218338 33554432000 4194304 9163163 140734006750352 18446744073709551615 6568751 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25858/statm: 223250 218338 518 1214 0 222032 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 893000
[startup+25.5005 s]
/proc/loadavg: 1.95 2.00 1.99 3/576 25860
/proc/meminfo: memFree=20659704/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=982624 CPUtime=25.5 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 258346 0 0 0 2520 30 0 0 25 0 1 0 823317798 1006206976 240057 33554432000 4194304 9163163 140734006750352 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25858/statm: 245656 240057 576 1214 0 244438 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 982624
[startup+51.1008 s]
/proc/loadavg: 1.96 2.00 1.99 3/576 25888
/proc/meminfo: memFree=21623824/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=1035836 CPUtime=51.09 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 271082 0 0 0 5078 31 0 0 25 0 1 0 823317798 1060696064 252793 33554432000 4194304 9163163 140734006750352 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25858/statm: 258959 252793 576 1214 0 257741 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1035836
[startup+102.322 s]
/proc/loadavg: 1.98 2.00 1.99 3/576 25889
/proc/meminfo: memFree=21356464/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=1173900 CPUtime=102.27 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 304912 0 0 0 10191 36 0 0 25 0 1 0 823317798 1202073600 286623 33554432000 4194304 9163163 140734006750352 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 293475 286623 576 1214 0 292257 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1173900
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/576 25891
/proc/meminfo: memFree=20993520/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=1382156 CPUtime=162.25 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 355661 0 0 0 16182 43 0 0 25 0 1 0 823317798 1415327744 337372 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 345539 337372 576 1214 0 344321 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1382156
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/576 25892
/proc/meminfo: memFree=20560348/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=1593032 CPUtime=222.25 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 408133 0 0 0 22175 50 0 0 25 0 1 0 823317798 1631264768 389844 33554432000 4194304 9163163 140734006750352 18446744073709551615 6555954 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 398258 389844 576 1214 0 397040 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1593032
[startup+282.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/576 25894
/proc/meminfo: memFree=20201352/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=1745020 CPUtime=282.25 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 445915 0 0 0 28169 56 0 0 25 0 1 0 823317798 1786900480 427626 33554432000 4194304 9163163 140734006750352 18446744073709551615 4833895 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 436255 427626 576 1214 0 435037 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1745020
[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/576 25896
/proc/meminfo: memFree=19823364/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=1984436 CPUtime=342.26 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 505626 0 0 0 34162 64 0 0 25 0 1 0 823317798 2032062464 487337 33554432000 4194304 9163163 140734006750352 18446744073709551615 6567062 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 496109 487337 576 1214 0 494891 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 1984436
[startup+402.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/576 25897
/proc/meminfo: memFree=19535792/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=2155420 CPUtime=402.26 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 547826 0 0 0 40155 71 0 0 25 0 1 0 823317798 2207150080 529537 33554432000 4194304 9163163 140734006750352 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 538855 529537 576 1214 0 537637 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 2155420
[startup+462.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/576 25899
/proc/meminfo: memFree=19193532/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=2322560 CPUtime=462.26 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 588898 0 0 0 46149 77 0 0 25 0 1 0 823317798 2378301440 570609 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 580640 570609 576 1214 0 579422 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 2322560
[startup+522.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/576 25900
/proc/meminfo: memFree=19034416/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=2377596 CPUtime=522.26 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 603733 0 0 0 52146 80 0 0 25 0 1 0 823317798 2434658304 585444 33554432000 4194304 9163163 140734006750352 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 594399 585444 576 1214 0 593181 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 2377596
[startup+582.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/576 25902
/proc/meminfo: memFree=18808316/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=2441316 CPUtime=582.26 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 619178 0 0 0 58144 82 0 0 25 0 1 0 823317798 2499907584 600889 33554432000 4194304 9163163 140734006750352 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 610329 600889 576 1214 0 609111 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 2441316
[startup+642.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/576 25911
/proc/meminfo: memFree=17778284/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=2871428 CPUtime=942.27 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 725752 0 0 0 94132 95 0 0 25 0 1 0 823317798 2940342272 707226 33554432000 4194304 9163163 140734006750352 18446744073709551615 5460510 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 717857 707226 580 1214 0 716639 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 2871428
[startup+1002.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/576 25913
/proc/meminfo: memFree=17600820/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=2977368 CPUtime=1002.28 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 752113 0 0 0 100129 99 0 0 25 0 1 0 823317798 3048824832 733587 33554432000 4194304 9163163 140734006750352 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 744342 733587 580 1214 0 743124 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 2977368
[startup+1062.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/576 25915
/proc/meminfo: memFree=17385532/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=3130272 CPUtime=1062.27 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 789783 0 0 0 106123 104 0 0 25 0 1 0 823317798 3205398528 771257 33554432000 4194304 9163163 140734006750352 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 782568 771257 580 1214 0 781350 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 3130272
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/576 25916
/proc/meminfo: memFree=17178920/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=3239468 CPUtime=1122.27 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 817282 0 0 0 112118 109 0 0 25 0 1 0 823317798 3317215232 798756 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 809867 798756 580 1214 0 808649 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 3239468
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 25918
/proc/meminfo: memFree=17043088/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=3316016 CPUtime=1182.27 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 835638 0 0 0 118115 112 0 0 25 0 1 0 823317798 3395600384 817112 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 829004 817112 580 1214 0 827786 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 3316016
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25920
/proc/meminfo: memFree=16863400/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=3416780 CPUtime=1242.28 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 860958 0 0 0 124113 115 0 0 25 0 1 0 823317798 3498782720 842432 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 854195 842432 580 1214 0 852977 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 3416780
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25921
/proc/meminfo: memFree=16660152/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=3565788 CPUtime=1302.29 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 898213 0 0 0 130109 120 0 0 25 0 1 0 823317798 3651366912 879687 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 891447 879687 580 1214 0 890229 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 3565788
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25923
/proc/meminfo: memFree=16517280/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=3655840 CPUtime=1362.29 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 920421 0 0 0 136105 124 0 0 25 0 1 0 823317798 3743580160 901895 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 913960 901895 580 1214 0 912742 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 3655840
[startup+1422.32 s]
/proc/loadavg: 2.14 2.05 2.01 3/576 25924
/proc/meminfo: memFree=16377624/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=3747692 CPUtime=1422.3 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 943148 0 0 0 142103 127 0 0 25 0 1 0 823317798 3837636608 924622 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 936923 924622 580 1214 0 935705 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 3747692
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/576 25926
/proc/meminfo: memFree=16234496/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=3844236 CPUtime=1482.28 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 966370 0 0 0 148097 131 0 0 25 0 1 0 823317798 3936497664 947844 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 961059 947844 580 1214 0 959841 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 3844236
[startup+1542.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/576 25928
/proc/meminfo: memFree=16088508/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=3935840 CPUtime=1542.29 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 989295 0 0 0 154094 135 0 0 25 0 1 0 823317798 4030300160 970769 33554432000 4194304 9163163 140734006750352 18446744073709551615 5459044 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 983960 970769 580 1214 0 982742 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 3935840
[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/576 25929
/proc/meminfo: memFree=15865032/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=4099964 CPUtime=1602.29 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 1030188 0 0 0 160089 140 0 0 25 0 1 0 823317798 4198363136 1011662 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 1024991 1011662 580 1214 0 1023773 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 4099964
[startup+1662.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/576 25931
/proc/meminfo: memFree=15695120/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=4195056 CPUtime=1662.29 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 1053375 0 0 0 166085 144 0 0 25 0 1 0 823317798 4295737344 1034849 33554432000 4194304 9163163 140734006750352 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 1048764 1034849 580 1214 0 1047546 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 4195056
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/576 25932
/proc/meminfo: memFree=15516656/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=4281712 CPUtime=1722.29 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 1075118 0 0 0 172081 148 0 0 25 0 1 0 823317798 4384473088 1056592 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 1070428 1056592 580 1214 0 1069210 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 4281712
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25934
/proc/meminfo: memFree=15330016/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=4373288 CPUtime=1782.29 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 1098038 0 0 0 178078 151 0 0 25 0 1 0 823317798 4478246912 1079512 33554432000 4194304 9163163 140734006750352 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 1093322 1079512 580 1214 0 1092104 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 4373288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25934
/proc/meminfo: memFree=15248916/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=4399472 CPUtime=1800.01 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 1104434 0 0 0 179849 152 0 0 25 0 1 0 823317798 4505059328 1085908 33554432000 4194304 9163163 140734006750352 18446744073709551615 4794219 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25858/statm: 1099868 1085908 580 1214 0 1098650 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 4399472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/577 25935
/proc/meminfo: memFree=15571432/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=4058832 CPUtime=1800.61 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 1105340 0 0 0 179907 154 0 0 18 0 1 0 823317798 4156243968 1001310 33554432000 4194304 9163163 140734006750352 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25858/statm: 1014708 1001310 594 1214 0 1013490 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 4058832
[startup+1800.8 s]
/proc/loadavg: 2.00 2.03 2.00 3/577 25935
/proc/meminfo: memFree=15571432/32951124 swapFree=58940260/67111528
[pid=25858] ppid=25856 vsize=1696032 CPUtime=1800.79 cores=0,2,4,6
/proc/25858/stat : 25858 (scip-2.0.1.4b.l) R 25856 25858 23203 0 -1 4202496 1105351 0 0 0 179914 165 0 0 18 0 1 0 823317798 1736736768 392623 33554432000 4194304 9163163 140734006750352 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25858/statm: 424008 392113 605 1214 0 422790 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (KiB) 1696032
Child status: 0
Real time (s): 1800.88
CPU time (s): 1800.88
CPU user time (s): 1799.15
CPU system time (s): 1.72974
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 4400496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 1.72974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1105353
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= 2024
runsolver used 10.9543 second user time and 23.6404 second system time
The end