0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3451815-1307117460.opb>
1.49/1.56 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245119 constraints
1.49/1.56 c problem read
1.49/1.56 c presolving settings loaded
1.99/2.00 c presolving:
8.29/8.31 c (round 1) 6854 del vars, 20781 del conss, 0 add conss, 5177 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16679452 impls, 0 clqs
11.19/11.22 c (round 2) 14849 del vars, 53140 del conss, 0 add conss, 12788 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16723567 impls, 0 clqs
12.00/12.02 c (round 3) 17795 del vars, 66903 del conss, 0 add conss, 14502 chg bounds, 86 chg sides, 59 chg coeffs, 0 upgd conss, 16743744 impls, 0 clqs
12.39/12.47 c (round 4) 19319 del vars, 72661 del conss, 0 add conss, 15576 chg bounds, 102 chg sides, 73 chg coeffs, 0 upgd conss, 16759866 impls, 0 clqs
12.79/12.81 c (round 5) 20634 del vars, 77571 del conss, 0 add conss, 16526 chg bounds, 113 chg sides, 84 chg coeffs, 0 upgd conss, 16771313 impls, 0 clqs
12.99/13.04 c (round 6) 21481 del vars, 80847 del conss, 0 add conss, 17116 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16780052 impls, 0 clqs
13.20/13.21 c (round 7) 22071 del vars, 83150 del conss, 0 add conss, 17524 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16787391 impls, 0 clqs
13.29/13.34 c (round 8) 22469 del vars, 84751 del conss, 0 add conss, 17794 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16792799 impls, 0 clqs
13.39/13.44 c (round 9) 22743 del vars, 85862 del conss, 0 add conss, 17985 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16796806 impls, 0 clqs
13.49/13.52 c (round 10) 22932 del vars, 86610 del conss, 0 add conss, 18115 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16799773 impls, 0 clqs
13.59/13.66 c (round 11) 23069 del vars, 87168 del conss, 0 add conss, 18225 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16801821 impls, 0 clqs
13.69/13.75 c (round 12) 23173 del vars, 87614 del conss, 0 add conss, 18283 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804050 impls, 0 clqs
13.89/13.91 c (round 13) 23245 del vars, 87888 del conss, 0 add conss, 18356 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804850 impls, 0 clqs
13.89/13.96 c (round 14) 23325 del vars, 88226 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs
13.99/14.01 c (round 15) 23325 del vars, 88252 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs
14.59/14.60 c (round 16) 23325 del vars, 88252 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 156867 upgd conss, 16805132 impls, 0 clqs
14.89/14.95 c (round 17) 23325 del vars, 88261 del conss, 68 add conss, 18370 chg bounds, 206 chg sides, 397 chg coeffs, 156867 upgd conss, 16807226 impls, 3358 clqs
495.50/495.57 c (495.6s) probing: 1000/49517 (2.0%) - 6 fixings, 1 aggregations, 10369264 implications, 0 bound changes
910.52/910.50 c (910.5s) probing: 2000/49517 (4.0%) - 13 fixings, 5 aggregations, 16397670 implications, 0 bound changes
1304.64/1304.67 c (1304.7s) probing: 3000/49517 (6.1%) - 13 fixings, 6 aggregations, 21848219 implications, 0 bound changes
1709.14/1709.14 c (1709.1s) probing: 4000/49517 (8.1%) - 13 fixings, 6 aggregations, 27054092 implications, 0 bound changes
1800.05/1800.05 c (1800.0s) probing: 4229/49517 (8.5%) - 13 fixings, 7 aggregations, 28279584 implications, 0 bound changes
1800.05/1800.05 c (1800.0s) probing aborted: solving stopped
1800.05/1800.05 c (round 18) 23345 del vars, 88265 del conss, 68 add conss, 18370 chg bounds, 209 chg sides, 409 chg coeffs, 156867 upgd conss, 117284226 impls, 3490 clqs
1800.05/1800.05 c presolving (18 rounds):
1800.05/1800.05 c 23345 deleted vars, 88265 deleted constraints, 68 added constraints, 18370 tightened bounds, 0 added holes, 209 changed sides, 409 changed coefficients
1800.05/1800.05 c 117284226 implications, 3490 cliques
1800.05/1800.05 c presolving was interrupted.
1800.05/1800.05 c Presolving Time: 1798.18
1800.05/1800.05 c - non default parameters ----------------------------------------------------------------------
1800.05/1800.05 c # SCIP version 2.0.1.5
1800.05/1800.05 c
1800.05/1800.05 c # frequency for displaying node information lines
1800.05/1800.05 c # [type: int, range: [-1,2147483647], default: 100]
1800.05/1800.05 c display/freq = 10000
1800.05/1800.05 c
1800.05/1800.05 c # maximal time in seconds to run
1800.05/1800.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.05/1800.05 c limits/time = 1800
1800.05/1800.05 c
1800.05/1800.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.05/1800.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.05/1800.05 c limits/memory = 13950
1800.05/1800.05 c
1800.05/1800.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.05/1800.05 c # [type: int, range: [1,2], default: 1]
1800.05/1800.05 c timing/clocktype = 2
1800.05/1800.05 c
1800.05/1800.05 c # belongs reading time to solving time?
1800.05/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.05 c timing/reading = TRUE
1800.05/1800.05 c
1800.05/1800.05 c # should presolving try to simplify inequalities
1800.05/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.05 c constraints/linear/simplifyinequalities = TRUE
1800.05/1800.05 c
1800.05/1800.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.05/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.05 c constraints/indicator/addCouplingCons = TRUE
1800.05/1800.05 c
1800.05/1800.05 c # should presolving try to simplify knapsacks
1800.05/1800.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.05/1800.05 c constraints/knapsack/simplifyinequalities = TRUE
1800.05/1800.05 c
1800.05/1800.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.05/1800.05 c # [type: int, range: [-1,2147483647], default: -1]
1800.05/1800.05 c separating/rapidlearning/freq = 0
1800.05/1800.05 c
1800.05/1800.05 c -----------------------------------------------------------------------------------------------
1800.05/1800.05 c start solving
1800.16/1800.12 c presolving:
1800.16/1800.12 c presolving (18 rounds):
1800.16/1800.12 c 23345 deleted vars, 88265 deleted constraints, 68 added constraints, 18370 tightened bounds, 0 added holes, 209 changed sides, 409 changed coefficients
1800.16/1800.12 c 117284226 implications, 3490 cliques
1800.16/1800.12 c presolving was interrupted.
1800.16/1800.12 c Presolving Time: 1798.25
1800.16/1800.12 c
1800.16/1800.12 c SCIP Status : solving was interrupted [time limit reached]
1800.16/1800.12 c Solving Time (sec) : 1800.12
1800.16/1800.12 c Solving Nodes : 0
1800.16/1800.12 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.16/1800.12 s UNKNOWN
1800.16/1800.12 c SCIP Status : solving was interrupted [time limit reached]
1800.16/1800.12 c Total Time : 1800.12
1800.16/1800.12 c solving : 1800.12
1800.16/1800.12 c presolving : 1798.25 (included in solving)
1800.16/1800.12 c reading : 1.56 (included in solving)
1800.16/1800.12 c Original Problem :
1800.16/1800.12 c Problem name : HOME/instance-3451815-1307117460.opb
1800.16/1800.12 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.16/1800.12 c Constraints : 245119 initial, 245119 maximal
1800.16/1800.12 c Presolved Problem :
1800.16/1800.12 c Problem name : t_HOME/instance-3451815-1307117460.opb
1800.16/1800.12 c Variables : 49497 (49497 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.16/1800.12 c Constraints : 156922 initial, 156922 maximal
1800.16/1800.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.16/1800.12 c trivial : 0.05 1129 0 0 0 0 0 0 0 0
1800.16/1800.12 c dualfix : 0.07 121 0 0 0 0 0 0 0 0
1800.16/1800.12 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.16/1800.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.16/1800.12 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.16/1800.12 c implics : 0.52 0 0 0 0 0 0 0 0 0
1800.16/1800.12 c probing : 1784.86 13 7 0 0 0 0 0 0 0
1800.16/1800.12 c knapsack : 0.20 0 0 0 0 0 13 68 94 322
1800.16/1800.12 c setppc : 0.26 0 0 0 0 0 0 0 0 0
1800.16/1800.12 c linear : 11.78 17241 4834 0 18370 0 88252 0 115 87
1800.16/1800.12 c logicor : 0.08 0 0 0 0 0 0 0 0 0
1800.16/1800.12 c root node : - 0 - - 0 - - - - -
1800.16/1800.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.16/1800.12 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.16/1800.12 c knapsack : 0+ 0 196047 0 0 0 0 1 0 0 0 0
1800.16/1800.12 c setppc : 0+ 0 196046 0 0 0 0 2 0 0 0 0
1800.16/1800.12 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.16/1800.12 c logicor : 0+ 0 174951 0 0 0 0 2 0 0 0 0
1800.16/1800.12 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.16/1800.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.16/1800.12 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.16/1800.12 c knapsack : 10.15 0.00 10.15 0.00 0.00 0.00 0.00
1800.16/1800.12 c setppc : 1098.02 0.00 1098.02 0.00 0.00 0.00 0.00
1800.16/1800.12 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.16/1800.12 c logicor : 10.09 0.00 10.09 0.00 0.00 0.00 0.00
1800.16/1800.12 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.16/1800.12 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.16/1800.12 c vbounds : 0 0 0 0
1800.16/1800.12 c rootredcost : 0 0 0 0
1800.16/1800.12 c pseudoobj : 0 0 0 0
1800.16/1800.12 c Propagator Timings : TotalTime Propagate Resprop
1800.16/1800.12 c vbounds : 0.08 0.08 0.00
1800.16/1800.12 c rootredcost : 0.06 0.06 0.00
1800.16/1800.12 c pseudoobj : 0.03 0.03 0.00
1800.16/1800.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.16/1800.12 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.16/1800.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.16/1800.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.16/1800.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.16/1800.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.16/1800.12 c applied globally : - - - 0 0.0 - - -
1800.16/1800.12 c applied locally : - - - 0 0.0 - - -
1800.66/1800.69 c Time complete: 1800.74.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3451815-1307117460/watcher-3451815-1307117460 -o /tmp/evaluation-result-3451815-1307117460/solver-3451815-1307117460 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451815-1307117460.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.06 2.04 2.00 2/373 12094
/proc/meminfo: memFree=20494280/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=14528 CPUtime=0 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 2605 0 0 0 0 0 0 0 25 0 1 0 823346503 14876672 2558 33554432000 4194304 9163163 140736171930336 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12094/statm: 3632 2558 395 1214 0 2414 0
[startup+0.0972429 s]
/proc/loadavg: 2.06 2.04 2.00 2/373 12094
/proc/meminfo: memFree=20494280/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=29048 CPUtime=0.08 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 6263 0 0 0 8 0 0 0 25 0 1 0 823346503 29745152 6216 33554432000 4194304 9163163 140736171930336 18446744073709551615 8031161 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12094/statm: 7262 6216 395 1214 0 6044 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29048
[startup+0.101216 s]
/proc/loadavg: 2.06 2.04 2.00 2/373 12094
/proc/meminfo: memFree=20494280/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=30072 CPUtime=0.09 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 6520 0 0 0 9 0 0 0 25 0 1 0 823346503 30793728 6473 33554432000 4194304 9163163 140736171930336 18446744073709551615 8031086 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12094/statm: 7518 6473 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30072
[startup+0.301207 s]
/proc/loadavg: 2.06 2.04 2.00 2/373 12094
/proc/meminfo: memFree=20494280/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=57020 CPUtime=0.29 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 13239 0 0 0 28 1 0 0 25 0 1 0 823346503 58388480 13192 33554432000 4194304 9163163 140736171930336 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12094/statm: 14255 13192 395 1214 0 13037 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57020
[startup+0.701129 s]
/proc/loadavg: 2.06 2.04 2.00 2/373 12094
/proc/meminfo: memFree=20494280/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=82056 CPUtime=0.69 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 19473 0 0 0 67 2 0 0 25 0 1 0 823346503 84025344 19426 33554432000 4194304 9163163 140736171930336 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12094/statm: 20514 19426 395 1214 0 19296 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82056
[startup+1.50098 s]
/proc/loadavg: 2.06 2.04 2.00 3/374 12095
/proc/meminfo: memFree=20394204/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=152512 CPUtime=1.49 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 37039 0 0 0 146 3 0 0 25 0 1 0 823346503 156172288 36992 33554432000 4194304 9163163 140736171930336 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12094/statm: 38128 36992 395 1214 0 36910 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152512
[startup+3.10069 s]
/proc/loadavg: 2.06 2.04 2.00 3/374 12095
/proc/meminfo: memFree=20117188/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=513840 CPUtime=3.09 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 126020 0 0 0 296 13 0 0 25 0 1 0 823346503 526172160 125926 33554432000 4194304 9163163 140736171930336 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 128460 125926 506 1214 0 127242 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 513840
[startup+6.30109 s]
/proc/loadavg: 2.06 2.04 2.00 3/374 12095
/proc/meminfo: memFree=19791928/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=779760 CPUtime=6.3 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 191052 0 0 0 610 20 0 0 25 0 1 0 823346503 798474240 190959 33554432000 4194304 9163163 140736171930336 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 194940 190971 506 1214 0 193722 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 779760
[startup+12.7009 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 12096
/proc/meminfo: memFree=19641048/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=872224 CPUtime=12.69 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 213103 0 0 0 1248 21 0 0 25 0 1 0 823346503 893157376 212752 33554432000 4194304 9163163 140736171930336 18446744073709551615 6568758 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 218056 212752 518 1214 0 216838 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 872224
[startup+25.5006 s]
/proc/loadavg: 2.04 2.03 2.00 3/374 12096
/proc/meminfo: memFree=19568132/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=949928 CPUtime=25.49 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 245398 0 0 0 2524 25 0 0 25 0 1 0 823346503 972726272 231691 33554432000 4194304 9163163 140736171930336 18446744073709551615 5460464 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 237482 231691 562 1214 0 236264 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 949928
[startup+51.1009 s]
/proc/loadavg: 2.02 2.03 2.00 3/374 12097
/proc/meminfo: memFree=19518540/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=1000376 CPUtime=51.1 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 257415 0 0 0 5083 27 0 0 25 0 1 0 823346503 1024385024 243708 33554432000 4194304 9163163 140736171930336 18446744073709551615 6555941 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 250094 243708 562 1214 0 248876 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1000376
[startup+102.314 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 12098
/proc/meminfo: memFree=19326952/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=1192408 CPUtime=102.31 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 305183 0 0 0 10199 32 0 0 25 0 1 0 823346503 1221025792 291377 33554432000 4194304 9163163 140736171930336 18446744073709551615 6563422 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 298102 291378 562 1214 0 296884 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1192408
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 12100
/proc/meminfo: memFree=19081140/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=1442392 CPUtime=162.29 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 366896 0 0 0 16191 38 0 0 25 0 1 0 823346503 1477009408 353090 33554432000 4194304 9163163 140736171930336 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 360598 353090 562 1214 0 359380 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1442392
[startup+222.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/374 12101
/proc/meminfo: memFree=18904648/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=1616016 CPUtime=222.3 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 410342 0 0 0 22186 44 0 0 25 0 1 0 823346503 1654800384 396536 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 404004 396536 562 1214 0 402786 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1616016
[startup+282.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/374 12103
/proc/meminfo: memFree=18721196/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=1800628 CPUtime=282.3 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 456222 0 0 0 28180 50 0 0 25 0 1 0 823346503 1843843072 442416 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 450157 442416 562 1214 0 448939 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1800628
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/374 12104
/proc/meminfo: memFree=18550648/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=1975104 CPUtime=342.3 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 499098 0 0 0 34174 56 0 0 25 0 1 0 823346503 2022506496 485292 33554432000 4194304 9163163 140736171930336 18446744073709551615 6567526 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 493776 485292 562 1214 0 492558 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1975104
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 12106
/proc/meminfo: memFree=18421512/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=2104228 CPUtime=402.3 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 531139 0 0 0 40168 62 0 0 25 0 1 0 823346503 2154729472 517333 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 526057 517333 562 1214 0 524839 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2104228
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 12108
/proc/meminfo: memFree=18187844/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=2293580 CPUtime=462.3 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 578422 0 0 0 46163 67 0 0 25 0 1 0 823346503 2348625920 564616 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 573395 564616 562 1214 0 572177 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2293580
[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/374 12109
/proc/meminfo: memFree=17955160/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=2355840 CPUtime=522.31 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 594065 0 0 0 52161 70 0 0 25 0 1 0 823346503 2412380160 580259 33554432000 4194304 9163163 140736171930336 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 588960 580259 566 1214 0 587742 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2355840
[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 12111
/proc/meminfo: memFree=17830108/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=2472968 CPUtime=582.31 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 623380 0 0 0 58158 73 0 0 25 0 1 0 823346503 2532319232 609574 33554432000 4194304 9163163 140736171930336 18446744073709551615 6567508 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 618242 609574 566 1214 0 617024 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2472968
[startup+642.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 12120
/proc/meminfo: memFree=17387416/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=2927172 CPUtime=942.32 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 736070 0 0 0 94142 90 0 0 25 0 1 0 823346503 2997424128 722264 33554432000 4194304 9163163 140736171930336 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 731793 722264 566 1214 0 730575 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2927172
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 12122
/proc/meminfo: memFree=17326236/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=2985632 CPUtime=1002.32 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 751071 0 0 0 100141 91 0 0 25 0 1 0 823346503 3057287168 737265 33554432000 4194304 9163163 140736171930336 18446744073709551615 6567519 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 746408 737265 566 1214 0 745190 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2985632
[startup+1062.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/374 12124
/proc/meminfo: memFree=17230108/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3077976 CPUtime=1062.32 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 774327 0 0 0 106138 94 0 0 25 0 1 0 823346503 3151847424 760521 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 769494 760521 566 1214 0 768276 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3077976
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 12125
/proc/meminfo: memFree=17173500/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3133760 CPUtime=1122.33 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 787523 0 0 0 112137 96 0 0 25 0 1 0 823346503 3208970240 773717 33554432000 4194304 9163163 140736171930336 18446744073709551615 4793348 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 783440 773717 566 1214 0 782222 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3133760
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/374 12155
/proc/meminfo: memFree=18738144/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3197380 CPUtime=1182.32 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 803434 0 0 0 118134 98 0 0 25 0 1 0 823346503 3274117120 789628 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 799345 789628 566 1214 0 798127 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3197380
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 12156
/proc/meminfo: memFree=18520568/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3265460 CPUtime=1242.33 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 819915 0 0 0 124133 100 0 0 25 0 1 0 823346503 3343831040 806109 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 816365 806109 566 1214 0 815147 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3265460
[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/374 12158
/proc/meminfo: memFree=18257904/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3321180 CPUtime=1302.34 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 834570 0 0 0 130132 102 0 0 25 0 1 0 823346503 3400888320 820764 33554432000 4194304 9163163 140736171930336 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 830295 820764 566 1214 0 829077 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3321180
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 12160
/proc/meminfo: memFree=17969212/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3403904 CPUtime=1362.34 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 855033 0 0 0 136129 105 0 0 25 0 1 0 823346503 3485597696 841227 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458847 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 850976 841227 566 1214 0 849758 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3403904
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 12161
/proc/meminfo: memFree=17759980/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3459096 CPUtime=1422.35 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 868705 0 0 0 142128 107 0 0 25 0 1 0 823346503 3542114304 854899 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 864774 854899 566 1214 0 863556 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3459096
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 12163
/proc/meminfo: memFree=17599972/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3515228 CPUtime=1482.33 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 882500 0 0 0 148125 108 0 0 25 0 1 0 823346503 3599593472 868694 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 878807 868694 566 1214 0 877589 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3515228
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/374 12164
/proc/meminfo: memFree=17420132/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3574276 CPUtime=1542.34 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 896777 0 0 0 154124 110 0 0 25 0 1 0 823346503 3660058624 882971 33554432000 4194304 9163163 140736171930336 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 893569 882971 566 1214 0 892351 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3574276
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 12166
/proc/meminfo: memFree=17301668/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3621024 CPUtime=1602.34 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 908718 0 0 0 160122 112 0 0 25 0 1 0 823346503 3707928576 894912 33554432000 4194304 9163163 140736171930336 18446744073709551615 4794880 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 905256 894912 566 1214 0 904038 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3621024
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 12168
/proc/meminfo: memFree=17090348/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3687044 CPUtime=1662.34 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 925423 0 0 0 166120 114 0 0 25 0 1 0 823346503 3775533056 911617 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 921761 911617 566 1214 0 920543 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3687044
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 12169
/proc/meminfo: memFree=16911848/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3737912 CPUtime=1722.35 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 938012 0 0 0 172118 117 0 0 25 0 1 0 823346503 3827621888 924206 33554432000 4194304 9163163 140736171930336 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 934478 924206 566 1214 0 933260 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3737912
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 12171
/proc/meminfo: memFree=16756572/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3790952 CPUtime=1782.34 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 951151 0 0 0 178116 118 0 0 25 0 1 0 823346503 3881934848 937345 33554432000 4194304 9163163 140736171930336 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 947738 937345 566 1214 0 946520 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3790952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 12171
/proc/meminfo: memFree=16721976/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3806940 CPUtime=1800.05 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 954705 0 0 0 179886 119 0 0 25 0 1 0 823346503 3898306560 940899 33554432000 4194304 9163163 140736171930336 18446744073709551615 4794556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12094/statm: 951735 940899 566 1214 0 950517 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3806940
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 12171
/proc/meminfo: memFree=16721976/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=3797584 CPUtime=1800.24 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 955277 0 0 0 179905 119 0 0 18 0 1 0 823346503 3888726016 938674 33554432000 4194304 9163163 140736171930336 18446744073709551615 4338409 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12094/statm: 949396 938674 574 1214 0 948178 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 3797584
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/375 12172
/proc/meminfo: memFree=18094276/32951124 swapFree=37148216/67111528
[pid=12094] ppid=12092 vsize=2847352 CPUtime=1800.66 cores=0,2,4,6
/proc/12094/stat : 12094 (scip-2.0.1.4b.l) R 12092 12094 9067 0 -1 4202496 955294 0 0 0 179940 126 0 0 18 0 1 0 823346503 2915688448 526663 33554432000 4194304 9163163 140736171930336 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12094/statm: 711838 526663 591 1214 0 710620 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 2847352
Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.75
CPU user time (s): 1799.41
CPU system time (s): 1.3428
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3808160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 1.34279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 955296
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= 2407
runsolver used 6.90595 second user time and 14.4038 second system time
The end