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-2705077-1278578336.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.09/0.12 o 138261
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.382610e+05
0.09/0.12 c presolving:
0.09/0.13 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.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.18 c (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 5391 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.3
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1789.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.18 c # [type: int, range: [1,2], default: 1]
0.09/0.18 c timing/clocktype = 2
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/indicator/addCouplingCons = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.2s| 1 | 0 | 0 | - | 19M| 0 | 0 |5645 |5414 |5645 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.382610e+05 | Inf
0.29/0.39 c 0.4s| 1 | 0 | 20 | - | 19M| 0 | 0 |5645 |5414 |5645 | 22 | 22 | 0 | 0 | 0.000000e+00 | 1.382610e+05 | Inf
0.29/0.39 c 0.4s| 1 | 0 | 42 | - | 19M| 0 | 7 |5645 |5414 |5645 | 53 | 53 | 0 | 0 | 0.000000e+00 | 1.382610e+05 | Inf
0.39/0.40 c 0.4s| 1 | 0 | 62 | - | 19M| 0 | 14 |5645 |5414 |5645 | 85 | 85 | 0 | 0 | 0.000000e+00 | 1.382610e+05 | Inf
0.39/0.41 c 0.4s| 1 | 0 | 101 | - | 19M| 0 | 35 |5645 |5414 |5645 | 120 | 120 | 0 | 0 | 0.000000e+00 | 1.382610e+05 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 133 | - | 19M| 0 | 38 |5645 |5414 |5645 | 150 | 150 | 0 | 0 | 0.000000e+00 | 1.382610e+05 | Inf
0.39/0.47 c 0.4s| 1 | 0 | 184 | - | 19M| 0 | 32 |5645 |5414 |5645 | 164 | 164 | 0 | 0 | 0.000000e+00 | 1.382610e+05 | Inf
0.49/0.56 c 0.5s| 1 | 2 | 184 | - | 20M| 0 | 32 |5645 |5414 |5645 | 164 | 164 | 0 | 32 | 0.000000e+00 | 1.382610e+05 | Inf
19.10/19.17 c 19.1s| 10000 | 9998 | 2596 | 0.2 | 42M|1889 | 0 |5645 |5417 |5645 | 203 | 723 | 3 | 532 | 0.000000e+00 | 1.382610e+05 | Inf
37.59/37.68 c 37.6s| 20000 | 19982 | 4083 | 0.2 | 63M|1889 | 0 |5645 |5435 |5645 | 207 |1043 | 21 | 603 | 0.000000e+00 | 1.382610e+05 | Inf
49.39/49.41 o 651
49.39/49.41 c *49.4s| 27000 | 21622 | 4731 | 0.2 | 68M|1889 | - |5645 |5435 |5645 | 207 |1200 | 21 | 611 | 0.000000e+00 | 6.510000e+02 | Inf
55.79/55.85 c 55.8s| 30000 | 24521 | 6070 | 0.2 | 75M|1889 | 0 |5645 |5489 |5645 | 206 |1499 | 75 | 643 | 0.000000e+00 | 6.510000e+02 | Inf
74.49/74.51 c 74.5s| 40000 | 34516 | 7607 | 0.2 | 96M|1889 | 0 |5645 |5497 |5645 | 213 |1917 | 83 | 691 | 0.000000e+00 | 6.510000e+02 | Inf
92.89/92.90 c 92.9s| 50000 | 44516 | 8323 | 0.2 | 115M|1889 | 0 |5645 |5497 |5645 | 179 |2139 | 83 | 708 | 0.000000e+00 | 6.510000e+02 | Inf
111.19/111.28 o 621
111.19/111.28 c * 111s| 59764 | 53646 | 9462 | 0.2 | 133M|1889 | - |5645 |5556 |5645 | 210 |2422 | 142 | 726 | 0.000000e+00 | 6.210000e+02 | Inf
111.79/111.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.79/111.82 c 112s| 60000 | 53883 | 9608 | 0.2 | 133M|1889 | 0 |5645 |5556 |5645 | 210 |2458 | 142 | 726 | 0.000000e+00 | 6.210000e+02 | Inf
121.89/121.93 o 603
121.89/121.93 c * 122s| 64817 | 58015 | 11854 | 0.2 | 143M|1889 | - |5645 |5793 |5645 | 206 |2908 | 379 | 753 | 0.000000e+00 | 6.030000e+02 | Inf
121.89/121.95 o 570
121.89/121.95 c * 122s| 64818 | 56534 | 11854 | 0.2 | 140M|1889 | - |5645 |5793 |5645 | 206 |2908 | 379 | 753 | 0.000000e+00 | 5.700000e+02 | Inf
122.59/122.66 o 552
122.59/122.66 c * 123s| 65110 | 55809 | 12072 | 0.2 | 139M|1889 | - |5645 |5848 |5645 | 205 |2973 | 434 | 753 | 0.000000e+00 | 5.520000e+02 | Inf
122.99/123.01 o 545
122.99/123.01 c * 123s| 65258 | 55522 | 12194 | 0.2 | 139M|1889 | - |5645 |5901 |5645 | 200 |2995 | 487 | 753 | 0.000000e+00 | 5.450000e+02 | Inf
123.59/123.61 o 528
123.59/123.61 c * 124s| 65540 | 54683 | 12293 | 0.2 | 138M|1889 | - |5645 |5929 |5645 | 207 |3012 | 515 | 753 | 0.000000e+00 | 5.280000e+02 | Inf
124.59/124.68 o 514
124.59/124.68 c * 125s| 65992 | 54192 | 12677 | 0.2 | 137M|1889 | - |5645 |6009 |5645 | 201 |3074 | 595 | 754 | 0.000000e+00 | 5.140000e+02 | Inf
126.50/126.56 o 499
126.50/126.56 c * 127s| 66781 | 53921 | 13296 | 0.2 | 137M|1889 | - |5645 |6232 |5645 | 205 |3233 | 818 | 754 | 0.000000e+00 | 4.990000e+02 | Inf
126.79/126.83 o 484
126.79/126.83 c * 127s| 66888 | 53257 | 13376 | 0.2 | 135M|1889 | - |5645 |6253 |5645 | 207 |3257 | 839 | 754 | 0.000000e+00 | 4.840000e+02 | Inf
130.08/130.19 o 483
130.08/130.19 c * 130s| 68265 | 54414 | 14580 | 0.2 | 140M|1889 | - |5645 |6605 |5645 | 183 |3543 |1191 | 764 | 0.000000e+00 | 4.830000e+02 | Inf
131.90/131.99 o 479
131.90/131.99 c * 132s| 68851 | 54596 | 15179 | 0.2 | 141M|1889 | - |5645 |6843 |5645 | 210 |3664 |1429 | 771 | 0.000000e+00 | 4.790000e+02 | Inf
133.69/133.75 o 478
133.69/133.75 c * 134s| 69602 | 55246 | 15531 | 0.2 | 143M|1889 | - |5645 |6947 |5645 | 198 |3736 |1533 | 771 | 0.000000e+00 | 4.780000e+02 | Inf
133.69/133.76 o 466
133.69/133.76 c * 134s| 69603 | 54507 | 15531 | 0.2 | 141M|1889 | - |5645 |6947 |5645 | 198 |3736 |1533 | 771 | 0.000000e+00 | 4.660000e+02 | Inf
133.79/133.87 o 464
133.79/133.87 c * 134s| 69639 | 54423 | 15615 | 0.2 | 141M|1889 | - |5645 |6949 |5645 | 201 |3748 |1535 | 774 | 0.000000e+00 | 4.640000e+02 | Inf
134.20/134.28 o 447
134.20/134.28 c * 134s| 69874 | 53580 | 15702 | 0.2 | 140M|1889 | - |5645 |6961 |5645 | 195 |3763 |1547 | 774 | 0.000000e+00 | 4.470000e+02 | Inf
134.49/134.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.49/134.54 c 135s| 70000 | 53699 | 15743 | 0.2 | 140M|1889 | 0 |5645 |6990 |5645 | 191 |3768 |1576 | 774 | 0.000000e+00 | 4.470000e+02 | Inf
137.18/137.28 o 426
137.18/137.28 c * 137s| 71169 | 53050 | 16287 | 0.2 | 140M|1889 | - |5645 |7433 |5645 | 211 |3904 |2019 | 784 | 0.000000e+00 | 4.260000e+02 | Inf
137.58/137.64 o 409
137.58/137.64 c * 138s| 71308 | 51636 | 16472 | 0.2 | 137M|1889 | - |5645 |7495 |5645 | 203 |3929 |2081 | 788 | 0.000000e+00 | 4.090000e+02 | Inf
139.79/139.85 o 385
139.79/139.85 c * 140s| 72285 | 50176 | 17235 | 0.2 | 134M|1889 | - |5645 |7719 |5645 | 205 |4006 |2305 | 795 | 0.000000e+00 | 3.850000e+02 | Inf
139.99/140.03 o 379
139.99/140.03 c * 140s| 72350 | 49661 | 17361 | 0.2 | 133M|1889 | - |5645 |7735 |5645 | 217 |4029 |2321 | 799 | 0.000000e+00 | 3.790000e+02 | Inf
143.79/143.84 o 377
143.79/143.84 c * 144s| 73849 | 50815 | 18763 | 0.3 | 136M|1889 | - |5645 |8109 |5645 | 188 |4384 |2702 | 813 | 0.000000e+00 | 3.770000e+02 | Inf
143.79/143.89 o 354
143.79/143.89 c * 144s| 73877 | 48552 | 18765 | 0.3 | 130M|1889 | - |5645 |8109 |5645 | 188 |4384 |2702 | 813 | 0.000000e+00 | 3.540000e+02 | Inf
147.79/147.89 o 352
147.79/147.89 c * 148s| 75448 | 49688 | 19979 | 0.3 | 134M|1889 | - |5645 |8680 |5645 | 210 |4671 |3282 | 815 | 0.000000e+00 | 3.520000e+02 | Inf
147.89/147.90 o 342
147.89/147.90 c * 148s| 75449 | 48770 | 19979 | 0.3 | 132M|1889 | - |5645 |8680 |5645 | 210 |4671 |3282 | 815 | 0.000000e+00 | 3.420000e+02 | Inf
147.99/148.01 o 340
147.99/148.01 c * 148s| 75497 | 48630 | 20012 | 0.3 | 132M|1889 | - |5645 |8684 |5645 | 216 |4681 |3286 | 815 | 0.000000e+00 | 3.400000e+02 | Inf
148.29/148.38 o 339
148.29/148.38 c * 148s| 75614 | 48632 | 20122 | 0.3 | 132M|1889 | - |5645 |8756 |5645 | 204 |4695 |3361 | 815 | 0.000000e+00 | 3.390000e+02 | Inf
149.38/149.43 o 320
149.38/149.43 c * 149s| 76091 | 47402 | 20296 | 0.3 | 130M|1889 | - |5645 |8830 |5645 | 181 |4731 |3438 | 817 | 0.000000e+00 | 3.200000e+02 | Inf
153.09/153.11 o 298
153.09/153.11 c * 153s| 77265 | 46075 | 22240 | 0.3 | 129M|1889 | - |5645 |9344 |5645 | 208 |5094 |3995 | 851 | 0.000000e+00 | 2.980000e+02 | Inf
158.40/158.46 o 276
158.40/158.46 c * 158s| 79135 | 44995 | 25644 | 0.3 | 129M|1889 | - |5645 |9706 |5645 | 213 |5925 |4510 | 919 | 0.000000e+00 | 2.760000e+02 | Inf
160.99/161.07 c 161s| 80000 | 45746 | 27486 | 0.3 | 131M|1889 | 0 |5645 |9804 |5645 | 223 |6391 |4721 | 942 | 0.000000e+00 | 2.760000e+02 | Inf
175.79/175.81 o 275
175.79/175.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.79/175.81 c * 176s| 84890 | 49682 | 36096 | 0.4 | 146M|1889 | - |5645 |9936 |5645 | 238 |8612 |6377 |1033 | 0.000000e+00 | 2.750000e+02 | Inf
184.99/185.01 o 272
184.99/185.01 c * 185s| 88063 | 51975 | 40783 | 0.5 | 156M|1889 | - |5645 |9924 |5645 | 192 |9753 |7275 |1073 | 0.000000e+00 | 2.720000e+02 | Inf
184.99/185.02 o 261
184.99/185.02 c * 185s| 88064 | 50576 | 40783 | 0.5 | 152M|1889 | - |5645 |9924 |5645 | 192 |9753 |7275 |1073 | 0.000000e+00 | 2.610000e+02 | Inf
190.69/190.77 c 191s| 90000 | 52249 | 44503 | 0.5 | 159M|1889 | 0 |5645 | 10k|5645 | 202 | 10k|7815 |1098 | 0.000000e+00 | 2.610000e+02 | Inf
193.69/193.74 o 259
193.69/193.74 c * 194s| 91061 | 52868 | 46095 | 0.5 | 162M|1889 | - |5645 | 10k|5645 | 188 | 11k|8133 |1115 | 0.000000e+00 | 2.590000e+02 | Inf
205.29/205.38 o 231
205.29/205.38 c * 205s| 95033 | 50976 | 51770 | 0.5 | 162M|1889 | - |5645 | 10k|5645 | 193 | 12k|9506 |1157 | 0.000000e+00 | 2.310000e+02 | Inf
205.29/205.39 o 229
205.29/205.39 c * 205s| 95034 | 50533 | 51773 | 0.5 | 161M|1889 | - |5645 | 10k|5645 | 193 | 12k|9506 |1157 | 0.000000e+00 | 2.290000e+02 | Inf
207.99/208.03 o 225
207.99/208.03 c * 208s| 95991 | 50447 | 52969 | 0.5 | 163M|1889 | - |5645 | 10k|5645 | 199 | 12k|9759 |1160 | 0.000000e+00 | 2.250000e+02 | Inf
208.19/208.23 o 208
208.19/208.23 c * 208s| 96111 | 47005 | 52984 | 0.5 | 153M|1889 | - |5645 | 10k|5645 | 199 | 12k|9759 |1160 | 0.000000e+00 | 2.080000e+02 | Inf
208.19/208.25 o 183
208.19/208.25 c * 208s| 96112 | 40689 | 52986 | 0.5 | 135M|1889 | - |5645 | 10k|5645 | 199 | 12k|9759 |1160 | 0.000000e+00 | 1.830000e+02 | Inf
208.39/208.41 o 165
208.39/208.41 c * 208s| 96165 | 34192 | 53043 | 0.5 | 118M|1889 | - |5645 | 10k|5645 | 209 | 12k|9759 |1160 | 0.000000e+00 | 1.650000e+02 | Inf
218.29/218.39 o 132
218.29/218.39 c * 218s| 99094 | 25928 | 58994 | 0.6 | 102M|1889 | - |5645 |9363 |5645 | 220 | 14k| 11k|1270 | 0.000000e+00 | 1.320000e+02 | Inf
221.69/221.70 c 222s|100000 | 26411 | 62233 | 0.6 | 105M|1889 | 0 |5645 |8843 |5645 | 190 | 14k| 11k|1329 | 0.000000e+00 | 1.320000e+02 | Inf
223.19/223.26 o 131
223.19/223.26 c * 223s|100504 | 26566 | 63956 | 0.6 | 108M|1889 | - |5645 |8663 |5645 | 211 | 15k| 11k|1348 | 0.000000e+00 | 1.310000e+02 | Inf
223.19/223.27 o 130
223.19/223.27 c * 223s|100505 | 26250 | 63956 | 0.6 | 107M|1889 | - |5645 |8663 |5645 | 211 | 15k| 11k|1348 | 0.000000e+00 | 1.300000e+02 | Inf
224.29/224.30 o 113
224.29/224.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.29/224.30 c * 224s|100748 | 22342 | 65209 | 0.6 | 99M|1889 | - |5645 |8475 |5645 | 241 | 15k| 11k|1391 | 0.000000e+00 | 1.130000e+02 | Inf
224.89/224.99 o 106
224.89/224.99 c * 225s|101059 | 21046 | 65657 | 0.6 | 95M|1889 | - |5645 |8411 |5645 | 198 | 15k| 12k|1402 | 0.000000e+00 | 1.060000e+02 | Inf
230.09/230.15 o 104
230.09/230.15 c * 230s|102524 | 21609 | 69508 | 0.7 | 102M|1889 | - |5645 |8347 |5645 | 216 | 16k| 12k|1453 | 0.000000e+00 | 1.040000e+02 | Inf
239.59/239.67 o 103
239.59/239.67 c * 240s|104967 | 22729 | 76819 | 0.7 | 115M|1889 | - |5645 |8134 |5645 | 199 | 18k| 14k|1557 | 0.000000e+00 | 1.030000e+02 | Inf
239.59/239.68 o 102
239.59/239.68 c * 240s|104968 | 22455 | 76823 | 0.7 | 112M|1889 | - |5645 |8134 |5645 | 199 | 18k| 14k|1557 | 0.000000e+00 | 1.020000e+02 | Inf
246.89/246.99 o 93
246.89/246.99 c * 247s|106888 | 20724 | 83173 | 0.8 | 115M|1889 | - |5645 |7914 |5645 | 219 | 19k| 15k|1637 | 0.000000e+00 | 9.300000e+01 | Inf
246.99/247.04 o 88
246.99/247.04 c * 247s|106896 | 19397 | 83244 | 0.8 | 111M|1889 | - |5645 |7618 |5645 | 211 | 20k| 15k|1637 | 0.000000e+00 | 8.800000e+01 | Inf
247.19/247.28 o 81
247.19/247.28 c * 247s|106949 | 17353 | 83584 | 0.8 | 104M|1889 | - |5645 |7459 |5645 | 216 | 20k| 15k|1639 | 0.000000e+00 | 8.100000e+01 | Inf
247.29/247.32 o 80
247.29/247.32 c * 247s|106954 | 17094 | 83608 | 0.8 | 103M|1889 | - |5645 |7179 |5645 | 216 | 20k| 15k|1639 | 0.000000e+00 | 8.000000e+01 | Inf
247.29/247.36 o 73
247.29/247.36 c * 247s|106960 | 15194 | 83612 | 0.8 | 95M|1889 | - |5645 |7124 |5645 | 216 | 20k| 15k|1639 | 0.000000e+00 | 7.300000e+01 | Inf
247.40/247.42 o 72
247.40/247.42 c * 247s|106966 | 14202 | 83714 | 0.8 | 89M|1889 | - |5645 |6885 |5645 | 208 | 20k| 15k|1640 | 0.000000e+00 | 7.200000e+01 | Inf
258.28/258.31 c 258s|110000 | 15171 | 93968 | 0.9 | 98M|1889 | 0 |5645 |6587 |5645 | 232 | 22k| 17k|1792 | 0.000000e+00 | 7.200000e+01 | Inf
278.69/278.75 o 64
278.69/278.75 c * 279s|115622 | 15644 |113160 | 1.0 | 111M|1889 | - |5645 |7434 |5645 | 209 | 28k| 22k|1991 | 0.000000e+00 | 6.400000e+01 | Inf
283.89/283.97 o 59
283.89/283.97 c * 284s|117145 | 15006 |118574 | 1.0 | 110M|1889 | - |5645 |6420 |5645 | 197 | 29k| 24k|2036 | 0.000000e+00 | 5.900000e+01 | Inf
294.19/294.22 c 294s|120000 | 15643 |130521 | 1.1 | 118M|1889 | 4 |5645 |6166 |5645 | 209 | 32k| 27k|2122 | 0.000000e+00 | 5.900000e+01 | Inf
294.29/294.37 o 44
294.29/294.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.29/294.37 c * 294s|120037 | 13157 |130641 | 1.1 | 108M|1889 | - |5645 |6161 |5645 | 207 | 32k| 27k|2122 | 0.000000e+00 | 4.400000e+01 | Inf
298.59/298.66 o 31
298.59/298.66 c * 299s|121537 | 11679 |137300 | 1.1 | 102M|1889 | - |5645 |5680 |5645 | 204 | 34k| 29k|2234 | 0.000000e+00 | 3.100000e+01 | Inf
302.39/302.45 o 30
302.39/302.45 c * 302s|122901 | 11513 |144320 | 1.2 | 103M|1889 | - |5645 |5443 |5645 | 212 | 35k| 31k|2263 | 0.000000e+00 | 3.000000e+01 | Inf
302.39/302.50 o 25
302.39/302.50 c * 302s|122908 | 10793 |144422 | 1.2 | 97M|1889 | - |5645 |5383 |5645 | 220 | 35k| 31k|2263 | 0.000000e+00 | 2.500000e+01 | Inf
318.39/318.45 c 318s|130000 | 10895 |175739 | 1.4 | 102M|1889 | 10 |5645 |7158 |5645 | 228 | 42k| 41k|2526 | 0.000000e+00 | 2.500000e+01 | Inf
330.78/330.88 o 19
330.78/330.88 c * 331s|135757 | 10018 |196854 | 1.4 | 98M|1889 | - |5645 |7117 |5645 | 193 | 45k| 49k|2679 | 0.000000e+00 | 1.900000e+01 | Inf
335.79/335.87 o 15
335.79/335.87 c * 336s|138370 | 9083 |206194 | 1.5 | 91M|1889 | - |5645 |7010 |5645 | 230 | 47k| 52k|2742 | 0.000000e+00 | 1.500000e+01 | Inf
338.80/338.88 c 339s|140000 | 9012 |212276 | 1.5 | 91M|1889 | - |5645 |6431 | 0 | 0 | 48k| 54k|2757 | 0.000000e+00 | 1.500000e+01 | Inf
339.09/339.12 o 14
339.09/339.12 c * 339s|140106 | 8936 |212826 | 1.5 | 91M|1889 | - |5645 |6350 |5645 | 205 | 48k| 55k|2763 | 0.000000e+00 | 1.400000e+01 | Inf
339.09/339.18 o 12
339.09/339.18 c * 339s|140122 | 8339 |212889 | 1.5 | 84M|1889 | - |5645 |6233 |5645 | 213 | 48k| 55k|2763 | 0.000000e+00 | 1.200000e+01 | Inf
347.09/347.14 o 6
347.09/347.14 c * 347s|144436 | 7487 |232282 | 1.6 | 81M|1889 | - |5645 |6842 |5645 | 191 | 52k| 61k|2883 | 0.000000e+00 | 6.000000e+00 | Inf
349.49/349.53 o 4
349.49/349.53 c * 349s|145689 | 7183 |238702 | 1.6 | 79M|1889 | - |5645 |6503 |5645 | 232 | 53k| 63k|2950 | 0.000000e+00 | 4.000000e+00 | Inf
356.59/356.69 c 357s|150000 | 7173 |258765 | 1.7 | 79M|1889 | - |5645 |6852 | 0 | 0 | 56k| 68k|3045 | 0.000000e+00 | 4.000000e+00 | Inf
374.19/374.25 c 374s|160000 | 7055 |313837 | 2.0 | 81M|1889 | - |5645 |8717 | 0 | 0 | 64k| 81k|3316 | 0.000000e+00 | 4.000000e+00 | Inf
391.79/391.80 c 392s|170000 | 6997 |361169 | 2.1 | 83M|1889 | - |5645 | 13k|5645 | 256 | 71k| 95k|3533 | 0.000000e+00 | 4.000000e+00 | Inf
410.59/410.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.59/410.68 c 411s|180000 | 6958 |412413 | 2.3 | 84M|1889 | 14 |5645 | 13k|5645 | 233 | 78k| 108k|3781 | 0.000000e+00 | 4.000000e+00 | Inf
429.89/430.00 c 430s|190000 | 7046 |463285 | 2.4 | 86M|1889 | 1 |5645 | 15k|5645 | 227 | 84k| 122k|3944 | 0.000000e+00 | 4.000000e+00 | Inf
451.89/451.90 c 452s|200000 | 7141 |534206 | 2.7 | 89M|1889 | 1 |5645 | 20k|5645 | 242 | 96k| 136k|4140 | 0.000000e+00 | 4.000000e+00 | Inf
475.10/475.12 c 475s|210000 | 7239 |605442 | 2.9 | 90M|1889 | - |5645 | 19k| 0 | 0 | 107k| 150k|4321 | 0.000000e+00 | 4.000000e+00 | Inf
497.59/497.63 c 498s|220000 | 7234 |673875 | 3.1 | 90M|1889 | 11 |5645 | 18k|5645 | 234 | 117k| 164k|4623 | 0.000000e+00 | 4.000000e+00 | Inf
518.89/518.99 c 519s|230000 | 7352 |729486 | 3.2 | 93M|1889 | 17 |5645 | 21k|5645 | 271 | 124k| 177k|4746 | 0.000000e+00 | 4.000000e+00 | Inf
541.69/541.75 c 542s|240000 | 7379 |788633 | 3.3 | 94M|1889 | 22 |5645 | 20k|5645 | 235 | 132k| 191k|4891 | 0.000000e+00 | 4.000000e+00 | Inf
564.90/564.94 c 565s|250000 | 7297 |852090 | 3.4 | 93M|1889 | - |5645 | 17k| 0 | 0 | 140k| 205k|5061 | 0.000000e+00 | 4.000000e+00 | Inf
587.59/587.63 c 588s|260000 | 7443 |914853 | 3.5 | 96M|1889 | 1 |5645 | 20k|5645 | 247 | 148k| 219k|5201 | 0.000000e+00 | 4.000000e+00 | Inf
609.19/609.25 c 609s|270000 | 7529 |963481 | 3.6 | 97M|1889 | - |5645 | 19k| 0 | 0 | 155k| 233k|5273 | 0.000000e+00 | 4.000000e+00 | Inf
612.71/612.71 o 3
612.71/612.71 c * 613s|271654 | 7110 |970677 | 3.6 | 93M|1889 | - |5645 | 19k|5645 | 246 | 156k| 235k|5312 | 0.000000e+00 | 3.000000e+00 | Inf
612.90/612.99 o 1
612.90/612.99 c * 613s|271804 | 6701 |971206 | 3.6 | 88M|1889 | - |5645 | 19k|5645 | 267 | 156k| 235k|5312 | 0.000000e+00 | 1.000000e+00 | Inf
629.60/629.65 c 630s|280000 | 6846 | 1010k| 3.6 | 90M|1889 | - |5645 | 19k| 0 | 0 | 160k| 247k|5395 | 0.000000e+00 | 1.000000e+00 | Inf
649.79/649.89 c 650s|290000 | 7009 | 1053k| 3.6 | 92M|1889 | 1 |5645 | 19k|5645 | 272 | 165k| 261k|5456 | 0.000000e+00 | 1.000000e+00 | Inf
670.09/670.18 c 670s|300000 | 7047 | 1100k| 3.7 | 93M|1889 | - |5645 | 20k| 0 | 0 | 171k| 276k|5556 | 0.000000e+00 | 1.000000e+00 | Inf
690.10/690.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.10/690.11 c 690s|310000 | 7098 | 1141k| 3.7 | 95M|1889 | 1 |5645 | 21k|5645 | 276 | 175k| 290k|5632 | 0.000000e+00 | 1.000000e+00 | Inf
711.00/711.04 c 711s|320000 | 7023 | 1188k| 3.7 | 95M|1889 | - |5645 | 20k| 0 | 0 | 179k| 305k|5691 | 0.000000e+00 | 1.000000e+00 | Inf
730.90/730.98 c 731s|330000 | 6650 | 1237k| 3.7 | 88M|1889 | - |5645 | 14k| 0 | 0 | 185k| 319k|5820 | 0.000000e+00 | 1.000000e+00 | Inf
748.90/748.98 c 749s|340000 | 6511 | 1282k| 3.8 | 86M|1889 | 1 |5645 | 14k|5645 | 228 | 190k| 333k|5910 | 0.000000e+00 | 1.000000e+00 | Inf
767.20/767.22 c 767s|350000 | 6505 | 1329k| 3.8 | 86M|1889 | - |5645 | 15k| 0 | 0 | 197k| 347k|5968 | 0.000000e+00 | 1.000000e+00 | Inf
785.80/785.84 c 786s|360000 | 6581 | 1375k| 3.8 | 88M|1889 | 17 |5645 | 17k|5645 | 204 | 203k| 361k|6053 | 0.000000e+00 | 1.000000e+00 | Inf
806.00/806.03 c 806s|370000 | 6734 | 1422k| 3.8 | 90M|1889 | 1 |5645 | 18k|5645 | 204 | 209k| 375k|6111 | 0.000000e+00 | 1.000000e+00 | Inf
825.60/825.67 c 826s|380000 | 6840 | 1465k| 3.9 | 91M|1889 | 18 |5645 | 19k|5645 | 226 | 214k| 389k|6189 | 0.000000e+00 | 1.000000e+00 | Inf
846.60/846.65 c 847s|390000 | 6999 | 1517k| 3.9 | 94M|1889 | 1 |5645 | 21k|5645 | 257 | 220k| 403k|6281 | 0.000000e+00 | 1.000000e+00 | Inf
867.20/867.27 c 867s|400000 | 6974 | 1564k| 3.9 | 94M|1889 | - |5645 | 21k| 0 | 0 | 225k| 418k|6353 | 0.000000e+00 | 1.000000e+00 | Inf
888.81/888.83 c 889s|410000 | 7372 | 1617k| 3.9 | 98M|1889 | 1 |5645 | 22k|5645 | 213 | 234k| 433k|6443 | 0.000000e+00 | 1.000000e+00 | Inf
911.00/911.08 c 911s|420000 | 7625 | 1670k| 4.0 | 100M|1889 | - |5645 | 22k| 0 | 0 | 243k| 448k|6524 | 0.000000e+00 | 1.000000e+00 | Inf
934.01/934.07 c 934s|430000 | 7700 | 1726k| 4.0 | 102M|1889 | 1 |5645 | 23k|5645 | 222 | 251k| 463k|6599 | 0.000000e+00 | 1.000000e+00 | Inf
957.91/957.98 c 958s|440000 | 7777 | 1786k| 4.1 | 103M|1889 | 1 |5645 | 22k|5645 | 229 | 260k| 477k|6688 | 0.000000e+00 | 1.000000e+00 | Inf
980.50/980.59 c 981s|450000 | 7868 | 1837k| 4.1 | 104M|1889 | - |5645 | 23k| 0 | 0 | 267k| 492k|6740 | 0.000000e+00 | 1.000000e+00 | Inf
1003.81/1003.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1003.81/1003.83 c 1004s|460000 | 7789 | 1896k| 4.1 | 104M|1889 | 1 |5645 | 22k|5645 | 265 | 275k| 507k|6847 | 0.000000e+00 | 1.000000e+00 | Inf
1026.71/1026.75 c 1027s|470000 | 7779 | 1945k| 4.1 | 105M|1889 | 1 |5645 | 23k|5645 | 210 | 283k| 522k|6914 | 0.000000e+00 | 1.000000e+00 | Inf
1049.32/1049.32 c 1049s|480000 | 7737 | 1993k| 4.2 | 105M|1889 | - |5645 | 23k| 0 | 0 | 290k| 537k|6976 | 0.000000e+00 | 1.000000e+00 | Inf
1072.31/1072.37 c 1072s|490000 | 7744 | 2051k| 4.2 | 106M|1889 | - |5645 | 24k| 0 | 0 | 297k| 552k|7041 | 0.000000e+00 | 1.000000e+00 | Inf
1096.31/1096.34 c 1096s|500000 | 7697 | 2113k| 4.2 | 106M|1889 | 1 |5645 | 25k|5645 | 242 | 306k| 567k|7132 | 0.000000e+00 | 1.000000e+00 | Inf
1119.72/1119.78 c 1120s|510000 | 7773 | 2164k| 4.2 | 108M|1889 | - |5645 | 26k| 0 | 0 | 312k| 581k|7180 | 0.000000e+00 | 1.000000e+00 | Inf
1143.11/1143.18 c 1143s|520000 | 7801 | 2213k| 4.3 | 109M|1889 | - |5645 | 26k| 0 | 0 | 319k| 596k|7232 | 0.000000e+00 | 1.000000e+00 | Inf
1168.41/1168.40 c 1168s|530000 | 7791 | 2273k| 4.3 | 110M|1889 | 1 |5645 | 27k|5645 | 221 | 327k| 611k|7330 | 0.000000e+00 | 1.000000e+00 | Inf
1191.71/1191.75 c 1192s|540000 | 7787 | 2326k| 4.3 | 108M|1889 | 1 |5645 | 23k|5645 | 218 | 334k| 625k|7385 | 0.000000e+00 | 1.000000e+00 | Inf
1214.82/1214.80 c 1215s|550000 | 7782 | 2373k| 4.3 | 109M|1889 | - |5645 | 24k| 0 | 0 | 341k| 640k|7431 | 0.000000e+00 | 1.000000e+00 | Inf
1238.01/1238.09 c 1238s|560000 | 7657 | 2431k| 4.3 | 108M|1889 | 1 |5645 | 24k|5645 | 241 | 349k| 655k|7500 | 0.000000e+00 | 1.000000e+00 | Inf
1261.82/1261.88 c 1262s|570000 | 7696 | 2492k| 4.4 | 108M|1889 | 1 |5645 | 24k|5645 | 234 | 358k| 670k|7591 | 0.000000e+00 | 1.000000e+00 | Inf
1284.72/1284.78 c 1285s|580000 | 7708 | 2545k| 4.4 | 108M|1889 | - |5645 | 23k| 0 | 0 | 365k| 684k|7665 | 0.000000e+00 | 1.000000e+00 | Inf
1306.42/1306.45 c 1306s|590000 | 7724 | 2594k| 4.4 | 108M|1889 | 14 |5645 | 23k|5645 | 238 | 371k| 699k|7721 | 0.000000e+00 | 1.000000e+00 | Inf
1328.12/1328.18 c 1328s|600000 | 7676 | 2636k| 4.4 | 109M|1889 | 17 |5645 | 24k|5645 | 283 | 376k| 715k|7759 | 0.000000e+00 | 1.000000e+00 | Inf
1350.82/1350.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.82/1350.88 c 1351s|610000 | 7760 | 2687k| 4.4 | 109M|1889 | 5 |5645 | 23k|5645 | 217 | 383k| 730k|7827 | 0.000000e+00 | 1.000000e+00 | Inf
1373.22/1373.24 c 1373s|620000 | 7668 | 2738k| 4.4 | 109M|1889 | 10 |5645 | 24k|5645 | 255 | 390k| 745k|7878 | 0.000000e+00 | 1.000000e+00 | Inf
1395.82/1395.89 c 1396s|630000 | 7748 | 2787k| 4.4 | 111M|1889 | 1 |5645 | 26k|5645 | 236 | 398k| 760k|7934 | 0.000000e+00 | 1.000000e+00 | Inf
1418.71/1418.71 c 1419s|640000 | 7743 | 2836k| 4.4 | 111M|1889 | - |5645 | 25k| 0 | 0 | 404k| 775k|7981 | 0.000000e+00 | 1.000000e+00 | Inf
1441.92/1441.90 c 1442s|650000 | 7754 | 2888k| 4.4 | 111M|1889 | - |5645 | 25k| 0 | 0 | 409k| 790k|8037 | 0.000000e+00 | 1.000000e+00 | Inf
1465.62/1465.60 c 1466s|660000 | 7918 | 2945k| 4.5 | 113M|1889 | - |5645 | 26k| 0 | 0 | 415k| 806k|8093 | 0.000000e+00 | 1.000000e+00 | Inf
1488.42/1488.43 c 1488s|670000 | 7988 | 2994k| 4.5 | 115M|1889 | - |5645 | 27k| 0 | 0 | 420k| 822k|8145 | 0.000000e+00 | 1.000000e+00 | Inf
1511.61/1511.62 c 1512s|680000 | 7926 | 3048k| 4.5 | 115M|1889 | 19 |5645 | 26k|5645 | 269 | 424k| 838k|8198 | 0.000000e+00 | 1.000000e+00 | Inf
1534.42/1534.48 c 1534s|690000 | 7888 | 3105k| 4.5 | 115M|1889 | 24 |5645 | 27k|5645 | 278 | 429k| 855k|8250 | 0.000000e+00 | 1.000000e+00 | Inf
1557.72/1557.72 c 1558s|700000 | 7849 | 3157k| 4.5 | 115M|1889 | 8 |5645 | 27k|5645 | 244 | 434k| 871k|8307 | 0.000000e+00 | 1.000000e+00 | Inf
1580.32/1580.33 c 1580s|710000 | 7779 | 3210k| 4.5 | 111M|1889 | 16 |5645 | 22k|5645 | 235 | 441k| 886k|8359 | 0.000000e+00 | 1.000000e+00 | Inf
1601.63/1601.67 c 1602s|720000 | 7819 | 3256k| 4.5 | 113M|1889 | - |5645 | 24k| 0 | 0 | 446k| 901k|8408 | 0.000000e+00 | 1.000000e+00 | Inf
1624.42/1624.43 c 1624s|730000 | 7804 | 3308k| 4.5 | 113M|1889 | - |5645 | 24k| 0 | 0 | 453k| 917k|8454 | 0.000000e+00 | 1.000000e+00 | Inf
1646.82/1646.87 c 1647s|740000 | 7665 | 3365k| 4.5 | 110M|1889 | - |5645 | 20k| 0 | 0 | 459k| 933k|8528 | 0.000000e+00 | 1.000000e+00 | Inf
1667.82/1667.89 c 1668s|750000 | 7679 | 3411k| 4.5 | 110M|1889 | 7 |5645 | 22k|5645 | 215 | 465k| 947k|8569 | 0.000000e+00 | 1.000000e+00 | Inf
1689.12/1689.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.12/1689.10 c 1689s|760000 | 7731 | 3456k| 4.5 | 112M|1889 | - |5645 | 23k| 0 | 0 | 471k| 962k|8603 | 0.000000e+00 | 1.000000e+00 | Inf
1711.33/1711.38 c 1711s|770000 | 7656 | 3509k| 4.6 | 110M|1889 | 20 |5645 | 21k|5645 | 239 | 478k| 977k|8663 | 0.000000e+00 | 1.000000e+00 | Inf
1732.72/1732.74 c 1733s|780000 | 7681 | 3552k| 4.6 | 112M|1889 | 28 |5645 | 24k|5645 | 244 | 483k| 991k|8701 | 0.000000e+00 | 1.000000e+00 | Inf
1755.12/1755.19 c 1755s|790000 | 7717 | 3601k| 4.6 | 112M|1889 | 1 |5645 | 24k|5645 | 228 | 489k|1005k|8748 | 0.000000e+00 | 1.000000e+00 | Inf
1777.93/1777.98 c 1778s|800000 | 7636 | 3655k| 4.6 | 112M|1889 | 18 |5645 | 24k|5645 | 250 | 496k|1020k|8793 | 0.000000e+00 | 1.000000e+00 | Inf
1790.02/1790.00 c
1790.02/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.00 c Solving Time (sec) : 1789.97
1790.02/1790.00 c Solving Nodes : 805093
1790.02/1790.00 c Primal Bound : +1.00000000000000e+00 (200 solutions)
1790.02/1790.00 c Dual Bound : +0.00000000000000e+00
1790.02/1790.00 c Gap : infinite
1790.02/1790.06 s SATISFIABLE
1790.02/1790.06 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210
1790.02/1790.06 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1790.02/1790.06 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.02/1790.06 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1790.02/1790.06 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1790.02/1790.06 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1790.02/1790.06 v -x103 -x102 x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80
1790.02/1790.06 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54
1790.02/1790.06 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29
1790.02/1790.06 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1790.02/1790.06 v -x1
1790.02/1790.06 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.06 c Solving Time : 1789.97
1790.02/1790.06 c Original Problem :
1790.02/1790.06 c Problem name : HOME/instance-2705077-1278578336.wbo
1790.02/1790.06 c Variables : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.02/1790.06 c Constraints : 5415 initial, 5415 maximal
1790.02/1790.06 c Presolved Problem :
1790.02/1790.06 c Problem name : t_HOME/instance-2705077-1278578336.wbo
1790.02/1790.06 c Variables : 5645 (2938 binary, 0 integer, 2707 implicit integer, 0 continuous)
1790.02/1790.06 c Constraints : 5414 initial, 29424 maximal
1790.02/1790.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.02/1790.06 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.06 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.06 c implics : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.06 c probing : 0.04 0 0 0 0 0 0 0 0
1790.02/1790.06 c linear : 0.02 0 0 0 2707 0 1 0 0
1790.02/1790.06 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.06 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.06 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.06 c root node : - 5414 - - 5414 - - - -
1790.02/1790.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.02/1790.06 c integral : 0 0 0 550430 0 27 836 0 0 763766
1790.02/1790.06 c linear : 2707 6 3994016 166638 0 291160 17714721 499454 0 0
1790.02/1790.06 c indicator : 2707 0 1043143 130583 0 492 4846359 0 0 0
1790.02/1790.06 c logicor : 0+ 0 1272378 0 0 63575 1789596 0 0 0
1790.02/1790.06 c bounddisjunction : 0+ 0 253265 0 0 103 3835 0 0 0
1790.02/1790.06 c countsols : 0 0 0 105455 0 0 0 0 0 0
1790.02/1790.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.02/1790.06 c integral : 13.86 0.00 0.00 13.86 0.00
1790.02/1790.06 c linear : 215.81 0.00 199.98 15.83 0.00
1790.02/1790.06 c indicator : 55.58 0.01 28.66 26.91 0.00
1790.02/1790.06 c logicor : 257.58 0.00 257.58 0.00 0.00
1790.02/1790.06 c bounddisjunction : 1.96 0.00 1.96 0.00 0.00
1790.02/1790.06 c countsols : 0.02 0.00 0.00 0.02 0.00
1790.02/1790.06 c Propagators : Time Calls Cutoffs DomReds
1790.02/1790.06 c vbounds : 0.78 33899 1 11783
1790.02/1790.06 c rootredcost : 0.62 67 0 2707
1790.02/1790.06 c pseudoobj : 149.29 4004369 8654 4392726
1790.02/1790.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.02/1790.06 c propagation : 24.26 363492 363263 2249100 36.5 14149 30.3 -
1790.02/1790.06 c infeasible LP : 5.25 15204 15204 120161 46.5 171 23.2 0
1790.02/1790.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.02/1790.06 c applied globally : - - - 1028058 28.7 - - -
1790.02/1790.06 c applied locally : - - - 0 0.0 - - -
1790.02/1790.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.02/1790.06 c cut pool : 0.00 3 - - 1 - (maximal pool size: 73)
1790.02/1790.06 c redcost : 54.46 553101 0 483266 0 0
1790.02/1790.06 c impliedbounds : 0.00 4 0 0 0 0
1790.02/1790.06 c intobj : 0.00 0 0 0 0 0
1790.02/1790.06 c cgmip : 0.00 0 0 0 0 0
1790.02/1790.06 c gomory : 0.01 4 0 0 230 0
1790.02/1790.06 c strongcg : 0.01 4 0 0 215 0
1790.02/1790.06 c cmir : 0.01 4 0 0 0 0
1790.02/1790.06 c flowcover : 0.03 4 0 0 0 0
1790.02/1790.06 c clique : 0.00 1 0 0 0 0
1790.02/1790.06 c zerohalf : 0.00 0 0 0 0 0
1790.02/1790.06 c mcf : 0.00 1 0 0 0 0
1790.02/1790.06 c rapidlearning : 0.19 1 0 0 0 0
1790.02/1790.06 c Pricers : Time Calls Vars
1790.02/1790.06 c problem variables: 0.00 0 0
1790.02/1790.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.02/1790.06 c relpscost : 13.44 382552 27 836 0 0 763766
1790.02/1790.06 c pscost : 0.00 0 0 0 0 0 0
1790.02/1790.06 c inference : 59.51 105388 0 0 0 0 211111
1790.02/1790.06 c mostinf : 0.00 0 0 0 0 0 0
1790.02/1790.06 c leastinf : 0.00 0 0 0 0 0 0
1790.02/1790.06 c fullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.06 c allfullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.06 c random : 0.00 0 0 0 0 0 0
1790.02/1790.06 c Primal Heuristics : Time Calls Found
1790.02/1790.06 c LP solutions : 0.22 - 67
1790.02/1790.06 c pseudo solutions : 0.00 - 0
1790.02/1790.06 c feaspump : 0.00 0 0
1790.02/1790.06 c intshifting : 0.00 0 0
1790.02/1790.06 c oneopt : 0.50 59 0
1790.02/1790.06 c guideddiving : 0.31 123 0
1790.02/1790.06 c linesearchdiving : 0.26 145 0
1790.02/1790.06 c fracdiving : 0.27 145 0
1790.02/1790.06 c veclendiving : 0.26 145 0
1790.02/1790.06 c coefdiving : 0.27 146 0
1790.02/1790.06 c pscostdiving : 0.27 146 0
1790.02/1790.06 c crossover : 3.03 82 6
1790.02/1790.06 c rootsoldiving : 0.31 142 0
1790.02/1790.06 c objpscostdiving : 0.28 143 0
1790.02/1790.06 c trivial : 0.07 2 2
1790.02/1790.06 c simplerounding : 0.74 382887 0
1790.02/1790.06 c zirounding : 0.63 1000 0
1790.02/1790.06 c rounding : 1.18 8698 0
1790.02/1790.06 c shifting : 0.64 2694 0
1790.02/1790.06 c twoopt : 0.00 0 0
1790.02/1790.06 c fixandinfer : 0.00 0 0
1790.02/1790.06 c intdiving : 0.00 0 0
1790.02/1790.06 c actconsdiving : 0.00 0 0
1790.02/1790.06 c octane : 0.00 0 0
1790.02/1790.06 c rens : 0.03 1 0
1790.02/1790.06 c rins : 0.00 0 0
1790.02/1790.06 c localbranching : 0.00 0 0
1790.02/1790.06 c mutation : 0.00 0 0
1790.02/1790.06 c dins : 0.00 0 0
1790.02/1790.06 c undercover : 0.00 0 0
1790.02/1790.06 c nlp : 0.15 0 0
1790.02/1790.06 c trysol : 0.42 533 125
1790.02/1790.06 c LP : Time Calls Iterations Iter/call Iter/sec
1790.02/1790.06 c primal LP : 0.00 0 0 0.00 -
1790.02/1790.06 c dual LP : 453.95 465964 3680851 7.90 8108.49
1790.02/1790.06 c lex dual LP : 0.00 0 0 0.00 -
1790.02/1790.06 c barrier LP : 0.00 0 0 0.00 -
1790.02/1790.06 c diving/probing LP: 0.18 124 1576 12.71 8544.18
1790.02/1790.06 c strong branching : 10.53 8831 107206 12.14 10180.44
1790.02/1790.06 c (at root node) : - 32 1047 32.72 -
1790.02/1790.06 c conflict analysis: 0.00 0 0 0.00 -
1790.02/1790.06 c B&B Tree :
1790.02/1790.06 c number of runs : 1
1790.02/1790.06 c nodes : 805093
1790.02/1790.06 c nodes (total) : 805093
1790.02/1790.06 c nodes left : 7708
1790.02/1790.06 c max depth : 1889
1790.02/1790.06 c max depth (total): 1889
1790.02/1790.06 c backtracks : 73976 (9.2%)
1790.02/1790.06 c delayed cutoffs : 66064
1790.02/1790.06 c repropagations : 1856765 (5149194 domain reductions, 61363 cutoffs)
1790.02/1790.06 c avg switch length: 6.16
1790.02/1790.06 c switching time : 258.14
1790.02/1790.06 c Solution :
1790.02/1790.06 c Solutions found : 200 (68 improvements)
1790.02/1790.06 c First Solution : +1.38261000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1790.02/1790.06 c Primal Bound : +1.00000000000000e+00 (in run 1, after 271804 nodes, 612.95 seconds, depth 40, found by <relaxation>)
1790.02/1790.06 c Dual Bound : +0.00000000000000e+00
1790.02/1790.06 c Gap : infinite
1790.02/1790.06 c Root Dual Bound : +0.00000000000000e+00
1790.02/1790.06 c Root Iterations : 184
1790.22/1790.23 c Time complete: 1790.26.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705077-1278578336/watcher-2705077-1278578336 -o /tmp/evaluation-result-2705077-1278578336/solver-2705077-1278578336 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705077-1278578336.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.92 1.98 1.93 4/178 22626
/proc/meminfo: memFree=30065172/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=12340 CPUtime=0
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 1923 0 0 0 0 0 0 0 23 0 1 0 26048556 12636160 1841 4089446400 4194304 10345943 140735165658384 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22626/statm: 3085 1841 429 1502 0 1578 0
[startup+0.044177 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 22626
/proc/meminfo: memFree=30065172/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=28248 CPUtime=0.03
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 6304 0 0 0 3 0 0 0 23 0 1 0 26048556 28925952 5868 4089446400 4194304 10345943 140735165658384 18446744073709551615 9270511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22626/statm: 7062 5868 478 1502 0 5555 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28248
[startup+0.101164 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 22626
/proc/meminfo: memFree=30065172/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=38024 CPUtime=0.09
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 8449 0 0 0 9 0 0 0 23 0 1 0 26048556 38936576 8013 4089446400 4194304 10345943 140735165658384 18446744073709551615 4246683 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22626/statm: 9506 8013 509 1502 0 7999 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38024
[startup+0.301128 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 22626
/proc/meminfo: memFree=30065172/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=70108 CPUtime=0.29
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 16213 0 0 0 28 1 0 0 23 0 1 0 26048556 71790592 15777 4089446400 4194304 10345943 140735165658384 18446744073709551615 4688020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22626/statm: 17527 15777 632 1502 0 16020 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70108
[startup+0.701067 s]
/proc/loadavg: 1.92 1.98 1.93 4/178 22626
/proc/meminfo: memFree=30065172/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=65268 CPUtime=0.69
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 16893 0 0 0 67 2 0 0 25 0 1 0 26048556 66834432 15052 4089446400 4194304 10345943 140735165658384 18446744073709551615 6702751 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22626/statm: 16317 15052 751 1502 0 14810 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65268
[startup+1.50092 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 22627
/proc/meminfo: memFree=30007132/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=65268 CPUtime=1.49
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 16895 0 0 0 146 3 0 0 25 0 1 0 26048556 66834432 15054 4089446400 4194304 10345943 140735165658384 18446744073709551615 6119818 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22626/statm: 16317 15054 753 1502 0 14810 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65268
[startup+3.10063 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 22627
/proc/meminfo: memFree=30006828/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=65268 CPUtime=3.09
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 16897 0 0 0 306 3 0 0 25 0 1 0 26048556 66834432 15056 4089446400 4194304 10345943 140735165658384 18446744073709551615 4686927 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22626/statm: 16317 15056 754 1502 0 14810 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65268
[startup+6.30105 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 22627
/proc/meminfo: memFree=30006084/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=65268 CPUtime=6.29
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 18990 0 0 0 626 3 0 0 25 0 1 0 26048556 66834432 15084 4089446400 4194304 10345943 140735165658384 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22626/statm: 16317 15084 754 1502 0 14810 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65268
[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.93 3/179 22627
/proc/meminfo: memFree=29988132/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=67144 CPUtime=12.7
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 26538 0 0 0 1265 5 0 0 25 0 1 0 26048556 68755456 15384 4089446400 4194304 10345943 140735165658384 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22626/statm: 16786 15384 761 1502 0 15279 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 67144
[startup+25.5006 s]
/proc/loadavg: 1.95 1.98 1.93 3/179 22627
/proc/meminfo: memFree=29960736/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=81528 CPUtime=25.49
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 34239 0 0 0 2542 7 0 0 25 0 1 0 26048556 83484672 18675 4089446400 4194304 10345943 140735165658384 18446744073709551615 6756412 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22626/statm: 20382 18675 761 1502 0 18875 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81528
[startup+51.1009 s]
/proc/loadavg: 1.96 1.98 1.93 3/179 22628
/proc/meminfo: memFree=29891304/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=130060 CPUtime=51.09
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 50882 0 0 0 5096 13 0 0 25 0 1 0 26048556 133181440 30809 4089446400 4194304 10345943 140735165658384 18446744073709551615 5926569 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 32515 30809 762 1502 0 31008 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 130060
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.93 3/179 22629
/proc/meminfo: memFree=29812204/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=154824 CPUtime=102.3
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 61942 0 0 0 10210 20 0 0 25 0 1 0 26048556 158539776 37395 4089446400 4194304 10345943 140735165658384 18446744073709551615 6002389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 38706 37395 762 1502 0 37199 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 154824
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22631
/proc/meminfo: memFree=29681824/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=213288 CPUtime=162.29
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 121180 0 0 0 16194 35 0 0 25 0 1 0 26048556 218406912 52113 4089446400 4194304 10345943 140735165658384 18446744073709551615 5614585 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 53322 52113 762 1502 0 51815 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 213288
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22633
/proc/meminfo: memFree=29548468/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=279284 CPUtime=222.29
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 188184 0 0 0 22181 48 0 0 25 0 1 0 26048556 285986816 68322 4089446400 4194304 10345943 140735165658384 18446744073709551615 6119715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 69821 68322 762 1502 0 68314 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 279284
[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22634
/proc/meminfo: memFree=29383880/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=381068 CPUtime=282.29
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 267418 0 0 0 28165 64 0 0 25 0 1 0 26048556 390213632 92518 4089446400 4194304 10345943 140735165658384 18446744073709551615 5614823 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 95267 92518 774 1502 0 93760 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 381068
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22636
/proc/meminfo: memFree=29270240/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=423824 CPUtime=342.29
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 354998 0 0 0 34146 83 0 0 25 0 1 0 26048556 433995776 103107 4089446400 4194304 10345943 140735165658384 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 105956 103107 782 1502 0 104449 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 423824
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22637
/proc/meminfo: memFree=29201128/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=427532 CPUtime=402.29
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 394218 0 0 0 40130 99 0 0 25 0 1 0 26048556 437792768 104049 4089446400 4194304 10345943 140735165658384 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 106883 104049 789 1502 0 105376 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 427532
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22639
/proc/meminfo: memFree=29130532/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=430824 CPUtime=462.29
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 399339 0 0 0 46117 112 0 0 25 0 1 0 26048556 441163776 104823 4089446400 4194304 10345943 140735165658384 18446744073709551615 6518778 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 107706 104823 790 1502 0 106199 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 430824
[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22641
/proc/meminfo: memFree=29059808/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=434532 CPUtime=522.29
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 400251 0 0 0 52105 124 0 0 25 0 1 0 26048556 444960768 105735 4089446400 4194304 10345943 140735165658384 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 108633 105735 795 1502 0 107126 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 434532
[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22642
/proc/meminfo: memFree=28990180/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=438120 CPUtime=582.29
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 405611 0 0 0 58094 135 0 0 25 0 1 0 26048556 448634880 106448 4089446400 4194304 10345943 140735165658384 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 109530 106448 795 1502 0 108023 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 438120
[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22644
/proc/meminfo: memFree=28920944/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=438948 CPUtime=642.3
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 428867 0 0 0 64082 148 0 0 25 0 1 0 26048556 449482752 106701 4089446400 4194304 10345943 140735165658384 18446744073709551615 5085412 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 109737 106701 795 1502 0 108230 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 438948
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28438668/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=453156 CPUtime=1062.31
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 444761 0 0 0 106012 219 0 0 25 0 1 0 26048556 464031744 110398 4089446400 4194304 10345943 140735165658384 18446744073709551615 6777432 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 113289 110398 795 1502 0 111782 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 453156
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22657
/proc/meminfo: memFree=28370660/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=453320 CPUtime=1122.31
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 445008 0 0 0 112004 227 0 0 25 0 1 0 26048556 464199680 110645 4089446400 4194304 10345943 140735165658384 18446744073709551615 6307366 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 113330 110645 795 1502 0 111823 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 453320
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22658
/proc/meminfo: memFree=28306256/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=455360 CPUtime=1182.31
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 445464 0 0 0 117995 236 0 0 25 0 1 0 26048556 466288640 111101 4089446400 4194304 10345943 140735165658384 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 113840 111101 795 1502 0 112333 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 455360
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.93 3/179 22660
/proc/meminfo: memFree=28303964/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=455924 CPUtime=1242.31
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 445550 0 0 0 123984 247 0 0 25 0 1 0 26048556 466866176 111187 4089446400 4194304 10345943 140735165658384 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 113981 111187 795 1502 0 112474 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 455924
[startup+1302.3 s]
/proc/loadavg: 2.03 2.00 1.94 3/179 22661
/proc/meminfo: memFree=28304040/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=455924 CPUtime=1302.32
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 445584 0 0 0 129976 256 0 0 25 0 1 0 26048556 466866176 111221 4089446400 4194304 10345943 140735165658384 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 113981 111221 795 1502 0 112474 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 455924
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 22672
/proc/meminfo: memFree=28302656/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=456084 CPUtime=1362.31
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 445628 0 0 0 135966 265 0 0 25 0 1 0 26048556 467030016 111265 4089446400 4194304 10345943 140735165658384 18446744073709551615 9138240 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 114021 111265 795 1502 0 112514 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 456084
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22674
/proc/meminfo: memFree=28301988/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=456832 CPUtime=1422.32
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 445747 0 0 0 141958 274 0 0 25 0 1 0 26048556 467795968 111384 4089446400 4194304 10345943 140735165658384 18446744073709551615 6716872 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 114208 111384 795 1502 0 112701 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 456832
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22675
/proc/meminfo: memFree=28301804/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=457372 CPUtime=1482.32
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 445880 0 0 0 147948 284 0 0 25 0 1 0 26048556 468348928 111517 4089446400 4194304 10345943 140735165658384 18446744073709551615 6028338 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 114343 111517 795 1502 0 112836 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 457372
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22677
/proc/meminfo: memFree=28298528/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=461672 CPUtime=1542.32
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 450830 0 0 0 153938 294 0 0 25 0 1 0 26048556 472752128 112330 4089446400 4194304 10345943 140735165658384 18446744073709551615 5614272 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 115418 112330 795 1502 0 113911 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 461672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22678
/proc/meminfo: memFree=28297736/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=461672 CPUtime=1602.32
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 451033 0 0 0 159929 303 0 0 25 0 1 0 26048556 472752128 112533 4089446400 4194304 10345943 140735165658384 18446744073709551615 18446744073699065944 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 115418 112533 795 1502 0 113911 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 461672
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22680
/proc/meminfo: memFree=28297692/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=461824 CPUtime=1662.32
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 451107 0 0 0 165922 310 0 0 25 0 1 0 26048556 472907776 112607 4089446400 4194304 10345943 140735165658384 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 115456 112607 795 1502 0 113949 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 461824
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22682
/proc/meminfo: memFree=28297408/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=461824 CPUtime=1722.32
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 451141 0 0 0 171913 319 0 0 25 0 1 0 26048556 472907776 112641 4089446400 4194304 10345943 140735165658384 18446744073709551615 5614603 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 115456 112641 795 1502 0 113949 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 461824
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22683
/proc/meminfo: memFree=28296744/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=462188 CPUtime=1782.32
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 451250 0 0 0 177904 328 0 0 25 0 1 0 26048556 473280512 112750 4089446400 4194304 10345943 140735165658384 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 115547 112750 795 1502 0 114040 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 462188
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22683
/proc/meminfo: memFree=28296620/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=462188 CPUtime=1785.53
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 451252 0 0 0 178224 329 0 0 25 0 1 0 26048556 473280512 112752 4089446400 4194304 10345943 140735165658384 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 115547 112752 795 1502 0 114040 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 462188
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.94 2/174 22700
/proc/meminfo: memFree=29683712/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=462188 CPUtime=1788.72
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 451257 0 0 0 178543 329 0 0 25 0 1 0 26048556 473280512 112757 4089446400 4194304 10345943 140735165658384 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22626/statm: 115547 112757 795 1502 0 114040 0
Current children cumulated CPU time (s) 1788.72
Current children cumulated vsize (KiB) 462188
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.94 2/174 22700
/proc/meminfo: memFree=29683712/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=462188 CPUtime=1789.52
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 451257 0 0 0 178623 329 0 0 25 0 1 0 26048556 473280512 112757 4089446400 4194304 10345943 140735165658384 18446744073709551615 6871837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22626/statm: 115547 112757 795 1502 0 114040 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (KiB) 462188
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22710
/proc/meminfo: memFree=29634360/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=462188 CPUtime=1789.92
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 451257 0 0 0 178663 329 0 0 25 0 1 0 26048556 473280512 112757 4089446400 4194304 10345943 140735165658384 18446744073709551615 6777168 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22626/statm: 115547 112757 795 1502 0 114040 0
Current children cumulated CPU time (s) 1789.92
Current children cumulated vsize (KiB) 462188
[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22710
/proc/meminfo: memFree=29634360/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=462188 CPUtime=1790.12
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 451259 0 0 0 178683 329 0 0 18 0 1 0 26048556 473280512 112759 4089446400 4194304 10345943 140735165658384 18446744073709551615 4664673 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22626/statm: 115547 112759 796 1502 0 114040 0
Current children cumulated CPU time (s) 1790.12
Current children cumulated vsize (KiB) 462188
[startup+1790.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22710
/proc/meminfo: memFree=29634360/32951124 swapFree=67111528/67111528
[pid=22626] ppid=22624 vsize=462188 CPUtime=1790.22
/proc/22626/stat : 22626 (pbscip.linux.x8) R 22624 22626 22157 0 -1 4202496 451259 0 0 0 178693 329 0 0 18 0 1 0 26048556 473280512 112759 4089446400 4194304 10345943 140735165658384 18446744073709551615 4750745 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22626/statm: 115547 112759 796 1502 0 114040 0
Current children cumulated CPU time (s) 1790.22
Current children cumulated vsize (KiB) 462188
Child status: 0
Real time (s): 1790.24
CPU time (s): 1790.27
CPU user time (s): 1786.95
CPU system time (s): 3.3155
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 462188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.95
system time used= 3.31549
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 451262
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= 2
involuntary context switches= 2623
runsolver used 2.36964 second user time and 5.79212 second system time
The end
Begin job on node106 at 2010-07-08 10:38:56
IDJOB=2705077
IDBENCH=79290
IDSOLVER=1214
FILE ID=node106/2705077-1278578336
PBS_JOBID= 11240242
Free space on /tmp= 73236 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/tsp/normalized-t3002.11tsp11.1900581320--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-2705077-1278578336/watcher-2705077-1278578336 -o /tmp/evaluation-result-2705077-1278578336/solver-2705077-1278578336 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705077-1278578336.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 85ba7bcc847457eeeb822d6fc8af8950
RANDOM SEED=1165751902
node106.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.814
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.62
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.814
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.814
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.76
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.814
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.77
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.814
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.814
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.814
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.814
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: 30065576 kB
Buffers: 153692 kB
Cached: 2441796 kB
SwapCached: 0 kB
Active: 1157084 kB
Inactive: 1558784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30065576 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 25720 kB
Writeback: 0 kB
AnonPages: 120308 kB
Mapped: 17508 kB
Slab: 105224 kB
PageTables: 4396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 265228 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= 73224 MiB
End job on node106 at 2010-07-08 11:08:47