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-2705656-1278576777.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 5033
0.00/0.00 c feasible solution found by trivial heuristic, objective value 5.033000e+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 | 5.033000e+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 | 5.033000e+03 | Inf
0.00/0.03 c 0.0s| 1 | 0 | 53 | - |1287k| 0 | 21 | 371 | 202 | 371 | 41 | 41 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 75 | - |1400k| 0 | 27 | 371 | 202 | 371 | 49 | 49 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.00/0.04 c 0.0s| 1 | 0 | 90 | - |1540k| 0 | 20 | 371 | 202 | 371 | 51 | 51 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.04/0.05 c 0.0s| 1 | 0 | 109 | - |1578k| 0 | 31 | 371 | 202 | 371 | 55 | 55 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.04/0.06 c 0.1s| 1 | 0 | 111 | - |1604k| 0 | 30 | 371 | 202 | 371 | 56 | 56 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.09/0.10 c 0.1s| 1 | 2 | 111 | - |1609k| 0 | 30 | 371 | 202 | 371 | 56 | 56 | 0 | 30 | 0.000000e+00 | 5.033000e+03 | Inf
0.49/0.54 o 578
0.49/0.54 c * 0.5s| 378 | 380 | 910 | 2.1 |1975k| 63 | - | 371 | 202 | 371 | 59 | 87 | 0 | 446 | 0.000000e+00 | 5.780000e+02 | Inf
0.49/0.55 o 561
0.49/0.55 c * 0.5s| 445 | 439 | 965 | 1.9 |2054k| 108 | - | 371 | 209 | 371 | 59 | 87 | 7 | 446 | 0.000000e+00 | 5.610000e+02 | Inf
0.49/0.55 o 533
0.49/0.55 c * 0.6s| 454 | 436 | 987 | 1.9 |2067k| 108 | - | 371 | 210 | 371 | 59 | 87 | 9 | 447 | 0.000000e+00 | 5.330000e+02 | Inf
0.49/0.59 o 430
0.49/0.59 c * 0.6s| 559 | 515 | 1204 | 2.0 |2163k| 108 | - | 371 | 224 | 371 | 57 | 96 | 25 | 457 | 0.000000e+00 | 4.300000e+02 | Inf
0.89/0.93 o 416
0.89/0.93 c * 0.9s| 1729 | 1585 | 3097 | 1.7 |3065k| 108 | - | 371 | 321 | 371 | 57 | 203 | 126 | 553 | 0.000000e+00 | 4.160000e+02 | Inf
0.89/0.93 o 410
0.89/0.93 c * 0.9s| 1730 | 1582 | 3097 | 1.7 |3071k| 108 | - | 371 | 321 | 371 | 57 | 203 | 126 | 553 | 0.000000e+00 | 4.100000e+02 | Inf
1.29/1.38 o 407
1.29/1.38 c * 1.4s| 3565 | 3334 | 4219 | 1.2 |4184k| 131 | - | 371 | 380 | 371 | 56 | 313 | 190 | 583 | 0.000000e+00 | 4.070000e+02 | Inf
1.39/1.45 o 379
1.39/1.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.45 c * 1.4s| 3813 | 3525 | 4511 | 1.2 |4350k| 131 | - | 371 | 406 | 371 | 58 | 339 | 218 | 597 | 0.000000e+00 | 3.790000e+02 | Inf
1.39/1.45 o 378
1.39/1.45 c * 1.4s| 3814 | 3523 | 4523 | 1.2 |4354k| 131 | - | 371 | 406 | 371 | 58 | 339 | 218 | 597 | 0.000000e+00 | 3.780000e+02 | Inf
1.39/1.49 o 377
1.39/1.49 c * 1.5s| 3923 | 3570 | 4790 | 1.2 |4430k| 131 | - | 371 | 436 | 371 | 63 | 352 | 249 | 618 | 0.000000e+00 | 3.770000e+02 | Inf
1.49/1.54 o 353
1.49/1.54 c * 1.5s| 4065 | 3650 | 5174 | 1.2 |4514k| 131 | - | 371 | 460 | 371 | 57 | 357 | 274 | 629 | 0.000000e+00 | 3.530000e+02 | Inf
1.69/1.73 o 344
1.69/1.73 c * 1.7s| 4681 | 4070 | 5717 | 1.2 |4926k| 131 | - | 371 | 563 | 371 | 60 | 378 | 384 | 658 | 0.000000e+00 | 3.440000e+02 | Inf
1.79/1.80 o 245
1.79/1.80 c * 1.8s| 4941 | 3983 | 5829 | 1.2 |4840k| 131 | - | 371 | 570 | 371 | 55 | 385 | 396 | 661 | 0.000000e+00 | 2.450000e+02 | Inf
1.99/2.03 o 241
1.99/2.03 c * 2.0s| 5662 | 4456 | 6713 | 1.2 |5287k| 131 | - | 371 | 712 | 371 | 67 | 422 | 541 | 707 | 0.000000e+00 | 2.410000e+02 | Inf
1.99/2.04 o 217
1.99/2.04 c * 2.0s| 5691 | 4352 | 6729 | 1.2 |5243k| 131 | - | 371 | 716 | 371 | 57 | 422 | 545 | 707 | 0.000000e+00 | 2.170000e+02 | Inf
2.19/2.27 o 214
2.19/2.27 c * 2.3s| 6387 | 4725 | 7836 | 1.2 |5730k| 131 | - | 371 | 941 | 371 | 57 | 439 | 783 | 741 | 0.000000e+00 | 2.140000e+02 | Inf
2.29/2.35 o 193
2.29/2.35 c * 2.3s| 6638 | 4750 | 8287 | 1.2 |5828k| 131 | - | 371 | 982 | 371 | 67 | 450 | 828 | 751 | 0.000000e+00 | 1.930000e+02 | Inf
2.39/2.41 o 172
2.39/2.41 c * 2.4s| 6760 | 4595 | 8866 | 1.3 |5761k| 131 | - | 371 |1028 | 371 | 57 | 461 | 878 | 804 | 0.000000e+00 | 1.720000e+02 | Inf
2.59/2.61 o 152
2.59/2.61 c * 2.6s| 7282 | 4282 | 9937 | 1.3 |5850k| 131 | - | 371 |1313 | 371 | 57 | 513 |1191 | 820 | 0.000000e+00 | 1.520000e+02 | Inf
2.59/2.69 o 148
2.59/2.69 c * 2.7s| 7459 | 4232 | 10337 | 1.4 |5877k| 131 | - | 371 |1372 | 371 | 60 | 525 |1284 | 835 | 0.000000e+00 | 1.480000e+02 | Inf
2.59/2.69 o 139
2.59/2.69 c * 2.7s| 7461 | 4070 | 10356 | 1.4 |5790k| 131 | - | 371 |1372 | 371 | 61 | 526 |1284 | 835 | 0.000000e+00 | 1.390000e+02 | Inf
3.59/3.68 c 3.7s| 10000 | 4809 | 16149 | 1.6 |7386k| 131 | - | 371 |2301 | 0 | 0 | 647 |2606 | 941 | 0.000000e+00 | 1.390000e+02 | Inf
4.29/4.30 o 125
4.29/4.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.29/4.30 c * 4.3s| 11515 | 4995 | 19900 | 1.7 |8064k| 133 | - | 371 |2535 | 371 | 59 | 683 |3498 |1006 | 0.000000e+00 | 1.250000e+02 | Inf
5.59/5.64 o 118
5.59/5.64 c * 5.6s| 14938 | 5560 | 26740 | 1.8 |9492k| 141 | - | 371 |2444 | 371 | 58 | 824 |5289 |1088 | 0.000000e+00 | 1.180000e+02 | Inf
5.99/6.06 o 116
5.99/6.06 c * 6.1s| 15932 | 5691 | 28886 | 1.8 |9795k| 148 | - | 371 |2140 | 371 | 57 | 897 |5917 |1116 | 0.000000e+00 | 1.160000e+02 | Inf
7.39/7.50 c 7.5s| 20000 | 6933 | 36427 | 1.8 | 11M| 148 | 1 | 371 |1868 | 371 | 65 |1049 |7961 |1174 | 0.000000e+00 | 1.160000e+02 | Inf
10.29/10.38 o 108
10.29/10.38 c *10.4s| 28192 | 7932 | 48550 | 1.7 | 13M| 148 | - | 371 |2107 | 371 | 65 |1268 | 12k|1199 | 0.000000e+00 | 1.080000e+02 | Inf
10.29/10.38 o 105
10.29/10.38 c *10.4s| 28193 | 7898 | 48557 | 1.7 | 13M| 148 | - | 371 |2107 | 371 | 65 |1268 | 12k|1199 | 0.000000e+00 | 1.050000e+02 | Inf
10.69/10.75 o 98
10.69/10.75 c *10.8s| 29129 | 7949 | 50717 | 1.7 | 13M| 148 | - | 371 |1895 | 371 | 63 |1326 | 12k|1200 | 0.000000e+00 | 9.800000e+01 | Inf
10.69/10.76 o 96
10.69/10.76 c *10.8s| 29131 | 7879 | 50748 | 1.7 | 13M| 148 | - | 371 |1844 | 371 | 63 |1326 | 12k|1200 | 0.000000e+00 | 9.600000e+01 | Inf
10.69/10.76 o 93
10.69/10.76 c *10.8s| 29132 | 7773 | 50748 | 1.7 | 13M| 148 | - | 371 |1844 | 371 | 63 |1326 | 12k|1200 | 0.000000e+00 | 9.300000e+01 | Inf
11.00/11.09 c 11.1s| 30000 | 7971 | 52446 | 1.7 | 13M| 148 | 1 | 371 |1554 | 371 | 59 |1385 | 13k|1208 | 0.000000e+00 | 9.300000e+01 | Inf
12.89/12.93 o 92
12.89/12.93 c *12.9s| 34770 | 8917 | 61765 | 1.8 | 16M| 148 | - | 371 |2561 | 371 | 62 |1538 | 16k|1214 | 0.000000e+00 | 9.200000e+01 | Inf
13.20/13.26 o 85
13.20/13.26 c *13.3s| 35569 | 8573 | 63807 | 1.8 | 15M| 148 | - | 371 |2423 | 371 | 65 |1603 | 17k|1216 | 0.000000e+00 | 8.500000e+01 | Inf
13.29/13.31 o 75
13.29/13.31 c *13.3s| 35680 | 8152 | 64159 | 1.8 | 15M| 148 | - | 371 |2177 | 371 | 64 |1614 | 17k|1217 | 0.000000e+00 | 7.500000e+01 | Inf
13.59/13.61 o 71
13.59/13.61 c *13.6s| 36398 | 8185 | 67091 | 1.8 | 15M| 148 | - | 371 |1455 | 371 | 67 |1697 | 17k|1218 | 0.000000e+00 | 7.100000e+01 | Inf
13.59/13.64 o 62
13.59/13.64 c *13.6s| 36460 | 7792 | 67571 | 1.9 | 14M| 148 | - | 371 |1330 | 371 | 66 |1714 | 17k|1218 | 0.000000e+00 | 6.200000e+01 | Inf
13.89/13.92 o 57
13.89/13.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.89/13.92 c *13.9s| 37178 | 7674 | 70075 | 1.9 | 14M| 148 | - | 371 |1014 | 371 | 65 |1782 | 18k|1220 | 0.000000e+00 | 5.700000e+01 | Inf
13.89/13.92 o 40
13.89/13.92 c *13.9s| 37179 | 7145 | 70080 | 1.9 | 13M| 148 | - | 371 |1014 | 371 | 65 |1782 | 18k|1220 | 0.000000e+00 | 4.000000e+01 | Inf
13.89/13.94 o 32
13.89/13.94 c *13.9s| 37224 | 6648 | 70401 | 1.9 | 13M| 148 | - | 371 | 972 | 371 | 57 |1803 | 18k|1222 | 0.000000e+00 | 3.200000e+01 | Inf
13.89/13.97 o 24
13.89/13.97 c *14.0s| 37279 | 5846 | 70736 | 1.9 | 12M| 148 | - | 371 | 951 | 371 | 63 |1830 | 18k|1222 | 0.000000e+00 | 2.400000e+01 | Inf
13.99/14.01 o 19
13.99/14.01 c *14.0s| 37354 | 5433 | 71258 | 1.9 | 11M| 148 | - | 371 | 953 | 371 | 63 |1860 | 18k|1225 | 0.000000e+00 | 1.900000e+01 | Inf
13.99/14.01 o 18
13.99/14.01 c *14.0s| 37360 | 5429 | 71313 | 1.9 | 11M| 148 | - | 371 | 929 | 371 | 66 |1863 | 18k|1225 | 0.000000e+00 | 1.800000e+01 | Inf
13.99/14.01 o 10
13.99/14.01 c *14.0s| 37366 | 3384 | 71332 | 1.9 |9076k| 148 | - | 371 | 929 | 371 | 67 |1864 | 18k|1225 | 0.000000e+00 | 1.000000e+01 | Inf
14.20/14.27 o 9
14.20/14.27 c *14.3s| 37677 | 2798 | 76613 | 2.0 |8523k| 148 | - | 371 | 806 | 371 | 55 |1939 | 18k|1227 | 0.000000e+00 | 9.000000e+00 | Inf
14.49/14.57 c
14.49/14.57 c SCIP Status : problem is solved [optimal solution found]
14.49/14.57 c Solving Time (sec) : 14.57
14.49/14.57 c Solving Nodes : 38128
14.49/14.57 c Primal Bound : +9.00000000000000e+00 (191 solutions)
14.49/14.57 c Dual Bound : +9.00000000000000e+00
14.49/14.57 c Gap : 0.00 %
14.49/14.57 s OPTIMUM FOUND
14.49/14.57 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
14.49/14.57 v x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127
14.49/14.57 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106
14.49/14.57 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
14.49/14.57 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
14.49/14.57 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
14.49/14.57 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
14.49/14.57 v -x4 x3 -x2 -x1
14.49/14.57 c SCIP Status : problem is solved [optimal solution found]
14.49/14.57 c Solving Time : 14.57
14.49/14.57 c Original Problem :
14.49/14.57 c Problem name : HOME/instance-2705656-1278576777.wbo
14.49/14.57 c Variables : 371 (270 binary, 0 integer, 101 implicit integer, 0 continuous)
14.49/14.57 c Constraints : 203 initial, 203 maximal
14.49/14.57 c Presolved Problem :
14.49/14.57 c Problem name : t_HOME/instance-2705656-1278576777.wbo
14.49/14.57 c Variables : 371 (270 binary, 0 integer, 101 implicit integer, 0 continuous)
14.49/14.57 c Constraints : 202 initial, 2674 maximal
14.49/14.57 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
14.49/14.57 c trivial : 0.00 0 0 0 0 0 0 0 0
14.49/14.57 c dualfix : 0.00 0 0 0 0 0 0 0 0
14.49/14.57 c boundshift : 0.00 0 0 0 0 0 0 0 0
14.49/14.57 c inttobinary : 0.00 0 0 0 0 0 0 0 0
14.49/14.57 c implics : 0.00 0 0 0 0 0 0 0 0
14.49/14.57 c probing : 0.00 0 0 0 0 0 0 0 0
14.49/14.57 c linear : 0.00 0 0 0 101 0 1 0 0
14.49/14.57 c indicator : 0.00 0 0 0 0 0 0 0 0
14.49/14.57 c logicor : 0.00 0 0 0 0 0 0 0 0
14.49/14.57 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
14.49/14.57 c root node : - 181 - - 181 - - - -
14.49/14.57 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
14.49/14.57 c integral : 0 0 0 26632 0 0 41 0 0 26972
14.49/14.57 c linear : 101 6 207682 13071 0 5325 737211 2107 0 0
14.49/14.57 c indicator : 101 0 202396 13111 0 812 171523 0 0 0
14.49/14.57 c logicor : 0+ 0 28223 0 0 2222 9930 0 0 0
14.49/14.57 c bounddisjunction : 0+ 0 30210 0 0 138 11223 0 0 0
14.49/14.57 c countsols : 0 0 0 11909 0 0 0 0 0 0
14.49/14.57 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
14.49/14.57 c integral : 0.66 0.00 0.00 0.66 0.00
14.49/14.57 c linear : 2.19 0.00 2.10 0.09 0.00
14.49/14.57 c indicator : 0.53 0.00 0.45 0.08 0.00
14.49/14.57 c logicor : 0.28 0.00 0.28 0.00 0.00
14.49/14.57 c bounddisjunction : 0.79 0.00 0.79 0.00 0.00
14.49/14.57 c countsols : 0.00 0.00 0.00 0.00 0.00
14.49/14.57 c Propagators : Time Calls Cutoffs DomReds
14.49/14.57 c vbounds : 0.19 22199 0 9248
14.49/14.57 c rootredcost : 0.02 42 0 89
14.49/14.57 c pseudoobj : 1.20 211306 3751 177090
14.49/14.57 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
14.49/14.57 c propagation : 1.04 11436 11431 46115 29.8 132 35.7 -
14.49/14.57 c infeasible LP : 0.07 1157 1154 4686 19.7 31 4.9 0
14.49/14.57 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
14.49/14.57 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
14.49/14.57 c pseudo solution : 0.00 3 3 10 12.9 0 0.0 -
14.49/14.57 c applied globally : - - - 18305 18.7 - - -
14.49/14.57 c applied locally : - - - 1100 37.9 - - -
14.49/14.57 c Separators : Time Calls Cutoffs DomReds Cuts Conss
14.49/14.57 c cut pool : 0.00 3 - - 3 - (maximal pool size: 55)
14.49/14.57 c redcost : 0.22 27324 0 9383 0 0
14.49/14.57 c impliedbounds : 0.00 4 0 0 0 0
14.49/14.57 c intobj : 0.00 0 0 0 0 0
14.49/14.57 c cgmip : 0.00 0 0 0 0 0
14.49/14.57 c gomory : 0.01 4 0 0 55 0
14.49/14.57 c strongcg : 0.01 4 0 0 64 0
14.49/14.57 c cmir : 0.00 4 0 0 0 0
14.49/14.57 c flowcover : 0.01 4 0 0 0 0
14.49/14.57 c clique : 0.00 1 0 0 0 0
14.49/14.57 c zerohalf : 0.00 0 0 0 0 0
14.49/14.57 c mcf : 0.00 1 0 0 0 0
14.49/14.57 c rapidlearning : 0.02 1 0 0 0 0
14.49/14.57 c Pricers : Time Calls Vars
14.49/14.57 c problem variables: 0.00 0 0
14.49/14.57 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
14.49/14.57 c relpscost : 0.65 13516 0 41 0 0 26972
14.49/14.57 c pscost : 0.00 0 0 0 0 0 0
14.49/14.57 c inference : 0.28 11867 0 0 0 0 23978
14.49/14.57 c mostinf : 0.00 0 0 0 0 0 0
14.49/14.57 c leastinf : 0.00 0 0 0 0 0 0
14.49/14.57 c fullstrong : 0.00 0 0 0 0 0 0
14.49/14.57 c allfullstrong : 0.00 0 0 0 0 0 0
14.49/14.57 c random : 0.00 0 0 0 0 0 0
14.49/14.57 c Primal Heuristics : Time Calls Found
14.49/14.57 c LP solutions : 0.01 - 42
14.49/14.57 c pseudo solutions : 0.00 - 0
14.49/14.57 c feaspump : 0.00 0 0
14.49/14.57 c oneopt : 0.03 37 0
14.49/14.57 c crossover : 0.21 17 1
14.49/14.57 c pscostdiving : 0.02 185 0
14.49/14.57 c fracdiving : 0.02 185 0
14.49/14.57 c veclendiving : 0.02 185 0
14.49/14.57 c linesearchdiving : 0.02 185 0
14.49/14.57 c guideddiving : 0.05 185 0
14.49/14.57 c coefdiving : 0.02 186 0
14.49/14.57 c objpscostdiving : 0.02 184 0
14.49/14.57 c rootsoldiving : 0.02 184 0
14.49/14.57 c trivial : 0.00 2 2
14.49/14.57 c simplerounding : 0.02 13636 0
14.49/14.57 c zirounding : 0.02 1000 0
14.49/14.57 c rounding : 0.03 1608 0
14.49/14.57 c shifting : 0.03 495 0
14.49/14.57 c intshifting : 0.00 0 0
14.49/14.57 c twoopt : 0.00 0 0
14.49/14.57 c fixandinfer : 0.00 0 0
14.49/14.57 c intdiving : 0.00 0 0
14.49/14.57 c actconsdiving : 0.00 0 0
14.49/14.57 c octane : 0.00 0 0
14.49/14.57 c rens : 0.01 1 0
14.49/14.57 c rins : 0.00 0 0
14.49/14.57 c localbranching : 0.00 0 0
14.49/14.57 c mutation : 0.00 0 0
14.49/14.57 c dins : 0.00 0 0
14.49/14.57 c undercover : 0.00 0 0
14.49/14.57 c nlp : 0.01 0 0
14.49/14.57 c trysol : 0.02 732 146
14.49/14.57 c LP : Time Calls Iterations Iter/call Iter/sec
14.49/14.57 c primal LP : 0.00 0 0 0.00 -
14.49/14.57 c dual LP : 3.97 17475 82540 4.72 20800.07
14.49/14.57 c lex dual LP : 0.00 0 0 0.00 -
14.49/14.57 c barrier LP : 0.00 0 0 0.00 -
14.49/14.57 c diving/probing LP: 0.03 189 678 3.59 19695.56
14.49/14.57 c strong branching : 0.61 1227 24838 20.24 40977.81
14.49/14.57 c (at root node) : - 30 1591 53.03 -
14.49/14.57 c conflict analysis: 0.00 0 0 0.00 -
14.49/14.57 c B&B Tree :
14.49/14.57 c number of runs : 1
14.49/14.57 c nodes : 38128
14.49/14.57 c nodes (total) : 38128
14.49/14.57 c nodes left : 0
14.49/14.57 c max depth : 148
14.49/14.57 c max depth (total): 148
14.49/14.57 c backtracks : 1856 (4.9%)
14.49/14.57 c delayed cutoffs : 3879
14.49/14.57 c repropagations : 142800 (81349 domain reductions, 627 cutoffs)
14.49/14.57 c avg switch length: 9.64
14.49/14.57 c switching time : 1.62
14.49/14.57 c Solution :
14.49/14.57 c Solutions found : 191 (43 improvements)
14.49/14.57 c First Solution : +5.03300000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
14.49/14.57 c Primal Bound : +9.00000000000000e+00 (in run 1, after 37677 nodes, 14.27 seconds, depth 17, found by <relaxation>)
14.49/14.57 c Dual Bound : +9.00000000000000e+00
14.49/14.57 c Gap : 0.00 %
14.49/14.57 c Root Dual Bound : +0.00000000000000e+00
14.49/14.57 c Root Iterations : 111
14.49/14.58 c Time complete: 14.57.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705656-1278576777/watcher-2705656-1278576777 -o /tmp/evaluation-result-2705656-1278576777/solver-2705656-1278576777 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705656-1278576777.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 1.91 4/178 5547
/proc/meminfo: memFree=28880788/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=12504 CPUtime=0
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 1970 0 0 0 0 0 0 0 25 0 1 0 25891132 12804096 1888 4089446400 4194304 10345943 140734528608928 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/5547/statm: 3126 1888 429 1502 0 1619 0
[startup+0.0492901 s]
/proc/loadavg: 2.01 2.00 1.91 4/178 5547
/proc/meminfo: memFree=28880788/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=25744 CPUtime=0.04
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 5443 0 0 0 4 0 0 0 25 0 1 0 25891132 26361856 5008 4089446400 4194304 10345943 140734528608928 18446744073709551615 4270579 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5547/statm: 6436 5008 736 1502 0 4929 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25744
[startup+0.100279 s]
/proc/loadavg: 2.01 2.00 1.91 4/178 5547
/proc/meminfo: memFree=28880788/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=23356 CPUtime=0.09
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 6031 0 0 0 9 0 0 0 25 0 1 0 25891132 23916544 4694 4089446400 4194304 10345943 140734528608928 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5547/statm: 5839 4694 746 1502 0 4332 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23356
[startup+0.300249 s]
/proc/loadavg: 2.01 2.00 1.91 4/178 5547
/proc/meminfo: memFree=28880788/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=23356 CPUtime=0.29
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 6038 0 0 0 28 1 0 0 25 0 1 0 25891132 23916544 4701 4089446400 4194304 10345943 140734528608928 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5547/statm: 5839 4701 753 1502 0 4332 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23356
[startup+0.700178 s]
/proc/loadavg: 2.01 2.00 1.91 4/178 5547
/proc/meminfo: memFree=28880788/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=23356 CPUtime=0.69
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 7231 0 0 0 67 2 0 0 25 0 1 0 25891132 23916544 4715 4089446400 4194304 10345943 140734528608928 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5547/statm: 5839 4715 764 1502 0 4332 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23356
[startup+1.50104 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 5548
/proc/meminfo: memFree=28863296/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=25756 CPUtime=1.49
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 11237 0 0 0 146 3 0 0 25 0 1 0 25891132 26374144 4913 4089446400 4194304 10345943 140734528608928 18446744073709551615 6528256 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5547/statm: 6439 4913 764 1502 0 4932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25756
[startup+3.10078 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 5548
/proc/meminfo: memFree=28861064/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=28440 CPUtime=3.09
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 28642 0 0 0 304 5 0 0 25 0 1 0 25891132 29122560 5550 4089446400 4194304 10345943 140734528608928 18446744073709551615 4217129 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5547/statm: 7110 5550 775 1502 0 5603 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28440
[startup+6.3003 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 5549
/proc/meminfo: memFree=28851180/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=32972 CPUtime=6.29
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 40911 0 0 0 621 8 0 0 25 0 1 0 25891132 33763328 6956 4089446400 4194304 10345943 140734528608928 18446744073709551615 4995703 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5547/statm: 8243 6956 775 1502 0 6736 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32972
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 5549
/proc/meminfo: memFree=28843272/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=42408 CPUtime=12.69
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 52072 0 0 0 1257 12 0 0 25 0 1 0 25891132 43425792 8890 4089446400 4194304 10345943 140734528608928 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5547/statm: 10602 8890 776 1502 0 9095 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42408
Solver just ended. Dumping a history of the last processes samples
[startup+13.501 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 5549
/proc/meminfo: memFree=28841040/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=42068 CPUtime=13.49
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 54629 0 0 0 1336 13 0 0 25 0 1 0 25891132 43077632 9036 4089446400 4194304 10345943 140734528608928 18446744073709551615 4714685 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5547/statm: 10517 9036 776 1502 0 9010 0
Current children cumulated CPU time (s) 13.49
Current children cumulated vsize (KiB) 42068
[startup+14.3069 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 5549
/proc/meminfo: memFree=28840172/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=41420 CPUtime=14.3
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 60055 0 0 0 1415 15 0 0 25 0 1 0 25891132 42414080 9156 4089446400 4194304 10345943 140734528608928 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5547/statm: 10355 9156 791 1502 0 8848 0
Current children cumulated CPU time (s) 14.3
Current children cumulated vsize (KiB) 41420
[startup+14.5008 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 5549
/proc/meminfo: memFree=28840172/32950928 swapFree=67109624/67111528
[pid=5547] ppid=5545 vsize=41416 CPUtime=14.49
/proc/5547/stat : 5547 (pbscip.linux.x8) R 5545 5547 4622 0 -1 4202496 60841 0 0 0 1434 15 0 0 25 0 1 0 25891132 42409984 9094 4089446400 4194304 10345943 140734528608928 18446744073709551615 6138982 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5547/statm: 10354 9094 791 1502 0 8847 0
Current children cumulated CPU time (s) 14.49
Current children cumulated vsize (KiB) 41416
Child status: 0
Real time (s): 14.5812
CPU time (s): 14.5818
CPU user time (s): 14.4248
CPU system time (s): 0.156976
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 43668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4248
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60854
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= 1
involuntary context switches= 13
runsolver used 0.023996 second user time and 0.057991 second system time
The end
Begin job on node126 at 2010-07-08 10:12:57
IDJOB=2705656
IDBENCH=79240
IDSOLVER=1214
FILE ID=node126/2705656-1278576777
PBS_JOBID= 11240201
Free space on /tmp= 73524 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.1110976157--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-2705656-1278576777/watcher-2705656-1278576777 -o /tmp/evaluation-result-2705656-1278576777/solver-2705656-1278576777 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705656-1278576777.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4da1e5a9e75693d50d2c099f4fe591bc
RANDOM SEED=1761017310
node126.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.861
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.72
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.861
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.05
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.861
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.861
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.67
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.861
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.84
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.861
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.67
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.861
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.85
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.861
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: 32950928 kB
MemFree: 28881068 kB
Buffers: 134224 kB
Cached: 3345548 kB
SwapCached: 1172 kB
Active: 1095456 kB
Inactive: 2808872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 28881068 kB
SwapTotal: 67111528 kB
SwapFree: 67109624 kB
Dirty: 13052 kB
Writeback: 0 kB
AnonPages: 423588 kB
Mapped: 17404 kB
Slab: 100952 kB
PageTables: 5644 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 574916 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= 73512 MiB
End job on node126 at 2010-07-08 10:13:11