0.00/0.00 c SCIP version 2.0.1.5 [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-3451837-1307119375.opb>
1.79/1.88 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256080 constraints
1.79/1.88 c problem read
1.79/1.88 c presolving settings loaded
2.39/2.42 c presolving:
9.59/9.61 c (round 1) 8415 del vars, 24630 del conss, 0 add conss, 6727 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17108448 impls, 0 clqs
12.79/12.81 c (round 2) 15696 del vars, 57449 del conss, 0 add conss, 13637 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17153467 impls, 0 clqs
13.69/13.72 c (round 3) 18675 del vars, 71135 del conss, 0 add conss, 15416 chg bounds, 28 chg sides, 40 chg coeffs, 0 upgd conss, 17176968 impls, 0 clqs
14.20/14.22 c (round 4) 20163 del vars, 77277 del conss, 0 add conss, 16434 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17190663 impls, 0 clqs
14.59/14.60 c (round 5) 21434 del vars, 82152 del conss, 0 add conss, 17262 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17206416 impls, 0 clqs
14.79/14.87 c (round 6) 22312 del vars, 85677 del conss, 0 add conss, 17788 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17216560 impls, 0 clqs
14.99/15.08 c (round 7) 22952 del vars, 88212 del conss, 0 add conss, 18165 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17224525 impls, 0 clqs
15.19/15.24 c (round 8) 23423 del vars, 90155 del conss, 0 add conss, 18437 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17230881 impls, 0 clqs
15.30/15.37 c (round 9) 23737 del vars, 91434 del conss, 0 add conss, 18607 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17235664 impls, 0 clqs
15.41/15.46 c (round 10) 23908 del vars, 92234 del conss, 0 add conss, 18698 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17238307 impls, 0 clqs
15.49/15.57 c (round 11) 24017 del vars, 92705 del conss, 0 add conss, 18756 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17239760 impls, 0 clqs
15.59/15.65 c (round 12) 24066 del vars, 92963 del conss, 0 add conss, 18777 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17240509 impls, 0 clqs
15.69/15.72 c (round 13) 24092 del vars, 93088 del conss, 0 add conss, 18791 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17240891 impls, 0 clqs
15.79/15.80 c (round 14) 24110 del vars, 93170 del conss, 0 add conss, 18797 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17241014 impls, 0 clqs
15.79/15.86 c (round 15) 24114 del vars, 93200 del conss, 0 add conss, 18798 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17241032 impls, 0 clqs
16.51/16.58 c (round 16) 24114 del vars, 93204 del conss, 0 add conss, 18798 chg bounds, 30 chg sides, 42 chg coeffs, 162876 upgd conss, 17241032 impls, 0 clqs
625.89/625.93 c (625.9s) probing: 1000/48728 (2.1%) - 15 fixings, 9 aggregations, 13101516 implications, 0 bound changes
1153.28/1153.32 c (1153.3s) probing: 2000/48728 (4.1%) - 29 fixings, 10 aggregations, 21495169 implications, 0 bound changes
1599.48/1599.59 c (1599.6s) probing: 3000/48728 (6.2%) - 29 fixings, 12 aggregations, 28798439 implications, 0 bound changes
1799.99/1800.07 c (1800.1s) probing: 3419/48728 (7.0%) - 29 fixings, 12 aggregations, 32004311 implications, 0 bound changes
1799.99/1800.07 c (1800.1s) probing aborted: solving stopped
1799.99/1800.07 c (round 17) 24155 del vars, 93204 del conss, 2 add conss, 18798 chg bounds, 40 chg sides, 167 chg coeffs, 162876 upgd conss, 131412706 impls, 0 clqs
1799.99/1800.07 c presolving (17 rounds):
1799.99/1800.07 c 24155 deleted vars, 93204 deleted constraints, 2 added constraints, 18798 tightened bounds, 0 added holes, 40 changed sides, 167 changed coefficients
1799.99/1800.07 c 131412706 implications, 0 cliques
1799.99/1800.07 c presolving was interrupted.
1799.99/1800.07 c Presolving Time: 1797.79
1799.99/1800.07 c - non default parameters ----------------------------------------------------------------------
1799.99/1800.07 c # SCIP version 2.0.1.5
1799.99/1800.07 c
1799.99/1800.07 c # frequency for displaying node information lines
1799.99/1800.07 c # [type: int, range: [-1,2147483647], default: 100]
1799.99/1800.07 c display/freq = 10000
1799.99/1800.07 c
1799.99/1800.07 c # maximal time in seconds to run
1799.99/1800.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.99/1800.07 c limits/time = 1800
1799.99/1800.07 c
1799.99/1800.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1799.99/1800.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.99/1800.07 c limits/memory = 13950
1799.99/1800.07 c
1799.99/1800.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
1799.99/1800.07 c # [type: int, range: [1,2], default: 1]
1799.99/1800.07 c timing/clocktype = 2
1799.99/1800.07 c
1799.99/1800.07 c # belongs reading time to solving time?
1799.99/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.07 c timing/reading = TRUE
1799.99/1800.07 c
1799.99/1800.07 c # should presolving try to simplify inequalities
1799.99/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.07 c constraints/linear/simplifyinequalities = TRUE
1799.99/1800.07 c
1799.99/1800.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1799.99/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.07 c constraints/indicator/addCouplingCons = TRUE
1799.99/1800.07 c
1799.99/1800.07 c # should presolving try to simplify knapsacks
1799.99/1800.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.07 c constraints/knapsack/simplifyinequalities = TRUE
1799.99/1800.07 c
1799.99/1800.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1799.99/1800.07 c # [type: int, range: [-1,2147483647], default: -1]
1799.99/1800.07 c separating/rapidlearning/freq = 0
1799.99/1800.07 c
1799.99/1800.07 c -----------------------------------------------------------------------------------------------
1799.99/1800.07 c start solving
1800.10/1800.12 c presolving:
1800.10/1800.12 c presolving (17 rounds):
1800.10/1800.12 c 24155 deleted vars, 93204 deleted constraints, 2 added constraints, 18798 tightened bounds, 0 added holes, 40 changed sides, 167 changed coefficients
1800.10/1800.12 c 131412706 implications, 0 cliques
1800.10/1800.12 c presolving was interrupted.
1800.10/1800.12 c Presolving Time: 1797.82
1800.10/1800.12 c
1800.10/1800.12 c SCIP Status : solving was interrupted [time limit reached]
1800.10/1800.12 c Solving Time (sec) : 1800.10
1800.10/1800.12 c Solving Nodes : 0
1800.10/1800.12 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.12 s UNKNOWN
1800.10/1800.12 c SCIP Status : solving was interrupted [time limit reached]
1800.10/1800.12 c Total Time : 1800.10
1800.10/1800.12 c solving : 1800.10
1800.10/1800.12 c presolving : 1797.82 (included in solving)
1800.10/1800.12 c reading : 1.88 (included in solving)
1800.10/1800.12 c Original Problem :
1800.10/1800.12 c Problem name : HOME/instance-3451837-1307119375.opb
1800.10/1800.12 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.12 c Constraints : 256080 initial, 256080 maximal
1800.10/1800.12 c Presolved Problem :
1800.10/1800.12 c Problem name : t_HOME/instance-3451837-1307119375.opb
1800.10/1800.12 c Variables : 48687 (48687 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.12 c Constraints : 162878 initial, 162878 maximal
1800.10/1800.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.10/1800.12 c trivial : 0.05 1157 0 0 0 0 0 0 0 0
1800.10/1800.12 c dualfix : 0.07 121 0 0 0 0 0 0 0 0
1800.10/1800.12 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.10/1800.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.10/1800.12 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.10/1800.12 c implics : 0.57 0 0 0 0 0 0 0 0 0
1800.10/1800.12 c probing : 1782.42 29 12 0 0 0 0 0 0 0
1800.10/1800.12 c knapsack : 0.80 0 0 0 0 0 0 2 10 125
1800.10/1800.12 c setppc : 0.20 0 0 0 0 0 0 0 0 0
1800.10/1800.12 c linear : 13.23 17641 5195 0 18798 0 93204 0 30 42
1800.10/1800.12 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1800.10/1800.12 c root node : - 0 - - 0 - - - - -
1800.10/1800.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.10/1800.12 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.10/1800.12 c knapsack : 0+ 0 166493 0 0 0 0 8 0 0 0 0
1800.10/1800.12 c setppc : 0+ 0 166485 0 0 0 0 6 0 0 0 0
1800.10/1800.12 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.10/1800.12 c logicor : 0+ 0 149090 0 0 0 0 0 0 0 0 0
1800.10/1800.12 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.10/1800.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.10/1800.12 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.10/1800.12 c knapsack : 12.30 0.00 12.30 0.00 0.00 0.00 0.00
1800.10/1800.12 c setppc : 929.50 0.00 929.50 0.00 0.00 0.00 0.00
1800.10/1800.12 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.10/1800.12 c logicor : 11.20 0.00 11.20 0.00 0.00 0.00 0.00
1800.10/1800.12 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.10/1800.12 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.10/1800.12 c vbounds : 0 0 0 0
1800.10/1800.12 c rootredcost : 0 0 0 0
1800.10/1800.12 c pseudoobj : 0 0 0 0
1800.10/1800.12 c Propagator Timings : TotalTime Propagate Resprop
1800.10/1800.12 c vbounds : 0.07 0.07 0.00
1800.10/1800.12 c rootredcost : 0.05 0.05 0.00
1800.10/1800.12 c pseudoobj : 0.03 0.03 0.00
1800.10/1800.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.12 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.12 c applied globally : - - - 0 0.0 - - -
1800.10/1800.12 c applied locally : - - - 0 0.0 - - -
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-3451837-1307119375/watcher-3451837-1307119375 -o /tmp/evaluation-result-3451837-1307119375/solver-3451837-1307119375 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451837-1307119375.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: 1.00 1.11 1.48 4/534 19440
/proc/meminfo: memFree=29080604/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=14528 CPUtime=0.01 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 2623 0 0 0 1 0 0 0 20 0 1 0 823535460 14876672 2576 33554432000 4194304 9163163 140734514000864 18446744073709551615 4337785 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19440/statm: 3632 2576 395 1214 0 2414 0
[startup+0.0943819 s]
/proc/loadavg: 1.00 1.11 1.48 4/534 19440
/proc/meminfo: memFree=29080604/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=28804 CPUtime=0.08 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 6203 0 0 0 8 0 0 0 20 0 1 0 823535460 29495296 6156 33554432000 4194304 9163163 140734514000864 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19440/statm: 7201 6156 395 1214 0 5983 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28804
[startup+0.100374 s]
/proc/loadavg: 1.00 1.11 1.48 4/534 19440
/proc/meminfo: memFree=29080604/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=29048 CPUtime=0.09 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 6262 0 0 0 9 0 0 0 20 0 1 0 823535460 29745152 6215 33554432000 4194304 9163163 140734514000864 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19440/statm: 7262 6215 395 1214 0 6044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29048
[startup+0.300345 s]
/proc/loadavg: 1.00 1.11 1.48 4/534 19440
/proc/meminfo: memFree=29080604/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=55656 CPUtime=0.29 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 12908 0 0 0 28 1 0 0 21 0 1 0 823535460 56991744 12861 33554432000 4194304 9163163 140734514000864 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19440/statm: 13914 12861 395 1214 0 12696 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55656
[startup+0.700272 s]
/proc/loadavg: 1.00 1.11 1.48 4/534 19440
/proc/meminfo: memFree=29080604/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=78328 CPUtime=0.69 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 18568 0 0 0 67 2 0 0 22 0 1 0 823535460 80207872 18521 33554432000 4194304 9163163 140734514000864 18446744073709551615 6164842 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19440/statm: 19582 18521 395 1214 0 18364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78328
[startup+1.50116 s]
/proc/loadavg: 1.00 1.11 1.48 4/536 19442
/proc/meminfo: memFree=28897440/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=138604 CPUtime=1.49 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 33624 0 0 0 145 4 0 0 25 0 1 0 823535460 141930496 33577 33554432000 4194304 9163163 140734514000864 18446744073709551615 8031326 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19440/statm: 34651 33577 395 1214 0 33433 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 138604
[startup+3.10085 s]
/proc/loadavg: 1.08 1.13 1.48 5/536 19442
/proc/meminfo: memFree=28415324/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=472836 CPUtime=3.09 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 115907 0 0 0 296 13 0 0 25 0 1 0 823535460 484184064 115840 33554432000 4194304 9163163 140734514000864 18446744073709551615 6922706 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19440/statm: 118209 115840 497 1214 0 116991 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 472836
[startup+6.30031 s]
/proc/loadavg: 1.08 1.13 1.48 4/536 19442
/proc/meminfo: memFree=27726676/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=735324 CPUtime=6.29 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 181218 0 0 0 609 20 0 0 25 0 1 0 823535460 752971776 181151 33554432000 4194304 9163163 140734514000864 18446744073709551615 4352422 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19440/statm: 183831 181151 506 1214 0 182613 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 735324
[startup+12.7012 s]
/proc/loadavg: 1.22 1.16 1.49 4/536 19442
/proc/meminfo: memFree=27322240/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=903740 CPUtime=12.69 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 220891 0 0 0 1244 25 0 0 25 0 1 0 823535460 925429760 220567 33554432000 4194304 9163163 140734514000864 18446744073709551615 6568836 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19440/statm: 225935 220567 518 1214 0 224717 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 903740
[startup+25.5009 s]
/proc/loadavg: 1.34 1.18 1.49 4/536 19442
/proc/meminfo: memFree=27150460/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=978952 CPUtime=25.49 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 253203 0 0 0 2520 29 0 0 25 0 1 0 823535460 1002446848 238628 33554432000 4194304 9163163 140734514000864 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19440/statm: 244738 238628 574 1214 0 243520 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 978952
[startup+51.1004 s]
/proc/loadavg: 1.56 1.25 1.50 5/536 19443
/proc/meminfo: memFree=27039788/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=1037328 CPUtime=51.09 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 267194 0 0 0 5078 31 0 0 25 0 1 0 823535460 1062223872 252619 33554432000 4194304 9163163 140734514000864 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19440/statm: 259332 252619 574 1214 0 258114 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1037328
[startup+102.321 s]
/proc/loadavg: 1.82 1.37 1.53 5/536 19444
/proc/meminfo: memFree=26736540/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=1176596 CPUtime=102.31 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 301453 0 0 0 10196 35 0 0 25 0 1 0 823535460 1204834304 286878 33554432000 4194304 9163163 140734514000864 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19440/statm: 294149 286878 574 1214 0 292931 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1176596
[startup+162.301 s]
/proc/loadavg: 1.93 1.48 1.55 4/536 19446
/proc/meminfo: memFree=26385596/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=1401976 CPUtime=162.29 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 357306 0 0 0 16187 42 0 0 25 0 1 0 823535460 1435623424 342731 33554432000 4194304 9163163 140734514000864 18446744073709551615 5464931 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19440/statm: 350494 342731 574 1214 0 349276 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1401976
[startup+222.3 s]
/proc/loadavg: 1.97 1.57 1.58 4/536 19447
/proc/meminfo: memFree=25887696/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=1643024 CPUtime=222.29 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 416934 0 0 0 22179 50 0 0 25 0 1 0 823535460 1682456576 402359 33554432000 4194304 9163163 140734514000864 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19440/statm: 410756 402359 574 1214 0 409538 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1643024
[startup+282.301 s]
/proc/loadavg: 2.06 1.66 1.61 5/536 19449
/proc/meminfo: memFree=25433704/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=1848536 CPUtime=282.3 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 467351 0 0 0 28173 57 0 0 25 0 1 0 823535460 1892900864 452776 33554432000 4194304 9163163 140734514000864 18446744073709551615 6567785 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19440/statm: 462134 452776 574 1214 0 460916 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1848536
[startup+342.301 s]
/proc/loadavg: 2.21 1.77 1.65 4/536 19451
/proc/meminfo: memFree=25058808/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=2034468 CPUtime=342.3 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 514161 0 0 0 34165 65 0 0 25 0 1 0 823535460 2083295232 499586 33554432000 4194304 9163163 140734514000864 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19440/statm: 508617 499586 574 1214 0 507399 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2034468
[startup+402.301 s]
/proc/loadavg: 2.14 1.82 1.67 4/536 19452
/proc/meminfo: memFree=24740964/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=2207040 CPUtime=402.3 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 556718 0 0 0 40159 71 0 0 25 0 1 0 823535460 2260008960 542143 33554432000 4194304 9163163 140734514000864 18446744073709551615 6923103 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19440/statm: 551760 542143 574 1214 0 550542 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2207040
[startup+462.301 s]
/proc/loadavg: 2.05 1.85 1.69 4/536 19454
/proc/meminfo: memFree=24370784/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=2336260 CPUtime=462.27 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 589303 0 0 0 46151 76 0 0 25 0 1 0 823535460 2392330240 574728 33554432000 4194304 9163163 140734514000864 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19440/statm: 584065 574728 574 1214 0 582847 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 2336260
[startup+522.301 s]
/proc/loadavg: 2.02 1.88 1.70 4/536 19455
/proc/meminfo: memFree=24046492/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=2554044 CPUtime=522.27 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 642864 0 0 0 52143 84 0 0 25 0 1 0 823535460 2615341056 628289 33554432000 4194304 9163163 140734514000864 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19440/statm: 638511 628289 574 1214 0 637293 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 2554044
[startup+582.301 s]
/proc/loadavg: 2.00 1.90 1.72 4/536 19457
/proc/meminfo: memFree=23767572/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=2640768 CPUtime=582.27 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 664908 0 0 0 58140 87 0 0 25 0 1 0 823535460 2704146432 650333 33554432000 4194304 9163163 140734514000864 18446744073709551615 4794560 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19440/statm: 660192 650333 574 1214 0 658974 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 2640768
[startup+642.3 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.28 2.06 1.83 5/536 19467
/proc/meminfo: memFree=22472552/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=3308652 CPUtime=942.27 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 830061 0 0 0 94119 108 0 0 25 0 1 0 823535460 3388059648 815486 33554432000 4194304 9163163 140734514000864 18446744073709551615 4825700 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19440/statm: 827163 815486 578 1214 0 825945 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 3308652
[startup+1002.3 s]
/proc/loadavg: 2.10 2.05 1.84 5/536 19468
/proc/meminfo: memFree=22293352/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=3416580 CPUtime=1002.27 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 857380 0 0 0 100115 112 0 0 25 0 1 0 823535460 3498577920 842805 33554432000 4194304 9163163 140734514000864 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19440/statm: 854145 842805 578 1214 0 852927 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 3416580
[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 1.84 5/536 19470
/proc/meminfo: memFree=22134472/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=3492268 CPUtime=1062.27 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 876364 0 0 0 106113 114 0 0 25 0 1 0 823535460 3576082432 861789 33554432000 4194304 9163163 140734514000864 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19440/statm: 873067 861789 578 1214 0 871849 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 3492268
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 1.85 5/536 19480
/proc/meminfo: memFree=21981504/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=3568416 CPUtime=1122.27 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 895193 0 0 0 112110 117 0 0 25 0 1 0 823535460 3654057984 880618 33554432000 4194304 9163163 140734514000864 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19440/statm: 892104 880618 578 1214 0 890886 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 3568416
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 1.85 4/536 19482
/proc/meminfo: memFree=21853484/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=3636836 CPUtime=1182.28 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 912371 0 0 0 118108 120 0 0 25 0 1 0 823535460 3724120064 897796 33554432000 4194304 9163163 140734514000864 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19440/statm: 909209 897796 578 1214 0 907991 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 3636836
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.86 5/536 19484
/proc/meminfo: memFree=21661000/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=3728476 CPUtime=1242.28 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 935453 0 0 0 124104 124 0 0 25 0 1 0 823535460 3817959424 920878 33554432000 4194304 9163163 140734514000864 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19440/statm: 932119 920878 578 1214 0 930901 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 3728476
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/536 19488
/proc/meminfo: memFree=21289952/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=3798628 CPUtime=1302.29 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 952888 0 0 0 130102 127 0 0 25 0 1 0 823535460 3889795072 938313 33554432000 4194304 9163163 140734514000864 18446744073709551615 6558496 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19440/statm: 949657 938313 578 1214 0 948439 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 3798628
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/536 19490
/proc/meminfo: memFree=21196048/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=3880880 CPUtime=1362.28 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 973246 0 0 0 136098 130 0 0 25 0 1 0 823535460 3974021120 958671 33554432000 4194304 9163163 140734514000864 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19440/statm: 970220 958671 578 1214 0 969002 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 3880880
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.88 5/536 19491
/proc/meminfo: memFree=21126192/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=3938912 CPUtime=1422.3 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 988221 0 0 0 142097 133 0 0 25 0 1 0 823535460 4033445888 973646 33554432000 4194304 9163163 140734514000864 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19440/statm: 984728 973646 578 1214 0 983510 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 3938912
[startup+1482.3 s]
/proc/loadavg: 2.13 2.04 1.90 4/536 19493
/proc/meminfo: memFree=21036644/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=4010680 CPUtime=1482.28 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 1005310 0 0 0 148093 135 0 0 25 0 1 0 823535460 4106936320 990735 33554432000 4194304 9163163 140734514000864 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19440/statm: 1002670 990735 578 1214 0 1001452 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 4010680
[startup+1542.3 s]
/proc/loadavg: 2.17 2.08 1.92 5/536 19495
/proc/meminfo: memFree=20976096/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=4068688 CPUtime=1542.28 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 1019565 0 0 0 154090 138 0 0 25 0 1 0 823535460 4166336512 1004990 33554432000 4194304 9163163 140734514000864 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19440/statm: 1017172 1004990 578 1214 0 1015954 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 4068688
[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 1.92 4/536 19496
/proc/meminfo: memFree=20894236/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=4142568 CPUtime=1602.28 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 1037565 0 0 0 160088 140 0 0 25 0 1 0 823535460 4241989632 1022990 33554432000 4194304 9163163 140734514000864 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19440/statm: 1035642 1022990 578 1214 0 1034424 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 4142568
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 1.92 4/536 19498
/proc/meminfo: memFree=20828612/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=4205712 CPUtime=1662.29 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 1053823 0 0 0 166087 142 0 0 25 0 1 0 823535460 4306649088 1039248 33554432000 4194304 9163163 140734514000864 18446744073709551615 4833720 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19440/statm: 1051428 1039248 578 1214 0 1050210 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 4205712
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 1.92 5/536 19499
/proc/meminfo: memFree=20754176/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=4277428 CPUtime=1722.28 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 1071929 0 0 0 172084 144 0 0 25 0 1 0 823535460 4380086272 1057354 33554432000 4194304 9163163 140734514000864 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19440/statm: 1069357 1057354 578 1214 0 1068139 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 4277428
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.92 5/536 19501
/proc/meminfo: memFree=20668092/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=4359624 CPUtime=1782.28 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 1092553 0 0 0 178082 146 0 0 25 0 1 0 823535460 4464254976 1077978 33554432000 4194304 9163163 140734514000864 18446744073709551615 6567534 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19440/statm: 1089906 1077978 578 1214 0 1088688 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 4359624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 1.92 3/537 19503
/proc/meminfo: memFree=20646868/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=4379200 CPUtime=1800.1 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4202496 1097862 0 0 0 179863 147 0 0 25 0 1 0 823535460 4484300800 1082426 33554432000 4194304 9163163 140734514000864 18446744073709551615 6555720 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19440/statm: 1094800 1082426 586 1214 0 1093582 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 4379200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.22 s]
/proc/loadavg: 2.00 2.02 1.92 3/537 19503
/proc/meminfo: memFree=20646868/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=0 CPUtime=1800.21 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) R 19438 19440 17375 0 -1 4203524 1097862 0 0 0 179864 157 0 0 25 0 1 0 823535460 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/19440/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 1.92 3/537 19503
/proc/meminfo: memFree=20646868/32951124 swapFree=58212616/67111528
[pid=19440] ppid=19438 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/19440/stat : 19440 (scip-2.0.1.4b.l) Z 19438 19440 17375 0 -1 4203548 1097862 0 0 0 179864 164 0 0 25 0 1 0 823535460 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/19440/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.29
CPU user time (s): 1798.64
CPU system time (s): 1.64875
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 4382032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.64875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1097862
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= 3305
runsolver used 9.96148 second user time and 22.6826 second system time
The end