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-3451831-1307118498.opb>
1.59/1.67 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256396 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.67 c (round 1) 8360 del vars, 25095 del conss, 0 add conss, 6775 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17055776 impls, 0 clqs
11.19/11.24 c (round 2) 14908 del vars, 54185 del conss, 0 add conss, 13055 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17092519 impls, 0 clqs
12.00/12.04 c (round 3) 17603 del vars, 66985 del conss, 0 add conss, 14626 chg bounds, 45 chg sides, 35 chg coeffs, 0 upgd conss, 17111289 impls, 0 clqs
12.49/12.52 c (round 4) 18843 del vars, 72206 del conss, 0 add conss, 15518 chg bounds, 46 chg sides, 38 chg coeffs, 0 upgd conss, 17119734 impls, 0 clqs
12.69/12.77 c (round 5) 19605 del vars, 75470 del conss, 0 add conss, 15979 chg bounds, 46 chg sides, 38 chg coeffs, 0 upgd conss, 17125629 impls, 0 clqs
12.89/12.94 c (round 6) 20027 del vars, 77218 del conss, 0 add conss, 16221 chg bounds, 49 chg sides, 41 chg coeffs, 0 upgd conss, 17129263 impls, 0 clqs
12.99/13.05 c (round 7) 20246 del vars, 78218 del conss, 0 add conss, 16356 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17131332 impls, 0 clqs
13.10/13.15 c (round 8) 20386 del vars, 78790 del conss, 0 add conss, 16427 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17132757 impls, 0 clqs
13.21/13.22 c (round 9) 20462 del vars, 79160 del conss, 0 add conss, 16471 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17133393 impls, 0 clqs
13.21/13.29 c (round 10) 20504 del vars, 79361 del conss, 0 add conss, 16495 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17133826 impls, 0 clqs
13.29/13.35 c (round 11) 20534 del vars, 79485 del conss, 0 add conss, 16510 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134124 impls, 0 clqs
13.39/13.42 c (round 12) 20550 del vars, 79571 del conss, 0 add conss, 16519 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134242 impls, 0 clqs
13.39/13.48 c (round 13) 20556 del vars, 79606 del conss, 0 add conss, 16522 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134308 impls, 0 clqs
672.41/672.43 c (672.4s) probing: 1000/52282 (1.9%) - 8 fixings, 4 aggregations, 14741387 implications, 0 bound changes
1193.02/1193.08 c (1193.1s) probing: 2000/52282 (3.8%) - 10 fixings, 4 aggregations, 23766314 implications, 0 bound changes
1649.13/1649.10 c (1649.1s) probing: 3000/52282 (5.7%) - 12 fixings, 5 aggregations, 31533207 implications, 0 bound changes
1800.05/1800.05 c (1800.0s) probing: 3346/52282 (6.4%) - 12 fixings, 5 aggregations, 34129574 implications, 0 bound changes
1800.05/1800.05 c (1800.0s) probing aborted: solving stopped
1800.05/1800.05 c (round 14) 20577 del vars, 79629 del conss, 0 add conss, 16524 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 133664324 impls, 0 clqs
1800.05/1800.05 c presolving (14 rounds):
1800.05/1800.05 c 20577 deleted vars, 79629 deleted constraints, 0 added constraints, 16524 tightened bounds, 0 added holes, 52 changed sides, 44 changed coefficients
1800.05/1800.05 c 133664324 implications, 0 cliques
1800.05/1800.05 c presolving was interrupted.
1800.05/1800.05 c Presolving Time: 1798.04
1800.05/1800.05 c - non default parameters ----------------------------------------------------------------------
1800.05/1800.05 c # SCIP version 2.0.1.5
1800.05/1800.05 c
1800.05/1800.05 c # frequency for displaying node information lines
1800.05/1800.05 c # [type: int, range: [-1,2147483647], default: 100]
1800.05/1800.05 c display/freq = 10000
1800.05/1800.05 c
1800.05/1800.05 c # maximal time in seconds to run
1800.05/1800.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.05/1800.05 c limits/time = 1800
1800.05/1800.05 c
1800.05/1800.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.05/1800.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.05/1800.05 c limits/memory = 13950
1800.05/1800.05 c
1800.05/1800.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.05/1800.05 c # [type: int, range: [1,2], default: 1]
1800.05/1800.05 c timing/clocktype = 2
1800.05/1800.05 c
1800.05/1800.05 c # belongs reading time to solving time?
1800.05/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.05 c timing/reading = TRUE
1800.05/1800.05 c
1800.05/1800.05 c # should presolving try to simplify inequalities
1800.05/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.05 c constraints/linear/simplifyinequalities = TRUE
1800.05/1800.05 c
1800.05/1800.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.05/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.05 c constraints/indicator/addCouplingCons = TRUE
1800.05/1800.05 c
1800.05/1800.05 c # should presolving try to simplify knapsacks
1800.05/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.05 c constraints/knapsack/simplifyinequalities = TRUE
1800.05/1800.05 c
1800.05/1800.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.05/1800.05 c # [type: int, range: [-1,2147483647], default: -1]
1800.05/1800.05 c separating/rapidlearning/freq = 0
1800.05/1800.05 c
1800.05/1800.05 c -----------------------------------------------------------------------------------------------
1800.05/1800.05 c start solving
1800.05/1800.08 c presolving:
1800.05/1800.08 c presolving (14 rounds):
1800.05/1800.08 c 20577 deleted vars, 79629 deleted constraints, 0 added constraints, 16524 tightened bounds, 0 added holes, 52 changed sides, 44 changed coefficients
1800.05/1800.08 c 133664324 implications, 0 cliques
1800.05/1800.08 c presolving was interrupted.
1800.05/1800.08 c Presolving Time: 1798.08
1800.05/1800.08 c
1800.05/1800.08 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.08 c Solving Time (sec) : 1800.08
1800.05/1800.08 c Solving Nodes : 0
1800.05/1800.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.08 s UNKNOWN
1800.05/1800.08 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.08 c Total Time : 1800.08
1800.05/1800.08 c solving : 1800.08
1800.05/1800.08 c presolving : 1798.08 (included in solving)
1800.05/1800.08 c reading : 1.67 (included in solving)
1800.05/1800.08 c Original Problem :
1800.05/1800.08 c Problem name : HOME/instance-3451831-1307118498.opb
1800.05/1800.08 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.08 c Constraints : 256396 initial, 256396 maximal
1800.05/1800.08 c Presolved Problem :
1800.05/1800.08 c Problem name : t_HOME/instance-3451831-1307118498.opb
1800.05/1800.08 c Variables : 52265 (52265 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.08 c Constraints : 176767 initial, 176767 maximal
1800.05/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.08 c trivial : 0.04 1076 0 0 0 0 0 0 0 0
1800.05/1800.08 c dualfix : 0.06 124 0 0 0 0 0 0 0 0
1800.05/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.08 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.08 c implics : 0.47 0 0 0 0 0 0 0 0 0
1800.05/1800.08 c probing : 1786.49 12 5 0 0 0 0 0 0 0
1800.05/1800.08 c linear : 10.78 15448 3912 0 16524 0 79629 0 52 44
1800.05/1800.08 c root node : - 0 - - 0 - - - - -
1800.05/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.05/1800.08 c linear : 0+ 0 175584 0 0 0 0 8 0 0 0 0
1800.05/1800.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.05/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.08 c linear : 881.45 0.00 881.45 0.00 0.00 0.00 0.00
1800.05/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.08 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.08 c vbounds : 0 0 0 0
1800.05/1800.08 c rootredcost : 0 0 0 0
1800.05/1800.08 c pseudoobj : 0 0 0 0
1800.05/1800.08 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.08 c vbounds : 0.08 0.08 0.00
1800.05/1800.08 c rootredcost : 0.05 0.05 0.00
1800.05/1800.08 c pseudoobj : 0.03 0.03 0.00
1800.05/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.08 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.08 c applied globally : - - - 0 0.0 - - -
1800.05/1800.08 c applied locally : - - - 0 0.0 - - -
1800.64/1800.70 c Time complete: 1800.73.
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-3451831-1307118498/watcher-3451831-1307118498 -o /tmp/evaluation-result-3451831-1307118498/solver-3451831-1307118498 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451831-1307118498.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.05 2.01 2/424 26102
/proc/meminfo: memFree=23524108/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=14532 CPUtime=0 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 2621 0 0 0 0 0 0 0 25 0 1 0 823448018 14880768 2574 33554432000 4194304 9163163 140736072008720 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26102/statm: 3633 2574 395 1214 0 2415 0
[startup+0.0842171 s]
/proc/loadavg: 2.02 2.05 2.01 2/424 26102
/proc/meminfo: memFree=23524108/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=27784 CPUtime=0.07 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 5946 0 0 0 7 0 0 0 25 0 1 0 823448018 28450816 5899 33554432000 4194304 9163163 140736072008720 18446744073709551615 7480106 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26102/statm: 6946 5899 395 1214 0 5728 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27784
[startup+0.100211 s]
/proc/loadavg: 2.02 2.05 2.01 2/424 26102
/proc/meminfo: memFree=23524108/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=30076 CPUtime=0.09 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 6520 0 0 0 9 0 0 0 25 0 1 0 823448018 30797824 6473 33554432000 4194304 9163163 140736072008720 18446744073709551615 7480092 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26102/statm: 7519 6473 395 1214 0 6301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30076
[startup+0.300174 s]
/proc/loadavg: 2.02 2.05 2.01 2/424 26102
/proc/meminfo: memFree=23524108/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=56892 CPUtime=0.29 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 13204 0 0 0 28 1 0 0 25 0 1 0 823448018 58257408 13157 33554432000 4194304 9163163 140736072008720 18446744073709551615 6137575 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26102/statm: 14223 13157 395 1214 0 13005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56892
[startup+0.701102 s]
/proc/loadavg: 2.02 2.05 2.01 2/424 26102
/proc/meminfo: memFree=23524108/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=80900 CPUtime=0.69 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 19182 0 0 0 67 2 0 0 25 0 1 0 823448018 82841600 19135 33554432000 4194304 9163163 140736072008720 18446744073709551615 7481008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26102/statm: 20225 19135 395 1214 0 19007 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80900
[startup+1.50096 s]
/proc/loadavg: 2.02 2.05 2.01 3/425 26103
/proc/meminfo: memFree=23424900/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=149252 CPUtime=1.49 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 36214 0 0 0 144 5 0 0 25 0 1 0 823448018 152834048 36167 33554432000 4194304 9163163 140736072008720 18446744073709551615 6168624 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26102/statm: 37313 36167 395 1214 0 36095 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 149252
[startup+3.10067 s]
/proc/loadavg: 2.02 2.05 2.01 3/425 26103
/proc/meminfo: memFree=23148256/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=510120 CPUtime=3.09 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 125219 0 0 0 293 16 0 0 25 0 1 0 823448018 522362880 125144 33554432000 4194304 9163163 140736072008720 18446744073709551615 6919044 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 127530 125144 506 1214 0 126312 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510120
[startup+6.30108 s]
/proc/loadavg: 2.02 2.05 2.01 3/425 26103
/proc/meminfo: memFree=22818548/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=779228 CPUtime=6.29 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 191398 0 0 0 605 24 0 0 25 0 1 0 823448018 797929472 191323 33554432000 4194304 9163163 140736072008720 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 194807 191323 506 1214 0 193589 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 779228
[startup+12.7009 s]
/proc/loadavg: 2.02 2.05 2.01 3/425 26103
/proc/meminfo: memFree=22623460/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=896668 CPUtime=12.69 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 219256 0 0 0 1242 27 0 0 25 0 1 0 823448018 918188032 218924 33554432000 4194304 9163163 140736072008720 18446744073709551615 6568758 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 224167 218924 518 1214 0 222949 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 896668
[startup+25.5006 s]
/proc/loadavg: 2.01 2.05 2.01 3/425 26103
/proc/meminfo: memFree=22560456/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=953636 CPUtime=25.5 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 232882 0 0 0 2521 29 0 0 25 0 1 0 823448018 976523264 232452 33554432000 4194304 9163163 140736072008720 18446744073709551615 6567497 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 238409 232452 555 1214 0 237191 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 953636
[startup+51.1009 s]
/proc/loadavg: 2.09 2.06 2.01 3/425 26104
/proc/meminfo: memFree=22491336/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=1003200 CPUtime=51.09 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 244605 0 0 0 5079 30 0 0 25 0 1 0 823448018 1027276800 244175 33554432000 4194304 9163163 140736072008720 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 250800 244175 555 1214 0 249582 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1003200
[startup+102.316 s]
/proc/loadavg: 2.03 2.05 2.00 3/425 26105
/proc/meminfo: memFree=22286844/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=1148772 CPUtime=102.3 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 281182 0 0 0 10196 34 0 0 25 0 1 0 823448018 1176342528 280752 33554432000 4194304 9163163 140736072008720 18446744073709551615 5149579 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 287193 280752 555 1214 0 285975 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1148772
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 26107
/proc/meminfo: memFree=22091148/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=1306152 CPUtime=162.29 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 319292 0 0 0 16191 38 0 0 25 0 1 0 823448018 1337499648 318862 33554432000 4194304 9163163 140736072008720 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 326538 318862 555 1214 0 325320 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1306152
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26108
/proc/meminfo: memFree=21754084/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=1582864 CPUtime=222.29 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 387488 0 0 0 22184 45 0 0 25 0 1 0 823448018 1620852736 387058 33554432000 4194304 9163163 140736072008720 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 395716 387058 555 1214 0 394498 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1582864
[startup+282.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/425 26110
/proc/meminfo: memFree=21399044/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=1896420 CPUtime=282.3 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 465684 0 0 0 28175 55 0 0 25 0 1 0 823448018 1941934080 465254 33554432000 4194304 9163163 140736072008720 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 474105 465254 555 1214 0 472887 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1896420
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 26112
/proc/meminfo: memFree=21105140/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=2135780 CPUtime=342.29 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 524853 0 0 0 34166 63 0 0 25 0 1 0 823448018 2187038720 524423 33554432000 4194304 9163163 140736072008720 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 533945 524423 555 1214 0 532727 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 2135780
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 26113
/proc/meminfo: memFree=20672584/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=2245120 CPUtime=402.3 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 552489 0 0 0 40163 67 0 0 25 0 1 0 823448018 2299002880 552059 33554432000 4194304 9163163 140736072008720 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 561280 552059 555 1214 0 560062 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2245120
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 26115
/proc/meminfo: memFree=20462996/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=2419760 CPUtime=462.3 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 595972 0 0 0 46157 73 0 0 25 0 1 0 823448018 2477834240 595542 33554432000 4194304 9163163 140736072008720 18446744073709551615 4219851 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 604940 595542 555 1214 0 603722 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2419760
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 26116
/proc/meminfo: memFree=20298420/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=2560868 CPUtime=522.3 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 630108 0 0 0 52151 79 0 0 25 0 1 0 823448018 2622328832 629678 33554432000 4194304 9163163 140736072008720 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 640217 629678 555 1214 0 638999 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2560868
[startup+582.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/425 26118
/proc/meminfo: memFree=20126540/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=2728248 CPUtime=582.3 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 672325 0 0 0 58144 86 0 0 25 0 1 0 823448018 2793725952 671895 33554432000 4194304 9163163 140736072008720 18446744073709551615 5150158 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 682062 671895 555 1214 0 680844 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2728248
[startup+642.301 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/425 26128
/proc/meminfo: memFree=19373052/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=3450652 CPUtime=942.32 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 850932 0 0 0 94119 113 0 0 25 0 1 0 823448018 3533467648 850502 33554432000 4194304 9163163 140736072008720 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 862663 850502 559 1214 0 861445 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 3450652
[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 26129
/proc/meminfo: memFree=19294536/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=3528420 CPUtime=1002.32 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 870514 0 0 0 100115 117 0 0 25 0 1 0 823448018 3613102080 870084 33554432000 4194304 9163163 140736072008720 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 882105 870084 559 1214 0 880887 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3528420
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26131
/proc/meminfo: memFree=19210176/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=3610688 CPUtime=1062.31 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 891293 0 0 0 106110 121 0 0 25 0 1 0 823448018 3697344512 890863 33554432000 4194304 9163163 140736072008720 18446744073709551615 5150158 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 902672 890863 559 1214 0 901454 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3610688
[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/425 26160
/proc/meminfo: memFree=21253300/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=3684992 CPUtime=1122.32 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 909715 0 0 0 112107 125 0 0 25 0 1 0 823448018 3773431808 909285 33554432000 4194304 9163163 140736072008720 18446744073709551615 4823880 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 921248 909285 559 1214 0 920030 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3684992
[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/425 26162
/proc/meminfo: memFree=21058640/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=3769176 CPUtime=1182.31 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 931625 0 0 0 118103 128 0 0 25 0 1 0 823448018 3859636224 931195 33554432000 4194304 9163163 140736072008720 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 942294 931195 559 1214 0 941076 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3769176
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 26164
/proc/meminfo: memFree=20814092/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=3864060 CPUtime=1242.32 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 954504 0 0 0 124101 131 0 0 25 0 1 0 823448018 3956797440 954074 33554432000 4194304 9163163 140736072008720 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 966015 954074 559 1214 0 964797 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3864060
[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/425 26165
/proc/meminfo: memFree=20591736/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=3938648 CPUtime=1302.33 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 972435 0 0 0 130099 134 0 0 25 0 1 0 823448018 4033175552 972005 33554432000 4194304 9163163 140736072008720 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 984662 972005 559 1214 0 983444 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3938648
[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/425 26167
/proc/meminfo: memFree=20366400/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=4023056 CPUtime=1362.33 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 993704 0 0 0 136096 137 0 0 25 0 1 0 823448018 4119609344 993274 33554432000 4194304 9163163 140736072008720 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 1005764 993274 559 1214 0 1004546 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 4023056
[startup+1422.32 s]
/proc/loadavg: 2.05 2.05 2.00 3/425 26168
/proc/meminfo: memFree=20107700/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=4085992 CPUtime=1422.34 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 1009826 0 0 0 142095 139 0 0 25 0 1 0 823448018 4184055808 1009396 33554432000 4194304 9163163 140736072008720 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 1021498 1009396 559 1214 0 1020280 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 4085992
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 26170
/proc/meminfo: memFree=19934804/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=4145924 CPUtime=1482.33 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 1023679 0 0 0 148092 141 0 0 25 0 1 0 823448018 4245426176 1023249 33554432000 4194304 9163163 140736072008720 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 1036481 1023249 559 1214 0 1035263 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 4145924
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 26172
/proc/meminfo: memFree=19722984/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=4238220 CPUtime=1542.33 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 1046939 0 0 0 154088 145 0 0 25 0 1 0 823448018 4339937280 1046509 33554432000 4194304 9163163 140736072008720 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 1059555 1046509 559 1214 0 1058337 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 4238220
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 26173
/proc/meminfo: memFree=19482400/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=4293040 CPUtime=1602.33 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 1060988 0 0 0 160086 147 0 0 25 0 1 0 823448018 4396072960 1060558 33554432000 4194304 9163163 140736072008720 18446744073709551615 5944296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 1073260 1060558 559 1214 0 1072042 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 4293040
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 26175
/proc/meminfo: memFree=19319176/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=4347240 CPUtime=1662.33 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 1074517 0 0 0 166084 149 0 0 25 0 1 0 823448018 4451573760 1074087 33554432000 4194304 9163163 140736072008720 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 1086810 1074087 559 1214 0 1085592 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 4347240
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 26176
/proc/meminfo: memFree=19167868/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=4415228 CPUtime=1722.33 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 1091676 0 0 0 172082 151 0 0 25 0 1 0 823448018 4521193472 1091246 33554432000 4194304 9163163 140736072008720 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 1103807 1091246 559 1214 0 1102589 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 4415228
[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/425 26178
/proc/meminfo: memFree=19025604/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=4478600 CPUtime=1782.33 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 1107373 0 0 0 178080 153 0 0 25 0 1 0 823448018 4586086400 1106943 33554432000 4194304 9163163 140736072008720 18446744073709551615 5176462 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 1119650 1106943 559 1214 0 1118432 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 4478600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.03 2.00 3/425 26179
/proc/meminfo: memFree=18979220/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=4497188 CPUtime=1800.05 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 1112510 0 0 0 179851 154 0 0 25 0 1 0 823448018 4605120512 1112080 33554432000 4194304 9163163 140736072008720 18446744073709551615 5944288 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26102/statm: 1124297 1112080 559 1214 0 1123079 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 4497188
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.06 2.03 2.00 3/425 26179
/proc/meminfo: memFree=18979220/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=4481060 CPUtime=1800.24 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 1113285 0 0 0 179870 154 0 0 25 0 1 0 823448018 4588605440 1108111 33554432000 4194304 9163163 140736072008720 18446744073709551615 5139507 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26102/statm: 1120265 1108111 568 1214 0 1119047 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 4481060
[startup+1800.6 s]
/proc/loadavg: 2.06 2.03 2.00 3/426 26180
/proc/meminfo: memFree=20867236/32951124 swapFree=44043512/67111528
[pid=26102] ppid=26100 vsize=3581620 CPUtime=1800.64 cores=1,3,5,7
/proc/26102/stat : 26102 (scip-2.0.1.4b.l) R 26100 26102 23890 0 -1 4202496 1113304 0 0 0 179901 163 0 0 25 0 1 0 823448018 3667578880 570122 33554432000 4194304 9163163 140736072008720 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26102/statm: 895405 570122 587 1214 0 894187 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 3581620
Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.75
CPU user time (s): 1799.02
CPU system time (s): 1.72774
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4497188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.72774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1113306
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= 1873
runsolver used 7.04293 second user time and 17.5573 second system time
The end