0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705652-1278576766.wbo>
0.00/0.00 c original problem has 371 variables (270 bin, 0 int, 101 impl, 0 cont) and 203 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 o 4943
0.00/0.00 c feasible solution found by trivial heuristic, objective value 4.943000e+03
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/270 (37.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 101 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 131 implications, 0 cliques
0.00/0.01 c presolved problem has 371 variables (270 bin, 0 int, 101 impl, 0 cont) and 202 constraints
0.00/0.01 c 101 constraints of type <linear>
0.00/0.01 c 101 constraints of type <indicator>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.3
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1790
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 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.01 c t 0.0s| 1 | 0 | 0 | - |1232k| 0 | 0 | 371 | 202 | 371 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 24 | - |1271k| 0 | 0 | 371 | 202 | 371 | 26 | 26 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 54 | - |1287k| 0 | 22 | 371 | 202 | 371 | 41 | 41 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 69 | - |1350k| 0 | 28 | 371 | 202 | 371 | 51 | 51 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 78 | - |1586k| 0 | 28 | 371 | 202 | 371 | 56 | 56 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.04/0.05 c 0.0s| 1 | 0 | 87 | - |1645k| 0 | 28 | 371 | 202 | 371 | 59 | 59 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.04/0.06 c 0.1s| 1 | 0 | 103 | - |1934k| 0 | 37 | 371 | 202 | 371 | 60 | 60 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
0.09/0.13 c 0.1s| 1 | 2 | 103 | - |1940k| 0 | 37 | 371 | 202 | 371 | 60 | 60 | 0 | 33 | 0.000000e+00 | 4.943000e+03 | Inf
0.49/0.56 o 723
0.49/0.56 c * 0.6s| 138 | 137 | 1118 | 7.4 |2117k| 46 | - | 371 | 202 | 371 | 67 | 79 | 0 | 370 | 0.000000e+00 | 7.230000e+02 | Inf
0.49/0.58 o 659
0.49/0.58 c * 0.6s| 188 | 179 | 1227 | 6.0 |2217k| 46 | - | 371 | 204 | 371 | 62 | 84 | 2 | 374 | 0.000000e+00 | 6.590000e+02 | Inf
1.59/1.61 o 409
1.59/1.61 c * 1.6s| 3110 | 2863 | 8290 | 2.6 |4416k| 103 | - | 371 | 264 | 371 | 64 | 741 | 62 | 798 | 0.000000e+00 | 4.090000e+02 | Inf
1.69/1.75 o 392
1.69/1.75 c * 1.8s| 3539 | 3147 | 9376 | 2.6 |4791k| 103 | - | 371 | 337 | 371 | 63 | 763 | 140 | 826 | 0.000000e+00 | 3.920000e+02 | Inf
1.69/1.76 o 388
1.69/1.76 c * 1.8s| 3558 | 3149 | 9416 | 2.6 |4808k| 103 | - | 371 | 342 | 371 | 63 | 763 | 145 | 826 | 0.000000e+00 | 3.880000e+02 | Inf
1.79/1.83 o 290
1.79/1.83 c * 1.8s| 3813 | 3105 | 9763 | 2.5 |4819k| 103 | - | 371 | 362 | 371 | 65 | 769 | 165 | 831 | 0.000000e+00 | 2.900000e+02 | Inf
1.79/1.84 o 269
1.79/1.84 c * 1.8s| 3825 | 3005 | 9802 | 2.5 |4774k| 103 | - | 371 | 366 | 371 | 65 | 769 | 169 | 831 | 0.000000e+00 | 2.690000e+02 | Inf
1.99/2.02 o 213
1.99/2.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.02 c * 2.0s| 4348 | 2841 | 10599 | 2.4 |4900k| 103 | - | 371 | 479 | 371 | 66 | 800 | 308 | 840 | 0.000000e+00 | 2.130000e+02 | Inf
2.29/2.39 o 210
2.29/2.39 c * 2.4s| 5370 | 3341 | 12650 | 2.3 |5656k| 103 | - | 371 | 823 | 371 | 72 | 875 | 668 | 879 | 0.000000e+00 | 2.100000e+02 | Inf
2.49/2.53 o 207
2.49/2.53 c * 2.5s| 5724 | 3438 | 13531 | 2.3 |5872k| 103 | - | 371 | 931 | 371 | 74 | 906 | 803 | 896 | 0.000000e+00 | 2.070000e+02 | Inf
2.59/2.66 o 188
2.59/2.66 c * 2.7s| 6096 | 3472 | 14335 | 2.3 |6037k| 119 | - | 371 |1015 | 371 | 67 | 941 | 892 | 904 | 0.000000e+00 | 1.880000e+02 | Inf
2.79/2.82 o 182
2.79/2.82 c * 2.8s| 6520 | 3575 | 15425 | 2.4 |6316k| 119 | - | 371 |1134 | 371 | 66 | 974 |1042 | 929 | 0.000000e+00 | 1.820000e+02 | Inf
2.99/3.00 o 174
2.99/3.00 c * 3.0s| 6923 | 3666 | 16815 | 2.4 |6527k| 119 | - | 371 |1246 | 371 | 60 |1023 |1176 | 951 | 0.000000e+00 | 1.740000e+02 | Inf
3.19/3.29 o 171
3.19/3.29 c * 3.3s| 7726 | 3887 | 18281 | 2.4 |6989k| 119 | - | 371 |1523 | 371 | 63 |1049 |1496 | 961 | 0.000000e+00 | 1.710000e+02 | Inf
3.39/3.43 o 167
3.39/3.43 c * 3.4s| 8151 | 4037 | 19011 | 2.3 |7193k| 119 | - | 371 |1633 | 371 | 65 |1070 |1620 | 965 | 0.000000e+00 | 1.670000e+02 | Inf
3.59/3.61 o 142
3.59/3.61 c * 3.6s| 8580 | 3642 | 20211 | 2.3 |6995k| 119 | - | 371 |1780 | 371 | 65 |1111 |1806 | 973 | 0.000000e+00 | 1.420000e+02 | Inf
3.69/3.71 o 133
3.69/3.71 c * 3.7s| 8797 | 3487 | 20758 | 2.3 |6914k| 119 | - | 371 |1834 | 371 | 62 |1121 |1903 | 980 | 0.000000e+00 | 1.330000e+02 | Inf
4.09/4.19 c 4.2s| 10000 | 3741 | 23620 | 2.4 |7513k| 119 | 1 | 371 |2102 | 371 | 69 |1172 |2439 |1033 | 0.000000e+00 | 1.330000e+02 | Inf
5.80/5.87 o 131
5.80/5.87 c * 5.9s| 14352 | 4679 | 33145 | 2.3 |9322k| 136 | - | 371 |1765 | 371 | 64 |1379 |4721 |1100 | 0.000000e+00 | 1.310000e+02 | Inf
5.89/5.94 o 130
5.89/5.94 c * 5.9s| 14503 | 4737 | 33899 | 2.3 |9373k| 136 | - | 371 |1634 | 371 | 62 |1411 |4775 |1101 | 0.000000e+00 | 1.300000e+02 | Inf
6.09/6.11 o 129
6.09/6.11 c * 6.1s| 14896 | 4813 | 34965 | 2.3 |9491k| 136 | - | 371 |1457 | 371 | 68 |1443 |4973 |1102 | 0.000000e+00 | 1.290000e+02 | Inf
6.09/6.16 o 126
6.09/6.16 c * 6.2s| 14995 | 4813 | 35499 | 2.4 |9526k| 136 | - | 371 |1406 | 371 | 69 |1468 |5026 |1103 | 0.000000e+00 | 1.260000e+02 | Inf
6.09/6.16 o 124
6.09/6.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.09/6.16 c * 6.2s| 14996 | 4752 | 35506 | 2.4 |9449k| 136 | - | 371 |1406 | 371 | 69 |1468 |5026 |1103 | 0.000000e+00 | 1.240000e+02 | Inf
6.69/6.79 o 122
6.69/6.79 c * 6.8s| 16550 | 5255 | 41050 | 2.5 | 10M| 136 | - | 371 |1104 | 371 | 67 |1666 |5770 |1120 | 0.000000e+00 | 1.220000e+02 | Inf
6.79/6.84 o 121
6.79/6.84 c * 6.8s| 16672 | 5302 | 41760 | 2.5 | 10M| 136 | - | 371 |1108 | 371 | 65 |1688 |5816 |1125 | 0.000000e+00 | 1.210000e+02 | Inf
7.19/7.27 o 111
7.19/7.27 c * 7.3s| 17779 | 5496 | 45799 | 2.6 | 10M| 136 | - | 371 |1076 | 371 | 66 |1814 |6275 |1147 | 0.000000e+00 | 1.110000e+02 | Inf
7.19/7.27 o 110
7.19/7.27 c * 7.3s| 17780 | 5460 | 45806 | 2.6 | 10M| 136 | - | 371 |1076 | 371 | 66 |1814 |6275 |1147 | 0.000000e+00 | 1.100000e+02 | Inf
7.60/7.61 o 102
7.60/7.61 c * 7.6s| 18611 | 5461 | 49644 | 2.7 | 10M| 136 | - | 371 |1118 | 371 | 60 |1874 |6735 |1157 | 0.000000e+00 | 1.020000e+02 | Inf
7.99/8.07 o 97
7.99/8.07 c * 8.1s| 19800 | 5664 | 53612 | 2.7 | 11M| 141 | - | 371 | 865 | 371 | 62 |1944 |7328 |1167 | 0.000000e+00 | 9.700000e+01 | Inf
8.09/8.13 o 90
8.09/8.13 c * 8.1s| 19978 | 5427 | 54036 | 2.7 | 10M| 141 | - | 371 | 797 | 371 | 65 |1957 |7431 |1167 | 0.000000e+00 | 9.000000e+01 | Inf
8.09/8.14 c 8.1s| 20000 | 5444 | 54075 | 2.7 | 10M| 141 | 0 | 371 | 755 | 371 | 61 |1962 |7434 |1167 | 0.000000e+00 | 9.000000e+01 | Inf
8.39/8.41 o 85
8.39/8.41 c * 8.4s| 20741 | 5673 | 56819 | 2.7 | 11M| 141 | - | 371 | 880 | 371 | 58 |2026 |7744 |1178 | 0.000000e+00 | 8.500000e+01 | Inf
8.39/8.43 o 78
8.39/8.43 c * 8.4s| 20795 | 5459 | 57054 | 2.7 | 11M| 141 | - | 371 | 873 | 371 | 60 |2029 |7763 |1178 | 0.000000e+00 | 7.800000e+01 | Inf
8.39/8.43 o 75
8.39/8.43 c * 8.4s| 20799 | 5333 | 57088 | 2.7 | 10M| 141 | - | 371 | 860 | 371 | 60 |2029 |7763 |1178 | 0.000000e+00 | 7.500000e+01 | Inf
8.69/8.73 o 48
8.69/8.73 c * 8.7s| 21605 | 4257 | 60397 | 2.8 |9441k| 141 | - | 371 |1012 | 371 | 63 |2115 |8146 |1184 | 0.000000e+00 | 4.800000e+01 | Inf
8.80/8.88 o 47
8.80/8.88 c * 8.9s| 21961 | 4313 | 62200 | 2.8 |9535k| 141 | - | 371 |1008 | 371 | 61 |2195 |8364 |1185 | 0.000000e+00 | 4.700000e+01 | Inf
8.89/8.96 o 46
8.89/8.96 c * 9.0s| 22126 | 3889 | 63158 | 2.8 |8871k| 141 | - | 371 |1031 | 371 | 60 |2244 |8484 |1186 | 0.000000e+00 | 4.600000e+01 | Inf
11.00/11.09 o 45
11.00/11.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.00/11.09 c *11.1s| 27989 | 4863 | 86618 | 3.1 | 11M| 141 | - | 371 |2658 | 371 | 58 |2675 | 12k|1214 | 0.000000e+00 | 4.500000e+01 | Inf
11.19/11.21 o 43
11.19/11.21 c *11.2s| 28332 | 4923 | 87740 | 3.1 | 11M| 141 | - | 371 |2735 | 371 | 61 |2711 | 12k|1214 | 0.000000e+00 | 4.300000e+01 | Inf
11.79/11.87 c 11.9s| 30000 | 5192 | 94275 | 3.1 | 11M| 141 | 2 | 371 |2461 | 371 | 64 |2829 | 13k|1215 | 0.000000e+00 | 4.300000e+01 | Inf
12.59/12.67 o 24
12.59/12.67 c *12.7s| 32131 | 4928 |103057 | 3.2 | 11M| 141 | - | 371 |2478 | 371 | 58 |2993 | 15k|1215 | 0.000000e+00 | 2.400000e+01 | Inf
13.20/13.23 o 17
13.20/13.23 c *13.2s| 33151 | 4255 |111814 | 3.4 | 10M| 141 | - | 371 |1896 | 371 | 64 |3133 | 16k|1220 | 0.000000e+00 | 1.700000e+01 | Inf
13.39/13.44 o 14
13.39/13.44 c *13.4s| 33376 | 3806 |116592 | 3.5 | 10M| 141 | - | 371 |1365 | 371 | 62 |3165 | 16k|1220 | 0.000000e+00 | 1.400000e+01 | Inf
13.69/13.77 o 3
13.69/13.77 c *13.8s| 33826 | 2547 |123493 | 3.6 |8668k| 141 | - | 371 |1254 | 371 | 60 |3243 | 17k|1235 | 0.000000e+00 | 3.000000e+00 | Inf
13.89/13.96 c
13.89/13.96 c SCIP Status : problem is solved [optimal solution found]
13.89/13.96 c Solving Time (sec) : 13.95
13.89/13.96 c Solving Nodes : 33988
13.89/13.96 c Primal Bound : +3.00000000000000e+00 (212 solutions)
13.89/13.96 c Dual Bound : +3.00000000000000e+00
13.89/13.96 c Gap : 0.00 %
13.89/13.96 s OPTIMUM FOUND
13.89/13.96 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148
13.89/13.96 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
13.89/13.96 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106
13.89/13.96 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
13.89/13.96 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56
13.89/13.96 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
13.89/13.96 v x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
13.89/13.96 v -x4 -x3 -x2 -x1
13.89/13.96 c SCIP Status : problem is solved [optimal solution found]
13.89/13.96 c Solving Time : 13.95
13.89/13.96 c Original Problem :
13.89/13.96 c Problem name : HOME/instance-2705652-1278576766.wbo
13.89/13.96 c Variables : 371 (270 binary, 0 integer, 101 implicit integer, 0 continuous)
13.89/13.96 c Constraints : 203 initial, 203 maximal
13.89/13.96 c Presolved Problem :
13.89/13.96 c Problem name : t_HOME/instance-2705652-1278576766.wbo
13.89/13.96 c Variables : 371 (270 binary, 0 integer, 101 implicit integer, 0 continuous)
13.89/13.96 c Constraints : 202 initial, 2858 maximal
13.89/13.96 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
13.89/13.96 c trivial : 0.00 0 0 0 0 0 0 0 0
13.89/13.96 c dualfix : 0.00 0 0 0 0 0 0 0 0
13.89/13.96 c boundshift : 0.00 0 0 0 0 0 0 0 0
13.89/13.96 c inttobinary : 0.00 0 0 0 0 0 0 0 0
13.89/13.96 c implics : 0.00 0 0 0 0 0 0 0 0
13.89/13.96 c probing : 0.00 0 0 0 0 0 0 0 0
13.89/13.96 c linear : 0.00 0 0 0 101 0 1 0 0
13.89/13.96 c indicator : 0.00 0 0 0 0 0 0 0 0
13.89/13.96 c logicor : 0.00 0 0 0 0 0 0 0 0
13.89/13.96 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
13.89/13.96 c root node : - 198 - - 198 - - - -
13.89/13.96 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
13.89/13.96 c integral : 0 0 0 25038 0 1 25 0 0 22830
13.89/13.96 c linear : 101 6 132714 13477 0 4980 488423 3253 0 0
13.89/13.96 c indicator : 101 0 127588 13587 0 773 165081 0 0 0
13.89/13.96 c logicor : 0+ 0 34340 0 0 763 15470 0 0 0
13.89/13.96 c bounddisjunction : 0+ 0 26796 0 0 64 4805 0 0 0
13.89/13.96 c countsols : 0 0 0 11689 0 0 0 0 0 0
13.89/13.96 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
13.89/13.96 c integral : 0.76 0.00 0.00 0.76 0.00
13.89/13.96 c linear : 1.82 0.00 1.75 0.07 0.00
13.89/13.96 c indicator : 0.36 0.00 0.29 0.07 0.00
13.89/13.96 c logicor : 0.44 0.00 0.44 0.00 0.00
13.89/13.96 c bounddisjunction : 0.32 0.00 0.32 0.00 0.00
13.89/13.96 c countsols : 0.00 0.00 0.00 0.00 0.00
13.89/13.96 c Propagators : Time Calls Cutoffs DomReds
13.89/13.96 c vbounds : 0.20 25597 1 8663
13.89/13.96 c rootredcost : 0.02 41 0 99
13.89/13.96 c pseudoobj : 0.91 136099 3372 175477
13.89/13.96 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
13.89/13.96 c propagation : 0.77 9179 9161 47819 27.7 142 30.1 -
13.89/13.96 c infeasible LP : 0.12 2100 2091 12390 20.5 19 22.1 0
13.89/13.96 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
13.89/13.96 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
13.89/13.96 c pseudo solution : 0.00 2 2 13 14.6 0 0.0 -
13.89/13.96 c applied globally : - - - 17038 17.5 - - -
13.89/13.96 c applied locally : - - - 809 35.7 - - -
13.89/13.96 c Separators : Time Calls Cutoffs DomReds Cuts Conss
13.89/13.96 c cut pool : 0.00 3 - - 36 - (maximal pool size: 123)
13.89/13.96 c redcost : 0.21 25879 0 6101 0 0
13.89/13.96 c impliedbounds : 0.00 4 0 0 0 0
13.89/13.96 c intobj : 0.00 0 0 0 0 0
13.89/13.96 c cgmip : 0.00 0 0 0 0 0
13.89/13.96 c gomory : 0.01 4 0 0 111 0
13.89/13.96 c strongcg : 0.01 4 0 0 128 0
13.89/13.96 c cmir : 0.00 4 0 0 0 0
13.89/13.96 c flowcover : 0.01 4 0 0 0 0
13.89/13.96 c clique : 0.00 1 0 0 0 0
13.89/13.96 c zerohalf : 0.00 0 0 0 0 0
13.89/13.96 c mcf : 0.00 1 0 0 0 0
13.89/13.96 c rapidlearning : 0.02 1 0 0 0 0
13.89/13.96 c Pricers : Time Calls Vars
13.89/13.96 c problem variables: 0.00 0 0
13.89/13.96 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
13.89/13.96 c relpscost : 0.75 11440 1 25 0 0 22830
13.89/13.96 c pscost : 0.00 0 0 0 0 0 0
13.89/13.96 c inference : 0.23 11648 0 0 0 0 23553
13.89/13.96 c mostinf : 0.00 0 0 0 0 0 0
13.89/13.96 c leastinf : 0.00 0 0 0 0 0 0
13.89/13.96 c fullstrong : 0.00 0 0 0 0 0 0
13.89/13.96 c allfullstrong : 0.00 0 0 0 0 0 0
13.89/13.96 c random : 0.00 0 0 0 0 0 0
13.89/13.96 c Primal Heuristics : Time Calls Found
13.89/13.96 c LP solutions : 0.02 - 41
13.89/13.96 c pseudo solutions : 0.00 - 0
13.89/13.96 c feaspump : 0.00 0 0
13.89/13.96 c oneopt : 0.03 39 0
13.89/13.96 c crossover : 0.24 22 0
13.89/13.96 c linesearchdiving : 0.04 211 0
13.89/13.96 c guideddiving : 0.05 211 0
13.89/13.96 c veclendiving : 0.04 211 0
13.89/13.96 c coefdiving : 0.05 212 0
13.89/13.96 c pscostdiving : 0.03 212 0
13.89/13.96 c fracdiving : 0.03 212 0
13.89/13.96 c rootsoldiving : 0.02 201 0
13.89/13.96 c objpscostdiving : 0.02 202 0
13.89/13.96 c trivial : 0.00 2 2
13.89/13.96 c simplerounding : 0.01 11572 0
13.89/13.96 c zirounding : 0.02 1000 0
13.89/13.96 c rounding : 0.03 1436 0
13.89/13.96 c shifting : 0.03 418 0
13.89/13.96 c intshifting : 0.00 0 0
13.89/13.96 c twoopt : 0.00 0 0
13.89/13.96 c fixandinfer : 0.00 0 0
13.89/13.96 c intdiving : 0.00 0 0
13.89/13.96 c actconsdiving : 0.00 0 0
13.89/13.96 c octane : 0.00 0 0
13.89/13.96 c rens : 0.01 1 0
13.89/13.96 c rins : 0.00 0 0
13.89/13.96 c localbranching : 0.00 0 0
13.89/13.96 c mutation : 0.00 0 0
13.89/13.96 c dins : 0.00 0 0
13.89/13.96 c undercover : 0.00 0 0
13.89/13.96 c nlp : 0.00 0 0
13.89/13.96 c trysol : 0.03 624 169
13.89/13.96 c LP : Time Calls Iterations Iter/call Iter/sec
13.89/13.96 c primal LP : 0.00 0 0 0.00 -
13.89/13.96 c dual LP : 4.74 17511 126050 7.20 26588.28
13.89/13.96 c lex dual LP : 0.00 0 0 0.00 -
13.89/13.96 c barrier LP : 0.00 0 0 0.00 -
13.89/13.96 c diving/probing LP: 0.08 434 1807 4.16 23909.71
13.89/13.96 c strong branching : 0.71 1241 28941 23.32 40920.41
13.89/13.96 c (at root node) : - 33 2559 77.55 -
13.89/13.96 c conflict analysis: 0.00 0 0 0.00 -
13.89/13.96 c B&B Tree :
13.89/13.96 c number of runs : 1
13.89/13.96 c nodes : 33988
13.89/13.96 c nodes (total) : 33988
13.89/13.96 c nodes left : 0
13.89/13.96 c max depth : 141
13.89/13.96 c max depth (total): 141
13.89/13.96 c backtracks : 2941 (8.7%)
13.89/13.96 c delayed cutoffs : 4606
13.89/13.96 c repropagations : 66029 (89021 domain reductions, 1054 cutoffs)
13.89/13.96 c avg switch length: 6.41
13.89/13.96 c switching time : 1.36
13.89/13.96 c Solution :
13.89/13.96 c Solutions found : 212 (42 improvements)
13.89/13.96 c First Solution : +4.94300000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
13.89/13.96 c Primal Bound : +3.00000000000000e+00 (in run 1, after 33826 nodes, 13.77 seconds, depth 18, found by <relaxation>)
13.89/13.96 c Dual Bound : +3.00000000000000e+00
13.89/13.96 c Gap : 0.00 %
13.89/13.96 c Root Dual Bound : +0.00000000000000e+00
13.89/13.96 c Root Iterations : 103
13.89/13.96 c Time complete: 13.96.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705652-1278576766/watcher-2705652-1278576766 -o /tmp/evaluation-result-2705652-1278576766/solver-2705652-1278576766 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705652-1278576766.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 1.97 1.91 4/178 22637
/proc/meminfo: memFree=29742616/32951124 swapFree=67111528/67111528
[pid=22637] ppid=22635 vsize=12508 CPUtime=0
/proc/22637/stat : 22637 (pbscip.linux.x8) R 22635 22637 21566 0 -1 4202496 1971 0 0 0 0 0 0 0 25 0 1 0 25888813 12808192 1889 4089446400 4194304 10345943 140734264616720 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22637/statm: 3127 1889 429 1502 0 1620 0
[startup+0.0528281 s]
/proc/loadavg: 1.98 1.97 1.91 4/178 22637
/proc/meminfo: memFree=29742616/32951124 swapFree=67111528/67111528
[pid=22637] ppid=22635 vsize=25748 CPUtime=0.04
/proc/22637/stat : 22637 (pbscip.linux.x8) R 22635 22637 21566 0 -1 4202496 5441 0 0 0 4 0 0 0 25 0 1 0 25888813 26365952 5006 4089446400 4194304 10345943 140734264616720 18446744073709551615 5834336 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 6437 5006 736 1502 0 4930 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25748
[startup+0.100809 s]
/proc/loadavg: 1.98 1.97 1.91 4/178 22637
/proc/meminfo: memFree=29742616/32951124 swapFree=67111528/67111528
[pid=22637] ppid=22635 vsize=28188 CPUtime=0.09
/proc/22637/stat : 22637 (pbscip.linux.x8) R 22635 22637 21566 0 -1 4202496 6050 0 0 0 8 1 0 0 25 0 1 0 25888813 28864512 5615 4089446400 4194304 10345943 140734264616720 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 7047 5615 746 1502 0 5540 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28188
[startup+0.300772 s]
/proc/loadavg: 1.98 1.97 1.91 4/178 22637
/proc/meminfo: memFree=29742616/32951124 swapFree=67111528/67111528
[pid=22637] ppid=22635 vsize=28188 CPUtime=0.29
/proc/22637/stat : 22637 (pbscip.linux.x8) R 22635 22637 21566 0 -1 4202496 6057 0 0 0 28 1 0 0 25 0 1 0 25888813 28864512 5622 4089446400 4194304 10345943 140734264616720 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 7047 5622 753 1502 0 5540 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28188
[startup+0.700703 s]
/proc/loadavg: 1.98 1.97 1.91 4/178 22637
/proc/meminfo: memFree=29742616/32951124 swapFree=67111528/67111528
[pid=22637] ppid=22635 vsize=28188 CPUtime=0.69
/proc/22637/stat : 22637 (pbscip.linux.x8) R 22635 22637 21566 0 -1 4202496 6069 0 0 0 67 2 0 0 25 0 1 0 25888813 28864512 5634 4089446400 4194304 10345943 140734264616720 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 7047 5634 764 1502 0 5540 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28188
[startup+1.50056 s]
/proc/loadavg: 1.98 1.97 1.91 3/179 22638
/proc/meminfo: memFree=29721280/32951124 swapFree=67111528/67111528
[pid=22637] ppid=22635 vsize=28188 CPUtime=1.49
/proc/22637/stat : 22637 (pbscip.linux.x8) R 22635 22637 21566 0 -1 4202496 6077 0 0 0 146 3 0 0 25 0 1 0 25888813 28864512 5642 4089446400 4194304 10345943 140734264616720 18446744073709551615 6119667 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 7047 5642 764 1502 0 5540 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28188
[startup+3.10027 s]
/proc/loadavg: 1.98 1.97 1.91 3/179 22638
/proc/meminfo: memFree=29721404/32951124 swapFree=67111528/67111528
[pid=22637] ppid=22635 vsize=28052 CPUtime=3.09
/proc/22637/stat : 22637 (pbscip.linux.x8) R 22635 22637 21566 0 -1 4202496 13138 0 0 0 305 4 0 0 25 0 1 0 25888813 28725248 5669 4089446400 4194304 10345943 140734264616720 18446744073709551615 5614446 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 7013 5669 764 1502 0 5506 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28052
[startup+6.3007 s]
/proc/loadavg: 1.98 1.97 1.91 3/179 22638
/proc/meminfo: memFree=29716572/32951124 swapFree=67111528/67111528
[pid=22637] ppid=22635 vsize=32404 CPUtime=6.29
/proc/22637/stat : 22637 (pbscip.linux.x8) R 22635 22637 21566 0 -1 4202496 26520 0 0 0 622 7 0 0 25 0 1 0 25888813 33181696 6789 4089446400 4194304 10345943 140734264616720 18446744073709551615 8930630 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 8101 6789 764 1502 0 6594 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32404
[startup+12.7005 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 22639
/proc/meminfo: memFree=29710368/32951124 swapFree=67111528/67111528
[pid=22637] ppid=22635 vsize=45060 CPUtime=12.69
/proc/22637/stat : 22637 (pbscip.linux.x8) R 22635 22637 21566 0 -1 4202496 53237 0 0 0 1255 14 0 0 25 0 1 0 25888813 46141440 9824 4089446400 4194304 10345943 140734264616720 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 11265 9824 796 1502 0 9758 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45060
Solver just ended. Dumping a history of the last processes samples
[startup+13.5004 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 22639
/proc/meminfo: memFree=29699456/32951124 swapFree=67111528/67111528
[pid=22637] ppid=22635 vsize=46732 CPUtime=13.49
/proc/22637/stat : 22637 (pbscip.linux.x8) R 22635 22637 21566 0 -1 4202496 53682 0 0 0 1334 15 0 0 25 0 1 0 25888813 47853568 10269 4089446400 4194304 10345943 140734264616720 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 11683 10269 797 1502 0 10176 0
Current children cumulated CPU time (s) 13.49
Current children cumulated vsize (KiB) 46732
[startup+13.9003 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 22639
/proc/meminfo: memFree=29699456/32951124 swapFree=67111528/67111528
[pid=22637] ppid=22635 vsize=46732 CPUtime=13.89
/proc/22637/stat : 22637 (pbscip.linux.x8) R 22635 22637 21566 0 -1 4202496 53686 0 0 0 1374 15 0 0 25 0 1 0 25888813 47853568 10273 4089446400 4194304 10345943 140734264616720 18446744073709551615 6325647 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22637/statm: 11683 10273 797 1502 0 10176 0
Current children cumulated CPU time (s) 13.89
Current children cumulated vsize (KiB) 46732
Child status: 0
Real time (s): 13.9673
CPU time (s): 13.9669
CPU user time (s): 13.8059
CPU system time (s): 0.160975
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 46732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8059
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53690
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 11
runsolver used 0.029995 second user time and 0.050992 second system time
The end
Begin job on node145 at 2010-07-08 10:12:46
IDJOB=2705652
IDBENCH=79238
IDSOLVER=1214
FILE ID=node145/2705652-1278576766
PBS_JOBID= 11240165
Free space on /tmp= 73596 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111228076--soft-0-100-0.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-2705652-1278576766/watcher-2705652-1278576766 -o /tmp/evaluation-result-2705652-1278576766/solver-2705652-1278576766 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705652-1278576766.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 769102c4365831847599c548efd52eec
RANDOM SEED=1221766609
node145.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.859
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.71
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.859
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.83
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.859
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.859
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.83
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.859
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.74
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.859
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.859
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.859
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29741532 kB
Buffers: 162680 kB
Cached: 2559996 kB
SwapCached: 0 kB
Active: 1733832 kB
Inactive: 1325012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29741532 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12984 kB
Writeback: 0 kB
AnonPages: 336240 kB
Mapped: 17772 kB
Slab: 86848 kB
PageTables: 5292 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 500104 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= 73584 MiB
End job on node145 at 2010-07-08 10:13:00