Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.12 | 1802.08 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo |
| MD5SUM | 7333324480eb5267e10bc3c9063685b0 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 33.4349 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 137245 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 137244 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 745 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
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-2693607-1277926321.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.10/0.12 o 137244
0.10/0.12 c feasible solution found by trivial heuristic, objective value 1.372440e+05
0.10/0.12 c presolving:
0.10/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.10/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.10/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.18 c presolving (3 rounds):
0.10/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.18 c 2707 implications, 0 cliques
0.10/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.10/0.18 c 2707 constraints of type <indicator>
0.10/0.18 c 2707 constraints of type <linear>
0.10/0.18 c transformed objective value is always integral (scale: 1)
0.10/0.18 c Presolving Time: 0.13
0.10/0.18 c - non default parameters ----------------------------------------------------------------------
0.10/0.18 c # SCIP version 1.2.1.2
0.10/0.18 c
0.10/0.18 c # frequency for displaying node information lines
0.10/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.18 c display/freq = 10000
0.10/0.18 c
0.10/0.18 c # maximal time in seconds to run
0.10/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.18 c limits/time = 1799.97
0.10/0.18 c
0.10/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.18 c limits/memory = 3420
0.10/0.18 c
0.10/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.18 c lp/solvefreq = -1
0.10/0.18 c
0.10/0.18 c # should presolving try to simplify inequalities
0.10/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.18 c constraints/linear/simplifyinequalities = TRUE
0.10/0.18 c
0.10/0.18 c # should presolving try to simplify knapsacks
0.10/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.18 c
0.10/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.18 c separating/rapidlearning/freq = 0
0.10/0.18 c
0.10/0.18 c -----------------------------------------------------------------------------------------------
0.10/0.18 c start solving
0.10/0.18 c
0.10/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.10/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
3.30/3.38 c 3.1s| 10000 | 9625 | 0 | 0.0 | 24M|2816 | - |5645 |6605 | 0 | 0 | 0 |1191 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
5.50/5.59 o 476
5.50/5.59 c * 5.2s| 16426 | 14982 | 0 | 0.0 | 26M|2816 | - |5645 |6681 | 0 | 0 | 0 |1267 | 0 | 0.000000e+00 | 4.760000e+02 | Inf
5.50/5.59 o 406
5.50/5.59 c * 5.2s| 16427 | 13895 | 0 | 0.0 | 26M|2816 | - |5645 |6681 | 0 | 0 | 0 |1267 | 0 | 0.000000e+00 | 4.060000e+02 | Inf
5.60/5.66 o 386
5.60/5.66 c * 5.3s| 16578 | 13670 | 0 | 0.0 | 26M|2816 | - |5645 |6681 | 0 | 0 | 0 |1267 | 0 | 0.000000e+00 | 3.860000e+02 | Inf
5.60/5.67 o 358
5.60/5.67 c * 5.3s| 16579 | 11355 | 0 | 0.0 | 26M|2816 | - |5645 |6681 | 0 | 0 | 0 |1267 | 0 | 0.000000e+00 | 3.580000e+02 | Inf
5.79/5.85 o 356
5.79/5.85 c * 5.5s| 16956 | 11572 | 0 | 0.0 | 26M|2816 | - |5645 |6711 | 0 | 0 | 0 |1297 | 0 | 0.000000e+00 | 3.560000e+02 | Inf
5.79/5.85 o 321
5.79/5.85 c * 5.5s| 16957 | 8848 | 0 | 0.0 | 26M|2816 | - |5645 |6711 | 0 | 0 | 0 |1297 | 0 | 0.000000e+00 | 3.210000e+02 | Inf
5.89/5.96 o 264
5.89/5.96 c * 5.6s| 17195 | 6341 | 0 | 0.0 | 24M|2816 | - |5645 |6730 | 0 | 0 | 0 |1317 | 0 | 0.000000e+00 | 2.640000e+02 | Inf
5.89/5.96 o 252
5.89/5.96 c * 5.6s| 17196 | 6233 | 0 | 0.0 | 24M|2816 | - |5645 |6730 | 0 | 0 | 0 |1317 | 0 | 0.000000e+00 | 2.520000e+02 | Inf
5.99/6.01 o 245
5.99/6.01 c * 5.6s| 17300 | 6315 | 0 | 0.0 | 24M|2816 | - |5645 |6740 | 0 | 0 | 0 |1327 | 0 | 0.000000e+00 | 2.450000e+02 | Inf
6.29/6.35 o 211
6.29/6.35 c * 6.0s| 18371 | 6997 | 0 | 0.0 | 24M|2816 | - |5645 |6957 | 0 | 0 | 0 |1545 | 0 | 0.000000e+00 | 2.110000e+02 | Inf
6.29/6.35 o 196
6.29/6.35 c * 6.0s| 18372 | 6964 | 0 | 0.0 | 25M|2816 | - |5645 |6957 | 0 | 0 | 0 |1545 | 0 | 0.000000e+00 | 1.960000e+02 | Inf
6.89/6.91 c 6.5s| 20000 | 8362 | 0 | 0.0 | 26M|2816 | - |5645 |7544 | 0 | 0 | 0 |2489 | 0 | 0.000000e+00 | 1.960000e+02 | Inf
10.89/10.99 c 10.3s| 30000 | 16000 | 0 | 0.0 | 39M|2816 | - |5645 |8356 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.960000e+02 | Inf
14.99/15.02 o 191
14.99/15.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.99/15.02 c *14.2s| 36312 | 19473 | 0 | 0.0 | 48M|2816 | - |5645 |9220 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.910000e+02 | Inf
14.99/15.02 o 168
14.99/15.02 c *14.2s| 36313 | 19435 | 0 | 0.0 | 48M|2816 | - |5645 |9220 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
15.10/15.12 o 151
15.10/15.12 c *14.3s| 36469 | 19436 | 0 | 0.0 | 48M|2816 | - |5645 |9185 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
15.10/15.13 o 146
15.10/15.13 c *14.3s| 36470 | 19419 | 0 | 0.0 | 48M|2816 | - |5645 |9185 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
15.70/15.70 o 145
15.70/15.70 c *14.8s| 37327 | 20224 | 0 | 0.0 | 49M|2816 | - |5645 |8961 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
16.19/16.25 o 139
16.19/16.25 c *15.4s| 38148 | 20956 | 0 | 0.0 | 50M|2816 | - |5645 |8924 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
16.50/16.55 o 123
16.50/16.55 c *15.6s| 38578 | 21274 | 0 | 0.0 | 50M|2816 | - |5645 |8943 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
17.49/17.55 c 16.6s| 40000 | 22582 | 0 | 0.0 | 51M|2816 | - |5645 |8447 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
19.19/19.20 o 97
19.19/19.20 c *18.2s| 42451 | 24490 | 0 | 0.0 | 54M|2816 | - |5645 |8052 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
19.30/19.30 o 87
19.30/19.30 c *18.3s| 42576 | 24225 | 0 | 0.0 | 54M|2816 | - |5645 |8039 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
25.39/25.45 c 24.2s| 50000 | 30735 | 0 | 0.0 | 64M|2816 | - |5645 |7412 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
29.29/29.34 o 78
29.29/29.34 c *27.9s| 55702 | 35358 | 0 | 0.0 | 71M|2816 | - |5645 |7590 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
30.99/31.02 o 46
30.99/31.02 c *29.5s| 57330 | 34447 | 0 | 0.0 | 68M|2816 | - |5645 |8053 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
32.59/32.62 c 31.0s| 60000 | 36760 | 0 | 0.0 | 70M|2816 | - |5645 |6628 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
35.50/35.55 o 42
35.50/35.55 c *33.8s| 65811 | 41450 | 0 | 0.0 | 77M|2816 | - |5645 |7101 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
37.40/37.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.40/37.43 c 35.5s| 70000 | 44910 | 0 | 0.0 | 82M|2816 | - |5645 |7350 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
41.29/41.35 o 39
41.29/41.35 c *39.3s| 79434 | 52563 | 0 | 0.0 | 90M|2816 | - |5645 |7804 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
41.59/41.63 c 39.5s| 80000 | 52980 | 0 | 0.0 | 91M|2816 | - |5645 |8020 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
45.49/45.51 c 43.1s| 90000 | 61359 | 0 | 0.0 | 100M|2816 | - |5645 |8010 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
49.69/49.77 c 47.1s|100000 | 69378 | 0 | 0.0 | 111M|2816 | - |5645 |7041 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
54.69/54.72 c 51.9s|110000 | 76680 | 0 | 0.0 | 122M|2816 | - |5645 |7655 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
60.29/60.36 c 57.3s|120000 | 83354 | 0 | 0.0 | 133M|2816 | - |5645 |8488 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
67.29/67.38 c 64.0s|130000 | 88780 | 0 | 0.0 | 145M|2816 | - |5645 |9321 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
74.69/74.75 c 71.1s|140000 | 93945 | 0 | 0.0 | 157M|2816 | - |5645 |9951 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
82.29/82.32 c 78.4s|150000 | 98846 | 0 | 0.0 | 169M|2816 | - |5645 | 10k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
90.79/90.80 c 86.5s|160000 |102861 | 0 | 0.0 | 180M|2816 | - |5645 | 11k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
101.39/101.47 c 96.9s|170000 |104810 | 0 | 0.0 | 189M|2816 | - |5645 | 13k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
107.40/107.40 c 103s|180000 |113136 | 0 | 0.0 | 197M|2816 | - |5645 |6679 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
111.60/111.68 o 36
111.60/111.68 c * 107s|186731 |118380 | 0 | 0.0 | 206M|2816 | - |5645 |7531 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
114.29/114.39 c 109s|190000 |120726 | 0 | 0.0 | 212M|2816 | - |5645 |7266 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
117.00/117.01 o 34
117.00/117.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.00/117.01 c * 112s|192531 |121888 | 0 | 0.0 | 217M|2816 | - |5645 |8708 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
118.60/118.66 o 27
118.60/118.66 c * 113s|193728 |121434 | 0 | 0.0 | 215M|2816 | - |5645 |8966 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
121.80/121.81 c 116s|200000 |126782 | 0 | 0.0 | 221M|2816 | - |5645 |7019 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
127.30/127.33 c 122s|210000 |135092 | 0 | 0.0 | 231M|2816 | - |5645 |8074 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
128.10/128.16 o 18
128.10/128.16 c * 122s|211277 |134488 | 0 | 0.0 | 224M|2816 | - |5645 |8312 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
128.10/128.16 o 15
128.10/128.16 c * 122s|211278 |134184 | 0 | 0.0 | 223M|2816 | - |5645 |8312 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
136.50/136.59 c 130s|220000 |139466 | 0 | 0.0 | 239M|2816 | - |5645 | 11k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
144.49/144.54 c 138s|230000 |145050 | 0 | 0.0 | 253M|2816 | - |5645 |8963 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
152.29/152.32 c 146s|240000 |151509 | 0 | 0.0 | 266M|2816 | - |5645 |9331 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
160.39/160.49 c 153s|250000 |156343 | 0 | 0.0 | 278M|2816 | - |5645 | 12k| 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
165.50/165.57 c 158s|260000 |164416 | 0 | 0.0 | 288M|2816 | - |5645 | 10k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
172.09/172.19 c 165s|270000 |170726 | 0 | 0.0 | 299M|2816 | - |5645 |9820 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
178.09/178.19 c 170s|280000 |178385 | 0 | 0.0 | 311M|2816 | - |5645 | 10k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
185.10/185.10 c 177s|290000 |185464 | 0 | 0.0 | 324M|2816 | - |5645 | 10k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
192.69/192.71 c 184s|300000 |191966 | 0 | 0.0 | 337M|2816 | - |5645 | 12k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
202.10/202.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.10/202.13 c 193s|310000 |196716 | 0 | 0.0 | 351M|2816 | - |5645 | 11k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
209.39/209.44 c 200s|320000 |204111 | 0 | 0.0 | 377M|2816 | - |5645 | 11k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
210.80/210.81 o 11
210.80/210.81 c * 202s|321859 |203464 | 0 | 0.0 | 367M|2816 | - |5645 | 11k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
214.60/214.63 c 205s|330000 |209829 | 0 | 0.0 | 374M|2816 | - |5645 |9170 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
219.09/219.12 c 210s|340000 |217741 | 0 | 0.0 | 385M|2816 | - |5645 | 10k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
221.40/221.49 o 5
221.40/221.49 c * 212s|344551 |219067 | 0 | 0.0 | 378M|2816 | - |5645 | 10k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
225.29/225.36 c 215s|350000 |222388 | 0 | 0.0 | 387M|2816 | - |5645 | 11k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
231.10/231.11 c 221s|360000 |228924 | 0 | 0.0 | 396M|2816 | - |5645 | 10k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
236.80/236.80 c 226s|370000 |235385 | 0 | 0.0 | 406M|2816 | - |5645 |9979 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
242.70/242.77 c 232s|380000 |241668 | 0 | 0.0 | 417M|2816 | - |5645 | 10k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
248.40/248.40 c 237s|390000 |248316 | 0 | 0.0 | 428M|2816 | - |5645 | 12k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
253.00/253.05 c 242s|400000 |255999 | 0 | 0.0 | 438M|2816 | - |5645 | 12k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
258.00/258.02 c 246s|410000 |263300 | 0 | 0.0 | 448M|2816 | - |5645 | 11k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
263.40/263.46 c 252s|420000 |270296 | 0 | 0.0 | 458M|2816 | - |5645 | 10k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
268.30/268.30 c 256s|430000 |278049 | 0 | 0.0 | 469M|2816 | - |5645 | 12k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
275.60/275.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.60/275.69 c 263s|440000 |283524 | 0 | 0.0 | 479M|2816 | - |5645 | 14k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
279.90/279.99 c 267s|450000 |291793 | 0 | 0.0 | 489M|2816 | - |5645 | 11k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
285.50/285.53 c 273s|460000 |299002 | 0 | 0.0 | 500M|2816 | - |5645 | 13k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
292.71/292.72 c 279s|470000 |304604 | 0 | 0.0 | 509M|2816 | - |5645 | 11k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
298.21/298.28 c 285s|480000 |311360 | 0 | 0.0 | 519M|2816 | - |5645 | 14k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
302.60/302.61 c 289s|490000 |319515 | 0 | 0.0 | 529M|2816 | - |5645 | 12k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
307.89/307.91 c 294s|500000 |326767 | 0 | 0.0 | 539M|2816 | - |5645 | 12k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
313.40/313.46 c 299s|510000 |333788 | 0 | 0.0 | 549M|2816 | - |5645 | 12k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
318.90/318.99 c 304s|520000 |340844 | 0 | 0.0 | 559M|2816 | - |5645 | 13k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
323.90/323.90 c 309s|530000 |348534 | 0 | 0.0 | 570M|2816 | - |5645 | 14k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
329.20/329.27 c 314s|540000 |355745 | 0 | 0.0 | 579M|2816 | - |5645 | 13k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
334.90/334.98 c 319s|550000 |362669 | 0 | 0.0 | 589M|2816 | - |5645 | 13k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
340.40/340.46 c 325s|560000 |370001 | 0 | 0.0 | 600M|2816 | - |5645 | 13k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
346.60/346.62 c 331s|570000 |376654 | 0 | 0.0 | 610M|2816 | - |5645 | 13k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
352.30/352.37 c 336s|580000 |383699 | 0 | 0.0 | 620M|2816 | - |5645 | 14k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
358.40/358.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.40/358.43 c 342s|590000 |390440 | 0 | 0.0 | 630M|2816 | - |5645 | 14k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
364.00/364.09 c 347s|600000 |397531 | 0 | 0.0 | 640M|2816 | - |5645 | 13k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
369.61/369.63 c 352s|610000 |404493 | 0 | 0.0 | 647M|2816 | - |5645 |6261 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
373.50/373.58 c 356s|620000 |412463 | 0 | 0.0 | 657M|2816 | - |5645 |5548 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
377.41/377.40 c 360s|630000 |420553 | 0 | 0.0 | 668M|2816 | - |5645 |5672 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
381.10/381.15 c 363s|640000 |428590 | 0 | 0.0 | 678M|2816 | - |5645 |5634 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
387.30/387.36 c 369s|650000 |434520 | 0 | 0.0 | 689M|2816 | - |5645 |6979 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
395.10/395.11 c 376s|660000 |439169 | 0 | 0.0 | 700M|2816 | - |5645 |7822 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
403.90/403.94 c 385s|670000 |442879 | 0 | 0.0 | 711M|2816 | - |5645 |8588 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
413.40/413.49 c 394s|680000 |446065 | 0 | 0.0 | 722M|2816 | - |5645 |9863 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
423.10/423.14 c 404s|690000 |449251 | 0 | 0.0 | 731M|2816 | - |5645 | 10k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
432.91/432.92 c 413s|700000 |452437 | 0 | 0.0 | 741M|2816 | - |5645 | 11k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
443.60/443.61 c 423s|710000 |454948 | 0 | 0.0 | 750M|2816 | - |5645 | 11k| 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
453.51/453.54 c 433s|720000 |458167 | 0 | 0.0 | 759M|2816 | - |5645 | 12k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
463.11/463.12 c 442s|730000 |461733 | 0 | 0.0 | 767M|2816 | - |5645 | 12k| 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
473.40/473.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.40/473.48 c 452s|740000 |464532 | 0 | 0.0 | 775M|2816 | - |5645 | 13k| 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
483.01/483.05 c 462s|750000 |468218 | 0 | 0.0 | 782M|2816 | - |5645 | 12k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
493.50/493.51 c 472s|760000 |471229 | 0 | 0.0 | 791M|2816 | - |5645 | 14k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
504.80/504.89 c 483s|770000 |473675 | 0 | 0.0 | 798M|2816 | - |5645 | 13k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
518.01/518.07 c 496s|780000 |474749 | 0 | 0.0 | 805M|2816 | - |5645 | 16k| 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
531.70/531.77 c 509s|790000 |475471 | 0 | 0.0 | 810M|2816 | - |5645 | 16k| 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
544.30/544.30 c 521s|800000 |472609 | 0 | 0.0 | 800M|2816 | - |5645 |8040 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
548.91/548.94 c 526s|810000 |480283 | 0 | 0.0 | 809M|2816 | - |5645 |6431 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
553.90/553.94 c 530s|820000 |487563 | 0 | 0.0 | 819M|2816 | - |5645 |7337 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
559.91/559.91 c 536s|830000 |494148 | 0 | 0.0 | 830M|2816 | - |5645 |8533 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
563.60/563.64 o 4
563.60/563.64 c * 540s|835052 |495810 | 0 | 0.0 | 833M|2816 | - |5645 |9405 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
568.01/568.09 c 544s|840000 |498324 | 0 | 0.0 | 839M|2816 | - |5645 |9941 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
577.62/577.66 c 553s|850000 |502785 | 0 | 0.0 | 852M|2816 | - |5645 | 11k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
588.91/588.99 c 564s|860000 |505855 | 0 | 0.0 | 865M|2816 | - |5645 | 13k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
605.91/605.97 c 580s|870000 |504728 | 0 | 0.0 | 874M|2816 | - |5645 | 16k| 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
615.21/615.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.21/615.23 c 589s|880000 |508377 | 0 | 0.0 | 877M|2816 | - |5645 |7935 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
620.90/620.97 c 595s|890000 |515564 | 0 | 0.0 | 888M|2816 | - |5645 |8618 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
627.01/627.01 c 601s|900000 |522543 | 0 | 0.0 | 898M|2816 | - |5645 |9339 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
633.71/633.77 c 607s|910000 |529041 | 0 | 0.0 | 909M|2816 | - |5645 | 10k| 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
641.11/641.15 c 614s|920000 |535165 | 0 | 0.0 | 921M|2816 | - |5645 | 11k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
648.81/648.81 c 621s|930000 |541182 | 0 | 0.0 | 931M|2816 | - |5645 | 12k| 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
657.41/657.49 c 630s|940000 |546656 | 0 | 0.0 | 943M|2816 | - |5645 | 13k| 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
666.90/666.91 c 639s|950000 |551684 | 0 | 0.0 | 953M|2816 | - |5645 | 14k| 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
677.41/677.49 c 649s|960000 |556107 | 0 | 0.0 | 963M|2816 | - |5645 | 15k| 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
689.11/689.13 c 660s|970000 |559914 | 0 | 0.0 | 974M|2816 | - |5645 | 16k| 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
704.02/704.04 c 675s|980000 |562043 | 0 | 0.0 | 983M|2816 | - |5645 | 18k| 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
725.71/725.70 c 696s|990000 |560685 | 0 | 0.0 | 989M|2816 | - |5645 | 22k| 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
734.81/734.81 c 705s| 1000k|566037 | 0 | 0.0 | 993M|2816 | - |5645 | 10k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
740.81/740.89 c 711s| 1010k|573048 | 0 | 0.0 |1003M|2816 | - |5645 | 12k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
747.51/747.54 c 717s| 1020k|579669 | 0 | 0.0 |1012M|2816 | - |5645 | 13k| 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
756.41/756.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.41/756.41 c 726s| 1030k|584800 | 0 | 0.0 |1023M|2816 | - |5645 | 15k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
769.21/769.21 c 738s| 1040k|587616 | 0 | 0.0 |1033M|2816 | - |5645 | 16k| 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
780.71/780.76 c 749s| 1050k|591045 | 0 | 0.0 |1041M|2816 | - |5645 | 12k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
789.21/789.20 c 757s| 1060k|596225 | 0 | 0.0 |1050M|2816 | - |5645 | 12k| 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
797.21/797.26 c 765s| 1070k|601605 | 0 | 0.0 |1060M|2816 | - |5645 | 13k| 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
806.42/806.49 c 774s| 1080k|606225 | 0 | 0.0 |1071M|2816 | - |5645 | 14k| 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
818.01/818.02 c 785s| 1090k|609503 | 0 | 0.0 |1082M|2816 | - |5645 | 16k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
833.01/833.09 c 800s| 1100k|610341 | 0 | 0.0 |1089M|2816 | - |5645 | 19k| 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
839.62/839.64 c 806s| 1110k|617198 | 0 | 0.0 |1096M|2816 | - |5645 | 11k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
846.02/846.02 c 812s| 1120k|623917 | 0 | 0.0 |1107M|2816 | - |5645 | 12k| 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
853.21/853.23 c 819s| 1130k|630064 | 0 | 0.0 |1118M|2816 | - |5645 | 13k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
861.11/861.19 c 827s| 1140k|635612 | 0 | 0.0 |1128M|2816 | - |5645 | 14k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
870.01/870.04 c 835s| 1150k|640470 | 0 | 0.0 |1139M|2816 | - |5645 | 15k| 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
881.31/881.38 c 846s| 1160k|643799 | 0 | 0.0 |1148M|2816 | - |5645 | 16k| 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
896.82/896.85 c 861s| 1170k|644322 | 0 | 0.0 |1153M|2816 | - |5645 | 16k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
902.92/902.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.92/902.97 c 867s| 1180k|651763 | 0 | 0.0 |1164M|2816 | - |5645 | 12k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
908.92/908.94 c 873s| 1190k|658922 | 0 | 0.0 |1175M|2816 | - |5645 | 13k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
915.33/915.34 c 879s| 1200k|665712 | 0 | 0.0 |1185M|2816 | - |5645 | 13k| 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
922.42/922.45 c 886s| 1210k|672041 | 0 | 0.0 |1196M|2816 | - |5645 | 14k| 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
930.31/930.37 c 893s| 1220k|677862 | 0 | 0.0 |1207M|2816 | - |5645 | 14k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
939.12/939.10 c 902s| 1230k|683197 | 0 | 0.0 |1218M|2816 | - |5645 | 14k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
948.01/948.05 c 910s| 1240k|688292 | 0 | 0.0 |1228M|2816 | - |5645 | 15k| 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
957.32/957.31 c 919s| 1250k|693265 | 0 | 0.0 |1238M|2816 | - |5645 | 15k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
966.41/966.40 c 928s| 1260k|698421 | 0 | 0.0 |1247M|2816 | - |5645 | 15k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
974.82/974.87 c 936s| 1270k|704015 | 0 | 0.0 |1257M|2816 | - |5645 | 14k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
983.43/983.47 c 944s| 1280k|709531 | 0 | 0.0 |1267M|2816 | - |5645 | 15k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
991.32/991.36 c 952s| 1290k|715542 | 0 | 0.0 |1278M|2816 | - |5645 | 15k| 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
999.61/999.66 c 960s| 1300k|721287 | 0 | 0.0 |1288M|2816 | - |5645 | 16k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1008.62/1008.68 c 969s| 1310k|726647 | 0 | 0.0 |1299M|2816 | - |5645 | 17k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1018.22/1018.26 c 978s| 1320k|731798 | 0 | 0.0 |1310M|2816 | - |5645 | 18k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1029.02/1029.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.02/1029.04 c 988s| 1330k|736340 | 0 | 0.0 |1319M|2816 | - |5645 | 19k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1040.82/1040.82 c 1000s| 1340k|740480 | 0 | 0.0 |1329M|2816 | - |5645 | 20k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1055.02/1055.02 c 1014s| 1350k|743214 | 0 | 0.0 |1338M|2816 | - |5645 | 22k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1069.02/1069.04 c 1027s| 1360k|745992 | 0 | 0.0 |1345M|2816 | - |5645 | 18k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1075.93/1075.91 c 1034s| 1370k|753475 | 0 | 0.0 |1359M|2816 | - |5645 | 15k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1082.82/1082.84 c 1040s| 1380k|760699 | 0 | 0.0 |1373M|2816 | - |5645 | 16k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1090.52/1090.57 c 1048s| 1390k|767485 | 0 | 0.0 |1388M|2816 | - |5645 | 17k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1098.82/1098.90 c 1056s| 1400k|773887 | 0 | 0.0 |1403M|2816 | - |5645 | 18k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1109.32/1109.38 c 1066s| 1410k|778878 | 0 | 0.0 |1419M|2816 | - |5645 | 20k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1120.02/1120.06 c 1076s| 1420k|782885 | 0 | 0.0 |1428M|2816 | - |5645 | 15k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1133.82/1133.81 c 1089s| 1430k|783411 | 0 | 0.0 |1432M|2816 | - |5645 | 14k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1139.12/1139.14 c 1094s| 1440k|791016 | 0 | 0.0 |1441M|2816 | - |5645 | 12k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1144.22/1144.27 c 1099s| 1450k|798662 | 0 | 0.0 |1451M|2816 | - |5645 | 12k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1149.53/1149.51 c 1104s| 1460k|806278 | 0 | 0.0 |1460M|2816 | - |5645 | 13k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1154.72/1154.75 c 1109s| 1470k|813781 | 0 | 0.0 |1470M|2816 | - |5645 | 13k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1160.32/1160.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.32/1160.38 c 1115s| 1480k|820993 | 0 | 0.0 |1479M|2816 | - |5645 | 13k| 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1166.72/1166.71 c 1121s| 1490k|827711 | 0 | 0.0 |1489M|2816 | - |5645 | 13k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1173.22/1173.29 c 1127s| 1500k|834198 | 0 | 0.0 |1500M|2816 | - |5645 | 14k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1179.92/1179.97 c 1133s| 1510k|840570 | 0 | 0.0 |1510M|2816 | - |5645 | 14k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1187.02/1187.08 c 1140s| 1520k|846619 | 0 | 0.0 |1520M|2816 | - |5645 | 14k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1194.32/1194.36 c 1147s| 1530k|852552 | 0 | 0.0 |1530M|2816 | - |5645 | 15k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1202.72/1202.70 c 1155s| 1540k|857723 | 0 | 0.0 |1539M|2816 | - |5645 | 15k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1211.52/1211.50 c 1164s| 1550k|862596 | 0 | 0.0 |1549M|2816 | - |5645 | 15k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1220.72/1220.79 c 1173s| 1560k|867092 | 0 | 0.0 |1558M|2816 | - |5645 | 16k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1231.02/1231.06 c 1182s| 1570k|870910 | 0 | 0.0 |1567M|2816 | - |5645 | 17k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1243.22/1243.25 c 1194s| 1580k|873350 | 0 | 0.0 |1575M|2816 | - |5645 | 18k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1254.93/1254.99 c 1206s| 1590k|875907 | 0 | 0.0 |1580M|2816 | - |5645 | 15k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1261.53/1261.50 c 1212s| 1600k|882415 | 0 | 0.0 |1588M|2816 | - |5645 | 13k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1267.02/1267.06 c 1217s| 1610k|889601 | 0 | 0.0 |1598M|2816 | - |5645 | 13k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1273.43/1273.40 c 1223s| 1620k|896253 | 0 | 0.0 |1608M|2816 | - |5645 | 14k| 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1280.93/1280.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1280.93/1280.90 c 1230s| 1630k|902021 | 0 | 0.0 |1619M|2816 | - |5645 | 15k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1289.24/1289.25 c 1238s| 1640k|907134 | 0 | 0.0 |1629M|2816 | - |5645 | 16k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1299.33/1299.34 c 1248s| 1650k|910894 | 0 | 0.0 |1638M|2816 | - |5645 | 18k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1308.03/1308.02 c 1256s| 1660k|915978 | 0 | 0.0 |1644M|2816 | - |5645 | 13k| 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1313.03/1313.05 c 1261s| 1670k|923641 | 0 | 0.0 |1653M|2816 | - |5645 | 13k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1318.53/1318.58 c 1266s| 1680k|930878 | 0 | 0.0 |1664M|2816 | - |5645 | 13k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1324.82/1324.81 c 1272s| 1690k|937575 | 0 | 0.0 |1674M|2816 | - |5645 | 14k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1332.63/1332.64 c 1280s| 1700k|943195 | 0 | 0.0 |1684M|2816 | - |5645 | 16k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1341.62/1341.62 c 1288s| 1710k|948052 | 0 | 0.0 |1695M|2816 | - |5645 | 16k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1352.73/1352.79 c 1299s| 1720k|951329 | 0 | 0.0 |1703M|2816 | - |5645 | 18k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1361.43/1361.43 c 1308s| 1730k|956679 | 0 | 0.0 |1709M|2816 | - |5645 | 13k| 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1367.13/1367.10 c 1313s| 1740k|964007 | 0 | 0.0 |1719M|2816 | - |5645 | 13k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1373.43/1373.48 c 1319s| 1750k|970749 | 0 | 0.0 |1729M|2816 | - |5645 | 14k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1380.73/1380.78 c 1326s| 1760k|976830 | 0 | 0.0 |1740M|2816 | - |5645 | 15k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1388.93/1388.93 c 1334s| 1770k|982243 | 0 | 0.0 |1751M|2816 | - |5645 | 17k| 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1398.24/1398.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.24/1398.24 c 1343s| 1780k|986767 | 0 | 0.0 |1761M|2816 | - |5645 | 18k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1409.73/1409.73 c 1354s| 1790k|989930 | 0 | 0.0 |1768M|2816 | - |5645 | 17k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1415.13/1415.13 c 1359s| 1800k|997725 | 0 | 0.0 |1776M|2816 | - |5645 | 13k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1420.93/1420.91 c 1365s| 1810k| 1004k| 0 | 0.0 |1786M|2816 | - |5645 | 14k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1427.03/1427.08 c 1371s| 1820k| 1011k| 0 | 0.0 |1796M|2816 | - |5645 | 15k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1434.23/1434.26 c 1377s| 1830k| 1017k| 0 | 0.0 |1807M|2816 | - |5645 | 16k| 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1442.72/1442.78 c 1386s| 1840k| 1022k| 0 | 0.0 |1817M|2816 | - |5645 | 17k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1453.63/1453.65 c 1396s| 1850k| 1025k| 0 | 0.0 |1826M|2816 | - |5645 | 19k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1462.23/1462.24 c 1404s| 1860k| 1031k| 0 | 0.0 |1832M|2816 | - |5645 | 13k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1467.62/1467.69 c 1410s| 1870k| 1039k| 0 | 0.0 |1843M|2816 | - |5645 | 14k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1474.03/1474.02 c 1416s| 1880k| 1046k| 0 | 0.0 |1854M|2816 | - |5645 | 14k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1480.93/1480.97 c 1422s| 1890k| 1052k| 0 | 0.0 |1864M|2816 | - |5645 | 15k| 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1489.23/1489.20 c 1430s| 1900k| 1058k| 0 | 0.0 |1875M|2816 | - |5645 | 17k| 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1498.52/1498.50 c 1439s| 1910k| 1062k| 0 | 0.0 |1885M|2816 | - |5645 | 18k| 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1511.13/1511.13 c 1451s| 1920k| 1065k| 0 | 0.0 |1893M|2816 | - |5645 | 19k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1518.83/1518.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.83/1518.88 c 1459s| 1930k| 1071k| 0 | 0.0 |1899M|2816 | - |5645 | 13k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1523.93/1523.98 c 1464s| 1940k| 1079k| 0 | 0.0 |1908M|2816 | - |5645 | 13k| 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1529.13/1529.18 c 1469s| 1950k| 1087k| 0 | 0.0 |1918M|2816 | - |5645 | 13k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1534.32/1534.37 c 1473s| 1960k| 1094k| 0 | 0.0 |1927M|2816 | - |5645 | 14k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1539.83/1539.87 c 1479s| 1970k| 1102k| 0 | 0.0 |1936M|2816 | - |5645 | 14k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1545.53/1545.57 c 1484s| 1980k| 1109k| 0 | 0.0 |1945M|2816 | - |5645 | 14k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1551.43/1551.43 c 1490s| 1990k| 1116k| 0 | 0.0 |1954M|2816 | - |5645 | 15k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1557.83/1557.89 c 1496s| 2000k| 1123k| 0 | 0.0 |1964M|2816 | - |5645 | 16k| 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1565.03/1565.04 c 1503s| 2010k| 1129k| 0 | 0.0 |1974M|2816 | - |5645 | 16k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1572.93/1572.99 c 1510s| 2020k| 1135k| 0 | 0.0 |1984M|2816 | - |5645 | 17k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1581.73/1581.76 c 1519s| 2030k| 1140k| 0 | 0.0 |1994M|2816 | - |5645 | 17k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1591.13/1591.17 c 1528s| 2040k| 1145k| 0 | 0.0 |2004M|2816 | - |5645 | 18k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1601.83/1601.86 c 1538s| 2050k| 1149k| 0 | 0.0 |2012M|2816 | - |5645 | 19k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1613.93/1613.92 c 1550s| 2060k| 1152k| 0 | 0.0 |2021M|2816 | - |5645 | 20k| 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1629.33/1629.31 c 1565s| 2070k| 1153k| 0 | 0.0 |2024M|2816 | - |5645 | 20k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1634.93/1634.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.93/1634.90 c 1570s| 2080k| 1161k| 0 | 0.0 |2032M|2816 | - |5645 | 13k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1640.13/1640.12 c 1575s| 2090k| 1169k| 0 | 0.0 |2042M|2816 | - |5645 | 13k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1646.13/1646.11 c 1581s| 2100k| 1176k| 0 | 0.0 |2052M|2816 | - |5645 | 14k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1652.54/1652.52 c 1587s| 2110k| 1183k| 0 | 0.0 |2062M|2816 | - |5645 | 15k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1659.23/1659.24 c 1593s| 2120k| 1190k| 0 | 0.0 |2072M|2816 | - |5645 | 16k| 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1666.34/1666.38 c 1600s| 2130k| 1196k| 0 | 0.0 |2083M|2816 | - |5645 | 16k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1673.93/1673.97 c 1607s| 2140k| 1203k| 0 | 0.0 |2093M|2816 | - |5645 | 17k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1682.04/1682.09 c 1615s| 2150k| 1209k| 0 | 0.0 |2103M|2816 | - |5645 | 17k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1690.63/1690.63 c 1623s| 2160k| 1214k| 0 | 0.0 |2112M|2816 | - |5645 | 18k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1699.43/1699.48 c 1632s| 2170k| 1220k| 0 | 0.0 |2122M|2816 | - |5645 | 18k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1709.73/1709.72 c 1642s| 2180k| 1224k| 0 | 0.0 |2132M|2816 | - |5645 | 19k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1721.14/1721.13 c 1653s| 2190k| 1228k| 0 | 0.0 |2141M|2816 | - |5645 | 20k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1735.14/1735.10 c 1667s| 2200k| 1230k| 0 | 0.0 |2148M|2816 | - |5645 | 23k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1745.23/1745.20 c 1676s| 2210k| 1235k| 0 | 0.0 |2151M|2816 | - |5645 | 14k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1750.63/1750.66 c 1681s| 2220k| 1242k| 0 | 0.0 |2160M|2816 | - |5645 | 14k| 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1756.43/1756.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.43/1756.40 c 1687s| 2230k| 1250k| 0 | 0.0 |2170M|2816 | - |5645 | 15k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1763.03/1763.07 c 1693s| 2240k| 1256k| 0 | 0.0 |2180M|2816 | - |5645 | 16k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1770.33/1770.36 c 1700s| 2250k| 1263k| 0 | 0.0 |2190M|2816 | - |5645 | 16k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1778.53/1778.59 c 1708s| 2260k| 1268k| 0 | 0.0 |2200M|2816 | - |5645 | 18k| 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1788.23/1788.24 c 1717s| 2270k| 1273k| 0 | 0.0 |2209M|2816 | - |5645 | 19k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1799.83/1799.86 c 1729s| 2280k| 1277k| 0 | 0.0 |2218M|2816 | - |5645 | 22k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1728.79
1800.03/1800.00 c Solving Nodes : 2280123
1800.03/1800.00 c Primal Bound : +4.00000000000000e+00 (35 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.09 s SATISFIABLE
1800.03/1800.09 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210
1800.03/1800.09 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.09 v x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.09 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.09 v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.09 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.03/1800.09 v -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.03/1800.09 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
1800.03/1800.09 v -x54 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
1800.03/1800.09 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
1800.03/1800.09 v -x1
1800.03/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.09 c Solving Time : 1728.79
1800.03/1800.09 c Original Problem :
1800.03/1800.09 c Problem name : HOME/instance-2693607-1277926321.wbo
1800.03/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.03/1800.09 c Presolved Problem :
1800.03/1800.09 c Problem name : t_HOME/instance-2693607-1277926321.wbo
1800.03/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.09 c Constraints : 5414 initial, 26030 maximal
1800.03/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.03/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.09 c root node : - 2619 - - 5238 - - - -
1800.03/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.09 c indicator : 2707 0 6119720 0 1691229 269 2983134 0 0 0
1800.03/1800.09 c linear : 2707 0 7350432 0 1927021 492637 44422017 0 0 0
1800.03/1800.09 c logicor : 0+ 0 3315544 0 0 80338 1872036 0 0 0
1800.03/1800.09 c countsols : 0 0 0 0 1927038 0 0 0 0 0
1800.03/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.09 c indicator : 24.11 0.00 9.95 0.00 14.16
1800.03/1800.09 c linear : 424.43 0.00 423.09 0.00 1.34
1800.03/1800.09 c logicor : 260.80 0.00 260.80 0.00 0.00
1800.03/1800.09 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.09 c vbounds : 0.00 2 0 0
1800.03/1800.09 c rootredcost : 0.00 0 0 0
1800.03/1800.09 c pseudoobj : 382.88 7355244 4491 2931087
1800.03/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.09 c propagation : 35.80 577466 577465 2677732 20.0 136392 10.4 -
1800.03/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.09 c pseudo solution : 0.06 173 173 740 22.3 422 9.6 -
1800.03/1800.09 c applied globally : - - - 1746215 17.7 - - -
1800.03/1800.09 c applied locally : - - - 0 0.0 - - -
1800.03/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.09 c redcost : 0.00 0 0 0 0 0
1800.03/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.09 c intobj : 0.00 0 0 0 0 0
1800.03/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.09 c gomory : 0.00 0 0 0 0 0
1800.03/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.09 c cmir : 0.00 0 0 0 0 0
1800.03/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.09 c clique : 0.00 0 0 0 0 0
1800.03/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.09 c mcf : 0.00 0 0 0 0 0
1800.03/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.09 c Pricers : Time Calls Vars
1800.03/1800.09 c problem variables: 0.00 0 0
1800.03/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.09 c inference : 44.50 1927006 0 0 0 0 3854012
1800.03/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.09 c random : 0.00 0 0 0 0 0 0
1800.03/1800.09 c Primal Heuristics : Time Calls Found
1800.03/1800.09 c LP solutions : 0.00 - 0
1800.03/1800.09 c pseudo solutions : 0.08 - 32
1800.03/1800.09 c oneopt : 0.02 0 0
1800.03/1800.09 c trivial : 0.08 2 2
1800.03/1800.09 c simplerounding : 0.00 0 0
1800.03/1800.09 c zirounding : 0.00 0 0
1800.03/1800.09 c rounding : 0.00 0 0
1800.03/1800.09 c shifting : 0.00 0 0
1800.03/1800.09 c intshifting : 0.00 0 0
1800.03/1800.09 c twoopt : 0.00 0 0
1800.03/1800.09 c fixandinfer : 0.00 0 0
1800.03/1800.09 c feaspump : 0.00 0 0
1800.03/1800.09 c coefdiving : 0.00 0 0
1800.03/1800.09 c pscostdiving : 0.00 0 0
1800.03/1800.09 c fracdiving : 0.00 0 0
1800.03/1800.09 c veclendiving : 0.00 0 0
1800.03/1800.09 c intdiving : 0.00 0 0
1800.03/1800.09 c actconsdiving : 0.00 0 0
1800.03/1800.09 c objpscostdiving : 0.00 0 0
1800.03/1800.09 c rootsoldiving : 0.00 0 0
1800.03/1800.09 c linesearchdiving : 0.00 0 0
1800.03/1800.09 c guideddiving : 0.00 0 0
1800.03/1800.09 c octane : 0.00 0 0
1800.03/1800.09 c rens : 0.00 0 0
1800.03/1800.09 c rins : 0.00 0 0
1800.03/1800.09 c localbranching : 0.00 0 0
1800.03/1800.09 c mutation : 0.00 0 0
1800.03/1800.09 c crossover : 0.00 0 0
1800.03/1800.09 c dins : 0.00 0 0
1800.03/1800.09 c undercover : 0.00 0 0
1800.03/1800.09 c nlp : 0.00 0 0
1800.03/1800.09 c trysol : 0.00 1 1
1800.03/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.09 c (at root node) : - 0 0 0.00 -
1800.03/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.09 c B&B Tree :
1800.03/1800.09 c number of runs : 1
1800.03/1800.09 c nodes : 2280123
1800.03/1800.09 c nodes (total) : 2280123
1800.03/1800.09 c nodes left : 1277128
1800.03/1800.09 c max depth : 2816
1800.03/1800.09 c max depth (total): 2816
1800.03/1800.09 c backtracks : 317850 (13.9%)
1800.03/1800.09 c delayed cutoffs : 273851
1800.03/1800.09 c repropagations : 1359487 (16188421 domain reductions, 224823 cutoffs)
1800.03/1800.09 c avg switch length: 50.14
1800.03/1800.09 c switching time : 500.43
1800.03/1800.09 c Solution :
1800.03/1800.09 c Solutions found : 35 (33 improvements)
1800.03/1800.09 c First Solution : +1.37244000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.09 c Primal Bound : +4.00000000000000e+00 (in run 1, after 835052 nodes, 539.51 seconds, depth 89, found by <relaxation>)
1800.03/1800.09 c Dual Bound : +0.00000000000000e+00
1800.03/1800.09 c Gap : infinite
1800.03/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.09 c Root Iterations : 0
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693607-1277926321/watcher-2693607-1277926321 -o /tmp/evaluation-result-2693607-1277926321/solver-2693607-1277926321 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693607-1277926321.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.84 1.97 1.99 3/182 16738 /proc/meminfo: memFree=31352392/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=8600 CPUtime=0 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 1628 0 0 0 0 0 0 0 21 0 1 0 133928314 8806400 1551 4089446400 4194304 7136930 140735841739312 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/16738/statm: 2150 1551 275 719 0 1429 0 [startup+0.104544 s] /proc/loadavg: 1.84 1.97 1.99 3/182 16738 /proc/meminfo: memFree=31352392/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=33676 CPUtime=0.1 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 7966 0 0 0 10 0 0 0 21 0 1 0 133928314 34484224 7535 4089446400 4194304 7136930 140735841739312 18446744073709551615 4241129 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16738/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 33676 [startup+0.200529 s] /proc/loadavg: 1.84 1.97 1.99 3/182 16738 /proc/meminfo: memFree=31352392/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=36364 CPUtime=0.19 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 9178 0 0 0 18 1 0 0 18 0 1 0 133928314 37236736 8233 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16738/statm: 9091 8233 382 719 0 8370 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 36364 [startup+0.30051 s] /proc/loadavg: 1.84 1.97 1.99 3/182 16738 /proc/meminfo: memFree=31352392/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=36496 CPUtime=0.29 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 9240 0 0 0 28 1 0 0 18 0 1 0 133928314 37371904 8295 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16738/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700434 s] /proc/loadavg: 1.84 1.97 1.99 3/182 16738 /proc/meminfo: memFree=31352392/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=37636 CPUtime=0.69 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 9515 0 0 0 65 4 0 0 18 0 1 0 133928314 38539264 8570 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16738/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50028 s] /proc/loadavg: 1.84 1.97 1.99 3/183 16739 /proc/meminfo: memFree=31315804/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=42920 CPUtime=1.49 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 10848 0 0 0 138 11 0 0 19 0 1 0 133928314 43950080 9903 4089446400 4194304 7136930 140735841739312 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16738/statm: 10730 9903 390 719 0 10009 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42920 [startup+3.101 s] /proc/loadavg: 1.84 1.97 1.99 3/183 16739 /proc/meminfo: memFree=31310968/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=44708 CPUtime=3.09 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 11310 0 0 0 289 20 0 0 25 0 1 0 133928314 45780992 10365 4089446400 4194304 7136930 140735841739312 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16738/statm: 11177 10365 390 719 0 10456 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44708 [startup+6.3004 s] /proc/loadavg: 1.85 1.97 1.99 3/183 16739 /proc/meminfo: memFree=31301668/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=50324 CPUtime=6.29 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 12713 0 0 0 593 36 0 0 25 0 1 0 133928314 51531776 11768 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16738/statm: 12581 11768 391 719 0 11860 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50324 [startup+12.7002 s] /proc/loadavg: 1.87 1.97 1.99 3/183 16739 /proc/meminfo: memFree=31269508/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=72656 CPUtime=12.69 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 18157 0 0 0 1197 72 0 0 25 0 1 0 133928314 74399744 17212 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16738/statm: 18164 17212 391 719 0 17443 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72656 [startup+25.5009 s] /proc/loadavg: 1.89 1.97 1.99 3/183 16739 /proc/meminfo: memFree=31217768/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=108296 CPUtime=25.5 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 26835 0 0 0 2426 124 0 0 25 0 1 0 133928314 110895104 25890 4089446400 4194304 7136930 140735841739312 18446744073709551615 4642126 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 27074 25890 391 719 0 26353 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 108296 [startup+51.1003 s] /proc/loadavg: 1.93 1.97 1.99 3/183 16740 /proc/meminfo: memFree=31114764/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=183888 CPUtime=51.09 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 44801 0 0 0 4845 264 0 0 25 0 1 0 133928314 188301312 43856 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 45972 43856 391 719 0 45251 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 183888 [startup+102.301 s] /proc/loadavg: 2.02 1.99 1.99 3/183 16742 /proc/meminfo: memFree=30976316/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=264328 CPUtime=102.3 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 65059 0 0 0 9775 455 0 0 25 0 1 0 133928314 270671872 64114 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 66082 64114 391 719 0 65361 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 264328 [startup+162.301 s] /proc/loadavg: 2.08 2.00 2.00 3/183 16743 /proc/meminfo: memFree=30775372/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=402848 CPUtime=162.3 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 97789 0 0 0 15521 709 0 0 25 0 1 0 133928314 412516352 96844 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 100712 96844 391 719 0 99991 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 402848 [startup+222.307 s] /proc/loadavg: 2.07 2.01 2.00 3/183 16744 /proc/meminfo: memFree=30631108/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=524112 CPUtime=222.3 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 125952 0 0 0 21256 974 0 0 25 0 1 0 133928314 536690688 125007 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 131028 125007 391 719 0 130307 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 524112 [startup+282.301 s] /proc/loadavg: 2.06 2.02 2.00 4/183 16746 /proc/meminfo: memFree=30508776/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=638836 CPUtime=282.3 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 154746 0 0 0 26947 1283 0 0 25 0 1 0 133928314 654168064 153801 4089446400 4194304 7136930 140735841739312 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 159709 153801 391 719 0 158988 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 638836 [startup+342.301 s] /proc/loadavg: 2.11 2.05 2.01 3/183 16748 /proc/meminfo: memFree=30386192/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=756440 CPUtime=342.3 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 184080 0 0 0 32645 1585 0 0 25 0 1 0 133928314 774594560 183135 4089446400 4194304 7136930 140735841739312 18446744073709551615 4208859 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 189110 183135 391 719 0 188389 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 756440 [startup+402.3 s] /proc/loadavg: 2.13 2.07 2.01 3/183 16750 /proc/meminfo: memFree=30272192/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=868520 CPUtime=402.3 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 212335 0 0 0 38344 1886 0 0 25 0 1 0 133928314 889364480 211390 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 217130 211390 391 719 0 216409 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 868520 [startup+462.3 s] /proc/loadavg: 2.05 2.05 2.01 3/183 16751 /proc/meminfo: memFree=30218944/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=927424 CPUtime=462.3 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 225170 0 0 0 44153 2077 0 0 25 0 1 0 133928314 949682176 224225 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 231856 224225 391 719 0 231135 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 927424 [startup+522.3 s] /proc/loadavg: 2.02 2.04 2.00 3/183 16752 /proc/meminfo: memFree=30175628/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=970336 CPUtime=522.3 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 235831 0 0 0 49987 2243 0 0 25 0 1 0 133928314 993624064 234886 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 242584 234886 391 719 0 241863 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 970336 [startup+582.3 s] /proc/loadavg: 2.00 2.03 2.00 3/183 16754 /proc/meminfo: memFree=30119164/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=1023496 CPUtime=582.31 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 249399 0 0 0 55747 2484 0 0 25 0 1 0 133928314 1048059904 248427 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 255874 248427 391 719 0 255153 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1023496 [startup+642.301 s] /proc/loadavg: 2.00 2.02 2.00 3/183 16756 /proc/meminfo: memFree=30056372/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=1086164 CPUtime=642.31 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 265151 0 0 0 61521 2710 0 0 25 0 1 0 133928314 1112231936 264179 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 271541 264179 391 719 0 270820 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1086164 [startup+702.301 s] ################ # More data... # ################ /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 374493 0 0 0 102060 4172 0 0 25 0 1 0 133928314 1561415680 373521 4089446400 4194304 7136930 140735841739312 18446744073709551615 5955771 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 381205 373521 391 719 0 380484 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1524820 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 16768 /proc/meminfo: memFree=29519144/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=1617104 CPUtime=1122.32 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 396241 0 0 0 107832 4400 0 0 25 0 1 0 133928314 1655914496 395269 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 404276 395269 391 719 0 403555 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1617104 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 16770 /proc/meminfo: memFree=29436388/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=1697872 CPUtime=1182.33 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 416555 0 0 0 113566 4667 0 0 25 0 1 0 133928314 1738620928 415583 4089446400 4194304 7136930 140735841739312 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 424468 415583 391 719 0 423747 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1697872 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 16772 /proc/meminfo: memFree=29375836/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=1755652 CPUtime=1242.32 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 431150 0 0 0 119341 4891 0 0 25 0 1 0 133928314 1797787648 430178 4089446400 4194304 7136930 140735841739312 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 438913 430178 391 719 0 438192 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1755652 [startup+1302.3 s] /proc/loadavg: 2.10 2.03 2.01 3/183 16774 /proc/meminfo: memFree=29306852/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=1821408 CPUtime=1302.32 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 447760 0 0 0 125096 5136 0 0 25 0 1 0 133928314 1865121792 446788 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 455352 446788 391 719 0 454631 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1821408 [startup+1362.3 s] /proc/loadavg: 2.03 2.02 2.00 3/183 16775 /proc/meminfo: memFree=29234504/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=1892680 CPUtime=1362.32 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 465802 0 0 0 130850 5382 0 0 25 0 1 0 133928314 1938104320 464830 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 473170 464830 391 719 0 472449 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1892680 [startup+1422.3 s] /proc/loadavg: 2.09 2.03 2.01 3/183 16776 /proc/meminfo: memFree=29154356/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=1986024 CPUtime=1422.33 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 485208 0 0 0 136602 5631 0 0 25 0 1 0 133928314 2033688576 484236 4089446400 4194304 7136930 140735841739312 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16738/statm: 496506 484236 391 719 0 495785 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1986024 [startup+1482.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 16778 /proc/meminfo: memFree=29082856/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=2057500 CPUtime=1482.32 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 503313 0 0 0 142347 5885 0 0 25 0 1 0 133928314 2106880000 502341 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 514375 502341 391 719 0 513654 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2057500 [startup+1542.31 s] /proc/loadavg: 2.01 2.02 2.00 3/183 16780 /proc/meminfo: memFree=29012992/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=2127132 CPUtime=1542.33 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 520737 0 0 0 148100 6133 0 0 25 0 1 0 133928314 2178183168 519765 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 531783 519765 391 719 0 531062 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2127132 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 16782 /proc/meminfo: memFree=28929476/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=2209612 CPUtime=1602.33 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 541544 0 0 0 153859 6374 0 0 25 0 1 0 133928314 2262642688 540572 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 552403 540572 391 719 0 551682 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2209612 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 16783 /proc/meminfo: memFree=28868672/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=2270092 CPUtime=1662.33 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 556702 0 0 0 159625 6608 0 0 25 0 1 0 133928314 2324574208 555730 4089446400 4194304 7136930 140735841739312 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 567523 555730 391 719 0 566802 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2270092 [startup+1722.3 s] /proc/loadavg: 2.05 2.02 2.00 3/183 16784 /proc/meminfo: memFree=28796696/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=2343284 CPUtime=1722.34 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 574755 0 0 0 165407 6827 0 0 25 0 1 0 133928314 2399522816 573783 4089446400 4194304 7136930 140735841739312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/16738/statm: 585821 573783 391 719 0 585100 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2343284 [startup+1782.3 s] /proc/loadavg: 1.94 2.00 1.99 3/201 16841 /proc/meminfo: memFree=28957156/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=2400828 CPUtime=1782.33 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 589435 0 0 0 171170 7063 0 0 25 0 1 0 133928314 2458447872 588463 4089446400 4194304 7136930 140735841739312 18446744073709551615 4947073 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16738/statm: 600207 588463 391 719 0 599486 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2400828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.95 2.00 1.99 3/201 16842 /proc/meminfo: memFree=28941432/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=2414376 CPUtime=1800.03 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 592815 0 0 0 172881 7122 0 0 25 0 1 0 133928314 2472321024 591843 4089446400 4194304 7136930 140735841739312 18446744073709551615 6166597 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/16738/statm: 603594 591843 391 719 0 602873 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2414376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16738 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.95 2.00 1.99 3/202 16843 /proc/meminfo: memFree=28941300/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=2414376 CPUtime=1800.73 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 592837 0 0 0 172951 7122 0 0 18 0 1 0 133928314 2472321024 591865 4089446400 4194304 7136930 140735841739312 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16738/statm: 603594 591865 397 719 0 602873 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (KiB) 2414376 [startup+1801.5 s] /proc/loadavg: 1.95 2.00 1.99 3/202 16843 /proc/meminfo: memFree=28941300/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=2414376 CPUtime=1801.53 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 592837 0 0 0 173031 7122 0 0 19 0 1 0 133928314 2472321024 591865 4089446400 4194304 7136930 140735841739312 18446744073709551615 4212564 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16738/statm: 603594 591865 397 719 0 602873 0 Current children cumulated CPU time (s) 1801.53 Current children cumulated vsize (KiB) 2414376 [startup+1801.91 s] /proc/loadavg: 1.95 2.00 1.99 3/202 16843 /proc/meminfo: memFree=28941300/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=2414376 CPUtime=1801.93 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 592837 0 0 0 173071 7122 0 0 20 0 1 0 133928314 2472321024 591865 4089446400 4194304 7136930 140735841739312 18446744073709551615 6166261 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16738/statm: 603594 591865 397 719 0 602873 0 Current children cumulated CPU time (s) 1801.93 Current children cumulated vsize (KiB) 2414376 [startup+1802 s] /proc/loadavg: 1.95 2.00 1.99 3/202 16843 /proc/meminfo: memFree=28941300/32951124 swapFree=67111528/67111528 [pid=16738] ppid=16736 vsize=2411808 CPUtime=1802.03 /proc/16738/stat : 16738 (pbscip.linux.x8) R 16736 16738 16712 0 -1 4202496 592837 0 0 0 173081 7122 0 0 20 0 1 0 133928314 2469691392 591223 4089446400 4194304 7136930 140735841739312 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/16738/statm: 602952 591223 397 719 0 602231 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2411808 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.12 CPU user time (s): 1730.82 CPU system time (s): 71.3042 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2414376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1730.82 system time used= 71.3042 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 592837 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= 4 involuntary context switches= 5343 runsolver used 2.86556 second user time and 6.98894 second system time The end
Begin job on node134 at 2010-06-30 21:32:01 IDJOB=2693607 IDBENCH=79268 IDSOLVER=1206 FILE ID=node134/2693607-1277926321 PBS_JOBID= 11197373 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693607-1277926321/watcher-2693607-1277926321 -o /tmp/evaluation-result-2693607-1277926321/solver-2693607-1277926321 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693607-1277926321.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7333324480eb5267e10bc3c9063685b0 RANDOM SEED=633171635 node134.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.818 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.63 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.818 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.818 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.75 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.818 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 : 7397.66 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.818 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.67 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.818 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.84 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.818 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.74 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.818 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31353168 kB Buffers: 213800 kB Cached: 1100896 kB SwapCached: 0 kB Active: 742224 kB Inactive: 711588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31353168 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 11456 kB Writeback: 0 kB AnonPages: 138892 kB Mapped: 17288 kB Slab: 80944 kB PageTables: 4932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 287612 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node134 at 2010-06-30 22:02:04