0.00/0.00 c SCIP version 2.0.1.4 [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-3453481-1307120459.opb>
1.39/1.48 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234464 constraints
1.39/1.48 c problem read
1.39/1.48 c presolving settings loaded
2.20/2.26 c presolving:
8.19/8.30 c (round 1) 4472 del vars, 13310 del conss, 0 add conss, 3093 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16053708 impls, 0 clqs
10.69/10.74 c (round 2) 10509 del vars, 35638 del conss, 0 add conss, 8780 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16079537 impls, 0 clqs
11.39/11.47 c (round 3) 12671 del vars, 45320 del conss, 0 add conss, 10059 chg bounds, 66 chg sides, 31 chg coeffs, 0 upgd conss, 16093246 impls, 0 clqs
11.79/11.87 c (round 4) 13691 del vars, 49363 del conss, 0 add conss, 10748 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16099378 impls, 0 clqs
12.00/12.10 c (round 5) 14222 del vars, 51574 del conss, 0 add conss, 11082 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16101685 impls, 0 clqs
12.19/12.21 c (round 6) 14511 del vars, 52717 del conss, 0 add conss, 11210 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16104408 impls, 0 clqs
12.29/12.31 c (round 7) 14651 del vars, 53342 del conss, 0 add conss, 11308 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16105466 impls, 0 clqs
12.29/12.40 c (round 8) 14735 del vars, 53702 del conss, 0 add conss, 11366 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106000 impls, 0 clqs
12.39/12.47 c (round 9) 14793 del vars, 53934 del conss, 0 add conss, 11407 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106400 impls, 0 clqs
12.49/12.54 c (round 10) 14841 del vars, 54118 del conss, 0 add conss, 11437 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106862 impls, 0 clqs
12.59/12.60 c (round 11) 14877 del vars, 54273 del conss, 0 add conss, 11459 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107256 impls, 0 clqs
12.59/12.67 c (round 12) 14897 del vars, 54367 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107340 impls, 0 clqs
12.69/12.72 c (round 13) 14897 del vars, 54391 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107340 impls, 0 clqs
13.39/13.41 c (round 14) 14897 del vars, 54391 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 180073 upgd conss, 16107340 impls, 0 clqs
13.79/13.82 c (round 15) 14897 del vars, 54391 del conss, 17 add conss, 11470 chg bounds, 100 chg sides, 203 chg coeffs, 180073 upgd conss, 16110238 impls, 3651 clqs
13.99/14.08 c (round 16) 14897 del vars, 54395 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 238 chg coeffs, 180073 upgd conss, 16110586 impls, 3943 clqs
623.40/623.47 c (623.5s) probing: 1000/57945 (1.7%) - 11 fixings, 1 aggregations, 10839532 implications, 0 bound changes
1120.51/1120.54 c (1120.5s) probing: 2000/57945 (3.5%) - 11 fixings, 1 aggregations, 16733604 implications, 0 bound changes
1199.31/1199.35 c (1199.3s) probing: 2153/57945 (3.7%) - 11 fixings, 1 aggregations, 17512170 implications, 0 bound changes
1199.31/1199.35 c (1199.3s) probing aborted: 2000/2000 successive useless probings
1199.31/1199.35 c (round 17) 14909 del vars, 54395 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 238 chg coeffs, 180073 upgd conss, 78662386 impls, 3943 clqs
1199.81/1199.86 c (round 18) 14909 del vars, 55138 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 451 chg coeffs, 180073 upgd conss, 78662386 impls, 3943 clqs
1599.83/1599.82 c (1599.8s) probing: 3000/57945 (5.2%) - 30 fixings, 12 aggregations, 23324958 implications, 0 bound changes
1800.33/1800.34 c (1800.3s) probing: 3441/57945 (5.9%) - 30 fixings, 12 aggregations, 27544470 implications, 0 bound changes
1800.33/1800.34 c (1800.3s) probing aborted: solving stopped
1800.33/1800.34 c (round 19) 14939 del vars, 55138 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 452 chg coeffs, 180073 upgd conss, 106473930 impls, 4518 clqs
1800.33/1800.34 c presolving (19 rounds):
1800.33/1800.34 c 14939 deleted vars, 55138 deleted constraints, 23 added constraints, 11470 tightened bounds, 0 added holes, 110 changed sides, 452 changed coefficients
1800.33/1800.34 c 106473930 implications, 4518 cliques
1800.33/1800.34 c presolving was interrupted.
1800.33/1800.34 c Presolving Time: 1798.64
1800.33/1800.34 c - non default parameters ----------------------------------------------------------------------
1800.33/1800.34 c # SCIP version 2.0.1.4
1800.33/1800.34 c
1800.33/1800.34 c # frequency for displaying node information lines
1800.33/1800.34 c # [type: int, range: [-1,2147483647], default: 100]
1800.33/1800.34 c display/freq = 10000
1800.33/1800.34 c
1800.33/1800.34 c # maximal time in seconds to run
1800.33/1800.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.33/1800.34 c limits/time = 1800
1800.33/1800.34 c
1800.33/1800.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.33/1800.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.33/1800.34 c limits/memory = 13950
1800.33/1800.34 c
1800.33/1800.34 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.33/1800.34 c # [type: int, range: [1,2], default: 1]
1800.33/1800.34 c timing/clocktype = 2
1800.33/1800.34 c
1800.33/1800.34 c # belongs reading time to solving time?
1800.33/1800.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.33/1800.34 c timing/reading = TRUE
1800.33/1800.34 c
1800.33/1800.34 c # should presolving try to simplify inequalities
1800.33/1800.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.33/1800.34 c constraints/linear/simplifyinequalities = TRUE
1800.33/1800.34 c
1800.33/1800.34 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.33/1800.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.33/1800.34 c constraints/indicator/addCouplingCons = TRUE
1800.33/1800.34 c
1800.33/1800.34 c # should presolving try to simplify knapsacks
1800.33/1800.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.33/1800.34 c constraints/knapsack/simplifyinequalities = TRUE
1800.33/1800.34 c
1800.33/1800.34 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.33/1800.34 c # [type: int, range: [-1,2147483647], default: -1]
1800.33/1800.34 c separating/rapidlearning/freq = 0
1800.33/1800.34 c
1800.33/1800.34 c -----------------------------------------------------------------------------------------------
1800.33/1800.34 c start solving
1800.33/1800.37 c presolving:
1800.33/1800.37 c presolving (19 rounds):
1800.33/1800.37 c 14939 deleted vars, 55138 deleted constraints, 23 added constraints, 11470 tightened bounds, 0 added holes, 110 changed sides, 452 changed coefficients
1800.33/1800.37 c 106473930 implications, 4518 cliques
1800.33/1800.37 c presolving was interrupted.
1800.33/1800.37 c Presolving Time: 1798.68
1800.33/1800.37 c
1800.33/1800.37 c SCIP Status : solving was interrupted [time limit reached]
1800.33/1800.37 c Solving Time (sec) : 1800.37
1800.33/1800.37 c Solving Nodes : 0
1800.33/1800.37 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.33/1800.37 s UNKNOWN
1800.33/1800.37 c SCIP Status : solving was interrupted [time limit reached]
1800.33/1800.37 c Total Time : 1800.37
1800.33/1800.37 c solving : 1800.37
1800.33/1800.37 c presolving : 1798.68 (included in solving)
1800.33/1800.37 c reading : 1.48 (included in solving)
1800.33/1800.37 c Original Problem :
1800.33/1800.37 c Problem name : HOME/instance-3453481-1307120459.opb
1800.33/1800.37 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.33/1800.37 c Constraints : 234464 initial, 234464 maximal
1800.33/1800.37 c Presolved Problem :
1800.33/1800.37 c Problem name : t_HOME/instance-3453481-1307120459.opb
1800.33/1800.37 c Variables : 57903 (57903 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.33/1800.37 c Constraints : 179349 initial, 179349 maximal
1800.33/1800.37 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.33/1800.37 c trivial : 0.06 1016 0 0 0 0 0 0 0 0
1800.33/1800.37 c dualfix : 0.10 120 0 0 0 0 0 0 0 0
1800.33/1800.37 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.33/1800.37 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.33/1800.37 c implics : 0.78 0 0 0 0 0 0 0 0 0
1800.33/1800.37 c probing : 1785.22 30 12 0 0 0 0 0 0 0
1800.33/1800.37 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1800.33/1800.37 c knapsack : 0.68 0 0 0 0 0 4 23 33 405
1800.33/1800.37 c setppc : 0.54 0 0 0 0 0 738 0 0 0
1800.33/1800.37 c linear : 10.36 10454 3307 0 11470 0 54391 0 77 47
1800.33/1800.37 c logicor : 0.14 0 0 0 0 0 5 0 0 0
1800.33/1800.37 c root node : - 0 - - 0 - - - - -
1800.33/1800.37 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.33/1800.37 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.33/1800.37 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.33/1800.37 c knapsack : 0+ 0 147094 0 0 0 0 6 0 0 0 0
1800.33/1800.37 c setppc : 0+ 0 147088 0 0 0 0 7 0 0 0 0
1800.33/1800.37 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.33/1800.37 c logicor : 0+ 0 136131 0 0 0 0 8 0 0 0 0
1800.33/1800.37 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.33/1800.37 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.33/1800.37 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.33/1800.37 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.33/1800.37 c knapsack : 8.44 0.00 8.44 0.00 0.00 0.00 0.00
1800.33/1800.37 c setppc : 946.64 0.00 946.64 0.00 0.00 0.00 0.00
1800.33/1800.37 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.33/1800.37 c logicor : 12.56 0.00 12.56 0.00 0.00 0.00 0.00
1800.33/1800.37 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.33/1800.37 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.33/1800.37 c vbounds : 0 0 0 0
1800.33/1800.37 c rootredcost : 0 0 0 0
1800.33/1800.37 c pseudoobj : 0 0 0 0
1800.33/1800.37 c Propagator Timings : TotalTime Propagate Resprop
1800.33/1800.37 c vbounds : 0.06 0.06 0.00
1800.33/1800.37 c rootredcost : 0.03 0.03 0.00
1800.33/1800.37 c pseudoobj : 0.03 0.03 0.00
1800.33/1800.37 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.33/1800.37 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.33/1800.37 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.33/1800.37 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.33/1800.37 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.33/1800.37 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.33/1800.37 c applied globally : - - - 0 0.0 - - -
1800.33/1800.37 c applied locally : - - - 0 0.0 - - -
1800.93/1800.98 c Time complete: 1801.01.
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-3453481-1307120459/watcher-3453481-1307120459 -o /tmp/evaluation-result-3453481-1307120459/solver-3453481-1307120459 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453481-1307120459.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.41 1.75 2/395 31199
/proc/meminfo: memFree=30109708/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=12444 CPUtime=0.01 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 2104 0 0 0 1 0 0 0 22 0 1 0 823645705 12742656 2057 33554432000 4194304 9128323 140734077732016 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31199/statm: 3111 2057 400 1205 0 1902 0
[startup+0.072276 s]
/proc/loadavg: 1.01 1.41 1.75 2/395 31199
/proc/meminfo: memFree=30109708/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=22828 CPUtime=0.06 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 4692 0 0 0 6 0 0 0 22 0 1 0 823645705 23375872 4643 33554432000 4194304 9128323 140734077732016 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31199/statm: 5707 4643 400 1205 0 4498 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22828
[startup+0.10027 s]
/proc/loadavg: 1.01 1.41 1.75 2/395 31199
/proc/meminfo: memFree=30109708/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=27368 CPUtime=0.09 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 5859 0 0 0 9 0 0 0 22 0 1 0 823645705 28024832 5810 33554432000 4194304 9128323 140734077732016 18446744073709551615 6165085 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31199/statm: 6842 5810 400 1205 0 5633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27368
[startup+0.300234 s]
/proc/loadavg: 1.01 1.41 1.75 2/395 31199
/proc/meminfo: memFree=30109708/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 11588 0 0 0 28 1 0 0 22 0 1 0 823645705 51421184 11507 33554432000 4194304 9128323 140734077732016 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31199/statm: 12554 11507 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.70116 s]
/proc/loadavg: 1.01 1.41 1.75 2/395 31199
/proc/meminfo: memFree=30109708/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=69412 CPUtime=0.69 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 16373 0 0 0 68 1 0 0 25 0 1 0 823645705 71077888 16284 33554432000 4194304 9128323 140734077732016 18446744073709551615 8008915 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31199/statm: 17353 16284 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412
[startup+1.50096 s]
/proc/loadavg: 1.09 1.42 1.75 3/401 31205
/proc/meminfo: memFree=29937920/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=150160 CPUtime=1.49 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 36350 0 0 0 145 4 0 0 25 0 1 0 823645705 153763840 36245 33554432000 4194304 9128323 140734077732016 18446744073709551615 7985376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 37540 36246 431 1205 0 36331 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150160
[startup+3.10068 s]
/proc/loadavg: 1.09 1.42 1.75 3/401 31214
/proc/meminfo: memFree=29377684/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=490536 CPUtime=3.09 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 129859 0 0 0 292 17 0 0 25 0 1 0 823645705 502308864 119350 33554432000 4194304 9128323 140734077732016 18446744073709551615 4833453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 122634 119350 510 1205 0 121425 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 490536
[startup+6.30111 s]
/proc/loadavg: 1.16 1.43 1.75 3/401 31214
/proc/meminfo: memFree=28724064/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=777400 CPUtime=6.29 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 199493 0 0 0 604 25 0 0 25 0 1 0 823645705 796057600 188984 33554432000 4194304 9128323 140734077732016 18446744073709551615 4832032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 194350 188984 510 1205 0 193141 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 777400
[startup+12.701 s]
/proc/loadavg: 1.23 1.44 1.75 3/401 31214
/proc/meminfo: memFree=28403624/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=871744 CPUtime=12.69 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 223659 0 0 0 1241 28 0 0 25 0 1 0 823645705 892665856 212008 33554432000 4194304 9128323 140734077732016 18446744073709551615 5968128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 217936 212008 523 1205 0 216727 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 871744
[startup+25.5007 s]
/proc/loadavg: 1.40 1.47 1.75 3/401 31214
/proc/meminfo: memFree=28154900/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=996980 CPUtime=25.49 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 271630 0 0 0 2515 34 0 0 25 0 1 0 823645705 1020907520 242346 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 249245 242346 676 1205 0 248036 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 996980
[startup+51.1012 s]
/proc/loadavg: 1.60 1.51 1.76 3/401 31215
/proc/meminfo: memFree=28049172/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=1054788 CPUtime=51.08 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 285231 0 0 0 5072 36 0 0 25 0 1 0 823645705 1080102912 255914 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 263697 255914 676 1205 0 262488 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1054788
[startup+102.315 s]
/proc/loadavg: 1.83 1.58 1.77 3/401 31216
/proc/meminfo: memFree=27768856/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=1196932 CPUtime=102.29 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 320430 0 0 0 10188 41 0 0 25 0 1 0 823645705 1225658368 291113 33554432000 4194304 9128323 140734077732016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 299233 291113 676 1205 0 298024 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1196932
[startup+162.3 s]
/proc/loadavg: 2.01 1.67 1.78 3/401 31218
/proc/meminfo: memFree=27534712/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=1306660 CPUtime=162.28 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 348042 0 0 0 16184 44 0 0 25 0 1 0 823645705 1338019840 318692 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 326665 318692 676 1205 0 325456 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1306660
[startup+222.301 s]
/proc/loadavg: 2.14 1.76 1.81 3/401 31223
/proc/meminfo: memFree=27022752/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=1553904 CPUtime=222.29 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 410177 0 0 0 22177 52 0 0 25 0 1 0 823645705 1591197696 380101 33554432000 4194304 9128323 140734077732016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 388476 380101 676 1205 0 387267 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1553904
[startup+282.301 s]
/proc/loadavg: 2.05 1.80 1.82 3/401 31224
/proc/meminfo: memFree=26751412/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=1704980 CPUtime=282.29 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 447990 0 0 0 28173 56 0 0 25 0 1 0 823645705 1745899520 417914 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 426245 417914 676 1205 0 425036 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1704980
[startup+342.3 s]
/proc/loadavg: 2.02 1.83 1.82 3/401 31226
/proc/meminfo: memFree=26507856/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=1812832 CPUtime=342.29 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 474805 0 0 0 34169 60 0 0 25 0 1 0 823645705 1856339968 444729 33554432000 4194304 9128323 140734077732016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 453208 444729 676 1205 0 451999 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1812832
[startup+402.301 s]
/proc/loadavg: 2.00 1.86 1.83 3/401 31227
/proc/meminfo: memFree=26324544/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=1907260 CPUtime=402.29 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 498241 0 0 0 40166 63 0 0 25 0 1 0 823645705 1953034240 468165 33554432000 4194304 9128323 140734077732016 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 476815 468165 676 1205 0 475606 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1907260
[startup+462.301 s]
/proc/loadavg: 2.00 1.89 1.84 3/401 31229
/proc/meminfo: memFree=26123516/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=2021216 CPUtime=462.29 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 525922 0 0 0 46163 66 0 0 25 0 1 0 823645705 2069725184 495846 33554432000 4194304 9128323 140734077732016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 505304 495846 676 1205 0 504095 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2021216
[startup+522.3 s]
/proc/loadavg: 2.00 1.90 1.84 3/401 31231
/proc/meminfo: memFree=25850664/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=2193836 CPUtime=522.29 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 569166 0 0 0 52156 73 0 0 25 0 1 0 823645705 2246488064 539090 33554432000 4194304 9128323 140734077732016 18446744073709551615 4833453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 548459 539090 676 1205 0 547250 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2193836
[startup+582.301 s]
/proc/loadavg: 2.00 1.92 1.85 3/401 31232
/proc/meminfo: memFree=25697988/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=2282228 CPUtime=582.29 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 591184 0 0 0 58153 76 0 0 25 0 1 0 823645705 2337001472 561108 33554432000 4194304 9128323 140734077732016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 570557 561108 676 1205 0 569348 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2282228
[startup+642.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/401 31243
/proc/meminfo: memFree=24708448/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=2707436 CPUtime=1002.31 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 696872 0 0 0 100138 93 0 0 25 0 1 0 823645705 2772414464 666631 33554432000 4194304 9128323 140734077732016 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 676859 666631 680 1205 0 675650 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2707436
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/401 31245
/proc/meminfo: memFree=24356256/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=2753024 CPUtime=1062.31 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 708303 0 0 0 106136 95 0 0 25 0 1 0 823645705 2819096576 678062 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 688256 678062 680 1205 0 687047 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2753024
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/401 31247
/proc/meminfo: memFree=24283316/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=2796804 CPUtime=1122.31 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 719439 0 0 0 112134 97 0 0 25 0 1 0 823645705 2863927296 689198 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 699201 689198 680 1205 0 697992 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2796804
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/401 31248
/proc/meminfo: memFree=24229084/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=2843076 CPUtime=1182.31 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 731011 0 0 0 118132 99 0 0 25 0 1 0 823645705 2911309824 700770 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 710769 700770 680 1205 0 709560 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2843076
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/401 31250
/proc/meminfo: memFree=24129816/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=2925004 CPUtime=1242.31 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 751110 0 0 0 124130 101 0 0 25 0 1 0 823645705 2995204096 720869 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 731251 720869 680 1205 0 730042 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2925004
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/401 31251
/proc/meminfo: memFree=24066044/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=2985124 CPUtime=1302.33 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 765620 0 0 0 130130 103 0 0 25 0 1 0 823645705 3056766976 735379 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 746281 735379 680 1205 0 745072 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2985124
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/401 31253
/proc/meminfo: memFree=23985412/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=3044768 CPUtime=1362.31 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 781036 0 0 0 136126 105 0 0 25 0 1 0 823645705 3117842432 750795 33554432000 4194304 9128323 140734077732016 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 761192 750795 680 1205 0 759983 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3044768
[startup+1422.32 s]
/proc/loadavg: 2.02 2.02 1.92 3/401 31255
/proc/meminfo: memFree=23840936/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=3191424 CPUtime=1422.33 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 816925 0 0 0 142122 111 0 0 25 0 1 0 823645705 3268018176 786684 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 797856 786684 680 1205 0 796647 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3191424
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/401 31256
/proc/meminfo: memFree=23764148/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=3266908 CPUtime=1482.32 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 836041 0 0 0 148118 114 0 0 25 0 1 0 823645705 3345313792 805800 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 816727 805800 680 1205 0 815518 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3266908
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/401 31258
/proc/meminfo: memFree=23684988/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=3346284 CPUtime=1542.32 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 855890 0 0 0 154116 116 0 0 25 0 1 0 823645705 3426594816 825649 33554432000 4194304 9128323 140734077732016 18446744073709551615 4794279 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 836571 825649 680 1205 0 835362 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3346284
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/401 31259
/proc/meminfo: memFree=23586736/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=3447164 CPUtime=1602.33 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 880799 0 0 0 160114 119 0 0 25 0 1 0 823645705 3529895936 850558 33554432000 4194304 9128323 140734077732016 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 861791 850558 680 1205 0 860582 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3447164
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/401 31261
/proc/meminfo: memFree=23501884/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=3529572 CPUtime=1662.32 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 901580 0 0 0 166111 121 0 0 25 0 1 0 823645705 3614281728 871339 33554432000 4194304 9128323 140734077732016 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 882393 871339 680 1205 0 881184 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3529572
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/401 31263
/proc/meminfo: memFree=23380188/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=3653544 CPUtime=1722.33 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 932009 0 0 0 172108 125 0 0 25 0 1 0 823645705 3741229056 901768 33554432000 4194304 9128323 140734077732016 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 913386 901768 680 1205 0 912177 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3653544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/401 31264
/proc/meminfo: memFree=23272772/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=3750012 CPUtime=1782.33 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 955999 0 0 0 178105 128 0 0 25 0 1 0 823645705 3840012288 925651 33554432000 4194304 9128323 140734077732016 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 937503 925651 680 1205 0 936294 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3750012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/401 31265
/proc/meminfo: memFree=23242376/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=3780236 CPUtime=1800.04 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 963552 0 0 0 179875 129 0 0 25 0 1 0 823645705 3870961664 933204 33554432000 4194304 9128323 140734077732016 18446744073709551615 5494326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31199/statm: 945059 933204 680 1205 0 943850 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3780236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.92 3/403 31267
/proc/meminfo: memFree=23259100/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=3761960 CPUtime=1800.64 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 964857 0 0 0 179935 129 0 0 25 0 1 0 823645705 3852247040 928587 33554432000 4194304 9128323 140734077732016 18446744073709551615 6890169 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31199/statm: 940490 928587 690 1205 0 939281 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 3761960
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 1.92 3/403 31267
/proc/meminfo: memFree=23259100/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=3441656 CPUtime=1800.83 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 964864 0 0 0 179953 130 0 0 25 0 1 0 823645705 3524255744 848875 33554432000 4194304 9128323 140734077732016 18446744073709551615 4338281 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31199/statm: 860414 848875 697 1205 0 859205 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 3441656
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/403 31267
/proc/meminfo: memFree=23259100/32950904 swapFree=56615552/67111528
[pid=31199] ppid=31197 vsize=2821980 CPUtime=1800.93 cores=1,3,5,7
/proc/31199/stat : 31199 (scip-2.0.1.4.li) R 31197 31199 27067 0 -1 4202496 964879 0 0 0 179957 136 0 0 25 0 1 0 823645705 2889707520 530114 33554432000 4194304 9128323 140734077732016 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31199/statm: 705495 529602 712 1205 0 704286 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 2821980
Child status: 0
Real time (s): 1800.99
CPU time (s): 1801.02
CPU user time (s): 1799.58
CPU system time (s): 1.44378
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3784024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 1.44378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 964881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 20272
runsolver used 6.74097 second user time and 17.5743 second system time
The end