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-3451833-1307118094.opb>
1.58/1.69 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256335 constraints
1.58/1.69 c problem read
1.58/1.69 c presolving settings loaded
2.09/2.15 c presolving:
8.68/8.74 c (round 1) 7294 del vars, 21555 del conss, 0 add conss, 5791 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17285556 impls, 0 clqs
11.28/11.31 c (round 2) 13595 del vars, 48162 del conss, 0 add conss, 11722 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17322574 impls, 0 clqs
11.99/12.10 c (round 3) 16088 del vars, 59765 del conss, 0 add conss, 13283 chg bounds, 59 chg sides, 55 chg coeffs, 0 upgd conss, 17337989 impls, 0 clqs
12.48/12.53 c (round 4) 17370 del vars, 65120 del conss, 0 add conss, 14120 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17347536 impls, 0 clqs
12.78/12.84 c (round 5) 18286 del vars, 68792 del conss, 0 add conss, 14705 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17354836 impls, 0 clqs
12.98/13.03 c (round 6) 18828 del vars, 71103 del conss, 0 add conss, 15013 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17359606 impls, 0 clqs
13.09/13.17 c (round 7) 19155 del vars, 72481 del conss, 0 add conss, 15207 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17363276 impls, 0 clqs
13.20/13.28 c (round 8) 19354 del vars, 73368 del conss, 0 add conss, 15317 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17365239 impls, 0 clqs
13.28/13.36 c (round 9) 19469 del vars, 73883 del conss, 0 add conss, 15373 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17366434 impls, 0 clqs
13.38/13.43 c (round 10) 19508 del vars, 74123 del conss, 0 add conss, 15393 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17366885 impls, 0 clqs
13.38/13.49 c (round 11) 19520 del vars, 74193 del conss, 0 add conss, 15399 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17366997 impls, 0 clqs
13.48/13.54 c (round 12) 19526 del vars, 74229 del conss, 0 add conss, 15402 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17367045 impls, 0 clqs
14.19/14.23 c (round 13) 19526 del vars, 74235 del conss, 0 add conss, 15402 chg bounds, 74 chg sides, 69 chg coeffs, 182100 upgd conss, 17367045 impls, 0 clqs
14.67/14.77 c (round 14) 19526 del vars, 74238 del conss, 35 add conss, 15402 chg bounds, 137 chg sides, 286 chg coeffs, 182100 upgd conss, 17367045 impls, 0 clqs
717.39/717.48 c (717.5s) probing: 1000/53316 (1.9%) - 5 fixings, 1 aggregations, 14733442 implications, 0 bound changes
1300.41/1300.45 c (1300.4s) probing: 2000/53316 (3.8%) - 5 fixings, 1 aggregations, 24570529 implications, 0 bound changes
1374.50/1374.56 c (1374.5s) probing: 2138/53316 (4.0%) - 5 fixings, 1 aggregations, 25731792 implications, 0 bound changes
1374.50/1374.56 c (1374.5s) probing aborted: 2000/2000 successive useless probings
1374.50/1374.56 c (round 15) 19532 del vars, 74242 del conss, 35 add conss, 15402 chg bounds, 140 chg sides, 300 chg coeffs, 182100 upgd conss, 109287675 impls, 0 clqs
1375.10/1375.12 c (round 16) 19532 del vars, 74613 del conss, 35 add conss, 15402 chg bounds, 140 chg sides, 467 chg coeffs, 182100 upgd conss, 109287675 impls, 0 clqs
1800.14/1800.15 c (1800.1s) probing: 2731/53316 (5.1%) - 17 fixings, 11 aggregations, 29868038 implications, 0 bound changes
1800.14/1800.15 c (1800.1s) probing aborted: solving stopped
1800.14/1800.15 c (round 17) 19554 del vars, 74613 del conss, 35 add conss, 15402 chg bounds, 140 chg sides, 470 chg coeffs, 182100 upgd conss, 124231543 impls, 0 clqs
1800.14/1800.15 c presolving (17 rounds):
1800.14/1800.15 c 19554 deleted vars, 74613 deleted constraints, 35 added constraints, 15402 tightened bounds, 0 added holes, 140 changed sides, 470 changed coefficients
1800.14/1800.15 c 124231543 implications, 0 cliques
1800.14/1800.15 c presolving was interrupted.
1800.14/1800.15 c Presolving Time: 1798.12
1800.14/1800.15 c - non default parameters ----------------------------------------------------------------------
1800.14/1800.15 c # SCIP version 2.0.1.5
1800.14/1800.15 c
1800.14/1800.15 c # frequency for displaying node information lines
1800.14/1800.15 c # [type: int, range: [-1,2147483647], default: 100]
1800.14/1800.15 c display/freq = 10000
1800.14/1800.15 c
1800.14/1800.15 c # maximal time in seconds to run
1800.14/1800.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.14/1800.15 c limits/time = 1800
1800.14/1800.15 c
1800.14/1800.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.14/1800.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.14/1800.15 c limits/memory = 13950
1800.14/1800.15 c
1800.14/1800.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.14/1800.15 c # [type: int, range: [1,2], default: 1]
1800.14/1800.15 c timing/clocktype = 2
1800.14/1800.15 c
1800.14/1800.15 c # belongs reading time to solving time?
1800.14/1800.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.14/1800.15 c timing/reading = TRUE
1800.14/1800.15 c
1800.14/1800.15 c # should presolving try to simplify inequalities
1800.14/1800.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.14/1800.15 c constraints/linear/simplifyinequalities = TRUE
1800.14/1800.15 c
1800.14/1800.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.14/1800.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.14/1800.15 c constraints/indicator/addCouplingCons = TRUE
1800.14/1800.15 c
1800.14/1800.15 c # should presolving try to simplify knapsacks
1800.14/1800.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.14/1800.15 c constraints/knapsack/simplifyinequalities = TRUE
1800.14/1800.15 c
1800.14/1800.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.14/1800.15 c # [type: int, range: [-1,2147483647], default: -1]
1800.14/1800.15 c separating/rapidlearning/freq = 0
1800.14/1800.15 c
1800.14/1800.15 c -----------------------------------------------------------------------------------------------
1800.14/1800.15 c start solving
1800.14/1800.18 c presolving:
1800.14/1800.18 c presolving (17 rounds):
1800.14/1800.18 c 19554 deleted vars, 74613 deleted constraints, 35 added constraints, 15402 tightened bounds, 0 added holes, 140 changed sides, 470 changed coefficients
1800.14/1800.18 c 124231543 implications, 0 cliques
1800.14/1800.18 c presolving was interrupted.
1800.14/1800.18 c Presolving Time: 1798.16
1800.14/1800.18 c
1800.14/1800.18 c SCIP Status : solving was interrupted [time limit reached]
1800.14/1800.18 c Solving Time (sec) : 1800.16
1800.14/1800.18 c Solving Nodes : 0
1800.14/1800.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.14/1800.18 s UNKNOWN
1800.14/1800.18 c SCIP Status : solving was interrupted [time limit reached]
1800.14/1800.18 c Total Time : 1800.16
1800.14/1800.18 c solving : 1800.16
1800.14/1800.18 c presolving : 1798.16 (included in solving)
1800.14/1800.18 c reading : 1.67 (included in solving)
1800.14/1800.18 c Original Problem :
1800.14/1800.18 c Problem name : HOME/instance-3451833-1307118094.opb
1800.14/1800.18 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.18 c Constraints : 256335 initial, 256335 maximal
1800.14/1800.18 c Presolved Problem :
1800.14/1800.18 c Problem name : t_HOME/instance-3451833-1307118094.opb
1800.14/1800.18 c Variables : 53288 (53288 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.18 c Constraints : 181757 initial, 181757 maximal
1800.14/1800.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.14/1800.18 c trivial : 0.05 1006 0 0 0 0 0 0 0 0
1800.14/1800.18 c dualfix : 0.07 120 0 0 0 0 0 0 0 0
1800.14/1800.18 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.14/1800.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.14/1800.18 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.14/1800.18 c implics : 0.83 0 0 0 0 0 0 0 0 0
1800.14/1800.18 c probing : 1784.25 17 11 0 0 0 0 0 0 0
1800.14/1800.18 c knapsack : 0.73 0 0 0 0 0 7 35 66 401
1800.14/1800.18 c setppc : 0.44 0 0 0 0 0 369 0 0 0
1800.14/1800.18 c linear : 11.31 14396 4004 0 15402 0 74235 0 74 69
1800.14/1800.18 c logicor : 0.09 0 0 0 0 0 2 0 0 0
1800.14/1800.18 c root node : - 0 - - 0 - - - - -
1800.14/1800.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.14/1800.18 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.14/1800.18 c knapsack : 0+ 0 121133 0 0 0 0 2 0 0 0 0
1800.14/1800.18 c setppc : 0+ 0 121131 0 0 0 0 10 0 0 0 0
1800.14/1800.18 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.14/1800.18 c logicor : 0+ 0 110805 0 0 0 0 1 0 0 0 0
1800.14/1800.18 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.14/1800.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.14/1800.18 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.14/1800.18 c knapsack : 7.41 0.00 7.41 0.00 0.00 0.00 0.00
1800.14/1800.18 c setppc : 711.09 0.00 711.09 0.00 0.00 0.00 0.00
1800.14/1800.18 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.14/1800.18 c logicor : 12.53 0.00 12.53 0.00 0.00 0.00 0.00
1800.14/1800.18 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.14/1800.18 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.14/1800.18 c vbounds : 0 0 0 0
1800.14/1800.18 c rootredcost : 0 0 0 0
1800.14/1800.18 c pseudoobj : 0 0 0 0
1800.14/1800.18 c Propagator Timings : TotalTime Propagate Resprop
1800.14/1800.18 c vbounds : 0.05 0.05 0.00
1800.14/1800.18 c rootredcost : 0.04 0.04 0.00
1800.14/1800.18 c pseudoobj : 0.02 0.02 0.00
1800.14/1800.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.14/1800.18 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.14/1800.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.14/1800.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.14/1800.18 c applied globally : - - - 0 0.0 - - -
1800.14/1800.18 c applied locally : - - - 0 0.0 - - -
1800.82/1800.83 c Time complete: 1800.85.
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-3451833-1307118094/watcher-3451833-1307118094 -o /tmp/evaluation-result-3451833-1307118094/solver-3451833-1307118094 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451833-1307118094.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: 1.05 1.51 1.80 5/476 23353
/proc/meminfo: memFree=21399588/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=9176 CPUtime=0 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1162 0 0 0 0 0 0 0 20 0 1 0 804224725 9396224 1116 33554432000 4194304 9163163 140736075053584 18446744073709551615 4339108 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/23353/statm: 2294 1116 233 1214 0 1076 0
[startup+0.0695151 s]
/proc/loadavg: 1.05 1.51 1.80 5/476 23353
/proc/meminfo: memFree=21399588/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=23340 CPUtime=0.04 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 4807 0 0 0 4 0 0 0 20 0 1 0 804224725 23900160 4761 33554432000 4194304 9163163 140736075053584 18446744073709551615 8041844 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/23353/statm: 5835 4761 395 1214 0 4617 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23340
[startup+0.100544 s]
/proc/loadavg: 1.05 1.51 1.80 5/476 23353
/proc/meminfo: memFree=21399588/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=27780 CPUtime=0.07 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 5945 0 0 0 7 0 0 0 20 0 1 0 804224725 28446720 5899 33554432000 4194304 9163163 140736075053584 18446744073709551615 8031157 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23353/statm: 6945 5899 395 1214 0 5727 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27780
[startup+0.300509 s]
/proc/loadavg: 1.05 1.51 1.80 5/476 23353
/proc/meminfo: memFree=21399588/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=55656 CPUtime=0.27 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 12908 0 0 0 26 1 0 0 21 0 1 0 804224725 56991744 12862 33554432000 4194304 9163163 140736075053584 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23353/statm: 13914 12862 395 1214 0 12696 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 55656
[startup+0.700439 s]
/proc/loadavg: 1.05 1.51 1.80 5/476 23353
/proc/meminfo: memFree=21399588/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=80588 CPUtime=0.68 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 19141 0 0 0 66 2 0 0 22 0 1 0 804224725 82522112 19095 33554432000 4194304 9163163 140736075053584 18446744073709551615 4485353 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23353/statm: 20147 19095 395 1214 0 18929 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 80588
[startup+1.5003 s]
/proc/loadavg: 1.05 1.51 1.80 3/478 23355
/proc/meminfo: memFree=21210596/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=147052 CPUtime=1.47 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 35656 0 0 0 144 3 0 0 25 0 1 0 804224725 150581248 35610 33554432000 4194304 9163163 140736075053584 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23353/statm: 36763 35610 395 1214 0 35545 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 147052
[startup+3.10101 s]
/proc/loadavg: 1.05 1.51 1.80 4/478 23355
/proc/meminfo: memFree=20677932/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=509972 CPUtime=3.07 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 125197 0 0 0 293 14 0 0 25 0 1 0 804224725 522211328 125131 33554432000 4194304 9163163 140736075053584 18446744073709551615 6923176 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 127493 125131 506 1214 0 126275 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 509972
[startup+6.30045 s]
/proc/loadavg: 1.21 1.54 1.81 4/478 23355
/proc/meminfo: memFree=20035020/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=779760 CPUtime=6.28 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 192053 0 0 0 605 23 0 0 25 0 1 0 804224725 798474240 191987 33554432000 4194304 9163163 140736075053584 18446744073709551615 6555872 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 194940 191987 506 1214 0 193722 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 779760
[startup+12.7003 s]
/proc/loadavg: 1.27 1.54 1.81 4/478 23356
/proc/meminfo: memFree=19656124/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=907832 CPUtime=12.68 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 221786 0 0 0 1242 26 0 0 25 0 1 0 804224725 929619968 221463 33554432000 4194304 9163163 140736075053584 18446744073709551615 6568758 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 226958 221463 518 1214 0 225740 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 907832
[startup+25.5011 s]
/proc/loadavg: 1.43 1.57 1.81 4/478 23356
/proc/meminfo: memFree=19447384/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=1040608 CPUtime=25.48 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 270602 0 0 0 2517 31 0 0 25 0 1 0 804224725 1065582592 253139 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 260152 253139 686 1214 0 258934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1040608
[startup+51.1005 s]
/proc/loadavg: 1.62 1.60 1.81 4/478 23357
/proc/meminfo: memFree=19359620/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=1087872 CPUtime=51.08 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 282003 0 0 0 5075 33 0 0 25 0 1 0 804224725 1113980928 264507 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 271968 264507 686 1214 0 270750 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1087872
[startup+102.318 s]
/proc/loadavg: 1.84 1.66 1.82 4/478 23358
/proc/meminfo: memFree=19067992/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=1226288 CPUtime=102.3 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 316450 0 0 0 10193 37 0 0 25 0 1 0 804224725 1255718912 298954 33554432000 4194304 9163163 140736075053584 18446744073709551615 5460089 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 306572 298954 686 1214 0 305354 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1226288
[startup+162.301 s]
/proc/loadavg: 1.94 1.72 1.83 4/478 23360
/proc/meminfo: memFree=18807448/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=1325280 CPUtime=162.28 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 340633 0 0 0 16188 40 0 0 25 0 1 0 804224725 1357086720 323104 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567539 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 331320 323104 686 1214 0 330102 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1325280
[startup+222.3 s]
/proc/loadavg: 1.98 1.77 1.83 4/478 23364
/proc/meminfo: memFree=18543556/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=1498048 CPUtime=222.28 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 383552 0 0 0 22184 44 0 0 25 0 1 0 804224725 1534001152 366023 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 374512 366023 686 1214 0 373294 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1498048
[startup+282.301 s]
/proc/loadavg: 1.99 1.81 1.84 4/478 23366
/proc/meminfo: memFree=18112160/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=1769080 CPUtime=282.28 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 450818 0 0 0 28176 52 0 0 25 0 1 0 804224725 1811537920 433289 33554432000 4194304 9163163 140736075053584 18446744073709551615 5464963 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 442270 433289 686 1214 0 441052 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1769080
[startup+342.301 s]
/proc/loadavg: 1.99 1.84 1.84 4/478 23367
/proc/meminfo: memFree=17664128/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=2072344 CPUtime=342.28 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 526161 0 0 0 34167 61 0 0 25 0 1 0 804224725 2122080256 508632 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 518086 508632 686 1214 0 516868 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 2072344
[startup+402.3 s]
/proc/loadavg: 2.14 1.91 1.87 4/478 23369
/proc/meminfo: memFree=17291496/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=2249660 CPUtime=402.28 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 569773 0 0 0 40160 68 0 0 25 0 1 0 804224725 2303651840 552244 33554432000 4194304 9163163 140736075053584 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 562415 552244 686 1214 0 561197 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 2249660
[startup+462.301 s]
/proc/loadavg: 2.14 1.95 1.88 4/478 23371
/proc/meminfo: memFree=16891200/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=2476816 CPUtime=462.28 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 626625 0 0 0 46152 76 0 0 25 0 1 0 804224725 2536259584 609096 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 619204 609096 686 1214 0 617986 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2476816
[startup+522.3 s]
/proc/loadavg: 2.05 1.96 1.89 4/478 23372
/proc/meminfo: memFree=16515088/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=2649556 CPUtime=522.29 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 668946 0 0 0 52147 82 0 0 25 0 1 0 804224725 2713145344 651417 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 662389 651417 686 1214 0 661171 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2649556
[startup+582.301 s]
/proc/loadavg: 2.02 1.97 1.89 4/478 23374
/proc/meminfo: memFree=16298940/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=2764404 CPUtime=582.29 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 697662 0 0 0 58143 86 0 0 25 0 1 0 804224725 2830749696 680133 33554432000 4194304 9163163 140736075053584 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 691101 680133 686 1214 0 689883 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2764404
[startup+642.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.20 2.02 1.93 4/478 23383
/proc/meminfo: memFree=14827072/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=3577596 CPUtime=942.29 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 900164 0 0 0 94116 113 0 0 25 0 1 0 804224725 3663458304 882635 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567818 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 894399 882635 690 1214 0 893181 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 3577596
[startup+1002.3 s]
/proc/loadavg: 2.20 2.05 1.94 4/478 23385
/proc/meminfo: memFree=14694376/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=3654880 CPUtime=1002.3 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 919759 0 0 0 100113 117 0 0 25 0 1 0 804224725 3742597120 902230 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567062 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 913720 902230 690 1214 0 912502 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 3654880
[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 1.94 4/478 23387
/proc/meminfo: memFree=14536136/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=3763232 CPUtime=1062.3 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 946403 0 0 0 106109 121 0 0 25 0 1 0 804224725 3853549568 928874 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 940808 928874 690 1214 0 939590 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 3763232
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 1.94 4/478 23388
/proc/meminfo: memFree=14406772/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=3826280 CPUtime=1122.3 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 962651 0 0 0 112106 124 0 0 25 0 1 0 804224725 3918110720 945122 33554432000 4194304 9163163 140736075053584 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 956570 945122 690 1214 0 955352 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 3826280
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.94 4/478 23390
/proc/meminfo: memFree=14217784/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=3897340 CPUtime=1182.3 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 979899 0 0 0 118104 126 0 0 25 0 1 0 804224725 3990876160 962370 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 974335 962370 690 1214 0 973117 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3897340
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/478 23391
/proc/meminfo: memFree=14035480/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=3968352 CPUtime=1242.3 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 997699 0 0 0 124101 129 0 0 25 0 1 0 804224725 4063592448 980170 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 992088 980170 690 1214 0 990870 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3968352
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/478 23393
/proc/meminfo: memFree=13856408/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=4059556 CPUtime=1302.32 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1020179 0 0 0 130099 133 0 0 25 0 1 0 804224725 4156985344 1002650 33554432000 4194304 9163163 140736075053584 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 1014889 1002650 690 1214 0 1013671 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 4059556
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/478 23395
/proc/meminfo: memFree=13682660/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=4123268 CPUtime=1362.31 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1035776 0 0 0 136096 135 0 0 25 0 1 0 804224725 4222226432 1018247 33554432000 4194304 9163163 140736075053584 18446744073709551615 5460491 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 1030817 1018247 690 1214 0 1029599 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 4123268
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.94 4/478 23396
/proc/meminfo: memFree=13544624/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=4178472 CPUtime=1422.33 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1049906 0 0 0 142096 137 0 0 25 0 1 0 804224725 4278755328 1032377 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 1044618 1032377 690 1214 0 1043400 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 4178472
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/478 23398
/proc/meminfo: memFree=13378328/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=4239840 CPUtime=1482.31 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1065176 0 0 0 148092 139 0 0 25 0 1 0 804224725 4341596160 1047647 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 1059960 1047647 690 1214 0 1058742 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 4239840
[startup+1542.3 s]
/proc/loadavg: 2.14 2.05 1.96 4/478 23399
/proc/meminfo: memFree=13236452/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=4272560 CPUtime=1542.31 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1073274 0 0 0 154091 140 0 0 25 0 1 0 804224725 4375101440 1055745 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 1068140 1055745 690 1214 0 1066922 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 4272560
[startup+1602.3 s]
/proc/loadavg: 2.11 2.07 1.97 4/478 23401
/proc/meminfo: memFree=13089240/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=4305476 CPUtime=1602.31 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1081681 0 0 0 160090 141 0 0 25 0 1 0 804224725 4408807424 1064152 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 1076369 1064152 690 1214 0 1075151 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 4305476
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 1.97 4/478 23403
/proc/meminfo: memFree=12894168/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=4383996 CPUtime=1662.32 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1101311 0 0 0 166088 144 0 0 25 0 1 0 804224725 4489211904 1083782 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 1095999 1083782 690 1214 0 1094781 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 4383996
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 1.97 4/478 23404
/proc/meminfo: memFree=12704676/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=4464368 CPUtime=1722.31 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1120563 0 0 0 172085 146 0 0 25 0 1 0 804224725 4571512832 1103034 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 1116092 1103034 690 1214 0 1114874 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 4464368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.97 4/478 23406
/proc/meminfo: memFree=12547552/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=4516908 CPUtime=1782.31 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1133982 0 0 0 178083 148 0 0 25 0 1 0 804224725 4625313792 1116453 33554432000 4194304 9163163 140736075053584 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 1129227 1116453 690 1214 0 1128009 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 4516908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 1.97 4/478 23406
/proc/meminfo: memFree=12500296/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=4538656 CPUtime=1800.04 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1139201 0 0 0 179854 150 0 0 25 0 1 0 804224725 4647583744 1121672 33554432000 4194304 9163163 140736075053584 18446744073709551615 5458865 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23353/statm: 1134664 1121672 690 1214 0 1133446 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4538656
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 1.97 4/480 23408
/proc/meminfo: memFree=13273120/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=4136024 CPUtime=1800.63 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1140178 0 0 0 179911 152 0 0 18 0 1 0 804224725 4235288576 1021716 33554432000 4194304 9163163 140736075053584 18446744073709551615 4443972 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23353/statm: 1034006 1021716 704 1214 0 1032788 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 4136024
[startup+1800.8 s]
/proc/loadavg: 2.00 2.03 1.97 4/480 23408
/proc/meminfo: memFree=13273120/32951124 swapFree=67057928/67111528
[pid=23353] ppid=23349 vsize=1126932 CPUtime=1800.82 cores=1,3,5,7
/proc/23353/stat : 23353 (scip-2.0.1.4b.l) R 23349 23353 20996 0 -1 4202496 1140189 0 0 0 179917 165 0 0 18 0 1 0 804224725 1153978368 214872 33554432000 4194304 9163163 140736075053584 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23353/statm: 281733 214872 715 1214 0 280515 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 1126932
Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.86
CPU user time (s): 1799.17
CPU system time (s): 1.68774
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4538656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 1.68774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1140191
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= 5
involuntary context switches= 1060
runsolver used 7.8938 second user time and 21.5297 second system time
The end