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.18 | 1802.19 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900553812--soft-0-100-0.wbo |
| MD5SUM | 10c8366d87b8e61a0f23df601b3f0e14 |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 351.559 |
| 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 | 136614 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136613 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| 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-2693627-1277927311.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.09/0.12 o 136613
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.366130e+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, 2707 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, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) 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 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
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 = 1799.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 # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
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 # 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.18 c
0.09/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.09/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.366130e+05 | Inf
1.99/2.05 o 615
1.99/2.05 c * 1.9s| 6281 | 5884 | 0 | 0.0 | 23M|2816 | - |5645 |6894 | 0 | 0 | 0 |1480 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
3.39/3.42 c 3.2s| 10000 | 9603 | 0 | 0.0 | 24M|2816 | - |5645 |6894 | 0 | 0 | 0 |1480 | 0 | 0.000000e+00 | 6.150000e+02 | Inf
3.80/3.83 o 315
3.80/3.83 c * 3.6s| 11645 | 6734 | 0 | 0.0 | 24M|2816 | - |5645 |6914 | 0 | 0 | 0 |1500 | 0 | 0.000000e+00 | 3.150000e+02 | Inf
6.60/6.65 c 6.2s| 20000 | 13747 | 0 | 0.0 | 33M|2816 | - |5645 |7879 | 0 | 0 | 0 |7112 | 0 | 0.000000e+00 | 3.150000e+02 | Inf
12.19/12.20 c 11.5s| 30000 | 19749 | 0 | 0.0 | 46M|2816 | - |5645 | 10k| 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.150000e+02 | Inf
12.60/12.60 o 297
12.60/12.60 c *11.9s| 30964 | 20483 | 0 | 0.0 | 47M|2816 | - |5645 |9898 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
12.60/12.69 o 282
12.60/12.69 c *12.0s| 31119 | 20464 | 0 | 0.0 | 47M|2816 | - |5645 |9839 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.820000e+02 | Inf
12.89/12.94 o 281
12.89/12.94 c *12.2s| 31518 | 20842 | 0 | 0.0 | 48M|2816 | - |5645 |9582 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
13.10/13.14 o 280
13.10/13.14 c *12.4s| 31873 | 21181 | 0 | 0.0 | 48M|2816 | - |5645 |9454 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.800000e+02 | Inf
13.10/13.18 o 264
13.10/13.18 c *12.4s| 31922 | 21132 | 0 | 0.0 | 47M|2816 | - |5645 |9451 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.640000e+02 | Inf
13.40/13.45 o 252
13.40/13.45 c *12.7s| 32402 | 21504 | 0 | 0.0 | 48M|2816 | - |5645 |9315 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.520000e+02 | Inf
13.40/13.46 o 248
13.40/13.46 c *12.7s| 32403 | 21477 | 0 | 0.0 | 48M|2816 | - |5645 |9315 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.480000e+02 | Inf
13.49/13.54 o 233
13.49/13.54 c *12.8s| 32534 | 21483 | 0 | 0.0 | 48M|2816 | - |5645 |9295 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
13.49/13.54 o 232
13.49/13.54 c *12.8s| 32541 | 21480 | 0 | 0.0 | 48M|2816 | - |5645 |9295 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
13.49/13.55 o 216
13.49/13.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.49/13.55 c *12.8s| 32542 | 21332 | 0 | 0.0 | 48M|2816 | - |5645 |9295 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.160000e+02 | Inf
13.79/13.89 o 203
13.79/13.89 c *13.1s| 33094 | 21674 | 0 | 0.0 | 49M|2816 | - |5645 |9239 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.030000e+02 | Inf
14.09/14.10 o 167
14.09/14.10 c *13.3s| 33476 | 21581 | 0 | 0.0 | 48M|2816 | - |5645 |9216 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
14.09/14.11 o 141
14.09/14.11 c *13.3s| 33477 | 21016 | 0 | 0.0 | 48M|2816 | - |5645 |9216 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
15.79/15.82 o 139
15.79/15.82 c *15.0s| 35945 | 23225 | 0 | 0.0 | 52M|2816 | - |5645 |8850 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
18.19/18.29 c 17.3s| 40000 | 26988 | 0 | 0.0 | 57M|2816 | - |5645 |7969 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
19.39/19.43 o 131
19.39/19.43 c *18.4s| 41833 | 28595 | 0 | 0.0 | 60M|2816 | - |5645 |7933 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
19.49/19.53 o 126
19.49/19.53 c *18.5s| 42000 | 28698 | 0 | 0.0 | 60M|2816 | - |5645 |7977 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
19.49/19.54 o 122
19.49/19.54 c *18.5s| 42001 | 28643 | 0 | 0.0 | 60M|2816 | - |5645 |7977 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.220000e+02 | Inf
20.99/21.05 o 114
20.99/21.05 c *20.0s| 44402 | 30661 | 0 | 0.0 | 64M|2816 | - |5645 |8121 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
22.00/22.07 o 110
22.00/22.07 c *21.0s| 46011 | 31993 | 0 | 0.0 | 66M|2816 | - |5645 |8236 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
23.09/23.11 o 91
23.09/23.11 c *21.9s| 47842 | 33065 | 0 | 0.0 | 66M|2816 | - |5645 |7987 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
24.69/24.77 c 23.5s| 50000 | 34948 | 0 | 0.0 | 70M|2816 | - |5645 |7919 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
30.99/31.03 o 80
30.99/31.03 c *29.4s| 59599 | 42565 | 0 | 0.0 | 78M|2816 | - |5645 |7843 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
31.29/31.36 c 29.7s| 60000 | 42915 | 0 | 0.0 | 79M|2816 | - |5645 |7896 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 8.000000e+01 | Inf
33.19/33.28 o 67
33.19/33.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.19/33.28 c *31.5s| 63360 | 44353 | 0 | 0.0 | 80M|2816 | - |5645 |8058 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
36.79/36.82 c 34.8s| 70000 | 49986 | 0 | 0.0 | 88M|2816 | - |5645 |8357 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
38.99/39.06 o 44
38.99/39.06 c *36.9s| 74836 | 52117 | 0 | 0.0 | 87M|2816 | - |5645 |8931 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
40.99/41.08 c 38.8s| 80000 | 56429 | 0 | 0.0 | 93M|2816 | - |5645 |8282 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
45.19/45.24 c 42.7s| 90000 | 64336 | 0 | 0.0 | 103M|2816 | - |5645 |8071 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
49.79/49.82 c 47.0s|100000 | 71778 | 0 | 0.0 | 114M|2816 | - |5645 |8861 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
54.60/54.60 c 51.5s|110000 | 78939 | 0 | 0.0 | 124M|2816 | - |5645 |9633 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
60.19/60.28 c 56.9s|120000 | 85493 | 0 | 0.0 | 135M|2816 | - |5645 | 10k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
66.30/66.34 c 62.7s|130000 | 91794 | 0 | 0.0 | 146M|2816 | - |5645 | 10k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
73.39/73.41 c 69.5s|140000 | 97207 | 0 | 0.0 | 158M|2816 | - |5645 | 11k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
80.89/80.95 c 76.7s|150000 |102229 | 0 | 0.0 | 169M|2816 | - |5645 | 12k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
89.10/89.15 c 84.6s|160000 |106823 | 0 | 0.0 | 180M|2816 | - |5645 | 14k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
98.70/98.71 c 93.8s|170000 |110467 | 0 | 0.0 | 191M|2816 | - |5645 | 15k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
107.40/107.44 c 102s|180000 |116567 | 0 | 0.0 | 197M|2816 | - |5645 |5641 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
109.59/109.68 o 42
109.59/109.68 c * 104s|184112 |119404 | 0 | 0.0 | 199M|2816 | - |5645 |5984 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
111.19/111.26 o 30
111.19/111.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.19/111.26 c * 106s|186155 |119577 | 0 | 0.0 | 198M|2816 | - |5645 |5877 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
113.89/113.95 c 108s|190000 |122506 | 0 | 0.0 | 205M|2816 | - |5645 |5857 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
114.09/114.16 o 22
114.09/114.16 c * 109s|190279 |122106 | 0 | 0.0 | 204M|2816 | - |5645 |5986 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
121.80/121.81 c 116s|200000 |127953 | 0 | 0.0 | 217M|2816 | - |5645 |6440 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
122.80/122.82 o 21
122.80/122.82 c * 117s|202029 |129551 | 0 | 0.0 | 220M|2816 | - |5645 |6819 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
127.29/127.35 c 121s|210000 |135605 | 0 | 0.0 | 229M|2816 | - |5645 |8245 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
133.89/133.90 c 127s|220000 |141946 | 0 | 0.0 | 240M|2816 | - |5645 |7084 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
138.89/138.91 o 13
138.89/138.91 c * 132s|229954 |149195 | 0 | 0.0 | 245M|2816 | - |5645 |7602 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
138.89/138.92 o 12
138.89/138.92 c * 132s|229955 |149013 | 0 | 0.0 | 244M|2816 | - |5645 |7602 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
138.89/138.96 c 132s|230000 |149047 | 0 | 0.0 | 244M|2816 | - |5645 |7585 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
145.39/145.41 c 138s|240000 |156409 | 0 | 0.0 | 257M|2816 | - |5645 |8657 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
153.90/153.90 c 146s|250000 |160918 | 0 | 0.0 | 269M|2816 | - |5645 | 10k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
158.69/158.72 c 151s|260000 |168686 | 0 | 0.0 | 280M|2816 | - |5645 |8774 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
165.19/165.20 c 157s|270000 |174766 | 0 | 0.0 | 290M|2816 | - |5645 |8449 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
166.29/166.39 o 10
166.29/166.39 c * 158s|272724 |176600 | 0 | 0.0 | 291M|2816 | - |5645 |8632 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
170.50/170.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.50/170.54 c 162s|280000 |182068 | 0 | 0.0 | 300M|2816 | - |5645 |9625 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
177.19/177.23 c 168s|290000 |188593 | 0 | 0.0 | 311M|2816 | - |5645 |9912 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
183.70/183.76 c 175s|300000 |194570 | 0 | 0.0 | 322M|2816 | - |5645 |9428 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
189.69/189.76 c 180s|310000 |201570 | 0 | 0.0 | 335M|2816 | - |5645 | 12k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
195.09/195.14 c 185s|320000 |209062 | 0 | 0.0 | 348M|2816 | - |5645 |9979 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
200.10/200.18 c 190s|330000 |217142 | 0 | 0.0 | 359M|2816 | - |5645 | 11k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
207.30/207.39 c 197s|340000 |223709 | 0 | 0.0 | 370M|2816 | - |5645 | 14k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
214.10/214.18 c 204s|350000 |229723 | 0 | 0.0 | 379M|2816 | - |5645 | 11k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
219.80/219.85 c 209s|360000 |237216 | 0 | 0.0 | 391M|2816 | - |5645 | 12k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
226.80/226.87 c 216s|370000 |243644 | 0 | 0.0 | 403M|2816 | - |5645 | 13k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
233.11/233.14 c 222s|380000 |250203 | 0 | 0.0 | 412M|2816 | - |5645 | 12k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
239.40/239.48 c 228s|390000 |256901 | 0 | 0.0 | 424M|2816 | - |5645 | 13k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
245.80/245.84 c 234s|400000 |263669 | 0 | 0.0 | 436M|2816 | - |5645 | 15k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
252.29/252.38 c 240s|410000 |270530 | 0 | 0.0 | 448M|2816 | - |5645 | 13k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
259.40/259.44 c 247s|420000 |277140 | 0 | 0.0 | 459M|2816 | - |5645 | 14k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
266.50/266.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.50/266.56 c 253s|430000 |283526 | 0 | 0.0 | 469M|2816 | - |5645 | 14k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
273.60/273.65 c 260s|440000 |290111 | 0 | 0.0 | 482M|2816 | - |5645 | 14k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
280.99/281.00 c 267s|450000 |296471 | 0 | 0.0 | 493M|2816 | - |5645 | 14k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
287.60/287.64 c 273s|460000 |303228 | 0 | 0.0 | 503M|2816 | - |5645 | 15k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
294.00/294.09 c 280s|470000 |310141 | 0 | 0.0 | 514M|2816 | - |5645 | 14k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
300.60/300.68 c 286s|480000 |316903 | 0 | 0.0 | 525M|2816 | - |5645 | 15k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
307.10/307.17 c 292s|490000 |323521 | 0 | 0.0 | 536M|2816 | - |5645 | 17k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
313.09/313.16 c 298s|500000 |331053 | 0 | 0.0 | 549M|2816 | - |5645 | 15k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
320.60/320.69 c 305s|510000 |337241 | 0 | 0.0 | 562M|2816 | - |5645 | 16k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
326.90/326.99 c 311s|520000 |344160 | 0 | 0.0 | 573M|2816 | - |5645 | 16k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
333.30/333.37 c 317s|530000 |351020 | 0 | 0.0 | 580M|2816 | - |5645 |8153 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
337.80/337.82 c 321s|540000 |359029 | 0 | 0.0 | 592M|2816 | - |5645 |6443 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
341.80/341.85 c 325s|550000 |367177 | 0 | 0.0 | 604M|2816 | - |5645 |6637 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
347.40/347.45 c 330s|560000 |373942 | 0 | 0.0 | 615M|2816 | - |5645 |8652 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
354.20/354.23 c 337s|570000 |379872 | 0 | 0.0 | 626M|2816 | - |5645 | 10k| 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
361.90/361.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.90/361.93 c 344s|580000 |385260 | 0 | 0.0 | 637M|2816 | - |5645 | 11k| 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
369.80/369.84 c 352s|590000 |390455 | 0 | 0.0 | 647M|2816 | - |5645 | 11k| 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
378.20/378.26 c 360s|600000 |395230 | 0 | 0.0 | 658M|2816 | - |5645 | 11k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
387.00/387.05 c 369s|610000 |399659 | 0 | 0.0 | 668M|2816 | - |5645 | 11k| 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
395.90/395.98 c 377s|620000 |404024 | 0 | 0.0 | 678M|2816 | - |5645 | 12k| 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
404.90/404.99 c 386s|630000 |408374 | 0 | 0.0 | 688M|2816 | - |5645 | 13k| 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
414.10/414.19 c 395s|640000 |412584 | 0 | 0.0 | 698M|2816 | - |5645 | 13k| 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
423.81/423.82 c 404s|650000 |416453 | 0 | 0.0 | 708M|2816 | - |5645 | 13k| 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
433.60/433.68 c 414s|660000 |420197 | 0 | 0.0 | 718M|2816 | - |5645 | 14k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
443.60/443.60 c 423s|670000 |423866 | 0 | 0.0 | 727M|2816 | - |5645 | 14k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
454.00/454.05 c 433s|680000 |427161 | 0 | 0.0 | 736M|2816 | - |5645 | 14k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
464.11/464.16 c 443s|690000 |430596 | 0 | 0.0 | 746M|2816 | - |5645 | 14k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
474.50/474.56 c 453s|700000 |433890 | 0 | 0.0 | 756M|2816 | - |5645 | 14k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
485.20/485.21 c 464s|710000 |437024 | 0 | 0.0 | 765M|2816 | - |5645 | 15k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
496.40/496.45 c 474s|720000 |439841 | 0 | 0.0 | 774M|2816 | - |5645 | 15k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
508.21/508.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.21/508.22 c 486s|730000 |442293 | 0 | 0.0 | 781M|2816 | - |5645 | 14k| 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
520.70/520.75 c 498s|740000 |444118 | 0 | 0.0 | 790M|2816 | - |5645 | 15k| 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
533.51/533.58 c 511s|750000 |446016 | 0 | 0.0 | 797M|2816 | - |5645 | 16k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
547.41/547.49 c 524s|760000 |447278 | 0 | 0.0 | 804M|2816 | - |5645 | 17k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
563.11/563.19 c 539s|770000 |447808 | 0 | 0.0 | 812M|2816 | - |5645 | 19k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
581.40/581.43 c 557s|780000 |445740 | 0 | 0.0 | 814M|2816 | - |5645 | 20k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
592.60/592.64 c 568s|790000 |447473 | 0 | 0.0 | 811M|2816 | - |5645 |9707 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
598.71/598.74 c 574s|800000 |455179 | 0 | 0.0 | 824M|2816 | - |5645 |8838 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
605.10/605.13 c 580s|810000 |462660 | 0 | 0.0 | 836M|2816 | - |5645 |9233 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
611.80/611.90 c 586s|820000 |469866 | 0 | 0.0 | 849M|2816 | - |5645 |9934 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
620.31/620.38 c 594s|830000 |476188 | 0 | 0.0 | 865M|2816 | - |5645 | 11k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
631.21/631.28 c 605s|840000 |481455 | 0 | 0.0 | 885M|2816 | - |5645 | 13k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
644.61/644.68 c 618s|850000 |485834 | 0 | 0.0 | 912M|2816 | - |5645 | 14k| 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
660.90/660.90 c 634s|860000 |488839 | 0 | 0.0 | 935M|2816 | - |5645 |6477 | 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
672.91/672.99 c 645s|870000 |489969 | 0 | 0.0 | 947M|2816 | - |5645 |8819 | 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
684.12/684.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.12/684.18 c 656s|880000 |491561 | 0 | 0.0 | 950M|2816 | - |5645 |6120 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
689.41/689.50 c 661s|890000 |498848 | 0 | 0.0 | 961M|2816 | - |5645 |6439 | 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
695.21/695.24 c 666s|900000 |505754 | 0 | 0.0 | 972M|2816 | - |5645 |7003 | 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
698.11/698.15 o 9
698.11/698.15 c * 669s|904823 |508171 | 0 | 0.0 | 972M|2816 | - |5645 |7211 | 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
701.72/701.70 c 672s|910000 |511514 | 0 | 0.0 | 978M|2816 | - |5645 |7574 | 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
708.42/708.49 c 679s|920000 |517808 | 0 | 0.0 | 990M|2816 | - |5645 |8095 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
715.41/715.49 c 685s|930000 |523560 | 0 | 0.0 |1001M|2816 | - |5645 |8361 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
723.21/723.22 c 693s|940000 |528512 | 0 | 0.0 |1011M|2816 | - |5645 |9414 | 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
732.11/732.11 c 701s|950000 |532525 | 0 | 0.0 |1021M|2816 | - |5645 |9818 | 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
742.51/742.53 c 711s|960000 |535252 | 0 | 0.0 |1030M|2816 | - |5645 | 11k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
755.62/755.68 c 724s|970000 |535895 | 0 | 0.0 |1037M|2816 | - |5645 | 12k| 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
761.51/761.52 c 729s|980000 |542759 | 0 | 0.0 |1044M|2816 | - |5645 |6273 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
766.51/766.50 c 734s|990000 |550096 | 0 | 0.0 |1053M|2816 | - |5645 |6689 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
771.61/771.63 c 739s| 1000k|557245 | 0 | 0.0 |1063M|2816 | - |5645 |7135 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
777.01/777.08 c 744s| 1010k|564102 | 0 | 0.0 |1072M|2816 | - |5645 |7333 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
782.61/782.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.61/782.64 c 749s| 1020k|570838 | 0 | 0.0 |1082M|2816 | - |5645 |7370 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
788.41/788.49 c 755s| 1030k|577300 | 0 | 0.0 |1091M|2816 | - |5645 |7459 | 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
794.71/794.76 c 761s| 1040k|583445 | 0 | 0.0 |1100M|2816 | - |5645 |7382 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
801.11/801.14 c 767s| 1050k|589366 | 0 | 0.0 |1110M|2816 | - |5645 |7494 | 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
807.61/807.68 c 773s| 1060k|595084 | 0 | 0.0 |1119M|2816 | - |5645 |7874 | 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
814.51/814.54 c 779s| 1070k|600600 | 0 | 0.0 |1129M|2816 | - |5645 |8028 | 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
821.72/821.75 c 786s| 1080k|605836 | 0 | 0.0 |1138M|2816 | - |5645 |8088 | 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
828.71/828.76 c 793s| 1090k|611188 | 0 | 0.0 |1147M|2816 | - |5645 |8430 | 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
836.32/836.32 c 800s| 1100k|616178 | 0 | 0.0 |1156M|2816 | - |5645 |8406 | 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
844.02/844.02 c 807s| 1110k|621043 | 0 | 0.0 |1165M|2816 | - |5645 |8640 | 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
845.71/845.74 o 8
845.71/845.74 c * 809s| 1112k|621387 | 0 | 0.0 |1162M|2816 | - |5645 |8758 | 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
852.42/852.45 c 815s| 1120k|624913 | 0 | 0.0 |1170M|2816 | - |5645 |8949 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
861.21/861.23 c 824s| 1130k|629377 | 0 | 0.0 |1180M|2816 | - |5645 |9275 | 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
870.02/870.07 c 832s| 1140k|633688 | 0 | 0.0 |1189M|2816 | - |5645 | 10k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
879.62/879.63 c 841s| 1150k|637239 | 0 | 0.0 |1199M|2816 | - |5645 | 11k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
892.42/892.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.42/892.43 c 854s| 1160k|638109 | 0 | 0.0 |1205M|2816 | - |5645 | 11k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
896.72/896.76 c 858s| 1170k|646038 | 0 | 0.0 |1212M|2816 | - |5645 |6599 | 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
901.11/901.15 c 862s| 1180k|653689 | 0 | 0.0 |1221M|2816 | - |5645 |6947 | 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
906.11/906.11 c 866s| 1190k|660855 | 0 | 0.0 |1231M|2816 | - |5645 |7495 | 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
911.82/911.89 c 872s| 1200k|667360 | 0 | 0.0 |1242M|2816 | - |5645 |8256 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
918.31/918.34 c 878s| 1210k|673308 | 0 | 0.0 |1252M|2816 | - |5645 |8907 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
925.31/925.39 c 885s| 1220k|678728 | 0 | 0.0 |1263M|2816 | - |5645 |9924 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
927.22/927.25 o 7
927.22/927.25 c * 886s| 1222k|678302 | 0 | 0.0 |1255M|2816 | - |5645 | 10k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
934.92/934.93 c 894s| 1230k|681355 | 0 | 0.0 |1265M|2816 | - |5645 | 10k| 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
946.62/946.69 c 905s| 1240k|683194 | 0 | 0.0 |1273M|2816 | - |5645 | 11k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
953.31/953.33 c 911s| 1250k|689281 | 0 | 0.0 |1279M|2816 | - |5645 |6605 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
957.82/957.89 c 916s| 1260k|696846 | 0 | 0.0 |1289M|2816 | - |5645 |7051 | 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
962.92/962.90 c 920s| 1270k|703969 | 0 | 0.0 |1299M|2816 | - |5645 |7678 | 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
968.52/968.54 c 926s| 1280k|710597 | 0 | 0.0 |1309M|2816 | - |5645 |8620 | 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
974.62/974.67 c 931s| 1290k|716815 | 0 | 0.0 |1319M|2816 | - |5645 |9387 | 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
981.32/981.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.32/981.35 c 938s| 1300k|722607 | 0 | 0.0 |1328M|2816 | - |5645 |9944 | 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
988.62/988.60 c 945s| 1310k|727923 | 0 | 0.0 |1337M|2816 | - |5645 | 10k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
996.62/996.60 c 952s| 1320k|732601 | 0 | 0.0 |1346M|2816 | - |5645 |9944 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1004.52/1004.54 c 960s| 1330k|737293 | 0 | 0.0 |1355M|2816 | - |5645 |9478 | 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1012.41/1012.43 c 967s| 1340k|742049 | 0 | 0.0 |1363M|2816 | - |5645 |8906 | 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1019.01/1019.09 c 974s| 1350k|747850 | 0 | 0.0 |1371M|2816 | - |5645 |8764 | 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1025.02/1025.10 c 979s| 1360k|754328 | 0 | 0.0 |1380M|2816 | - |5645 |9204 | 0 | 0 | 0 |1358k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1031.62/1031.62 c 985s| 1370k|760414 | 0 | 0.0 |1390M|2816 | - |5645 | 10k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1038.52/1038.52 c 992s| 1380k|766154 | 0 | 0.0 |1400M|2816 | - |5645 | 11k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1046.71/1046.74 c 1000s| 1390k|770894 | 0 | 0.0 |1409M|2816 | - |5645 | 12k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1057.92/1057.90 c 1011s| 1400k|773522 | 0 | 0.0 |1418M|2816 | - |5645 | 14k| 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1065.71/1065.77 c 1018s| 1410k|778992 | 0 | 0.0 |1423M|2816 | - |5645 |8507 | 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1070.32/1070.37 c 1022s| 1420k|786602 | 0 | 0.0 |1432M|2816 | - |5645 |8197 | 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1075.51/1075.54 c 1027s| 1430k|793750 | 0 | 0.0 |1442M|2816 | - |5645 |8754 | 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1081.01/1081.05 c 1033s| 1440k|800565 | 0 | 0.0 |1452M|2816 | - |5645 |9580 | 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1087.12/1087.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.12/1087.14 c 1038s| 1450k|806986 | 0 | 0.0 |1462M|2816 | - |5645 | 10k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1094.32/1094.32 c 1045s| 1460k|812423 | 0 | 0.0 |1473M|2816 | - |5645 | 11k| 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1103.33/1103.32 c 1054s| 1470k|816549 | 0 | 0.0 |1483M|2816 | - |5645 | 13k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1114.92/1114.91 c 1065s| 1480k|818747 | 0 | 0.0 |1492M|2816 | - |5645 | 15k| 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1124.42/1124.45 c 1074s| 1490k|823092 | 0 | 0.0 |1496M|2816 | - |5645 |8954 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1129.12/1129.14 c 1078s| 1500k|830785 | 0 | 0.0 |1506M|2816 | - |5645 |7871 | 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1133.92/1133.98 c 1083s| 1510k|838280 | 0 | 0.0 |1515M|2816 | - |5645 |7982 | 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1138.92/1138.92 c 1088s| 1520k|845682 | 0 | 0.0 |1524M|2816 | - |5645 |8175 | 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1144.03/1144.08 c 1092s| 1530k|852835 | 0 | 0.0 |1534M|2816 | - |5645 |8417 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1149.42/1149.45 c 1098s| 1540k|859852 | 0 | 0.0 |1543M|2816 | - |5645 |8862 | 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1155.03/1155.09 c 1103s| 1550k|866617 | 0 | 0.0 |1553M|2816 | - |5645 |9219 | 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1160.72/1160.79 c 1108s| 1560k|873302 | 0 | 0.0 |1562M|2816 | - |5645 |9482 | 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1167.13/1167.19 c 1114s| 1570k|879495 | 0 | 0.0 |1572M|2816 | - |5645 |9701 | 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1173.32/1173.38 c 1120s| 1580k|885783 | 0 | 0.0 |1582M|2816 | - |5645 |9975 | 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1180.02/1180.04 c 1127s| 1590k|891708 | 0 | 0.0 |1591M|2816 | - |5645 | 10k| 0 | 0 | 0 |1508k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1187.02/1187.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.02/1187.07 c 1133s| 1600k|897311 | 0 | 0.0 |1600M|2816 | - |5645 | 10k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1194.42/1194.50 c 1140s| 1610k|902681 | 0 | 0.0 |1610M|2816 | - |5645 | 10k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1202.62/1202.68 c 1148s| 1620k|907446 | 0 | 0.0 |1619M|2816 | - |5645 | 11k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1211.42/1211.47 c 1157s| 1630k|911713 | 0 | 0.0 |1628M|2816 | - |5645 | 11k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1220.82/1220.88 c 1166s| 1640k|915428 | 0 | 0.0 |1637M|2816 | - |5645 | 11k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1231.43/1231.41 c 1176s| 1650k|918318 | 0 | 0.0 |1644M|2816 | - |5645 | 12k| 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1243.92/1243.90 c 1188s| 1660k|919919 | 0 | 0.0 |1651M|2816 | - |5645 | 14k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1252.83/1252.83 c 1196s| 1670k|924491 | 0 | 0.0 |1655M|2816 | - |5645 |8718 | 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1257.33/1257.33 c 1201s| 1680k|932156 | 0 | 0.0 |1665M|2816 | - |5645 |8521 | 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1262.32/1262.39 c 1205s| 1690k|939352 | 0 | 0.0 |1674M|2816 | - |5645 |9034 | 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1267.52/1267.57 c 1210s| 1700k|946357 | 0 | 0.0 |1684M|2816 | - |5645 |9561 | 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1273.03/1273.02 c 1215s| 1710k|953161 | 0 | 0.0 |1693M|2816 | - |5645 |9741 | 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1278.82/1278.88 c 1221s| 1720k|959594 | 0 | 0.0 |1703M|2816 | - |5645 | 10k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1285.43/1285.49 c 1227s| 1730k|965403 | 0 | 0.0 |1713M|2816 | - |5645 | 10k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1292.53/1292.57 c 1234s| 1740k|970822 | 0 | 0.0 |1723M|2816 | - |5645 | 10k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1299.83/1299.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.83/1299.87 c 1241s| 1750k|976073 | 0 | 0.0 |1733M|2816 | - |5645 | 10k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1307.13/1307.15 c 1248s| 1760k|981271 | 0 | 0.0 |1742M|2816 | - |5645 | 10k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1314.62/1314.69 c 1255s| 1770k|986418 | 0 | 0.0 |1751M|2816 | - |5645 | 10k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1322.13/1322.12 c 1262s| 1780k|991610 | 0 | 0.0 |1760M|2816 | - |5645 | 11k| 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1329.72/1329.74 c 1269s| 1790k|996814 | 0 | 0.0 |1769M|2816 | - |5645 | 11k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1337.72/1337.71 c 1277s| 1800k| 1001k| 0 | 0.0 |1778M|2816 | - |5645 | 12k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1346.22/1346.24 c 1285s| 1810k| 1006k| 0 | 0.0 |1787M|2816 | - |5645 | 13k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1356.23/1356.21 c 1295s| 1820k| 1010k| 0 | 0.0 |1796M|2816 | - |5645 | 14k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1368.62/1368.64 c 1307s| 1830k| 1012k| 0 | 0.0 |1801M|2816 | - |5645 | 11k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1373.63/1373.63 c 1311s| 1840k| 1019k| 0 | 0.0 |1811M|2816 | - |5645 |9314 | 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1379.03/1379.01 c 1316s| 1850k| 1026k| 0 | 0.0 |1821M|2816 | - |5645 |9747 | 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1384.83/1384.81 c 1322s| 1860k| 1033k| 0 | 0.0 |1831M|2816 | - |5645 | 10k| 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1391.63/1391.66 c 1328s| 1870k| 1039k| 0 | 0.0 |1841M|2816 | - |5645 | 11k| 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1399.83/1399.88 c 1336s| 1880k| 1044k| 0 | 0.0 |1851M|2816 | - |5645 | 11k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1408.62/1408.66 c 1345s| 1890k| 1048k| 0 | 0.0 |1861M|2816 | - |5645 | 13k| 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1419.43/1419.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1419.43/1419.48 c 1355s| 1900k| 1051k| 0 | 0.0 |1870M|2816 | - |5645 | 15k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1429.83/1429.86 c 1365s| 1910k| 1055k| 0 | 0.0 |1876M|2816 | - |5645 | 11k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1435.23/1435.22 c 1370s| 1920k| 1062k| 0 | 0.0 |1885M|2816 | - |5645 | 10k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1440.93/1440.98 c 1375s| 1930k| 1069k| 0 | 0.0 |1894M|2816 | - |5645 | 10k| 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1447.03/1447.01 c 1381s| 1940k| 1075k| 0 | 0.0 |1904M|2816 | - |5645 | 11k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1453.82/1453.89 c 1388s| 1950k| 1081k| 0 | 0.0 |1914M|2816 | - |5645 | 12k| 0 | 0 | 0 |1787k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1462.33/1462.32 c 1396s| 1960k| 1086k| 0 | 0.0 |1924M|2816 | - |5645 | 14k| 0 | 0 | 0 |1795k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1473.03/1473.03 c 1406s| 1970k| 1089k| 0 | 0.0 |1933M|2816 | - |5645 | 16k| 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1483.62/1483.67 c 1416s| 1980k| 1093k| 0 | 0.0 |1938M|2816 | - |5645 | 11k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1489.13/1489.14 c 1422s| 1990k| 1100k| 0 | 0.0 |1947M|2816 | - |5645 | 10k| 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1495.92/1495.99 c 1428s| 2000k| 1107k| 0 | 0.0 |1957M|2816 | - |5645 | 11k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1504.40/1504.42 c 1436s| 2010k| 1112k| 0 | 0.0 |1968M|2816 | - |5645 | 12k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1514.41/1514.43 c 1446s| 2020k| 1117k| 0 | 0.0 |1979M|2816 | - |5645 | 13k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1526.10/1526.17 c 1458s| 2030k| 1120k| 0 | 0.0 |1988M|2816 | - |5645 | 13k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1536.80/1536.86 c 1468s| 2040k| 1125k| 0 | 0.0 |1996M|2816 | - |5645 | 11k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1545.11/1545.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1545.11/1545.13 c 1477s| 2050k| 1130k| 0 | 0.0 |2004M|2816 | - |5645 | 11k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1553.10/1553.15 c 1485s| 2060k| 1136k| 0 | 0.0 |2014M|2816 | - |5645 | 11k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1561.90/1561.92 c 1493s| 2070k| 1141k| 0 | 0.0 |2024M|2816 | - |5645 | 13k| 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1573.01/1573.06 c 1504s| 2080k| 1146k| 0 | 0.0 |2034M|2816 | - |5645 | 15k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1588.70/1588.78 c 1520s| 2090k| 1147k| 0 | 0.0 |2042M|2816 | - |5645 | 20k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1595.50/1595.57 c 1527s| 2100k| 1155k| 0 | 0.0 |2049M|2816 | - |5645 | 11k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1601.89/1601.97 c 1533s| 2110k| 1161k| 0 | 0.0 |2058M|2816 | - |5645 | 11k| 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1609.59/1609.67 c 1540s| 2120k| 1167k| 0 | 0.0 |2068M|2816 | - |5645 | 12k| 0 | 0 | 0 |1925k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1619.80/1619.89 c 1551s| 2130k| 1172k| 0 | 0.0 |2079M|2816 | - |5645 | 14k| 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1632.10/1632.10 c 1563s| 2140k| 1176k| 0 | 0.0 |2088M|2816 | - |5645 | 14k| 0 | 0 | 0 |1945k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1641.79/1641.87 c 1572s| 2150k| 1181k| 0 | 0.0 |2096M|2816 | - |5645 | 12k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1648.90/1648.98 c 1579s| 2160k| 1187k| 0 | 0.0 |2104M|2816 | - |5645 | 11k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1657.29/1657.37 c 1588s| 2170k| 1193k| 0 | 0.0 |2115M|2816 | - |5645 | 12k| 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1668.29/1668.31 c 1598s| 2180k| 1197k| 0 | 0.0 |2125M|2816 | - |5645 | 15k| 0 | 0 | 0 |1976k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1682.29/1682.32 c 1612s| 2190k| 1200k| 0 | 0.0 |2134M|2816 | - |5645 | 18k| 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1691.39/1691.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1691.39/1691.44 c 1621s| 2200k| 1205k| 0 | 0.0 |2141M|2816 | - |5645 | 12k| 0 | 0 | 0 |1996k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1697.99/1698.01 c 1628s| 2210k| 1212k| 0 | 0.0 |2151M|2816 | - |5645 | 11k| 0 | 0 | 0 |2001k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1705.19/1705.20 c 1635s| 2220k| 1219k| 0 | 0.0 |2160M|2816 | - |5645 | 12k| 0 | 0 | 0 |2008k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1714.90/1714.93 c 1644s| 2230k| 1223k| 0 | 0.0 |2171M|2816 | - |5645 | 14k| 0 | 0 | 0 |2016k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1727.69/1727.79 c 1657s| 2240k| 1227k| 0 | 0.0 |2180M|2816 | - |5645 | 17k| 0 | 0 | 0 |2027k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1739.79/1739.81 c 1669s| 2250k| 1231k| 0 | 0.0 |2186M|2816 | - |5645 | 12k| 0 | 0 | 0 |2037k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1746.28/1746.38 c 1676s| 2260k| 1238k| 0 | 0.0 |2195M|2816 | - |5645 | 11k| 0 | 0 | 0 |2042k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1753.78/1753.85 c 1683s| 2270k| 1244k| 0 | 0.0 |2206M|2816 | - |5645 | 12k| 0 | 0 | 0 |2049k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1763.58/1763.61 c 1693s| 2280k| 1249k| 0 | 0.0 |2217M|2816 | - |5645 | 14k| 0 | 0 | 0 |2057k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1776.08/1776.10 c 1705s| 2290k| 1252k| 0 | 0.0 |2226M|2816 | - |5645 | 17k| 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1787.58/1787.65 c 1716s| 2300k| 1257k| 0 | 0.0 |2232M|2816 | - |5645 | 12k| 0 | 0 | 0 |2077k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1794.38/1794.43 c 1723s| 2310k| 1264k| 0 | 0.0 |2241M|2816 | - |5645 | 11k| 0 | 0 | 0 |2082k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1728.59
1800.09/1800.10 c Solving Nodes : 2317864
1800.09/1800.10 c Primal Bound : +7.00000000000000e+00 (38 solutions)
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.18 s SATISFIABLE
1800.09/1800.18 v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210
1800.09/1800.18 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189
1800.09/1800.18 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.09/1800.18 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147
1800.09/1800.18 v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126
1800.09/1800.18 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.09/1800.18 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
1800.09/1800.18 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.09/1800.18 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.09/1800.18 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.09/1800.18 v -x1
1800.09/1800.18 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.18 c Solving Time : 1728.59
1800.09/1800.18 c Original Problem :
1800.09/1800.18 c Problem name : HOME/instance-2693627-1277927311.wbo
1800.09/1800.18 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.09/1800.18 c Constraints : 5415 initial, 5415 maximal
1800.09/1800.18 c Presolved Problem :
1800.09/1800.18 c Problem name : t_HOME/instance-2693627-1277927311.wbo
1800.09/1800.18 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.09/1800.18 c Constraints : 5414 initial, 23116 maximal
1800.09/1800.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.18 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.18 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.18 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.18 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.18 c probing : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.18 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.18 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.09/1800.18 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.18 c root node : - 2468 - - 4936 - - - -
1800.09/1800.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.18 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.18 c indicator : 2707 0 6032173 0 1641094 218 2863292 0 0 0
1800.09/1800.18 c linear : 2707 0 7506846 0 1942547 524341 45991878 0 0 0
1800.09/1800.18 c logicor : 0+ 0 3610749 0 0 87536 2087027 0 0 0
1800.09/1800.18 c countsols : 0 0 0 0 1942573 0 0 0 0 0
1800.09/1800.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.18 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.18 c indicator : 29.45 0.00 12.40 0.00 17.05
1800.09/1800.18 c linear : 437.15 0.00 436.00 0.00 1.15
1800.09/1800.18 c logicor : 239.25 0.00 239.25 0.00 0.00
1800.09/1800.18 c countsols : 0.08 0.00 0.00 0.00 0.08
1800.09/1800.18 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.18 c vbounds : 0.24 2 0 0
1800.09/1800.18 c rootredcost : 0.35 0 0 0
1800.09/1800.18 c pseudoobj : 395.99 7510807 3582 2808346
1800.09/1800.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.18 c propagation : 37.65 615459 615456 2793280 21.0 380409 10.8 -
1800.09/1800.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.18 c pseudo solution : 0.08 234 234 891 24.8 688 9.6 -
1800.09/1800.18 c applied globally : - - - 2086947 18.2 - - -
1800.09/1800.18 c applied locally : - - - 0 0.0 - - -
1800.09/1800.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.18 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.18 c redcost : 0.00 0 0 0 0 0
1800.09/1800.18 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.18 c intobj : 0.00 0 0 0 0 0
1800.09/1800.18 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.18 c gomory : 0.00 0 0 0 0 0
1800.09/1800.18 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.18 c cmir : 0.00 0 0 0 0 0
1800.09/1800.18 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.18 c clique : 0.00 0 0 0 0 0
1800.09/1800.18 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.18 c mcf : 0.00 0 0 0 0 0
1800.09/1800.18 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.18 c Pricers : Time Calls Vars
1800.09/1800.18 c problem variables: 0.00 0 0
1800.09/1800.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.18 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.18 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.18 c inference : 46.50 1942538 0 0 0 0 3885076
1800.09/1800.18 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.18 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.18 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.18 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.18 c random : 0.00 0 0 0 0 0 0
1800.09/1800.18 c Primal Heuristics : Time Calls Found
1800.09/1800.18 c LP solutions : 0.00 - 0
1800.09/1800.18 c pseudo solutions : 0.09 - 35
1800.09/1800.18 c oneopt : 0.14 0 0
1800.09/1800.18 c trivial : 0.08 2 2
1800.09/1800.18 c simplerounding : 0.00 0 0
1800.09/1800.18 c zirounding : 0.00 0 0
1800.09/1800.18 c rounding : 0.00 0 0
1800.09/1800.18 c shifting : 0.00 0 0
1800.09/1800.18 c intshifting : 0.00 0 0
1800.09/1800.18 c twoopt : 0.00 0 0
1800.09/1800.18 c fixandinfer : 0.00 0 0
1800.09/1800.18 c feaspump : 0.00 0 0
1800.09/1800.18 c coefdiving : 0.00 0 0
1800.09/1800.18 c pscostdiving : 0.00 0 0
1800.09/1800.18 c fracdiving : 0.00 0 0
1800.09/1800.18 c veclendiving : 0.00 0 0
1800.09/1800.18 c intdiving : 0.00 0 0
1800.09/1800.18 c actconsdiving : 0.00 0 0
1800.09/1800.18 c objpscostdiving : 0.00 0 0
1800.09/1800.18 c rootsoldiving : 0.00 0 0
1800.09/1800.18 c linesearchdiving : 0.00 0 0
1800.09/1800.18 c guideddiving : 0.00 0 0
1800.09/1800.18 c octane : 0.00 0 0
1800.09/1800.18 c rens : 0.00 0 0
1800.09/1800.18 c rins : 0.00 0 0
1800.09/1800.18 c localbranching : 0.00 0 0
1800.09/1800.18 c mutation : 0.00 0 0
1800.09/1800.18 c crossover : 0.00 0 0
1800.09/1800.18 c dins : 0.00 0 0
1800.09/1800.18 c undercover : 0.00 0 0
1800.09/1800.18 c nlp : 0.05 0 0
1800.09/1800.18 c trysol : 0.05 1 1
1800.09/1800.18 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.18 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.18 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.18 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.18 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.18 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.18 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.18 c (at root node) : - 0 0 0.00 -
1800.09/1800.18 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.18 c B&B Tree :
1800.09/1800.18 c number of runs : 1
1800.09/1800.18 c nodes : 2317864
1800.09/1800.18 c nodes (total) : 2317864
1800.09/1800.18 c nodes left : 1269131
1800.09/1800.18 c max depth : 2816
1800.09/1800.18 c max depth (total): 2816
1800.09/1800.18 c backtracks : 336544 (14.5%)
1800.09/1800.18 c delayed cutoffs : 278864
1800.09/1800.18 c repropagations : 1415961 (16437432 domain reductions, 240620 cutoffs)
1800.09/1800.18 c avg switch length: 43.72
1800.09/1800.18 c switching time : 490.84
1800.09/1800.18 c Solution :
1800.09/1800.18 c Solutions found : 38 (36 improvements)
1800.09/1800.18 c First Solution : +1.36613000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.09/1800.18 c Primal Bound : +7.00000000000000e+00 (in run 1, after 1222253 nodes, 886.40 seconds, depth 562, found by <relaxation>)
1800.09/1800.18 c Dual Bound : +0.00000000000000e+00
1800.09/1800.18 c Gap : infinite
1800.09/1800.18 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.18 c Root Iterations : 0
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693627-1277927311/watcher-2693627-1277927311 -o /tmp/evaluation-result-2693627-1277927311/solver-2693627-1277927311 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693627-1277927311.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.99 1.99 1.99 3/178 15876 /proc/meminfo: memFree=31250188/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=8404 CPUtime=0 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 1578 0 0 0 0 0 0 0 22 0 1 0 134028972 8605696 1500 4089446400 4194304 7136930 140735392940544 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15876/statm: 2101 1500 275 719 0 1380 0 [startup+0.09942 s] /proc/loadavg: 1.99 1.99 1.99 3/178 15876 /proc/meminfo: memFree=31250188/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=33672 CPUtime=0.09 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 7966 0 0 0 9 0 0 0 22 0 1 0 134028972 34480128 7534 4089446400 4194304 7136930 140735392940544 18446744073709551615 4240875 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.100419 s] /proc/loadavg: 1.99 1.99 1.99 3/178 15876 /proc/meminfo: memFree=31250188/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=33672 CPUtime=0.09 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 7966 0 0 0 9 0 0 0 22 0 1 0 134028972 34480128 7534 4089446400 4194304 7136930 140735392940544 18446744073709551615 6350546 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.30038 s] /proc/loadavg: 1.99 1.99 1.99 3/178 15876 /proc/meminfo: memFree=31250188/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=36492 CPUtime=0.29 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 9240 0 0 0 27 2 0 0 22 0 1 0 134028972 37367808 8294 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 9123 8294 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700312 s] /proc/loadavg: 1.99 1.99 1.99 3/178 15876 /proc/meminfo: memFree=31250188/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=37632 CPUtime=0.69 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 9515 0 0 0 64 5 0 0 24 0 1 0 134028972 38535168 8569 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 9408 8569 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50017 s] /proc/loadavg: 1.99 1.99 1.99 3/179 15877 /proc/meminfo: memFree=31215460/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=43000 CPUtime=1.49 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 10863 0 0 0 138 11 0 0 25 0 1 0 134028972 44032000 9917 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 10750 9917 390 719 0 10029 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43000 [startup+3.10089 s] /proc/loadavg: 1.99 1.99 1.99 3/179 15877 /proc/meminfo: memFree=31211368/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=45340 CPUtime=3.09 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 11457 0 0 0 291 18 0 0 25 0 1 0 134028972 46428160 10511 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 11335 10511 390 719 0 10614 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45340 [startup+6.30032 s] /proc/loadavg: 1.99 1.99 1.99 3/179 15877 /proc/meminfo: memFree=31203992/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=55748 CPUtime=6.29 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 14009 0 0 0 591 38 0 0 25 0 1 0 134028972 57085952 13063 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 13937 13063 391 719 0 13216 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55748 [startup+12.7002 s] /proc/loadavg: 1.99 1.99 1.99 3/179 15878 /proc/meminfo: memFree=31181320/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=76492 CPUtime=12.69 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 19180 0 0 0 1199 70 0 0 25 0 1 0 134028972 78327808 18234 4089446400 4194304 7136930 140735392940544 18446744073709551615 4659981 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 19123 18234 391 719 0 18402 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76492 [startup+25.5009 s] /proc/loadavg: 1.99 1.99 1.99 3/179 15878 /proc/meminfo: memFree=31139700/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=119124 CPUtime=25.5 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 29431 0 0 0 2422 128 0 0 25 0 1 0 134028972 121982976 28485 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 29781 28485 391 719 0 29060 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 119124 [startup+51.1004 s] /proc/loadavg: 1.99 1.99 1.99 3/179 15879 /proc/meminfo: memFree=31070008/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=185496 CPUtime=51.09 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 45412 0 0 0 4825 284 0 0 25 0 1 0 134028972 189947904 44466 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 46374 44466 391 719 0 45653 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 185496 [startup+102.306 s] /proc/loadavg: 1.99 1.99 1.99 3/179 15880 /proc/meminfo: memFree=30906780/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=269284 CPUtime=102.3 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 66338 0 0 0 9731 499 0 0 25 0 1 0 134028972 275746816 65392 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 67321 65392 391 719 0 66600 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 269284 [startup+162.301 s] /proc/loadavg: 2.03 2.00 2.00 3/197 15927 /proc/meminfo: memFree=31294200/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=389356 CPUtime=162.29 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 95549 0 0 0 15426 803 0 0 25 0 1 0 134028972 398700544 94603 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 97339 94603 391 719 0 96618 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 389356 [startup+222.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 15928 /proc/meminfo: memFree=31175588/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=511988 CPUtime=222.3 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 124691 0 0 0 21123 1107 0 0 25 0 1 0 134028972 524275712 123745 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 127997 123745 391 719 0 127276 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 511988 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15930 /proc/meminfo: memFree=31075944/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=613036 CPUtime=282.3 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 149612 0 0 0 26841 1389 0 0 25 0 1 0 134028972 627748864 148666 4089446400 4194304 7136930 140735392940544 18446744073709551615 4978919 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 153259 148666 391 719 0 152538 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 613036 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15932 /proc/meminfo: memFree=30958460/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=734812 CPUtime=342.3 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 179333 0 0 0 32556 1674 0 0 25 0 1 0 134028972 752447488 178387 4089446400 4194304 7136930 140735392940544 18446744073709551615 4983233 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 183703 178387 391 719 0 182982 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 734812 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15933 /proc/meminfo: memFree=30872320/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=819840 CPUtime=402.3 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 200595 0 0 0 38340 1890 0 0 25 0 1 0 134028972 839516160 199649 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 204960 199649 391 719 0 204239 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 819840 [startup+462.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 15935 /proc/meminfo: memFree=30812612/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=877488 CPUtime=462.3 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 215106 0 0 0 44137 2093 0 0 25 0 1 0 134028972 898547712 214160 4089446400 4194304 7136930 140735392940544 18446744073709551615 4221262 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 219372 214160 391 719 0 218651 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 877488 [startup+522.301 s] /proc/loadavg: 2.01 2.01 2.00 3/197 15936 /proc/meminfo: memFree=30764680/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=925168 CPUtime=522.31 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 227119 0 0 0 49958 2273 0 0 25 0 1 0 134028972 947372032 226173 4089446400 4194304 7136930 140735392940544 18446744073709551615 4978944 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 231292 226173 391 719 0 230571 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 925168 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 4/197 15938 /proc/meminfo: memFree=30736588/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=951040 CPUtime=582.31 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 233475 0 0 0 55804 2427 0 0 25 0 1 0 134028972 973864960 232529 4089446400 4194304 7136930 140735392940544 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 237760 232529 391 719 0 237039 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 951040 [startup+642.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 15940 /proc/meminfo: memFree=30639544/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=1067580 CPUtime=642.31 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 257647 0 0 0 61565 2666 0 0 25 0 1 0 134028972 1093201920 256701 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 266895 256701 391 719 0 266174 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1067580 [startup+702.301 s] ################ # More data... # ################ /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 390366 0 0 0 101498 4734 0 0 25 0 1 0 134028972 1640525824 389420 4089446400 4194304 7136930 140735392940544 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 400519 389420 391 719 0 399798 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1602076 [startup+1122.3 s] /proc/loadavg: 2.04 2.05 2.00 3/197 15961 /proc/meminfo: memFree=30027372/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=1679560 CPUtime=1122.32 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 409822 0 0 0 107207 5025 0 0 25 0 1 0 134028972 1719869440 408876 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 419890 408876 391 719 0 419169 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1679560 [startup+1182.3 s] /proc/loadavg: 2.06 2.05 2.00 3/197 15963 /proc/meminfo: memFree=29936400/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=1771552 CPUtime=1182.32 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 433054 0 0 0 112870 5362 0 0 25 0 1 0 134028972 1814069248 432108 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 442888 432108 391 719 0 442167 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1771552 [startup+1242.3 s] /proc/loadavg: 2.02 2.04 2.00 3/197 15965 /proc/meminfo: memFree=29874956/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=1829716 CPUtime=1242.32 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 447796 0 0 0 118626 5606 0 0 25 0 1 0 134028972 1873629184 446850 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 457429 446850 391 719 0 456708 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1829716 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.00 3/197 15966 /proc/meminfo: memFree=29791936/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=1910528 CPUtime=1302.33 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 468402 0 0 0 124308 5925 0 0 25 0 1 0 134028972 1956380672 467456 4089446400 4194304 7136930 140735392940544 18446744073709551615 6166597 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 477632 467456 391 719 0 476911 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1910528 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 15968 /proc/meminfo: memFree=29725904/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=1992736 CPUtime=1362.33 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 484893 0 0 0 130048 6185 0 0 25 0 1 0 134028972 2040561664 483947 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 498184 483947 391 719 0 497463 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1992736 [startup+1422.31 s] /proc/loadavg: 2.00 2.02 2.00 3/197 15969 /proc/meminfo: memFree=29653688/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2064456 CPUtime=1422.34 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 502819 0 0 0 135773 6461 0 0 25 0 1 0 134028972 2114002944 501873 4089446400 4194304 7136930 140735392940544 18446744073709551615 5951418 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 516114 501873 391 719 0 515393 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2064456 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 15971 /proc/meminfo: memFree=29591992/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2125636 CPUtime=1482.33 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 518171 0 0 0 141512 6721 0 0 25 0 1 0 134028972 2176651264 517225 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/15876/statm: 531409 517225 391 719 0 530688 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2125636 [startup+1542.3 s] /proc/loadavg: 2.59 2.16 2.05 4/200 16048 /proc/meminfo: memFree=29425400/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2190036 CPUtime=1542.3 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 534436 0 0 0 147389 6841 0 0 25 0 1 0 134028972 2242596864 533490 4089446400 4194304 7136930 140735392940544 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15876/statm: 547509 533490 391 719 0 546788 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 2190036 [startup+1602.3 s] /proc/loadavg: 2.77 2.30 2.10 4/200 16049 /proc/meminfo: memFree=29350820/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2249076 CPUtime=1602.3 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 549350 0 0 0 153323 6907 0 0 25 0 1 0 134028972 2303053824 548404 4089446400 4194304 7136930 140735392940544 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15876/statm: 562269 548404 391 719 0 561548 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 2249076 [startup+1662.3 s] /proc/loadavg: 2.91 2.42 2.15 4/200 16051 /proc/meminfo: memFree=29281952/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2306452 CPUtime=1662.29 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 563745 0 0 0 159250 6979 0 0 25 0 1 0 134028972 2361806848 562799 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15876/statm: 576613 562799 391 719 0 575892 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 2306452 [startup+1722.3 s] /proc/loadavg: 2.83 2.48 2.19 4/200 16052 /proc/meminfo: memFree=29216048/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2363892 CPUtime=1722.29 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 578193 0 0 0 165175 7054 0 0 25 0 1 0 134028972 2420625408 577247 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15876/statm: 590973 577247 391 719 0 590252 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 2363892 [startup+1782.3 s] /proc/loadavg: 2.86 2.56 2.23 4/200 16054 /proc/meminfo: memFree=29152988/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2412108 CPUtime=1782.29 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 590357 0 0 0 171106 7123 0 0 25 0 1 0 134028972 2469998592 589411 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15876/statm: 603027 589411 391 719 0 602306 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 2412108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.83 2.57 2.24 4/200 16054 /proc/meminfo: memFree=29127360/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2433780 CPUtime=1800.09 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 595836 0 0 0 172862 7147 0 0 25 0 1 0 134028972 2492190720 594890 4089446400 4194304 7136930 140735392940544 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15876/statm: 608445 594890 391 719 0 607724 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 2433780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15876 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.83 2.57 2.24 4/201 16055 /proc/meminfo: memFree=29126856/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2433780 CPUtime=1801.39 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 595855 0 0 0 172992 7147 0 0 19 0 1 0 134028972 2492190720 594909 4089446400 4194304 7136930 140735392940544 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15876/statm: 608445 594909 397 719 0 607724 0 Current children cumulated CPU time (s) 1801.39 Current children cumulated vsize (KiB) 2433780 [startup+1801.81 s] /proc/loadavg: 2.83 2.57 2.24 4/201 16055 /proc/meminfo: memFree=29126856/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2433780 CPUtime=1801.79 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 595855 0 0 0 173032 7147 0 0 20 0 1 0 134028972 2492190720 594909 4089446400 4194304 7136930 140735392940544 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15876/statm: 608445 594909 397 719 0 607724 0 Current children cumulated CPU time (s) 1801.79 Current children cumulated vsize (KiB) 2433780 [startup+1802 s] /proc/loadavg: 2.83 2.57 2.24 4/201 16055 /proc/meminfo: memFree=29126856/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2433780 CPUtime=1801.99 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 595855 0 0 0 173052 7147 0 0 20 0 1 0 134028972 2492190720 594909 4089446400 4194304 7136930 140735392940544 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15876/statm: 608445 594909 397 719 0 607724 0 Current children cumulated CPU time (s) 1801.99 Current children cumulated vsize (KiB) 2433780 [startup+1802.1 s] /proc/loadavg: 2.83 2.57 2.24 4/201 16055 /proc/meminfo: memFree=29126856/32951124 swapFree=67111528/67111528 [pid=15876] ppid=15874 vsize=2433780 CPUtime=1802.09 /proc/15876/stat : 15876 (pbscip.linux.x8) R 15874 15876 15789 0 -1 4202496 595855 0 0 0 173062 7147 0 0 21 0 1 0 134028972 2492190720 594909 4089446400 4194304 7136930 140735392940544 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15876/statm: 608445 594909 397 719 0 607724 0 Current children cumulated CPU time (s) 1802.09 Current children cumulated vsize (KiB) 2433780 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.19 CPU time (s): 1802.18 CPU user time (s): 1730.63 CPU system time (s): 71.5521 CPU usage (%): 99.9995 Max. virtual memory (cumulated for all children) (KiB): 2433780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1730.63 system time used= 71.5521 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 595855 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3249 runsolver used 3.07453 second user time and 6.06008 second system time The end
Begin job on node101 at 2010-06-30 21:48:31 IDJOB=2693627 IDBENCH=79278 IDSOLVER=1206 FILE ID=node101/2693627-1277927311 PBS_JOBID= 11197392 Free space on /tmp= 74208 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.1900553812--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-2693627-1277927311/watcher-2693627-1277927311 -o /tmp/evaluation-result-2693627-1277927311/solver-2693627-1277927311 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693627-1277927311.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 10c8366d87b8e61a0f23df601b3f0e14 RANDOM SEED=1497800432 node101.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.837 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.67 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.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 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.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 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.82 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.837 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.75 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.837 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: 31250840 kB Buffers: 214460 kB Cached: 743196 kB SwapCached: 0 kB Active: 1011236 kB Inactive: 544236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31250840 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3124 kB Writeback: 0 kB AnonPages: 597840 kB Mapped: 15280 kB Slab: 79048 kB PageTables: 5844 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 741888 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= 74208 MiB End job on node101 at 2010-06-30 22:18:33