Trace number 1869481

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT (TO)19 1802.11 1802.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
MD5SUM1d334f36842eecbe8db395477b7c6bcb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1802.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6340
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c SCIP version 1.1.0.7
0.00/0.01	c LP-Solver Clp 1.8.2
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-1869481-1245174110.opb>
0.00/0.01	c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01	c start presolving problem
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c (round 2) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03	c    (0.0s) probing: 101/190 (53.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03	c presolving (3 rounds):
0.00/0.03	c  8 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03	c  0 implications, 0 cliques
0.00/0.03	c presolved problem has 190 variables (190 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03	c       8 constraints of type <linear>
0.00/0.03	c transformed objective value is always integral (scale: 1)
0.00/0.03	c Presolving Time: 0.02
0.00/0.03	c OPT-LIN
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/memory = c 1620
0.00/0.03	c # maximal time in seconds to run
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/time = c 1791
0.00/0.03	c # frequency for displaying node information lines
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03	c display/freq = c 10000
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c start solving problem
0.00/0.03	c 
0.00/0.04	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.04	c   0.0s|     1 |     0 |    47 | 611k|   0 |   8 | 190 |   8 |   8 | 190 |   8 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.06	c   0.0s|     1 |     0 |   181 | 724k|   0 |  11 | 190 |   8 |   8 | 190 |  15 |   7 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.08	c   0.1s|     1 |     0 |   192 | 805k|   0 |  16 | 190 |   8 |   8 | 190 |  21 |  13 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.10	c   0.1s|     1 |     0 |   206 | 864k|   0 |  18 | 190 |   8 |   8 | 190 |  24 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |   210 | 872k|   0 |  19 | 190 |   8 |   8 | 190 |  25 |  17 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.16	c   0.1s|     1 |     0 |   218 | 883k|   0 |  19 | 190 |   8 |   8 | 190 |  27 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	c   0.2s|     1 |     0 |   220 | 889k|   0 |  20 | 190 |   8 |   8 | 190 |  28 |  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.28	c   0.3s|     1 |     2 |   220 | 890k|   0 |  20 | 190 |   8 |   8 | 190 |  28 |  20 |   0 |  20 | 0.000000e+00 |      --      |    Inf 
0.59/0.61	o 1017
0.59/0.61	c c 0.6s|    72 |    73 |   488 | 953k|  71 |   - | 190 |   8 |   3 | 190 |  22 |  20 |   0 | 448 | 1.818989e-12 | 1.017000e+03 |    Inf 
0.69/0.75	o 289
0.69/0.75	c f 0.7s|   133 |   102 |   893 | 997k|  71 |   - | 190 |   8 |   6 | 190 |  22 |  20 |   0 | 618 | 1.818989e-12 | 2.890000e+02 |    Inf 
1.19/1.27	o 287
1.19/1.27	c * 1.2s|   549 |   506 |  3055 |1196k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |   5 | 889 | 1.818989e-12 | 2.870000e+02 |    Inf 
1.39/1.44	o 285
1.39/1.44	c * 1.4s|   699 |   642 |  3751 |1273k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |   7 | 954 | 1.818989e-12 | 2.850000e+02 |    Inf 
1.49/1.50	o 280
1.49/1.50	c g 1.4s|   754 |   689 |  4002 |1302k|  71 |   - | 190 |   8 |   3 | 190 |  22 |  20 |   8 | 989 | 1.818989e-12 | 2.800000e+02 |    Inf 
1.89/1.93	o 279
1.89/1.93	c * 1.9s|  1127 |  1035 |  6203 |1452k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  11 |1012 | 1.818989e-12 | 2.790000e+02 |    Inf 
1.89/1.94	o 278
1.89/1.94	c * 1.9s|  1146 |  1050 |  6280 |1464k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  11 |1016 | 1.818989e-12 | 2.780000e+02 |    Inf 
1.89/1.97	o 276
1.89/1.97	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.89/1.97	c v 1.9s|  1166 |  1063 |  6352 |1477k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  12 |1049 | 1.818989e-12 | 2.760000e+02 |    Inf 
2.09/2.10	o 275
2.09/2.10	c * 2.0s|  1306 |  1192 |  7040 |1548k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  14 |1057 | 1.818989e-12 | 2.750000e+02 |    Inf 
3.19/3.25	o 274
3.19/3.25	c * 3.2s|  2326 |  2207 | 13576 |1973k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  38 |1067 | 1.818989e-12 | 2.740000e+02 |    Inf 
3.89/3.96	o 272
3.89/3.96	c v 3.8s|  2891 |  2758 | 17389 |2214k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  59 |1074 | 1.818989e-12 | 2.720000e+02 |    Inf 
4.40/4.48	o 210
4.40/4.48	c g 4.3s|  3327 |  3142 | 20387 |2355k|  71 |   - | 190 |   8 |   4 | 190 |  22 |  20 |  68 |1080 | 1.818989e-12 | 2.100000e+02 |    Inf 
4.59/4.61	o 144
4.59/4.61	c f 4.5s|  3383 |  3108 | 20914 |2317k|  71 |   - | 190 |   8 |   5 | 190 |  22 |  20 |  71 |1080 | 1.818989e-12 | 1.440000e+02 |    Inf 
4.79/4.82	o 143
4.79/4.82	c * 4.7s|  3524 |  3245 | 22197 |2363k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  73 |1092 | 1.818989e-12 | 1.430000e+02 |    Inf 
4.79/4.83	o 141
4.79/4.83	c * 4.7s|  3526 |  3237 | 22198 |2361k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  73 |1097 | 1.818989e-12 | 1.410000e+02 |    Inf 
7.28/7.33	o 139
7.28/7.33	c * 7.1s|  4512 |  4188 | 28963 |2821k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 | 106 |1107 | 1.818989e-12 | 1.390000e+02 |    Inf 
7.38/7.41	o 138
7.38/7.41	c * 7.2s|  4574 |  4244 | 29444 |2853k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 | 107 |1111 | 1.818989e-12 | 1.380000e+02 |    Inf 
7.98/8.07	o 136
7.98/8.07	c * 7.8s|  5072 |  4716 | 32862 |3089k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 | 130 |1139 | 1.818989e-12 | 1.360000e+02 |    Inf 
8.28/8.39	o 98
8.28/8.39	c f 8.1s|  5327 |  4772 | 34608 |3131k|  71 |   - | 190 |   8 |   3 | 190 |  22 |  20 | 136 |1143 | 1.818989e-12 | 9.800000e+01 |    Inf 
15.88/15.90	c  15.4s| 10000 |  9200 | 73124 |5141k|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 | 365 |1177 | 1.818989e-12 | 9.800000e+01 |    Inf 
17.59/17.63	o 97
17.59/17.63	c f17.1s| 11614 | 10693 | 82579 |5875k|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 | 411 |1195 | 1.818989e-12 | 9.700000e+01 |    Inf 
17.59/17.63	o 95
17.59/17.63	c k17.1s| 11615 | 10672 | 82583 |5816k|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 | 411 |1195 | 1.818989e-12 | 9.500000e+01 |    Inf 
26.57/26.60	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
26.57/26.60	c  25.9s| 20000 | 18149 |130459 |9596k|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 | 674 |1568 | 1.818989e-12 | 9.500000e+01 |    Inf 
30.57/30.63	o 94
30.57/30.63	c *29.8s| 23817 | 21398 |152604 |  11M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 | 803 |1754 | 1.818989e-12 | 9.400000e+01 |    Inf 
35.78/35.81	o 79
35.78/35.81	c g34.9s| 28847 | 24884 |182091 |  12M|  71 |   - | 190 |   8 |   4 | 190 |  22 |  20 | 964 |1986 | 1.818989e-12 | 7.900000e+01 |    Inf 
35.78/35.85	o 77
35.78/35.85	c *34.9s| 28882 | 24797 |182268 |  12M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 | 965 |1993 | 1.818989e-12 | 7.700000e+01 |    Inf 
35.78/35.85	o 75
35.78/35.85	c *34.9s| 28883 | 24686 |182269 |  12M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 | 965 |1993 | 1.818989e-12 | 7.500000e+01 |    Inf 
39.87/39.92	c  38.8s| 30000 | 25561 |190442 |  13M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |1024 |2049 | 1.818989e-12 | 7.500000e+01 |    Inf 
50.16/50.20	c  48.9s| 40000 | 32978 |248711 |  17M|  71 |   - | 190 |   8 |   8 |   0 |   0 |  20 |1415 |2454 | 1.818989e-12 | 7.500000e+01 |    Inf 
52.77/52.80	o 73
52.77/52.80	c *51.4s| 42499 | 34525 |263829 |  18M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |1513 |2576 | 1.818989e-12 | 7.300000e+01 |    Inf 
52.77/52.81	o 71
52.77/52.81	c *51.4s| 42500 | 34352 |263830 |  18M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |1513 |2578 | 1.818989e-12 | 7.100000e+01 |    Inf 
53.26/53.30	o 69
53.26/53.30	c *51.9s| 42941 | 34438 |266535 |  18M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |1531 |2587 | 1.818989e-12 | 6.900000e+01 |    Inf 
53.67/53.75	o 67
53.67/53.75	c *52.3s| 43354 | 34480 |269190 |  18M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |1539 |2600 | 1.818989e-12 | 6.700000e+01 |    Inf 
53.67/53.76	o 65
53.67/53.76	c *52.3s| 43357 | 34242 |269195 |  18M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |1539 |2609 | 1.818989e-12 | 6.500000e+01 |    Inf 
53.67/53.77	o 61
53.67/53.77	c *52.3s| 43361 | 33383 |269199 |  17M|  71 |   - | 190 |   8 |   3 | 190 |  22 |  20 |1539 |2616 | 1.818989e-12 | 6.100000e+01 |    Inf 
62.24/62.35	c  60.6s| 50000 | 37914 |310423 |  20M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |1780 |2891 | 1.818989e-12 | 6.100000e+01 |    Inf 
66.04/66.15	o 60
66.04/66.15	c s64.3s| 53730 | 40354 |333447 |  21M|  71 |   - | 190 |   8 |   2 | 190 |  22 |  20 |1921 |2994 | 1.818989e-12 | 6.000000e+01 |    Inf 
66.04/66.15	o 58
66.04/66.15	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
66.04/66.15	c f64.3s| 53737 | 40093 |333455 |  21M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |1923 |2995 | 1.818989e-12 | 5.800000e+01 |    Inf 
73.53/73.61	c  71.6s| 60000 | 44316 |373690 |  24M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |2161 |3200 | 1.818989e-12 | 5.800000e+01 |    Inf 
73.64/73.77	o 57
73.64/73.77	c *71.7s| 60178 | 44270 |374594 |  24M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |2170 |3213 | 1.818989e-12 | 5.700000e+01 |    Inf 
73.64/73.78	o 55
73.64/73.78	c *71.7s| 60179 | 43948 |374594 |  23M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |2170 |3213 | 1.818989e-12 | 5.500000e+01 |    Inf 
83.93/84.00	c  81.6s| 70000 | 50167 |435241 |  28M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |2530 |3536 | 1.818989e-12 | 5.500000e+01 |    Inf 
93.83/93.90	c  91.3s| 80000 | 55929 |496208 |  32M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |2918 |3871 | 1.818989e-12 | 5.500000e+01 |    Inf 
102.42/102.59	o 54
102.42/102.59	c *99.8s| 88387 | 60896 |548632 |  35M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |3244 |4113 | 1.818989e-12 | 5.400000e+01 |    Inf 
102.52/102.60	o 52
102.52/102.60	c *99.8s| 88388 | 60382 |548634 |  34M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |3244 |4115 | 1.818989e-12 | 5.200000e+01 |    Inf 
106.72/106.82	c   104s| 90000 | 61215 |558650 |  34M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |3308 |4169 | 1.818989e-12 | 5.200000e+01 |    Inf 
114.41/114.55	o 51
114.41/114.55	c * 111s| 97889 | 65350 |606463 |  37M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |3534 |4397 | 1.818989e-12 | 5.100000e+01 |    Inf 
114.51/114.63	o 49
114.51/114.63	c * 112s| 97961 | 64770 |606915 |  36M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |3540 |4399 | 1.818989e-12 | 4.900000e+01 |    Inf 
114.51/114.63	o 47
114.51/114.63	c * 112s| 97962 | 63738 |606916 |  35M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |3540 |4399 | 1.818989e-12 | 4.700000e+01 |    Inf 
116.52/116.63	c   113s|100000 | 64960 |619495 |  36M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |3600 |4468 | 1.818989e-12 | 4.700000e+01 |    Inf 
119.71/119.81	o 46
119.71/119.81	c * 117s|102617 | 66136 |635278 |  37M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |3696 |4541 | 1.818989e-12 | 4.600000e+01 |    Inf 
125.32/125.48	o 44
125.32/125.48	c * 122s|108422 | 68748 |670768 |  38M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |3859 |4672 | 1.818989e-12 | 4.400000e+01 |    Inf 
127.31/127.40	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
127.31/127.40	c   124s|110000 | 69556 |680028 |  39M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |3902 |4721 | 1.818989e-12 | 4.400000e+01 |    Inf 
136.31/136.43	c   133s|120000 | 74439 |739052 |  43M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |4201 |4973 | 1.818989e-12 | 4.400000e+01 |    Inf 
147.31/147.47	c   143s|130000 | 79703 |799275 |  46M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |4513 |5211 | 1.818989e-12 | 4.400000e+01 |    Inf 
156.60/156.72	c   152s|140000 | 84912 |858620 |  50M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |4819 |5458 | 1.818989e-12 | 4.400000e+01 |    Inf 
165.59/165.72	c   161s|150000 | 89830 |916682 |  54M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |5084 |5695 | 1.818989e-12 | 4.400000e+01 |    Inf 
174.50/174.60	c   170s|160000 | 94708 |974939 |  57M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |5352 |5920 | 1.818989e-12 | 4.400000e+01 |    Inf 
185.90/186.03	c   181s|170000 | 99388 |  1033k|  61M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |5638 |6140 | 1.818989e-12 | 4.400000e+01 |    Inf 
195.19/195.33	c   190s|180000 |104505 |  1092k|  64M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |5922 |6359 | 1.818989e-12 | 4.400000e+01 |    Inf 
204.18/204.33	c   199s|190000 |109458 |  1152k|  68M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |6195 |6565 | 1.818989e-12 | 4.400000e+01 |    Inf 
213.58/213.74	c   208s|200000 |114478 |  1212k|  72M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |6419 |6748 | 1.818989e-12 | 4.400000e+01 |    Inf 
223.38/223.60	c   217s|210000 |120190 |  1273k|  75M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |6724 |6922 | 1.818989e-12 | 4.400000e+01 |    Inf 
235.17/235.32	c   229s|220000 |124890 |  1333k|  79M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |7005 |7101 | 1.818989e-12 | 4.400000e+01 |    Inf 
244.27/244.45	c   238s|230000 |130031 |  1393k|  82M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |7229 |7259 | 1.818989e-12 | 4.400000e+01 |    Inf 
253.06/253.20	c   246s|240000 |134529 |  1452k|  86M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |7491 |7432 | 1.818989e-12 | 4.400000e+01 |    Inf 
261.86/262.02	c   255s|250000 |139329 |  1512k|  89M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |7731 |7613 | 1.818989e-12 | 4.400000e+01 |    Inf 
270.66/270.84	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
270.66/270.84	c   263s|260000 |144011 |  1571k|  93M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |7944 |7778 | 1.818989e-12 | 4.400000e+01 |    Inf 
274.86/275.07	o 43
274.86/275.07	c * 268s|264636 |145722 |  1599k|  93M|  71 |   - | 190 |   8 |   1 | 190 |  22 |  20 |8046 |7850 | 1.818989e-12 | 4.300000e+01 |    Inf 
282.75/282.97	c   275s|270000 |148202 |  1632k|  95M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |8142 |7932 | 1.818989e-12 | 4.300000e+01 |    Inf 
291.45/291.67	c   284s|280000 |152530 |  1692k|  98M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |8379 |8083 | 1.818989e-12 | 4.300000e+01 |    Inf 
300.14/300.39	c   292s|290000 |156908 |  1752k| 102M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |8594 |8246 | 1.818989e-12 | 4.300000e+01 |    Inf 
308.84/309.06	c   301s|300000 |161302 |  1810k| 105M|  71 |   - | 190 |   8 |   8 |   0 |   0 |  20 |8811 |8377 | 1.818989e-12 | 4.300000e+01 |    Inf 
310.14/310.38	o 42
310.14/310.38	c * 302s|301161 |161382 |  1818k| 104M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |8842 |8409 | 1.818989e-12 | 4.200000e+01 |    Inf 
310.24/310.40	o 40
310.24/310.40	c * 302s|301165 |159930 |  1818k| 102M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |8842 |8413 | 1.818989e-12 | 4.000000e+01 |    Inf 
313.14/313.35	o 38
313.14/313.35	c * 305s|304347 |159738 |  1838k| 101M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |8917 |8442 | 1.818989e-12 | 3.800000e+01 |    Inf 
318.13/318.36	c   310s|310000 |162444 |  1871k| 103M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |9050 |8533 | 1.818989e-12 | 3.800000e+01 |    Inf 
326.83/327.09	c   318s|320000 |166913 |  1929k| 106M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |9226 |8660 | 1.818989e-12 | 3.800000e+01 |    Inf 
335.64/335.89	c   327s|330000 |171484 |  1988k| 110M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |9426 |8792 | 1.818989e-12 | 3.800000e+01 |    Inf 
344.63/344.82	c   335s|340000 |176246 |  2047k| 113M|  71 |   - | 190 |   8 |   7 | 190 |  22 |  20 |9619 |8926 | 1.818989e-12 | 3.800000e+01 |    Inf 
349.42/349.61	o 37
349.42/349.61	c * 340s|345475 |177765 |  2080k| 113M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |9743 |9023 | 1.818989e-12 | 3.700000e+01 |    Inf 
349.42/349.63	o 33
349.42/349.63	c * 340s|345476 |173604 |  2080k| 108M|  71 |   - | 190 |   8 |   1 | 190 |  22 |  20 |9743 |9023 | 1.818989e-12 | 3.300000e+01 |    Inf 
350.93/351.12	o 32
350.93/351.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
350.93/351.12	c * 342s|347219 |165908 |  2090k| 102M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |9764 |9039 | 1.818989e-12 | 3.200000e+01 |    Inf 
354.42/354.69	c   345s|350000 |167106 |  2108k| 103M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |9815 |9105 | 1.818989e-12 | 3.200000e+01 |    Inf 
363.53/363.75	c   354s|360000 |172128 |  2173k| 106M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  10k|9251 | 1.818989e-12 | 3.200000e+01 |    Inf 
372.22/372.42	c   362s|370000 |176193 |  2238k| 108M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  10k|9421 | 1.818989e-12 | 3.200000e+01 |    Inf 
380.52/380.77	c   370s|380000 |180205 |  2302k| 111M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  10k|9580 | 1.818989e-12 | 3.200000e+01 |    Inf 
389.01/389.25	c   379s|390000 |184064 |  2366k| 114M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  10k|9735 | 1.818989e-12 | 3.200000e+01 |    Inf 
390.42/390.66	o 31
390.42/390.66	c * 380s|391676 |183677 |  2377k| 113M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  10k|9745 | 1.818989e-12 | 3.100000e+01 |    Inf 
390.42/390.68	o 29
390.42/390.68	c * 380s|391677 |181381 |  2377k| 110M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  10k|9745 | 1.818989e-12 | 2.900000e+01 |    Inf 
397.41/397.63	c   387s|400000 |184511 |  2430k| 112M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  10k|9874 | 1.818989e-12 | 2.900000e+01 |    Inf 
405.71/405.92	c   395s|410000 |188025 |  2494k| 115M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  10k|9993 | 1.818989e-12 | 2.900000e+01 |    Inf 
414.60/414.86	c   404s|420000 |192276 |  2559k| 117M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  11k|  10k| 1.818989e-12 | 2.900000e+01 |    Inf 
422.90/423.18	c   412s|430000 |196421 |  2622k| 120M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  11k|  10k| 1.818989e-12 | 2.900000e+01 |    Inf 
431.70/431.92	c   420s|440000 |200361 |  2687k| 123M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  11k|  10k| 1.818989e-12 | 2.900000e+01 |    Inf 
439.90/440.18	c   428s|450000 |204258 |  2751k| 125M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  11k|  10k| 1.818989e-12 | 2.900000e+01 |    Inf 
447.89/448.15	c   436s|460000 |207575 |  2814k| 128M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  11k|  10k| 1.818989e-12 | 2.900000e+01 |    Inf 
455.89/456.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
455.89/456.13	c   444s|470000 |210965 |  2878k| 130M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  11k|  10k| 1.818989e-12 | 2.900000e+01 |    Inf 
464.19/464.46	c   452s|480000 |214777 |  2941k| 133M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  11k|  10k| 1.818989e-12 | 2.900000e+01 |    Inf 
473.18/473.43	c   461s|490000 |219415 |  3006k| 136M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  12k|  10k| 1.818989e-12 | 2.900000e+01 |    Inf 
484.68/484.95	c   472s|500000 |223677 |  3069k| 138M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  12k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
493.18/493.42	c   480s|510000 |227956 |  3130k| 141M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  12k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
501.48/501.79	c   488s|520000 |232013 |  3194k| 144M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  12k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
510.57/510.84	c   497s|530000 |236130 |  3270k| 146M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  12k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
520.18/520.44	c   506s|540000 |241300 |  3349k| 149M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  13k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
528.87/529.13	c   515s|550000 |245432 |  3419k| 152M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  13k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
537.16/537.45	c   523s|560000 |249425 |  3482k| 155M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  13k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
546.37/546.64	c   532s|570000 |254199 |  3545k| 158M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  13k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
554.96/555.21	c   540s|580000 |258252 |  3607k| 160M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  13k|  11k| 1.818989e-12 | 2.900000e+01 |    Inf 
563.05/563.33	c   548s|590000 |261753 |  3669k| 163M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  13k|  12k| 1.818989e-12 | 2.900000e+01 |    Inf 
571.15/571.50	c   556s|600000 |265290 |  3731k| 165M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  13k|  12k| 1.818989e-12 | 2.900000e+01 |    Inf 
579.35/579.66	c   564s|610000 |268890 |  3793k| 168M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  14k|  12k| 1.818989e-12 | 2.900000e+01 |    Inf 
587.55/587.83	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
587.55/587.83	c   572s|620000 |272452 |  3853k| 170M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  14k|  12k| 1.818989e-12 | 2.900000e+01 |    Inf 
595.74/596.07	c   580s|630000 |276230 |  3915k| 173M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  14k|  12k| 1.818989e-12 | 2.900000e+01 |    Inf 
603.84/604.17	c   588s|640000 |279808 |  3978k| 176M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  14k|  12k| 1.818989e-12 | 2.900000e+01 |    Inf 
611.94/612.26	c   596s|650000 |283148 |  4041k| 178M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  14k|  12k| 1.818989e-12 | 2.900000e+01 |    Inf 
615.23/615.58	o 28
615.23/615.58	c * 599s|654176 |282892 |  4068k| 177M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  14k|  12k| 1.818989e-12 | 2.800000e+01 |    Inf 
615.34/615.61	o 26
615.34/615.61	c * 599s|654178 |279476 |  4068k| 173M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  14k|  12k| 1.818989e-12 | 2.600000e+01 |    Inf 
615.34/615.64	o 24
615.34/615.64	c * 599s|654179 |275463 |  4068k| 168M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  14k|  12k| 1.818989e-12 | 2.400000e+01 |    Inf 
619.93/620.29	c   603s|660000 |277157 |  4105k| 169M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  14k|  12k| 1.818989e-12 | 2.400000e+01 |    Inf 
625.64/625.95	o 23
625.64/625.95	c * 609s|663954 |275995 |  4130k| 167M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  14k|  12k| 1.818989e-12 | 2.300000e+01 |    Inf 
632.93/633.27	c   616s|670000 |277720 |  4170k| 168M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  15k|  12k| 1.818989e-12 | 2.300000e+01 |    Inf 
641.03/641.31	c   624s|680000 |280982 |  4235k| 171M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  15k|  13k| 1.818989e-12 | 2.300000e+01 |    Inf 
648.92/649.21	c   632s|690000 |283546 |  4300k| 173M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  15k|  13k| 1.818989e-12 | 2.300000e+01 |    Inf 
656.92/657.24	c   639s|700000 |287041 |  4359k| 175M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  15k|  13k| 1.818989e-12 | 2.300000e+01 |    Inf 
664.62/664.90	c   647s|710000 |289903 |  4418k| 177M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  15k|  13k| 1.818989e-12 | 2.300000e+01 |    Inf 
672.32/672.69	c   654s|720000 |292835 |  4478k| 179M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  15k|  13k| 1.818989e-12 | 2.300000e+01 |    Inf 
680.01/680.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
680.01/680.34	c   662s|730000 |295335 |  4539k| 181M|  71 |   - | 190 |   8 |   8 |   0 |   0 |  20 |  15k|  13k| 1.818989e-12 | 2.300000e+01 |    Inf 
687.71/688.07	c   669s|740000 |297892 |  4599k| 183M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  15k|  13k| 1.818989e-12 | 2.300000e+01 |    Inf 
695.50/695.87	c   677s|750000 |300130 |  4663k| 185M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  16k|  13k| 1.818989e-12 | 2.300000e+01 |    Inf 
703.20/703.58	c   684s|760000 |302656 |  4725k| 187M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  16k|  13k| 1.818989e-12 | 2.300000e+01 |    Inf 
711.10/711.47	c   692s|770000 |305268 |  4788k| 189M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  16k|  13k| 1.818989e-12 | 2.300000e+01 |    Inf 
719.10/719.43	c   700s|780000 |308148 |  4851k| 191M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  16k|  14k| 1.818989e-12 | 2.300000e+01 |    Inf 
726.80/727.17	c   707s|790000 |310467 |  4913k| 193M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  16k|  14k| 1.818989e-12 | 2.300000e+01 |    Inf 
734.60/734.93	c   715s|800000 |312642 |  4976k| 195M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  16k|  14k| 1.818989e-12 | 2.300000e+01 |    Inf 
742.49/742.89	c   723s|810000 |315787 |  5039k| 197M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  16k|  14k| 1.818989e-12 | 2.300000e+01 |    Inf 
750.79/751.14	c   731s|820000 |319310 |  5102k| 199M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  16k|  14k| 1.818989e-12 | 2.300000e+01 |    Inf 
758.59/758.94	c   738s|830000 |322196 |  5165k| 201M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  17k|  14k| 1.818989e-12 | 2.300000e+01 |    Inf 
766.28/766.68	c   746s|840000 |324685 |  5228k| 203M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  17k|  14k| 1.818989e-12 | 2.300000e+01 |    Inf 
773.97/774.38	c   753s|850000 |326838 |  5292k| 205M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  17k|  14k| 1.818989e-12 | 2.300000e+01 |    Inf 
781.78/782.12	c   761s|860000 |329109 |  5356k| 207M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  17k|  14k| 1.818989e-12 | 2.300000e+01 |    Inf 
789.47/789.89	c   768s|870000 |331148 |  5420k| 208M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  17k|  15k| 1.818989e-12 | 2.300000e+01 |    Inf 
797.36/797.75	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
797.36/797.75	c   776s|880000 |333769 |  5485k| 210M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  17k|  15k| 1.818989e-12 | 2.300000e+01 |    Inf 
805.07/805.47	c   783s|890000 |335824 |  5549k| 212M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  17k|  15k| 1.818989e-12 | 2.300000e+01 |    Inf 
812.86/813.23	c   791s|900000 |337967 |  5613k| 214M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  17k|  15k| 1.818989e-12 | 2.300000e+01 |    Inf 
820.56/820.94	c   798s|910000 |339728 |  5677k| 216M|  71 |   - | 190 |   8 |   8 |   0 |   0 |  20 |  17k|  15k| 1.818989e-12 | 2.300000e+01 |    Inf 
828.36/828.77	c   806s|920000 |342165 |  5740k| 217M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  18k|  15k| 1.818989e-12 | 2.300000e+01 |    Inf 
836.05/836.45	c   814s|930000 |344338 |  5804k| 219M|  71 |   - | 190 |   8 |   7 |   0 |   0 |  20 |  18k|  15k| 1.818989e-12 | 2.300000e+01 |    Inf 
843.75/844.14	c   821s|940000 |346329 |  5868k| 221M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  18k|  15k| 1.818989e-12 | 2.300000e+01 |    Inf 
851.65/852.09	c   829s|950000 |348708 |  5932k| 223M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  18k|  15k| 1.818989e-12 | 2.300000e+01 |    Inf 
859.65/860.07	c   837s|960000 |351499 |  5996k| 225M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  18k|  15k| 1.818989e-12 | 2.300000e+01 |    Inf 
868.14/868.57	c   845s|970000 |355760 |  6058k| 228M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  18k|  16k| 1.818989e-12 | 2.300000e+01 |    Inf 
876.05/876.48	c   853s|980000 |358925 |  6119k| 230M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  18k|  16k| 1.818989e-12 | 2.300000e+01 |    Inf 
883.85/884.26	c   860s|990000 |361752 |  6181k| 232M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  18k|  16k| 1.818989e-12 | 2.300000e+01 |    Inf 
891.54/891.98	c   868s|  1000k|364020 |  6242k| 234M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  19k|  16k| 1.818989e-12 | 2.300000e+01 |    Inf 
896.04/896.49	o 21
896.04/896.49	c * 872s|  1005k|360286 |  6277k| 229M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  19k|  16k| 1.818989e-12 | 2.100000e+01 |    Inf 
899.54/899.94	c   875s|  1010k|361248 |  6304k| 230M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  19k|  16k| 1.818989e-12 | 2.100000e+01 |    Inf 
907.24/907.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
907.24/907.64	c   883s|  1020k|363529 |  6365k| 232M|  71 |   - | 190 |   8 |   8 |   0 |   0 |  20 |  19k|  16k| 1.818989e-12 | 2.100000e+01 |    Inf 
915.03/915.44	c   890s|  1030k|365867 |  6427k| 234M|  71 |   - | 190 |   8 |   8 |   0 |   0 |  20 |  19k|  16k| 1.818989e-12 | 2.100000e+01 |    Inf 
922.93/923.31	c   898s|  1040k|368557 |  6489k| 236M|  71 |   - | 190 |   8 |   7 |   0 |   0 |  20 |  19k|  16k| 1.818989e-12 | 2.100000e+01 |    Inf 
930.72/931.10	c   906s|  1050k|370938 |  6551k| 238M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  19k|  16k| 1.818989e-12 | 2.100000e+01 |    Inf 
938.43/938.84	c   913s|  1060k|373073 |  6613k| 240M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  19k|  16k| 1.818989e-12 | 2.100000e+01 |    Inf 
946.13/946.55	c   921s|  1070k|374936 |  6674k| 242M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  19k|  17k| 1.818989e-12 | 2.100000e+01 |    Inf 
953.91/954.38	c   928s|  1080k|376991 |  6736k| 244M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  20k|  17k| 1.818989e-12 | 2.100000e+01 |    Inf 
962.41/962.82	c   937s|  1090k|380719 |  6802k| 246M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  20k|  17k| 1.818989e-12 | 2.100000e+01 |    Inf 
970.41/970.88	c   944s|  1100k|383693 |  6867k| 248M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  20k|  17k| 1.818989e-12 | 2.100000e+01 |    Inf 
978.61/979.01	c   952s|  1110k|386697 |  6932k| 251M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  20k|  17k| 1.818989e-12 | 2.100000e+01 |    Inf 
986.50/986.99	c   960s|  1120k|389269 |  6997k| 253M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  20k|  17k| 1.818989e-12 | 2.100000e+01 |    Inf 
994.40/994.86	c   968s|  1130k|391725 |  7060k| 255M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  20k|  17k| 1.818989e-12 | 2.100000e+01 |    Inf 
1002.20/1002.67	c   975s|  1140k|394051 |  7124k| 257M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  20k|  17k| 1.818989e-12 | 2.100000e+01 |    Inf 
1009.90/1010.39	c   983s|  1150k|396156 |  7186k| 258M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  20k|  17k| 1.818989e-12 | 2.100000e+01 |    Inf 
1017.90/1018.33	c   991s|  1160k|398695 |  7250k| 260M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  21k|  17k| 1.818989e-12 | 2.100000e+01 |    Inf 
1025.69/1026.16	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1025.69/1026.16	c   998s|  1170k|400711 |  7314k| 262M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  21k|  18k| 1.818989e-12 | 2.100000e+01 |    Inf 
1033.59/1034.03	c  1006s|  1180k|402834 |  7378k| 264M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  21k|  18k| 1.818989e-12 | 2.100000e+01 |    Inf 
1041.29/1041.76	c  1013s|  1190k|404667 |  7442k| 266M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  21k|  18k| 1.818989e-12 | 2.100000e+01 |    Inf 
1049.28/1049.73	c  1021s|  1200k|407429 |  7506k| 268M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  21k|  18k| 1.818989e-12 | 2.100000e+01 |    Inf 
1056.98/1057.49	c  1029s|  1210k|409456 |  7570k| 270M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  21k|  18k| 1.818989e-12 | 2.100000e+01 |    Inf 
1064.97/1065.45	c  1036s|  1220k|411742 |  7636k| 271M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  21k|  18k| 1.818989e-12 | 2.100000e+01 |    Inf 
1072.87/1073.32	c  1044s|  1230k|414184 |  7699k| 273M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  21k|  18k| 1.818989e-12 | 2.100000e+01 |    Inf 
1080.57/1081.03	c  1052s|  1240k|416373 |  7763k| 275M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  22k|  18k| 1.818989e-12 | 2.100000e+01 |    Inf 
1088.37/1088.89	c  1059s|  1250k|418656 |  7826k| 277M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  22k|  18k| 1.818989e-12 | 2.100000e+01 |    Inf 
1096.26/1096.77	c  1067s|  1260k|420691 |  7891k| 279M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  22k|  18k| 1.818989e-12 | 2.100000e+01 |    Inf 
1104.06/1104.52	c  1074s|  1270k|423040 |  7954k| 281M|  71 |   - | 190 |   8 |   8 |   0 |   0 |  20 |  22k|  18k| 1.818989e-12 | 2.100000e+01 |    Inf 
1111.76/1112.30	c  1082s|  1280k|424776 |  8018k| 282M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  22k|  19k| 1.818989e-12 | 2.100000e+01 |    Inf 
1119.55/1120.09	c  1090s|  1290k|426825 |  8082k| 284M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  22k|  19k| 1.818989e-12 | 2.100000e+01 |    Inf 
1124.85/1125.35	o 19
1124.85/1125.35	c *1095s|  1296k|421145 |  8124k| 277M|  71 |   - | 190 |   8 |   0 | 190 |  22 |  20 |  22k|  19k| 1.818989e-12 | 1.900000e+01 |    Inf 
1130.55/1131.04	c  1100s|  1300k|421797 |  8146k| 277M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  22k|  19k| 1.818989e-12 | 1.900000e+01 |    Inf 
1138.25/1138.79	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1138.25/1138.79	c  1108s|  1310k|423239 |  8210k| 279M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  22k|  19k| 1.818989e-12 | 1.900000e+01 |    Inf 
1146.04/1146.58	c  1115s|  1320k|425224 |  8274k| 280M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  23k|  19k| 1.818989e-12 | 1.900000e+01 |    Inf 
1153.94/1154.42	c  1123s|  1330k|427176 |  8338k| 282M|  71 |   - | 190 |   8 |   8 |   0 |   0 |  20 |  23k|  19k| 1.818989e-12 | 1.900000e+01 |    Inf 
1161.74/1162.20	c  1130s|  1340k|428691 |  8402k| 284M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  23k|  19k| 1.818989e-12 | 1.900000e+01 |    Inf 
1169.44/1169.98	c  1138s|  1350k|430444 |  8466k| 285M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  23k|  19k| 1.818989e-12 | 1.900000e+01 |    Inf 
1177.23/1177.71	c  1145s|  1360k|432566 |  8530k| 287M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  23k|  19k| 1.818989e-12 | 1.900000e+01 |    Inf 
1184.93/1185.48	c  1153s|  1370k|433990 |  8594k| 289M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  23k|  19k| 1.818989e-12 | 1.900000e+01 |    Inf 
1193.03/1193.57	c  1161s|  1380k|436256 |  8660k| 291M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  23k|  19k| 1.818989e-12 | 1.900000e+01 |    Inf 
1200.92/1201.41	c  1169s|  1390k|438551 |  8725k| 292M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  23k|  20k| 1.818989e-12 | 1.900000e+01 |    Inf 
1208.72/1209.21	c  1176s|  1400k|440109 |  8790k| 294M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  23k|  20k| 1.818989e-12 | 1.900000e+01 |    Inf 
1216.42/1216.93	c  1184s|  1410k|441786 |  8853k| 296M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  24k|  20k| 1.818989e-12 | 1.900000e+01 |    Inf 
1224.11/1224.64	c  1191s|  1420k|443102 |  8917k| 297M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  24k|  20k| 1.818989e-12 | 1.900000e+01 |    Inf 
1231.81/1232.34	c  1199s|  1430k|444440 |  8980k| 299M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  24k|  20k| 1.818989e-12 | 1.900000e+01 |    Inf 
1239.71/1240.22	c  1206s|  1440k|446511 |  9043k| 300M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  24k|  20k| 1.818989e-12 | 1.900000e+01 |    Inf 
1247.60/1248.15	c  1214s|  1450k|449374 |  9105k| 303M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  24k|  20k| 1.818989e-12 | 1.900000e+01 |    Inf 
1255.81/1256.33	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1255.81/1256.33	c  1222s|  1460k|452301 |  9169k| 305M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  24k|  20k| 1.818989e-12 | 1.900000e+01 |    Inf 
1264.10/1264.66	c  1230s|  1470k|455392 |  9233k| 307M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  24k|  20k| 1.818989e-12 | 1.900000e+01 |    Inf 
1272.09/1272.61	c  1238s|  1480k|458100 |  9296k| 309M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  24k|  20k| 1.818989e-12 | 1.900000e+01 |    Inf 
1279.80/1280.30	c  1245s|  1490k|460309 |  9359k| 311M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  25k|  20k| 1.818989e-12 | 1.900000e+01 |    Inf 
1287.49/1288.08	c  1253s|  1500k|462551 |  9422k| 313M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  25k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1295.39/1295.94	c  1261s|  1510k|464708 |  9485k| 314M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  25k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1303.38/1303.98	c  1268s|  1520k|467977 |  9545k| 317M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  25k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1311.78/1312.31	c  1277s|  1530k|471209 |  9610k| 319M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  25k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1319.67/1320.20	c  1284s|  1540k|473745 |  9674k| 321M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  25k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1327.57/1328.16	c  1292s|  1550k|476746 |  9736k| 323M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  25k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1335.66/1336.25	c  1300s|  1560k|479383 |  9798k| 325M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  25k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1343.45/1344.01	c  1307s|  1570k|481715 |  9860k| 327M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  25k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1351.05/1351.69	c  1315s|  1580k|484529 |  9920k| 329M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  25k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1358.75/1359.33	c  1322s|  1590k|486811 |  9980k| 330M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  26k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1366.44/1367.00	c  1330s|  1600k|488892 | 10041k| 332M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  26k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1374.04/1374.63	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1374.04/1374.63	c  1337s|  1610k|491146 | 10102k| 334M|  71 |   - | 190 |   8 |   8 |   0 |   0 |  20 |  26k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1381.64/1382.25	c  1345s|  1620k|493098 | 10163k| 335M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  26k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1389.44/1390.00	c  1352s|  1630k|495066 | 10226k| 337M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  26k|  21k| 1.818989e-12 | 1.900000e+01 |    Inf 
1397.14/1397.77	c  1360s|  1640k|497449 | 10287k| 339M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  26k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1405.43/1406.04	c  1368s|  1650k|501710 | 10345k| 341M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  26k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1413.23/1413.81	c  1375s|  1660k|504909 | 10404k| 343M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  26k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1421.02/1421.60	c  1383s|  1670k|508083 | 10462k| 345M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  26k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1428.63/1429.25	c  1390s|  1680k|511036 | 10520k| 347M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  26k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1436.63/1437.27	c  1398s|  1690k|514217 | 10580k| 350M|  71 |   6 | 190 |   8 |   8 | 190 |  22 |  20 |  27k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1444.32/1444.95	c  1406s|  1700k|517016 | 10638k| 352M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  27k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1452.22/1452.86	c  1413s|  1710k|519836 | 10698k| 354M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  27k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1460.52/1461.11	c  1421s|  1720k|523263 | 10758k| 356M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  27k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1468.32/1468.99	c  1429s|  1730k|526888 | 10816k| 358M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  27k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1476.21/1476.86	c  1437s|  1740k|530219 | 10874k| 360M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  27k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1483.91/1484.56	c  1444s|  1750k|533372 | 10930k| 362M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  27k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1491.81/1492.45	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1491.81/1492.45	c  1452s|  1760k|536351 | 10989k| 364M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  27k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1499.50/1500.16	c  1459s|  1770k|538988 | 11047k| 366M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  27k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1507.10/1507.72	c  1467s|  1780k|541593 | 11103k| 368M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  28k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1514.99/1515.61	c  1474s|  1790k|544590 | 11162k| 370M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  28k|  22k| 1.818989e-12 | 1.900000e+01 |    Inf 
1522.70/1523.35	c  1482s|  1800k|547890 | 11218k| 373M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  28k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1530.49/1531.17	c  1490s|  1810k|550948 | 11274k| 375M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  28k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1538.09/1538.79	c  1497s|  1820k|553280 | 11336k| 377M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  28k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1546.28/1546.99	c  1505s|  1830k|556238 | 11407k| 379M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  28k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1554.89/1555.54	c  1513s|  1840k|559867 | 11480k| 381M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  28k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1563.08/1563.71	c  1521s|  1850k|563396 | 11548k| 383M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  28k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1570.68/1571.40	c  1529s|  1860k|566106 | 11605k| 385M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  29k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1578.18/1578.87	c  1536s|  1870k|568696 | 11663k| 387M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  29k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1585.87/1586.56	c  1543s|  1880k|571111 | 11722k| 389M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  29k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1593.37/1594.06	c  1551s|  1890k|573267 | 11780k| 390M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  29k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1600.87/1601.60	c  1558s|  1900k|575433 | 11839k| 392M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  29k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1608.77/1609.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1608.77/1609.41	c  1566s|  1910k|578088 | 11898k| 394M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  29k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1616.26/1616.91	c  1573s|  1920k|580472 | 11956k| 396M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  29k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1623.86/1624.58	c  1580s|  1930k|582621 | 12015k| 398M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  29k|  23k| 1.818989e-12 | 1.900000e+01 |    Inf 
1631.45/1632.19	c  1588s|  1940k|584444 | 12074k| 399M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  30k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1638.95/1639.64	c  1595s|  1950k|586404 | 12132k| 401M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  30k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1646.45/1647.15	c  1602s|  1960k|588491 | 12191k| 403M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  30k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1654.05/1654.71	c  1610s|  1970k|590429 | 12250k| 404M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  30k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1661.55/1662.24	c  1617s|  1980k|592140 | 12310k| 406M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  30k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1669.15/1669.86	c  1624s|  1990k|594173 | 12368k| 407M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  30k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1676.84/1677.52	c  1632s|  2000k|596229 | 12427k| 409M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  30k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1685.04/1685.77	c  1640s|  2010k|599823 | 12487k| 411M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  30k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1692.73/1693.45	c  1647s|  2020k|603083 | 12544k| 414M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  30k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1700.43/1701.10	c  1655s|  2030k|606134 | 12602k| 416M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  31k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1708.42/1709.17	c  1663s|  2040k|609566 | 12660k| 418M|  71 |   - | 190 |   8 |   8 |   0 |   0 |  20 |  31k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1716.12/1716.81	c  1670s|  2050k|612126 | 12718k| 420M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  31k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1723.71/1724.45	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1723.71/1724.45	c  1678s|  2060k|614708 | 12777k| 422M|  71 |   - | 190 |   8 |   9 |   0 |   0 |  20 |  31k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1731.42/1732.15	c  1685s|  2070k|617481 | 12834k| 424M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  31k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1739.12/1739.82	c  1693s|  2080k|620020 | 12892k| 426M|  71 |   - | 190 |   8 |   8 | 190 |  22 |  20 |  31k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1746.71/1747.46	c  1700s|  2090k|622588 | 12950k| 428M|  71 |   - | 190 |   8 |   8 |   0 |   0 |  20 |  31k|  24k| 1.818989e-12 | 1.900000e+01 |    Inf 
1754.31/1755.03	c  1707s|  2100k|624493 | 13009k| 430M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  31k|  25k| 1.818989e-12 | 1.900000e+01 |    Inf 
1761.91/1762.61	c  1715s|  2110k|626722 | 13067k| 431M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  32k|  25k| 1.818989e-12 | 1.900000e+01 |    Inf 
1769.61/1770.34	c  1722s|  2120k|629567 | 13124k| 433M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  32k|  25k| 1.818989e-12 | 1.900000e+01 |    Inf 
1777.10/1777.85	c  1730s|  2130k|631776 | 13182k| 435M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  32k|  25k| 1.818989e-12 | 1.900000e+01 |    Inf 
1784.60/1785.39	c  1737s|  2140k|633730 | 13241k| 437M|  71 |   8 | 190 |   8 |   8 | 190 |  22 |  20 |  32k|  25k| 1.818989e-12 | 1.900000e+01 |    Inf 
1792.49/1793.26	c  1745s|  2150k|636639 | 13300k| 439M|  71 |   7 | 190 |   8 |   8 | 190 |  22 |  20 |  32k|  25k| 1.818989e-12 | 1.900000e+01 |    Inf 
1800.10/1800.81	c 
1800.10/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.81	c Solving Time (sec) : 1751.86
1800.10/1800.81	c Solving Nodes      : 2159746
1800.10/1800.81	c Primal Bound       : +1.90000000000036e+01 (59 solutions)
1800.10/1800.81	c Dual Bound         : +1.81898940354586e-12
1800.10/1800.81	c Gap                : infinite
1800.10/1800.81	c NODE         2159746
1800.10/1800.81	c DUAL BOUND   1.81899e-12
1800.10/1800.81	c PRIMAL BOUND 19
1800.10/1800.81	c GAP          1e+20
1800.10/1800.81	s SATISFIABLE
1800.10/1800.81	v -x198 -x197 x196 x195 x194 -x193 x192 x191 -x190 -x189 -x188 x187 x186 -x185 -x184 x183 -x182 x181 x180 -x179 -x178 -x177 -x176 
1800.10/1800.81	v x175 -x174 x173 x172 -x171 -x170 x169 -x168 x167 x166 x165 x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 
1800.10/1800.81	v -x152 x151 x150 x149 -x148 -x147 x146 -x145 x144 -x143 x142 x141 x140 -x139 x138 x137 -x136 -x135 x134 x133 x132 x131 x130 
1800.10/1800.81	v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 x114 x113 -x112 -x111 -x110 -x109 
1800.10/1800.81	v -x108 -x107 x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 
1800.10/1800.81	v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 
1800.10/1800.81	v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 
1800.10/1800.81	v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 
1800.10/1800.81	v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.10/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.81	c Solving Time       :    1751.86
1800.10/1800.81	c Original Problem   :
1800.10/1800.81	c   Problem name     : HOME/instance-1869481-1245174110.opb
1800.10/1800.81	c   Variables        : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.81	c   Constraints      : 16 initial, 16 maximal
1800.10/1800.81	c Presolved Problem  :
1800.10/1800.81	c   Problem name     : t_HOME/instance-1869481-1245174110.opb
1800.10/1800.81	c   Variables        : 190 (190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.81	c   Constraints      : 8 initial, 8 maximal
1800.10/1800.81	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.81	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.81	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.81	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.81	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.81	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.81	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.10/1800.81	c   linear           :       0.00          0          8          0          0          0          8          0          0
1800.10/1800.81	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.81	c   root node        :          -         48          -          -         48          -          -          -          -
1800.10/1800.81	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.81	c   integral         :          0          0          0    1433835          0         77       5627          0          0    2856602
1800.10/1800.81	c   linear           :          8          6    3430966          3          0     198021    1454230          8          0          0
1800.10/1800.81	c   logicor          :          0+         0      13833          0          0       1286      10145          0          0          0
1800.10/1800.81	c   countsols        :          0          0          0         44          0          0          0          0          0          0
1800.10/1800.81	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.81	c   integral         :      24.38       0.00       0.00      24.38       0.00
1800.10/1800.81	c   linear           :     307.20       0.01     307.19       0.00       0.00
1800.10/1800.81	c   logicor          :       0.14       0.00       0.14       0.00       0.00
1800.10/1800.81	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.81	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.81	c   rootredcost      :       1.39         57          0         48
1800.10/1800.81	c   pseudoobj        :      30.43    3438906       8053      21604
1800.10/1800.81	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.81	c   propagation      :      18.07     206074      32721      39088       72.2          0        0.0          -
1800.10/1800.81	c   infeasible LP    :       4.18     565293          2          2       55.5          0        0.0          0
1800.10/1800.81	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.81	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.81	c   pseudo solution  :       0.00          1          1          1       38.0          0        0.0          -
1800.10/1800.81	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.10/1800.81	c   applied locally  :          -          -          -      32724       72.1          -          -          -
1800.10/1800.81	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.81	c   cut pool         :       0.00          5          -          -          3          -    (maximal pool size: 56)
1800.10/1800.81	c   redcost          :      45.84    2085633          0   13606036          0          0
1800.10/1800.81	c   impliedbounds    :       0.00          6          0          0          0          0
1800.10/1800.81	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.81	c   gomory           :       0.01          6          0          0          0          0
1800.10/1800.81	c   strongcg         :       0.00          6          0          0         27          0
1800.10/1800.81	c   cmir             :       0.05          6          0          0         11          0
1800.10/1800.81	c   flowcover        :       0.05          6          0          0         18          0
1800.10/1800.81	c   clique           :       0.00          1          0          0          0          0
1800.10/1800.81	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.81	c   mcf              :       0.00          1          0          0          0          0
1800.10/1800.81	c Pricers            :       Time      Calls       Vars
1800.10/1800.81	c   problem variables:       0.00          0          0
1800.10/1800.81	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.81	c   relpscost        :      23.20    1433791         77       5627          0          0    2856602
1800.10/1800.81	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.81	c   inference        :       0.00          0          0          0          0          0          0
1800.10/1800.81	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.81	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.81	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.81	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.81	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.81	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.81	c   LP solutions     :       0.39          -         44
1800.10/1800.81	c   pseudo solutions :       0.00          -          0
1800.10/1800.81	c   feaspump         :       0.11          2          0
1800.10/1800.81	c   oneopt           :       1.12         57          1
1800.10/1800.81	c   crossover        :      31.31         18          0
1800.10/1800.81	c   rootsoldiving    :       7.95        821          1
1800.10/1800.81	c   linesearchdiving :      18.75       3470          0
1800.10/1800.81	c   fracdiving       :      28.32       3470          5
1800.10/1800.81	c   guideddiving     :      21.72       3470          3
1800.10/1800.81	c   coefdiving       :      39.04       3470          1
1800.10/1800.81	c   pscostdiving     :      26.73       3471          0
1800.10/1800.81	c   veclendiving     :      19.84       3471          2
1800.10/1800.81	c   objpscostdiving  :       9.45       1736          1
1800.10/1800.81	c   simplerounding   :       0.97          0          0
1800.10/1800.81	c   rounding         :       1.87      17377          0
1800.10/1800.81	c   shifting         :      19.73      17898          1
1800.10/1800.81	c   intshifting      :       0.08          0          0
1800.10/1800.81	c   fixandinfer      :       0.00          0          0
1800.10/1800.81	c   intdiving        :       0.00          0          0
1800.10/1800.81	c   actconsdiving    :       0.00          0          0
1800.10/1800.81	c   octane           :       0.00          0          0
1800.10/1800.81	c   rens             :       0.05          1          0
1800.10/1800.81	c   rins             :       0.00          0          0
1800.10/1800.81	c   localbranching   :       0.00          0          0
1800.10/1800.81	c   mutation         :       0.00          0          0
1800.10/1800.81	c   dins             :       0.00          0          0
1800.10/1800.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.81	c   primal LP        :       0.00          0          0       0.00          -
1800.10/1800.81	c   dual LP          :     949.90    2052662   12359629       6.02   13011.51
1800.10/1800.81	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.81	c   diving/probing LP:     121.66     417959    1000617       2.39    8224.70
1800.10/1800.81	c   strong branching :       8.79      25408     109523       4.31   12459.95
1800.10/1800.81	c     (at root node) :          -         20        578      28.90          -
1800.10/1800.81	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.81	c B&B Tree           :
1800.10/1800.81	c   number of runs   :          1
1800.10/1800.81	c   nodes            :    2159746
1800.10/1800.81	c   nodes (total)    :    2159746
1800.10/1800.81	c   nodes left       :     639653
1800.10/1800.81	c   max depth        :         71
1800.10/1800.81	c   max depth (total):         71
1800.10/1800.81	c   backtracks       :     334283 (15.5%)
1800.10/1800.81	c   delayed cutoffs  :       4893
1800.10/1800.81	c   repropagations   :      11109 (36726 domain reductions, 4893 cutoffs)
1800.10/1800.81	c   avg switch length:       5.44
1800.10/1800.81	c   switching time   :      66.40
1800.10/1800.81	c Solution           :
1800.10/1800.81	c   Solutions found  :         59 (57 improvements)
1800.10/1800.81	c   Primal Bound     : +1.90000000000036e+01   (in run 1, after 1296629 nodes, 1094.58 seconds, depth 44, found by <relaxation>)
1800.10/1800.81	c   Dual Bound       : +1.81898940354586e-12
1800.10/1800.81	c   Gap              :   infinite
1800.10/1800.81	c   Root Dual Bound  : +0.00000000000000e+00

Verifier Data 

OK	19

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869481-1245174110/watcher-1869481-1245174110 -o /tmp/evaluation-result-1869481-1245174110/solver-1869481-1245174110 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869481-1245174110.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12660
/proc/meminfo: memFree=1675472/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=7616 CPUtime=0
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 667 0 0 0 0 0 0 0 18 0 1 0 70119845 7798784 651 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/12660/statm: 1904 662 353 1256 0 643 0

[startup+0.100779 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12660
/proc/meminfo: memFree=1675472/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=15492 CPUtime=0.09
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 3086 0 0 0 8 1 0 0 18 0 1 0 70119845 15863808 2716 1992294400 4194304 9342243 548682068736 18446744073709551615 5592661 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 3873 2716 666 1256 0 2612 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15492

[startup+0.202787 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12660
/proc/meminfo: memFree=1675472/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=20504 CPUtime=0.19
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 4214 0 0 0 18 1 0 0 19 0 1 0 70119845 20996096 3843 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 5126 3854 666 1256 0 3865 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20504

[startup+0.302795 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12660
/proc/meminfo: memFree=1675472/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=16732 CPUtime=0.3
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 4916 0 0 0 28 2 0 0 20 0 1 0 70119845 17133568 2879 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 4183 2879 691 1256 0 2922 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16732

[startup+0.702832 s]
/proc/loadavg: 1.00 0.99 0.98 3/64 12660
/proc/meminfo: memFree=1675472/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=16732 CPUtime=0.69
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 5026 0 0 0 67 2 0 0 24 0 1 0 70119845 17133568 2989 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 4183 2989 693 1256 0 2922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16732

[startup+1.5019 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1666056/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=17052 CPUtime=1.49
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 5111 0 0 0 145 4 0 0 25 0 1 0 70119845 17461248 3074 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 4263 3074 699 1256 0 3002 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17052

[startup+3.10104 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1665864/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=17768 CPUtime=3.09
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 7215 0 0 0 300 9 0 0 25 0 1 0 70119845 18194432 3207 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 4442 3207 699 1256 0 3181 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17768

[startup+6.30132 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1657544/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=27636 CPUtime=6.28
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 9255 0 0 0 607 21 0 0 25 0 1 0 70119845 28299264 5247 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 6909 5247 700 1256 0 5648 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27636

[startup+12.7019 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1662736/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=21340 CPUtime=12.68
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 9809 0 0 0 1232 36 0 0 25 0 1 0 70119845 21852160 3915 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 5335 3915 700 1256 0 4074 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21340

[startup+25.502 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1654224/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=27904 CPUtime=25.47
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 12564 0 0 0 2480 67 0 0 25 0 1 0 70119845 28573696 6009 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 6976 6009 700 1256 0 5715 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 27904

[startup+51.1013 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1645968/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=38200 CPUtime=51.07
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 16595 0 0 0 4973 134 0 0 25 0 1 0 70119845 39116800 8634 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 9550 8634 700 1256 0 8289 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38200

[startup+102.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1623760/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=57236 CPUtime=102.23
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 23992 0 0 0 9953 270 0 0 25 0 1 0 70119845 58609664 13569 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 14309 13569 700 1256 0 13048 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 57236

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1605840/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=78236 CPUtime=162.19
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 34551 0 0 0 15783 436 0 0 25 0 1 0 70119845 80113664 18165 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 19559 18165 700 1256 0 18298 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 78236

[startup+222.306 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1578064/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=105476 CPUtime=222.18
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 43130 0 0 0 21622 596 0 0 25 0 1 0 70119845 108007424 24954 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 26369 24954 700 1256 0 25108 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 105476

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1554192/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=127608 CPUtime=282.15
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 52368 0 0 0 27450 765 0 0 25 0 1 0 70119845 130670592 30842 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 31902 30842 700 1256 0 30641 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 127608

[startup+342.303 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1536144/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=145252 CPUtime=342.13
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 56883 0 0 0 33294 919 0 0 25 0 1 0 70119845 148738048 35357 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 36313 35357 700 1256 0 35052 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 145252

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1526992/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=153796 CPUtime=402.11
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 61316 0 0 0 39131 1080 0 0 25 0 1 0 70119845 157487104 37629 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 38449 37629 700 1256 0 37188 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 153796

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1516624/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=169684 CPUtime=462.09
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 63890 0 0 0 44967 1242 0 0 25 0 1 0 70119845 173756416 40203 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 42421 40203 700 1256 0 41160 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 169684

[startup+522.303 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1495376/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=191192 CPUtime=522.07
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 70647 0 0 0 50801 1406 0 0 25 0 1 0 70119845 195780608 45746 1992294400 4194304 9342243 548682068736 18446744073709551615 5813914 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 47798 45746 700 1256 0 46537 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 191192

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1475024/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=210124 CPUtime=582.04
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 75464 0 0 0 56647 1557 0 0 25 0 1 0 70119845 215166976 50562 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 52531 50562 700 1256 0 51270 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 210124

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12661
/proc/meminfo: memFree=1464528/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=218828 CPUtime=642.03
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 80088 0 0 0 62477 1726 0 0 25 0 1 0 70119845 224079872 53111 1992294400 4194304 9342243 548682068736 18446744073709551615 6951874 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 54707 53111 700 1256 0 53446 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 218828

[startup+702.303 s]

################
# More data... #
################

/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 104061 0 0 0 103329 2858 0 0 25 0 1 0 70119845 317456384 76342 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 77504 76342 700 1256 0 76243 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 310016

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12663
/proc/meminfo: memFree=1358992/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=322840 CPUtime=1121.85
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 107100 0 0 0 109165 3020 0 0 25 0 1 0 70119845 330588160 79380 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 80710 79380 700 1256 0 79449 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 322840

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1351496/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=329756 CPUtime=1181.82
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 110046 0 0 0 114995 3187 0 0 25 0 1 0 70119845 337670144 81199 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 82439 81199 700 1256 0 81178 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 329756

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1340488/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=341524 CPUtime=1241.81
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 112862 0 0 0 120834 3347 0 0 25 0 1 0 70119845 349720576 84015 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 85381 84015 700 1256 0 84120 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 341524

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1323912/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=364796 CPUtime=1301.78
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 116897 0 0 0 126679 3499 0 0 25 0 1 0 70119845 373551104 88049 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 91199 88049 700 1256 0 89938 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 364796

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1307912/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=381264 CPUtime=1361.75
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 120878 0 0 0 132520 3655 0 0 25 0 1 0 70119845 390414336 92030 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 95316 92030 700 1256 0 94055 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 381264

[startup+1422.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1296072/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=392700 CPUtime=1421.73
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 123793 0 0 0 138357 3816 0 0 25 0 1 0 70119845 402124800 94945 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 98175 94945 700 1256 0 96914 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 392700

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1278032/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=410168 CPUtime=1481.71
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 128281 0 0 0 144196 3975 0 0 25 0 1 0 70119845 420012032 99433 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 102542 99433 700 1256 0 101281 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 410168

[startup+1542.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1261904/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=426264 CPUtime=1541.69
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 132377 0 0 0 150035 4134 0 0 25 0 1 0 70119845 436494336 103526 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 106566 103526 700 1256 0 105305 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 426264

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1246736/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=441428 CPUtime=1601.66
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 136060 0 0 0 155875 4291 0 0 25 0 1 0 70119845 452022272 107208 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 110357 107208 700 1256 0 109096 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 441428

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1230544/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=456892 CPUtime=1661.64
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 140082 0 0 0 161710 4454 0 0 25 0 1 0 70119845 467857408 111230 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 114223 111230 700 1256 0 112962 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 456892

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1215376/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=472644 CPUtime=1721.62
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 143859 0 0 0 167547 4615 0 0 25 0 1 0 70119845 483987456 115007 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 118161 115007 700 1256 0 116900 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 472644

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1198480/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=488372 CPUtime=1781.6
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 148051 0 0 0 173384 4776 0 0 25 0 1 0 70119845 500092928 119199 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 122093 119199 700 1256 0 120832 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 488372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1195792/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=490804 CPUtime=1800.1
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 148718 0 0 0 175186 4824 0 0 25 0 1 0 70119845 502583296 119866 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12660/statm: 122701 119866 700 1256 0 121440 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 490804

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -12660

Solver just ended. Dumping a history of the last processes samples

[startup+1801.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 12669
/proc/meminfo: memFree=1195792/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=490804 CPUtime=1800.79
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 148719 0 0 0 175255 4824 0 0 25 0 1 0 70119845 502583296 119867 1992294400 4194304 9342243 548682068736 18446744073709551615 5854331 0 0 4096 0 0 0 0 17 0 0 0
/proc/12660/statm: 122701 119867 701 1256 0 121440 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (KiB) 490804

[startup+1802.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/66 12670
/proc/meminfo: memFree=1195720/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=490804 CPUtime=1801.59
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 148719 0 0 0 175335 4824 0 0 25 0 1 0 70119845 502583296 119867 1992294400 4194304 9342243 548682068736 18446744073709551615 5854325 0 0 4096 0 0 0 0 17 0 0 0
/proc/12660/statm: 122701 119867 701 1256 0 121440 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 490804

[startup+1802.7 s]
/proc/loadavg: 1.00 0.99 0.98 2/66 12670
/proc/meminfo: memFree=1195720/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=490804 CPUtime=1801.99
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 148719 0 0 0 175375 4824 0 0 25 0 1 0 70119845 502583296 119867 1992294400 4194304 9342243 548682068736 18446744073709551615 4743939 0 0 4096 0 0 0 0 17 0 0 0
/proc/12660/statm: 122701 119867 701 1256 0 121440 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 490804

[startup+1802.8 s]
/proc/loadavg: 1.00 0.99 0.98 2/66 12670
/proc/meminfo: memFree=1195720/2055920 swapFree=4192956/4192956
[pid=12660] ppid=12658 vsize=106324 CPUtime=1802.09
/proc/12660/stat : 12660 (pbscip.linux.x8) R 12658 12660 12308 0 -1 4194304 148719 0 0 0 175380 4829 0 0 25 0 1 0 70119845 108875776 25887 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 0 0 0
/proc/12660/statm: 26581 25887 2725 1256 0 25320 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 106324

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.82
CPU time (s): 1802.11
CPU user time (s): 1753.8
CPU system time (s): 48.3107
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 490804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.8
system time used= 48.3107
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148719
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 5877

runsolver used 1.9527 second user time and 4.63129 second system time

The end

Launcher Data 

Begin job on node41 at 2009-06-16 19:41:50
IDJOB=1869481
IDBENCH=2895
IDSOLVER=684
FILE ID=node41/1869481-1245174110
PBS_JOBID= 9363885
Free space on /tmp= 65960 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869481-1245174110/watcher-1869481-1245174110 -o /tmp/evaluation-result-1869481-1245174110/solver-1869481-1245174110 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869481-1245174110.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb
RANDOM SEED=1858463627

node41.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1676016 kB
Buffers:         48852 kB
Cached:         250824 kB
SwapCached:          0 kB
Active:         170448 kB
Inactive:       142092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1676016 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           11744 kB
Writeback:           0 kB
Mapped:          22716 kB
Slab:            53484 kB
Committed_AS:    53816 kB
PageTables:       1360 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65952 MiB
End job on node41 at 2009-06-16 20:11:54