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-3485108-1307783027.opb>
0.00/0.00 c original problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.02 o 100
0.00/0.02 c feasible solution found by trivial heuristic, objective value 1.000000e+02
0.00/0.02 c presolving:
0.00/0.10 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 203798 impls, 0 clqs
0.09/0.14 c (0.1s) probing: 101/3190 (3.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (2 rounds):
0.09/0.14 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 203798 implications, 0 cliques
0.09/0.14 c presolved problem has 3190 variables (3190 bin, 0 int, 0 impl, 0 cont) and 3190 constraints
0.09/0.14 c 3090 constraints of type <and>
0.09/0.14 c 100 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.14
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 2.0.1.4
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1797
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 13950
0.09/0.14 c
0.09/0.14 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.14 c # [type: int, range: [1,2], default: 1]
0.09/0.14 c timing/clocktype = 2
0.09/0.14 c
0.09/0.14 c # belongs reading time to solving time?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c timing/reading = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/indicator/addCouplingCons = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c t 0.2s| 1 | 0 | 200 | - | 18M| 0 | 200 |3190 |3190 |3190 |6280 | 0 | 0 | 0 | 0.000000e+00 | 1.000000e+02 | Inf
0.09/0.18 o 11
0.09/0.18 c s 0.2s| 1 | 0 | 200 | - | 18M| 0 | 200 |3190 |3190 |3190 |6280 | 0 | 0 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
0.49/0.54 c 0.5s| 1 | 0 | 500 | - | 18M| 0 | 200 |3190 |3190 |3190 |6481 | 201 | 0 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
0.49/0.54 o 8
0.49/0.54 c s 0.5s| 1 | 0 | 500 | - | 18M| 0 | 200 |3190 |3190 |3190 |6481 | 201 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
0.69/0.74 c 0.7s| 1 | 0 | 800 | - | 18M| 0 | 200 |3190 |3190 |3190 |6682 | 402 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
0.88/0.95 c 0.9s| 1 | 0 | 1100 | - | 18M| 0 | 200 |3190 |3190 |3190 |6882 | 602 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
1.09/1.16 c 1.2s| 1 | 0 | 1400 | - | 18M| 0 | 200 |3190 |3190 |3190 |7086 | 806 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
1.29/1.38 c 1.4s| 1 | 0 | 1700 | - | 18M| 0 | 200 |3190 |3190 |3190 |7287 |1007 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
1.59/1.61 c 1.6s| 1 | 0 | 2001 | - | 19M| 0 | 200 |3190 |3190 |3190 |7489 |1209 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
1.59/1.67 c 1.7s| 1 | 2 | 2001 | - | 19M| 0 | 200 |3190 |3190 |3190 |7489 |1209 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
8.49/8.53 o 6
8.49/8.53 c * 8.5s| 17 | 14 | 12739 | 671.1 | 18M| 10 | - |3190 |3190 |3190 |3308 |5620 | 0 | 162 | 3.222222e+00 | 6.000000e+00 | 86.21%
20.29/20.36 o 5
20.29/20.36 c *20.4s| 66 | 8 | 21047 | 293.0 | 18M| 16 | - |3190 |3190 |3190 |3342 |7577 | 0 | 613 | 3.308305e+00 | 5.000000e+00 | 51.13%
23.89/23.93 c
23.89/23.93 c SCIP Status : problem is solved [optimal solution found]
23.89/23.93 c Solving Time (sec) : 23.94
23.89/23.93 c Solving Nodes : 120
23.89/23.93 c Primal Bound : +5.00000000000001e+00 (5 solutions)
23.89/23.93 c Dual Bound : +5.00000000000001e+00
23.89/23.93 c Gap : 0.00 %
23.89/23.93 s OPTIMUM FOUND
23.89/23.93 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
23.89/23.93 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50
23.89/23.93 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
23.89/23.93 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
23.89/23.93 c SCIP Status : problem is solved [optimal solution found]
23.89/23.93 c Total Time : 23.94
23.89/23.93 c solving : 23.94
23.89/23.93 c presolving : 0.14 (included in solving)
23.89/23.93 c reading : 0.00 (included in solving)
23.89/23.93 c Original Problem :
23.89/23.93 c Problem name : HOME/instance-3485108-1307783027.opb
23.89/23.93 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
23.89/23.93 c Constraints : 100 initial, 100 maximal
23.89/23.93 c Presolved Problem :
23.89/23.93 c Problem name : t_HOME/instance-3485108-1307783027.opb
23.89/23.93 c Variables : 3190 (3190 binary, 0 integer, 0 implicit integer, 0 continuous)
23.89/23.93 c Constraints : 3190 initial, 3190 maximal
23.89/23.93 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
23.89/23.93 c trivial : 0.00 0 0 0 0 0 0 0 0 0
23.89/23.93 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
23.89/23.93 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
23.89/23.93 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
23.89/23.93 c implics : 0.00 0 0 0 0 0 0 0 0 0
23.89/23.93 c probing : 0.03 0 0 0 0 0 0 0 0 0
23.89/23.93 c and : 0.10 0 0 0 0 0 0 0 0 0
23.89/23.93 c linear : 0.00 0 0 0 0 0 0 0 0 0
23.89/23.93 c logicor : 0.00 0 0 0 0 0 0 0 0 0
23.89/23.93 c root node : - 89 - - 89 - - - - -
23.89/23.93 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
23.89/23.93 c integral : 0 0 0 164 0 16 0 6 275 0 0 132
23.89/23.93 c and : 3090 318 1055 16 0 11 0 0 30080 8909 0 0
23.89/23.93 c logicor : 100 6 583 2 0 3 0 0 0 0 0 0
23.89/23.93 c countsols : 0 0 0 2 0 6 0 0 0 0 0 0
23.89/23.93 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
23.89/23.93 c integral : 16.49 0.00 0.00 16.49 0.00 0.00 0.00
23.89/23.93 c and : 0.36 0.27 0.08 0.01 0.00 0.00 0.00
23.89/23.93 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.89/23.93 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.89/23.93 c Propagators : #Propagate #Resprop Cutoffs DomReds
23.89/23.93 c vbounds : 0 0 0 0
23.89/23.93 c rootredcost : 3 0 0 0
23.89/23.93 c pseudoobj : 880 0 0 0
23.89/23.93 c Propagator Timings : TotalTime Propagate Resprop
23.89/23.93 c vbounds : 0.00 0.00 0.00
23.89/23.93 c rootredcost : 0.00 0.00 0.00
23.89/23.93 c pseudoobj : 0.00 0.00 0.00
23.89/23.93 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
23.89/23.93 c propagation : 0.00 0 0 0 0.0 0 0.0 -
23.89/23.93 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
23.89/23.93 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
23.89/23.93 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
23.89/23.93 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
23.89/23.93 c applied globally : - - - 0 0.0 - - -
23.89/23.93 c applied locally : - - - 0 0.0 - - -
23.89/23.93 c Separators : Time Calls Cutoffs DomReds Cuts Conss
23.89/23.93 c cut pool : 0.00 5 - - 0 - (maximal pool size: 1209)
23.89/23.93 c redcost : 0.01 318 0 635 0 0
23.89/23.93 c impliedbounds : 0.00 6 0 0 1200 0
23.89/23.93 c intobj : 0.00 0 0 0 0 0
23.89/23.93 c gomory : 0.15 6 0 0 2400 0
23.89/23.93 c cgmip : 0.00 0 0 0 0 0
23.89/23.93 c closecuts : 0.00 0 0 0 0 0
23.89/23.93 c strongcg : 0.14 6 0 0 2400 0
23.89/23.93 c cmir : 0.46 6 0 0 1200 0
23.89/23.93 c flowcover : 0.35 6 0 0 1200 0
23.89/23.93 c clique : 0.06 6 0 0 9 0
23.89/23.93 c zerohalf : 0.00 0 0 0 0 0
23.89/23.93 c mcf : 0.00 1 0 0 0 0
23.89/23.93 c oddcycle : 0.00 0 0 0 0 0
23.89/23.93 c rapidlearning : 0.11 1 0 0 0 0
23.89/23.93 c Pricers : Time Calls Vars
23.89/23.93 c problem variables: 0.00 0 0
23.89/23.93 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
23.89/23.93 c relpscost : 16.49 146 6 275 0 0 128
23.89/23.93 c pscost : 0.00 0 0 0 0 0 0
23.89/23.93 c inference : 0.00 2 0 0 0 0 4
23.89/23.93 c mostinf : 0.00 0 0 0 0 0 0
23.89/23.93 c leastinf : 0.00 0 0 0 0 0 0
23.89/23.93 c fullstrong : 0.00 0 0 0 0 0 0
23.89/23.93 c allfullstrong : 0.00 0 0 0 0 0 0
23.89/23.93 c random : 0.00 0 0 0 0 0 0
23.89/23.93 c Primal Heuristics : Time Calls Found
23.89/23.93 c LP solutions : 0.00 - 2
23.89/23.93 c pseudo solutions : 0.00 - 0
23.89/23.93 c crossover : 0.00 0 0
23.89/23.93 c rootsoldiving : 0.00 0 0
23.89/23.93 c linesearchdiving : 0.00 0 0
23.89/23.93 c guideddiving : 0.00 0 0
23.89/23.93 c oneopt : 0.00 4 0
23.89/23.93 c pscostdiving : 0.26 1 0
23.89/23.93 c fracdiving : 0.03 1 0
23.89/23.93 c coefdiving : 0.20 1 0
23.89/23.93 c veclendiving : 0.01 1 0
23.89/23.93 c trivial : 0.00 2 1
23.89/23.93 c shiftandpropagate: 0.00 0 0
23.89/23.93 c simplerounding : 0.00 0 0
23.89/23.93 c zirounding : 0.02 72 0
23.89/23.93 c rounding : 0.08 205 0
23.89/23.93 c shifting : 0.03 43 2
23.89/23.93 c intshifting : 0.00 0 0
23.89/23.93 c twoopt : 0.00 0 0
23.89/23.93 c fixandinfer : 0.00 0 0
23.89/23.93 c feaspump : 0.00 0 0
23.89/23.93 c clique : 0.00 0 0
23.89/23.93 c intdiving : 0.00 0 0
23.89/23.93 c actconsdiving : 0.00 0 0
23.89/23.94 c objpscostdiving : 0.37 1 0
23.89/23.94 c octane : 0.00 0 0
23.89/23.94 c rens : 0.05 1 0
23.89/23.94 c rins : 0.00 0 0
23.89/23.94 c localbranching : 0.00 0 0
23.89/23.94 c mutation : 0.00 0 0
23.89/23.94 c dins : 0.00 0 0
23.89/23.94 c vbounds : 0.00 0 0
23.89/23.94 c undercover : 0.01 1 0
23.89/23.94 c subnlp : 0.00 0 0
23.89/23.94 c trysol : 0.00 0 0
23.89/23.94 c LP : Time Calls Iterations Iter/call Iter/sec
23.89/23.94 c primal LP : 0.07 0 0 0.00 0.00
23.89/23.94 c dual LP : 4.05 472 24200 51.27 5969.57
23.89/23.94 c lex dual LP : 0.00 0 0 0.00 -
23.89/23.94 c barrier LP : 0.00 0 0 0.00 -
23.89/23.94 c diving/probing LP: 0.78 152 4399 28.94 5663.87
23.89/23.94 c strong branching : 16.46 683 79355 116.19 4820.52
23.89/23.94 c (at root node) : - 0 0 0.00 -
23.89/23.94 c conflict analysis: 0.00 0 0 0.00 -
23.89/23.94 c B&B Tree :
23.89/23.94 c number of runs : 1
23.89/23.94 c nodes : 120
23.89/23.94 c nodes (total) : 120
23.89/23.94 c nodes left : 0
23.89/23.94 c max depth : 29
23.89/23.94 c max depth (total): 29
23.89/23.94 c backtracks : 20 (16.7%)
23.89/23.94 c delayed cutoffs : 0
23.89/23.94 c repropagations : 0 (0 domain reductions, 0 cutoffs)
23.89/23.94 c avg switch length: 2.97
23.89/23.94 c switching time : 0.10
23.89/23.94 c Solution :
23.89/23.94 c Solutions found : 5 (5 improvements)
23.89/23.94 c First Solution : +1.00000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
23.89/23.94 c Primal Bound : +5.00000000000001e+00 (in run 1, after 66 nodes, 20.36 seconds, depth 16, found by <relaxation>)
23.89/23.94 c Dual Bound : +5.00000000000001e+00
23.89/23.94 c Gap : 0.00 %
23.89/23.94 c Root Dual Bound : +0.00000000000000e+00
23.89/23.94 c Root Iterations : 2001
23.89/23.95 c Time complete: 23.94.
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-3485108-1307783027/watcher-3485108-1307783027 -o /tmp/evaluation-result-3485108-1307783027/solver-3485108-1307783027 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485108-1307783027.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: 0.00 0.00 0.00 2/176 23672
/proc/meminfo: memFree=31044228/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=10236 CPUtime=0 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 1553 0 0 0 0 0 0 0 25 0 1 0 9047525 10481664 1507 33554432000 4194304 8979876 140735466153904 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23672/statm: 2559 1507 368 1169 0 1386 0
[startup+0.00975911 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 23672
/proc/meminfo: memFree=31044228/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=15996 CPUtime=0 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 2710 0 0 0 0 0 0 0 25 0 1 0 9047525 16379904 2664 33554432000 4194304 8979876 140735466153904 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 3999 2687 456 1169 0 2826 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15996
[startup+0.100804 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 23672
/proc/meminfo: memFree=31044228/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=33832 CPUtime=0.09 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 7462 0 0 0 8 1 0 0 25 0 1 0 9047525 34643968 7159 33554432000 4194304 8979876 140735466153904 18446744073709551615 7836078 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 8458 7159 503 1169 0 7285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33832
[startup+0.300762 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 23672
/proc/meminfo: memFree=31044228/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=48924 CPUtime=0.29 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 12939 0 0 0 27 2 0 0 25 0 1 0 9047525 50098176 11231 33554432000 4194304 8979876 140735466153904 18446744073709551615 6293627 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 12231 11231 649 1169 0 11058 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48924
[startup+0.700763 s]
/proc/loadavg: 0.00 0.00 0.00 2/176 23672
/proc/meminfo: memFree=31044228/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=65124 CPUtime=0.69 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 20416 0 0 0 67 2 0 0 25 0 1 0 9047525 66686976 15027 33554432000 4194304 8979876 140735466153904 18446744073709551615 6601176 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 16281 15027 707 1169 0 15108 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65124
[startup+1.50061 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 23712
/proc/meminfo: memFree=30926608/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=65124 CPUtime=1.49 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 20448 0 0 0 146 3 0 0 25 0 1 0 9047525 66686976 15040 33554432000 4194304 8979876 140735466153904 18446744073709551615 6278351 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 16281 15040 688 1169 0 15108 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65124
[startup+3.10029 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 23712
/proc/meminfo: memFree=30925616/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=63572 CPUtime=3.09 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 23556 0 0 0 303 6 0 0 25 0 1 0 9047525 65097728 15027 33554432000 4194304 8979876 140735466153904 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 15893 15027 691 1169 0 14720 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63572
[startup+6.30065 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 23712
/proc/meminfo: memFree=30925440/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=63572 CPUtime=6.29 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 23556 0 0 0 621 8 0 0 25 0 1 0 9047525 65097728 15027 33554432000 4194304 8979876 140735466153904 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 15893 15027 691 1169 0 14720 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63572
[startup+12.7005 s]
/proc/loadavg: 0.31 0.07 0.02 3/178 23750
/proc/meminfo: memFree=30926360/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=63572 CPUtime=12.69 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 23558 0 0 0 1257 12 0 0 25 0 1 0 9047525 65097728 15029 33554432000 4194304 8979876 140735466153904 18446744073709551615 7047678 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 15893 15029 693 1169 0 14720 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63572
Solver just ended. Dumping a history of the last processes samples
[startup+19.1004 s]
/proc/loadavg: 0.44 0.10 0.03 3/178 23750
/proc/meminfo: memFree=30927180/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=63572 CPUtime=19.1 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 23558 0 0 0 1894 16 0 0 25 0 1 0 9047525 65097728 15029 33554432000 4194304 8979876 140735466153904 18446744073709551615 7154915 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 15893 15029 693 1169 0 14720 0
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (KiB) 63572
[startup+22.3009 s]
/proc/loadavg: 0.57 0.13 0.04 3/178 23788
/proc/meminfo: memFree=30823756/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=63572 CPUtime=22.29 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 23558 0 0 0 2212 17 0 0 25 0 1 0 9047525 65097728 15029 33554432000 4194304 8979876 140735466153904 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 15893 15029 693 1169 0 14720 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 63572
[startup+23.1068 s]
/proc/loadavg: 0.57 0.13 0.04 3/178 23788
/proc/meminfo: memFree=30824128/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=63572 CPUtime=23.09 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 23558 0 0 0 2292 17 0 0 25 0 1 0 9047525 65097728 15029 33554432000 4194304 8979876 140735466153904 18446744073709551615 6926836 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 15893 15029 693 1169 0 14720 0
Current children cumulated CPU time (s) 23.09
Current children cumulated vsize (KiB) 63572
[startup+23.5007 s]
/proc/loadavg: 0.57 0.13 0.04 3/178 23788
/proc/meminfo: memFree=30824128/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=63572 CPUtime=23.49 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 23559 0 0 0 2331 18 0 0 25 0 1 0 9047525 65097728 15030 33554432000 4194304 8979876 140735466153904 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 15893 15030 694 1169 0 14720 0
Current children cumulated CPU time (s) 23.49
Current children cumulated vsize (KiB) 63572
[startup+23.9006 s]
/proc/loadavg: 0.57 0.13 0.04 3/178 23788
/proc/meminfo: memFree=30824128/32950928 swapFree=67111528/67111528
[pid=23672] ppid=23668 vsize=63572 CPUtime=23.89 cores=0,2,4,6
/proc/23672/stat : 23672 (scip-2.0.1.4_2.) R 23668 23672 23627 0 -1 4202496 23559 0 0 0 2371 18 0 0 25 0 1 0 9047525 65097728 15030 33554432000 4194304 8979876 140735466153904 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/23672/statm: 15893 15030 694 1169 0 14720 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 63572
Child status: 0
Real time (s): 23.9598
CPU time (s): 23.9584
CPU user time (s): 23.7694
CPU system time (s): 0.188971
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 79168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.7694
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23567
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= 3
involuntary context switches= 115
runsolver used 0.032994 second user time and 0.079987 second system time
The end
Begin job on node124 at 2011-06-11 11:03:47
IDJOB=3485108
IDBENCH=48154
IDSOLVER=1977
FILE ID=node124/3485108-1307783027
RUNJOBID= node124-1307783027-23645
PBS_JOBID= 13550886
Free space on /tmp= 73844 MiB
SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_3.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485108-1307783027/watcher-3485108-1307783027 -o /tmp/evaluation-result-3485108-1307783027/solver-3485108-1307783027 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485108-1307783027.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a
RANDOM SEED=2104875274
node124.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.71
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31045224 kB
Buffers: 111600 kB
Cached: 1567796 kB
SwapCached: 0 kB
Active: 719572 kB
Inactive: 1021656 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31045224 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 33388 kB
Writeback: 0 kB
AnonPages: 61912 kB
Mapped: 15704 kB
Slab: 101656 kB
PageTables: 4412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 185236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73808 MiB
End job on node124 at 2011-06-11 11:04:11