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-3486308-1307792408.opb>
1.29/1.34 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256320 constraints
1.29/1.34 c problem read
1.29/1.34 c presolving settings loaded
2.10/2.19 c presolving:
10.19/10.26 c (round 1) 9047 del vars, 26928 del conss, 0 add conss, 7333 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16918240 impls, 0 clqs
14.39/14.48 c (round 2) 15609 del vars, 57097 del conss, 0 add conss, 13668 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16952328 impls, 0 clqs
15.79/15.85 c (round 3) 18187 del vars, 68916 del conss, 0 add conss, 15199 chg bounds, 26 chg sides, 21 chg coeffs, 0 upgd conss, 16968869 impls, 0 clqs
16.59/16.67 c (round 4) 19543 del vars, 74518 del conss, 0 add conss, 16123 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16980351 impls, 0 clqs
17.09/17.18 c (round 5) 20370 del vars, 77965 del conss, 0 add conss, 16643 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16987688 impls, 0 clqs
17.39/17.47 c (round 6) 20855 del vars, 80063 del conss, 0 add conss, 16917 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16992716 impls, 0 clqs
17.60/17.69 c (round 7) 21170 del vars, 81366 del conss, 0 add conss, 17100 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16996165 impls, 0 clqs
17.79/17.88 c (round 8) 21442 del vars, 82457 del conss, 0 add conss, 17247 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16999746 impls, 0 clqs
17.99/18.04 c (round 9) 21640 del vars, 83240 del conss, 0 add conss, 17354 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17002532 impls, 0 clqs
18.09/18.16 c (round 10) 21772 del vars, 83802 del conss, 0 add conss, 17424 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17004774 impls, 0 clqs
18.19/18.27 c (round 11) 21880 del vars, 84239 del conss, 0 add conss, 17481 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17006756 impls, 0 clqs
18.29/18.36 c (round 12) 21971 del vars, 84618 del conss, 0 add conss, 17531 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17009132 impls, 0 clqs
18.39/18.47 c (round 13) 22047 del vars, 84935 del conss, 0 add conss, 17580 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17010249 impls, 0 clqs
18.49/18.57 c (round 14) 22101 del vars, 85170 del conss, 0 add conss, 17615 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17010635 impls, 0 clqs
18.60/18.64 c (round 15) 22125 del vars, 85300 del conss, 0 add conss, 17621 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17010733 impls, 0 clqs
19.19/19.29 c (round 16) 22125 del vars, 85314 del conss, 0 add conss, 17621 chg bounds, 35 chg sides, 33 chg coeffs, 171006 upgd conss, 17010733 impls, 0 clqs
19.70/19.75 c (round 17) 22128 del vars, 85323 del conss, 21 add conss, 17622 chg bounds, 70 chg sides, 201 chg coeffs, 171006 upgd conss, 17012836 impls, 2180 clqs
19.99/20.00 c (round 18) 22129 del vars, 85329 del conss, 27 add conss, 17622 chg bounds, 82 chg sides, 248 chg coeffs, 171006 upgd conss, 17012836 impls, 2379 clqs
832.32/832.37 c (832.4s) probing: 1000/50713 (2.0%) - 23 fixings, 9 aggregations, 13178910 implications, 0 bound changes
1490.56/1490.54 c (1490.5s) probing: 2000/50713 (3.9%) - 34 fixings, 11 aggregations, 21582002 implications, 2 bound changes
1797.06/1797.09 c (1797.1s) probing: 2534/50713 (5.0%) - 34 fixings, 11 aggregations, 25762856 implications, 2 bound changes
1797.06/1797.09 c (1797.1s) probing aborted: solving stopped
1797.06/1797.09 c (round 19) 22174 del vars, 85337 del conss, 27 add conss, 17624 chg bounds, 82 chg sides, 248 chg coeffs, 171006 upgd conss, 108730106 impls, 2269 clqs
1797.06/1797.09 c presolving (19 rounds):
1797.06/1797.09 c 22174 deleted vars, 85337 deleted constraints, 27 added constraints, 17624 tightened bounds, 0 added holes, 82 changed sides, 248 changed coefficients
1797.06/1797.09 c 108730106 implications, 2269 cliques
1797.06/1797.09 c presolving was interrupted.
1797.06/1797.09 c Presolving Time: 1795.52
1797.06/1797.09 c - non default parameters ----------------------------------------------------------------------
1797.06/1797.09 c # SCIP version 2.0.1.4
1797.06/1797.09 c
1797.06/1797.09 c # frequency for displaying node information lines
1797.06/1797.09 c # [type: int, range: [-1,2147483647], default: 100]
1797.06/1797.09 c display/freq = 10000
1797.06/1797.09 c
1797.06/1797.09 c # maximal time in seconds to run
1797.06/1797.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.06/1797.09 c limits/time = 1797
1797.06/1797.09 c
1797.06/1797.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.06/1797.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.06/1797.09 c limits/memory = 13950
1797.06/1797.09 c
1797.06/1797.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.06/1797.09 c # [type: int, range: [1,2], default: 1]
1797.06/1797.09 c timing/clocktype = 2
1797.06/1797.09 c
1797.06/1797.10 c # belongs reading time to solving time?
1797.06/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.06/1797.10 c timing/reading = TRUE
1797.06/1797.10 c
1797.06/1797.10 c # should presolving try to simplify inequalities
1797.06/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.06/1797.10 c constraints/linear/simplifyinequalities = TRUE
1797.06/1797.10 c
1797.06/1797.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.06/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.06/1797.10 c constraints/indicator/addCouplingCons = TRUE
1797.06/1797.10 c
1797.06/1797.10 c # should presolving try to simplify knapsacks
1797.06/1797.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.06/1797.10 c constraints/knapsack/simplifyinequalities = TRUE
1797.06/1797.10 c
1797.06/1797.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.06/1797.10 c # [type: int, range: [-1,2147483647], default: -1]
1797.06/1797.10 c separating/rapidlearning/freq = 0
1797.06/1797.10 c
1797.06/1797.10 c -----------------------------------------------------------------------------------------------
1797.06/1797.10 c start solving
1797.16/1797.13 c presolving:
1797.16/1797.13 c presolving (19 rounds):
1797.16/1797.13 c 22174 deleted vars, 85337 deleted constraints, 27 added constraints, 17624 tightened bounds, 0 added holes, 82 changed sides, 248 changed coefficients
1797.16/1797.13 c 108730106 implications, 2269 cliques
1797.16/1797.13 c presolving was interrupted.
1797.16/1797.13 c Presolving Time: 1795.56
1797.16/1797.13 c
1797.16/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1797.16/1797.13 c Solving Time (sec) : 1797.13
1797.16/1797.13 c Solving Nodes : 0
1797.16/1797.13 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.16/1797.13 s UNKNOWN
1797.16/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1797.16/1797.13 c Total Time : 1797.13
1797.16/1797.13 c solving : 1797.13
1797.16/1797.13 c presolving : 1795.56 (included in solving)
1797.16/1797.13 c reading : 1.34 (included in solving)
1797.16/1797.13 c Original Problem :
1797.16/1797.13 c Problem name : HOME/instance-3486308-1307792408.opb
1797.16/1797.13 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.16/1797.13 c Constraints : 256320 initial, 256320 maximal
1797.16/1797.13 c Presolved Problem :
1797.16/1797.13 c Problem name : t_HOME/instance-3486308-1307792408.opb
1797.16/1797.13 c Variables : 50668 (50668 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.16/1797.13 c Constraints : 171010 initial, 171010 maximal
1797.16/1797.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.16/1797.13 c trivial : 0.05 1073 0 0 0 0 0 0 0 0
1797.16/1797.13 c dualfix : 0.08 122 0 0 0 0 0 0 0 0
1797.16/1797.13 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.16/1797.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.16/1797.13 c implics : 0.61 0 2 0 0 0 0 0 0 0
1797.16/1797.13 c probing : 1776.90 34 11 0 2 0 0 0 0 0
1797.16/1797.13 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.16/1797.13 c knapsack : 0.42 0 0 0 1 0 4 27 47 215
1797.16/1797.13 c setppc : 0.29 1 0 0 0 0 19 0 0 0
1797.16/1797.13 c linear : 16.25 16549 4382 0 17621 0 85314 0 35 33
1797.16/1797.13 c logicor : 0.08 0 0 0 0 0 0 0 0 0
1797.16/1797.13 c root node : - 0 - - 0 - - - - -
1797.16/1797.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.16/1797.13 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.16/1797.13 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.16/1797.13 c knapsack : 0+ 0 126829 0 0 0 0 3 0 0 0 0
1797.16/1797.13 c setppc : 0+ 0 126826 0 0 0 0 7 0 0 0 0
1797.16/1797.13 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.16/1797.13 c logicor : 0+ 0 114962 0 0 0 0 4 0 0 0 0
1797.16/1797.13 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.16/1797.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.16/1797.13 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.16/1797.13 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.16/1797.13 c knapsack : 7.72 0.00 7.72 0.00 0.00 0.00 0.00
1797.16/1797.13 c setppc : 749.87 0.00 749.87 0.00 0.00 0.00 0.00
1797.16/1797.13 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.16/1797.13 c logicor : 9.89 0.00 9.89 0.00 0.00 0.00 0.00
1797.16/1797.13 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.16/1797.13 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.16/1797.13 c vbounds : 0 0 0 0
1797.16/1797.13 c rootredcost : 0 0 0 0
1797.16/1797.13 c pseudoobj : 0 0 0 0
1797.16/1797.13 c Propagator Timings : TotalTime Propagate Resprop
1797.16/1797.13 c vbounds : 0.04 0.04 0.00
1797.16/1797.13 c rootredcost : 0.02 0.02 0.00
1797.16/1797.13 c pseudoobj : 0.02 0.02 0.00
1797.16/1797.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.16/1797.13 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.16/1797.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.16/1797.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.16/1797.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.16/1797.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.16/1797.13 c applied globally : - - - 0 0.0 - - -
1797.16/1797.13 c applied locally : - - - 0 0.0 - - -
1797.76/1797.70 c Time complete: 1797.76.
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-3486308-1307792408/watcher-3486308-1307792408 -o /tmp/evaluation-result-3486308-1307792408/solver-3486308-1307792408 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486308-1307792408.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.00 2.00 1.85 2/177 32442
/proc/meminfo: memFree=31682792/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=10316 CPUtime=0 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 1573 0 0 0 0 0 0 0 23 0 1 0 890837944 10563584 1528 33554432000 4194304 8979876 140736191013376 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32442/statm: 2579 1528 366 1169 0 1406 0
[startup+0.028636 s]
/proc/loadavg: 2.00 2.00 1.85 2/177 32442
/proc/meminfo: memFree=31682792/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=16016 CPUtime=0.02 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 3022 0 0 0 2 0 0 0 23 0 1 0 890837944 16400384 2977 33554432000 4194304 8979876 140736191013376 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32442/statm: 4004 2977 366 1169 0 2831 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16016
[startup+0.100624 s]
/proc/loadavg: 2.00 2.00 1.85 2/177 32442
/proc/meminfo: memFree=31682792/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=27544 CPUtime=0.09 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 5903 0 0 0 9 0 0 0 23 0 1 0 890837944 28205056 5858 33554432000 4194304 8979876 140736191013376 18446744073709551615 7807861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32442/statm: 6886 5858 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544
[startup+0.300572 s]
/proc/loadavg: 2.00 2.00 1.85 2/177 32442
/proc/meminfo: memFree=31682792/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=52520 CPUtime=0.29 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 12128 0 0 0 28 1 0 0 25 0 1 0 890837944 53780480 12083 33554432000 4194304 8979876 140736191013376 18446744073709551615 6782415 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32442/statm: 13130 12083 366 1169 0 11957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52520
[startup+0.700511 s]
/proc/loadavg: 2.00 2.00 1.85 2/177 32442
/proc/meminfo: memFree=31682792/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=75408 CPUtime=0.69 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 17825 0 0 0 68 1 0 0 25 0 1 0 890837944 77217792 17780 33554432000 4194304 8979876 140736191013376 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32442/statm: 18852 17780 366 1169 0 17679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75408
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32443
/proc/meminfo: memFree=31486020/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=245644 CPUtime=1.49 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 60166 0 0 0 144 5 0 0 25 0 1 0 890837944 251539456 60114 33554432000 4194304 8979876 140736191013376 18446744073709551615 5429618 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 61411 60121 416 1169 0 60238 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 245644
[startup+3.10106 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32443
/proc/meminfo: memFree=30911080/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=500068 CPUtime=3.09 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 134837 0 0 0 296 13 0 0 25 0 1 0 890837944 512069632 122396 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 125017 122396 494 1169 0 123844 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 500068
[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32443
/proc/meminfo: memFree=30382004/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=717524 CPUtime=6.29 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 188881 0 0 0 611 18 0 0 25 0 1 0 890837944 734744576 176440 33554432000 4194304 8979876 140736191013376 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 179381 176440 494 1169 0 178208 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 717524
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32443
/proc/meminfo: memFree=29960660/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=896324 CPUtime=12.69 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 232036 0 0 0 1246 23 0 0 25 0 1 0 890837944 917835776 218995 33554432000 4194304 8979876 140736191013376 18446744073709551615 6504351 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 224081 218995 504 1169 0 222908 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 896324
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32444
/proc/meminfo: memFree=29788564/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=966488 CPUtime=25.5 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 263985 0 0 0 2524 26 0 0 25 0 1 0 890837944 989683712 235953 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 241622 235953 553 1169 0 240449 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 966488
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32445
/proc/meminfo: memFree=29713500/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=1001972 CPUtime=51.09 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 272811 0 0 0 5083 26 0 0 25 0 1 0 890837944 1026019328 244548 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 250493 244548 553 1169 0 249320 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1001972
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 32446
/proc/meminfo: memFree=29574480/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=1080424 CPUtime=102.3 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 291990 0 0 0 10202 28 0 0 25 0 1 0 890837944 1106354176 263727 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 270106 263727 553 1169 0 268933 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1080424
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 32447
/proc/meminfo: memFree=29303272/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=1221392 CPUtime=162.3 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 326626 0 0 0 16198 32 0 0 25 0 1 0 890837944 1250705408 298363 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 305348 298363 553 1169 0 304175 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1221392
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 32449
/proc/meminfo: memFree=29030696/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=1420672 CPUtime=222.3 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 376255 0 0 0 22191 39 0 0 25 0 1 0 890837944 1454768128 347398 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 355168 347398 553 1169 0 353995 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1420672
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 32451
/proc/meminfo: memFree=28728236/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=1607236 CPUtime=282.31 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 422139 0 0 0 28185 46 0 0 25 0 1 0 890837944 1645809664 393282 33554432000 4194304 8979876 140736191013376 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 401809 393282 553 1169 0 400636 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 1607236
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 32452
/proc/meminfo: memFree=28521128/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=1703172 CPUtime=342.31 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 446084 0 0 0 34183 48 0 0 25 0 1 0 890837944 1744048128 417227 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 425793 417227 553 1169 0 424620 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1703172
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 32454
/proc/meminfo: memFree=28234788/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=1834496 CPUtime=402.31 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 478953 0 0 0 40178 53 0 0 25 0 1 0 890837944 1878523904 450096 33554432000 4194304 8979876 140736191013376 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 458624 450096 553 1169 0 457451 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1834496
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 32455
/proc/meminfo: memFree=28045536/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=1916612 CPUtime=462.31 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 499511 0 0 0 46176 55 0 0 25 0 1 0 890837944 1962610688 470621 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 479153 470621 553 1169 0 477980 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1916612
[startup+522.301 s]
/proc/loadavg: 2.11 2.03 1.91 3/178 32457
/proc/meminfo: memFree=27802472/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=2013308 CPUtime=522.31 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 523439 0 0 0 52173 58 0 0 25 0 1 0 890837944 2061627392 494549 33554432000 4194304 8979876 140736191013376 18446744073709551615 4887680 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 503327 494549 553 1169 0 502154 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2013308
[startup+582.301 s]
/proc/loadavg: 2.04 2.02 1.91 3/178 32459
/proc/meminfo: memFree=27641368/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=2094940 CPUtime=582.32 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 543608 0 0 0 58170 62 0 0 25 0 1 0 890837944 2145218560 514718 33554432000 4194304 8979876 140736191013376 18446744073709551615 4916750 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 523735 514718 553 1169 0 522562 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 2094940
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26188968/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=2915896 CPUtime=1062.33 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 746547 0 0 0 106141 92 0 0 25 0 1 0 890837944 2985877504 717657 33554432000 4194304 8979876 140736191013376 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 728974 717657 558 1169 0 727801 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2915896
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/178 32473
/proc/meminfo: memFree=26065184/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=2991212 CPUtime=1122.34 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 764643 0 0 0 112138 96 0 0 25 0 1 0 890837944 3063001088 735753 33554432000 4194304 8979876 140736191013376 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 747803 735753 558 1169 0 746630 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 2991212
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 32475
/proc/meminfo: memFree=25977728/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3033348 CPUtime=1182.34 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 775502 0 0 0 118136 98 0 0 25 0 1 0 890837944 3106148352 746612 33554432000 4194304 8979876 140736191013376 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 758337 746612 558 1169 0 757164 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 3033348
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/178 32476
/proc/meminfo: memFree=25826296/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3135784 CPUtime=1242.34 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 801304 0 0 0 124132 102 0 0 25 0 1 0 890837944 3211042816 772414 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 783946 772414 558 1169 0 782773 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 3135784
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32487
/proc/meminfo: memFree=25709056/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3197960 CPUtime=1302.35 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 816996 0 0 0 130131 104 0 0 25 0 1 0 890837944 3274711040 788106 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 799490 788106 558 1169 0 798317 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 3197960
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32488
/proc/meminfo: memFree=25604000/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3258604 CPUtime=1362.35 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 832204 0 0 0 136130 105 0 0 25 0 1 0 890837944 3336810496 803314 33554432000 4194304 8979876 140736191013376 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 814651 803314 558 1169 0 813478 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 3258604
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32490
/proc/meminfo: memFree=25509356/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3320232 CPUtime=1422.35 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 847174 0 0 0 142128 107 0 0 25 0 1 0 890837944 3399917568 818284 33554432000 4194304 8979876 140736191013376 18446744073709551615 7841099 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 830058 818284 558 1169 0 828885 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3320232
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32495
/proc/meminfo: memFree=25411052/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3382404 CPUtime=1482.35 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 862828 0 0 0 148125 110 0 0 25 0 1 0 890837944 3463581696 833938 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 845601 833938 558 1169 0 844428 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 3382404
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32496
/proc/meminfo: memFree=25326044/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3431532 CPUtime=1542.35 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 875599 0 0 0 154124 111 0 0 25 0 1 0 890837944 3513888768 846709 33554432000 4194304 8979876 140736191013376 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 857883 846709 558 1169 0 856710 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3431532
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32498
/proc/meminfo: memFree=25219752/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3500308 CPUtime=1602.35 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 892707 0 0 0 160122 113 0 0 25 0 1 0 890837944 3584315392 863817 33554432000 4194304 8979876 140736191013376 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 875077 863817 558 1169 0 873904 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3500308
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32499
/proc/meminfo: memFree=25120024/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3569688 CPUtime=1662.36 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 909974 0 0 0 166120 116 0 0 25 0 1 0 890837944 3655360512 881084 33554432000 4194304 8979876 140736191013376 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 892422 881084 558 1169 0 891249 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 3569688
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32501
/proc/meminfo: memFree=25000340/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3644736 CPUtime=1722.35 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 928503 0 0 0 172117 118 0 0 25 0 1 0 890837944 3732209664 899613 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 911184 899613 558 1169 0 910011 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3644736
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24901232/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3697832 CPUtime=1782.36 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 941637 0 0 0 178115 121 0 0 25 0 1 0 890837944 3786579968 912747 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 924458 912747 558 1169 0 923285 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3697832
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24894784/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3700888 CPUtime=1785.56 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 942553 0 0 0 178435 121 0 0 25 0 1 0 890837944 3789709312 913663 33554432000 4194304 8979876 140736191013376 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 925222 913663 558 1169 0 924049 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 3700888
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24882004/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3705856 CPUtime=1791.97 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 944137 0 0 0 179075 122 0 0 25 0 1 0 890837944 3794796544 915247 33554432000 4194304 8979876 140736191013376 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 926464 915247 558 1169 0 925291 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 3705856
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24874936/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3709884 CPUtime=1795.17 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 945067 0 0 0 179395 122 0 0 25 0 1 0 890837944 3798921216 916177 33554432000 4194304 8979876 140736191013376 18446744073709551615 6503345 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 927471 916177 558 1169 0 926298 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 3709884
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24873944/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3710872 CPUtime=1796.77 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 945320 0 0 0 179555 122 0 0 25 0 1 0 890837944 3799932928 916430 33554432000 4194304 8979876 140736191013376 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32442/statm: 927718 916430 558 1169 0 926545 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 3710872
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24879524/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=3399484 CPUtime=1797.56 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 946552 0 0 0 179633 123 0 0 25 0 1 0 890837944 3481071616 839034 33554432000 4194304 8979876 140736191013376 18446744073709551615 4932320 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32442/statm: 849871 839034 573 1169 0 848698 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 3399484
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24879524/32950928 swapFree=67055428/67111528
[pid=32442] ppid=32440 vsize=201004 CPUtime=1797.76 cores=1,3,5,7
/proc/32442/stat : 32442 (scip-2.0.1.4_2.) R 32440 32442 26980 0 -1 4202496 946564 0 0 0 179641 135 0 0 25 0 1 0 890837944 205828096 29559 33554432000 4194304 8979876 140736191013376 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32442/statm: 50251 29168 585 1169 0 49078 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 201004
Child status: 0
Real time (s): 1797.71
CPU time (s): 1797.77
CPU user time (s): 1796.42
CPU system time (s): 1.35779
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3713920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.42
system time used= 1.35779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 946569
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= 1441
runsolver used 2.5996 second user time and 6.54 second system time
The end