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-3486353-1307794054.opb>
1.09/1.11 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184407 constraints
1.09/1.11 c problem read
1.09/1.11 c presolving settings loaded
1.79/1.80 c presolving:
8.39/8.41 c (round 1) 4469 del vars, 13178 del conss, 0 add conss, 3271 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12585364 impls, 0 clqs
11.00/11.06 c (round 2) 9579 del vars, 33660 del conss, 0 add conss, 8171 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12611617 impls, 0 clqs
11.79/11.87 c (round 3) 11537 del vars, 42613 del conss, 0 add conss, 9233 chg bounds, 30 chg sides, 32 chg coeffs, 0 upgd conss, 12623415 impls, 0 clqs
12.29/12.35 c (round 4) 12423 del vars, 46092 del conss, 0 add conss, 9771 chg bounds, 38 chg sides, 41 chg coeffs, 0 upgd conss, 12631712 impls, 0 clqs
12.59/12.66 c (round 5) 12942 del vars, 48271 del conss, 0 add conss, 10076 chg bounds, 48 chg sides, 51 chg coeffs, 0 upgd conss, 12636927 impls, 0 clqs
12.79/12.86 c (round 6) 13288 del vars, 49627 del conss, 0 add conss, 10264 chg bounds, 51 chg sides, 54 chg coeffs, 0 upgd conss, 12640062 impls, 0 clqs
12.89/12.98 c (round 7) 13459 del vars, 50404 del conss, 0 add conss, 10354 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12641823 impls, 0 clqs
12.99/13.07 c (round 8) 13538 del vars, 50796 del conss, 0 add conss, 10392 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12642871 impls, 0 clqs
13.09/13.13 c (round 9) 13580 del vars, 50988 del conss, 0 add conss, 10417 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12643415 impls, 0 clqs
13.09/13.19 c (round 10) 13606 del vars, 51114 del conss, 0 add conss, 10430 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12643837 impls, 0 clqs
13.20/13.25 c (round 11) 13628 del vars, 51206 del conss, 0 add conss, 10444 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12644148 impls, 0 clqs
13.20/13.30 c (round 12) 13640 del vars, 51266 del conss, 0 add conss, 10451 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12644237 impls, 0 clqs
13.30/13.35 c (round 13) 13646 del vars, 51301 del conss, 0 add conss, 10454 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12644285 impls, 0 clqs
13.30/13.39 c (round 14) 13652 del vars, 51320 del conss, 0 add conss, 10458 chg bounds, 54 chg sides, 57 chg coeffs, 0 upgd conss, 12644294 impls, 0 clqs
13.89/13.96 c (round 15) 13652 del vars, 51331 del conss, 0 add conss, 10458 chg bounds, 54 chg sides, 57 chg coeffs, 133076 upgd conss, 12644294 impls, 0 clqs
566.49/566.55 c (566.6s) probing: 1000/41130 (2.4%) - 22 fixings, 6 aggregations, 9671111 implications, 0 bound changes
962.39/962.42 c (962.4s) probing: 2000/41130 (4.9%) - 22 fixings, 6 aggregations, 15253394 implications, 0 bound changes
1286.49/1286.52 c (1286.5s) probing: 2792/41130 (6.8%) - 22 fixings, 6 aggregations, 19733156 implications, 0 bound changes
1286.49/1286.52 c (1286.5s) probing aborted: 2000/2000 successive useless probings
1286.49/1286.52 c (round 16) 13680 del vars, 51331 del conss, 3 add conss, 10458 chg bounds, 62 chg sides, 164 chg coeffs, 133076 upgd conss, 79855870 impls, 493 clqs
1288.29/1288.30 c (round 17) 13682 del vars, 51871 del conss, 3 add conss, 10458 chg bounds, 62 chg sides, 313 chg coeffs, 133076 upgd conss, 79880282 impls, 525 clqs
1384.80/1384.87 c (1384.9s) probing: 3000/41130 (7.3%) - 35 fixings, 13 aggregations, 20557283 implications, 0 bound changes
1499.60/1499.62 c (round 18) 13732 del vars, 51873 del conss, 3 add conss, 10458 chg bounds, 62 chg sides, 315 chg coeffs, 133076 upgd conss, 85563942 impls, 558 clqs
1500.30/1500.34 c (round 19) 13736 del vars, 52054 del conss, 3 add conss, 10458 chg bounds, 62 chg sides, 315 chg coeffs, 133076 upgd conss, 85563962 impls, 558 clqs
1774.50/1774.57 c (1774.6s) probing: 4000/41130 (9.7%) - 73 fixings, 43 aggregations, 26156046 implications, 0 bound changes
1797.19/1797.26 c (1797.3s) probing: 4053/41130 (9.9%) - 73 fixings, 43 aggregations, 26582743 implications, 0 bound changes
1797.19/1797.26 c (1797.3s) probing aborted: solving stopped
1797.19/1797.26 c (round 20) 13774 del vars, 52058 del conss, 3 add conss, 10458 chg bounds, 62 chg sides, 315 chg coeffs, 133076 upgd conss, 97930762 impls, 558 clqs
1797.19/1797.26 c presolving (20 rounds):
1797.19/1797.26 c 13774 deleted vars, 52058 deleted constraints, 3 added constraints, 10458 tightened bounds, 0 added holes, 62 changed sides, 315 changed coefficients
1797.19/1797.26 c 97930762 implications, 558 cliques
1797.19/1797.26 c presolving was interrupted.
1797.19/1797.26 c Presolving Time: 1795.96
1797.19/1797.26 c - non default parameters ----------------------------------------------------------------------
1797.19/1797.26 c # SCIP version 2.0.1.4
1797.19/1797.26 c
1797.19/1797.26 c # frequency for displaying node information lines
1797.19/1797.26 c # [type: int, range: [-1,2147483647], default: 100]
1797.19/1797.26 c display/freq = 10000
1797.19/1797.26 c
1797.19/1797.26 c # maximal time in seconds to run
1797.19/1797.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.19/1797.26 c limits/time = 1797
1797.19/1797.26 c
1797.19/1797.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.19/1797.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.19/1797.26 c limits/memory = 13950
1797.19/1797.26 c
1797.19/1797.26 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.19/1797.26 c # [type: int, range: [1,2], default: 1]
1797.19/1797.26 c timing/clocktype = 2
1797.19/1797.26 c
1797.19/1797.26 c # belongs reading time to solving time?
1797.19/1797.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.19/1797.26 c timing/reading = TRUE
1797.19/1797.26 c
1797.19/1797.26 c # should presolving try to simplify inequalities
1797.19/1797.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.19/1797.26 c constraints/linear/simplifyinequalities = TRUE
1797.19/1797.26 c
1797.19/1797.26 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.19/1797.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.19/1797.26 c constraints/indicator/addCouplingCons = TRUE
1797.19/1797.26 c
1797.19/1797.26 c # should presolving try to simplify knapsacks
1797.19/1797.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.19/1797.26 c constraints/knapsack/simplifyinequalities = TRUE
1797.19/1797.26 c
1797.19/1797.26 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.19/1797.26 c # [type: int, range: [-1,2147483647], default: -1]
1797.19/1797.26 c separating/rapidlearning/freq = 0
1797.19/1797.26 c
1797.19/1797.26 c -----------------------------------------------------------------------------------------------
1797.19/1797.26 c start solving
1797.19/1797.29 c presolving:
1797.19/1797.29 c presolving (20 rounds):
1797.19/1797.29 c 13774 deleted vars, 52058 deleted constraints, 3 added constraints, 10458 tightened bounds, 0 added holes, 62 changed sides, 315 changed coefficients
1797.19/1797.29 c 97930762 implications, 558 cliques
1797.19/1797.29 c presolving was interrupted.
1797.19/1797.29 c Presolving Time: 1795.99
1797.19/1797.29 c
1797.19/1797.29 c SCIP Status : solving was interrupted [time limit reached]
1797.19/1797.29 c Solving Time (sec) : 1797.29
1797.19/1797.29 c Solving Nodes : 0
1797.19/1797.29 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.19/1797.29 s UNKNOWN
1797.19/1797.29 c SCIP Status : solving was interrupted [time limit reached]
1797.19/1797.29 c Total Time : 1797.29
1797.19/1797.29 c solving : 1797.29
1797.19/1797.29 c presolving : 1795.99 (included in solving)
1797.19/1797.29 c reading : 1.11 (included in solving)
1797.19/1797.29 c Original Problem :
1797.19/1797.29 c Problem name : HOME/instance-3486353-1307794054.opb
1797.19/1797.29 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.19/1797.29 c Constraints : 184407 initial, 184407 maximal
1797.19/1797.29 c Presolved Problem :
1797.19/1797.29 c Problem name : t_HOME/instance-3486353-1307794054.opb
1797.19/1797.29 c Variables : 41008 (41008 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.19/1797.29 c Constraints : 132352 initial, 132352 maximal
1797.19/1797.29 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.19/1797.29 c trivial : 0.05 851 0 0 0 0 0 0 0 0
1797.19/1797.29 c dualfix : 0.07 91 0 0 0 0 0 0 0 0
1797.19/1797.29 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.19/1797.29 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.19/1797.29 c implics : 2.37 0 6 0 0 0 0 0 0 0
1797.19/1797.29 c probing : 1779.60 73 43 0 0 0 0 0 0 0
1797.19/1797.29 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.19/1797.29 c knapsack : 1.36 0 0 0 0 0 0 3 8 258
1797.19/1797.29 c setppc : 0.28 0 0 0 0 0 717 0 0 0
1797.19/1797.29 c linear : 11.47 9607 3103 0 10458 0 51331 0 54 57
1797.19/1797.29 c logicor : 0.08 0 0 0 0 0 10 0 0 0
1797.19/1797.29 c root node : - 0 - - 0 - - - - -
1797.19/1797.29 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.19/1797.29 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.19/1797.29 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.19/1797.29 c knapsack : 0+ 0 180044 0 0 0 0 23 0 0 0 0
1797.19/1797.29 c setppc : 0+ 0 180021 0 0 0 0 15 0 0 0 0
1797.19/1797.29 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.19/1797.29 c logicor : 0+ 0 164698 0 0 0 0 17 0 0 0 0
1797.19/1797.29 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.19/1797.29 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.19/1797.29 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.19/1797.29 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.19/1797.29 c knapsack : 11.46 0.00 11.46 0.00 0.00 0.00 0.00
1797.19/1797.29 c setppc : 743.37 0.00 743.37 0.00 0.00 0.00 0.00
1797.19/1797.29 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.19/1797.29 c logicor : 12.64 0.00 12.64 0.00 0.00 0.00 0.00
1797.19/1797.29 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.19/1797.29 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.19/1797.29 c vbounds : 0 0 0 0
1797.19/1797.29 c rootredcost : 0 0 0 0
1797.19/1797.29 c pseudoobj : 0 0 0 0
1797.19/1797.29 c Propagator Timings : TotalTime Propagate Resprop
1797.19/1797.29 c vbounds : 0.06 0.06 0.00
1797.19/1797.29 c rootredcost : 0.03 0.03 0.00
1797.19/1797.29 c pseudoobj : 0.02 0.02 0.00
1797.19/1797.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.19/1797.29 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.19/1797.29 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.19/1797.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.19/1797.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.19/1797.29 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.19/1797.29 c applied globally : - - - 0 0.0 - - -
1797.19/1797.29 c applied locally : - - - 0 0.0 - - -
1797.69/1797.77 c Time complete: 1797.76.
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-3486353-1307794054/watcher-3486353-1307794054 -o /tmp/evaluation-result-3486353-1307794054/solver-3486353-1307794054 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486353-1307794054.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.86 1.98 1.99 2/170 19613
/proc/meminfo: memFree=31563672/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=10320 CPUtime=0 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 1572 0 0 0 0 0 0 0 25 0 1 0 891004056 10567680 1527 33554432000 4194304 8979876 140734781002784 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19613/statm: 2580 1528 366 1169 0 1407 0
[startup+0.104117 s]
/proc/loadavg: 1.86 1.98 1.99 2/170 19613
/proc/meminfo: memFree=31563672/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=27416 CPUtime=0.09 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 5867 0 0 0 9 0 0 0 25 0 1 0 891004056 28073984 5822 33554432000 4194304 8979876 140734781002784 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19613/statm: 6854 5822 366 1169 0 5681 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27416
[startup+0.201106 s]
/proc/loadavg: 1.86 1.98 1.99 2/170 19613
/proc/meminfo: memFree=31563672/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=39516 CPUtime=0.19 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 8878 0 0 0 18 1 0 0 25 0 1 0 891004056 40464384 8833 33554432000 4194304 8979876 140734781002784 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19613/statm: 9879 8833 366 1169 0 8706 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39516
[startup+0.301084 s]
/proc/loadavg: 1.86 1.98 1.99 2/170 19613
/proc/meminfo: memFree=31563672/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=44884 CPUtime=0.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 10224 0 0 0 28 1 0 0 25 0 1 0 891004056 45961216 10179 33554432000 4194304 8979876 140734781002784 18446744073709551615 6200616 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19613/statm: 11221 10179 366 1169 0 10048 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44884
[startup+0.701016 s]
/proc/loadavg: 1.86 1.98 1.99 2/170 19613
/proc/meminfo: memFree=31563672/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=69904 CPUtime=0.69 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 16465 0 0 0 68 1 0 0 25 0 1 0 891004056 71581696 16420 33554432000 4194304 8979876 140734781002784 18446744073709551615 7836063 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19613/statm: 17476 16420 366 1169 0 16303 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69904
[startup+1.50088 s]
/proc/loadavg: 1.86 1.98 1.99 3/176 19623
/proc/meminfo: memFree=31317252/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=259344 CPUtime=1.49 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 63256 0 0 0 143 6 0 0 25 0 1 0 891004056 265568256 63152 33554432000 4194304 8979876 140734781002784 18446744073709551615 5434920 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19613/statm: 64836 63152 449 1169 0 63663 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 259344
[startup+3.10059 s]
/proc/loadavg: 1.86 1.98 1.99 3/176 19623
/proc/meminfo: memFree=30878292/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=417676 CPUtime=3.09 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 110670 0 0 0 296 13 0 0 25 0 1 0 891004056 427700224 102235 33554432000 4194304 8979876 140734781002784 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19613/statm: 104419 102235 494 1169 0 103246 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 417676
[startup+6.30103 s]
/proc/loadavg: 2.27 2.06 2.02 3/176 19623
/proc/meminfo: memFree=30418688/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=607628 CPUtime=6.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 156975 0 0 0 610 19 0 0 25 0 1 0 891004056 622211072 148540 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503333 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19613/statm: 151907 148540 494 1169 0 150734 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 607628
[startup+12.7009 s]
/proc/loadavg: 2.49 2.11 2.03 3/176 19624
/proc/meminfo: memFree=30216344/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=679876 CPUtime=12.69 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 175466 0 0 0 1247 22 0 0 25 0 1 0 891004056 696193024 165742 33554432000 4194304 8979876 140734781002784 18446744073709551615 6504351 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19613/statm: 169969 165742 504 1169 0 168796 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 679876
[startup+25.5007 s]
/proc/loadavg: 2.52 2.13 2.04 3/176 19625
/proc/meminfo: memFree=30042908/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=763088 CPUtime=25.49 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 205983 0 0 0 2523 26 0 0 25 0 1 0 891004056 781402112 186059 33554432000 4194304 8979876 140734781002784 18446744073709551615 4875190 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 190772 186059 562 1169 0 189599 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 763088
[startup+51.1003 s]
/proc/loadavg: 2.34 2.12 2.04 3/176 19625
/proc/meminfo: memFree=29956600/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=806476 CPUtime=51.09 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 216365 0 0 0 5082 27 0 0 25 0 1 0 891004056 825831424 196441 33554432000 4194304 8979876 140734781002784 18446744073709551615 6492544 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 201619 196441 562 1169 0 200446 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 806476
[startup+102.301 s]
/proc/loadavg: 2.15 2.10 2.03 3/176 19627
/proc/meminfo: memFree=29717152/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=928340 CPUtime=102.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 245948 0 0 0 10199 30 0 0 25 0 1 0 891004056 950620160 226024 33554432000 4194304 8979876 140734781002784 18446744073709551615 4635953 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 232085 226024 562 1169 0 230912 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 928340
[startup+162.301 s]
/proc/loadavg: 2.05 2.08 2.03 3/176 19628
/proc/meminfo: memFree=29342296/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=1121400 CPUtime=162.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 293622 0 0 0 16192 37 0 0 25 0 1 0 891004056 1148313600 273302 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 280350 273302 562 1169 0 279177 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1121400
[startup+222.307 s]
/proc/loadavg: 2.02 2.06 2.02 3/176 19629
/proc/meminfo: memFree=29072952/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=1282828 CPUtime=222.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 333415 0 0 0 22189 40 0 0 25 0 1 0 891004056 1313615872 312996 33554432000 4194304 8979876 140734781002784 18446744073709551615 4916744 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 320707 312996 562 1169 0 319534 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1282828
[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/176 19631
/proc/meminfo: memFree=28715696/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=1426504 CPUtime=282.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 369559 0 0 0 28185 44 0 0 25 0 1 0 891004056 1460740096 349140 33554432000 4194304 8979876 140734781002784 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 356626 349140 562 1169 0 355453 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1426504
[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/176 19633
/proc/meminfo: memFree=28460992/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=1527288 CPUtime=342.3 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 394779 0 0 0 34181 49 0 0 25 0 1 0 891004056 1563942912 374360 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 381822 374360 562 1169 0 380649 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1527288
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 19635
/proc/meminfo: memFree=28027228/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=1764444 CPUtime=402.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 453165 0 0 0 40173 56 0 0 25 0 1 0 891004056 1806790656 432746 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 441111 432746 562 1169 0 439938 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1764444
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 19636
/proc/meminfo: memFree=27801664/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=1835124 CPUtime=462.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 471453 0 0 0 46170 59 0 0 25 0 1 0 891004056 1879166976 450902 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 458781 450902 562 1169 0 457608 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1835124
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 19637
/proc/meminfo: memFree=27539888/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=1950124 CPUtime=522.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 499781 0 0 0 52167 62 0 0 25 0 1 0 891004056 1996926976 479230 33554432000 4194304 8979876 140734781002784 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 487531 479230 562 1169 0 486358 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1950124
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 19639
/proc/meminfo: memFree=27307496/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=2078388 CPUtime=582.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 531307 0 0 0 58163 66 0 0 25 0 1 0 891004056 2128269312 510756 33554432000 4194304 8979876 140734781002784 18446744073709551615 5381814 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 519597 510756 567 1169 0 518424 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2078388
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26104168/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=2578420 CPUtime=1122.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 657238 0 0 0 112144 85 0 0 25 0 1 0 891004056 2640302080 636687 33554432000 4194304 8979876 140734781002784 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 644605 636687 567 1169 0 643432 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 2578420
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19655
/proc/meminfo: memFree=25972716/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=2642704 CPUtime=1182.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 673311 0 0 0 118142 87 0 0 25 0 1 0 891004056 2706128896 652760 33554432000 4194304 8979876 140734781002784 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 660676 652760 567 1169 0 659503 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 2642704
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19657
/proc/meminfo: memFree=25859492/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=2704868 CPUtime=1242.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 688099 0 0 0 124140 89 0 0 25 0 1 0 891004056 2769784832 667548 33554432000 4194304 8979876 140734781002784 18446744073709551615 4222993 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 676217 667548 567 1169 0 675044 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 2704868
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19659
/proc/meminfo: memFree=25763244/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=2771868 CPUtime=1302.3 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 704482 0 0 0 130138 92 0 0 25 0 1 0 891004056 2838392832 683931 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 692967 683931 567 1169 0 691794 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 2771868
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19660
/proc/meminfo: memFree=25705700/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=2817100 CPUtime=1362.3 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 715790 0 0 0 136136 94 0 0 25 0 1 0 891004056 2884710400 695239 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 704275 695239 567 1169 0 703102 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 2817100
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19661
/proc/meminfo: memFree=25619124/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=2866484 CPUtime=1422.3 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 728352 0 0 0 142135 95 0 0 25 0 1 0 891004056 2935279616 707801 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 716621 707801 567 1169 0 715448 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 2866484
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19663
/proc/meminfo: memFree=25509360/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=2930696 CPUtime=1482.3 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 744468 0 0 0 148133 97 0 0 25 0 1 0 891004056 3001032704 723917 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 732674 723917 567 1169 0 731501 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 2930696
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19665
/proc/meminfo: memFree=25393272/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=2992356 CPUtime=1542.3 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 760197 0 0 0 154132 98 0 0 25 0 1 0 891004056 3064172544 739646 33554432000 4194304 8979876 140734781002784 18446744073709551615 4318796 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 748089 739646 567 1169 0 746916 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 2992356
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19667
/proc/meminfo: memFree=25237880/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=3068392 CPUtime=1602.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 778260 0 0 0 160129 100 0 0 25 0 1 0 891004056 3142033408 757709 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 767098 757709 567 1169 0 765925 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 3068392
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19668
/proc/meminfo: memFree=25023192/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=3158632 CPUtime=1662.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 800929 0 0 0 166127 102 0 0 25 0 1 0 891004056 3234439168 780378 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 789658 780378 567 1169 0 788485 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 3158632
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 19669
/proc/meminfo: memFree=24894592/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=3224220 CPUtime=1722.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 817052 0 0 0 172124 105 0 0 25 0 1 0 891004056 3301601280 796501 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 806055 796501 567 1169 0 804882 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 3224220
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 19671
/proc/meminfo: memFree=24738584/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=3290492 CPUtime=1782.29 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 833362 0 0 0 178122 107 0 0 25 0 1 0 891004056 3369463808 812811 33554432000 4194304 8979876 140734781002784 18446744073709551615 4460239 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 822623 812811 567 1169 0 821450 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 3290492
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19671
/proc/meminfo: memFree=24733124/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=3291512 CPUtime=1785.59 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 833799 0 0 0 178452 107 0 0 25 0 1 0 891004056 3370508288 813248 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 822878 813248 567 1169 0 821705 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (KiB) 3291512
[startup+1792.01 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19671
/proc/meminfo: memFree=24715760/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=3297608 CPUtime=1792 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 834919 0 0 0 179093 107 0 0 25 0 1 0 891004056 3376750592 814368 33554432000 4194304 8979876 140734781002784 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 824402 814368 567 1169 0 823229 0
Current children cumulated CPU time (s) 1792
Current children cumulated vsize (KiB) 3297608
[startup+1795.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19671
/proc/meminfo: memFree=24692692/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=3302704 CPUtime=1795.19 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 836308 0 0 0 179412 107 0 0 25 0 1 0 891004056 3381968896 815757 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 825676 815757 567 1169 0 824503 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 3302704
[startup+1796.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19671
/proc/meminfo: memFree=24685748/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=3303728 CPUtime=1796.79 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 836698 0 0 0 179572 107 0 0 25 0 1 0 891004056 3383017472 816147 33554432000 4194304 8979876 140734781002784 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 825932 816147 567 1169 0 824759 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 3303728
[startup+1797.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19671
/proc/meminfo: memFree=24685748/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=3304732 CPUtime=1797.19 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 836896 0 0 0 179612 107 0 0 25 0 1 0 891004056 3384045568 816345 33554432000 4194304 8979876 140734781002784 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19613/statm: 826183 816345 567 1169 0 825010 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 3304732
[startup+1797.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19671
/proc/meminfo: memFree=24684880/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=3109588 CPUtime=1797.6 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 837235 0 0 0 179651 109 0 0 18 0 1 0 891004056 3184218112 767831 33554432000 4194304 8979876 140734781002784 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19613/statm: 777188 767622 582 1169 0 776015 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 3109588
[startup+1797.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19671
/proc/meminfo: memFree=24684880/32951132 swapFree=67052544/67111528
[pid=19613] ppid=19611 vsize=2336000 CPUtime=1797.69 cores=0,2,4,6
/proc/19613/stat : 19613 (scip-2.0.1.4_2.) R 19611 19613 19576 0 -1 4202496 837247 0 0 0 179655 114 0 0 18 0 1 0 891004056 2392064000 435996 33554432000 4194304 8979876 140734781002784 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19613/statm: 584000 435484 594 1169 0 582827 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 2336000
Child status: 0
Real time (s): 1797.77
CPU time (s): 1797.77
CPU user time (s): 1796.56
CPU system time (s): 1.21681
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 3304732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.56
system time used= 1.21681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 837252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 1061
runsolver used 2.93255 second user time and 6.06708 second system time
The end