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-3486346-1307794311.opb>
0.89/0.96 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184430 constraints
0.89/0.96 c problem read
0.89/0.96 c presolving settings loaded
1.49/1.55 c presolving:
7.29/7.38 c (round 1) 4640 del vars, 13620 del conss, 0 add conss, 3483 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12489302 impls, 0 clqs
9.69/9.78 c (round 2) 9454 del vars, 32229 del conss, 0 add conss, 8073 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12514821 impls, 0 clqs
10.49/10.50 c (round 3) 11314 del vars, 40495 del conss, 0 add conss, 9141 chg bounds, 55 chg sides, 42 chg coeffs, 0 upgd conss, 12526338 impls, 0 clqs
10.79/10.81 c (round 4) 12016 del vars, 43530 del conss, 0 add conss, 9532 chg bounds, 78 chg sides, 68 chg coeffs, 0 upgd conss, 12531324 impls, 0 clqs
11.00/11.03 c (round 5) 12341 del vars, 44865 del conss, 0 add conss, 9748 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12533282 impls, 0 clqs
11.09/11.17 c (round 6) 12582 del vars, 45812 del conss, 0 add conss, 9880 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12535326 impls, 0 clqs
11.19/11.25 c (round 7) 12674 del vars, 46276 del conss, 0 add conss, 9929 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12535906 impls, 0 clqs
11.29/11.32 c (round 8) 12740 del vars, 46517 del conss, 0 add conss, 9973 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536346 impls, 0 clqs
11.29/11.38 c (round 9) 12772 del vars, 46673 del conss, 0 add conss, 9992 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536476 impls, 0 clqs
11.39/11.43 c (round 10) 12788 del vars, 46757 del conss, 0 add conss, 10005 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536532 impls, 0 clqs
11.39/11.48 c (round 11) 12802 del vars, 46810 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536602 impls, 0 clqs
11.49/11.52 c (round 12) 12802 del vars, 46824 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 0 upgd conss, 12536602 impls, 0 clqs
12.00/12.02 c (round 13) 12802 del vars, 46824 del conss, 0 add conss, 10012 chg bounds, 81 chg sides, 71 chg coeffs, 137606 upgd conss, 12536602 impls, 0 clqs
12.29/12.31 c (round 14) 12802 del vars, 46829 del conss, 69 add conss, 10012 chg bounds, 197 chg sides, 587 chg coeffs, 137606 upgd conss, 12537312 impls, 2485 clqs
12.49/12.51 c (round 15) 12802 del vars, 46847 del conss, 75 add conss, 10012 chg bounds, 203 chg sides, 605 chg coeffs, 137606 upgd conss, 12537382 impls, 2664 clqs
621.21/621.26 c (621.3s) probing: 1000/41980 (2.4%) - 17 fixings, 1 aggregations, 10232458 implications, 0 bound changes
1051.02/1051.03 c (1051.0s) probing: 2000/41980 (4.8%) - 17 fixings, 1 aggregations, 16800512 implications, 0 bound changes
1115.21/1115.30 c (1115.3s) probing: 2151/41980 (5.1%) - 17 fixings, 1 aggregations, 17692592 implications, 0 bound changes
1115.21/1115.30 c (1115.3s) probing aborted: 2000/2000 successive useless probings
1115.21/1115.30 c (round 16) 12820 del vars, 46847 del conss, 75 add conss, 10012 chg bounds, 203 chg sides, 606 chg coeffs, 137606 upgd conss, 73882256 impls, 2664 clqs
1115.71/1115.77 c (round 17) 12820 del vars, 47692 del conss, 75 add conss, 10012 chg bounds, 204 chg sides, 811 chg coeffs, 137606 upgd conss, 73882256 impls, 2664 clqs
1116.02/1116.07 c (round 18) 12820 del vars, 47692 del conss, 94 add conss, 10012 chg bounds, 223 chg sides, 875 chg coeffs, 137606 upgd conss, 73882256 impls, 2923 clqs
1252.52/1252.59 c (round 19) 12870 del vars, 47692 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 881 chg coeffs, 137606 upgd conss, 76741578 impls, 2923 clqs
1253.62/1253.66 c (round 20) 12872 del vars, 47870 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 890 chg coeffs, 137606 upgd conss, 76784028 impls, 2923 clqs
1404.03/1404.05 c (round 21) 12924 del vars, 47872 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 890 chg coeffs, 137606 upgd conss, 81160960 impls, 2927 clqs
1404.63/1404.62 c (round 22) 12926 del vars, 48067 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 896 chg coeffs, 137606 upgd conss, 81160966 impls, 2927 clqs
1578.03/1578.01 c (1578.0s) probing: 3000/41980 (7.1%) - 113 fixings, 35 aggregations, 22868744 implications, 0 bound changes
1797.03/1797.08 c (1797.1s) probing: 3514/41980 (8.4%) - 124 fixings, 39 aggregations, 27803893 implications, 0 bound changes
1797.03/1797.08 c (1797.1s) probing aborted: solving stopped
1797.03/1797.08 c (round 23) 12969 del vars, 48069 del conss, 94 add conss, 10012 chg bounds, 224 chg sides, 896 chg coeffs, 137606 upgd conss, 101972570 impls, 2930 clqs
1797.03/1797.08 c presolving (23 rounds):
1797.03/1797.08 c 12969 deleted vars, 48069 deleted constraints, 94 added constraints, 10012 tightened bounds, 0 added holes, 224 changed sides, 896 changed coefficients
1797.03/1797.08 c 101972570 implications, 2930 cliques
1797.03/1797.08 c presolving was interrupted.
1797.03/1797.08 c Presolving Time: 1795.96
1797.03/1797.08 c - non default parameters ----------------------------------------------------------------------
1797.03/1797.08 c # SCIP version 2.0.1.4
1797.03/1797.08 c
1797.03/1797.08 c # frequency for displaying node information lines
1797.03/1797.08 c # [type: int, range: [-1,2147483647], default: 100]
1797.03/1797.08 c display/freq = 10000
1797.03/1797.08 c
1797.03/1797.08 c # maximal time in seconds to run
1797.03/1797.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.08 c limits/time = 1797
1797.03/1797.08 c
1797.03/1797.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.03/1797.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.08 c limits/memory = 13950
1797.03/1797.08 c
1797.03/1797.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.03/1797.08 c # [type: int, range: [1,2], default: 1]
1797.03/1797.08 c timing/clocktype = 2
1797.03/1797.08 c
1797.03/1797.08 c # belongs reading time to solving time?
1797.03/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08 c timing/reading = TRUE
1797.03/1797.08 c
1797.03/1797.08 c # should presolving try to simplify inequalities
1797.03/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08 c constraints/linear/simplifyinequalities = TRUE
1797.03/1797.08 c
1797.03/1797.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.03/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08 c constraints/indicator/addCouplingCons = TRUE
1797.03/1797.08 c
1797.03/1797.08 c # should presolving try to simplify knapsacks
1797.03/1797.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08 c constraints/knapsack/simplifyinequalities = TRUE
1797.03/1797.08 c
1797.03/1797.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.03/1797.08 c # [type: int, range: [-1,2147483647], default: -1]
1797.03/1797.08 c separating/rapidlearning/freq = 0
1797.03/1797.08 c
1797.03/1797.08 c -----------------------------------------------------------------------------------------------
1797.03/1797.08 c start solving
1797.13/1797.11 c presolving:
1797.13/1797.11 c presolving (23 rounds):
1797.13/1797.11 c 12969 deleted vars, 48069 deleted constraints, 94 added constraints, 10012 tightened bounds, 0 added holes, 224 changed sides, 896 changed coefficients
1797.13/1797.11 c 101972570 implications, 2930 cliques
1797.13/1797.11 c presolving was interrupted.
1797.13/1797.11 c Presolving Time: 1795.98
1797.13/1797.11 c
1797.13/1797.11 c SCIP Status : solving was interrupted [time limit reached]
1797.13/1797.11 c Solving Time (sec) : 1797.11
1797.13/1797.11 c Solving Nodes : 0
1797.13/1797.11 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.13/1797.11 s UNKNOWN
1797.13/1797.11 c SCIP Status : solving was interrupted [time limit reached]
1797.13/1797.11 c Total Time : 1797.11
1797.13/1797.11 c solving : 1797.11
1797.13/1797.11 c presolving : 1795.98 (included in solving)
1797.13/1797.11 c reading : 0.96 (included in solving)
1797.13/1797.11 c Original Problem :
1797.13/1797.11 c Problem name : HOME/instance-3486346-1307794311.opb
1797.13/1797.11 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.13/1797.11 c Constraints : 184430 initial, 184430 maximal
1797.13/1797.11 c Presolved Problem :
1797.13/1797.11 c Problem name : t_HOME/instance-3486346-1307794311.opb
1797.13/1797.11 c Variables : 41813 (41813 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.13/1797.11 c Constraints : 136455 initial, 136455 maximal
1797.13/1797.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.13/1797.11 c trivial : 0.05 836 0 0 0 0 0 0 0 0
1797.13/1797.11 c dualfix : 0.07 92 0 0 0 0 0 0 0 0
1797.13/1797.11 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c implics : 1.84 0 4 0 0 0 0 0 0 0
1797.13/1797.11 c probing : 1781.05 124 39 0 0 0 0 0 0 0
1797.13/1797.11 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c knapsack : 1.67 0 0 0 0 0 23 94 143 825
1797.13/1797.11 c setppc : 0.61 0 0 0 0 0 1189 0 0 0
1797.13/1797.11 c linear : 9.90 9176 2698 0 10012 0 46824 0 81 71
1797.13/1797.11 c logicor : 0.19 0 0 0 0 0 33 0 0 0
1797.13/1797.11 c root node : - 0 - - 0 - - - - -
1797.13/1797.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.13/1797.11 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c knapsack : 0+ 0 153723 0 0 0 0 21 0 0 0 0
1797.13/1797.11 c setppc : 0+ 0 153702 0 0 0 0 38 0 0 0 0
1797.13/1797.11 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c logicor : 0+ 0 141442 0 0 0 0 20 0 0 0 0
1797.13/1797.11 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.13/1797.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.13/1797.11 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.13/1797.11 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.13/1797.11 c knapsack : 7.47 0.00 7.47 0.00 0.00 0.00 0.00
1797.13/1797.11 c setppc : 639.80 0.00 639.80 0.00 0.00 0.00 0.00
1797.13/1797.11 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.13/1797.11 c logicor : 12.47 0.00 12.47 0.00 0.00 0.00 0.00
1797.13/1797.11 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.13/1797.11 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.13/1797.11 c vbounds : 0 0 0 0
1797.13/1797.11 c rootredcost : 0 0 0 0
1797.13/1797.11 c pseudoobj : 0 0 0 0
1797.13/1797.11 c Propagator Timings : TotalTime Propagate Resprop
1797.13/1797.11 c vbounds : 0.05 0.05 0.00
1797.13/1797.11 c rootredcost : 0.02 0.02 0.00
1797.13/1797.11 c pseudoobj : 0.02 0.02 0.00
1797.13/1797.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.13/1797.11 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.13/1797.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.13/1797.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.13/1797.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.13/1797.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.13/1797.11 c applied globally : - - - 0 0.0 - - -
1797.13/1797.11 c applied locally : - - - 0 0.0 - - -
1797.54/1797.57 c Time complete: 1797.61.
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-3486346-1307794311/watcher-3486346-1307794311 -o /tmp/evaluation-result-3486346-1307794311/solver-3486346-1307794311 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486346-1307794311.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.93 2.00 1.99 3/177 20295
/proc/meminfo: memFree=30926356/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=10320 CPUtime=0 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 1568 0 0 0 0 0 0 0 25 0 1 0 891033757 10567680 1523 33554432000 4194304 8979876 140736396540144 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20295/statm: 2580 1523 366 1169 0 1407 0
[startup+0.02806 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 20295
/proc/meminfo: memFree=30926356/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=16020 CPUtime=0.02 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 3021 0 0 0 2 0 0 0 25 0 1 0 891033757 16404480 2976 33554432000 4194304 8979876 140736396540144 18446744073709551615 7807919 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20295/statm: 4005 2976 366 1169 0 2832 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16020
[startup+0.101062 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 20295
/proc/meminfo: memFree=30926356/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=27548 CPUtime=0.09 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 5903 0 0 0 9 0 0 0 25 0 1 0 891033757 28209152 5858 33554432000 4194304 8979876 140736396540144 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20295/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.301031 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 20295
/proc/meminfo: memFree=30926356/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=46332 CPUtime=0.29 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 10577 0 0 0 28 1 0 0 25 0 1 0 891033757 47443968 10532 33554432000 4194304 8979876 140736396540144 18446744073709551615 6782473 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20295/statm: 11583 10532 366 1169 0 10410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46332
[startup+0.700957 s]
/proc/loadavg: 1.93 2.00 1.99 3/177 20295
/proc/meminfo: memFree=30926356/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=77712 CPUtime=0.69 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 18386 0 0 0 67 2 0 0 25 0 1 0 891033757 79577088 18341 33554432000 4194304 8979876 140736396540144 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20295/statm: 19428 18341 366 1169 0 18255 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77712
[startup+1.50083 s]
/proc/loadavg: 1.93 2.00 1.99 3/178 20296
/proc/meminfo: memFree=30788732/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=297724 CPUtime=1.49 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 77971 0 0 0 142 7 0 0 25 0 1 0 891033757 304869376 72763 33554432000 4194304 8979876 140736396540144 18446744073709551615 7820572 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 74431 72763 450 1169 0 73258 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 297724
[startup+3.10056 s]
/proc/loadavg: 1.93 2.00 1.99 3/178 20296
/proc/meminfo: memFree=30579932/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=443668 CPUtime=3.09 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 117095 0 0 0 297 12 0 0 25 0 1 0 891033757 454316032 108665 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503250 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 110917 108665 494 1169 0 109744 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 443668
[startup+6.30097 s]
/proc/loadavg: 1.94 2.00 1.99 3/178 20296
/proc/meminfo: memFree=30290488/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=643156 CPUtime=6.29 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 165035 0 0 0 612 17 0 0 25 0 1 0 891033757 658591744 156605 33554432000 4194304 8979876 140736396540144 18446744073709551615 7841064 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 160789 156605 501 1169 0 159616 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 643156
[startup+12.7008 s]
/proc/loadavg: 1.94 2.00 1.99 3/178 20296
/proc/meminfo: memFree=30181656/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=719524 CPUtime=12.69 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 196077 0 0 0 1248 21 0 0 25 0 1 0 891033757 736792576 175899 33554432000 4194304 8979876 140736396540144 18446744073709551615 6426910 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 179881 175899 644 1169 0 178708 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 719524
[startup+25.5006 s]
/proc/loadavg: 1.95 2.00 1.99 3/178 20297
/proc/meminfo: memFree=30076860/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=780284 CPUtime=25.49 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 210251 0 0 0 2526 23 0 0 25 0 1 0 891033757 799010816 189918 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 195071 189918 588 1169 0 193898 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 780284
[startup+51.1011 s]
/proc/loadavg: 1.97 2.00 1.99 3/178 20297
/proc/meminfo: memFree=29990320/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=827008 CPUtime=51.09 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 221437 0 0 0 5085 24 0 0 25 0 1 0 891033757 846856192 201071 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 206752 201071 588 1169 0 205579 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 827008
[startup+102.306 s]
/proc/loadavg: 1.98 2.00 1.99 3/178 20299
/proc/meminfo: memFree=29732748/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=943220 CPUtime=102.3 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 250350 0 0 0 10202 28 0 0 25 0 1 0 891033757 965857280 229984 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 235805 229984 588 1169 0 234632 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 943220
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 20300
/proc/meminfo: memFree=29477120/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=1082112 CPUtime=162.3 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 283791 0 0 0 16199 31 0 0 25 0 1 0 891033757 1108082688 263161 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 270528 263161 588 1169 0 269355 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1082112
[startup+222.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 20302
/proc/meminfo: memFree=29156396/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=1208992 CPUtime=222.29 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 315549 0 0 0 22195 34 0 0 25 0 1 0 891033757 1238007808 294820 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 302248 294820 588 1169 0 301075 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1208992
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20304
/proc/meminfo: memFree=28834808/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=1381496 CPUtime=282.3 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 359296 0 0 0 28191 39 0 0 25 0 1 0 891033757 1414651904 338402 33554432000 4194304 8979876 140736396540144 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 345374 338402 588 1169 0 344201 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1381496
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20305
/proc/meminfo: memFree=28525728/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=1553000 CPUtime=342.3 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 401833 0 0 0 34186 44 0 0 25 0 1 0 891033757 1590272000 380939 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 388250 380939 588 1169 0 387077 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1553000
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20307
/proc/meminfo: memFree=28326428/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=1663120 CPUtime=402.3 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 429200 0 0 0 40182 48 0 0 25 0 1 0 891033757 1703034880 408306 33554432000 4194304 8979876 140736396540144 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 415780 408306 588 1169 0 414607 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1663120
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20308
/proc/meminfo: memFree=28090020/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=1823168 CPUtime=462.3 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 468914 0 0 0 46177 53 0 0 25 0 1 0 891033757 1866924032 448020 33554432000 4194304 8979876 140736396540144 18446744073709551615 5537616 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 455792 448020 588 1169 0 454619 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1823168
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20310
/proc/meminfo: memFree=27942040/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=1927056 CPUtime=522.31 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 494749 0 0 0 52174 57 0 0 25 0 1 0 891033757 1973305344 473855 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 481764 473855 588 1169 0 480591 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1927056
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20312
/proc/meminfo: memFree=27751500/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=2046400 CPUtime=582.3 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 524321 0 0 0 58170 60 0 0 25 0 1 0 891033757 2095513600 503427 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 511600 503427 588 1169 0 510427 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2046400
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26390328/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=2555024 CPUtime=1062.32 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 651490 0 0 0 106155 77 0 0 25 0 1 0 891033757 2616344576 630464 33554432000 4194304 8979876 140736396540144 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 638756 630464 593 1169 0 637583 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2555024
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20364
/proc/meminfo: memFree=26389292/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=2622096 CPUtime=1122.32 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 669152 0 0 0 112153 79 0 0 25 0 1 0 891033757 2685026304 648126 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 655524 648126 593 1169 0 654351 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2622096
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20365
/proc/meminfo: memFree=26365836/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=2657340 CPUtime=1182.32 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 678343 0 0 0 118152 80 0 0 25 0 1 0 891033757 2721116160 657317 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 664335 657317 593 1169 0 663162 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2657340
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20367
/proc/meminfo: memFree=26333796/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=2691036 CPUtime=1242.32 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 685876 0 0 0 124151 81 0 0 25 0 1 0 891033757 2755620864 664850 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 672759 664850 593 1169 0 671586 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2691036
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20369
/proc/meminfo: memFree=26322580/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=2701864 CPUtime=1302.32 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 688703 0 0 0 130151 81 0 0 25 0 1 0 891033757 2766708736 667677 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503468 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 675466 667677 593 1169 0 674293 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2701864
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20370
/proc/meminfo: memFree=26270576/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=2757168 CPUtime=1362.32 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 702009 0 0 0 136149 83 0 0 25 0 1 0 891033757 2823340032 680983 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 689292 680983 593 1169 0 688119 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2757168
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20372
/proc/meminfo: memFree=26226528/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=2818000 CPUtime=1422.33 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 716602 0 0 0 142149 84 0 0 25 0 1 0 891033757 2885632000 695576 33554432000 4194304 8979876 140736396540144 18446744073709551615 4460239 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 704500 695576 593 1169 0 703327 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2818000
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 20374
/proc/meminfo: memFree=26109316/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=2921896 CPUtime=1482.32 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 742561 0 0 0 148145 87 0 0 25 0 1 0 891033757 2992021504 721535 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 730474 721535 593 1169 0 729301 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2921896
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20375
/proc/meminfo: memFree=26016040/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=3010604 CPUtime=1542.33 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 764911 0 0 0 154143 90 0 0 25 0 1 0 891033757 3082858496 743885 33554432000 4194304 8979876 140736396540144 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 752651 743885 593 1169 0 751478 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3010604
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20377
/proc/meminfo: memFree=25925840/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=3103284 CPUtime=1602.33 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 787699 0 0 0 160140 93 0 0 25 0 1 0 891033757 3177762816 766673 33554432000 4194304 8979876 140736396540144 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 775821 766673 593 1169 0 774648 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3103284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20378
/proc/meminfo: memFree=25818416/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=3184756 CPUtime=1662.33 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 807164 0 0 0 166138 95 0 0 25 0 1 0 891033757 3261190144 786138 33554432000 4194304 8979876 140736396540144 18446744073709551615 4911394 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 796189 786138 593 1169 0 795016 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3184756
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20380
/proc/meminfo: memFree=25737524/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=3264652 CPUtime=1722.33 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 827604 0 0 0 172136 97 0 0 25 0 1 0 891033757 3343003648 806578 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 816163 806578 593 1169 0 814990 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3264652
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20382
/proc/meminfo: memFree=25636300/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=3366856 CPUtime=1782.33 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 852483 0 0 0 178133 100 0 0 25 0 1 0 891033757 3447660544 831457 33554432000 4194304 8979876 140736396540144 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 841714 831457 593 1169 0 840541 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3366856
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20382
/proc/meminfo: memFree=25629728/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=3371932 CPUtime=1785.54 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 853812 0 0 0 178453 101 0 0 25 0 1 0 891033757 3452858368 832786 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 842983 832786 593 1169 0 841810 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 3371932
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20382
/proc/meminfo: memFree=25618920/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=3382976 CPUtime=1791.94 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 856533 0 0 0 179093 101 0 0 25 0 1 0 891033757 3464167424 835507 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 845744 835507 593 1169 0 844571 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 3382976
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20382
/proc/meminfo: memFree=25614208/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=3388048 CPUtime=1795.14 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 857705 0 0 0 179413 101 0 0 25 0 1 0 891033757 3469361152 836679 33554432000 4194304 8979876 140736396540144 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 847012 836679 593 1169 0 845839 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 3388048
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20382
/proc/meminfo: memFree=25612100/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=3390052 CPUtime=1796.74 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 858373 0 0 0 179573 101 0 0 25 0 1 0 891033757 3471413248 837347 33554432000 4194304 8979876 140736396540144 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 847513 837347 593 1169 0 846340 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 3390052
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20382
/proc/meminfo: memFree=25612100/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=3392096 CPUtime=1797.13 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 858984 0 0 0 179612 101 0 0 25 0 1 0 891033757 3473506304 837958 33554432000 4194304 8979876 140736396540144 18446744073709551615 4454561 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/20295/statm: 848024 837958 595 1169 0 846851 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 3392096
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20382
/proc/meminfo: memFree=25625988/32951124 swapFree=67052812/67111528
[pid=20295] ppid=20293 vsize=2015416 CPUtime=1797.54 cores=0,2,4,6
/proc/20295/stat : 20295 (scip-2.0.1.4_2.) R 20293 20295 19591 0 -1 4202496 859397 0 0 0 179647 107 0 0 25 0 1 0 891033757 2063785984 491544 33554432000 4194304 8979876 140736396540144 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20295/statm: 503854 491035 620 1169 0 502681 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 2015416
Child status: 0
Real time (s): 1797.58
CPU time (s): 1797.62
CPU user time (s): 1796.47
CPU system time (s): 1.14882
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3392096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.47
system time used= 1.14882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 859402
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= 954
runsolver used 2.82357 second user time and 5.46917 second system time
The end