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-3451835-1307118485.opb>
1.59/1.69 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256243 constraints
1.59/1.69 c problem read
1.59/1.69 c presolving settings loaded
2.09/2.17 c presolving:
21.68/21.78 c (round 1) 8537 del vars, 25743 del conss, 0 add conss, 6817 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17083324 impls, 0 clqs
24.58/24.62 c (round 2) 15615 del vars, 57140 del conss, 0 add conss, 13599 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17123875 impls, 0 clqs
25.30/25.39 c (round 3) 18511 del vars, 70497 del conss, 0 add conss, 15396 chg bounds, 14 chg sides, 7 chg coeffs, 0 upgd conss, 17142469 impls, 0 clqs
25.79/25.88 c (round 4) 20009 del vars, 76639 del conss, 0 add conss, 16489 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17153708 impls, 0 clqs
26.19/26.21 c (round 5) 21177 del vars, 81176 del conss, 0 add conss, 17258 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17164816 impls, 0 clqs
26.29/26.41 c (round 6) 21831 del vars, 84019 del conss, 0 add conss, 17667 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17170802 impls, 0 clqs
26.51/26.57 c (round 7) 22286 del vars, 85855 del conss, 0 add conss, 17935 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17177198 impls, 0 clqs
26.69/26.70 c (round 8) 22632 del vars, 87229 del conss, 0 add conss, 18141 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17181375 impls, 0 clqs
26.79/26.85 c (round 9) 22942 del vars, 88453 del conss, 0 add conss, 18328 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17185483 impls, 0 clqs
26.89/26.95 c (round 10) 23120 del vars, 89247 del conss, 0 add conss, 18424 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17188001 impls, 0 clqs
26.99/27.05 c (round 11) 23217 del vars, 89696 del conss, 0 add conss, 18484 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17189405 impls, 0 clqs
27.09/27.12 c (round 12) 23300 del vars, 90038 del conss, 0 add conss, 18523 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17190535 impls, 0 clqs
27.19/27.20 c (round 13) 23332 del vars, 90199 del conss, 0 add conss, 18547 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17190893 impls, 0 clqs
27.19/27.26 c (round 14) 23358 del vars, 90330 del conss, 0 add conss, 18558 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17190917 impls, 0 clqs
27.29/27.31 c (round 15) 23358 del vars, 90347 del conss, 0 add conss, 18558 chg bounds, 23 chg sides, 17 chg coeffs, 0 upgd conss, 17190917 impls, 0 clqs
27.88/27.98 c (round 16) 23358 del vars, 90347 del conss, 0 add conss, 18558 chg bounds, 23 chg sides, 17 chg coeffs, 165896 upgd conss, 17190917 impls, 0 clqs
28.60/28.64 c (round 17) 23358 del vars, 90347 del conss, 12 add conss, 18558 chg bounds, 43 chg sides, 162 chg coeffs, 165896 upgd conss, 17191397 impls, 514 clqs
632.80/632.87 c (632.9s) probing: 1000/49484 (2.0%) - 30 fixings, 12 aggregations, 13490013 implications, 0 bound changes
1127.21/1127.23 c (1127.2s) probing: 2000/49484 (4.0%) - 35 fixings, 12 aggregations, 22032393 implications, 0 bound changes
1263.20/1263.23 c (round 18) 23408 del vars, 90347 del conss, 12 add conss, 18558 chg bounds, 44 chg sides, 171 chg coeffs, 165896 upgd conss, 106911081 impls, 532 clqs
1265.70/1265.79 c (round 19) 23416 del vars, 91119 del conss, 12 add conss, 18558 chg bounds, 44 chg sides, 330 chg coeffs, 165896 upgd conss, 106957927 impls, 532 clqs
1628.81/1628.80 c (1628.8s) probing: 3000/49484 (6.1%) - 69 fixings, 30 aggregations, 28468259 implications, 0 bound changes
1633.91/1633.97 c (round 20) 23466 del vars, 91127 del conss, 12 add conss, 18558 chg bounds, 44 chg sides, 331 chg coeffs, 165896 upgd conss, 122389263 impls, 575 clqs
1635.31/1635.32 c (round 21) 23474 del vars, 91309 del conss, 12 add conss, 18558 chg bounds, 44 chg sides, 332 chg coeffs, 165896 upgd conss, 122459951 impls, 575 clqs
1800.31/1800.35 c (1800.3s) probing: 3438/49484 (6.9%) - 97 fixings, 48 aggregations, 30902689 implications, 0 bound changes
1800.31/1800.35 c (1800.3s) probing aborted: solving stopped
1800.31/1800.35 c (round 22) 23519 del vars, 91317 del conss, 12 add conss, 18558 chg bounds, 44 chg sides, 333 chg coeffs, 165896 upgd conss, 129937715 impls, 575 clqs
1800.31/1800.35 c presolving (22 rounds):
1800.31/1800.35 c 23519 deleted vars, 91317 deleted constraints, 12 added constraints, 18558 tightened bounds, 0 added holes, 44 changed sides, 333 changed coefficients
1800.31/1800.35 c 129937715 implications, 575 cliques
1800.31/1800.35 c presolving was interrupted.
1800.31/1800.35 c Presolving Time: 1798.31
1800.31/1800.35 c - non default parameters ----------------------------------------------------------------------
1800.31/1800.35 c # SCIP version 2.0.1.5
1800.31/1800.35 c
1800.31/1800.35 c # frequency for displaying node information lines
1800.31/1800.35 c # [type: int, range: [-1,2147483647], default: 100]
1800.31/1800.35 c display/freq = 10000
1800.31/1800.35 c
1800.31/1800.35 c # maximal time in seconds to run
1800.31/1800.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.31/1800.35 c limits/time = 1800
1800.31/1800.35 c
1800.31/1800.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.31/1800.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.31/1800.35 c limits/memory = 13950
1800.31/1800.35 c
1800.31/1800.35 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.31/1800.35 c # [type: int, range: [1,2], default: 1]
1800.31/1800.35 c timing/clocktype = 2
1800.31/1800.35 c
1800.31/1800.35 c # belongs reading time to solving time?
1800.31/1800.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.31/1800.35 c timing/reading = TRUE
1800.31/1800.35 c
1800.31/1800.35 c # should presolving try to simplify inequalities
1800.31/1800.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.31/1800.35 c constraints/linear/simplifyinequalities = TRUE
1800.31/1800.35 c
1800.31/1800.35 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.31/1800.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.31/1800.35 c constraints/indicator/addCouplingCons = TRUE
1800.31/1800.35 c
1800.31/1800.35 c # should presolving try to simplify knapsacks
1800.31/1800.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.31/1800.35 c constraints/knapsack/simplifyinequalities = TRUE
1800.31/1800.35 c
1800.31/1800.35 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.31/1800.35 c # [type: int, range: [-1,2147483647], default: -1]
1800.31/1800.35 c separating/rapidlearning/freq = 0
1800.31/1800.35 c
1800.31/1800.35 c -----------------------------------------------------------------------------------------------
1800.31/1800.35 c start solving
1800.31/1800.38 c presolving:
1800.31/1800.38 c presolving (22 rounds):
1800.31/1800.38 c 23519 deleted vars, 91317 deleted constraints, 12 added constraints, 18558 tightened bounds, 0 added holes, 44 changed sides, 333 changed coefficients
1800.31/1800.38 c 129937715 implications, 575 cliques
1800.31/1800.38 c presolving was interrupted.
1800.31/1800.38 c Presolving Time: 1798.34
1800.31/1800.38 c
1800.31/1800.38 c SCIP Status : solving was interrupted [time limit reached]
1800.31/1800.38 c Solving Time (sec) : 1800.38
1800.31/1800.38 c Solving Nodes : 0
1800.31/1800.38 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.31/1800.38 s UNKNOWN
1800.31/1800.38 c SCIP Status : solving was interrupted [time limit reached]
1800.31/1800.38 c Total Time : 1800.38
1800.31/1800.38 c solving : 1800.38
1800.31/1800.38 c presolving : 1798.34 (included in solving)
1800.31/1800.38 c reading : 1.69 (included in solving)
1800.31/1800.38 c Original Problem :
1800.31/1800.38 c Problem name : HOME/instance-3451835-1307118485.opb
1800.31/1800.38 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.31/1800.38 c Constraints : 256243 initial, 256243 maximal
1800.31/1800.38 c Presolved Problem :
1800.31/1800.38 c Problem name : t_HOME/instance-3451835-1307118485.opb
1800.31/1800.38 c Variables : 49323 (49323 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.31/1800.38 c Constraints : 164938 initial, 164938 maximal
1800.31/1800.38 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.31/1800.38 c trivial : 0.06 1034 0 0 0 0 0 0 0 0
1800.31/1800.38 c dualfix : 0.08 120 0 0 0 0 0 0 0 0
1800.31/1800.38 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.31/1800.38 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.31/1800.38 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.31/1800.38 c implics : 3.83 0 16 0 0 0 0 0 0 0
1800.31/1800.38 c probing : 1766.37 97 48 0 0 0 0 0 0 0
1800.31/1800.38 c knapsack : 2.11 0 0 0 0 0 0 12 21 316
1800.31/1800.38 c setppc : 0.41 0 0 0 0 0 958 0 0 0
1800.31/1800.38 c linear : 24.92 17524 4680 0 18558 0 90347 0 23 17
1800.31/1800.38 c logicor : 0.14 0 0 0 0 0 12 0 0 0
1800.31/1800.38 c root node : - 0 - - 0 - - - - -
1800.31/1800.38 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.31/1800.38 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.31/1800.38 c knapsack : 0+ 0 132388 0 0 0 0 32 0 0 0 0
1800.31/1800.38 c setppc : 0+ 0 132356 0 0 0 0 23 0 0 0 0
1800.31/1800.38 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.31/1800.38 c logicor : 0+ 0 120201 0 0 0 0 19 0 0 0 0
1800.31/1800.38 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.31/1800.38 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.31/1800.38 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.31/1800.38 c knapsack : 9.90 0.00 9.90 0.00 0.00 0.00 0.00
1800.31/1800.38 c setppc : 691.32 0.00 691.32 0.00 0.00 0.00 0.00
1800.31/1800.38 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.31/1800.38 c logicor : 15.29 0.00 15.29 0.00 0.00 0.00 0.00
1800.31/1800.38 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.31/1800.38 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.31/1800.38 c vbounds : 0 0 0 0
1800.31/1800.38 c rootredcost : 0 0 0 0
1800.31/1800.38 c pseudoobj : 0 0 0 0
1800.31/1800.38 c Propagator Timings : TotalTime Propagate Resprop
1800.31/1800.38 c vbounds : 0.05 0.05 0.00
1800.31/1800.38 c rootredcost : 0.04 0.04 0.00
1800.31/1800.38 c pseudoobj : 0.02 0.02 0.00
1800.31/1800.38 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.31/1800.38 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.31/1800.38 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.31/1800.38 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.31/1800.38 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.31/1800.38 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.31/1800.38 c applied globally : - - - 0 0.0 - - -
1800.31/1800.38 c applied locally : - - - 0 0.0 - - -
1801.02/1801.01 c Time complete: 1801.03.
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-3451835-1307118485/watcher-3451835-1307118485 -o /tmp/evaluation-result-3451835-1307118485/solver-3451835-1307118485 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451835-1307118485.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.78 1.99 1.99 3/497 12444
/proc/meminfo: memFree=29067156/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=14976 CPUtime=0.01 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 2720 0 0 0 1 0 0 0 22 0 1 0 823448189 15335424 2673 33554432000 4194304 9163163 140735462547840 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12444/statm: 3744 2673 395 1214 0 2526 0
[startup+0.1149 s]
/proc/loadavg: 1.78 1.99 1.99 3/497 12444
/proc/meminfo: memFree=29067156/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=32532 CPUtime=0.1 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 7132 0 0 0 10 0 0 0 22 0 1 0 823448189 33312768 7085 33554432000 4194304 9163163 140735462547840 18446744073709551615 4338904 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12444/statm: 8133 7085 395 1214 0 6915 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32532
[startup+0.200885 s]
/proc/loadavg: 1.78 1.99 1.99 3/497 12444
/proc/meminfo: memFree=29067156/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=46752 CPUtime=0.19 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 10684 0 0 0 18 1 0 0 22 0 1 0 823448189 47874048 10637 33554432000 4194304 9163163 140735462547840 18446744073709551615 4443414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12444/statm: 11688 10637 395 1214 0 10470 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46752
[startup+0.300868 s]
/proc/loadavg: 1.78 1.99 1.99 3/497 12444
/proc/meminfo: memFree=29067156/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=56888 CPUtime=0.29 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 13205 0 0 0 28 1 0 0 22 0 1 0 823448189 58253312 13158 33554432000 4194304 9163163 140735462547840 18446744073709551615 8041854 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12444/statm: 14222 13158 395 1214 0 13004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56888
[startup+0.700807 s]
/proc/loadavg: 1.78 1.99 1.99 3/497 12444
/proc/meminfo: memFree=29067156/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=80896 CPUtime=0.69 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 19183 0 0 0 67 2 0 0 24 0 1 0 823448189 82837504 19136 33554432000 4194304 9163163 140735462547840 18446744073709551615 7962070 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12444/statm: 20224 19136 395 1214 0 19006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80896
[startup+1.50065 s]
/proc/loadavg: 1.78 1.99 1.99 4/499 12446
/proc/meminfo: memFree=28852128/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=150268 CPUtime=1.49 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 36472 0 0 0 145 4 0 0 25 0 1 0 823448189 153874432 36425 33554432000 4194304 9163163 140735462547840 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12444/statm: 37567 36425 395 1214 0 36349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150268
[startup+3.1004 s]
/proc/loadavg: 1.78 1.99 1.99 4/499 12446
/proc/meminfo: memFree=28316448/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=427948 CPUtime=3.09 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 104682 0 0 0 295 14 0 0 25 0 1 0 823448189 438218752 104615 33554432000 4194304 9163163 140735462547840 18446744073709551615 4832584 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 106987 104615 497 1214 0 105769 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 427948
[startup+6.30088 s]
/proc/loadavg: 1.87 2.01 1.99 4/499 12446
/proc/meminfo: memFree=27932132/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=441784 CPUtime=6.29 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 108142 0 0 0 602 27 0 0 25 0 1 0 823448189 452386816 108075 33554432000 4194304 9163163 140735462547840 18446744073709551615 8045056 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 110446 108075 497 1214 0 109228 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 441784
[startup+12.7008 s]
/proc/loadavg: 2.04 2.04 2.00 4/499 12446
/proc/meminfo: memFree=27767568/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=465604 CPUtime=12.68 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 114099 0 0 0 1217 51 0 0 25 0 1 0 823448189 476778496 114032 33554432000 4194304 9163163 140735462547840 18446744073709551615 6562835 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 116401 114032 497 1214 0 115183 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 465604
[startup+25.5006 s]
/proc/loadavg: 2.10 2.05 2.01 4/499 12448
/proc/meminfo: memFree=27206848/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=899616 CPUtime=25.49 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 220132 0 0 0 2475 74 0 0 25 0 1 0 823448189 921206784 219808 33554432000 4194304 9163163 140735462547840 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 224904 219808 518 1214 0 223686 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 899616
[startup+51.1013 s]
/proc/loadavg: 2.07 2.05 2.01 4/499 12448
/proc/meminfo: memFree=27035844/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=1008676 CPUtime=51.09 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 261903 0 0 0 5028 81 0 0 25 0 1 0 823448189 1032884224 246885 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 252169 246885 575 1214 0 250951 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1008676
[startup+102.301 s]
/proc/loadavg: 2.03 2.04 2.00 4/499 12450
/proc/meminfo: memFree=26747864/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=1159668 CPUtime=102.3 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 298362 0 0 0 10145 85 0 0 25 0 1 0 823448189 1187500032 283344 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 289917 283344 575 1214 0 288699 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1159668
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 4/499 12450
/proc/meminfo: memFree=26481108/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=1299144 CPUtime=162.29 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 333587 0 0 0 16140 89 0 0 25 0 1 0 823448189 1330323456 318569 33554432000 4194304 9163163 140735462547840 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 324786 318569 575 1214 0 323568 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1299144
[startup+222.32 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 12452
/proc/meminfo: memFree=26017700/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=1600948 CPUtime=222.3 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 406667 0 0 0 22133 97 0 0 25 0 1 0 823448189 1639370752 391649 33554432000 4194304 9163163 140735462547840 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 400237 391649 575 1214 0 399019 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1600948
[startup+282.3 s]
/proc/loadavg: 2.12 2.06 2.01 4/499 12454
/proc/meminfo: memFree=25554160/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=1838552 CPUtime=282.29 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 466826 0 0 0 28123 106 0 0 25 0 1 0 823448189 1882677248 451808 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 459638 451808 575 1214 0 458420 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1838552
[startup+342.301 s]
/proc/loadavg: 2.12 2.08 2.02 4/499 12456
/proc/meminfo: memFree=25223812/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=2038120 CPUtime=342.29 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 516749 0 0 0 34116 113 0 0 25 0 1 0 823448189 2087034880 501731 33554432000 4194304 9163163 140735462547840 18446744073709551615 4794567 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 509530 501731 575 1214 0 508312 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 2038120
[startup+402.301 s]
/proc/loadavg: 2.04 2.06 2.01 4/499 12458
/proc/meminfo: memFree=24918492/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=2217308 CPUtime=402.29 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 560774 0 0 0 40109 120 0 0 25 0 1 0 823448189 2270523392 545756 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 554327 545756 575 1214 0 553109 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 2217308
[startup+462.301 s]
/proc/loadavg: 2.01 2.05 2.01 4/499 12458
/proc/meminfo: memFree=24606124/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=2316536 CPUtime=462.29 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 585862 0 0 0 46105 124 0 0 25 0 1 0 823448189 2372132864 570844 33554432000 4194304 9163163 140735462547840 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 579134 570844 575 1214 0 577916 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2316536
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 4/499 12460
/proc/meminfo: memFree=24392940/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=2482284 CPUtime=522.29 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 626394 0 0 0 52099 130 0 0 25 0 1 0 823448189 2541858816 611376 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 620571 611376 575 1214 0 619353 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2482284
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 4/499 12462
/proc/meminfo: memFree=24131908/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=2631440 CPUtime=582.29 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 663888 0 0 0 58094 135 0 0 25 0 1 0 823448189 2694594560 648614 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 657860 648614 575 1214 0 656642 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2631440
[startup+642.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.04 2.05 2.01 4/499 12474
/proc/meminfo: memFree=23060636/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=3354512 CPUtime=1002.31 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 843267 0 0 0 100067 164 0 0 25 0 1 0 823448189 3435020288 827993 33554432000 4194304 9163163 140735462547840 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 838628 827993 579 1214 0 837410 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 3354512
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/499 12474
/proc/meminfo: memFree=22631568/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=3473932 CPUtime=1062.31 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 872994 0 0 0 106063 168 0 0 25 0 1 0 823448189 3557306368 857720 33554432000 4194304 9163163 140735462547840 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 868483 857720 579 1214 0 867265 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3473932
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/499 12476
/proc/meminfo: memFree=22531228/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=3554624 CPUtime=1122.31 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 893121 0 0 0 112059 172 0 0 25 0 1 0 823448189 3639934976 877847 33554432000 4194304 9163163 140735462547840 18446744073709551615 5458921 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 888656 877847 579 1214 0 887438 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3554624
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 12478
/proc/meminfo: memFree=22463632/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=3614836 CPUtime=1182.31 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 907885 0 0 0 118057 174 0 0 25 0 1 0 823448189 3701592064 892611 33554432000 4194304 9163163 140735462547840 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 903709 892611 579 1214 0 902491 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3614836
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 12480
/proc/meminfo: memFree=22370480/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=3685040 CPUtime=1242.3 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 925041 0 0 0 124054 176 0 0 25 0 1 0 823448189 3773480960 909767 33554432000 4194304 9163163 140735462547840 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 921260 909767 579 1214 0 920042 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3685040
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 12482
/proc/meminfo: memFree=22279808/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=3770244 CPUtime=1302.3 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 947391 0 0 0 130050 180 0 0 25 0 1 0 823448189 3860729856 932117 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 942561 932117 579 1214 0 941343 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 3770244
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 12482
/proc/meminfo: memFree=22221260/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=3827868 CPUtime=1362.3 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 961460 0 0 0 136047 183 0 0 25 0 1 0 823448189 3919736832 946186 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 956967 946186 579 1214 0 955749 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 3827868
[startup+1422.3 s]
/proc/loadavg: 2.22 2.05 2.02 4/499 12484
/proc/meminfo: memFree=22175496/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=3872764 CPUtime=1422.33 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 972478 0 0 0 142047 186 0 0 25 0 1 0 823448189 3965710336 957204 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 968191 957204 579 1214 0 966973 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3872764
[startup+1482.3 s]
/proc/loadavg: 2.21 2.07 2.02 4/499 12486
/proc/meminfo: memFree=22115952/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=3933424 CPUtime=1482.31 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 987232 0 0 0 148042 189 0 0 25 0 1 0 823448189 4027826176 971958 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 983356 971958 579 1214 0 982138 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 3933424
[startup+1542.32 s]
/proc/loadavg: 2.08 2.05 2.01 4/499 12488
/proc/meminfo: memFree=21994672/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=4023380 CPUtime=1542.33 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 1010302 0 0 0 154041 192 0 0 25 0 1 0 823448189 4119941120 995028 33554432000 4194304 9163163 140735462547840 18446744073709551615 5944296 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 1005845 995028 579 1214 0 1004627 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 4023380
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.01 4/499 12490
/proc/meminfo: memFree=21902508/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=4115712 CPUtime=1602.31 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 1033294 0 0 0 160036 195 0 0 25 0 1 0 823448189 4214489088 1018020 33554432000 4194304 9163163 140735462547840 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 1028928 1018020 579 1214 0 1027710 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 4115712
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/499 12490
/proc/meminfo: memFree=21815944/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=4204936 CPUtime=1662.31 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 1054979 0 0 0 166033 198 0 0 25 0 1 0 823448189 4305854464 1039705 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 1051234 1039705 579 1214 0 1050016 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 4204936
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 12492
/proc/meminfo: memFree=21761244/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=4259108 CPUtime=1722.31 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 1068774 0 0 0 172031 200 0 0 25 0 1 0 823448189 4361326592 1053500 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 1064777 1053500 579 1214 0 1063559 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 4259108
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 12494
/proc/meminfo: memFree=21653724/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=4364488 CPUtime=1782.31 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 1094898 0 0 0 178028 203 0 0 25 0 1 0 823448189 4469235712 1079624 33554432000 4194304 9163163 140735462547840 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 1091122 1079624 579 1214 0 1089904 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 4364488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 12494
/proc/meminfo: memFree=21635992/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=4380760 CPUtime=1800.03 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 1099400 0 0 0 179799 204 0 0 25 0 1 0 823448189 4485898240 1084126 33554432000 4194304 9163163 140735462547840 18446744073709551615 5464870 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12444/statm: 1095190 1084126 579 1214 0 1093972 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 4380760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.02 2.00 4/501 12496
/proc/meminfo: memFree=21664868/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=4285608 CPUtime=1800.73 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 1099779 0 0 0 179868 205 0 0 18 0 1 0 823448189 4388462592 1060256 33554432000 4194304 9163163 140735462547840 18446744073709551615 6923103 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12444/statm: 1071402 1060256 588 1214 0 1070184 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 4285608
[startup+1800.9 s]
/proc/loadavg: 2.00 2.02 2.00 4/501 12496
/proc/meminfo: memFree=21664868/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=3410780 CPUtime=1800.92 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 1099795 0 0 0 179882 210 0 0 18 0 1 0 823448189 3492638720 757232 33554432000 4194304 9163163 140735462547840 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12444/statm: 852695 756748 604 1214 0 851477 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 3410780
[startup+1801 s]
/proc/loadavg: 2.00 2.02 2.00 4/501 12496
/proc/meminfo: memFree=21664868/32951132 swapFree=57925096/67111528
[pid=12444] ppid=12442 vsize=2852196 CPUtime=1801.02 cores=0,2,4,6
/proc/12444/stat : 12444 (scip-2.0.1.4b.l) R 12442 12444 10513 0 -1 4202496 1099795 0 0 0 179882 220 0 0 18 0 1 0 823448189 2920648704 99514 33554432000 4194304 9163163 140735462547840 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12444/statm: 713049 99514 604 1214 0 711831 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 2852196
Child status: 0
Real time (s): 1801.02
CPU time (s): 1801.04
CPU user time (s): 1798.82
CPU system time (s): 2.21866
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4381776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 2.21866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1099797
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= 1367
runsolver used 9.55055 second user time and 21.2848 second system time
The end