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-2701665-1278541102.wbo>
0.19/0.25 c original problem has 47512 variables (24656 bin, 0 int, 0 impl, 22856 cont) and 46163 constraints
0.19/0.25 c problem read
0.19/0.25 c presolving settings loaded
0.39/0.49 c presolving:
0.49/0.59 c (round 1) 0 del vars, 0 del conss, 22856 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22856 impls, 450 clqs
0.59/0.67 c (round 2) 0 del vars, 0 del conss, 22856 chg bounds, 0 chg sides, 0 chg coeffs, 451 upgd conss, 22856 impls, 450 clqs
1.29/1.32 c (0.9s) probing: 101/24656 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.32 c (0.9s) probing aborted: 100/100 successive totally useless probings
1.29/1.32 c presolving (3 rounds):
1.29/1.32 c 0 deleted vars, 0 deleted constraints, 22856 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.29/1.32 c 22856 implications, 450 cliques
1.29/1.32 c presolved problem has 47512 variables (24656 bin, 0 int, 0 impl, 22856 cont) and 46163 constraints
1.29/1.32 c 22856 constraints of type <indicator>
1.29/1.32 c 1 constraints of type <knapsack>
1.29/1.32 c 450 constraints of type <setppc>
1.29/1.32 c 22856 constraints of type <linear>
1.29/1.32 c transformed objective value is always integral (scale: 1)
1.29/1.32 c Presolving Time: 0.84
1.29/1.32 c - non default parameters ----------------------------------------------------------------------
1.29/1.32 c # SCIP version 1.2.1.2
1.29/1.32 c
1.29/1.32 c # frequency for displaying node information lines
1.29/1.32 c # [type: int, range: [-1,2147483647], default: 100]
1.29/1.32 c display/freq = 10000
1.29/1.32 c
1.29/1.32 c # maximal time in seconds to run
1.29/1.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.32 c limits/time = 1799.75
1.29/1.32 c
1.29/1.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.32 c limits/memory = 3420
1.29/1.32 c
1.29/1.32 c # should presolving try to simplify inequalities
1.29/1.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.32 c constraints/linear/simplifyinequalities = TRUE
1.29/1.32 c
1.29/1.32 c # should presolving try to simplify knapsacks
1.29/1.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.32 c constraints/knapsack/simplifyinequalities = TRUE
1.29/1.32 c
1.29/1.32 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.29/1.32 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.32 c separating/rapidlearning/freq = 0
1.29/1.32 c
1.29/1.32 c -----------------------------------------------------------------------------------------------
1.29/1.32 c start solving
1.29/1.34 c
1.39/1.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.49 c 1.1s| 1 | 0 | 450 | - | 159M| 0 | 0 | 47k| 46k| 47k| 451 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.51 c 1.1s| 1 | 0 | 522 | - | 159M| 0 | 26 | 47k| 46k| 47k| 651 | 200 | 0 | 0 | 0.000000e+00 | -- | Inf
1.79/1.86 c 1.4s| 1 | 0 | 581 | - | 160M| 0 | 71 | 47k| 46k| 47k| 852 | 401 | 0 | 0 | 0.000000e+00 | -- | Inf
2.29/2.31 c 1.9s| 1 | 0 | 624 | - | 160M| 0 | 90 | 47k| 46k| 47k|1061 | 610 | 0 | 0 | 0.000000e+00 | -- | Inf
2.80/2.84 c 2.4s| 1 | 0 | 687 | - | 161M| 0 | 137 | 47k| 46k| 47k|1270 | 819 | 0 | 0 | 0.000000e+00 | -- | Inf
3.39/3.49 c 3.1s| 1 | 0 | 885 | - | 161M| 0 | 228 | 47k| 46k| 47k|1484 |1033 | 0 | 0 | 0.000000e+00 | -- | Inf
4.09/4.10 c 3.7s| 1 | 0 | 1308 | - | 161M| 0 | 507 | 47k| 46k| 47k|1688 |1237 | 0 | 0 | 0.000000e+00 | -- | Inf
5.79/5.86 c 5.3s| 1 | 2 | 1966 | - | 162M| 0 | 507 | 47k| 46k| 47k|1688 |1237 | 0 | 33 | 0.000000e+00 | -- | Inf
693.02/693.01 c 664s| 10000 | 10001 | 1204k| 120.3 | 320M| 99 | 160 | 47k| 46k| 47k|5772 | 702k| 0 |5321 | 0.000000e+00 | -- | Inf
1367.12/1367.11 c 1312s| 20000 | 20001 | 2644k| 132.2 | 472M| 101 | 536 | 47k| 46k| 47k|7673 |1303k| 0 |7469 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1728.71
1800.04/1800.01 c Solving Nodes : 26711
1800.04/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 s UNKNOWN
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1728.71
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2701665-1278541102.wbo
1800.04/1800.01 c Variables : 47512 (24656 binary, 0 integer, 0 implicit integer, 22856 continuous)
1800.04/1800.01 c Constraints : 46163 initial, 46163 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2701665-1278541102.wbo
1800.04/1800.01 c Variables : 47512 (24656 binary, 0 integer, 0 implicit integer, 22856 continuous)
1800.04/1800.01 c Constraints : 46163 initial, 46163 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.55 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c knapsack : 0.08 0 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.07 0 0 0 22856 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 28182 0 0 0 0 0 53422
1800.04/1800.01 c indicator : 22856 0 64599 1471 0 0 43827 0 0 0
1800.04/1800.01 c knapsack : 1 6 64599 1471 0 0 0 0 0 0
1800.04/1800.01 c setppc : 450 6 64599 1471 0 0 77510 0 0 0
1800.04/1800.01 c linear : 22856 6 64599 1471 0 0 43827 1701647 0 0
1800.04/1800.01 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 291.40 0.00 0.00 291.40 0.00
1800.04/1800.01 c indicator : 43.84 0.00 38.02 5.82 0.00
1800.04/1800.01 c knapsack : 19.34 0.00 19.34 0.00 0.00
1800.04/1800.01 c setppc : 2.06 0.00 2.03 0.03 0.00
1800.04/1800.01 c linear : 50.92 0.00 40.80 10.12 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.01 2 0 0
1800.04/1800.01 c rootredcost : 0.01 0 0 0
1800.04/1800.01 c pseudoobj : 49.11 64399 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 0 0.0 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 4 - - 26 - (maximal pool size: 387)
1800.04/1800.01 c redcost : 50.69 28187 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.01 5 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.10 5 0 0 428 0
1800.04/1800.01 c strongcg : 0.05 5 0 0 0 0
1800.04/1800.01 c cmir : 0.58 5 0 0 0 0
1800.04/1800.01 c flowcover : 1.39 5 0 0 0 0
1800.04/1800.01 c clique : 0.02 5 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 291.34 26711 0 0 0 0 53422
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c oneopt : 0.03 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 12.89 10 0
1800.04/1800.01 c objpscostdiving : 17.26 11 0
1800.04/1800.01 c intshifting : 3.41 25 0
1800.04/1800.01 c feaspump : 11.89 52 0
1800.04/1800.01 c coefdiving : 36.99 104 0
1800.04/1800.01 c pscostdiving : 29.28 104 0
1800.04/1800.01 c fracdiving : 44.10 104 0
1800.04/1800.01 c veclendiving : 41.54 104 0
1800.04/1800.01 c linesearchdiving : 32.19 104 0
1800.04/1800.01 c trivial : 0.13 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.29 1000 0
1800.04/1800.01 c rounding : 3.80 2263 0
1800.04/1800.01 c shifting : 13.51 682 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.25 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.00 0 0
1800.04/1800.01 c trysol : 21.31 1374 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.01 0 0 0.00 0.00
1800.04/1800.01 c dual LP : 803.78 28188 3189509 113.15 3968.14
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 147.56 7240 401288 55.43 2719.49
1800.04/1800.01 c strong branching : 288.50 8635 1084073 125.54 3757.62
1800.04/1800.01 c (at root node) : - 33 4928 149.33 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 26711
1800.04/1800.01 c nodes (total) : 26711
1800.04/1800.01 c nodes left : 26712
1800.04/1800.01 c max depth : 101
1800.04/1800.01 c max depth (total): 101
1800.04/1800.01 c backtracks : 559 (2.1%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.19
1800.04/1800.01 c switching time : 6.94
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 0 (0 improvements)
1800.04/1800.01 c Primal Bound : -
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 1308
1800.34/1800.31 c Time complete: 1800.34.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701665-1278541102/watcher-2701665-1278541102 -o /tmp/evaluation-result-2701665-1278541102/solver-2701665-1278541102 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2701665-1278541102.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: 2.02 2.01 2.00 3/178 20247
/proc/meminfo: memFree=28317836/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=11076 CPUtime=0
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 1690 0 0 0 0 0 0 0 21 0 1 0 22324188 11341824 1611 4089446400 4194304 9819077 140735660964960 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20247/statm: 2769 1611 386 1374 0 1390 0
[startup+0.0724821 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20247
/proc/meminfo: memFree=28317836/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=30580 CPUtime=0.06
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 6575 0 0 0 6 0 0 0 21 0 1 0 22324188 31313920 6496 4089446400 4194304 9819077 140735660964960 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20247/statm: 7645 6496 392 1374 0 6266 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30580
[startup+0.100474 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20247
/proc/meminfo: memFree=28317836/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=37352 CPUtime=0.09
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 8274 0 0 0 9 0 0 0 21 0 1 0 22324188 38248448 8195 4089446400 4194304 9819077 140735660964960 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20247/statm: 9338 8195 392 1374 0 7959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37352
[startup+0.300442 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20247
/proc/meminfo: memFree=28317836/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=117312 CPUtime=0.29
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 28483 0 0 0 26 3 0 0 21 0 1 0 22324188 120127488 28003 4089446400 4194304 9819077 140735660964960 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 29328 28043 435 1374 0 27949 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 117312
[startup+0.700372 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20247
/proc/meminfo: memFree=28317836/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=182468 CPUtime=0.69
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 45578 0 0 0 56 13 0 0 22 0 1 0 22324188 186847232 43222 4089446400 4194304 9819077 140735660964960 18446744073709551615 5970261 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 45617 43222 509 1374 0 44238 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 182468
[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20248
/proc/meminfo: memFree=28143856/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=216836 CPUtime=1.49
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 56484 0 0 0 134 15 0 0 18 0 1 0 22324188 222040064 50981 4089446400 4194304 9819077 140735660964960 18446744073709551615 6506982 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 54116 50875 646 1374 0 52737 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 216836
[startup+3.10095 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20248
/proc/meminfo: memFree=28112236/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=226940 CPUtime=3.09
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 63570 0 0 0 290 19 0 0 20 0 1 0 22324188 232386560 52509 4089446400 4194304 9819077 140735660964960 18446744073709551615 5744307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 56735 52509 678 1374 0 55356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 226940
[startup+6.30038 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20248
/proc/meminfo: memFree=28103804/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=236016 CPUtime=6.29
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 169595 0 0 0 596 33 0 0 25 0 1 0 22324188 241680384 54206 4089446400 4194304 9819077 140735660964960 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 59004 54206 715 1374 0 57625 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 236016
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20250
/proc/meminfo: memFree=28100164/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=244284 CPUtime=12.69
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 638364 0 0 0 1177 92 0 0 25 0 1 0 22324188 250146816 55366 4089446400 4194304 9819077 140735660964960 18446744073709551615 6716866 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 60236 55308 716 1374 0 58857 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 244284
[startup+25.501 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20252
/proc/meminfo: memFree=28092952/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=248308 CPUtime=25.49
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 1269092 0 0 0 2374 175 0 0 25 0 1 0 22324188 254267392 57424 4089446400 4194304 9819077 140735660964960 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 62077 57424 716 1374 0 60698 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 248308
[startup+51.1005 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20253
/proc/meminfo: memFree=28089056/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=247736 CPUtime=51.1
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 2083113 0 0 0 4831 279 0 0 25 0 1 0 22324188 253681664 56641 4089446400 4194304 9819077 140735660964960 18446744073709551615 7263242 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 61934 56641 716 1374 0 60555 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 247736
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20254
/proc/meminfo: memFree=28076348/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=254680 CPUtime=102.3
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 2977507 0 0 0 9823 407 0 0 25 0 1 0 22324188 260792320 58627 4089446400 4194304 9819077 140735660964960 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 63670 58627 716 1374 0 62291 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 254680
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20255
/proc/meminfo: memFree=28063032/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=266476 CPUtime=162.3
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 4691577 0 0 0 15594 636 0 0 25 0 1 0 22324188 272871424 61927 4089446400 4194304 9819077 140735660964960 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 66619 61927 732 1374 0 65240 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 266476
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20257
/proc/meminfo: memFree=28041900/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=293928 CPUtime=222.29
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 6693497 0 0 0 21326 903 0 0 25 0 1 0 22324188 300982272 67598 4089446400 4194304 9819077 140735660964960 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 73482 67598 732 1374 0 72103 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 293928
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20259
/proc/meminfo: memFree=28020276/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=302272 CPUtime=282.3
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 8892975 0 0 0 27040 1190 0 0 25 0 1 0 22324188 309526528 70643 4089446400 4194304 9819077 140735660964960 18446744073709551615 6002966 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 75568 70643 732 1374 0 74189 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 302272
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20260
/proc/meminfo: memFree=28001612/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=321308 CPUtime=342.29
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 10935363 0 0 0 32771 1458 0 0 25 0 1 0 22324188 329019392 75169 4089446400 4194304 9819077 140735660964960 18446744073709551615 8678924 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 80327 75169 732 1374 0 78948 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 321308
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20262
/proc/meminfo: memFree=27982220/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=336408 CPUtime=402.3
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 12445903 0 0 0 38544 1686 0 0 25 0 1 0 22324188 344481792 79502 4089446400 4194304 9819077 140735660964960 18446744073709551615 6360821 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 84102 79502 732 1374 0 82723 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 336408
[startup+462.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 20263
/proc/meminfo: memFree=27962080/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=353712 CPUtime=462.3
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 13962433 0 0 0 44326 1904 0 0 25 0 1 0 22324188 362201088 83358 4089446400 4194304 9819077 140735660964960 18446744073709551615 6360821 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 88428 83358 732 1374 0 87049 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 353712
[startup+522.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20265
/proc/meminfo: memFree=27945300/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=376980 CPUtime=522.3
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 15887505 0 0 0 50052 2178 0 0 25 0 1 0 22324188 386027520 87309 4089446400 4194304 9819077 140735660964960 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 94245 87309 732 1374 0 92866 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 376980
[startup+582.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20267
/proc/meminfo: memFree=27927632/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=382236 CPUtime=582.3
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 17805634 0 0 0 55780 2450 0 0 25 0 1 0 22324188 391409664 90333 4089446400 4194304 9819077 140735660964960 18446744073709551615 4329683 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 95559 90333 732 1374 0 94180 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 382236
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20268
/proc/meminfo: memFree=27911208/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=402024 CPUtime=642.31
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 19560820 0 0 0 61537 2694 0 0 25 0 1 0 22324188 411672576 94296 4089446400 4194304 9819077 140735660964960 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 100506 94296 732 1374 0 99127 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 402024
[startup+702.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.22 2.09 2.03 3/179 20349
/proc/meminfo: memFree=29641452/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=460212 CPUtime=942.32
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 27812941 0 0 0 90340 3892 0 0 25 0 1 0 22324188 471257088 110135 4089446400 4194304 9819077 140735660964960 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 115053 110135 732 1374 0 113674 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 460212
[startup+1002.3 s]
/proc/loadavg: 2.08 2.08 2.03 3/179 20351
/proc/meminfo: memFree=29619808/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=489124 CPUtime=1002.31
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 29425431 0 0 0 96115 4116 0 0 25 0 1 0 22324188 500862976 115700 4089446400 4194304 9819077 140735660964960 18446744073709551615 6391606 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 122281 115700 732 1374 0 120902 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 489124
[startup+1062.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/179 20352
/proc/meminfo: memFree=29612436/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=491640 CPUtime=1062.31
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 31058694 0 0 0 101886 4345 0 0 25 0 1 0 22324188 503439360 117672 4089446400 4194304 9819077 140735660964960 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 122910 117672 732 1374 0 121531 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 491640
[startup+1122.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/179 20354
/proc/meminfo: memFree=29599120/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=502896 CPUtime=1122.32
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 32843552 0 0 0 107637 4595 0 0 25 0 1 0 22324188 514965504 120769 4089446400 4194304 9819077 140735660964960 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 125724 120769 732 1374 0 124345 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 502896
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 20356
/proc/meminfo: memFree=29581468/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=521896 CPUtime=1182.32
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 34658158 0 0 0 113387 4845 0 0 25 0 1 0 22324188 534421504 125276 4089446400 4194304 9819077 140735660964960 18446744073709551615 7290864 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 130474 125276 732 1374 0 129095 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 521896
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 20357
/proc/meminfo: memFree=29566160/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=544508 CPUtime=1242.32
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 36469164 0 0 0 119142 5090 0 0 25 0 1 0 22324188 557576192 129419 4089446400 4194304 9819077 140735660964960 18446744073709551615 6361720 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 136127 129419 732 1374 0 134748 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 544508
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20359
/proc/meminfo: memFree=29549252/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=549208 CPUtime=1302.33
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 37939717 0 0 0 124927 5306 0 0 25 0 1 0 22324188 562388992 133115 4089446400 4194304 9819077 140735660964960 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 137302 133115 732 1374 0 135923 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 549208
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20360
/proc/meminfo: memFree=29535808/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=564892 CPUtime=1362.33
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 39126941 0 0 0 130742 5491 0 0 25 0 1 0 22324188 578449408 136667 4089446400 4194304 9819077 140735660964960 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 141223 136667 732 1374 0 139844 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 564892
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20362
/proc/meminfo: memFree=29524240/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=581616 CPUtime=1422.34
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 40647612 0 0 0 136524 5710 0 0 25 0 1 0 22324188 595574784 139327 4089446400 4194304 9819077 140735660964960 18446744073709551615 6391606 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 145404 139327 732 1374 0 144025 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 581616
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20364
/proc/meminfo: memFree=29513904/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=585836 CPUtime=1482.33
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 42038440 0 0 0 142323 5910 0 0 25 0 1 0 22324188 599896064 141954 4089446400 4194304 9819077 140735660964960 18446744073709551615 7221877 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 146459 141954 732 1374 0 145080 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 585836
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20365
/proc/meminfo: memFree=29497744/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=607232 CPUtime=1542.32
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 43473868 0 0 0 148123 6109 0 0 25 0 1 0 22324188 621805568 146034 4089446400 4194304 9819077 140735660964960 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 151808 146035 732 1374 0 150429 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 607232
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20367
/proc/meminfo: memFree=29485796/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=616488 CPUtime=1602.33
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 45022005 0 0 0 153899 6334 0 0 25 0 1 0 22324188 631283712 149050 4089446400 4194304 9819077 140735660964960 18446744073709551615 5893827 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 154122 149050 732 1374 0 152743 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 616488
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20368
/proc/meminfo: memFree=29469880/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=632168 CPUtime=1662.33
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 46664679 0 0 0 159671 6562 0 0 25 0 1 0 22324188 647340032 153169 4089446400 4194304 9819077 140735660964960 18446744073709551615 6671049 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 158042 153169 732 1374 0 156663 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 632168
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20370
/proc/meminfo: memFree=29455580/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=646588 CPUtime=1722.34
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 48372947 0 0 0 165435 6799 0 0 25 0 1 0 22324188 662106112 156773 4089446400 4194304 9819077 140735660964960 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 161647 156773 732 1374 0 160268 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 646588
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20372
/proc/meminfo: memFree=29440280/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=661588 CPUtime=1782.33
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 50211299 0 0 0 171179 7054 0 0 25 0 1 0 22324188 677466112 159988 4089446400 4194304 9819077 140735660964960 18446744073709551615 6590471 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 165397 160003 732 1374 0 164018 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 661588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20372
/proc/meminfo: memFree=29437420/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=663128 CPUtime=1800.04
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 50589576 0 0 0 172893 7111 0 0 25 0 1 0 22324188 679043072 161097 4089446400 4194304 9819077 140735660964960 18446744073709551615 7221877 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20247/statm: 165782 161097 732 1374 0 164403 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 663128
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.02 2.01 2.00 3/179 20372
/proc/meminfo: memFree=29437420/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=344032 CPUtime=1800.24
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 50589705 0 0 0 172910 7114 0 0 25 0 1 0 22324188 352288768 81304 4089446400 4194304 9819077 140735660964960 18446744073709551615 6180894 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20247/statm: 86008 81304 733 1374 0 84629 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 344032
[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20372
/proc/meminfo: memFree=29437420/32951124 swapFree=67111528/67111528
[pid=20247] ppid=20245 vsize=92656 CPUtime=1800.34
/proc/20247/stat : 20247 (pbscip.linux.x8) R 20245 20247 19241 0 -1 4202496 50589705 0 0 0 172919 7115 0 0 25 0 1 0 22324188 94879744 21454 4089446400 4194304 9819077 140735660964960 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20247/statm: 22908 21454 733 1374 0 21529 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 92656
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.36
CPU user time (s): 1729.2
CPU system time (s): 71.1592
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 675808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1729.2
system time used= 71.1592
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50589709
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= 4
involuntary context switches= 901
runsolver used 2.99254 second user time and 6.62099 second system time
The end
Begin job on node119 at 2010-07-08 00:18:22
IDJOB=2701665
IDBENCH=79617
IDSOLVER=1205
FILE ID=node119/2701665-1278541102
PBS_JOBID= 11239240
Free space on /tmp= 73216 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-le450-5a-4_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-2701665-1278541102/watcher-2701665-1278541102 -o /tmp/evaluation-result-2701665-1278541102/solver-2701665-1278541102 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2701665-1278541102.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2fe66c717d74f1b0f598aebf3623bd17
RANDOM SEED=1754216396
node119.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.868
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.73
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.868
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.868
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.75
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.868
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.75
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.868
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.72
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.868
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.82
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.868
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.75
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.868
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28318364 kB
Buffers: 146504 kB
Cached: 2384532 kB
SwapCached: 0 kB
Active: 3000056 kB
Inactive: 1464132 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28318364 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6912 kB
Writeback: 0 kB
AnonPages: 1932916 kB
Mapped: 15272 kB
Slab: 99808 kB
PageTables: 8744 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2114740 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= 73184 MiB
End job on node119 at 2010-07-08 00:48:24