0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3486343-1307793932.opb>
0.89/0.91 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176035 constraints
0.89/0.91 c problem read
0.89/0.91 c presolving settings loaded
1.39/1.48 c presolving:
7.09/7.16 c (round 1) 2946 del vars, 8504 del conss, 0 add conss, 1919 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12206368 impls, 0 clqs
9.49/9.52 c (round 2) 8019 del vars, 24432 del conss, 0 add conss, 6628 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12226918 impls, 0 clqs
9.99/10.00 c (round 3) 9264 del vars, 31552 del conss, 0 add conss, 7216 chg bounds, 43 chg sides, 52 chg coeffs, 0 upgd conss, 12234398 impls, 0 clqs
10.19/10.20 c (round 4) 9702 del vars, 33420 del conss, 0 add conss, 7443 chg bounds, 62 chg sides, 79 chg coeffs, 0 upgd conss, 12236526 impls, 0 clqs
10.19/10.29 c (round 5) 9818 del vars, 33985 del conss, 0 add conss, 7486 chg bounds, 64 chg sides, 80 chg coeffs, 0 upgd conss, 12237271 impls, 0 clqs
10.29/10.35 c (round 6) 9848 del vars, 34169 del conss, 0 add conss, 7510 chg bounds, 66 chg sides, 81 chg coeffs, 0 upgd conss, 12237360 impls, 0 clqs
10.39/10.40 c (round 7) 9870 del vars, 34252 del conss, 0 add conss, 7517 chg bounds, 68 chg sides, 82 chg coeffs, 0 upgd conss, 12237542 impls, 0 clqs
10.39/10.45 c (round 8) 9872 del vars, 34282 del conss, 0 add conss, 7519 chg bounds, 68 chg sides, 82 chg coeffs, 0 upgd conss, 12237542 impls, 0 clqs
10.89/10.95 c (round 9) 9874 del vars, 34286 del conss, 0 add conss, 7520 chg bounds, 68 chg sides, 82 chg coeffs, 141749 upgd conss, 12237542 impls, 0 clqs
11.19/11.25 c (round 10) 9874 del vars, 34286 del conss, 28 add conss, 7520 chg bounds, 117 chg sides, 316 chg coeffs, 141749 upgd conss, 12239726 impls, 1993 clqs
557.51/557.60 c (557.6s) probing: 1000/44908 (2.2%) - 9 fixings, 1 aggregations, 8227140 implications, 0 bound changes
925.52/925.52 c (925.5s) probing: 2000/44908 (4.5%) - 10 fixings, 1 aggregations, 12574177 implications, 0 bound changes
1299.22/1299.25 c (1299.3s) probing: 3000/44908 (6.7%) - 31 fixings, 1 aggregations, 16467646 implications, 0 bound changes
1611.83/1611.81 c (round 11) 9924 del vars, 34290 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 348 chg coeffs, 141749 upgd conss, 69374954 impls, 2146 clqs
1613.03/1613.01 c (round 12) 9948 del vars, 34955 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 630 chg coeffs, 141749 upgd conss, 69376702 impls, 2146 clqs
1613.23/1613.29 c (round 13) 9948 del vars, 34979 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 636 chg coeffs, 141749 upgd conss, 69376732 impls, 2397 clqs
1680.33/1680.34 c (1680.3s) probing: 4000/44908 (8.9%) - 49 fixings, 11 aggregations, 20029273 implications, 0 bound changes
1797.44/1797.41 c (1797.4s) probing: 4244/44908 (9.5%) - 55 fixings, 14 aggregations, 21261988 implications, 0 bound changes
1797.44/1797.41 c (1797.4s) probing aborted: solving stopped
1797.44/1797.41 c (round 14) 9967 del vars, 34979 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 636 chg coeffs, 141749 upgd conss, 74865088 impls, 2397 clqs
1797.44/1797.41 c presolving (14 rounds):
1797.44/1797.41 c 9967 deleted vars, 34979 deleted constraints, 30 added constraints, 7520 tightened bounds, 0 added holes, 125 changed sides, 636 changed coefficients
1797.44/1797.41 c 74865088 implications, 2397 cliques
1797.44/1797.41 c presolving was interrupted.
1797.44/1797.41 c Presolving Time: 1796.33
1797.44/1797.41 c - non default parameters ----------------------------------------------------------------------
1797.44/1797.41 c # SCIP version 2.0.1.4
1797.44/1797.41 c
1797.44/1797.41 c # frequency for displaying node information lines
1797.44/1797.41 c # [type: int, range: [-1,2147483647], default: 100]
1797.44/1797.41 c display/freq = 10000
1797.44/1797.41 c
1797.44/1797.41 c # maximal time in seconds to run
1797.44/1797.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.44/1797.41 c limits/time = 1797
1797.44/1797.41 c
1797.44/1797.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.44/1797.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.44/1797.41 c limits/memory = 13950
1797.44/1797.41 c
1797.44/1797.41 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.44/1797.41 c # [type: int, range: [1,2], default: 1]
1797.44/1797.41 c timing/clocktype = 2
1797.44/1797.41 c
1797.44/1797.41 c # belongs reading time to solving time?
1797.44/1797.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.44/1797.41 c timing/reading = TRUE
1797.44/1797.41 c
1797.44/1797.41 c # should presolving try to simplify inequalities
1797.44/1797.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.44/1797.41 c constraints/linear/simplifyinequalities = TRUE
1797.44/1797.41 c
1797.44/1797.41 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.44/1797.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.44/1797.41 c constraints/indicator/addCouplingCons = TRUE
1797.44/1797.41 c
1797.44/1797.41 c # should presolving try to simplify knapsacks
1797.44/1797.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.44/1797.41 c constraints/knapsack/simplifyinequalities = TRUE
1797.44/1797.41 c
1797.44/1797.41 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.44/1797.41 c # [type: int, range: [-1,2147483647], default: -1]
1797.44/1797.41 c separating/rapidlearning/freq = 0
1797.44/1797.41 c
1797.44/1797.41 c -----------------------------------------------------------------------------------------------
1797.44/1797.41 c start solving
1797.44/1797.43 c presolving:
1797.44/1797.43 c presolving (14 rounds):
1797.44/1797.43 c 9967 deleted vars, 34979 deleted constraints, 30 added constraints, 7520 tightened bounds, 0 added holes, 125 changed sides, 636 changed coefficients
1797.44/1797.43 c 74865088 implications, 2397 cliques
1797.44/1797.43 c presolving was interrupted.
1797.44/1797.43 c Presolving Time: 1796.36
1797.44/1797.43 c
1797.44/1797.43 c SCIP Status : solving was interrupted [time limit reached]
1797.44/1797.43 c Solving Time (sec) : 1797.44
1797.44/1797.43 c Solving Nodes : 0
1797.44/1797.43 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.44/1797.43 s UNKNOWN
1797.44/1797.43 c SCIP Status : solving was interrupted [time limit reached]
1797.44/1797.43 c Total Time : 1797.44
1797.44/1797.43 c solving : 1797.44
1797.44/1797.43 c presolving : 1796.36 (included in solving)
1797.44/1797.43 c reading : 0.91 (included in solving)
1797.44/1797.43 c Original Problem :
1797.44/1797.43 c Problem name : HOME/instance-3486343-1307793932.opb
1797.44/1797.43 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.44/1797.43 c Constraints : 176035 initial, 176035 maximal
1797.44/1797.43 c Presolved Problem :
1797.44/1797.43 c Problem name : t_HOME/instance-3486343-1307793932.opb
1797.44/1797.43 c Variables : 44815 (44815 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.44/1797.43 c Constraints : 141086 initial, 141086 maximal
1797.44/1797.43 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.44/1797.43 c trivial : 0.03 658 0 0 0 0 0 0 0 0
1797.44/1797.43 c dualfix : 0.06 91 0 0 0 0 0 0 0 0
1797.44/1797.43 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.44/1797.43 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.44/1797.43 c implics : 1.35 0 24 0 0 0 0 0 0 0
1797.44/1797.43 c probing : 1784.17 55 14 0 0 0 0 0 0 0
1797.44/1797.43 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.44/1797.44 c knapsack : 0.67 0 0 0 0 0 4 30 57 554
1797.44/1797.44 c setppc : 0.37 0 0 0 0 0 682 0 0 0
1797.44/1797.44 c linear : 9.04 6862 2263 0 7520 0 34286 0 68 82
1797.44/1797.44 c logicor : 0.10 0 0 0 0 0 7 0 0 0
1797.44/1797.44 c root node : - 0 - - 0 - - - - -
1797.44/1797.44 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.44/1797.44 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.44/1797.44 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.44/1797.44 c knapsack : 0+ 0 216587 0 0 0 0 11 0 0 0 0
1797.44/1797.44 c setppc : 0+ 0 216576 0 0 0 0 10 0 0 0 0
1797.44/1797.44 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.44/1797.44 c logicor : 0+ 0 196637 0 0 0 0 6 0 0 0 0
1797.44/1797.44 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.44/1797.44 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.44/1797.44 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.44/1797.44 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.44/1797.44 c knapsack : 11.21 0.00 11.21 0.00 0.00 0.00 0.00
1797.44/1797.44 c setppc : 1065.45 0.00 1065.45 0.00 0.00 0.00 0.00
1797.44/1797.44 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.44/1797.44 c logicor : 8.39 0.00 8.39 0.00 0.00 0.00 0.00
1797.44/1797.44 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.44/1797.44 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.44/1797.44 c vbounds : 0 0 0 0
1797.44/1797.44 c rootredcost : 0 0 0 0
1797.44/1797.44 c pseudoobj : 0 0 0 0
1797.44/1797.44 c Propagator Timings : TotalTime Propagate Resprop
1797.44/1797.44 c vbounds : 0.08 0.08 0.00
1797.44/1797.44 c rootredcost : 0.04 0.04 0.00
1797.44/1797.44 c pseudoobj : 0.03 0.03 0.00
1797.44/1797.44 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.44/1797.44 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.44/1797.44 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.44/1797.44 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.44/1797.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.44/1797.44 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.44/1797.44 c applied globally : - - - 0 0.0 - - -
1797.44/1797.44 c applied locally : - - - 0 0.0 - - -
1797.83/1797.87 c Time complete: 1797.91.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486343-1307793932/watcher-3486343-1307793932 -o /tmp/evaluation-result-3486343-1307793932/solver-3486343-1307793932 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486343-1307793932.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.07 2.03 1.94 3/177 26595
/proc/meminfo: memFree=30320080/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=10316 CPUtime=0 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 1573 0 0 0 0 0 0 0 22 0 1 0 871808558 10563584 1528 33554432000 4194304 8979876 140737296186848 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26595/statm: 2579 1528 366 1169 0 1406 0
[startup+0.0891461 s]
/proc/loadavg: 2.07 2.03 1.94 3/177 26595
/proc/meminfo: memFree=30320080/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=27412 CPUtime=0.08 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 5866 0 0 0 8 0 0 0 22 0 1 0 871808558 28069888 5821 33554432000 4194304 8979876 140737296186848 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26595/statm: 6853 5821 366 1169 0 5680 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27412
[startup+0.101138 s]
/proc/loadavg: 2.07 2.03 1.94 3/177 26595
/proc/meminfo: memFree=30320080/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=28568 CPUtime=0.09 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 5918 0 0 0 9 0 0 0 22 0 1 0 871808558 29253632 5874 33554432000 4194304 8979876 140737296186848 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26595/statm: 7142 5896 366 1169 0 5969 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28568
[startup+0.301106 s]
/proc/loadavg: 2.07 2.03 1.94 3/177 26595
/proc/meminfo: memFree=30320080/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=46328 CPUtime=0.29 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 10578 0 0 0 29 0 0 0 23 0 1 0 871808558 47439872 10533 33554432000 4194304 8979876 140737296186848 18446744073709551615 4992695 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26595/statm: 11582 10533 366 1169 0 10409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46328
[startup+0.701044 s]
/proc/loadavg: 2.07 2.03 1.94 3/177 26595
/proc/meminfo: memFree=30320080/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=79820 CPUtime=0.69 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 18920 0 0 0 68 1 0 0 25 0 1 0 871808558 81735680 18875 33554432000 4194304 8979876 140737296186848 18446744073709551615 4446976 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26595/statm: 19955 18875 366 1169 0 18782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79820
[startup+1.50091 s]
/proc/loadavg: 2.07 2.03 1.94 3/178 26596
/proc/meminfo: memFree=30158524/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=287880 CPUtime=1.49 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 77718 0 0 0 140 9 0 0 25 0 1 0 871808558 294789120 69577 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 71970 69577 487 1169 0 70797 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 287880
[startup+3.10063 s]
/proc/loadavg: 2.07 2.03 1.94 3/178 26597
/proc/meminfo: memFree=29973020/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=440696 CPUtime=3.09 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 115791 0 0 0 296 13 0 0 25 0 1 0 871808558 451272704 107650 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503345 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 110174 107650 494 1169 0 109001 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 440696
[startup+6.30105 s]
/proc/loadavg: 2.06 2.03 1.94 3/178 26597
/proc/meminfo: memFree=29734620/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=641752 CPUtime=6.29 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 164239 0 0 0 610 19 0 0 25 0 1 0 871808558 657154048 156098 33554432000 4194304 8979876 140737296186848 18446744073709551615 6782536 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 160438 156098 501 1169 0 159265 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 641752
[startup+12.7009 s]
/proc/loadavg: 2.06 2.03 1.94 3/178 26597
/proc/meminfo: memFree=29576788/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=741008 CPUtime=12.69 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 196557 0 0 0 1247 22 0 0 25 0 1 0 871808558 758792192 180004 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 185252 180004 555 1169 0 184079 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 741008
[startup+25.5007 s]
/proc/loadavg: 2.04 2.03 1.94 3/178 26597
/proc/meminfo: memFree=29468184/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=816152 CPUtime=25.49 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 215104 0 0 0 2524 25 0 0 25 0 1 0 871808558 835739648 198452 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 204038 198452 555 1169 0 202865 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 816152
[startup+51.1011 s]
/proc/loadavg: 2.03 2.03 1.94 3/178 26598
/proc/meminfo: memFree=29380328/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=852592 CPUtime=51.1 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 223862 0 0 0 5083 27 0 0 25 0 1 0 871808558 873054208 207210 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 213148 207210 555 1169 0 211975 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 852592
[startup+102.306 s]
/proc/loadavg: 2.01 2.02 1.94 3/178 26599
/proc/meminfo: memFree=29141112/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=975136 CPUtime=102.3 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 253858 0 0 0 10199 31 0 0 25 0 1 0 871808558 998539264 237206 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 243784 237206 555 1169 0 242611 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 975136
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/178 26601
/proc/meminfo: memFree=28906596/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=1069272 CPUtime=162.3 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 278029 0 0 0 16197 33 0 0 25 0 1 0 871808558 1094934528 261014 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 267318 261014 555 1169 0 266145 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1069272
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 26602
/proc/meminfo: memFree=28622724/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=1236696 CPUtime=222.29 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 319276 0 0 0 22192 37 0 0 25 0 1 0 871808558 1266376704 302129 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 309174 302129 555 1169 0 308001 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1236696
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26604
/proc/meminfo: memFree=28345176/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=1407912 CPUtime=282.3 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 360822 0 0 0 28187 43 0 0 25 0 1 0 871808558 1441701888 343543 33554432000 4194304 8979876 140737296186848 18446744073709551615 4887680 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 351978 343543 555 1169 0 350805 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1407912
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26606
/proc/meminfo: memFree=28150592/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=1481924 CPUtime=342.3 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 379542 0 0 0 34185 45 0 0 25 0 1 0 871808558 1517490176 362263 33554432000 4194304 8979876 140737296186848 18446744073709551615 4925974 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 370481 362263 555 1169 0 369308 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1481924
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26607
/proc/meminfo: memFree=27981932/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=1563344 CPUtime=402.3 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 399743 0 0 0 40181 49 0 0 25 0 1 0 871808558 1600864256 382464 33554432000 4194304 8979876 140737296186848 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 390836 382464 555 1169 0 389663 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1563344
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 26609
/proc/meminfo: memFree=27823056/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=1651520 CPUtime=462.3 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 421738 0 0 0 46178 52 0 0 25 0 1 0 871808558 1691156480 404459 33554432000 4194304 8979876 140737296186848 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 412880 404459 555 1169 0 411707 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1651520
[startup+522.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 26610
/proc/meminfo: memFree=27542652/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=1803984 CPUtime=522.31 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 459322 0 0 0 52174 57 0 0 25 0 1 0 871808558 1847279616 442043 33554432000 4194304 8979876 140737296186848 18446744073709551615 4889220 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 450996 442043 555 1169 0 449823 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1803984
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/178 26612
/proc/meminfo: memFree=27417632/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=1838508 CPUtime=582.3 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 468710 0 0 0 58172 58 0 0 25 0 1 0 871808558 1882632192 451431 33554432000 4194304 8979876 140737296186848 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 459627 451431 560 1169 0 458454 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1838508
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26228184/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2211724 CPUtime=1122.31 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 561922 0 0 0 112159 72 0 0 25 0 1 0 871808558 2264805376 544577 33554432000 4194304 8979876 140737296186848 18446744073709551615 6502472 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 552931 544577 560 1169 0 551758 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2211724
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26631
/proc/meminfo: memFree=26181892/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2252024 CPUtime=1182.32 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 571819 0 0 0 118158 74 0 0 25 0 1 0 871808558 2306072576 554474 33554432000 4194304 8979876 140737296186848 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 563006 554474 560 1169 0 561833 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2252024
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26633
/proc/meminfo: memFree=26131700/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2295364 CPUtime=1242.32 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 582457 0 0 0 124156 76 0 0 25 0 1 0 871808558 2350452736 565112 33554432000 4194304 8979876 140737296186848 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 573841 565112 560 1169 0 572668 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2295364
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26634
/proc/meminfo: memFree=26095968/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2328580 CPUtime=1302.33 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 590810 0 0 0 130156 77 0 0 25 0 1 0 871808558 2384465920 573465 33554432000 4194304 8979876 140737296186848 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 582145 573465 560 1169 0 580972 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2328580
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26636
/proc/meminfo: memFree=26050804/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2367964 CPUtime=1362.33 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 600718 0 0 0 136154 79 0 0 25 0 1 0 871808558 2424795136 583373 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 591991 583373 560 1169 0 590818 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2367964
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26637
/proc/meminfo: memFree=26016440/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2402348 CPUtime=1422.33 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 609237 0 0 0 142153 80 0 0 25 0 1 0 871808558 2460004352 591892 33554432000 4194304 8979876 140737296186848 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 600587 591892 560 1169 0 599414 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2402348
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26639
/proc/meminfo: memFree=25983800/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2432620 CPUtime=1482.32 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 617059 0 0 0 148151 81 0 0 25 0 1 0 871808558 2491002880 599714 33554432000 4194304 8979876 140737296186848 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 608155 599714 560 1169 0 606982 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2432620
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 26641
/proc/meminfo: memFree=25937396/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2474852 CPUtime=1542.33 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 627522 0 0 0 154150 83 0 0 25 0 1 0 871808558 2534248448 610177 33554432000 4194304 8979876 140737296186848 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 618713 610177 560 1169 0 617540 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2474852
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 26642
/proc/meminfo: memFree=25891864/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2510984 CPUtime=1602.33 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 637032 0 0 0 160149 84 0 0 25 0 1 0 871808558 2571247616 619687 33554432000 4194304 8979876 140737296186848 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 627746 619687 560 1169 0 626573 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2510984
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 26644
/proc/meminfo: memFree=25845200/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2554684 CPUtime=1662.33 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 648245 0 0 0 166148 85 0 0 25 0 1 0 871808558 2615996416 630900 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 638671 630900 560 1169 0 637498 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2554684
[startup+1722.3 s]
/proc/loadavg: 1.72 1.93 1.94 2/172 26670
/proc/meminfo: memFree=28751792/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2651012 CPUtime=1722.33 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 671552 0 0 0 172145 88 0 0 25 0 1 0 871808558 2714636288 654207 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 662753 654207 560 1169 0 661580 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2651012
[startup+1782.3 s]
/proc/loadavg: 1.26 1.76 1.87 2/172 26672
/proc/meminfo: memFree=28697824/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2702308 CPUtime=1782.33 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 684950 0 0 0 178143 90 0 0 25 0 1 0 871808558 2767163392 667605 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 675577 667605 560 1169 0 674404 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2702308
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.24 1.75 1.87 2/172 26672
/proc/meminfo: memFree=28697696/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2702308 CPUtime=1785.53 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 685012 0 0 0 178463 90 0 0 25 0 1 0 871808558 2767163392 667667 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 675577 667667 560 1169 0 674404 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 2702308
[startup+1791.91 s]
/proc/loadavg: 1.22 1.74 1.86 2/172 26672
/proc/meminfo: memFree=28697440/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2702308 CPUtime=1791.94 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 685068 0 0 0 179104 90 0 0 25 0 1 0 871808558 2767163392 667723 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503537 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 675577 667723 560 1169 0 674404 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 2702308
[startup+1795.1 s]
/proc/loadavg: 1.20 1.72 1.86 2/172 26672
/proc/meminfo: memFree=28695084/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2703304 CPUtime=1795.14 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 685664 0 0 0 179423 91 0 0 25 0 1 0 871808558 2768183296 668319 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 675826 668319 560 1169 0 674653 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 2703304
[startup+1796.7 s]
/proc/loadavg: 1.20 1.72 1.86 2/172 26672
/proc/meminfo: memFree=28693720/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2707320 CPUtime=1796.74 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 686126 0 0 0 179583 91 0 0 25 0 1 0 871808558 2772295680 668781 33554432000 4194304 8979876 140737296186848 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/26595/statm: 676830 668781 560 1169 0 675657 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 2707320
[startup+1797.5 s]
/proc/loadavg: 1.20 1.72 1.86 2/172 26672
/proc/meminfo: memFree=28692480/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2709356 CPUtime=1797.54 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 686991 0 0 0 179663 91 0 0 25 0 1 0 871808558 2774380544 669186 33554432000 4194304 8979876 140737296186848 18446744073709551615 4321192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26595/statm: 677339 669186 571 1169 0 676166 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 2709356
[startup+1797.7 s]
/proc/loadavg: 1.20 1.72 1.86 2/172 26672
/proc/meminfo: memFree=28692480/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2610740 CPUtime=1797.73 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 686991 0 0 0 179682 91 0 0 25 0 1 0 871808558 2673397760 644569 33554432000 4194304 8979876 140737296186848 18446744073709551615 4895151 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26595/statm: 652685 644569 571 1169 0 651512 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 2610740
[startup+1797.8 s]
/proc/loadavg: 1.20 1.72 1.86 2/172 26672
/proc/meminfo: memFree=28692480/32951124 swapFree=67057920/67111528
[pid=26595] ppid=26593 vsize=2084684 CPUtime=1797.83 cores=1,3,5,7
/proc/26595/stat : 26595 (scip-2.0.1.4_2.) R 26593 26595 22888 0 -1 4202496 687007 0 0 0 179690 93 0 0 25 0 1 0 871808558 2134716416 515991 33554432000 4194304 8979876 140737296186848 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26595/statm: 520915 515771 587 1169 0 519742 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 2084684
Child status: 0
Real time (s): 1797.88
CPU time (s): 1797.92
CPU user time (s): 1796.91
CPU system time (s): 1.01684
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2709356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.91
system time used= 1.01684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 687012
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= 4
involuntary context switches= 19106
runsolver used 2.77258 second user time and 6.543 second system time
The end