0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3489796-1307793823.opb>
1.00/1.02 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184232 constraints
1.00/1.02 c problem read
1.00/1.02 c presolving settings loaded
1.29/1.37 c presolving:
7.39/7.44 c (round 1) 3953 del vars, 11228 del conss, 0 add conss, 2791 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12710848 impls, 0 clqs
9.99/10.04 c (round 2) 9190 del vars, 30341 del conss, 0 add conss, 7649 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12740002 impls, 0 clqs
10.69/10.79 c (round 3) 10961 del vars, 38693 del conss, 0 add conss, 8644 chg bounds, 33 chg sides, 13 chg coeffs, 0 upgd conss, 12754570 impls, 0 clqs
11.09/11.16 c (round 4) 11722 del vars, 41847 del conss, 0 add conss, 9100 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12761131 impls, 0 clqs
11.29/11.37 c (round 5) 12145 del vars, 43589 del conss, 0 add conss, 9329 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12764925 impls, 0 clqs
11.49/11.50 c (round 6) 12349 del vars, 44453 del conss, 0 add conss, 9440 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12766594 impls, 0 clqs
11.49/11.59 c (round 7) 12455 del vars, 44938 del conss, 0 add conss, 9495 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767318 impls, 0 clqs
11.59/11.65 c (round 8) 12501 del vars, 45179 del conss, 0 add conss, 9520 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767654 impls, 0 clqs
11.69/11.70 c (round 9) 12517 del vars, 45269 del conss, 0 add conss, 9528 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767810 impls, 0 clqs
11.69/11.75 c (round 10) 12525 del vars, 45311 del conss, 0 add conss, 9534 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767816 impls, 0 clqs
12.19/12.27 c (round 11) 12525 del vars, 45317 del conss, 0 add conss, 9534 chg bounds, 49 chg sides, 29 chg coeffs, 138915 upgd conss, 12767816 impls, 0 clqs
12.79/12.80 c (round 12) 12525 del vars, 45318 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 166 chg coeffs, 138915 upgd conss, 12767816 impls, 0 clqs
596.61/596.61 c (596.6s) probing: 1000/42257 (2.4%) - 7 fixings, 1 aggregations, 9641454 implications, 0 bound changes
1016.21/1016.25 c (1016.2s) probing: 2000/42257 (4.7%) - 7 fixings, 1 aggregations, 15446131 implications, 0 bound changes
1064.41/1064.44 c (1064.4s) probing: 2129/42257 (5.0%) - 7 fixings, 1 aggregations, 16042772 implications, 0 bound changes
1064.41/1064.44 c (1064.4s) probing aborted: 2000/2000 successive useless probings
1064.41/1064.44 c (round 13) 12533 del vars, 45324 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 167 chg coeffs, 138915 upgd conss, 67200480 impls, 0 clqs
1064.91/1064.90 c (round 14) 12533 del vars, 45699 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 252 chg coeffs, 138915 upgd conss, 67200480 impls, 0 clqs
1376.63/1376.63 c (round 15) 12583 del vars, 45699 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 252 chg coeffs, 138915 upgd conss, 76930738 impls, 0 clqs
1379.83/1379.80 c (round 16) 12589 del vars, 45875 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 254 chg coeffs, 138915 upgd conss, 77037916 impls, 0 clqs
1517.63/1517.67 c (1517.7s) probing: 3000/42257 (7.1%) - 40 fixings, 20 aggregations, 21448223 implications, 0 bound changes
1797.23/1797.30 c (1797.3s) probing: 3640/42257 (8.6%) - 60 fixings, 21 aggregations, 28104192 implications, 0 bound changes
1797.23/1797.30 c (1797.3s) probing aborted: solving stopped
1797.23/1797.30 c (round 17) 12612 del vars, 45881 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 254 chg coeffs, 138915 upgd conss, 97413306 impls, 0 clqs
1797.23/1797.30 c presolving (17 rounds):
1797.23/1797.30 c 12612 deleted vars, 45881 deleted constraints, 9 added constraints, 9534 tightened bounds, 0 added holes, 71 changed sides, 254 changed coefficients
1797.23/1797.30 c 97413306 implications, 0 cliques
1797.23/1797.30 c presolving was interrupted.
1797.23/1797.30 c Presolving Time: 1796.03
1797.23/1797.30 c - non default parameters ----------------------------------------------------------------------
1797.23/1797.30 c # SCIP version 2.0.1.5
1797.23/1797.30 c
1797.23/1797.30 c # frequency for displaying node information lines
1797.23/1797.30 c # [type: int, range: [-1,2147483647], default: 100]
1797.23/1797.30 c display/freq = 10000
1797.23/1797.30 c
1797.23/1797.30 c # maximal time in seconds to run
1797.23/1797.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.23/1797.30 c limits/time = 1797
1797.23/1797.30 c
1797.23/1797.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.23/1797.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.23/1797.30 c limits/memory = 13950
1797.23/1797.30 c
1797.23/1797.30 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.23/1797.30 c # [type: int, range: [1,2], default: 1]
1797.23/1797.30 c timing/clocktype = 2
1797.23/1797.30 c
1797.23/1797.30 c # belongs reading time to solving time?
1797.23/1797.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.23/1797.30 c timing/reading = TRUE
1797.23/1797.30 c
1797.23/1797.30 c # should presolving try to simplify inequalities
1797.23/1797.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.23/1797.30 c constraints/linear/simplifyinequalities = TRUE
1797.23/1797.30 c
1797.23/1797.30 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.23/1797.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.23/1797.30 c constraints/indicator/addCouplingCons = TRUE
1797.23/1797.30 c
1797.23/1797.30 c # should presolving try to simplify knapsacks
1797.23/1797.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.23/1797.30 c constraints/knapsack/simplifyinequalities = TRUE
1797.23/1797.30 c
1797.23/1797.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.23/1797.30 c # [type: int, range: [-1,2147483647], default: -1]
1797.23/1797.30 c separating/rapidlearning/freq = 0
1797.23/1797.30 c
1797.23/1797.30 c -----------------------------------------------------------------------------------------------
1797.23/1797.30 c start solving
1797.34/1797.33 c presolving:
1797.34/1797.33 c presolving (17 rounds):
1797.34/1797.33 c 12612 deleted vars, 45881 deleted constraints, 9 added constraints, 9534 tightened bounds, 0 added holes, 71 changed sides, 254 changed coefficients
1797.34/1797.33 c 97413306 implications, 0 cliques
1797.34/1797.33 c presolving was interrupted.
1797.34/1797.33 c Presolving Time: 1796.06
1797.34/1797.33 c
1797.34/1797.33 c SCIP Status : solving was interrupted [time limit reached]
1797.34/1797.33 c Solving Time (sec) : 1797.33
1797.34/1797.33 c Solving Nodes : 0
1797.34/1797.33 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.34/1797.33 s UNKNOWN
1797.34/1797.33 c SCIP Status : solving was interrupted [time limit reached]
1797.34/1797.33 c Total Time : 1797.33
1797.34/1797.33 c solving : 1797.33
1797.34/1797.33 c presolving : 1796.06 (included in solving)
1797.34/1797.33 c reading : 1.02 (included in solving)
1797.34/1797.33 c Original Problem :
1797.34/1797.33 c Problem name : HOME/instance-3489796-1307793823.opb
1797.34/1797.33 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.34/1797.33 c Constraints : 184232 initial, 184232 maximal
1797.34/1797.33 c Presolved Problem :
1797.34/1797.33 c Problem name : t_HOME/instance-3489796-1307793823.opb
1797.34/1797.33 c Variables : 42170 (42170 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.34/1797.33 c Constraints : 138360 initial, 138360 maximal
1797.34/1797.33 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.34/1797.33 c trivial : 0.04 761 0 0 0 0 0 0 0 0
1797.34/1797.33 c dualfix : 0.06 91 0 0 0 0 0 0 0 0
1797.34/1797.33 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.34/1797.33 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.34/1797.33 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.34/1797.33 c implics : 3.43 0 6 0 0 0 0 0 0 0
1797.34/1797.33 c probing : 1780.05 60 21 0 0 0 0 0 0 0
1797.34/1797.33 c knapsack : 1.33 0 0 0 0 0 7 9 22 225
1797.34/1797.33 c setppc : 0.39 0 0 0 0 0 550 0 0 0
1797.34/1797.33 c linear : 10.40 8773 2900 0 9534 0 45317 0 49 29
1797.34/1797.33 c logicor : 0.09 0 0 0 0 0 7 0 0 0
1797.34/1797.33 c root node : - 0 - - 0 - - - - -
1797.34/1797.33 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.34/1797.33 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.34/1797.33 c knapsack : 0+ 0 164077 0 0 0 0 22 0 0 0 0
1797.34/1797.33 c setppc : 0+ 0 164055 0 0 0 0 7 0 0 0 0
1797.34/1797.33 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.34/1797.33 c logicor : 0+ 0 149965 0 0 0 0 15 0 0 0 0
1797.34/1797.33 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.34/1797.33 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.34/1797.33 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.34/1797.33 c knapsack : 10.27 0.00 10.27 0.00 0.00 0.00 0.00
1797.34/1797.33 c setppc : 703.65 0.00 703.65 0.00 0.00 0.00 0.00
1797.34/1797.33 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.34/1797.33 c logicor : 10.85 0.00 10.85 0.00 0.00 0.00 0.00
1797.34/1797.33 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.34/1797.33 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.34/1797.33 c vbounds : 0 0 0 0
1797.34/1797.33 c rootredcost : 0 0 0 0
1797.34/1797.33 c pseudoobj : 0 0 0 0
1797.34/1797.33 c Propagator Timings : TotalTime Propagate Resprop
1797.34/1797.33 c vbounds : 0.06 0.06 0.00
1797.34/1797.33 c rootredcost : 0.04 0.04 0.00
1797.34/1797.33 c pseudoobj : 0.02 0.02 0.00
1797.34/1797.33 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.34/1797.33 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.34/1797.33 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.34/1797.33 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.34/1797.33 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.34/1797.33 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.34/1797.33 c applied globally : - - - 0 0.0 - - -
1797.34/1797.33 c applied locally : - - - 0 0.0 - - -
1797.83/1797.80 c Time complete: 1797.84.
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-3489796-1307793823/watcher-3489796-1307793823 -o /tmp/evaluation-result-3489796-1307793823/solver-3489796-1307793823 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489796-1307793823.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 10331
/proc/meminfo: memFree=30169864/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=12700 CPUtime=0 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 2154 0 0 0 0 0 0 0 25 0 1 0 871798483 13004800 2109 33554432000 4194304 9016284 140733720298928 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10331/statm: 3175 2122 353 1178 0 1993 0
[startup+0.0945739 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 10331
/proc/meminfo: memFree=30169864/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=31236 CPUtime=0.08 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 6805 0 0 0 8 0 0 0 25 0 1 0 871798483 31985664 6760 33554432000 4194304 9016284 140733720298928 18446744073709551615 7870448 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10331/statm: 7809 6760 360 1178 0 6627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31236
[startup+0.10057 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 10331
/proc/meminfo: memFree=30169864/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=32396 CPUtime=0.09 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 7097 0 0 0 9 0 0 0 25 0 1 0 871798483 33173504 7052 33554432000 4194304 9016284 140733720298928 18446744073709551615 7870493 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10331/statm: 8099 7052 360 1178 0 6917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32396
[startup+0.300529 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 10331
/proc/meminfo: memFree=30169864/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=54064 CPUtime=0.29 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 12491 0 0 0 28 1 0 0 25 0 1 0 871798483 55361536 12446 33554432000 4194304 9016284 140733720298928 18446744073709551615 7870493 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10331/statm: 13516 12446 360 1178 0 12334 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54064
[startup+0.700487 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 10331
/proc/meminfo: memFree=30169864/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=89900 CPUtime=0.69 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 21459 0 0 0 67 2 0 0 25 0 1 0 871798483 92057600 21414 33554432000 4194304 9016284 140733720298928 18446744073709551615 7870468 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10331/statm: 22475 21414 360 1178 0 21293 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89900
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10332
/proc/meminfo: memFree=30052700/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=304508 CPUtime=1.49 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 74162 0 0 0 140 9 0 0 25 0 1 0 871798483 311816192 74098 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480433 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 76127 74098 474 1178 0 74945 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 304508
[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10332
/proc/meminfo: memFree=29804080/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=448748 CPUtime=3.09 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 110088 0 0 0 295 14 0 0 25 0 1 0 871798483 459517952 110024 33554432000 4194304 9016284 140733720298928 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 112187 110024 485 1178 0 111005 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 448748
[startup+6.30048 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10332
/proc/meminfo: memFree=29575792/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=645156 CPUtime=6.29 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 157348 0 0 0 610 19 0 0 25 0 1 0 871798483 660639744 157284 33554432000 4194304 9016284 140733720298928 18446744073709551615 6817713 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 161289 157284 492 1178 0 160107 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 645156
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10332
/proc/meminfo: memFree=29463200/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=732576 CPUtime=12.69 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 189094 0 0 0 1247 22 0 0 25 0 1 0 871798483 750157824 178398 33554432000 4194304 9016284 140733720298928 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 183144 178398 647 1178 0 181962 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 732576
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10332
/proc/meminfo: memFree=29350976/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=804160 CPUtime=25.49 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 206026 0 0 0 2525 24 0 0 25 0 1 0 871798483 823459840 195192 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 201040 195192 541 1178 0 199858 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 804160
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10333
/proc/meminfo: memFree=29284732/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=840036 CPUtime=51.09 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 215058 0 0 0 5084 25 0 0 25 0 1 0 871798483 860196864 204224 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 210009 204224 541 1178 0 208827 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 840036
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10334
/proc/meminfo: memFree=29033132/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=958312 CPUtime=102.3 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 244131 0 0 0 10202 28 0 0 25 0 1 0 871798483 981311488 233297 33554432000 4194304 9016284 140733720298928 18446744073709551615 6594395 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 239578 233297 541 1178 0 238396 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 958312
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10336
/proc/meminfo: memFree=28898304/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=1059500 CPUtime=162.29 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 268839 0 0 0 16198 31 0 0 25 0 1 0 871798483 1084928000 258005 33554432000 4194304 9016284 140733720298928 18446744073709551615 6469565 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 264875 258005 541 1178 0 263693 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1059500
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10338
/proc/meminfo: memFree=28683876/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=1233336 CPUtime=222.3 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 312561 0 0 0 22193 37 0 0 25 0 1 0 871798483 1262936064 301727 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 308334 301727 541 1178 0 307152 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1233336
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10339
/proc/meminfo: memFree=28435100/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=1435500 CPUtime=282.3 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 361999 0 0 0 28186 44 0 0 25 0 1 0 871798483 1469952000 351165 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 358875 351165 541 1178 0 357693 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1435500
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10341
/proc/meminfo: memFree=28267796/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=1549696 CPUtime=342.3 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 390638 0 0 0 34182 48 0 0 25 0 1 0 871798483 1586888704 379804 33554432000 4194304 9016284 140733720298928 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 387424 379804 541 1178 0 386242 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1549696
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10342
/proc/meminfo: memFree=28085600/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=1693552 CPUtime=402.3 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 426549 0 0 0 40178 52 0 0 25 0 1 0 871798483 1734197248 415715 33554432000 4194304 9016284 140733720298928 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 423388 415715 541 1178 0 422206 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1693552
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10344
/proc/meminfo: memFree=27897336/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=1843104 CPUtime=462.31 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 463595 0 0 0 46173 58 0 0 25 0 1 0 871798483 1887338496 452761 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 460776 452761 541 1178 0 459594 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1843104
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10346
/proc/meminfo: memFree=27778372/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=1923140 CPUtime=522.3 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 482915 0 0 0 52170 60 0 0 25 0 1 0 871798483 1969295360 472081 33554432000 4194304 9016284 140733720298928 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 480785 472081 541 1178 0 479603 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1923140
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10347
/proc/meminfo: memFree=27653968/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=2005572 CPUtime=582.3 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 503671 0 0 0 58168 62 0 0 25 0 1 0 871798483 2053705728 492837 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 501393 492837 541 1178 0 500211 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2005572
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26820204/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=2496740 CPUtime=1122.31 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 627102 0 0 0 112151 80 0 0 25 0 1 0 871798483 2556661760 616268 33554432000 4194304 9016284 140733720298928 18446744073709551615 4878660 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 624185 616268 546 1178 0 623003 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2496740
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/178 10363
/proc/meminfo: memFree=26727664/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=2530696 CPUtime=1182.32 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 636479 0 0 0 118151 81 0 0 25 0 1 0 871798483 2591432704 625602 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 632674 625602 546 1178 0 631492 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2530696
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/178 10365
/proc/meminfo: memFree=26628668/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=2590696 CPUtime=1242.32 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 650621 0 0 0 124149 83 0 0 25 0 1 0 871798483 2652872704 639744 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 647674 639744 546 1178 0 646492 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2590696
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/178 10369
/proc/meminfo: memFree=26480260/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=2643320 CPUtime=1302.33 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 663319 0 0 0 130149 84 0 0 25 0 1 0 871798483 2706759680 652442 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 660830 652442 546 1178 0 659648 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2643320
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10371
/proc/meminfo: memFree=26378524/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=2713296 CPUtime=1362.32 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 681012 0 0 0 136146 86 0 0 25 0 1 0 871798483 2778415104 670135 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 678324 670135 546 1178 0 677142 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2713296
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10411
/proc/meminfo: memFree=27656244/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=2791892 CPUtime=1422.33 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 700097 0 0 0 142144 89 0 0 25 0 1 0 871798483 2858897408 689220 33554432000 4194304 9016284 140733720298928 18446744073709551615 4330762 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 697973 689220 546 1178 0 696791 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2791892
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10412
/proc/meminfo: memFree=27551352/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=2886348 CPUtime=1482.32 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 723174 0 0 0 148140 92 0 0 25 0 1 0 871798483 2955620352 712239 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 721587 712239 546 1178 0 720405 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2886348
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10414
/proc/meminfo: memFree=27426168/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=2965912 CPUtime=1542.33 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 743138 0 0 0 154138 95 0 0 25 0 1 0 871798483 3037093888 732203 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 741478 732203 546 1178 0 740296 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2965912
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10415
/proc/meminfo: memFree=27320732/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=3031744 CPUtime=1602.33 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 759498 0 0 0 160136 97 0 0 25 0 1 0 871798483 3104505856 748563 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 757936 748563 546 1178 0 756754 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3031744
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10417
/proc/meminfo: memFree=27217644/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=3135300 CPUtime=1662.33 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 785062 0 0 0 166133 100 0 0 25 0 1 0 871798483 3210547200 774127 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 783825 774127 546 1178 0 782643 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3135300
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10419
/proc/meminfo: memFree=27135784/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=3249000 CPUtime=1722.33 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 813268 0 0 0 172130 103 0 0 25 0 1 0 871798483 3326976000 802333 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480172 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 812250 802333 546 1178 0 811068 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3249000
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 10420
/proc/meminfo: memFree=27036176/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=3351524 CPUtime=1782.33 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 838851 0 0 0 178126 107 0 0 25 0 1 0 871798483 3431960576 827916 33554432000 4194304 9016284 140733720298928 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 837881 827916 546 1178 0 836699 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3351524
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 10420
/proc/meminfo: memFree=27029852/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=3359624 CPUtime=1785.53 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 840434 0 0 0 178446 107 0 0 25 0 1 0 871798483 3440254976 829499 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 839906 829499 546 1178 0 838724 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 3359624
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 10421
/proc/meminfo: memFree=26984588/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=3370704 CPUtime=1791.94 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 843024 0 0 0 179086 108 0 0 25 0 1 0 871798483 3451600896 832089 33554432000 4194304 9016284 140733720298928 18446744073709551615 5510733 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 842676 832089 546 1178 0 841494 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 3370704
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 10421
/proc/meminfo: memFree=27020424/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=3374672 CPUtime=1795.14 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 844326 0 0 0 179406 108 0 0 25 0 1 0 871798483 3455664128 833391 33554432000 4194304 9016284 140733720298928 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 843668 833391 546 1178 0 842486 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 3374672
[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 10421
/proc/meminfo: memFree=26983968/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=3376636 CPUtime=1796.73 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 844926 0 0 0 179565 108 0 0 25 0 1 0 871798483 3457675264 833991 33554432000 4194304 9016284 140733720298928 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10331/statm: 844159 833991 546 1178 0 842977 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 3376636
[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 10421
/proc/meminfo: memFree=26981116/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=3372632 CPUtime=1797.53 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 845940 0 0 0 179645 108 0 0 25 0 1 0 871798483 3453575168 833013 33554432000 4194304 9016284 140733720298928 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10331/statm: 843158 833013 555 1178 0 841976 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 3372632
[startup+1797.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 10421
/proc/meminfo: memFree=26981116/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=2860804 CPUtime=1797.73 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 845953 0 0 0 179663 110 0 0 25 0 1 0 871798483 2929463296 705459 33554432000 4194304 9016284 140733720298928 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10331/statm: 714890 705295 568 1178 0 713708 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 2860804
[startup+1797.8 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 10421
/proc/meminfo: memFree=26981116/32951124 swapFree=67088052/67111528
[pid=10331] ppid=10329 vsize=1448596 CPUtime=1797.83 cores=0,2,4,6
/proc/10331/stat : 10331 (scip-2.0.1.4b_2) R 10329 10331 9011 0 -1 4202496 845953 0 0 0 179663 120 0 0 25 0 1 0 871798483 1483362304 55391 33554432000 4194304 9016284 140733720298928 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10331/statm: 362149 55391 568 1178 0 360967 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 1448596
Child status: 0
Real time (s): 1797.81
CPU time (s): 1797.85
CPU user time (s): 1796.64
CPU system time (s): 1.21381
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3380696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.64
system time used= 1.21381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 845958
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= 1813
runsolver used 2.71759 second user time and 5.50216 second system time
The end