0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3486124-1307772721.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 problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 1 del vars, 1 del conss, 0 add 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 add 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 added 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 - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 2.0.1.4
0.00/0.00 c
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 = 10000
0.00/0.00 c
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 = 1797
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 = 13950
0.00/0.00 c
0.00/0.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.00 c # [type: int, range: [1,2], default: 1]
0.00/0.00 c timing/clocktype = 2
0.00/0.00 c
0.00/0.00 c # belongs reading time to solving time?
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c timing/reading = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify inequalities
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/linear/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/indicator/addCouplingCons = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify knapsacks
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/rapidlearning/freq = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c start solving
0.00/0.00 c
0.00/0.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.00 c 0.0s| 1 | 0 | 18 | - | 220k| 0 | 4 | 30 | 13 | 30 | 4 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 64 | - | 276k| 0 | 9 | 30 | 36 | 30 | 9 | 5 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 74 | - | 292k| 0 | 8 | 30 | 36 | 30 | 13 | 9 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 79 | - | 308k| 0 | 7 | 30 | 36 | 30 | 17 | 13 | 9 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 82 | - | 333k| 0 | 9 | 30 | 36 | 30 | 19 | 15 | 9 | 0 | 0.000000e+00 | -- | Inf
0.02/0.02 c 0.0s| 1 | 0 | 86 | - | 352k| 0 | 9 | 30 | 36 | 30 | 21 | 17 | 9 | 0 | 0.000000e+00 | -- | Inf
0.02/0.03 c 0.0s| 1 | 0 | 88 | - | 372k| 0 | 12 | 30 | 36 | 30 | 23 | 19 | 9 | 0 | 0.000000e+00 | -- | Inf
0.02/0.03 c 0.0s| 1 | 0 | 98 | - | 388k| 0 | 11 | 30 | 36 | 30 | 25 | 21 | 9 | 0 | 0.000000e+00 | -- | Inf
0.02/0.03 c 0.0s| 1 | 0 | 104 | - | 404k| 0 | 13 | 30 | 36 | 30 | 28 | 24 | 9 | 0 | 0.000000e+00 | -- | Inf
0.02/0.05 c 0.0s| 1 | 2 | 104 | - | 405k| 0 | 13 | 30 | 36 | 30 | 28 | 24 | 9 | 9 | 0.000000e+00 | -- | Inf
1.49/1.50 c 1.5s| 10000 | 2360 | 16828 | 1.7 |2934k| 25 | 4 | 30 |2722 | 30 | 13 | 24 |4125 | 416 | 0.000000e+00 | -- | Inf
2.99/3.00 c 3.0s| 20000 | 3988 | 32879 | 1.6 |3900k| 25 | 4 | 30 |1941 | 30 | 13 | 24 |8071 | 636 | 0.000000e+00 | -- | Inf
4.39/4.41 c 4.4s| 30000 | 5063 | 47970 | 1.6 |4791k| 25 | - | 30 |2184 | 0 | 0 | 24 | 11k| 774 | 0.000000e+00 | -- | Inf
5.79/5.82 c 5.8s| 40000 | 6159 | 62762 | 1.6 |5769k| 25 | 4 | 30 |2806 | 30 | 13 | 24 | 15k| 896 | 0.000000e+00 | -- | Inf
7.29/7.34 c 7.3s| 50000 | 6911 | 77537 | 1.5 |6442k| 25 | 4 | 30 |2821 | 30 | 13 | 24 | 19k|1023 | 0.000000e+00 | -- | Inf
8.79/8.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.79/8.87 c 8.9s| 60000 | 7782 | 92486 | 1.5 |7480k| 25 | 4 | 30 |3786 | 30 | 13 | 24 | 23k|1143 | 0.000000e+00 | -- | Inf
10.39/10.48 c 10.5s| 70000 | 8274 |106539 | 1.5 |7789k| 25 | 4 | 30 |2925 | 30 | 13 | 24 | 26k|1234 | 0.000000e+00 | -- | Inf
11.99/12.09 c 12.1s| 80000 | 8662 |121327 | 1.5 |8304k| 25 | 4 | 30 |3048 | 30 | 13 | 24 | 30k|1365 | 0.000000e+00 | -- | Inf
13.59/13.69 c 13.7s| 90000 | 8861 |135395 | 1.5 |8542k| 25 | - | 30 |2694 | 0 | 0 | 24 | 34k|1471 | 0.000000e+00 | -- | Inf
15.19/15.26 c 15.3s|100000 | 9226 |149726 | 1.5 |9295k| 25 | 4 | 30 |3857 | 30 | 13 | 24 | 38k|1569 | 0.000000e+00 | -- | Inf
16.99/17.06 c 17.1s|110000 | 9149 |164557 | 1.5 |9200k| 25 | 4 | 30 |2751 | 30 | 13 | 24 | 42k|1681 | 0.000000e+00 | -- | Inf
18.49/18.57 c 18.6s|120000 | 9826 |179614 | 1.5 | 10M| 25 | - | 30 |4736 | 0 | 0 | 24 | 46k|1775 | 0.000000e+00 | -- | Inf
20.30/20.38 c 20.4s|130000 | 10263 |194849 | 1.5 | 10M| 25 | 4 | 30 |4236 | 30 | 13 | 24 | 49k|1852 | 0.000000e+00 | -- | Inf
22.19/22.21 c 22.2s|140000 | 10438 |209733 | 1.5 | 10M| 25 | 4 | 30 |3799 | 30 | 13 | 24 | 53k|1920 | 0.000000e+00 | -- | Inf
23.79/23.88 c 23.9s|150000 | 10854 |223986 | 1.5 | 11M| 25 | 4 | 30 |4397 | 30 | 13 | 24 | 56k|1990 | 0.000000e+00 | -- | Inf
25.60/25.64 c 25.6s|160000 | 11157 |237595 | 1.5 | 12M| 25 | - | 30 |5657 | 0 | 0 | 24 | 60k|2118 | 0.000000e+00 | -- | Inf
27.59/27.66 c 27.7s|170000 | 10985 |251724 | 1.5 | 11M| 25 | 4 | 30 |3640 | 30 | 13 | 24 | 63k|2180 | 0.000000e+00 | -- | Inf
29.29/29.37 c 29.4s|180000 | 11119 |266389 | 1.5 | 12M| 25 | 4 | 30 |3923 | 30 | 13 | 24 | 67k|2242 | 0.000000e+00 | -- | Inf
31.19/31.27 c 31.3s|190000 | 10681 |280249 | 1.5 | 11M| 25 | 4 | 30 |3090 | 30 | 13 | 24 | 72k|2310 | 0.000000e+00 | -- | Inf
33.00/33.05 c 33.0s|200000 | 10466 |294680 | 1.5 | 11M| 25 | 4 | 30 |3585 | 30 | 13 | 24 | 76k|2373 | 0.000000e+00 | -- | Inf
34.79/34.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.79/34.86 c 34.9s|210000 | 10427 |308888 | 1.5 | 12M| 25 | 4 | 30 |3907 | 30 | 13 | 24 | 80k|2420 | 0.000000e+00 | -- | Inf
36.59/36.66 c 36.7s|220000 | 10594 |322984 | 1.5 | 12M| 25 | - | 30 |4194 | 0 | 0 | 24 | 83k|2479 | 0.000000e+00 | -- | Inf
38.59/38.64 c 38.6s|230000 | 10029 |337357 | 1.5 | 11M| 25 | - | 30 |3506 | 0 | 0 | 24 | 88k|2552 | 0.000000e+00 | -- | Inf
40.49/40.53 c 40.5s|240000 | 9604 |351384 | 1.5 | 11M| 25 | 4 | 30 |3550 | 30 | 13 | 24 | 92k|2599 | 0.000000e+00 | -- | Inf
42.30/42.37 c 42.4s|250000 | 9810 |366230 | 1.5 | 12M| 25 | - | 30 |5264 | 0 | 0 | 24 | 96k|2663 | 0.000000e+00 | -- | Inf
44.40/44.46 c 44.5s|260000 | 9242 |381032 | 1.5 | 11M| 25 | - | 30 |3487 | 30 | 13 | 24 | 101k|2706 | 0.000000e+00 | -- | Inf
46.29/46.37 c 46.4s|270000 | 8802 |395915 | 1.5 | 11M| 25 | 4 | 30 |3376 | 30 | 13 | 24 | 105k|2782 | 0.000000e+00 | -- | Inf
48.19/48.24 c 48.2s|280000 | 8190 |409880 | 1.5 | 11M| 25 | - | 30 |3341 | 0 | 0 | 24 | 109k|2879 | 0.000000e+00 | -- | Inf
49.99/50.03 c 50.0s|290000 | 7576 |423884 | 1.5 | 10M| 25 | - | 30 |3109 | 0 | 0 | 24 | 113k|2923 | 0.000000e+00 | -- | Inf
51.70/51.75 c 51.7s|300000 | 7364 |437984 | 1.5 | 10M| 25 | 4 | 30 |4152 | 30 | 13 | 24 | 117k|2999 | 0.000000e+00 | -- | Inf
53.59/53.64 c 53.6s|310000 | 7267 |452061 | 1.5 | 10M| 25 | 4 | 30 |3733 | 30 | 13 | 24 | 121k|3053 | 0.000000e+00 | -- | Inf
55.59/55.61 c 55.6s|320000 | 7035 |466510 | 1.5 | 10M| 25 | 4 | 30 |3779 | 30 | 13 | 24 | 125k|3126 | 0.000000e+00 | -- | Inf
57.39/57.45 c 57.5s|330000 | 6802 |480190 | 1.5 | 10M| 25 | 4 | 30 |4043 | 30 | 13 | 24 | 129k|3197 | 0.000000e+00 | -- | Inf
59.29/59.36 c 59.4s|340000 | 6079 |493845 | 1.5 |9625k| 25 | 4 | 30 |3174 | 30 | 13 | 24 | 133k|3289 | 0.000000e+00 | -- | Inf
61.19/61.26 c 61.3s|350000 | 5358 |508161 | 1.5 |8974k| 25 | 4 | 30 |3163 | 30 | 13 | 24 | 137k|3349 | 0.000000e+00 | -- | Inf
62.89/62.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.89/62.95 c 63.0s|360000 | 5632 |522588 | 1.5 |9633k| 25 | - | 30 |4502 | 0 | 0 | 24 | 140k|3406 | 0.000000e+00 | -- | Inf
64.99/65.02 c 65.0s|370000 | 5100 |537087 | 1.5 |9171k| 25 | - | 30 |4339 | 30 | 13 | 24 | 145k|3461 | 0.000000e+00 | -- | Inf
66.89/66.90 c 66.9s|380000 | 4730 |550846 | 1.4 |8554k| 25 | 4 | 30 |3645 | 30 | 13 | 24 | 149k|3509 | 0.000000e+00 | -- | Inf
68.69/68.77 c 68.8s|390000 | 4253 |563934 | 1.4 |8071k| 25 | - | 30 |3304 | 0 | 0 | 24 | 152k|3542 | 0.000000e+00 | -- | Inf
70.60/70.63 c 70.6s|400000 | 3912 |578532 | 1.4 |7801k| 25 | - | 30 |3595 | 0 | 0 | 24 | 156k|3598 | 0.000000e+00 | -- | Inf
72.50/72.58 c 72.6s|410000 | 3296 |592714 | 1.4 |7367k| 25 | - | 30 |4139 | 0 | 0 | 24 | 161k|3648 | 0.000000e+00 | -- | Inf
74.39/74.48 c 74.5s|420000 | 2897 |607397 | 1.4 |6988k| 25 | 4 | 30 |4417 | 30 | 13 | 24 | 165k|3704 | 0.000000e+00 | -- | Inf
76.50/76.51 c 76.5s|430000 | 2159 |621739 | 1.4 |5898k| 25 | 4 | 30 |3860 | 30 | 13 | 24 | 169k|3748 | 0.000000e+00 | -- | Inf
78.29/78.31 c 78.3s|440000 | 1872 |635191 | 1.4 |5499k| 25 | 4 | 30 |3982 | 30 | 13 | 24 | 173k|3779 | 0.000000e+00 | -- | Inf
80.09/80.19 c 80.2s|450000 | 1530 |648734 | 1.4 |5586k| 25 | - | 30 |5216 | 0 | 0 | 24 | 177k|3834 | 0.000000e+00 | -- | Inf
82.29/82.36 c 82.4s|460000 | 787 |663019 | 1.4 |4136k| 25 | 4 | 30 |3860 | 30 | 13 | 24 | 182k|3871 | 0.000000e+00 | -- | Inf
84.30/84.31 c 84.3s|470000 | 611 |677582 | 1.4 |3925k| 25 | 4 | 30 |4220 | 30 | 13 | 24 | 186k|3904 | 0.000000e+00 | -- | Inf
86.19/86.28 c 86.3s|480000 | 564 |693594 | 1.4 |4301k| 25 | 4 | 30 |5789 | 30 | 13 | 24 | 191k|3947 | 0.000000e+00 | -- | Inf
88.10/88.19 c 88.2s|490000 | 401 |707243 | 1.4 |3811k| 25 | - | 30 |4745 | 30 | 13 | 24 | 195k|3991 | 0.000000e+00 | -- | Inf
90.30/90.36 c 90.4s|500000 | 224 |722457 | 1.4 |4029k| 25 | - | 30 |6104 | 0 | 0 | 24 | 199k|4036 | 0.000000e+00 | -- | Inf
92.40/92.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.40/92.45 c 92.5s|510000 | 585 |737796 | 1.4 |4739k| 25 | 4 | 30 |7322 | 30 | 13 | 24 | 203k|4070 | 0.000000e+00 | -- | Inf
94.60/94.68 c 94.7s|520000 | 511 |752028 | 1.4 |4833k| 25 | 4 | 30 |7605 | 30 | 13 | 24 | 207k|4108 | 0.000000e+00 | -- | Inf
96.89/96.97 c 97.0s|530000 | 254 |765638 | 1.4 |4771k| 25 | - | 30 |8175 | 0 | 0 | 24 | 210k|4162 | 0.000000e+00 | -- | Inf
99.30/99.32 c 99.3s|540000 | 181 |780967 | 1.4 |4422k| 25 | - | 30 |7232 | 0 | 0 | 24 | 214k|4215 | 0.000000e+00 | -- | Inf
101.50/101.52 c 102s|550000 | 618 |797172 | 1.4 |4987k| 25 | - | 30 |8307 | 0 | 0 | 24 | 218k|4272 | 0.000000e+00 | -- | Inf
103.79/103.84 c
103.79/103.84 c SCIP Status : problem is solved [infeasible]
103.79/103.84 c Solving Time (sec) : 103.84
103.79/103.84 c Solving Nodes : 558561
103.79/103.84 c Primal Bound : +1.00000000000000e+20 (0 solutions)
103.79/103.84 c Dual Bound : +1.00000000000000e+20
103.79/103.84 c Gap : 0.00 %
103.79/103.84 s UNSATISFIABLE
103.79/103.84 c SCIP Status : problem is solved [infeasible]
103.79/103.84 c Total Time : 103.84
103.79/103.84 c solving : 103.84
103.79/103.84 c presolving : 0.00 (included in solving)
103.79/103.84 c reading : 0.00 (included in solving)
103.79/103.84 c Original Problem :
103.79/103.84 c Problem name : HOME/instance-3486124-1307772721.opb
103.79/103.84 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
103.79/103.84 c Constraints : 9 initial, 9 maximal
103.79/103.84 c Presolved Problem :
103.79/103.84 c Problem name : t_HOME/instance-3486124-1307772721.opb
103.79/103.84 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
103.79/103.84 c Constraints : 4 initial, 8939 maximal
103.79/103.84 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
103.79/103.84 c trivial : 0.00 0 0 0 0 0 0 0 0 0
103.79/103.84 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
103.79/103.84 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
103.79/103.84 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
103.79/103.84 c implics : 0.00 0 0 0 0 0 0 0 0 0
103.79/103.84 c probing : 0.00 0 0 0 0 0 0 0 0 0
103.79/103.84 c linear : 0.00 0 0 0 0 0 5 0 0 0
103.79/103.84 c logicor : 0.00 0 0 0 0 0 0 0 0 0
103.79/103.84 c root node : - 2 - - 2 - - - - -
103.79/103.84 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
103.79/103.84 c integral : 0 0 0 312499 0 4 0 472 3052 0 0 618018
103.79/103.84 c linear : 4+ 9 1165064 0 0 3 1667101 230185 1645534 0 0 0
103.79/103.84 c logicor : 0+ 8 573378 0 0 0 384145 3104 177860 0 0 0
103.79/103.84 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
103.79/103.84 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
103.79/103.84 c integral : 1.84 0.00 0.00 1.84 0.00 0.00 0.00
103.79/103.84 c linear : 15.40 0.00 13.09 0.00 0.00 0.00 2.31
103.79/103.84 c logicor : 23.34 0.00 23.03 0.00 0.00 0.00 0.31
103.79/103.84 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
103.79/103.84 c Propagators : #Propagate #Resprop Cutoffs DomReds
103.79/103.84 c vbounds : 0 0 0 0
103.79/103.84 c rootredcost : 0 0 0 0
103.79/103.84 c pseudoobj : 0 0 0 0
103.79/103.84 c Propagator Timings : TotalTime Propagate Resprop
103.79/103.84 c vbounds : 0.16 0.16 0.00
103.79/103.84 c rootredcost : 0.17 0.17 0.00
103.79/103.84 c pseudoobj : 0.12 0.12 0.00
103.79/103.84 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
103.79/103.84 c propagation : 4.03 233289 107815 265643 19.6 8 18.1 -
103.79/103.84 c infeasible LP : 1.31 74958 74953 113437 12.7 876 17.6 0
103.79/103.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
103.79/103.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
103.79/103.84 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
103.79/103.84 c applied globally : - - - 222394 15.7 - - -
103.79/103.84 c applied locally : - - - 0 0.0 - - -
103.79/103.84 c Separators : Time Calls Cutoffs DomReds Cuts Conss
103.79/103.84 c cut pool : 0.00 7 - - 43 - (maximal pool size: 138)
103.79/103.84 c redcost : 0.24 312506 0 0 0 0
103.79/103.84 c impliedbounds : 0.00 8 0 0 0 0
103.79/103.84 c intobj : 0.00 0 0 0 0 0
103.79/103.84 c gomory : 0.00 8 0 0 2 0
103.79/103.84 c cgmip : 0.00 0 0 0 0 0
103.79/103.84 c closecuts : 0.00 0 0 0 0 0
103.79/103.84 c strongcg : 0.00 8 0 0 55 0
103.79/103.84 c cmir : 0.00 8 0 0 41 0
103.79/103.84 c flowcover : 0.01 8 0 0 65 0
103.79/103.84 c clique : 0.00 1 0 0 0 0
103.79/103.84 c zerohalf : 0.00 0 0 0 0 0
103.79/103.84 c mcf : 0.00 1 0 0 0 0
103.79/103.84 c oddcycle : 0.00 0 0 0 0 0
103.79/103.84 c rapidlearning : 0.01 1 0 0 0 23
103.79/103.84 c Pricers : Time Calls Vars
103.79/103.84 c problem variables: 0.00 0 0
103.79/103.84 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
103.79/103.84 c relpscost : 1.67 312499 472 3052 0 0 618018
103.79/103.84 c pscost : 0.00 0 0 0 0 0 0
103.79/103.84 c inference : 0.00 0 0 0 0 0 0
103.79/103.84 c mostinf : 0.00 0 0 0 0 0 0
103.79/103.84 c leastinf : 0.00 0 0 0 0 0 0
103.79/103.84 c fullstrong : 0.00 0 0 0 0 0 0
103.79/103.84 c allfullstrong : 0.00 0 0 0 0 0 0
103.79/103.84 c random : 0.00 0 0 0 0 0 0
103.79/103.84 c Primal Heuristics : Time Calls Found
103.79/103.84 c LP solutions : 0.00 - 0
103.79/103.84 c pseudo solutions : 0.00 - 0
103.79/103.84 c oneopt : 0.15 0 0
103.79/103.84 c crossover : 0.09 0 0
103.79/103.84 c guideddiving : 0.02 0 0
103.79/103.84 c rootsoldiving : 0.01 34 0
103.79/103.84 c fracdiving : 0.03 147 0
103.79/103.84 c veclendiving : 0.03 147 0
103.79/103.84 c linesearchdiving : 0.03 148 0
103.79/103.84 c coefdiving : 0.03 148 0
103.79/103.84 c pscostdiving : 0.03 148 0
103.79/103.84 c feaspump : 0.03 75 0
103.79/103.84 c objpscostdiving : 0.02 76 0
103.79/103.84 c trivial : 0.00 2 0
103.79/103.84 c shiftandpropagate: 0.00 1 0
103.79/103.84 c simplerounding : 0.06 0 0
103.79/103.84 c zirounding : 0.59 0 0
103.79/103.84 c rounding : 0.14 7866 0
103.79/103.84 c shifting : 0.44 3005 0
103.79/103.84 c intshifting : 0.01 0 0
103.79/103.84 c twoopt : 0.00 0 0
103.79/103.84 c fixandinfer : 0.00 0 0
103.79/103.84 c clique : 0.00 0 0
103.79/103.84 c intdiving : 0.00 0 0
103.79/103.84 c actconsdiving : 0.00 0 0
103.79/103.84 c octane : 0.00 0 0
103.79/103.84 c rens : 0.01 1 0
103.79/103.84 c rins : 0.00 0 0
103.79/103.84 c localbranching : 0.00 0 0
103.79/103.84 c mutation : 0.00 0 0
103.79/103.84 c dins : 0.00 0 0
103.79/103.84 c vbounds : 0.00 0 0
103.79/103.84 c undercover : 0.00 0 0
103.79/103.84 c subnlp : 0.07 0 0
103.79/103.84 c trysol : 0.09 0 0
103.79/103.84 c LP : Time Calls Iterations Iter/call Iter/sec
103.79/103.84 c primal LP : 0.00 0 0 0.00 -
103.79/103.84 c dual LP : 13.62 384127 809453 2.11 59433.86
103.79/103.84 c lex dual LP : 0.00 0 0 0.00 -
103.79/103.84 c barrier LP : 0.00 0 0 0.00 -
103.79/103.84 c diving/probing LP: 0.03 775 1058 1.37 32246.27
103.79/103.84 c strong branching : 0.26 4316 10374 2.40 39561.14
103.79/103.84 c (at root node) : - 9 199 22.11 -
103.79/103.84 c conflict analysis: 0.00 0 0 0.00 -
103.79/103.84 c B&B Tree :
103.79/103.84 c number of runs : 1
103.79/103.84 c nodes : 558561
103.79/103.84 c nodes (total) : 558561
103.79/103.84 c nodes left : 0
103.79/103.84 c max depth : 25
103.79/103.84 c max depth (total): 25
103.79/103.84 c backtracks : 159305 (28.5%)
103.79/103.84 c delayed cutoffs : 59458
103.79/103.84 c repropagations : 250256 (524870 domain reductions, 57524 cutoffs)
103.79/103.84 c avg switch length: 5.12
103.79/103.84 c switching time : 28.30
103.79/103.84 c Solution :
103.79/103.84 c Solutions found : 0 (0 improvements)
103.79/103.84 c Primal Bound : infeasible
103.79/103.84 c Dual Bound : -
103.79/103.84 c Gap : 0.00 %
103.79/103.84 c Root Dual Bound : +0.00000000000000e+00
103.79/103.84 c Root Iterations : 104
103.79/103.85 c Time complete: 103.85.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3486124-1307772721/watcher-3486124-1307772721 -o /tmp/evaluation-result-3486124-1307772721/solver-3486124-1307772721 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486124-1307772721.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 11323
/proc/meminfo: memFree=31600728/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=13636 CPUtime=0 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 2145 0 0 0 0 0 0 0 18 0 1 0 888874442 13963264 2099 33554432000 4194304 8979876 140736212382624 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 3409 2112 422 1169 0 2236 0
[startup+0.0277221 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 11323
/proc/meminfo: memFree=31600728/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=24572 CPUtime=0.02 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 5411 0 0 0 2 0 0 0 18 0 1 0 888874442 25161728 4755 33554432000 4194304 8979876 140736212382624 18446744073709551615 7893792 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 6143 4755 684 1169 0 4970 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24572
[startup+0.100743 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 11323
/proc/meminfo: memFree=31600728/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=27020 CPUtime=0.09 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 6003 0 0 0 9 0 0 0 18 0 1 0 888874442 27668480 5347 33554432000 4194304 8979876 140736212382624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 6755 5347 710 1169 0 5582 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27020
[startup+0.300695 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 11323
/proc/meminfo: memFree=31600728/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=27020 CPUtime=0.29 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 6030 0 0 0 28 1 0 0 18 0 1 0 888874442 27668480 5374 33554432000 4194304 8979876 140736212382624 18446744073709551615 7841099 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 6755 5374 710 1169 0 5582 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27020
[startup+0.700623 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 11323
/proc/meminfo: memFree=31600728/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=27020 CPUtime=0.69 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 6049 0 0 0 67 2 0 0 18 0 1 0 888874442 27668480 5393 33554432000 4194304 8979876 140736212382624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 6755 5393 710 1169 0 5582 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27020
[startup+1.50047 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11324
/proc/meminfo: memFree=31581528/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=27020 CPUtime=1.49 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 6054 0 0 0 146 3 0 0 20 0 1 0 888874442 27668480 5398 33554432000 4194304 8979876 140736212382624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 6755 5398 710 1169 0 5582 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27020
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11324
/proc/meminfo: memFree=31581032/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=27020 CPUtime=3.09 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 6059 0 0 0 303 6 0 0 25 0 1 0 888874442 27668480 5403 33554432000 4194304 8979876 140736212382624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 6755 5403 710 1169 0 5582 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27020
[startup+6.30056 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11324
/proc/meminfo: memFree=31577340/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=27020 CPUtime=6.29 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 6071 0 0 0 616 13 0 0 25 0 1 0 888874442 27668480 5415 33554432000 4194304 8979876 140736212382624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 6755 5415 710 1169 0 5582 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27020
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11325
/proc/meminfo: memFree=31564096/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=27156 CPUtime=12.69 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 6369 0 0 0 1244 25 0 0 25 0 1 0 888874442 27807744 5713 33554432000 4194304 8979876 140736212382624 18446744073709551615 18446744073699066117 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 6789 5713 710 1169 0 5616 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27156
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11325
/proc/meminfo: memFree=31537112/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=32520 CPUtime=25.49 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 7718 0 0 0 2501 48 0 0 25 0 1 0 888874442 33300480 7062 33554432000 4194304 8979876 140736212382624 18446744073709551615 4349760 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 8130 7062 710 1169 0 6957 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32520
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11326
/proc/meminfo: memFree=31495816/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=32824 CPUtime=51.09 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 7762 0 0 0 5024 85 0 0 25 0 1 0 888874442 33611776 7106 33554432000 4194304 8979876 140736212382624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 8206 7106 710 1169 0 7033 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32824
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11327
/proc/meminfo: memFree=31422080/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=34396 CPUtime=102.3 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 8068 0 0 0 10074 156 0 0 25 0 1 0 888874442 35221504 7412 33554432000 4194304 8979876 140736212382624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 8599 7412 710 1169 0 7426 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 34396
Solver just ended. Dumping a history of the last processes samples
[startup+103.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11327
/proc/meminfo: memFree=31422080/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=34396 CPUtime=103.1 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 8068 0 0 0 10153 157 0 0 25 0 1 0 888874442 35221504 7412 33554432000 4194304 8979876 140736212382624 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 8599 7412 710 1169 0 7426 0
Current children cumulated CPU time (s) 103.1
Current children cumulated vsize (KiB) 34396
[startup+103.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11327
/proc/meminfo: memFree=31420220/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=34396 CPUtime=103.49 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 8068 0 0 0 10192 157 0 0 25 0 1 0 888874442 35221504 7412 33554432000 4194304 8979876 140736212382624 18446744073709551615 4853362 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 8599 7412 710 1169 0 7426 0
Current children cumulated CPU time (s) 103.49
Current children cumulated vsize (KiB) 34396
[startup+103.701 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11327
/proc/meminfo: memFree=31420220/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=34396 CPUtime=103.69 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 8068 0 0 0 10212 157 0 0 25 0 1 0 888874442 35221504 7412 33554432000 4194304 8979876 140736212382624 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 8599 7412 710 1169 0 7426 0
Current children cumulated CPU time (s) 103.69
Current children cumulated vsize (KiB) 34396
[startup+103.801 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11327
/proc/meminfo: memFree=31420220/32951124 swapFree=67050520/67111528
[pid=11323] ppid=11321 vsize=34560 CPUtime=103.79 cores=0,2,4,6
/proc/11323/stat : 11323 (scip-2.0.1.4_2.) R 11321 11323 8206 0 -1 4202496 8126 0 0 0 10222 157 0 0 25 0 1 0 888874442 35389440 7470 33554432000 4194304 8979876 140736212382624 18446744073709551615 4349779 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/11323/statm: 8640 7470 710 1169 0 7467 0
Current children cumulated CPU time (s) 103.79
Current children cumulated vsize (KiB) 34560
Child status: 0
Real time (s): 103.856
CPU time (s): 103.859
CPU user time (s): 102.28
CPU system time (s): 1.57876
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 34560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.28
system time used= 1.57876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8134
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= 8
involuntary context switches= 139
runsolver used 0.133979 second user time and 0.344947 second system time
The end
Begin job on node102 at 2011-06-11 08:12:01
IDJOB=3486124
IDBENCH=2901
IDSOLVER=1977
FILE ID=node102/3486124-1307772721
RUNJOBID= node102-1307767326-10861
PBS_JOBID= 13550858
Free space on /tmp= 74128 MiB
SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_2.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3486124-1307772721/watcher-3486124-1307772721 -o /tmp/evaluation-result-3486124-1307772721/solver-3486124-1307772721 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486124-1307772721.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 1d7dd5c267917b6fb58d303c57bfa918
RANDOM SEED=317856507
node102.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.828
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.65
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.828
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 : 5226.15
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.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
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.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31601164 kB
Buffers: 266300 kB
Cached: 827672 kB
SwapCached: 25172 kB
Active: 534896 kB
Inactive: 609432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31601164 kB
SwapTotal: 67111528 kB
SwapFree: 67050520 kB
Dirty: 33384 kB
Writeback: 0 kB
AnonPages: 47164 kB
Mapped: 12164 kB
Slab: 141004 kB
PageTables: 4132 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 235176 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= 74108 MiB
End job on node102 at 2011-06-11 08:13:45