0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2700537-1278535679.wbo>
0.00/0.00 c original problem has 960 variables (555 bin, 0 int, 0 impl, 405 cont) and 841 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 405 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 0 del conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 405 impls, 30 clqs
0.00/0.03 c (0.0s) probing: 101/555 (18.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 0 deleted vars, 0 deleted constraints, 405 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 405 implications, 30 cliques
0.00/0.03 c presolved problem has 960 variables (555 bin, 0 int, 0 impl, 405 cont) and 841 constraints
0.00/0.03 c 405 constraints of type <indicator>
0.00/0.03 c 1 constraints of type <knapsack>
0.00/0.03 c 30 constraints of type <setppc>
0.00/0.03 c 405 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 3420
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.03/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.03 c 0.0s| 1 | 0 | 30 | - |3230k| 0 | 0 | 960 | 841 | 960 | 31 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.03 c 0.0s| 1 | 0 | 64 | - |3268k| 0 | 26 | 960 | 841 | 960 | 112 | 81 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 80 | - |3295k| 0 | 62 | 960 | 841 | 960 | 156 | 125 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 94 | - |3348k| 0 | 64 | 960 | 841 | 960 | 170 | 139 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.05 c 0.0s| 1 | 0 | 116 | - |3381k| 0 | 59 | 960 | 841 | 960 | 180 | 149 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.06 c 0.0s| 1 | 0 | 137 | - |3426k| 0 | 64 | 960 | 841 | 960 | 202 | 171 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.06 c 0.1s| 1 | 0 | 148 | - |3483k| 0 | 63 | 960 | 841 | 960 | 210 | 179 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 2 | 226 | - |3499k| 0 | 63 | 960 | 841 | 960 | 210 | 179 | 0 | 33 | 0.000000e+00 | -- | Inf
0.39/0.45 o 1
0.39/0.45 c * 0.4s| 385 | 17 | 511 | 0.9 |3831k| 345 | - | 960 | 841 | 960 | 237 | 283 | 0 | 503 | 0.000000e+00 | 1.000000e+00 | Inf
0.89/0.96 c
0.89/0.96 c SCIP Status : problem is solved [optimal solution found]
0.89/0.96 c Solving Time (sec) : 0.89
0.89/0.96 c Solving Nodes : 822
0.89/0.96 c Primal Bound : +1.00000000000000e+00 (1 solutions)
0.89/0.96 c Dual Bound : +1.00000000000000e+00
0.89/0.96 c Gap : 0.00 %
0.89/0.96 s OPTIMUM FOUND
0.89/0.96 v -x150 -x149 x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 x130 -x129
0.89/0.96 v -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 -x107
0.89/0.96 v -x106 -x105 -x104 -x103 x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 x88 -x87 -x86 -x85 x84 -x83
0.89/0.96 v -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57
0.89/0.96 v x56 -x55 -x54 -x53 x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31
0.89/0.96 v x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 x4 -x3
0.89/0.96 v -x2 -x1
0.89/0.96 c SCIP Status : problem is solved [optimal solution found]
0.89/0.96 c Solving Time : 0.89
0.89/0.96 c Original Problem :
0.89/0.96 c Problem name : HOME/instance-2700537-1278535679.wbo
0.89/0.96 c Variables : 960 (555 binary, 0 integer, 0 implicit integer, 405 continuous)
0.89/0.96 c Constraints : 841 initial, 841 maximal
0.89/0.96 c Presolved Problem :
0.89/0.96 c Problem name : t_HOME/instance-2700537-1278535679.wbo
0.89/0.96 c Variables : 960 (555 binary, 0 integer, 0 implicit integer, 405 continuous)
0.89/0.96 c Constraints : 841 initial, 841 maximal
0.89/0.96 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
0.89/0.96 c trivial : 0.00 0 0 0 0 0 0 0 0
0.89/0.96 c dualfix : 0.00 0 0 0 0 0 0 0 0
0.89/0.96 c boundshift : 0.00 0 0 0 0 0 0 0 0
0.89/0.96 c inttobinary : 0.00 0 0 0 0 0 0 0 0
0.89/0.96 c implics : 0.00 0 0 0 0 0 0 0 0
0.89/0.96 c probing : 0.01 0 0 0 0 0 0 0 0
0.89/0.96 c indicator : 0.00 0 0 0 0 0 0 0 0
0.89/0.96 c knapsack : 0.00 0 0 0 0 0 0 0 0
0.89/0.96 c setppc : 0.00 0 0 0 0 0 0 0 0
0.89/0.96 c linear : 0.01 0 0 0 405 0 0 0 0
0.89/0.96 c logicor : 0.00 0 0 0 0 0 0 0 0
0.89/0.96 c root node : - 448 - - 853 - - - -
0.89/0.96 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
0.89/0.96 c integral : 0 0 0 876 0 3 17 0 0 724
0.89/0.96 c indicator : 405 0 661 366 0 0 1160 0 0 0
0.89/0.96 c knapsack : 1 6 2415 499 0 0 0 0 0 0
0.89/0.96 c setppc : 30 6 2415 499 0 42 1540 0 0 0
0.89/0.96 c linear : 405 6 2373 499 0 112 3059 1194 0 0
0.89/0.96 c logicor : 0+ 0 610 0 0 19 405 0 0 0
0.89/0.96 c countsols : 0 0 0 342 0 0 0 0 0 0
0.89/0.96 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
0.89/0.96 c integral : 0.44 0.00 0.00 0.44 0.00
0.89/0.96 c indicator : 0.00 0.00 0.00 0.00 0.00
0.89/0.96 c knapsack : 0.00 0.00 0.00 0.00 0.00
0.89/0.96 c setppc : 0.00 0.00 0.00 0.00 0.00
0.89/0.96 c linear : 0.01 0.00 0.01 0.00 0.00
0.89/0.96 c logicor : 0.00 0.00 0.00 0.00 0.00
0.89/0.96 c countsols : 0.00 0.00 0.00 0.00 0.00
0.89/0.96 c Propagators : Time Calls Cutoffs DomReds
0.89/0.96 c vbounds : 0.00 2 0 0
0.89/0.96 c rootredcost : 0.01 1 0 405
0.89/0.96 c pseudoobj : 0.03 2215 0 0
0.89/0.96 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
0.89/0.96 c propagation : 0.00 173 167 441 6.3 9 7.0 -
0.89/0.96 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
0.89/0.96 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
0.89/0.96 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
0.89/0.96 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
0.89/0.96 c applied globally : - - - 324 5.6 - - -
0.89/0.96 c applied locally : - - - 0 0.0 - - -
0.89/0.96 c Separators : Time Calls Cutoffs DomReds Cuts Conss
0.89/0.96 c cut pool : 0.00 4 - - 0 - (maximal pool size: 203)
0.89/0.96 c redcost : 0.00 878 0 0 0 0
0.89/0.96 c impliedbounds : 0.00 5 0 0 0 0
0.89/0.96 c intobj : 0.00 0 0 0 0 0
0.89/0.96 c cgmip : 0.00 0 0 0 0 0
0.89/0.96 c gomory : 0.01 5 0 0 275 0
0.89/0.96 c strongcg : 0.00 5 0 0 0 0
0.89/0.96 c cmir : 0.01 5 0 0 0 0
0.89/0.96 c flowcover : 0.00 5 0 0 0 0
0.89/0.96 c clique : 0.00 5 0 0 0 0
0.89/0.96 c zerohalf : 0.00 0 0 0 0 0
0.89/0.96 c mcf : 0.00 1 0 0 0 0
0.89/0.96 c rapidlearning : 0.00 0 0 0 0 0
0.89/0.96 c Pricers : Time Calls Vars
0.89/0.96 c problem variables: 0.00 0 0
0.89/0.96 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
0.89/0.96 c relpscost : 0.44 377 3 17 0 0 724
0.89/0.96 c pscost : 0.00 0 0 0 0 0 0
0.89/0.96 c inference : 0.00 341 0 0 0 0 682
0.89/0.96 c mostinf : 0.00 0 0 0 0 0 0
0.89/0.96 c leastinf : 0.00 0 0 0 0 0 0
0.89/0.96 c fullstrong : 0.00 0 0 0 0 0 0
0.89/0.96 c allfullstrong : 0.00 0 0 0 0 0 0
0.89/0.96 c random : 0.00 0 0 0 0 0 0
0.89/0.96 c Primal Heuristics : Time Calls Found
0.89/0.96 c LP solutions : 0.00 - 1
0.89/0.96 c pseudo solutions : 0.00 - 0
0.89/0.96 c crossover : 0.00 0 0
0.89/0.96 c oneopt : 0.00 1 0
0.89/0.96 c guideddiving : 0.00 1 0
0.89/0.96 c feaspump : 0.00 1 0
0.89/0.96 c intshifting : 0.00 2 0
0.89/0.96 c coefdiving : 0.00 3 0
0.89/0.96 c pscostdiving : 0.00 3 0
0.89/0.96 c fracdiving : 0.00 3 0
0.89/0.96 c veclendiving : 0.00 3 0
0.89/0.96 c linesearchdiving : 0.00 3 0
0.89/0.96 c objpscostdiving : 0.00 2 0
0.89/0.96 c rootsoldiving : 0.00 3 0
0.89/0.96 c trivial : 0.00 2 0
0.89/0.96 c simplerounding : 0.00 0 0
0.89/0.96 c zirounding : 0.00 365 0
0.89/0.96 c rounding : 0.00 229 0
0.89/0.96 c shifting : 0.00 49 0
0.89/0.96 c twoopt : 0.00 0 0
0.89/0.96 c fixandinfer : 0.00 0 0
0.89/0.96 c intdiving : 0.00 0 0
0.89/0.96 c actconsdiving : 0.00 0 0
0.89/0.96 c octane : 0.00 0 0
0.89/0.96 c rens : 0.01 1 0
0.89/0.96 c rins : 0.00 0 0
0.89/0.96 c localbranching : 0.00 0 0
0.89/0.96 c mutation : 0.00 0 0
0.89/0.96 c dins : 0.00 0 0
0.89/0.96 c undercover : 0.00 0 0
0.89/0.96 c nlp : 0.00 0 0
0.89/0.96 c trysol : 0.01 22 0
0.89/0.96 c LP : Time Calls Iterations Iter/call Iter/sec
0.89/0.96 c primal LP : 0.00 0 0 0.00 -
0.89/0.96 c dual LP : 0.22 553 2886 5.22 13118.18
0.89/0.96 c lex dual LP : 0.00 0 0 0.00 -
0.89/0.96 c barrier LP : 0.00 0 0 0.00 -
0.89/0.96 c diving/probing LP: 0.00 2 108 54.00 -
0.89/0.96 c strong branching : 0.43 998 5201 5.21 12095.35
0.89/0.96 c (at root node) : - 33 464 14.06 -
0.89/0.96 c conflict analysis: 0.00 0 0 0.00 -
0.89/0.96 c B&B Tree :
0.89/0.96 c number of runs : 1
0.89/0.96 c nodes : 822
0.89/0.96 c nodes (total) : 822
0.89/0.96 c nodes left : 0
0.89/0.96 c max depth : 345
0.89/0.96 c max depth (total): 345
0.89/0.96 c backtracks : 63 (7.7%)
0.89/0.96 c delayed cutoffs : 218
0.89/0.96 c repropagations : 619 (1586 domain reductions, 56 cutoffs)
0.89/0.96 c avg switch length: 3.18
0.89/0.96 c switching time : 0.01
0.89/0.96 c Solution :
0.89/0.96 c Solutions found : 1 (1 improvements)
0.89/0.96 c First Solution : +1.00000000000000e+00 (in run 1, after 385 nodes, 0.41 seconds, depth 345, found by <relaxation>)
0.89/0.96 c Primal Bound : +1.00000000000000e+00 (in run 1, after 385 nodes, 0.41 seconds, depth 345, found by <relaxation>)
0.89/0.96 c Dual Bound : +1.00000000000000e+00
0.89/0.96 c Gap : 0.00 %
0.89/0.96 c Root Dual Bound : +0.00000000000000e+00
0.89/0.96 c Root Iterations : 148
0.89/0.96 c Time complete: 0.96.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700537-1278535679/watcher-2700537-1278535679 -o /tmp/evaluation-result-2700537-1278535679/solver-2700537-1278535679 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700537-1278535679.wbo -t 1800 -m 3800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.68 3/178 17471
/proc/meminfo: memFree=28102732/32951124 swapFree=67111528/67111528
[pid=17471] ppid=17469 vsize=10964 CPUtime=0
/proc/17471/stat : 17471 (pbscip.linux.x8) R 17469 17471 16390 0 -1 4202496 1668 0 0 0 0 0 0 0 21 0 1 0 21781031 11227136 1588 4089446400 4194304 9819077 140734547251312 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17471/statm: 2741 1589 392 1374 0 1362 0
[startup+0.0345139 s]
/proc/loadavg: 1.92 1.98 1.68 3/178 17471
/proc/meminfo: memFree=28102732/32951124 swapFree=67111528/67111528
[pid=17471] ppid=17469 vsize=17588 CPUtime=0.03
/proc/17471/stat : 17471 (pbscip.linux.x8) R 17469 17471 16390 0 -1 4202496 4867 0 0 0 2 1 0 0 18 0 1 0 21781031 18010112 3149 4089446400 4194304 9819077 140734547251312 18446744073709551615 4902814 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17471/statm: 4397 3150 531 1374 0 3018 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17588
[startup+0.100502 s]
/proc/loadavg: 1.92 1.98 1.68 3/178 17471
/proc/meminfo: memFree=28102732/32951124 swapFree=67111528/67111528
[pid=17471] ppid=17469 vsize=21356 CPUtime=0.09
/proc/17471/stat : 17471 (pbscip.linux.x8) R 17469 17471 16390 0 -1 4202496 8911 0 0 0 7 2 0 0 18 0 1 0 21781031 21868544 4278 4089446400 4194304 9819077 140734547251312 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17471/statm: 5339 4278 711 1374 0 3960 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21356
[startup+0.300463 s]
/proc/loadavg: 1.92 1.98 1.68 3/178 17471
/proc/meminfo: memFree=28102732/32951124 swapFree=67111528/67111528
[pid=17471] ppid=17469 vsize=21532 CPUtime=0.29
/proc/17471/stat : 17471 (pbscip.linux.x8) R 17469 17471 16390 0 -1 4202496 9019 0 0 0 27 2 0 0 18 0 1 0 21781031 22048768 4286 4089446400 4194304 9819077 140734547251312 18446744073709551615 6670015 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17471/statm: 5383 4286 715 1374 0 4004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21532
[startup+0.700393 s]
/proc/loadavg: 1.92 1.98 1.68 3/178 17471
/proc/meminfo: memFree=28102732/32951124 swapFree=67111528/67111528
[pid=17471] ppid=17469 vsize=21836 CPUtime=0.69
/proc/17471/stat : 17471 (pbscip.linux.x8) R 17469 17471 16390 0 -1 4202496 12446 0 0 0 64 5 0 0 18 0 1 0 21781031 22360064 4310 4089446400 4194304 9819077 140734547251312 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17471/statm: 5459 4310 719 1374 0 4080 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21836
Solver just ended. Dumping a history of the last processes samples
[startup+0.900358 s]
/proc/loadavg: 1.92 1.98 1.68 3/178 17471
/proc/meminfo: memFree=28102732/32951124 swapFree=67111528/67111528
[pid=17471] ppid=17469 vsize=21660 CPUtime=0.89
/proc/17471/stat : 17471 (pbscip.linux.x8) R 17469 17471 16390 0 -1 4202496 13826 0 0 0 83 6 0 0 18 0 1 0 21781031 22179840 4309 4089446400 4194304 9819077 140734547251312 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17471/statm: 5415 4309 719 1374 0 4036 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 21660
Child status: 0
Real time (s): 0.969833
CPU time (s): 0.969852
CPU user time (s): 0.897863
CPU system time (s): 0.071989
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 22712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.897863
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14276
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= 2
involuntary context switches= 1
runsolver used 0.003999 second user time and 0.010998 second system time
The end
Begin job on node136 at 2010-07-07 22:47:59
IDJOB=2700537
IDBENCH=79436
IDSOLVER=1205
FILE ID=node136/2700537-1278535679
PBS_JOBID= 11239206
Free space on /tmp= 73376 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-geom30a-5_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700537-1278535679/watcher-2700537-1278535679 -o /tmp/evaluation-result-2700537-1278535679/solver-2700537-1278535679 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700537-1278535679.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d1c3accd983cc55f3458e6ff2209f659
RANDOM SEED=821691060
node136.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.834
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.66
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.834
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.82
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.834
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.74
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.834
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.82
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.834
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 : 5426.48
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.834
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.83
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.834
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.67
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.834
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.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28103384 kB
Buffers: 135644 kB
Cached: 3335824 kB
SwapCached: 0 kB
Active: 2027984 kB
Inactive: 2662204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28103384 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6488 kB
Writeback: 0 kB
AnonPages: 1218468 kB
Mapped: 17328 kB
Slab: 89244 kB
PageTables: 6704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1430072 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= 73372 MiB
End job on node136 at 2010-07-07 22:48:00