0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3486349-1307794510.opb>
0.89/0.96 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184309 constraints
0.89/0.96 c problem read
0.89/0.96 c presolving settings loaded
1.49/1.57 c presolving:
7.39/7.46 c (round 1) 4517 del vars, 13331 del conss, 0 add conss, 3315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12578578 impls, 0 clqs
9.90/9.93 c (round 2) 9805 del vars, 32221 del conss, 0 add conss, 8252 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12605991 impls, 0 clqs
10.59/10.60 c (round 3) 11376 del vars, 40367 del conss, 0 add conss, 9097 chg bounds, 79 chg sides, 67 chg coeffs, 0 upgd conss, 12617283 impls, 0 clqs
10.90/10.98 c (round 4) 12030 del vars, 43159 del conss, 0 add conss, 9489 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12621642 impls, 0 clqs
11.09/11.18 c (round 5) 12448 del vars, 44885 del conss, 0 add conss, 9691 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12625365 impls, 0 clqs
11.29/11.30 c (round 6) 12628 del vars, 45709 del conss, 0 add conss, 9776 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12627216 impls, 0 clqs
11.29/11.38 c (round 7) 12714 del vars, 46109 del conss, 0 add conss, 9821 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628092 impls, 0 clqs
11.39/11.45 c (round 8) 12758 del vars, 46319 del conss, 0 add conss, 9847 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628506 impls, 0 clqs
11.49/11.50 c (round 9) 12784 del vars, 46438 del conss, 0 add conss, 9863 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628756 impls, 0 clqs
11.49/11.55 c (round 10) 12794 del vars, 46496 del conss, 0 add conss, 9869 chg bounds, 90 chg sides, 74 chg coeffs, 0 upgd conss, 12628794 impls, 0 clqs
12.00/12.06 c (round 11) 12794 del vars, 46507 del conss, 0 add conss, 9869 chg bounds, 90 chg sides, 74 chg coeffs, 137802 upgd conss, 12628794 impls, 0 clqs
12.39/12.45 c (round 12) 12794 del vars, 46507 del conss, 19 add conss, 9869 chg bounds, 113 chg sides, 245 chg coeffs, 137802 upgd conss, 12629308 impls, 1786 clqs
602.32/602.35 c (602.4s) probing: 1000/41988 (2.4%) - 13 fixings, 1 aggregations, 10032411 implications, 0 bound changes
1024.82/1024.87 c (1024.9s) probing: 2000/41988 (4.8%) - 13 fixings, 1 aggregations, 16173197 implications, 0 bound changes
1431.74/1431.72 c (1431.7s) probing: 3000/41988 (7.1%) - 16 fixings, 1 aggregations, 21770644 implications, 0 bound changes
1797.04/1797.06 c (1797.1s) probing: 3817/41988 (9.1%) - 16 fixings, 4 aggregations, 26085258 implications, 0 bound changes
1797.04/1797.06 c (1797.1s) probing aborted: solving stopped
1797.04/1797.06 c (round 13) 12814 del vars, 46507 del conss, 19 add conss, 9869 chg bounds, 113 chg sides, 261 chg coeffs, 137802 upgd conss, 90112744 impls, 1911 clqs
1797.04/1797.06 c presolving (13 rounds):
1797.04/1797.06 c 12814 deleted vars, 46507 deleted constraints, 19 added constraints, 9869 tightened bounds, 0 added holes, 113 changed sides, 261 changed coefficients
1797.04/1797.06 c 90112744 implications, 1911 cliques
1797.04/1797.06 c presolving was interrupted.
1797.04/1797.06 c Presolving Time: 1795.93
1797.04/1797.06 c - non default parameters ----------------------------------------------------------------------
1797.04/1797.06 c # SCIP version 2.0.1.4
1797.04/1797.06 c
1797.04/1797.06 c # frequency for displaying node information lines
1797.04/1797.06 c # [type: int, range: [-1,2147483647], default: 100]
1797.04/1797.06 c display/freq = 10000
1797.04/1797.06 c
1797.04/1797.06 c # maximal time in seconds to run
1797.04/1797.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.04/1797.06 c limits/time = 1797
1797.04/1797.06 c
1797.04/1797.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.04/1797.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.04/1797.06 c limits/memory = 13950
1797.04/1797.06 c
1797.04/1797.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.04/1797.06 c # [type: int, range: [1,2], default: 1]
1797.04/1797.06 c timing/clocktype = 2
1797.04/1797.06 c
1797.04/1797.06 c # belongs reading time to solving time?
1797.04/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.06 c timing/reading = TRUE
1797.04/1797.06 c
1797.04/1797.06 c # should presolving try to simplify inequalities
1797.04/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.06 c constraints/linear/simplifyinequalities = TRUE
1797.04/1797.06 c
1797.04/1797.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.04/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.06 c constraints/indicator/addCouplingCons = TRUE
1797.04/1797.06 c
1797.04/1797.06 c # should presolving try to simplify knapsacks
1797.04/1797.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.06 c constraints/knapsack/simplifyinequalities = TRUE
1797.04/1797.06 c
1797.04/1797.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.04/1797.06 c # [type: int, range: [-1,2147483647], default: -1]
1797.04/1797.06 c separating/rapidlearning/freq = 0
1797.04/1797.06 c
1797.04/1797.06 c -----------------------------------------------------------------------------------------------
1797.04/1797.06 c start solving
1797.04/1797.09 c presolving:
1797.04/1797.09 c presolving (13 rounds):
1797.04/1797.09 c 12814 deleted vars, 46507 deleted constraints, 19 added constraints, 9869 tightened bounds, 0 added holes, 113 changed sides, 261 changed coefficients
1797.04/1797.09 c 90112744 implications, 1911 cliques
1797.04/1797.09 c presolving was interrupted.
1797.04/1797.09 c Presolving Time: 1795.96
1797.04/1797.09 c
1797.04/1797.09 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.09 c Solving Time (sec) : 1797.09
1797.04/1797.09 c Solving Nodes : 0
1797.04/1797.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.09 s UNKNOWN
1797.04/1797.09 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.09 c Total Time : 1797.09
1797.04/1797.09 c solving : 1797.09
1797.04/1797.09 c presolving : 1795.96 (included in solving)
1797.04/1797.09 c reading : 0.97 (included in solving)
1797.04/1797.09 c Original Problem :
1797.04/1797.09 c Problem name : HOME/instance-3486349-1307794510.opb
1797.04/1797.09 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.09 c Constraints : 184309 initial, 184309 maximal
1797.04/1797.09 c Presolved Problem :
1797.04/1797.09 c Problem name : t_HOME/instance-3486349-1307794510.opb
1797.04/1797.09 c Variables : 41968 (41968 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.09 c Constraints : 137821 initial, 137821 maximal
1797.04/1797.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.09 c trivial : 0.03 731 0 0 0 0 0 0 0 0
1797.04/1797.09 c dualfix : 0.05 92 0 0 0 0 0 0 0 0
1797.04/1797.09 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c implics : 0.33 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c probing : 1784.37 16 4 0 0 0 0 0 0 0
1797.04/1797.09 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c knapsack : 0.30 0 0 0 0 0 0 19 23 187
1797.04/1797.09 c setppc : 0.23 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c linear : 9.98 9138 2833 0 9869 0 46507 0 90 74
1797.04/1797.09 c logicor : 0.04 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c root node : - 0 - - 0 - - - - -
1797.04/1797.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.09 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c knapsack : 0+ 0 207716 0 0 0 0 4 0 0 0 0
1797.04/1797.09 c setppc : 0+ 0 207712 0 0 0 0 2 0 0 0 0
1797.04/1797.09 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c logicor : 0+ 0 186206 0 0 0 0 2 0 0 0 0
1797.04/1797.09 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.09 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.09 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.09 c knapsack : 11.85 0.00 11.85 0.00 0.00 0.00 0.00
1797.04/1797.09 c setppc : 1005.01 0.00 1005.01 0.00 0.00 0.00 0.00
1797.04/1797.09 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.09 c logicor : 9.23 0.00 9.23 0.00 0.00 0.00 0.00
1797.04/1797.09 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.09 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.09 c vbounds : 0 0 0 0
1797.04/1797.09 c rootredcost : 0 0 0 0
1797.04/1797.09 c pseudoobj : 0 0 0 0
1797.04/1797.09 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.09 c vbounds : 0.07 0.07 0.00
1797.04/1797.09 c rootredcost : 0.04 0.04 0.00
1797.04/1797.09 c pseudoobj : 0.03 0.03 0.00
1797.04/1797.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.09 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.09 c applied globally : - - - 0 0.0 - - -
1797.04/1797.09 c applied locally : - - - 0 0.0 - - -
1797.54/1797.59 c Time complete: 1797.63.
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-3486349-1307794510/watcher-3486349-1307794510 -o /tmp/evaluation-result-3486349-1307794510/solver-3486349-1307794510 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486349-1307794510.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.92 1.98 1.99 2/174 8187
/proc/meminfo: memFree=29577272/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=10320 CPUtime=0 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 1568 0 0 0 0 0 0 0 25 0 1 0 969681471 10567680 1523 33554432000 4194304 8979876 140736384993392 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8187/statm: 2580 1523 366 1169 0 1407 0
[startup+0.0957461 s]
/proc/loadavg: 1.92 1.98 1.99 2/174 8187
/proc/meminfo: memFree=29577272/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=27548 CPUtime=0.09 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 5901 0 0 0 9 0 0 0 25 0 1 0 969681471 28209152 5856 33554432000 4194304 8979876 140736384993392 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8187/statm: 6887 5856 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.100732 s]
/proc/loadavg: 1.92 1.98 1.99 2/174 8187
/proc/meminfo: memFree=29577272/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=27548 CPUtime=0.09 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 5903 0 0 0 9 0 0 0 25 0 1 0 969681471 28209152 5858 33554432000 4194304 8979876 140736384993392 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8187/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.300699 s]
/proc/loadavg: 1.92 1.98 1.99 2/174 8187
/proc/meminfo: memFree=29577272/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=46332 CPUtime=0.29 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 10578 0 0 0 29 0 0 0 25 0 1 0 969681471 47443968 10533 33554432000 4194304 8979876 140736384993392 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8187/statm: 11583 10533 366 1169 0 10410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46332
[startup+0.700659 s]
/proc/loadavg: 1.92 1.98 1.99 2/174 8187
/proc/meminfo: memFree=29577272/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=78736 CPUtime=0.69 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 18645 0 0 0 68 1 0 0 25 0 1 0 969681471 80625664 18600 33554432000 4194304 8979876 140736384993392 18446744073709551615 7807887 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8187/statm: 19684 18600 366 1169 0 18511 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78736
[startup+1.5005 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 8188
/proc/meminfo: memFree=29443248/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=315616 CPUtime=1.49 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 78701 0 0 0 141 8 0 0 25 0 1 0 969681471 323190784 77219 33554432000 4194304 8979876 140736384993392 18446744073709551615 6778277 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 78904 77219 450 1169 0 77731 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 315616
[startup+3.10021 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 8188
/proc/meminfo: memFree=29225876/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=447384 CPUtime=3.09 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 117765 0 0 0 297 12 0 0 25 0 1 0 969681471 458121216 109561 33554432000 4194304 8979876 140736384993392 18446744073709551615 6499136 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 111846 109561 494 1169 0 110673 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 447384
[startup+6.30058 s]
/proc/loadavg: 1.93 1.98 1.99 3/175 8188
/proc/meminfo: memFree=28987424/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=647296 CPUtime=6.29 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 166037 0 0 0 612 17 0 0 25 0 1 0 969681471 662831104 157833 33554432000 4194304 8979876 140736384993392 18446744073709551615 6493024 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 161824 157833 501 1169 0 160651 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 647296
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/175 8189
/proc/meminfo: memFree=28855000/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=729084 CPUtime=12.69 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 198602 0 0 0 1249 20 0 0 25 0 1 0 969681471 746582016 177780 33554432000 4194304 8979876 140736384993392 18446744073709551615 4424414 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 182271 177780 661 1169 0 181098 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 729084
[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.99 3/175 8189
/proc/meminfo: memFree=28768556/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=787952 CPUtime=25.5 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 212398 0 0 0 2528 22 0 0 25 0 1 0 969681471 806862848 191373 33554432000 4194304 8979876 140736384993392 18446744073709551615 6503468 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 196988 191373 551 1169 0 195815 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 787952
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/175 8190
/proc/meminfo: memFree=28663640/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=833008 CPUtime=51.1 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 223091 0 0 0 5087 23 0 0 25 0 1 0 969681471 853000192 202033 33554432000 4194304 8979876 140736384993392 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 208252 202033 551 1169 0 207079 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 833008
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/175 8191
/proc/meminfo: memFree=28399172/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=938180 CPUtime=102.3 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 249132 0 0 0 10204 26 0 0 25 0 1 0 969681471 960696320 228074 33554432000 4194304 8979876 140736384993392 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 234545 228074 551 1169 0 233372 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 938180
[startup+162.301 s]
/proc/loadavg: 2.04 2.00 2.00 3/175 8193
/proc/meminfo: memFree=28114684/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=1078056 CPUtime=162.3 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 282825 0 0 0 16200 30 0 0 25 0 1 0 969681471 1103929344 261569 33554432000 4194304 8979876 140736384993392 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 269514 261569 551 1169 0 268341 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1078056
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 8194
/proc/meminfo: memFree=27706572/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=1225684 CPUtime=222.3 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 320284 0 0 0 22195 35 0 0 25 0 1 0 969681471 1255100416 298797 33554432000 4194304 8979876 140736384993392 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 306421 298797 551 1169 0 305248 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1225684
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8196
/proc/meminfo: memFree=27443544/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=1353060 CPUtime=282.3 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 352467 0 0 0 28192 38 0 0 25 0 1 0 969681471 1385533440 330980 33554432000 4194304 8979876 140736384993392 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 338265 330980 551 1169 0 337092 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1353060
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8197
/proc/meminfo: memFree=27187692/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=1503292 CPUtime=342.3 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 389826 0 0 0 34187 43 0 0 25 0 1 0 969681471 1539371008 368339 33554432000 4194304 8979876 140736384993392 18446744073709551615 5210993 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 375823 368339 551 1169 0 374650 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1503292
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8199
/proc/meminfo: memFree=26882748/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=1660480 CPUtime=402.3 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 429227 0 0 0 40182 48 0 0 25 0 1 0 969681471 1700331520 407740 33554432000 4194304 8979876 140736384993392 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 415120 407740 551 1169 0 413947 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1660480
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8201
/proc/meminfo: memFree=26701788/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=1764152 CPUtime=462.31 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 454810 0 0 0 46180 51 0 0 25 0 1 0 969681471 1806491648 433323 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 441038 433323 551 1169 0 439865 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1764152
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8202
/proc/meminfo: memFree=26421144/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=1937680 CPUtime=522.31 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 497486 0 0 0 52172 59 0 0 25 0 1 0 969681471 1984184320 475999 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 484420 475999 551 1169 0 483247 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1937680
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8204
/proc/meminfo: memFree=26229772/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=2041840 CPUtime=582.31 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 523319 0 0 0 58170 61 0 0 25 0 1 0 969681471 2090844160 501832 33554432000 4194304 8979876 140736384993392 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 510460 501832 551 1169 0 509287 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2041840
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25097976/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=2545780 CPUtime=1062.33 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 649884 0 0 0 106156 77 0 0 25 0 1 0 969681471 2606878720 628199 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 636445 628199 556 1169 0 635272 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2545780
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8218
/proc/meminfo: memFree=25037544/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=2609208 CPUtime=1122.33 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 664968 0 0 0 112154 79 0 0 25 0 1 0 969681471 2671828992 643283 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537705 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 652302 643283 556 1169 0 651129 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2609208
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8220
/proc/meminfo: memFree=24985316/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=2661352 CPUtime=1182.33 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 678228 0 0 0 118153 80 0 0 25 0 1 0 969681471 2725224448 656543 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 665338 656543 556 1169 0 664165 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2661352
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8221
/proc/meminfo: memFree=24934808/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=2711500 CPUtime=1242.33 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 690576 0 0 0 124150 83 0 0 25 0 1 0 969681471 2776576000 668891 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537828 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 677875 668891 556 1169 0 676702 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2711500
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8223
/proc/meminfo: memFree=24883700/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=2761620 CPUtime=1302.34 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 703248 0 0 0 130149 85 0 0 25 0 1 0 969681471 2827898880 681563 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 690405 681563 556 1169 0 689232 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2761620
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8225
/proc/meminfo: memFree=24832576/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=2814732 CPUtime=1362.34 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 715986 0 0 0 136148 86 0 0 25 0 1 0 969681471 2882285568 694301 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537616 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 703683 694301 556 1169 0 702510 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2814732
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8227
/proc/meminfo: memFree=24773392/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=2872928 CPUtime=1422.34 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 730575 0 0 0 142146 88 0 0 25 0 1 0 969681471 2941878272 708890 33554432000 4194304 8979876 140736384993392 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/8187/statm: 718232 708890 556 1169 0 717059 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2872928
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8231
/proc/meminfo: memFree=24728212/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=2919168 CPUtime=1482.33 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 742077 0 0 0 148143 90 0 0 25 0 1 0 969681471 2989228032 720392 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8187/statm: 729792 720392 556 1169 0 728619 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2919168
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8232
/proc/meminfo: memFree=24681056/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=2965944 CPUtime=1542.34 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 753891 0 0 0 154142 92 0 0 25 0 1 0 969681471 3037126656 732148 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8187/statm: 741486 732148 556 1169 0 740313 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2965944
[startup+1602.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/175 8273
/proc/meminfo: memFree=27820584/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=3008100 CPUtime=1602.34 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 764718 0 0 0 160140 94 0 0 25 0 1 0 969681471 3080294400 742975 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8187/statm: 752025 742975 556 1169 0 750852 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3008100
[startup+1662.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/175 8275
/proc/meminfo: memFree=27766148/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=3053188 CPUtime=1662.34 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 775597 0 0 0 166139 95 0 0 25 0 1 0 969681471 3126464512 753854 33554432000 4194304 8979876 140736384993392 18446744073709551615 6503520 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8187/statm: 763297 753854 556 1169 0 762124 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3053188
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 8276
/proc/meminfo: memFree=27714380/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=3095432 CPUtime=1722.34 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 786796 0 0 0 172137 97 0 0 25 0 1 0 969681471 3169722368 765053 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8187/statm: 773858 765053 556 1169 0 772685 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3095432
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 8278
/proc/meminfo: memFree=27671560/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=3140516 CPUtime=1782.34 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 797469 0 0 0 178136 98 0 0 25 0 1 0 969681471 3215888384 775726 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8187/statm: 785129 775726 556 1169 0 783956 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3140516
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 8278
/proc/meminfo: memFree=27669204/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=3140516 CPUtime=1785.54 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 797775 0 0 0 178456 98 0 0 25 0 1 0 969681471 3215888384 776032 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8187/statm: 785129 776032 556 1169 0 783956 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 3140516
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 8278
/proc/meminfo: memFree=27664236/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=3145488 CPUtime=1791.95 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 799109 0 0 0 179096 99 0 0 25 0 1 0 969681471 3220979712 777366 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8187/statm: 786372 777366 556 1169 0 785199 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 3145488
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 8278
/proc/meminfo: memFree=27662748/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=3146496 CPUtime=1795.15 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 799444 0 0 0 179416 99 0 0 25 0 1 0 969681471 3222011904 777701 33554432000 4194304 8979876 140736384993392 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8187/statm: 786624 777701 556 1169 0 785451 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3146496
[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 8278
/proc/meminfo: memFree=27661752/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=3147512 CPUtime=1796.74 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 799713 0 0 0 179575 99 0 0 25 0 1 0 969681471 3223052288 777970 33554432000 4194304 8979876 140736384993392 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8187/statm: 786878 777970 556 1169 0 785705 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 3147512
[startup+1797.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 8278
/proc/meminfo: memFree=27661752/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=3148076 CPUtime=1797.14 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 800392 0 0 0 179615 99 0 0 25 0 1 0 969681471 3223629824 778156 33554432000 4194304 8979876 140736384993392 18446744073709551615 5471472 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8187/statm: 787019 778157 567 1169 0 785846 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 3148076
[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 8278
/proc/meminfo: memFree=27669068/32951124 swapFree=67062556/67111528
[pid=8187] ppid=8185 vsize=2602276 CPUtime=1797.54 cores=0,2,4,6
/proc/8187/stat : 8187 (scip-2.0.1.4_2.) R 8185 8187 5721 0 -1 4202496 800409 0 0 0 179651 103 0 0 25 0 1 0 969681471 2664730624 541718 33554432000 4194304 8979876 140736384993392 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8187/statm: 650569 541718 583 1169 0 649396 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 2602276
Child status: 0
Real time (s): 1797.59
CPU time (s): 1797.64
CPU user time (s): 1796.51
CPU system time (s): 1.12983
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3148076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.51
system time used= 1.12983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 800414
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= 1733
runsolver used 2.81757 second user time and 5.60815 second system time
The end