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-3489751-1307792557.opb>
1.39/1.42 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256396 constraints
1.39/1.42 c problem read
1.39/1.42 c presolving settings loaded
1.89/1.94 c presolving:
10.99/11.02 c (round 1) 8360 del vars, 25095 del conss, 0 add conss, 6775 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17055776 impls, 0 clqs
15.39/15.42 c (round 2) 14908 del vars, 54185 del conss, 0 add conss, 13055 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17092519 impls, 0 clqs
16.89/16.99 c (round 3) 17603 del vars, 66985 del conss, 0 add conss, 14626 chg bounds, 45 chg sides, 35 chg coeffs, 0 upgd conss, 17111289 impls, 0 clqs
17.99/18.00 c (round 4) 18843 del vars, 72206 del conss, 0 add conss, 15518 chg bounds, 46 chg sides, 38 chg coeffs, 0 upgd conss, 17119734 impls, 0 clqs
18.49/18.50 c (round 5) 19605 del vars, 75470 del conss, 0 add conss, 15979 chg bounds, 46 chg sides, 38 chg coeffs, 0 upgd conss, 17125629 impls, 0 clqs
18.79/18.82 c (round 6) 20027 del vars, 77218 del conss, 0 add conss, 16221 chg bounds, 49 chg sides, 41 chg coeffs, 0 upgd conss, 17129263 impls, 0 clqs
18.99/19.03 c (round 7) 20246 del vars, 78218 del conss, 0 add conss, 16356 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17131332 impls, 0 clqs
19.09/19.18 c (round 8) 20386 del vars, 78790 del conss, 0 add conss, 16427 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17132757 impls, 0 clqs
19.19/19.29 c (round 9) 20462 del vars, 79160 del conss, 0 add conss, 16471 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17133393 impls, 0 clqs
19.29/19.38 c (round 10) 20504 del vars, 79361 del conss, 0 add conss, 16495 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17133826 impls, 0 clqs
19.39/19.46 c (round 11) 20534 del vars, 79485 del conss, 0 add conss, 16510 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134124 impls, 0 clqs
19.49/19.53 c (round 12) 20550 del vars, 79571 del conss, 0 add conss, 16519 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134242 impls, 0 clqs
19.49/19.60 c (round 13) 20556 del vars, 79606 del conss, 0 add conss, 16522 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134308 impls, 0 clqs
1009.38/1009.42 c (1009.4s) probing: 1000/52282 (1.9%) - 8 fixings, 4 aggregations, 14741387 implications, 0 bound changes
1708.09/1708.14 c (1708.1s) probing: 2000/52282 (3.8%) - 10 fixings, 4 aggregations, 23766314 implications, 0 bound changes
1796.99/1797.04 c (1797.0s) probing: 2146/52282 (4.1%) - 10 fixings, 4 aggregations, 24972470 implications, 0 bound changes
1796.99/1797.04 c (1797.0s) probing aborted: solving stopped
1796.99/1797.04 c (round 14) 20574 del vars, 79629 del conss, 0 add conss, 16524 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 111524720 impls, 0 clqs
1796.99/1797.04 c presolving (14 rounds):
1796.99/1797.04 c 20574 deleted vars, 79629 deleted constraints, 0 added constraints, 16524 tightened bounds, 0 added holes, 52 changed sides, 44 changed coefficients
1796.99/1797.04 c 111524720 implications, 0 cliques
1796.99/1797.04 c presolving was interrupted.
1796.99/1797.04 c Presolving Time: 1795.25
1796.99/1797.04 c - non default parameters ----------------------------------------------------------------------
1796.99/1797.04 c # SCIP version 2.0.1.5
1796.99/1797.04 c
1796.99/1797.04 c # frequency for displaying node information lines
1796.99/1797.04 c # [type: int, range: [-1,2147483647], default: 100]
1796.99/1797.04 c display/freq = 10000
1796.99/1797.04 c
1796.99/1797.04 c # maximal time in seconds to run
1796.99/1797.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.99/1797.04 c limits/time = 1797
1796.99/1797.04 c
1796.99/1797.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.99/1797.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.99/1797.04 c limits/memory = 13950
1796.99/1797.04 c
1796.99/1797.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.99/1797.04 c # [type: int, range: [1,2], default: 1]
1796.99/1797.04 c timing/clocktype = 2
1796.99/1797.04 c
1796.99/1797.04 c # belongs reading time to solving time?
1796.99/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.99/1797.04 c timing/reading = TRUE
1796.99/1797.04 c
1796.99/1797.04 c # should presolving try to simplify inequalities
1796.99/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.99/1797.04 c constraints/linear/simplifyinequalities = TRUE
1796.99/1797.04 c
1796.99/1797.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.99/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.99/1797.04 c constraints/indicator/addCouplingCons = TRUE
1796.99/1797.04 c
1796.99/1797.04 c # should presolving try to simplify knapsacks
1796.99/1797.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.99/1797.04 c constraints/knapsack/simplifyinequalities = TRUE
1796.99/1797.04 c
1796.99/1797.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.99/1797.04 c # [type: int, range: [-1,2147483647], default: -1]
1796.99/1797.04 c separating/rapidlearning/freq = 0
1796.99/1797.04 c
1796.99/1797.04 c -----------------------------------------------------------------------------------------------
1796.99/1797.04 c start solving
1796.99/1797.08 c presolving:
1796.99/1797.08 c presolving (14 rounds):
1796.99/1797.08 c 20574 deleted vars, 79629 deleted constraints, 0 added constraints, 16524 tightened bounds, 0 added holes, 52 changed sides, 44 changed coefficients
1796.99/1797.08 c 111524720 implications, 0 cliques
1796.99/1797.08 c presolving was interrupted.
1796.99/1797.08 c Presolving Time: 1795.29
1796.99/1797.08 c
1796.99/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1796.99/1797.08 c Solving Time (sec) : 1797.08
1796.99/1797.08 c Solving Nodes : 0
1796.99/1797.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.99/1797.08 s UNKNOWN
1796.99/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1796.99/1797.08 c Total Time : 1797.08
1796.99/1797.08 c solving : 1797.08
1796.99/1797.08 c presolving : 1795.29 (included in solving)
1796.99/1797.08 c reading : 1.42 (included in solving)
1796.99/1797.08 c Original Problem :
1796.99/1797.08 c Problem name : HOME/instance-3489751-1307792557.opb
1796.99/1797.08 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.99/1797.08 c Constraints : 256396 initial, 256396 maximal
1796.99/1797.08 c Presolved Problem :
1796.99/1797.08 c Problem name : t_HOME/instance-3489751-1307792557.opb
1796.99/1797.08 c Variables : 52268 (52268 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.99/1797.08 c Constraints : 176767 initial, 176767 maximal
1796.99/1797.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.99/1797.08 c trivial : 0.04 1076 0 0 0 0 0 0 0 0
1796.99/1797.08 c dualfix : 0.08 124 0 0 0 0 0 0 0 0
1796.99/1797.08 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.08 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.08 c implics : 0.52 0 0 0 0 0 0 0 0 0
1796.99/1797.08 c probing : 1777.36 10 4 0 0 0 0 0 0 0
1796.99/1797.08 c linear : 17.02 15448 3912 0 16524 0 79629 0 52 44
1796.99/1797.08 c root node : - 0 - - 0 - - - - -
1796.99/1797.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.99/1797.08 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1796.99/1797.08 c linear : 0+ 0 110151 0 0 0 0 7 0 0 0 0
1796.99/1797.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.99/1797.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.99/1797.08 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.99/1797.08 c linear : 605.00 0.00 605.00 0.00 0.00 0.00 0.00
1796.99/1797.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.99/1797.08 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.99/1797.08 c vbounds : 0 0 0 0
1796.99/1797.08 c rootredcost : 0 0 0 0
1796.99/1797.08 c pseudoobj : 0 0 0 0
1796.99/1797.08 c Propagator Timings : TotalTime Propagate Resprop
1796.99/1797.08 c vbounds : 0.05 0.05 0.00
1796.99/1797.08 c rootredcost : 0.03 0.03 0.00
1796.99/1797.08 c pseudoobj : 0.02 0.02 0.00
1796.99/1797.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.99/1797.08 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.99/1797.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.99/1797.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.99/1797.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.99/1797.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.99/1797.08 c applied globally : - - - 0 0.0 - - -
1796.99/1797.08 c applied locally : - - - 0 0.0 - - -
1797.69/1797.73 c Time complete: 1797.72.
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-3489751-1307792557/watcher-3489751-1307792557 -o /tmp/evaluation-result-3489751-1307792557/solver-3489751-1307792557 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489751-1307792557.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.01 2.00 1.92 2/177 23053
/proc/meminfo: memFree=31203864/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=11972 CPUtime=0 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 2025 0 0 0 0 0 0 0 25 0 1 0 890854426 12259328 1979 33554432000 4194304 9016284 140736649801296 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23053/statm: 2993 1991 340 1178 0 1811 0
[startup+0.00773201 s]
/proc/loadavg: 2.01 2.00 1.92 2/177 23053
/proc/meminfo: memFree=31203864/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=13192 CPUtime=0 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 2280 0 0 0 0 0 0 0 25 0 1 0 890854426 13508608 2234 33554432000 4194304 9016284 140736649801296 18446744073709551615 6151444 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23053/statm: 3298 2234 360 1178 0 2116 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13192
[startup+0.100665 s]
/proc/loadavg: 2.01 2.00 1.92 2/177 23053
/proc/meminfo: memFree=31203864/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=31088 CPUtime=0.09 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 6776 0 0 0 9 0 0 0 25 0 1 0 890854426 31834112 6730 33554432000 4194304 9016284 140736649801296 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23053/statm: 7772 6730 360 1178 0 6590 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31088
[startup+0.300573 s]
/proc/loadavg: 2.01 2.00 1.92 2/177 23053
/proc/meminfo: memFree=31203864/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=59008 CPUtime=0.29 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 13750 0 0 0 28 1 0 0 25 0 1 0 890854426 60424192 13704 33554432000 4194304 9016284 140736649801296 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23053/statm: 14752 13704 360 1178 0 13570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59008
[startup+0.700505 s]
/proc/loadavg: 2.01 2.00 1.92 2/177 23053
/proc/meminfo: memFree=31203864/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=88696 CPUtime=0.69 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 21173 0 0 0 68 1 0 0 25 0 1 0 890854426 90824704 21127 33554432000 4194304 9016284 140736649801296 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23053/statm: 22174 21127 360 1178 0 20992 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88696
[startup+1.50051 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 23054
/proc/meminfo: memFree=31089304/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=229164 CPUtime=1.49 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 56222 0 0 0 143 6 0 0 25 0 1 0 890854426 234663936 56124 33554432000 4194304 9016284 140736649801296 18446744073709551615 6816922 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 57291 56127 406 1178 0 56109 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 229164
[startup+3.10123 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 23054
/proc/meminfo: memFree=30814388/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=498432 CPUtime=3.09 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 122369 0 0 0 294 15 0 0 25 0 1 0 890854426 510394368 122271 33554432000 4194304 9016284 140736649801296 18446744073709551615 6817729 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 124608 122271 485 1178 0 123426 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 498432
[startup+6.3007 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 23054
/proc/meminfo: memFree=30565896/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=695640 CPUtime=6.3 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 171151 0 0 0 609 21 0 0 25 0 1 0 890854426 712335360 171053 33554432000 4194304 9016284 140736649801296 18446744073709551615 6481237 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 173910 171053 485 1178 0 172728 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 695640
[startup+12.7006 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 23054
/proc/meminfo: memFree=30327684/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=895408 CPUtime=12.69 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 218969 0 0 0 1243 26 0 0 25 0 1 0 890854426 916897792 218614 33554432000 4194304 9016284 140736649801296 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 223852 218614 496 1178 0 222670 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 895408
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 23054
/proc/meminfo: memFree=30288100/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=937004 CPUtime=25.49 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 229287 0 0 0 2522 27 0 0 25 0 1 0 890854426 959492096 228841 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480379 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 234251 228841 541 1178 0 233069 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 937004
[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 23055
/proc/meminfo: memFree=30259800/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=969568 CPUtime=51.09 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 237012 0 0 0 5081 28 0 0 25 0 1 0 890854426 992837632 236566 33554432000 4194304 9016284 140736649801296 18446744073709551615 6469920 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 242392 236566 541 1178 0 241210 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 969568
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 23056
/proc/meminfo: memFree=30200152/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=1029296 CPUtime=102.28 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 251134 0 0 0 10199 29 0 0 25 0 1 0 890854426 1053999104 250688 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 257324 250688 541 1178 0 256142 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1029296
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 23058
/proc/meminfo: memFree=30090772/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=1143600 CPUtime=162.28 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 279777 0 0 0 16195 33 0 0 25 0 1 0 890854426 1171046400 279331 33554432000 4194304 9016284 140736649801296 18446744073709551615 5227633 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 285900 279331 541 1178 0 284718 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1143600
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23059
/proc/meminfo: memFree=29989072/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=1242740 CPUtime=222.28 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 303819 0 0 0 22191 37 0 0 25 0 1 0 890854426 1272565760 303373 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 310685 303373 541 1178 0 309503 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1242740
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23061
/proc/meminfo: memFree=29802436/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=1431444 CPUtime=282.28 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 351000 0 0 0 28184 44 0 0 25 0 1 0 890854426 1465798656 350554 33554432000 4194304 9016284 140736649801296 18446744073709551615 5227633 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 357861 350554 541 1178 0 356679 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1431444
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23063
/proc/meminfo: memFree=29673832/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=1561520 CPUtime=342.28 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 382565 0 0 0 34181 47 0 0 25 0 1 0 890854426 1598996480 382119 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 390380 382119 541 1178 0 389198 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1561520
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23064
/proc/meminfo: memFree=29545972/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=1691124 CPUtime=402.29 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 414538 0 0 0 40177 52 0 0 25 0 1 0 890854426 1731710976 414092 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 422781 414092 541 1178 0 421599 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1691124
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23104
/proc/meminfo: memFree=28775164/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=1920176 CPUtime=462.27 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 471532 0 0 0 46168 59 0 0 25 0 1 0 890854426 1966260224 471086 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 480044 471086 541 1178 0 478862 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 1920176
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23105
/proc/meminfo: memFree=28552824/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=2073692 CPUtime=522.28 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 509698 0 0 0 52164 64 0 0 25 0 1 0 890854426 2123460608 509252 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 518423 509252 541 1178 0 517241 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2073692
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23107
/proc/meminfo: memFree=28312108/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=2178932 CPUtime=582.28 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 535719 0 0 0 58161 67 0 0 25 0 1 0 890854426 2231226368 535273 33554432000 4194304 9016284 140736649801296 18446744073709551615 6469475 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 544733 535273 541 1178 0 543551 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2178932
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26611652/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3042280 CPUtime=1062.28 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 751141 0 0 0 106129 99 0 0 25 0 1 0 890854426 3115294720 750695 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 760570 750695 546 1178 0 759388 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 3042280
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23130
/proc/meminfo: memFree=26379476/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3104204 CPUtime=1122.28 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 766027 0 0 0 112127 101 0 0 25 0 1 0 890854426 3178704896 765581 33554432000 4194304 9016284 140736649801296 18446744073709551615 5221932 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 776051 765581 546 1178 0 774869 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 3104204
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23132
/proc/meminfo: memFree=26218376/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3198340 CPUtime=1182.29 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 788734 0 0 0 118124 105 0 0 25 0 1 0 890854426 3275100160 788288 33554432000 4194304 9016284 140736649801296 18446744073709551615 4351191 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 799585 788288 546 1178 0 798403 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 3198340
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23134
/proc/meminfo: memFree=26047112/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3287192 CPUtime=1242.29 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 811262 0 0 0 124120 109 0 0 25 0 1 0 890854426 3366084608 810816 33554432000 4194304 9016284 140736649801296 18446744073709551615 5251802 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 821798 810816 546 1178 0 820616 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 3287192
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 23137
/proc/meminfo: memFree=25893072/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3353380 CPUtime=1302.29 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 827437 0 0 0 130118 111 0 0 25 0 1 0 890854426 3433861120 826991 33554432000 4194304 9016284 140736649801296 18446744073709551615 4919365 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 838345 826991 546 1178 0 837163 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 3353380
[startup+1362.3 s]
/proc/loadavg: 2.10 2.04 1.95 3/178 23140
/proc/meminfo: memFree=25785540/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3427568 CPUtime=1362.28 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 845424 0 0 0 136115 113 0 0 25 0 1 0 890854426 3509829632 844978 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 856892 844978 546 1178 0 855710 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 3427568
[startup+1422.31 s]
/proc/loadavg: 2.03 2.03 1.95 3/178 23141
/proc/meminfo: memFree=25692628/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3485336 CPUtime=1422.3 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 860277 0 0 0 142113 117 0 0 25 0 1 0 890854426 3568984064 859831 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 871334 859831 546 1178 0 870152 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 3485336
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/178 23143
/proc/meminfo: memFree=25580384/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3546872 CPUtime=1482.29 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 875211 0 0 0 148110 119 0 0 25 0 1 0 890854426 3631996928 874765 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 886718 874765 546 1178 0 885536 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 3546872
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/178 23145
/proc/meminfo: memFree=25475336/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3611084 CPUtime=1542.29 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 891341 0 0 0 154109 120 0 0 25 0 1 0 890854426 3697750016 890895 33554432000 4194304 9016284 140736649801296 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 902771 890895 546 1178 0 901589 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 3611084
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 23146
/proc/meminfo: memFree=25368304/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3666356 CPUtime=1602.29 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 905801 0 0 0 160106 123 0 0 25 0 1 0 890854426 3754348544 905355 33554432000 4194304 9016284 140736649801296 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 916589 905355 546 1178 0 915407 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 3666356
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23148
/proc/meminfo: memFree=25254444/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3736512 CPUtime=1662.29 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 922390 0 0 0 166103 126 0 0 25 0 1 0 890854426 3826188288 921944 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 934128 921944 546 1178 0 932946 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 3736512
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23149
/proc/meminfo: memFree=25147768/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3802620 CPUtime=1722.29 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 939012 0 0 0 172101 128 0 0 25 0 1 0 890854426 3893882880 938566 33554432000 4194304 9016284 140736649801296 18446744073709551615 5215155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 950655 938566 546 1178 0 949473 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 3802620
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23151
/proc/meminfo: memFree=25026720/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3878472 CPUtime=1782.29 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 957560 0 0 0 178099 130 0 0 25 0 1 0 890854426 3971555328 957114 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 969618 957114 546 1178 0 968436 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 3878472
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23151
/proc/meminfo: memFree=25019404/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3881448 CPUtime=1785.5 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 958208 0 0 0 178419 131 0 0 25 0 1 0 890854426 3974602752 957762 33554432000 4194304 9016284 140736649801296 18446744073709551615 4222991 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 970362 957762 546 1178 0 969180 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 3881448
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23151
/proc/meminfo: memFree=25008864/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3889420 CPUtime=1791.9 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 959714 0 0 0 179059 131 0 0 25 0 1 0 890854426 3982766080 959268 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 972355 959268 546 1178 0 971173 0
Current children cumulated CPU time (s) 1791.9
Current children cumulated vsize (KiB) 3889420
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23151
/proc/meminfo: memFree=25004648/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3889420 CPUtime=1795.1 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 960073 0 0 0 179379 131 0 0 25 0 1 0 890854426 3982766080 959627 33554432000 4194304 9016284 140736649801296 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 972355 959627 546 1178 0 971173 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (KiB) 3889420
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23151
/proc/meminfo: memFree=25002540/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3891420 CPUtime=1796.69 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 960356 0 0 0 179538 131 0 0 25 0 1 0 890854426 3984814080 959910 33554432000 4194304 9016284 140736649801296 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23053/statm: 972855 959910 546 1178 0 971673 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 3891420
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23151
/proc/meminfo: memFree=25057096/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=3540380 CPUtime=1797.5 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 961261 0 0 0 179617 133 0 0 18 0 1 0 890854426 3625349120 872780 33554432000 4194304 9016284 140736649801296 18446744073709551615 6812706 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23053/statm: 885095 872780 561 1178 0 883913 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 3540380
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23151
/proc/meminfo: memFree=25057096/32950928 swapFree=67050648/67111528
[pid=23053] ppid=23051 vsize=2714244 CPUtime=1797.69 cores=0,2,4,6
/proc/23053/stat : 23053 (scip-2.0.1.4b_2) R 23051 23053 19488 0 -1 4202496 961272 0 0 0 179626 143 0 0 18 0 1 0 890854426 2779385856 198191 33554432000 4194304 9016284 140736649801296 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23053/statm: 678561 197682 572 1178 0 677379 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 2714244
Child status: 0
Real time (s): 1797.73
CPU time (s): 1797.74
CPU user time (s): 1796.27
CPU system time (s): 1.46678
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 3891420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.27
system time used= 1.46678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 961277
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= 6
involuntary context switches= 20250
runsolver used 2.91456 second user time and 6.01009 second system time
The end