0.00/0.00 c SCIP version 2.0.1.5 [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-3489743-1307792819.opb>
1.49/1.52 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245234 constraints
1.49/1.52 c problem read
1.49/1.52 c presolving settings loaded
1.99/2.05 c presolving:
10.89/10.94 c (round 1) 6155 del vars, 18065 del conss, 0 add conss, 4645 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16741278 impls, 0 clqs
15.29/15.38 c (round 2) 12332 del vars, 44937 del conss, 0 add conss, 10375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16775433 impls, 0 clqs
16.89/16.93 c (round 3) 14554 del vars, 54941 del conss, 0 add conss, 11737 chg bounds, 12 chg sides, 14 chg coeffs, 0 upgd conss, 16791966 impls, 0 clqs
17.69/17.78 c (round 4) 15707 del vars, 59580 del conss, 0 add conss, 12493 chg bounds, 33 chg sides, 31 chg coeffs, 0 upgd conss, 16799619 impls, 0 clqs
18.19/18.29 c (round 5) 16478 del vars, 62557 del conss, 0 add conss, 12996 chg bounds, 39 chg sides, 36 chg coeffs, 0 upgd conss, 16805385 impls, 0 clqs
18.59/18.61 c (round 6) 16921 del vars, 64350 del conss, 0 add conss, 13274 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16808576 impls, 0 clqs
18.79/18.84 c (round 7) 17197 del vars, 65478 del conss, 0 add conss, 13457 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16811073 impls, 0 clqs
18.99/19.02 c (round 8) 17387 del vars, 66296 del conss, 0 add conss, 13594 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16813481 impls, 0 clqs
19.09/19.19 c (round 9) 17569 del vars, 66993 del conss, 0 add conss, 13732 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16814907 impls, 0 clqs
19.29/19.32 c (round 10) 17679 del vars, 67502 del conss, 0 add conss, 13819 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16816082 impls, 0 clqs
19.39/19.43 c (round 11) 17785 del vars, 67916 del conss, 0 add conss, 13895 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16816874 impls, 0 clqs
19.49/19.52 c (round 12) 17837 del vars, 68165 del conss, 0 add conss, 13935 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16817167 impls, 0 clqs
19.59/19.60 c (round 13) 17851 del vars, 68262 del conss, 0 add conss, 13942 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16817275 impls, 0 clqs
19.59/19.68 c (round 14) 17855 del vars, 68289 del conss, 0 add conss, 13944 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16817289 impls, 0 clqs
20.39/20.45 c (round 15) 17855 del vars, 68295 del conss, 0 add conss, 13944 chg bounds, 51 chg sides, 46 chg coeffs, 176939 upgd conss, 16817289 impls, 0 clqs
21.49/21.52 c (round 16) 17855 del vars, 68301 del conss, 21 add conss, 13944 chg bounds, 80 chg sides, 224 chg coeffs, 176939 upgd conss, 16817937 impls, 2334 clqs
803.19/803.30 c (803.3s) probing: 1000/54987 (1.8%) - 17 fixings, 8 aggregations, 12573817 implications, 0 bound changes
1528.57/1528.67 c (1528.7s) probing: 2000/54987 (3.6%) - 17 fixings, 8 aggregations, 19529490 implications, 0 bound changes
1796.95/1797.02 c (1797.0s) probing: 2460/54987 (4.5%) - 17 fixings, 8 aggregations, 22329584 implications, 0 bound changes
1796.95/1797.02 c (1797.0s) probing aborted: solving stopped
1796.95/1797.02 c (round 17) 17880 del vars, 68301 del conss, 27 add conss, 13944 chg bounds, 86 chg sides, 254 chg coeffs, 176939 upgd conss, 98429205 impls, 2418 clqs
1796.95/1797.02 c presolving (17 rounds):
1796.95/1797.02 c 17880 deleted vars, 68301 deleted constraints, 27 added constraints, 13944 tightened bounds, 0 added holes, 86 changed sides, 254 changed coefficients
1796.95/1797.02 c 98429205 implications, 2418 cliques
1796.95/1797.02 c presolving was interrupted.
1796.95/1797.02 c Presolving Time: 1795.12
1796.95/1797.02 c - non default parameters ----------------------------------------------------------------------
1796.95/1797.02 c # SCIP version 2.0.1.5
1796.95/1797.02 c
1796.95/1797.02 c # frequency for displaying node information lines
1796.95/1797.02 c # [type: int, range: [-1,2147483647], default: 100]
1796.95/1797.03 c display/freq = 10000
1796.95/1797.03 c
1796.95/1797.03 c # maximal time in seconds to run
1796.95/1797.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.95/1797.03 c limits/time = 1797
1796.95/1797.03 c
1796.95/1797.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.95/1797.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.95/1797.03 c limits/memory = 13950
1796.95/1797.03 c
1796.95/1797.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.95/1797.03 c # [type: int, range: [1,2], default: 1]
1796.95/1797.03 c timing/clocktype = 2
1796.95/1797.03 c
1796.95/1797.03 c # belongs reading time to solving time?
1796.95/1797.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.95/1797.03 c timing/reading = TRUE
1796.95/1797.03 c
1796.95/1797.03 c # should presolving try to simplify inequalities
1796.95/1797.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.95/1797.03 c constraints/linear/simplifyinequalities = TRUE
1796.95/1797.03 c
1796.95/1797.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.95/1797.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.95/1797.03 c constraints/indicator/addCouplingCons = TRUE
1796.95/1797.03 c
1796.95/1797.03 c # should presolving try to simplify knapsacks
1796.95/1797.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.95/1797.03 c constraints/knapsack/simplifyinequalities = TRUE
1796.95/1797.03 c
1796.95/1797.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.95/1797.03 c # [type: int, range: [-1,2147483647], default: -1]
1796.95/1797.03 c separating/rapidlearning/freq = 0
1796.95/1797.03 c
1796.95/1797.03 c -----------------------------------------------------------------------------------------------
1796.95/1797.03 c start solving
1796.95/1797.06 c presolving:
1796.95/1797.06 c presolving (17 rounds):
1796.95/1797.06 c 17880 deleted vars, 68301 deleted constraints, 27 added constraints, 13944 tightened bounds, 0 added holes, 86 changed sides, 254 changed coefficients
1796.95/1797.06 c 98429205 implications, 2418 cliques
1796.95/1797.06 c presolving was interrupted.
1796.95/1797.06 c Presolving Time: 1795.16
1796.95/1797.06 c
1796.95/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1796.95/1797.06 c Solving Time (sec) : 1797.06
1796.95/1797.06 c Solving Nodes : 0
1796.95/1797.06 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.95/1797.06 s UNKNOWN
1796.95/1797.06 c SCIP Status : solving was interrupted [time limit reached]
1796.95/1797.06 c Total Time : 1797.06
1796.95/1797.06 c solving : 1797.06
1796.95/1797.06 c presolving : 1795.16 (included in solving)
1796.95/1797.06 c reading : 1.52 (included in solving)
1796.95/1797.06 c Original Problem :
1796.95/1797.06 c Problem name : HOME/instance-3489743-1307792819.opb
1796.95/1797.06 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.95/1797.06 c Constraints : 245234 initial, 245234 maximal
1796.95/1797.06 c Presolved Problem :
1796.95/1797.06 c Problem name : t_HOME/instance-3489743-1307792819.opb
1796.95/1797.06 c Variables : 54962 (54962 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.95/1797.06 c Constraints : 176960 initial, 176960 maximal
1796.95/1797.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.95/1797.06 c trivial : 0.05 1027 0 0 0 0 0 0 0 0
1796.95/1797.06 c dualfix : 0.10 122 0 0 0 0 0 0 0 0
1796.95/1797.06 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.95/1797.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.95/1797.06 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.95/1797.06 c implics : 0.63 0 0 0 0 0 0 0 0 0
1796.95/1797.06 c probing : 1775.01 17 8 0 0 0 0 0 0 0
1796.95/1797.06 c knapsack : 1.09 0 0 0 0 0 0 27 35 208
1796.95/1797.06 c setppc : 0.32 0 0 0 0 0 6 0 0 0
1796.95/1797.06 c linear : 17.47 12917 3789 0 13944 0 68295 0 51 46
1796.95/1797.06 c logicor : 0.06 0 0 0 0 0 0 0 0 0
1796.95/1797.06 c root node : - 0 - - 0 - - - - -
1796.95/1797.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.95/1797.06 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1796.95/1797.06 c knapsack : 0+ 0 125515 0 0 0 0 1 0 0 0 0
1796.95/1797.06 c setppc : 0+ 0 125514 0 0 0 0 6 0 0 0 0
1796.95/1797.06 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1796.95/1797.06 c logicor : 0+ 0 114422 0 0 0 0 3 0 0 0 0
1796.95/1797.06 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.95/1797.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.95/1797.06 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.95/1797.06 c knapsack : 9.86 0.00 9.86 0.00 0.00 0.00 0.00
1796.95/1797.06 c setppc : 831.49 0.00 831.49 0.00 0.00 0.00 0.00
1796.95/1797.06 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.95/1797.06 c logicor : 7.62 0.00 7.62 0.00 0.00 0.00 0.00
1796.95/1797.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.95/1797.06 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.95/1797.06 c vbounds : 0 0 0 0
1796.95/1797.06 c rootredcost : 0 0 0 0
1796.95/1797.06 c pseudoobj : 0 0 0 0
1796.95/1797.06 c Propagator Timings : TotalTime Propagate Resprop
1796.95/1797.06 c vbounds : 0.05 0.05 0.00
1796.95/1797.06 c rootredcost : 0.04 0.04 0.00
1796.95/1797.06 c pseudoobj : 0.03 0.03 0.00
1796.95/1797.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.95/1797.06 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.95/1797.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.95/1797.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.95/1797.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.95/1797.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.95/1797.06 c applied globally : - - - 0 0.0 - - -
1796.95/1797.06 c applied locally : - - - 0 0.0 - - -
1797.65/1797.72 c Time complete: 1797.67.
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-3489743-1307792819/watcher-3489743-1307792819 -o /tmp/evaluation-result-3489743-1307792819/solver-3489743-1307792819 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489743-1307792819.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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 2.00 3/177 27465
/proc/meminfo: memFree=29822572/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=10944 CPUtime=0 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 1775 0 0 0 0 0 0 0 25 0 1 0 969512558 11206656 1729 33554432000 4194304 9016284 140734716598032 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27465/statm: 2736 1741 340 1178 0 1554 0
[startup+0.0695909 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27465
/proc/meminfo: memFree=29822572/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=25356 CPUtime=0.06 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 5343 0 0 0 6 0 0 0 25 0 1 0 969512558 25964544 5297 33554432000 4194304 9016284 140734716598032 18446744073709551615 7870468 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27465/statm: 6339 5297 360 1178 0 5157 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25356
[startup+0.100593 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27465
/proc/meminfo: memFree=29822572/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=31088 CPUtime=0.09 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 6776 0 0 0 9 0 0 0 25 0 1 0 969512558 31834112 6730 33554432000 4194304 9016284 140734716598032 18446744073709551615 6152057 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27465/statm: 7772 6730 360 1178 0 6590 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31088
[startup+0.300553 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27465
/proc/meminfo: memFree=29822572/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=56880 CPUtime=0.29 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 13210 0 0 0 28 1 0 0 25 0 1 0 969512558 58245120 13164 33554432000 4194304 9016284 140734716598032 18446744073709551615 7870498 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27465/statm: 14220 13164 360 1178 0 13038 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56880
[startup+0.700489 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27465
/proc/meminfo: memFree=29822572/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=84176 CPUtime=0.69 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 20019 0 0 0 67 2 0 0 25 0 1 0 969512558 86196224 19973 33554432000 4194304 9016284 140734716598032 18446744073709551615 4445973 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27465/statm: 21044 19973 360 1178 0 19862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84176
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27466
/proc/meminfo: memFree=29715328/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=156620 CPUtime=1.49 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 38077 0 0 0 145 4 0 0 25 0 1 0 969512558 160378880 38031 33554432000 4194304 9016284 140734716598032 18446744073709551615 7874926 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27465/statm: 39155 38031 360 1178 0 37973 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156620
[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27466
/proc/meminfo: memFree=29448700/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=488392 CPUtime=3.09 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 119720 0 0 0 294 15 0 0 25 0 1 0 969512558 500113408 119599 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480241 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 122098 119599 485 1178 0 120916 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 488392
[startup+6.30056 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 27466
/proc/meminfo: memFree=29181884/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=689588 CPUtime=6.29 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 169481 0 0 0 608 21 0 0 25 0 1 0 969512558 706138112 169360 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 172397 169360 485 1178 0 171215 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 689588
[startup+12.7005 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 27466
/proc/meminfo: memFree=28929036/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=884884 CPUtime=12.69 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 216435 0 0 0 1244 25 0 0 25 0 1 0 969512558 906121216 216057 33554432000 4194304 9016284 140734716598032 18446744073709551615 6481218 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 221221 216057 496 1178 0 220039 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 884884
[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 27466
/proc/meminfo: memFree=28823136/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=973736 CPUtime=25.48 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 254751 0 0 0 2519 29 0 0 25 0 1 0 969512558 997105664 237587 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 243434 237587 628 1178 0 242252 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 973736
[startup+51.1011 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 27466
/proc/meminfo: memFree=28750120/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=1001332 CPUtime=51.08 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 261145 0 0 0 5078 30 0 0 25 0 1 0 969512558 1025363968 243981 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480206 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 250333 243981 628 1178 0 249151 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1001332
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 27468
/proc/meminfo: memFree=28601428/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=1064848 CPUtime=102.29 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 276237 0 0 0 10197 32 0 0 25 0 1 0 969512558 1090404352 259073 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 266212 259073 628 1178 0 265030 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1064848
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 27470
/proc/meminfo: memFree=28283432/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=1178868 CPUtime=162.28 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 304762 0 0 0 16193 35 0 0 25 0 1 0 969512558 1207160832 287598 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 294717 287598 628 1178 0 293535 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1178868
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 27470
/proc/meminfo: memFree=28038860/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=1287824 CPUtime=222.28 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 331420 0 0 0 22190 38 0 0 25 0 1 0 969512558 1318731776 314124 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 321956 314124 628 1178 0 320774 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1287824
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 27472
/proc/meminfo: memFree=27815972/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=1392988 CPUtime=282.28 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 357503 0 0 0 28186 42 0 0 25 0 1 0 969512558 1426419712 340207 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 348247 340207 628 1178 0 347065 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1392988
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27474
/proc/meminfo: memFree=27529720/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=1524256 CPUtime=342.27 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 390242 0 0 0 34181 46 0 0 25 0 1 0 969512558 1560838144 372946 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27465/statm: 381064 372946 628 1178 0 379882 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1524256
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27476
/proc/meminfo: memFree=27284516/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=1687972 CPUtime=402.28 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 431146 0 0 0 40176 52 0 0 25 0 1 0 969512558 1728483328 413850 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27465/statm: 421993 413850 628 1178 0 420811 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1687972
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27478
/proc/meminfo: memFree=26982640/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=1869276 CPUtime=462.28 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 475722 0 0 0 46170 58 0 0 25 0 1 0 969512558 1914138624 458426 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480192 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27465/statm: 467319 458426 628 1178 0 466137 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1869276
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27478
/proc/meminfo: memFree=26639972/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=1990500 CPUtime=522.28 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 505493 0 0 0 52166 62 0 0 25 0 1 0 969512558 2038272000 488197 33554432000 4194304 9016284 140734716598032 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27465/statm: 497625 488197 628 1178 0 496443 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 1990500
[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 27480
/proc/meminfo: memFree=26418572/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=2117940 CPUtime=582.28 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 537927 0 0 0 58163 65 0 0 25 0 1 0 969512558 2168770560 520631 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27465/statm: 529485 520631 628 1178 0 528303 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2117940
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25169052/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=2846548 CPUtime=1062.29 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 718631 0 0 0 106139 90 0 0 25 0 1 0 969512558 2914865152 701335 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510868 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 711637 701335 633 1178 0 710455 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 2846548
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27503
/proc/meminfo: memFree=25064228/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=2897084 CPUtime=1122.28 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 731090 0 0 0 112136 92 0 0 25 0 1 0 969512558 2966614016 713794 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 724271 713794 633 1178 0 723089 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 2897084
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27505
/proc/meminfo: memFree=24729380/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=2959940 CPUtime=1182.28 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 746959 0 0 0 118132 96 0 0 25 0 1 0 969512558 3030978560 729663 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 739985 729663 633 1178 0 738803 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 2959940
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 27507
/proc/meminfo: memFree=24653684/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3004012 CPUtime=1242.28 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 758231 0 0 0 124131 97 0 0 25 0 1 0 969512558 3076108288 740935 33554432000 4194304 9016284 140734716598032 18446744073709551615 4330762 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 751003 740935 633 1178 0 749821 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 3004012
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 27509
/proc/meminfo: memFree=24578992/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3061936 CPUtime=1302.29 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 772263 0 0 0 130129 100 0 0 25 0 1 0 969512558 3135422464 754967 33554432000 4194304 9016284 140734716598032 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 765484 754967 633 1178 0 764302 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 3061936
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27511
/proc/meminfo: memFree=24513592/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3109044 CPUtime=1362.28 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 783888 0 0 0 136126 102 0 0 25 0 1 0 969512558 3183661056 766592 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 777261 766592 633 1178 0 776079 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 3109044
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27511
/proc/meminfo: memFree=24475968/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3143024 CPUtime=1422.27 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 793090 0 0 0 142124 103 0 0 25 0 1 0 969512558 3218456576 775794 33554432000 4194304 9016284 140734716598032 18446744073709551615 5154369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 785756 775794 633 1178 0 784574 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 3143024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27513
/proc/meminfo: memFree=24440196/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3178212 CPUtime=1482.27 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 801832 0 0 0 148122 105 0 0 25 0 1 0 969512558 3254489088 784536 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 794553 784536 633 1178 0 793371 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 3178212
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27515
/proc/meminfo: memFree=24400576/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3216892 CPUtime=1542.27 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 811564 0 0 0 154120 107 0 0 25 0 1 0 969512558 3294097408 794268 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 804223 794268 633 1178 0 803041 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 3216892
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27517
/proc/meminfo: memFree=24353884/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3266804 CPUtime=1602.26 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 823314 0 0 0 160118 108 0 0 25 0 1 0 969512558 3345207296 806018 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 816701 806018 633 1178 0 815519 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 3266804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27519
/proc/meminfo: memFree=24323192/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3296940 CPUtime=1662.27 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 830872 0 0 0 166117 110 0 0 25 0 1 0 969512558 3376066560 813576 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 824235 813576 633 1178 0 823053 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 3296940
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27558
/proc/meminfo: memFree=26794744/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3343176 CPUtime=1722.26 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 842309 0 0 0 172115 111 0 0 25 0 1 0 969512558 3423412224 825013 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 835794 825013 633 1178 0 834612 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 3343176
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27560
/proc/meminfo: memFree=26600308/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3410700 CPUtime=1782.25 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 858576 0 0 0 178112 113 0 0 25 0 1 0 969512558 3492556800 841280 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 852675 841280 633 1178 0 851493 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 3410700
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27560
/proc/meminfo: memFree=26596216/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3410700 CPUtime=1785.45 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 858694 0 0 0 178432 113 0 0 25 0 1 0 969512558 3492556800 841398 33554432000 4194304 9016284 140734716598032 18446744073709551615 5511040 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 852675 841398 633 1178 0 851493 0
Current children cumulated CPU time (s) 1785.45
Current children cumulated vsize (KiB) 3410700
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27560
/proc/meminfo: memFree=26578732/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3410700 CPUtime=1791.85 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 859141 0 0 0 179072 113 0 0 25 0 1 0 969512558 3492556800 841845 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 852675 841845 633 1178 0 851493 0
Current children cumulated CPU time (s) 1791.85
Current children cumulated vsize (KiB) 3410700
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27560
/proc/meminfo: memFree=26564224/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3411704 CPUtime=1795.06 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 859474 0 0 0 179392 114 0 0 25 0 1 0 969512558 3493584896 842178 33554432000 4194304 9016284 140734716598032 18446744073709551615 5511158 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 852926 842178 633 1178 0 851744 0
Current children cumulated CPU time (s) 1795.06
Current children cumulated vsize (KiB) 3411704
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27560
/proc/meminfo: memFree=26563852/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3411704 CPUtime=1796.65 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 859627 0 0 0 179551 114 0 0 25 0 1 0 969512558 3493584896 842331 33554432000 4194304 9016284 140734716598032 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27465/statm: 852926 842331 633 1178 0 851744 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (KiB) 3411704
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27560
/proc/meminfo: memFree=26570176/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=3041748 CPUtime=1797.45 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 860443 0 0 0 179630 115 0 0 25 0 1 0 969512558 3114749952 750627 33554432000 4194304 9016284 140734716598032 18446744073709551615 4914623 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27465/statm: 760437 750627 646 1178 0 759255 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 3041748
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27560
/proc/meminfo: memFree=26570176/32951124 swapFree=67049456/67111528
[pid=27465] ppid=27463 vsize=2524564 CPUtime=1797.65 cores=0,2,4,6
/proc/27465/stat : 27465 (scip-2.0.1.4b_2) R 27463 27465 24968 0 -1 4202496 860452 0 0 0 179639 126 0 0 25 0 1 0 969512558 2585153536 142727 33554432000 4194304 9016284 140734716598032 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27465/statm: 631141 142458 655 1178 0 629959 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 2524564
Child status: 0
Real time (s): 1797.73
CPU time (s): 1797.68
CPU user time (s): 1796.39
CPU system time (s): 1.2888
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 3411704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.39
system time used= 1.2888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 860457
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= 16231
runsolver used 2.92955 second user time and 5.76912 second system time
The end