0.00/0.00 c SCIP version 1.1.0.7
0.00/0.00 c LP-Solver SoPlex 1.4.1
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c read problem <HOME/instance-3734763-1338704617.opb>
0.00/0.00 c original problem has 31 variables (31 bin, 0 int, 0 impl, 0 cont) and 9 constraints
0.00/0.00 c start presolving problem
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (round 2) 1 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c presolving (3 rounds):
0.00/0.00 c 1 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 30 variables (30 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.00 c 4 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c OPT-LIN
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/memory = c 13950
0.00/0.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/time = c 1791
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = c 10000
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c start solving problem
0.00/0.00 c
0.00/0.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.00 c 0.0s| 1 | 0 | 16 | 172k| 0 | 4 | 30 | 4 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 0 | 68 | 188k| 0 | 7 | 30 | 4 | 4 | 30 | 7 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 0 | 74 | 209k| 0 | 10 | 30 | 4 | 4 | 30 | 10 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 0 | 81 | 226k| 0 | 12 | 30 | 4 | 4 | 30 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 0 | 89 | 233k| 0 | 9 | 30 | 4 | 4 | 30 | 16 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 91 | 248k| 0 | 10 | 30 | 4 | 4 | 30 | 18 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 95 | 255k| 0 | 13 | 30 | 4 | 4 | 30 | 22 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 2 | 95 | 255k| 0 | 13 | 30 | 4 | 4 | 30 | 22 | 18 | 0 | 13 | 0.000000e+00 | -- | Inf
1.59/1.61 c 1.6s| 10000 | 1072 | 17160 |2449k| 24 | 4 | 30 |3079 | 100 | 30 | 13 | 18 |5007 | 553 | 0.000000e+00 | -- | Inf
3.29/3.34 c 3.2s| 20000 | 1653 | 33559 |3288k| 25 | 4 | 30 |3952 | 7 | 30 | 13 | 18 |9578 | 887 | 0.000000e+00 | -- | Inf
5.19/5.24 c 5.1s| 30000 | 2133 | 49834 |4303k| 25 | - | 30 |5672 | 10 | 0 | 0 | 18 | 14k|1174 | 0.000000e+00 | -- | Inf
7.39/7.49 c 7.2s| 40000 | 2508 | 67614 |5422k| 25 | 4 | 30 |6975 | 243 | 30 | 13 | 18 | 19k|1556 | 0.000000e+00 | -- | Inf
9.98/10.05 c 9.8s| 50000 | 2307 | 84120 |5277k| 25 | 4 | 30 |6130 | 252 | 30 | 13 | 18 | 23k|1826 | 0.000000e+00 | -- | Inf
12.09/12.15 c 11.8s| 60000 | 2659 |100639 |6127k| 25 | 4 | 30 |7772 | 15 | 30 | 13 | 18 | 28k|2008 | 0.000000e+00 | -- | Inf
14.69/14.71 c 14.3s| 70000 | 2493 |116599 |6024k| 25 | - | 30 |7138 | 10 | 0 | 0 | 18 | 33k|2112 | 0.000000e+00 | -- | Inf
17.29/17.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.29/17.31 c 16.9s| 80000 | 2168 |132461 |5850k| 25 | 4 | 30 |6853 | 110 | 30 | 13 | 18 | 37k|2257 | 0.000000e+00 | -- | Inf
19.69/19.77 c 19.2s| 90000 | 2124 |149256 |6443k| 25 | - | 30 |8632 | 10 | 30 | 13 | 18 | 42k|2449 | 0.000000e+00 | -- | Inf
22.48/22.57 c 22.0s|100000 | 1772 |165926 |6261k| 25 | 4 | 30 |8571 | 26 | 30 | 13 | 18 | 47k|2669 | 0.000000e+00 | -- | Inf
25.39/25.49 c 24.9s|110000 | 1218 |182288 |5504k| 25 | 4 | 30 |7556 | 160 | 30 | 13 | 18 | 52k|2764 | 0.000000e+00 | -- | Inf
27.88/27.95 c 27.2s|120000 | 1217 |198586 |5946k| 25 | 4 | 30 |8825 | 16 | 30 | 13 | 18 | 57k|2874 | 0.000000e+00 | -- | Inf
30.38/30.40 c 29.6s|130000 | 1547 |215340 |6589k| 25 | 4 | 30 |9943 | 213 | 30 | 13 | 18 | 61k|3081 | 0.000000e+00 | -- | Inf
33.18/33.27 c 32.5s|140000 | 1272 |231336 |6591k| 25 | 4 | 30 |9877 | 112 | 30 | 13 | 18 | 66k|3225 | 0.000000e+00 | -- | Inf
35.88/35.99 c 35.1s|150000 | 1475 |247766 |6757k| 25 | 4 | 30 |9757 | 15 | 30 | 13 | 18 | 70k|3395 | 0.000000e+00 | -- | Inf
39.18/39.23 c 38.3s|160000 | 1107 |264764 |6443k| 25 | - | 30 |9305 | 3 | 0 | 0 | 18 | 75k|3483 | 0.000000e+00 | -- | Inf
41.98/42.03 c 41.0s|170000 | 672 |280952 |5656k| 25 | - | 30 |8513 | 8 | 30 | 13 | 18 | 80k|3583 | 0.000000e+00 | -- | Inf
44.78/44.85 c 43.8s|180000 | 302 |297960 |5125k| 25 | - | 30 |8420 | 61 | 30 | 13 | 18 | 85k|3701 | 0.000000e+00 | -- | Inf
47.38/47.49 c 46.3s|190000 | 143 |315119 |5313k| 25 | - | 30 |9874 | 19 | 0 | 0 | 18 | 90k|3813 | 0.000000e+00 | -- | Inf
50.28/50.34 c 49.1s|200000 | 143 |331914 |5364k| 25 | 4 | 30 | 10k| 165 | 30 | 13 | 18 | 95k|3875 | 0.000000e+00 | -- | Inf
52.98/53.01 c 51.8s|210000 | 422 |348328 |6227k| 25 | 4 | 30 | 11k| 29 | 30 | 13 | 18 | 99k|3921 | 0.000000e+00 | -- | Inf
55.99/56.03 c 54.7s|220000 | 136 |365069 |6144k| 25 | 4 | 30 | 12k| 232 | 30 | 13 | 18 | 103k|3991 | 0.000000e+00 | -- | Inf
58.98/59.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.98/59.02 c 57.6s|230000 | 96 |381661 |6795k| 25 | - | 30 | 14k| 29 | 30 | 13 | 18 | 108k|4045 | 0.000000e+00 | -- | Inf
62.18/62.27 c 60.8s|240000 | 512 |398623 |6900k| 25 | 4 | 30 | 13k| 113 | 30 | 13 | 18 | 112k|4090 | 0.000000e+00 | -- | Inf
65.27/65.33 c 63.8s|250000 | 739 |415658 |7559k| 25 | - | 30 | 14k| 18 | 0 | 0 | 18 | 117k|4168 | 0.000000e+00 | -- | Inf
68.58/68.67 c 67.1s|260000 | 594 |432187 |7586k| 25 | 4 | 30 | 14k| 5 | 30 | 13 | 18 | 122k|4254 | 0.000000e+00 | -- | Inf
71.98/72.09 c 70.5s|270000 | 375 |448972 |7572k| 25 | - | 30 | 14k| 161 | 30 | 13 | 18 | 126k|4314 | 0.000000e+00 | -- | Inf
75.38/75.46 c 73.8s|280000 | 251 |465425 |7488k| 25 | 4 | 30 | 15k| 94 | 30 | 13 | 18 | 131k|4391 | 0.000000e+00 | -- | Inf
78.88/78.92 c 77.2s|290000 | 513 |482189 |7851k| 25 | 4 | 30 | 15k| 135 | 30 | 13 | 18 | 136k|4456 | 0.000000e+00 | -- | Inf
82.28/82.30 c 80.5s|300000 | 985 |498613 |8773k| 25 | 4 | 30 | 17k| 270 | 30 | 13 | 18 | 140k|4542 | 0.000000e+00 | -- | Inf
85.78/85.85 c 84.0s|310000 | 1735 |515469 |9099k| 25 | - | 30 | 16k| 12 | 30 | 13 | 18 | 144k|4595 | 0.000000e+00 | -- | Inf
89.37/89.43 c 87.5s|320000 | 2071 |532103 |9819k| 25 | - | 30 | 17k| 156 | 0 | 0 | 18 | 148k|4689 | 0.000000e+00 | -- | Inf
93.68/93.79 c 91.8s|330000 | 1651 |548354 |9388k| 25 | - | 30 | 16k| 179 | 30 | 13 | 18 | 153k|4738 | 0.000000e+00 | -- | Inf
97.88/97.98 c 96.0s|340000 | 1021 |564646 |9013k| 25 | - | 30 | 16k| 6 | 30 | 13 | 18 | 158k|4790 | 0.000000e+00 | -- | Inf
102.07/102.20 c 100s|350000 | 450 |581469 |8576k| 25 | 4 | 30 | 16k| 49 | 30 | 13 | 18 | 163k|4866 | 0.000000e+00 | -- | Inf
106.07/106.13 c 104s|360000 | 240 |597539 |8417k| 26 | 4 | 30 | 17k| 29 | 30 | 13 | 18 | 168k|4925 | 0.000000e+00 | -- | Inf
109.87/109.98 c 108s|370000 | 198 |613196 |8822k| 26 | - | 30 | 18k| 225 | 30 | 13 | 18 | 172k|4966 | 0.000000e+00 | -- | Inf
113.87/113.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.87/113.98 c 112s|380000 | 198 |628896 |9301k| 26 | 4 | 30 | 20k| 11 | 30 | 13 | 18 | 176k|5002 | 0.000000e+00 | -- | Inf
118.37/118.43 c 116s|390000 | 72 |644878 |9470k| 26 | 4 | 30 | 20k| 25 | 30 | 13 | 18 | 180k|5050 | 0.000000e+00 | -- | Inf
122.56/122.68 c 120s|400000 | 135 |662414 |9615k| 26 | 4 | 30 | 21k| 86 | 30 | 13 | 18 | 185k|5071 | 0.000000e+00 | -- | Inf
126.76/126.80 c 124s|410000 | 564 |677181 |9933k| 26 | - | 30 | 20k| 16 | 30 | 13 | 18 | 188k|5099 | 0.000000e+00 | -- | Inf
130.46/130.52 c 128s|420000 | 490 |691487 | 10M| 26 | - | 30 | 21k|2933 | 0 | 0 | 18 | 191k|5146 | 0.000000e+00 | -- | Inf
134.25/134.38 c 132s|430000 | 511 |705774 | 10M| 26 | - | 30 | 22k| 6 | 30 | 13 | 18 | 194k|5184 | 0.000000e+00 | -- | Inf
138.65/138.78 c 136s|440000 | 31 |719615 |9997k| 26 | 4 | 30 | 22k| 122 | 30 | 13 | 18 | 197k|5211 | 0.000000e+00 | -- | Inf
140.06/140.16 c
140.06/140.16 c SCIP Status : problem is solved [infeasible]
140.06/140.16 c Solving Time (sec) : 137.56
140.06/140.16 c Solving Nodes : 443685
140.06/140.16 c Primal Bound : +1.00000000000000e+20 (0 solutions)
140.06/140.16 c Dual Bound : +1.00000000000000e+20
140.06/140.16 c Gap : 0.00 %
140.06/140.16 c NODE 443685
140.06/140.16 c DUAL BOUND 1e+20
140.06/140.16 c PRIMAL BOUND 1e+20
140.06/140.16 c GAP 0
140.06/140.16 s UNSATISFIABLE
140.06/140.16 c SCIP Status : problem is solved [infeasible]
140.06/140.16 c Solving Time : 137.56
140.06/140.16 c Original Problem :
140.06/140.16 c Problem name : HOME/instance-3734763-1338704617.opb
140.06/140.16 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
140.06/140.16 c Constraints : 9 initial, 9 maximal
140.06/140.16 c Presolved Problem :
140.06/140.16 c Problem name : t_HOME/instance-3734763-1338704617.opb
140.06/140.16 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
140.06/140.16 c Constraints : 4 initial, 22574 maximal
140.06/140.16 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
140.06/140.16 c trivial : 0.00 0 0 0 0 0 0 0 0
140.06/140.16 c dualfix : 0.00 1 0 0 0 0 0 0 0
140.06/140.16 c boundshift : 0.00 0 0 0 0 0 0 0 0
140.06/140.16 c inttobinary : 0.00 0 0 0 0 0 0 0 0
140.06/140.16 c implics : 0.00 0 0 0 0 0 0 0 0
140.06/140.16 c probing : 0.00 0 0 0 0 0 0 0 0
140.06/140.16 c linear : 0.00 0 0 0 0 0 5 0 0
140.06/140.16 c logicor : 0.00 0 0 0 0 0 0 0 0
140.06/140.16 c root node : - 1 - - 1 - - - -
140.06/140.16 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
140.06/140.16 c integral : 0 0 0 248992 0 1170 3069 0 0 489628
140.06/140.16 c linear : 4 6 1002123 0 0 161579 1289380 0 0 0
140.06/140.16 c logicor : 0+ 0 515801 0 0 6157 179024 0 0 0
140.06/140.16 c countsols : 0 0 0 0 0 0 0 0 0 0
140.06/140.16 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
140.06/140.16 c integral : 1.40 0.00 0.00 1.40 0.00
140.06/140.16 c linear : 16.18 0.00 16.18 0.00 0.00
140.06/140.16 c logicor : 41.90 0.00 41.90 0.00 0.00
140.06/140.16 c countsols : 0.00 0.00 0.00 0.00 0.00
140.06/140.16 c Propagators : Time Calls Cutoffs DomReds
140.06/140.16 c rootredcost : 0.10 0 0 0
140.06/140.16 c pseudoobj : 0.09 0 0 0
140.06/140.16 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
140.06/140.16 c propagation : 3.45 167736 77303 199107 19.3 24 16.2 -
140.06/140.16 c infeasible LP : 1.76 77977 77973 128476 12.9 990 17.6 0
140.06/140.16 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
140.06/140.16 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
140.06/140.16 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
140.06/140.16 c applied globally : - - - 198032 14.8 - - -
140.06/140.16 c applied locally : - - - 0 0.0 - - -
140.06/140.16 c Separators : Time Calls Cutoffs DomReds Cuts Conss
140.06/140.16 c cut pool : 0.00 5 - - 25 - (maximal pool size: 80)
140.06/140.16 c redcost : 0.11 248992 0 0 0 0
140.06/140.16 c impliedbounds : 0.00 6 0 0 0 0
140.06/140.16 c intobj : 0.00 0 0 0 0 0
140.06/140.16 c gomory : 0.00 6 0 0 0 0
140.06/140.16 c strongcg : 0.00 6 0 0 26 0
140.06/140.16 c cmir : 0.01 6 0 0 30 0
140.06/140.16 c flowcover : 0.00 6 0 0 53 0
140.06/140.16 c clique : 0.00 1 0 0 0 0
140.06/140.16 c zerohalf : 0.00 0 0 0 0 0
140.06/140.16 c mcf : 0.00 1 0 0 0 0
140.06/140.16 c Pricers : Time Calls Vars
140.06/140.16 c problem variables: 0.00 0 0
140.06/140.16 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
140.06/140.16 c relpscost : 1.30 248992 1170 3069 0 0 489628
140.06/140.16 c pscost : 0.00 0 0 0 0 0 0
140.06/140.16 c inference : 0.00 0 0 0 0 0 0
140.06/140.16 c mostinf : 0.00 0 0 0 0 0 0
140.06/140.16 c leastinf : 0.00 0 0 0 0 0 0
140.06/140.16 c fullstrong : 0.00 0 0 0 0 0 0
140.06/140.16 c allfullstrong : 0.00 0 0 0 0 0 0
140.06/140.16 c random : 0.00 0 0 0 0 0 0
140.06/140.16 c Primal Heuristics : Time Calls Found
140.06/140.16 c LP solutions : 0.00 - 0
140.06/140.16 c pseudo solutions : 0.00 - 0
140.06/140.16 c oneopt : 0.11 0 0
140.06/140.16 c crossover : 0.05 0 0
140.06/140.16 c guideddiving : 0.02 0 0
140.06/140.16 c intshifting : 0.01 0 0
140.06/140.16 c objpscostdiving : 0.00 106 0
140.06/140.16 c veclendiving : 0.04 365 0
140.06/140.16 c pscostdiving : 0.04 366 0
140.06/140.16 c fracdiving : 0.03 366 0
140.06/140.16 c linesearchdiving : 0.09 388 0
140.06/140.16 c coefdiving : 0.02 400 0
140.06/140.16 c feaspump : 0.15 394 0
140.06/140.16 c simplerounding : 0.06 0 0
140.06/140.16 c rounding : 0.18 7042 0
140.06/140.16 c shifting : 0.34 2411 0
140.06/140.16 c fixandinfer : 0.00 0 0
140.06/140.16 c intdiving : 0.00 0 0
140.06/140.16 c actconsdiving : 0.00 0 0
140.06/140.16 c rootsoldiving : 0.01 26 0
140.06/140.16 c octane : 0.00 0 0
140.06/140.16 c rens : 0.01 1 0
140.06/140.16 c rins : 0.00 0 0
140.06/140.16 c localbranching : 0.00 0 0
140.06/140.16 c mutation : 0.00 0 0
140.06/140.16 c dins : 0.00 0 0
140.06/140.16 c LP : Time Calls Iterations Iter/call Iter/sec
140.06/140.16 c primal LP : 0.00 0 0 0.00 -
140.06/140.16 c dual LP : 9.87 322741 721209 2.23 73070.82
140.06/140.16 c barrier LP : 0.00 0 0 0.00 -
140.06/140.16 c diving/probing LP: 0.10 2597 3360 1.29 33600.00
140.06/140.16 c strong branching : 0.23 5243 12782 2.44 55573.91
140.06/140.16 c (at root node) : - 13 341 26.23 -
140.06/140.16 c conflict analysis: 0.00 0 0 0.00 -
140.06/140.16 c B&B Tree :
140.06/140.16 c number of runs : 1
140.06/140.16 c nodes : 443685
140.06/140.16 c nodes (total) : 443685
140.06/140.16 c nodes left : 0
140.06/140.16 c max depth : 26
140.06/140.16 c max depth (total): 26
140.06/140.16 c backtracks : 123857 (27.9%)
140.06/140.16 c delayed cutoffs : 45944
140.06/140.16 c repropagations : 213124 (458346 domain reductions, 44057 cutoffs)
140.06/140.16 c avg switch length: 4.63
140.06/140.16 c switching time : 41.15
140.06/140.16 c Solution :
140.06/140.16 c Solutions found : 0 (0 improvements)
140.06/140.16 c Primal Bound : infeasible
140.06/140.16 c Dual Bound : -
140.06/140.16 c Gap : 0.00 %
140.06/140.16 c Root Dual Bound : +0.00000000000000e+00
140.06/140.17 c Time complete: 140.14.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3734763-1338704617/watcher-3734763-1338704617 -o /tmp/evaluation-result-3734763-1338704617/solver-3734763-1338704617 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3734763-1338704617.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 26116
/proc/meminfo: memFree=23647716/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=8412 CPUtime=0 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 1472 0 0 0 0 0 0 0 20 0 1 0 336590275 8613888 1423 33554432000 4194304 7823515 140736342675856 140734206712792 6962503 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 2103 1423 354 887 0 1213 0
[startup+0.0965669 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 26116
/proc/meminfo: memFree=23647716/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=14672 CPUtime=0.08 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 4118 0 0 0 7 1 0 0 20 0 1 0 336590275 15024128 2860 33554432000 4194304 7823515 140736342675856 140736342671016 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 3668 2860 567 887 0 2778 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14672
[startup+0.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 26116
/proc/meminfo: memFree=23647716/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=14672 CPUtime=0.09 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 4118 0 0 0 8 1 0 0 20 0 1 0 336590275 15024128 2860 33554432000 4194304 7823515 140736342675856 140736342671016 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 3668 2860 567 887 0 2778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14672
[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 26116
/proc/meminfo: memFree=23647716/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=14672 CPUtime=0.29 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 4119 0 0 0 27 2 0 0 20 0 1 0 336590275 15024128 2861 33554432000 4194304 7823515 140736342675856 140736342671016 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 3668 2861 567 887 0 2778 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14672
[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 26116
/proc/meminfo: memFree=23647716/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=14672 CPUtime=0.68 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 4121 0 0 0 65 3 0 0 20 0 1 0 336590275 15024128 2863 33554432000 4194304 7823515 140736342675856 140736342672936 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 3668 2863 567 887 0 2778 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14672
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26117
/proc/meminfo: memFree=23638152/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=15828 CPUtime=1.49 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 4399 0 0 0 143 6 0 0 20 0 1 0 336590275 16207872 3141 33554432000 4194304 7823515 140736342675856 140736342673688 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 3957 3141 567 887 0 3067 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15828
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26117
/proc/meminfo: memFree=23636788/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=16784 CPUtime=3.09 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 4640 0 0 0 299 10 0 0 20 0 1 0 336590275 17186816 3382 33554432000 4194304 7823515 140736342675856 140736342671704 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 4196 3382 567 887 0 3306 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16784
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26117
/proc/meminfo: memFree=23633936/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=19960 CPUtime=6.28 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 5419 0 0 0 608 20 0 0 20 0 1 0 336590275 20439040 4161 33554432000 4194304 7823515 140736342675856 140736342672632 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 4990 4161 567 887 0 4100 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19960
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26117
/proc/meminfo: memFree=23630720/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=22056 CPUtime=12.69 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 5900 0 0 0 1233 36 0 0 20 0 1 0 336590275 22585344 4642 33554432000 4194304 7823515 140736342675856 140736342672632 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 5514 4642 567 887 0 4624 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22056
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 26117
/proc/meminfo: memFree=23629000/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=23608 CPUtime=25.49 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 6196 0 0 0 2486 63 0 0 20 0 1 0 336590275 24174592 4938 33554432000 4194304 7823515 140736342675856 140736342672888 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 5902 4938 567 887 0 5012 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23608
[startup+51.1002 s]
/proc/loadavg: 2.10 2.03 2.01 3/175 26117
/proc/meminfo: memFree=23627388/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=25060 CPUtime=51.08 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 6543 0 0 0 4987 121 0 0 20 0 1 0 336590275 25661440 5285 33554432000 4194304 7823515 140736342675856 140736342672600 5102411 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 6265 5285 567 887 0 5375 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25060
[startup+102.306 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 26117
/proc/meminfo: memFree=23621796/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=29496 CPUtime=102.28 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 7516 0 0 0 10020 208 0 0 20 0 1 0 336590275 30203904 6258 33554432000 4194304 7823515 140736342675856 140736342673688 5838864 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 7374 6258 567 887 0 6484 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 29496
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 26117
/proc/meminfo: memFree=23620060/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=29664 CPUtime=115.07 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 7563 0 0 0 11280 227 0 0 20 0 1 0 336590275 30375936 6305 33554432000 4194304 7823515 140736342675856 140736342672888 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 7416 6305 567 887 0 6526 0
Current children cumulated CPU time (s) 115.07
Current children cumulated vsize (KiB) 29664
[startup+127.9 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 26117
/proc/meminfo: memFree=23616628/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=30744 CPUtime=127.86 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 7806 0 0 0 12545 241 0 0 20 0 1 0 336590275 31481856 7090 33554432000 4194304 7823515 140736342675856 140736342672888 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 7686 7090 567 887 0 6796 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 30744
[startup+134.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 26117
/proc/meminfo: memFree=23616008/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=31176 CPUtime=134.25 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 7908 0 0 0 13177 248 0 0 20 0 1 0 336590275 31924224 7192 33554432000 4194304 7823515 140736342675856 140736342673688 4209589 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 7794 7192 567 887 0 6904 0
Current children cumulated CPU time (s) 134.25
Current children cumulated vsize (KiB) 31176
[startup+137.506 s]
/proc/loadavg: 2.02 2.02 2.00 2/173 26118
/proc/meminfo: memFree=23841216/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=31176 CPUtime=137.47 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 7908 0 0 0 13495 252 0 0 20 0 1 0 336590275 31924224 7192 33554432000 4194304 7823515 140736342675856 140736342672888 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 7794 7192 567 887 0 6904 0
Current children cumulated CPU time (s) 137.47
Current children cumulated vsize (KiB) 31176
[startup+139.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 26156
/proc/meminfo: memFree=23834108/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=31176 CPUtime=139.06 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 7908 0 0 0 13652 254 0 0 20 0 1 0 336590275 31924224 7192 33554432000 4194304 7823515 140736342675856 140736342672888 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 7794 7192 567 887 0 6904 0
Current children cumulated CPU time (s) 139.06
Current children cumulated vsize (KiB) 31176
[startup+139.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 26156
/proc/meminfo: memFree=23832636/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=31176 CPUtime=139.85 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 7908 0 0 0 13730 255 0 0 20 0 1 0 336590275 31924224 7192 33554432000 4194304 7823515 140736342675856 140736342672888 4221694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 7794 7192 567 887 0 6904 0
Current children cumulated CPU time (s) 139.85
Current children cumulated vsize (KiB) 31176
[startup+140.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 26156
/proc/meminfo: memFree=23832636/32873844 swapFree=7112/7112
[pid=26116] ppid=26114 vsize=31448 CPUtime=140.06 cores=0,2,4,6
/proc/26116/stat : 26116 (pbscip.linux.x8) R 26114 26116 13043 0 -1 4202496 7926 0 0 0 13750 256 0 0 20 0 1 0 336590275 32202752 7210 33554432000 4194304 7823515 140736342675856 140736342672888 4243040 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26116/statm: 7862 7210 567 887 0 6972 0
Current children cumulated CPU time (s) 140.06
Current children cumulated vsize (KiB) 31448
Child status: 0
Real time (s): 140.177
CPU time (s): 140.145
CPU user time (s): 137.582
CPU system time (s): 2.56261
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 31448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.582
system time used= 2.56261
maximum resident set size= 28848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7931
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= 14
involuntary context switches= 324
runsolver used 0.228965 second user time and 0.539917 second system time
The end
Begin job on node104 at 2012-06-03 08:23:37
IDJOB=3734763
IDBENCH=2901
IDSOLVER=2321
FILE ID=node104/3734763-1338704617
RUNJOBID= node104-1338679216-21695
PBS_JOBID= 14636709
Free space on /tmp= 66424 MiB
SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734763-1338704617/watcher-3734763-1338704617 -o /tmp/evaluation-result-3734763-1338704617/solver-3734763-1338704617 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3734763-1338704617.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 1d7dd5c267917b6fb58d303c57bfa918
RANDOM SEED=729959875
node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/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.266
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.53
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.266
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.266
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.266
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.266
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.266
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.266
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
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.266
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873844 kB
MemFree: 23648352 kB
Buffers: 554320 kB
Cached: 7433864 kB
SwapCached: 708 kB
Active: 5006324 kB
Inactive: 3214600 kB
Active(anon): 224340 kB
Inactive(anon): 8092 kB
Active(file): 4781984 kB
Inactive(file): 3206508 kB
Unevictable: 7112 kB
Mlocked: 7112 kB
SwapTotal: 67108856 kB
SwapFree: 67105164 kB
Dirty: 9720 kB
Writeback: 0 kB
AnonPages: 236836 kB
Mapped: 16472 kB
Shmem: 8 kB
Slab: 865032 kB
SReclaimable: 307388 kB
SUnreclaim: 557644 kB
KernelStack: 1440 kB
PageTables: 4560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 337908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346368 kB
VmallocChunk: 34341987984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 204800 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7872 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 66416 MiB
End job on node104 at 2012-06-03 08:25:57