Trace number 1869544

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
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT2 388.691 388.876

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_1.opb
MD5SUMfb11ff2665aef67f0842a460a5ea3114
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark26.176
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
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 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 851
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3063
Number of bits of the biggest sum of numbers12
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 SoPlex 1.4.1
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-1869544-1245177761.opb>
0.00/0.01	c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 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, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01	c (round 2) 4 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c presolving (3 rounds):
0.00/0.02	c  4 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  0 implications, 0 cliques
0.00/0.02	c presolved problem has 90 variables (90 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02	c       4 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c OPT-LIN
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = c 1620
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = c 1791
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = c 10000
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving problem
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     0 |    34 | 325k|   0 |   4 |  90 |   4 |   4 |  90 |   4 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |    65 | 376k|   0 |   7 |  90 |   4 |   4 |  90 |   8 |   4 |   0 |   0 | 4.547474e-13 |      --      |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |    68 | 420k|   0 |   9 |  90 |   4 |   4 |  90 |  14 |  10 |   0 |   0 | 4.547474e-13 |      --      |    Inf 
0.00/0.04	c   0.0s|     1 |     0 |    82 | 452k|   0 |  10 |  90 |   4 |   4 |  90 |  20 |  16 |   0 |   0 | 4.547474e-13 |      --      |    Inf 
0.00/0.05	c   0.0s|     1 |     0 |    90 | 466k|   0 |  11 |  90 |   4 |   4 |  90 |  23 |  19 |   0 |   0 | 4.547474e-13 |      --      |    Inf 
0.05/0.07	c   0.1s|     1 |     0 |   110 | 504k|   0 |  14 |  90 |   4 |   4 |  90 |  27 |  23 |   0 |   0 | 4.547474e-13 |      --      |    Inf 
0.05/0.08	c   0.1s|     1 |     0 |   115 | 536k|   0 |  16 |  90 |   4 |   4 |  90 |  31 |  27 |   0 |   0 | 4.547474e-13 |      --      |    Inf 
0.09/0.17	c   0.1s|     1 |     2 |   115 | 537k|   0 |  16 |  90 |   4 |   4 |  90 |  31 |  27 |   0 |  16 | 4.547474e-13 |      --      |    Inf 
0.19/0.26	o 381
0.19/0.26	c f 0.2s|    50 |    42 |   323 | 567k|  23 |   - |  90 |   4 |   3 |  90 |  18 |  27 |   0 | 202 | 4.547474e-13 | 3.810000e+02 |    Inf 
0.19/0.28	o 379
0.19/0.28	c * 0.2s|    71 |    61 |   409 | 566k|  23 |   - |  90 |   4 |   0 |  90 |  18 |  27 |   0 | 246 | 4.547474e-13 | 3.790000e+02 |    Inf 
0.19/0.28	o 378
0.19/0.28	c * 0.2s|    73 |    61 |   411 | 568k|  23 |   - |  90 |   4 |   0 |  90 |  18 |  27 |   0 | 248 | 4.547474e-13 | 3.780000e+02 |    Inf 
0.29/0.33	o 374
0.29/0.33	c l 0.3s|   144 |   128 |   786 | 629k|  27 |   - |  90 |  13 |   0 |  90 |  18 |  27 |   9 | 316 | 4.547474e-13 | 3.740000e+02 |    Inf 
0.29/0.33	o 289
0.29/0.33	c g 0.3s|   157 |   135 |   835 | 637k|  27 |   - |  90 |  13 |   3 |  90 |  18 |  27 |   9 | 320 | 4.547474e-13 | 2.890000e+02 |    Inf 
0.29/0.35	o 288
0.29/0.35	c p 0.3s|   187 |   160 |   912 | 645k|  29 |   - |  90 |  13 |   4 |  90 |  18 |  27 |   9 | 349 | 4.547474e-13 | 2.880000e+02 |    Inf 
0.29/0.38	o 150
0.29/0.38	c g 0.3s|   251 |   200 |  1244 | 670k|  29 |   - |  90 |  15 |   6 |  90 |  18 |  27 |  11 | 353 | 4.547474e-13 | 1.500000e+02 |    Inf 
0.39/0.41	o 138
0.39/0.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.41	c c 0.4s|   295 |   238 |  1533 | 689k|  29 |   - |  90 |  20 |   5 |  90 |  18 |  27 |  17 | 389 | 4.547474e-13 | 1.380000e+02 |    Inf 
0.39/0.43	o 137
0.39/0.43	c p 0.4s|   318 |   253 |  1584 | 698k|  29 |   - |  90 |  20 |   3 |  90 |  18 |  27 |  18 | 425 | 4.547474e-13 | 1.370000e+02 |    Inf 
0.39/0.43	o 136
0.39/0.43	c * 0.4s|   329 |   260 |  1611 | 704k|  29 |   - |  90 |  20 |   0 |  90 |  18 |  27 |  18 | 437 | 4.547474e-13 | 1.360000e+02 |    Inf 
0.39/0.44	o 134
0.39/0.44	c * 0.4s|   334 |   261 |  1617 | 705k|  32 |   - |  90 |  20 |   0 |  90 |  18 |  27 |  18 | 450 | 4.547474e-13 | 1.340000e+02 |    Inf 
0.39/0.44	o 133
0.39/0.44	c * 0.4s|   340 |   262 |  1646 | 710k|  32 |   - |  90 |  20 |   1 |  90 |  18 |  27 |  18 | 458 | 4.547474e-13 | 1.330000e+02 |    Inf 
0.39/0.44	o 131
0.39/0.44	c * 0.4s|   342 |   262 |  1648 | 711k|  32 |   - |  90 |  20 |   1 |  90 |  18 |  27 |  18 | 461 | 4.547474e-13 | 1.310000e+02 |    Inf 
0.39/0.45	o 129
0.39/0.45	c * 0.4s|   346 |   261 |  1653 | 713k|  32 |   - |  90 |  20 |   1 |  90 |  18 |  27 |  18 | 469 | 4.547474e-13 | 1.290000e+02 |    Inf 
0.39/0.45	o 127
0.39/0.45	c * 0.4s|   347 |   257 |  1655 | 712k|  32 |   - |  90 |  20 |   1 |  90 |  18 |  27 |  18 | 469 | 4.547474e-13 | 1.270000e+02 |    Inf 
0.39/0.46	o 126
0.39/0.46	c f 0.4s|   378 |   275 |  1729 | 722k|  32 |   - |  90 |  18 |   2 |  90 |  18 |  27 |  19 | 477 | 4.547474e-13 | 1.260000e+02 |    Inf 
0.39/0.49	o 125
0.39/0.49	c l 0.4s|   435 |   315 |  1885 | 742k|  32 |   - |  90 |  19 |   2 |  90 |  18 |  27 |  23 | 496 | 4.547474e-13 | 1.250000e+02 |    Inf 
0.39/0.50	o 114
0.39/0.50	c g 0.5s|   466 |   319 |  1944 | 744k|  32 |   - |  90 |  19 |   4 |  90 |  18 |  27 |  24 | 498 | 4.547474e-13 | 1.140000e+02 |    Inf 
0.49/0.50	o 112
0.49/0.50	c * 0.5s|   474 |   323 |  1962 | 745k|  32 |   - |  90 |  19 |   4 |  90 |  18 |  27 |  24 | 500 | 4.547474e-13 | 1.120000e+02 |    Inf 
0.49/0.51	o 109
0.49/0.51	c c 0.5s|   492 |   333 |  1998 | 752k|  32 |   - |  90 |  19 |   2 |  90 |  18 |  27 |  24 | 510 | 4.547474e-13 | 1.090000e+02 |    Inf 
0.49/0.53	o 107
0.49/0.53	c * 0.5s|   529 |   353 |  2111 | 761k|  33 |   - |  90 |  19 |   1 |  90 |  18 |  27 |  24 | 531 | 4.547474e-13 | 1.070000e+02 |    Inf 
0.49/0.53	o 105
0.49/0.53	c * 0.5s|   530 |   351 |  2112 | 761k|  33 |   - |  90 |  19 |   1 |  90 |  18 |  27 |  24 | 531 | 4.547474e-13 | 1.050000e+02 |    Inf 
0.49/0.53	o 104
0.49/0.53	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.53	c * 0.5s|   544 |   362 |  2143 | 768k|  33 |   - |  90 |  19 |   4 |  90 |  18 |  27 |  24 | 539 | 4.547474e-13 | 1.040000e+02 |    Inf 
0.49/0.55	o 102
0.49/0.55	c f 0.5s|   574 |   378 |  2220 | 777k|  33 |   - |  90 |  19 |   2 |  90 |  18 |  27 |  24 | 549 | 4.547474e-13 | 1.020000e+02 |    Inf 
0.49/0.56	o 100
0.49/0.56	c * 0.5s|   621 |   403 |  2314 | 793k|  33 |   - |  90 |  19 |   3 |  90 |  18 |  27 |  27 | 570 | 4.547474e-13 | 1.000000e+02 |    Inf 
0.49/0.56	o 98
0.49/0.56	c * 0.5s|   622 |   398 |  2315 | 791k|  33 |   - |  90 |  19 |   3 |  90 |  18 |  27 |  27 | 570 | 4.547474e-13 | 9.800000e+01 |    Inf 
0.49/0.57	o 97
0.49/0.57	c * 0.5s|   634 |   407 |  2344 | 798k|  33 |   - |  90 |  19 |   5 |  90 |  18 |  27 |  27 | 577 | 4.547474e-13 | 9.700000e+01 |    Inf 
0.49/0.57	o 95
0.49/0.57	c * 0.5s|   636 |   402 |  2344 | 797k|  33 |   - |  90 |  19 |   5 |  90 |  18 |  27 |  27 | 577 | 4.547474e-13 | 9.500000e+01 |    Inf 
0.49/0.57	o 93
0.49/0.57	c * 0.5s|   637 |   398 |  2345 | 795k|  33 |   - |  90 |  19 |   5 |  90 |  18 |  27 |  27 | 577 | 4.547474e-13 | 9.300000e+01 |    Inf 
0.49/0.58	o 91
0.49/0.58	c * 0.5s|   649 |   403 |  2369 | 797k|  33 |   - |  90 |  19 |   1 |  90 |  18 |  27 |  27 | 583 | 4.547474e-13 | 9.100000e+01 |    Inf 
0.49/0.58	o 89
0.49/0.58	c * 0.5s|   652 |   401 |  2372 | 797k|  33 |   - |  90 |  19 |   1 |  90 |  18 |  27 |  27 | 584 | 4.547474e-13 | 8.900000e+01 |    Inf 
0.49/0.58	o 87
0.49/0.58	c * 0.5s|   653 |   396 |  2372 | 796k|  33 |   - |  90 |  19 |   1 |  90 |  18 |  27 |  27 | 584 | 4.547474e-13 | 8.700000e+01 |    Inf 
0.49/0.59	o 85
0.49/0.59	c * 0.5s|   685 |   418 |  2457 | 808k|  33 |   - |  90 |  19 |   3 |  90 |  18 |  27 |  27 | 591 | 4.547474e-13 | 8.500000e+01 |    Inf 
0.49/0.59	o 81
0.49/0.59	c s 0.5s|   686 |   408 |  2458 | 805k|  33 |   - |  90 |  19 |   6 |  90 |  18 |  27 |  27 | 591 | 4.547474e-13 | 8.100000e+01 |    Inf 
0.59/0.62	o 75
0.59/0.62	c c 0.6s|   738 |   449 |  2828 | 830k|  33 |   - |  90 |  23 |   3 |  90 |  18 |  27 |  34 | 597 | 4.547474e-13 | 7.500000e+01 |    Inf 
0.59/0.65	o 35
0.59/0.65	c g 0.6s|   785 |   386 |  3047 | 798k|  33 |   - |  90 |  24 |   9 |  90 |  18 |  27 |  41 | 601 | 4.547474e-13 | 3.500000e+01 |    Inf 
0.59/0.66	o 25
0.59/0.66	c c 0.6s|   795 |   349 |  3082 | 784k|  33 |   - |  90 |  23 |   7 |  90 |  18 |  27 |  41 | 601 | 4.547474e-13 | 2.500000e+01 |    Inf 
0.59/0.68	o 24
0.59/0.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.68	c f 0.6s|   833 |   375 |  3298 | 799k|  33 |   - |  90 |  39 |   0 |  90 |  18 |  27 |  58 | 603 | 4.547474e-13 | 2.400000e+01 |    Inf 
0.59/0.68	o 20
0.59/0.68	c l 0.6s|   833 |   356 |  3298 | 794k|  33 |   - |  90 |  40 |   0 |  90 |  18 |  27 |  59 | 603 | 4.547474e-13 | 2.000000e+01 |    Inf 
0.79/0.89	o 16
0.79/0.89	c C 0.8s|  1033 |   455 |  4389 | 854k|  33 |   4 |  90 |  75 |   7 |  90 |  18 |  27 |  96 | 606 | 4.547474e-13 | 1.600000e+01 |    Inf 
0.89/0.90	o 15
0.89/0.90	c * 0.8s|  1040 |   453 |  4462 | 857k|  33 |   - |  90 |  78 |   8 |  90 |  18 |  27 | 106 | 611 | 4.547474e-13 | 1.500000e+01 |    Inf 
0.89/0.91	o 13
0.89/0.91	c * 0.8s|  1041 |   438 |  4462 | 850k|  33 |   - |  90 |  78 |   8 |  90 |  18 |  27 | 106 | 613 | 4.547474e-13 | 1.300000e+01 |    Inf 
1.39/1.49	o 12
1.39/1.49	c f 1.4s|  2355 |  1002 |  8986 |1199k|  33 |   - |  90 | 258 |  14 |  90 |  18 |  27 | 295 | 629 | 4.547474e-13 | 1.200000e+01 |    Inf 
1.89/1.93	o 11
1.89/1.93	c * 1.8s|  3506 |  1395 | 12272 |1462k|  33 |   - |  90 | 403 |   0 |  90 |  18 |  27 | 456 | 632 | 4.547474e-13 | 1.100000e+01 |    Inf 
2.39/2.46	o 7
2.39/2.46	c s 2.2s|  4807 |  1652 | 15483 |1659k|  33 |   - |  90 | 514 |  14 |  90 |  18 |  27 | 578 | 632 | 4.547474e-13 | 7.000000e+00 |    Inf 
2.39/2.46	o 3
2.39/2.46	c s 2.2s|  4809 |  1580 | 15487 |1607k|  33 |   - |  90 | 504 | 194 |  90 |  18 |  27 | 578 | 633 | 4.547474e-13 | 3.000000e+00 |    Inf 
3.99/4.07	c   3.8s| 10000 |  2450 | 26097 |2272k|  33 |   4 |  90 | 918 |   7 |  90 |  18 |  27 | 995 | 645 | 4.547474e-13 | 3.000000e+00 |    Inf 
7.25/7.40	c   6.8s| 20000 |  2353 | 43888 |2722k|  33 |   - |  90 |1713 |   7 |  90 |  18 |  27 |1834 | 656 | 4.547474e-13 | 3.000000e+00 |    Inf 
10.65/10.74	c   9.9s| 30000 |  2245 | 61427 |2924k|  33 |   - |  90 |2160 |  54 |   0 |   0 |  27 |2483 | 669 | 4.547474e-13 | 3.000000e+00 |    Inf 
14.04/14.14	c  13.1s| 40000 |  2111 | 80302 |2880k|  33 |   4 |  90 |1908 |  36 |  90 |  18 |  27 |3026 | 733 | 4.547474e-13 | 3.000000e+00 |    Inf 
16.94/17.07	c  15.9s| 50000 |  2182 |101507 |3128k|  33 |   4 |  90 |2295 |   8 |  90 |  18 |  27 |3524 | 747 | 4.547474e-13 | 3.000000e+00 |    Inf 
19.94/20.05	c  18.7s| 60000 |  2140 |122821 |3217k|  33 |   4 |  90 |2586 | 110 |  90 |  18 |  27 |3953 | 784 | 4.547474e-13 | 3.000000e+00 |    Inf 
23.14/23.21	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.14/23.21	c  21.6s| 70000 |  2722 |143607 |3690k|  33 |   - |  90 |2914 | 471 |   0 |   0 |  27 |4421 | 824 | 4.547474e-13 | 3.000000e+00 |    Inf 
26.43/26.55	c  24.8s| 80000 |  3713 |164427 |4137k|  33 |   4 |  90 |2494 |   7 |  90 |  18 |  27 |4928 | 832 | 4.547474e-13 | 3.000000e+00 |    Inf 
29.64/29.70	c  27.8s| 90000 |  3899 |184663 |4187k|  33 |   - |  90 |1878 |   5 |   0 |   0 |  27 |5450 | 872 | 4.547474e-13 | 3.000000e+00 |    Inf 
32.53/32.61	c  30.5s|100000 |  3553 |205119 |3971k|  33 |   4 |  90 |1552 | 125 |  90 |  18 |  27 |5940 | 917 | 4.547474e-13 | 3.000000e+00 |    Inf 
35.23/35.36	c  33.0s|110000 |  3766 |224467 |4180k|  33 |   4 |  90 |1569 |   8 |  90 |  18 |  27 |6393 | 955 | 4.547474e-13 | 3.000000e+00 |    Inf 
38.03/38.10	c  35.6s|120000 |  3116 |244619 |3647k|  33 |   - |  90 |1152 |   3 |   0 |   0 |  27 |6908 | 993 | 4.547474e-13 | 3.000000e+00 |    Inf 
40.53/40.68	c  38.0s|130000 |  2385 |265097 |3044k|  33 |   - |  90 | 991 | 104 |   0 |   0 |  27 |7340 |1024 | 4.547474e-13 | 3.000000e+00 |    Inf 
43.03/43.16	c  40.3s|140000 |  2293 |285119 |2825k|  33 |   4 |  90 | 974 |   9 |  90 |  18 |  27 |7850 |1135 | 4.547474e-13 | 3.000000e+00 |    Inf 
45.52/45.68	c  42.6s|150000 |  2487 |306117 |2923k|  33 |   - |  90 |1060 |   4 |   0 |   0 |  27 |8442 |1152 | 4.547474e-13 | 3.000000e+00 |    Inf 
48.13/48.22	c  45.0s|160000 |  2934 |324720 |3321k|  33 |   - |  90 |1128 |   8 |   0 |   0 |  27 |8998 |1169 | 4.547474e-13 | 3.000000e+00 |    Inf 
50.62/50.76	c  47.4s|170000 |  3221 |343715 |3567k|  33 |   - |  90 |1076 | 103 |   0 |   0 |  27 |9497 |1194 | 4.547474e-13 | 3.000000e+00 |    Inf 
53.12/53.29	c  49.7s|180000 |  2645 |362300 |3208k|  33 |   4 |  90 |1030 |   6 |  90 |  18 |  27 |  10k|1209 | 4.547474e-13 | 3.000000e+00 |    Inf 
55.72/55.81	c  52.0s|190000 |  2922 |381514 |3500k|  33 |   4 |  90 |1132 |   9 |  90 |  18 |  27 |  10k|1232 | 4.547474e-13 | 3.000000e+00 |    Inf 
58.12/58.27	c  54.3s|200000 |  2826 |401116 |3434k|  33 |   - |  90 | 892 |  12 |  90 |  18 |  27 |  11k|1238 | 4.547474e-13 | 3.000000e+00 |    Inf 
60.52/60.68	c  56.5s|210000 |  2703 |420089 |3250k|  33 |   4 |  90 | 831 |   7 |  90 |  18 |  27 |  11k|1262 | 4.547474e-13 | 3.000000e+00 |    Inf 
62.91/63.07	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
62.91/63.07	c  58.7s|220000 |  2675 |438957 |3265k|  33 |   - |  90 | 909 |  24 |  90 |  18 |  27 |  12k|1282 | 4.547474e-13 | 3.000000e+00 |    Inf 
65.32/65.49	c  60.9s|230000 |  2403 |457895 |2826k|  33 |   4 |  90 | 707 |   7 |  90 |  18 |  27 |  13k|1317 | 4.547474e-13 | 3.000000e+00 |    Inf 
67.71/67.88	c  63.1s|240000 |  2758 |477908 |3136k|  33 |   - |  90 | 670 |   5 |  90 |  18 |  27 |  13k|1354 | 4.547474e-13 | 3.000000e+00 |    Inf 
70.12/70.27	c  65.3s|250000 |  1993 |497350 |2442k|  33 |   4 |  90 | 572 |  22 |  90 |  18 |  27 |  14k|1386 | 4.547474e-13 | 3.000000e+00 |    Inf 
72.52/72.64	c  67.5s|260000 |  2114 |517166 |2598k|  33 |   - |  90 | 620 |  24 |  90 |  18 |  27 |  14k|1472 | 4.547474e-13 | 3.000000e+00 |    Inf 
74.92/75.02	c  69.7s|270000 |  2165 |536792 |2659k|  33 |   4 |  90 | 754 |  17 |  90 |  18 |  27 |  15k|1537 | 4.547474e-13 | 3.000000e+00 |    Inf 
76.92/77.03	o 2
76.92/77.03	c *71.5s|278313 |  1950 |552941 |2428k|  33 |   - |  90 | 593 |   0 |  90 |  18 |  27 |  15k|1616 | 4.547474e-13 | 2.000000e+00 |    Inf 
77.31/77.42	c  71.9s|280000 |  1860 |556201 |2332k|  33 |   4 |  90 | 516 |   5 |  90 |  18 |  27 |  16k|1627 | 4.547474e-13 | 2.000000e+00 |    Inf 
79.61/79.79	c  74.0s|290000 |  1905 |574623 |2468k|  33 |   - |  90 | 616 |  15 |  90 |  18 |  27 |  16k|1630 | 4.547474e-13 | 2.000000e+00 |    Inf 
81.91/82.03	c  76.1s|300000 |  1623 |594023 |2235k|  33 |   4 |  90 | 509 |  13 |  90 |  18 |  27 |  17k|1630 | 4.547474e-13 | 2.000000e+00 |    Inf 
84.21/84.40	c  78.3s|310000 |  2163 |614428 |2595k|  33 |   - |  90 | 693 |  11 |  90 |  18 |  27 |  18k|1631 | 4.547474e-13 | 2.000000e+00 |    Inf 
86.61/86.78	c  80.5s|320000 |  2660 |633233 |3067k|  33 |   4 |  90 | 794 |  21 |  90 |  18 |  27 |  18k|1632 | 4.547474e-13 | 2.000000e+00 |    Inf 
89.01/89.19	c  82.7s|330000 |  2369 |651579 |2989k|  33 |   4 |  90 | 749 |  19 |  90 |  18 |  27 |  19k|1636 | 4.547474e-13 | 2.000000e+00 |    Inf 
91.51/91.64	c  85.0s|340000 |  1836 |670248 |2691k|  33 |   - |  90 | 827 |  79 |  90 |  18 |  27 |  20k|1637 | 4.547474e-13 | 2.000000e+00 |    Inf 
93.91/94.09	c  87.2s|350000 |  1499 |689559 |2335k|  33 |   4 |  90 | 865 |  28 |  90 |  18 |  27 |  21k|1639 | 4.547474e-13 | 2.000000e+00 |    Inf 
96.30/96.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
96.30/96.41	c  89.3s|360000 |  1343 |709025 |2214k|  33 |   - |  90 | 730 |   6 |  90 |  18 |  27 |  22k|1644 | 4.547474e-13 | 2.000000e+00 |    Inf 
98.60/98.75	c  91.5s|370000 |  1237 |728183 |2091k|  33 |   - |  90 | 583 |  80 |   0 |   0 |  27 |  23k|1646 | 4.547474e-13 | 2.000000e+00 |    Inf 
100.91/101.10	c  93.6s|380000 |  1207 |747715 |2136k|  33 |   - |  90 | 693 |   4 |  90 |  18 |  27 |  24k|1652 | 4.547474e-13 | 2.000000e+00 |    Inf 
103.31/103.48	c  95.8s|390000 |  1076 |766638 |2147k|  33 |   - |  90 | 931 |  75 |   0 |   0 |  27 |  25k|1654 | 4.547474e-13 | 2.000000e+00 |    Inf 
105.70/105.87	c  98.0s|400000 |  1032 |786667 |2057k|  33 |   - |  90 | 711 |  19 |  90 |  18 |  27 |  25k|1658 | 4.547474e-13 | 2.000000e+00 |    Inf 
108.01/108.17	c   100s|410000 |  1251 |806482 |2273k|  33 |   4 |  90 | 702 |   5 |  90 |  18 |  27 |  26k|1660 | 4.547474e-13 | 2.000000e+00 |    Inf 
110.31/110.47	c   102s|420000 |  1004 |825962 |2074k|  33 |   4 |  90 | 693 |  18 |  90 |  18 |  27 |  27k|1661 | 4.547474e-13 | 2.000000e+00 |    Inf 
112.60/112.76	c   104s|430000 |  1281 |846178 |2239k|  33 |   4 |  90 | 748 |  16 |  90 |  18 |  27 |  27k|1666 | 4.547474e-13 | 2.000000e+00 |    Inf 
115.00/115.12	c   107s|440000 |  1662 |866622 |2560k|  33 |   4 |  90 | 701 |  31 |  90 |  18 |  27 |  28k|1668 | 4.547474e-13 | 2.000000e+00 |    Inf 
117.30/117.41	c   109s|450000 |  1636 |886313 |2628k|  33 |   4 |  90 | 701 |   5 |  90 |  18 |  27 |  29k|1668 | 4.547474e-13 | 2.000000e+00 |    Inf 
119.50/119.67	c   111s|460000 |   841 |905810 |1906k|  33 |   4 |  90 | 548 |  24 |  90 |  18 |  27 |  30k|1669 | 4.547474e-13 | 2.000000e+00 |    Inf 
121.80/121.99	c   113s|470000 |  2673 |927256 |2840k|  33 |   - |  90 | 498 |   5 |  90 |  18 |  27 |  30k|1672 | 4.547474e-13 | 2.000000e+00 |    Inf 
124.10/124.25	c   115s|480000 |  3363 |947323 |3413k|  33 |   - |  90 | 631 |  19 |  90 |  18 |  27 |  31k|1675 | 4.547474e-13 | 2.000000e+00 |    Inf 
126.80/126.91	c   117s|490000 |  3598 |966872 |3692k|  33 |   4 |  90 | 554 |  33 |  90 |  18 |  27 |  32k|1677 | 4.547474e-13 | 2.000000e+00 |    Inf 
129.00/129.19	c   119s|500000 |  3788 |986310 |3967k|  33 |   - |  90 | 648 |  11 |  90 |  18 |  27 |  32k|1679 | 4.547474e-13 | 2.000000e+00 |    Inf 
131.29/131.50	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
131.29/131.50	c   121s|510000 |  3980 |  1005k|4237k|  33 |   4 |  90 | 731 |  17 |  90 |  18 |  27 |  33k|1683 | 4.547474e-13 | 2.000000e+00 |    Inf 
133.60/133.75	c   124s|520000 |  3777 |  1025k|4229k|  33 |   - |  90 | 632 |   6 |   0 |   0 |  27 |  34k|1684 | 4.547474e-13 | 2.000000e+00 |    Inf 
135.90/136.06	c   126s|530000 |  3812 |  1045k|4309k|  33 |   4 |  90 | 523 |   8 |  90 |  18 |  27 |  35k|1686 | 4.547474e-13 | 2.000000e+00 |    Inf 
138.09/138.29	c   128s|540000 |  3797 |  1064k|4403k|  33 |   4 |  90 | 576 |  15 |  90 |  18 |  27 |  35k|1686 | 4.547474e-13 | 2.000000e+00 |    Inf 
140.39/140.55	c   130s|550000 |  3432 |  1084k|4216k|  33 |   - |  90 | 471 |   4 |  90 |  18 |  27 |  36k|1686 | 4.547474e-13 | 2.000000e+00 |    Inf 
142.59/142.76	c   132s|560000 |  2902 |  1103k|3931k|  33 |   4 |  90 | 591 |   4 |  90 |  18 |  27 |  37k|1687 | 4.547474e-13 | 2.000000e+00 |    Inf 
144.89/145.06	c   134s|570000 |  1885 |  1122k|3094k|  33 |   - |  90 | 480 |  49 |   0 |   0 |  27 |  37k|1691 | 4.547474e-13 | 2.000000e+00 |    Inf 
147.19/147.31	c   136s|580000 |   783 |  1141k|1858k|  33 |   4 |  90 | 474 |  28 |  90 |  18 |  27 |  38k|1692 | 4.547474e-13 | 2.000000e+00 |    Inf 
149.29/149.48	c   138s|590000 |  1217 |  1161k|2217k|  33 |   - |  90 | 560 |   6 |  90 |  18 |  27 |  38k|1693 | 4.547474e-13 | 2.000000e+00 |    Inf 
151.60/151.71	c   140s|600000 |  1116 |  1180k|2092k|  33 |   4 |  90 | 538 |   5 |  90 |  18 |  27 |  39k|1694 | 4.547474e-13 | 2.000000e+00 |    Inf 
153.79/153.97	c   142s|610000 |   871 |  1200k|1956k|  33 |   - |  90 | 499 |   8 |  90 |  18 |  27 |  40k|1696 | 4.547474e-13 | 2.000000e+00 |    Inf 
155.99/156.17	c   144s|620000 |  1505 |  1219k|2295k|  33 |   - |  90 | 580 |   7 |   0 |   0 |  27 |  41k|1700 | 4.547474e-13 | 2.000000e+00 |    Inf 
158.29/158.41	c   146s|630000 |  2191 |  1237k|2837k|  33 |   - |  90 | 695 |  10 |   0 |   0 |  27 |  41k|1702 | 4.547474e-13 | 2.000000e+00 |    Inf 
160.49/160.64	c   148s|640000 |  2523 |  1256k|3179k|  33 |   - |  90 | 779 |   8 |   0 |   0 |  27 |  42k|1703 | 4.547474e-13 | 2.000000e+00 |    Inf 
162.78/162.92	c   150s|650000 |  2390 |  1275k|3195k|  33 |   4 |  90 | 690 |   5 |  90 |  18 |  27 |  43k|1707 | 4.547474e-13 | 2.000000e+00 |    Inf 
164.98/165.14	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
164.98/165.14	c   152s|660000 |  3042 |  1295k|3617k|  33 |   4 |  90 | 604 |   5 |  90 |  18 |  27 |  44k|1707 | 4.547474e-13 | 2.000000e+00 |    Inf 
167.18/167.35	c   154s|670000 |  3117 |  1314k|3774k|  33 |   - |  90 | 576 |  15 |   0 |   0 |  27 |  44k|1707 | 4.547474e-13 | 2.000000e+00 |    Inf 
169.49/169.64	c   156s|680000 |  3139 |  1332k|3874k|  33 |   4 |  90 | 519 |   4 |  90 |  18 |  27 |  45k|1707 | 4.547474e-13 | 2.000000e+00 |    Inf 
171.68/171.87	c   158s|690000 |  2809 |  1351k|3695k|  33 |   - |  90 | 402 |   4 |  90 |  18 |  27 |  46k|1709 | 4.547474e-13 | 2.000000e+00 |    Inf 
173.88/174.08	c   160s|700000 |  2388 |  1370k|3453k|  33 |   4 |  90 | 451 |   5 |  90 |  18 |  27 |  46k|1709 | 4.547474e-13 | 2.000000e+00 |    Inf 
176.18/176.33	c   163s|710000 |  1997 |  1388k|3200k|  33 |   4 |  90 | 446 |  12 |  90 |  18 |  27 |  47k|1712 | 4.547474e-13 | 2.000000e+00 |    Inf 
178.38/178.58	c   165s|720000 |  2057 |  1407k|3151k|  33 |   - |  90 | 475 |  15 |   0 |   0 |  27 |  48k|1715 | 4.547474e-13 | 2.000000e+00 |    Inf 
180.58/180.78	c   167s|730000 |  2262 |  1426k|3403k|  33 |   4 |  90 | 524 |  10 |  90 |  18 |  27 |  49k|1717 | 4.547474e-13 | 2.000000e+00 |    Inf 
182.78/182.99	c   169s|740000 |  2137 |  1445k|3347k|  33 |   - |  90 | 514 |   6 |   0 |   0 |  27 |  49k|1718 | 4.547474e-13 | 2.000000e+00 |    Inf 
184.98/185.15	c   171s|750000 |  2156 |  1464k|3450k|  33 |   - |  90 | 513 |  17 |   0 |   0 |  27 |  50k|1719 | 4.547474e-13 | 2.000000e+00 |    Inf 
187.28/187.42	c   173s|760000 |   637 |  1482k|1777k|  33 |   4 |  90 | 360 |   4 |  90 |  18 |  27 |  51k|1721 | 4.547474e-13 | 2.000000e+00 |    Inf 
189.38/189.59	c   175s|770000 |   655 |  1500k|1829k|  33 |   4 |  90 | 364 |  31 |  90 |  18 |  27 |  51k|1722 | 4.547474e-13 | 2.000000e+00 |    Inf 
191.58/191.78	c   177s|780000 |  1147 |  1520k|2054k|  33 |   - |  90 | 424 |  35 |  90 |  18 |  27 |  52k|1722 | 4.547474e-13 | 2.000000e+00 |    Inf 
193.88/194.00	c   179s|790000 |  1143 |  1539k|2243k|  33 |   4 |  90 | 453 |  36 |  90 |  18 |  27 |  53k|1723 | 4.547474e-13 | 2.000000e+00 |    Inf 
196.08/196.26	c   181s|800000 |   685 |  1557k|1941k|  33 |   - |  90 | 654 |  11 |  90 |  18 |  27 |  54k|1725 | 4.547474e-13 | 2.000000e+00 |    Inf 
198.37/198.52	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
198.37/198.52	c   183s|810000 |   549 |  1576k|1751k|  33 |   4 |  90 | 454 |  86 |  90 |  18 |  27 |  55k|1728 | 4.547474e-13 | 2.000000e+00 |    Inf 
200.47/200.69	c   185s|820000 |   436 |  1595k|1674k|  33 |   4 |  90 | 433 |   7 |  90 |  18 |  27 |  55k|1731 | 4.547474e-13 | 2.000000e+00 |    Inf 
202.67/202.86	c   187s|830000 |  1072 |  1613k|2211k|  33 |   4 |  90 | 639 |   5 |  90 |  18 |  27 |  56k|1735 | 4.547474e-13 | 2.000000e+00 |    Inf 
204.87/205.09	c   189s|840000 |   447 |  1632k|1694k|  33 |   4 |  90 | 471 |   4 |  90 |  18 |  27 |  57k|1737 | 4.547474e-13 | 2.000000e+00 |    Inf 
207.07/207.26	c   191s|850000 |   870 |  1650k|1846k|  33 |   - |  90 | 390 |   4 |   0 |   0 |  27 |  58k|1739 | 4.547474e-13 | 2.000000e+00 |    Inf 
209.27/209.44	c   193s|860000 |  2568 |  1670k|2813k|  33 |   - |  90 | 528 |  46 |  90 |  18 |  27 |  58k|1741 | 4.547474e-13 | 2.000000e+00 |    Inf 
211.47/211.62	c   195s|870000 |  3637 |  1689k|3502k|  33 |   4 |  90 | 570 |   4 |  90 |  18 |  27 |  59k|1744 | 4.547474e-13 | 2.000000e+00 |    Inf 
213.67/213.87	c   197s|880000 |  4063 |  1707k|3886k|  33 |   4 |  90 | 505 |  24 |  90 |  18 |  27 |  60k|1746 | 4.547474e-13 | 2.000000e+00 |    Inf 
215.87/216.07	c   199s|890000 |  5269 |  1727k|4644k|  33 |   4 |  90 | 654 |   4 |  90 |  18 |  27 |  61k|1750 | 4.547474e-13 | 2.000000e+00 |    Inf 
218.07/218.25	c   201s|900000 |  6157 |  1746k|5236k|  33 |   - |  90 | 677 |  24 |  90 |  18 |  27 |  61k|1754 | 4.547474e-13 | 2.000000e+00 |    Inf 
220.26/220.47	c   203s|910000 |  6887 |  1765k|5736k|  33 |   - |  90 | 601 | 106 |   0 |   0 |  27 |  62k|1758 | 4.547474e-13 | 2.000000e+00 |    Inf 
222.46/222.70	c   205s|920000 |  7237 |  1784k|6118k|  33 |   4 |  90 | 702 |  22 |  90 |  18 |  27 |  63k|1760 | 4.547474e-13 | 2.000000e+00 |    Inf 
224.76/224.94	c   207s|930000 |  7584 |  1802k|6493k|  33 |   - |  90 | 801 |  17 |  90 |  18 |  27 |  63k|1760 | 4.547474e-13 | 2.000000e+00 |    Inf 
227.06/227.22	c   209s|940000 |  7801 |  1820k|6728k|  33 |   - |  90 | 689 |   7 |  90 |  18 |  27 |  64k|1762 | 4.547474e-13 | 2.000000e+00 |    Inf 
229.27/229.48	c   211s|950000 |  8106 |  1839k|7031k|  33 |   4 |  90 | 680 |  23 |  90 |  18 |  27 |  65k|1765 | 4.547474e-13 | 2.000000e+00 |    Inf 
231.56/231.76	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
231.56/231.76	c   213s|960000 |  8114 |  1857k|7181k|  33 |   4 |  90 | 675 |   6 |  90 |  18 |  27 |  66k|1765 | 4.547474e-13 | 2.000000e+00 |    Inf 
233.86/234.05	c   216s|970000 |  8260 |  1876k|7394k|  33 |   4 |  90 | 686 |   9 |  90 |  18 |  27 |  67k|1766 | 4.547474e-13 | 2.000000e+00 |    Inf 
236.16/236.34	c   218s|980000 |  8021 |  1894k|7362k|  33 |   4 |  90 | 563 |   5 |  90 |  18 |  27 |  67k|1772 | 4.547474e-13 | 2.000000e+00 |    Inf 
238.46/238.62	c   220s|990000 |  7571 |  1913k|7261k|  33 |   4 |  90 | 636 |  12 |  90 |  18 |  27 |  68k|1774 | 4.547474e-13 | 2.000000e+00 |    Inf 
240.77/240.92	c   222s|  1000k|  7247 |  1931k|7182k|  33 |   4 |  90 | 676 |   8 |  90 |  18 |  27 |  69k|1775 | 4.547474e-13 | 2.000000e+00 |    Inf 
242.97/243.14	c   224s|  1010k|  7208 |  1950k|7273k|  33 |   - |  90 | 757 |  23 |   0 |   0 |  27 |  70k|1776 | 4.547474e-13 | 2.000000e+00 |    Inf 
245.16/245.39	c   226s|  1020k|  7046 |  1968k|7282k|  33 |   - |  90 | 794 |   3 |   0 |   0 |  27 |  70k|1781 | 4.547474e-13 | 2.000000e+00 |    Inf 
247.46/247.66	c   228s|  1030k|  7868 |  1987k|7802k|  33 |   - |  90 | 935 |   7 |   0 |   0 |  27 |  71k|1782 | 4.547474e-13 | 2.000000e+00 |    Inf 
249.66/249.87	c   230s|  1040k|  8754 |  2005k|8323k|  33 |   - |  90 | 732 |  23 |  90 |  18 |  27 |  72k|1783 | 4.547474e-13 | 2.000000e+00 |    Inf 
251.86/252.09	c   232s|  1050k|  9268 |  2023k|8785k|  33 |   - |  90 | 807 |  44 |  90 |  18 |  27 |  72k|1783 | 4.547474e-13 | 2.000000e+00 |    Inf 
254.16/254.33	c   234s|  1060k|  9444 |  2042k|8997k|  33 |   4 |  90 | 702 |   9 |  90 |  18 |  27 |  73k|1788 | 4.547474e-13 | 2.000000e+00 |    Inf 
256.36/256.55	c   236s|  1070k|  9047 |  2060k|8906k|  33 |   - |  90 | 638 |   5 |   0 |   0 |  27 |  73k|1788 | 4.547474e-13 | 2.000000e+00 |    Inf 
258.65/258.81	c   238s|  1080k|  8585 |  2078k|8716k|  33 |   - |  90 | 672 |   4 |  90 |  18 |  27 |  74k|1788 | 4.547474e-13 | 2.000000e+00 |    Inf 
260.86/261.10	c   240s|  1090k|  8185 |  2096k|8534k|  33 |   4 |  90 | 651 |   5 |  90 |  18 |  27 |  75k|1790 | 4.547474e-13 | 2.000000e+00 |    Inf 
263.15/263.39	c   242s|  1100k|  7700 |  2115k|8304k|  33 |   4 |  90 | 708 |   7 |  90 |  18 |  27 |  76k|1794 | 4.547474e-13 | 2.000000e+00 |    Inf 
265.55/265.71	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
265.55/265.71	c   245s|  1110k|  7219 |  2132k|7999k|  33 |   - |  90 | 615 |  10 |  90 |  18 |  27 |  77k|1796 | 4.547474e-13 | 2.000000e+00 |    Inf 
267.75/267.91	c   247s|  1120k|  7811 |  2151k|8449k|  33 |   - |  90 | 704 |   5 |  90 |  18 |  27 |  77k|1796 | 4.547474e-13 | 2.000000e+00 |    Inf 
270.05/270.23	c   249s|  1130k|  7001 |  2170k|7971k|  33 |   4 |  90 | 671 |  12 |  90 |  18 |  27 |  78k|1799 | 4.547474e-13 | 2.000000e+00 |    Inf 
272.35/272.59	c   251s|  1140k|  6399 |  2188k|7610k|  33 |   - |  90 | 696 |   4 |  90 |  18 |  27 |  79k|1800 | 4.547474e-13 | 2.000000e+00 |    Inf 
274.64/274.88	c   253s|  1150k|  6468 |  2207k|7739k|  33 |   - |  90 | 818 |  15 |   0 |   0 |  27 |  80k|1800 | 4.547474e-13 | 2.000000e+00 |    Inf 
276.95/277.13	c   255s|  1160k|  6394 |  2226k|7746k|  33 |   4 |  90 | 887 |  19 |  90 |  18 |  27 |  80k|1800 | 4.547474e-13 | 2.000000e+00 |    Inf 
279.35/279.57	c   257s|  1170k|  5341 |  2243k|6974k|  33 |   - |  90 | 658 |  12 |   0 |   0 |  27 |  81k|1802 | 4.547474e-13 | 2.000000e+00 |    Inf 
281.74/281.97	c   259s|  1180k|  4411 |  2261k|6241k|  33 |   - |  90 | 654 |   6 |  90 |  18 |  27 |  82k|1804 | 4.547474e-13 | 2.000000e+00 |    Inf 
284.05/284.26	c   262s|  1190k|  4019 |  2279k|5920k|  33 |   4 |  90 | 784 |  18 |  90 |  18 |  27 |  83k|1805 | 4.547474e-13 | 2.000000e+00 |    Inf 
286.44/286.64	c   264s|  1200k|  2962 |  2297k|4922k|  33 |   - |  90 | 745 |  37 |  90 |  18 |  27 |  84k|1806 | 4.547474e-13 | 2.000000e+00 |    Inf 
288.84/289.01	c   266s|  1210k|  2183 |  2315k|4201k|  33 |   - |  90 | 843 |   4 |  90 |  18 |  27 |  84k|1807 | 4.547474e-13 | 2.000000e+00 |    Inf 
291.24/291.42	c   268s|  1220k|  1735 |  2334k|3675k|  33 |   - |  90 | 847 |  30 |  90 |  18 |  27 |  85k|1809 | 4.547474e-13 | 2.000000e+00 |    Inf 
293.55/293.75	c   270s|  1230k|  1725 |  2352k|3524k|  33 |   4 |  90 | 915 |  44 |  90 |  18 |  27 |  86k|1811 | 4.547474e-13 | 2.000000e+00 |    Inf 
295.84/296.01	c   272s|  1240k|  2175 |  2371k|3883k|  33 |   - |  90 | 939 |   5 |  90 |  18 |  27 |  87k|1812 | 4.547474e-13 | 2.000000e+00 |    Inf 
298.04/298.26	c   274s|  1250k|  2426 |  2390k|4161k|  33 |   - |  90 |1009 |  72 |  90 |  18 |  27 |  88k|1815 | 4.547474e-13 | 2.000000e+00 |    Inf 
300.34/300.53	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
300.34/300.53	c   277s|  1260k|  2257 |  2408k|4092k|  33 |   - |  90 | 948 |   5 |  90 |  18 |  27 |  88k|1815 | 4.547474e-13 | 2.000000e+00 |    Inf 
302.64/302.80	c   279s|  1270k|  2026 |  2426k|4043k|  33 |   - |  90 |1050 |  23 |  90 |  18 |  27 |  89k|1817 | 4.547474e-13 | 2.000000e+00 |    Inf 
304.94/305.12	c   281s|  1280k|  1893 |  2443k|3959k|  33 |   4 |  90 |1160 |   7 |  90 |  18 |  27 |  90k|1818 | 4.547474e-13 | 2.000000e+00 |    Inf 
307.34/307.55	c   283s|  1290k|  1324 |  2461k|3084k|  33 |   4 |  90 | 958 |   4 |  90 |  18 |  27 |  91k|1818 | 4.547474e-13 | 2.000000e+00 |    Inf 
309.64/309.89	c   285s|  1300k|   784 |  2478k|2597k|  33 |   4 |  90 | 928 |   7 |  90 |  18 |  27 |  92k|1819 | 4.547474e-13 | 2.000000e+00 |    Inf 
312.03/312.25	c   287s|  1310k|   540 |  2497k|1867k|  33 |   4 |  90 | 769 |  32 |  90 |  18 |  27 |  93k|1820 | 4.547474e-13 | 2.000000e+00 |    Inf 
314.24/314.49	c   289s|  1320k|   275 |  2516k|1671k|  33 |   - |  90 | 652 |  13 |  90 |  18 |  27 |  93k|1822 | 4.547474e-13 | 2.000000e+00 |    Inf 
316.54/316.71	c   291s|  1330k|   168 |  2535k|1612k|  33 |   - |  90 | 666 |  40 |  90 |  18 |  27 |  94k|1824 | 4.547474e-13 | 2.000000e+00 |    Inf 
318.64/318.89	c   293s|  1340k|  1014 |  2554k|2220k|  33 |   - |  90 | 797 |   6 |  90 |  18 |  27 |  95k|1826 | 4.547474e-13 | 2.000000e+00 |    Inf 
320.93/321.15	c   295s|  1350k|   847 |  2572k|2277k|  33 |   4 |  90 | 850 |   4 |  90 |  18 |  27 |  95k|1830 | 4.547474e-13 | 2.000000e+00 |    Inf 
323.24/323.47	c   298s|  1360k|   265 |  2590k|1694k|  33 |   4 |  90 | 710 |   7 |  90 |  18 |  27 |  96k|1830 | 4.547474e-13 | 2.000000e+00 |    Inf 
325.43/325.70	c   300s|  1370k|   400 |  2609k|1793k|  33 |   - |  90 | 705 |   6 |  90 |  18 |  27 |  97k|1835 | 4.547474e-13 | 2.000000e+00 |    Inf 
327.73/327.91	c   302s|  1380k|   830 |  2628k|1953k|  33 |   - |  90 | 572 |  19 |  90 |  18 |  27 |  98k|1837 | 4.547474e-13 | 2.000000e+00 |    Inf 
329.93/330.13	c   304s|  1390k|   960 |  2646k|2196k|  33 |   4 |  90 | 627 |  29 |  90 |  18 |  27 |  99k|1837 | 4.547474e-13 | 2.000000e+00 |    Inf 
332.13/332.31	c   306s|  1400k|  1420 |  2664k|2515k|  33 |   4 |  90 | 520 |  65 |  90 |  18 |  27 |  99k|1837 | 4.547474e-13 | 2.000000e+00 |    Inf 
334.33/334.53	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
334.33/334.53	c   308s|  1410k|  1533 |  2683k|2651k|  33 |   4 |  90 | 452 |  10 |  90 |  18 |  27 | 100k|1839 | 4.547474e-13 | 2.000000e+00 |    Inf 
336.53/336.74	c   310s|  1420k|  1640 |  2702k|2781k|  33 |   - |  90 | 380 |  11 |  90 |  18 |  27 | 101k|1842 | 4.547474e-13 | 2.000000e+00 |    Inf 
338.63/338.88	c   312s|  1430k|  1628 |  2720k|2888k|  33 |   4 |  90 | 489 |   8 |  90 |  18 |  27 | 101k|1845 | 4.547474e-13 | 2.000000e+00 |    Inf 
340.83/341.09	c   314s|  1440k|  1067 |  2738k|2565k|  33 |   - |  90 | 551 |  15 |   0 |   0 |  27 | 102k|1848 | 4.547474e-13 | 2.000000e+00 |    Inf 
343.13/343.32	c   316s|  1450k|   243 |  2756k|1614k|  33 |   4 |  90 | 521 |  75 |  90 |  18 |  27 | 103k|1850 | 4.547474e-13 | 2.000000e+00 |    Inf 
345.23/345.49	c   318s|  1460k|   831 |  2775k|2034k|  33 |   4 |  90 | 787 |   5 |  90 |  18 |  27 | 104k|1852 | 4.547474e-13 | 2.000000e+00 |    Inf 
347.52/347.79	c   320s|  1470k|   947 |  2794k|2287k|  33 |   - |  90 | 836 |  18 |  90 |  18 |  27 | 104k|1855 | 4.547474e-13 | 2.000000e+00 |    Inf 
350.02/350.21	c   322s|  1480k|   316 |  2813k|1647k|  33 |   - |  90 | 632 |  65 |   0 |   0 |  27 | 105k|1857 | 4.547474e-13 | 2.000000e+00 |    Inf 
352.22/352.42	c   324s|  1490k|   728 |  2831k|1934k|  33 |   4 |  90 | 717 |  45 |  90 |  18 |  27 | 106k|1859 | 4.547474e-13 | 2.000000e+00 |    Inf 
354.43/354.67	c   326s|  1500k|   913 |  2849k|2229k|  33 |   - |  90 | 813 |   5 |  90 |  18 |  27 | 107k|1861 | 4.547474e-13 | 2.000000e+00 |    Inf 
356.73/356.95	c   328s|  1510k|   789 |  2868k|2230k|  33 |   - |  90 | 822 |  10 |   0 |   0 |  27 | 108k|1864 | 4.547474e-13 | 2.000000e+00 |    Inf 
359.02/359.21	c   330s|  1520k|  1376 |  2886k|2719k|  33 |   4 |  90 | 961 |  17 |  90 |  18 |  27 | 109k|1866 | 4.547474e-13 | 2.000000e+00 |    Inf 
361.43/361.62	c   333s|  1530k|   243 |  2904k|1832k|  33 |   - |  90 | 790 |   6 |   0 |   0 |  27 | 110k|1868 | 4.547474e-13 | 2.000000e+00 |    Inf 
363.62/363.81	c   335s|  1540k|  1426 |  2924k|2225k|  33 |   4 |  90 | 660 |   5 |  90 |  18 |  27 | 110k|1871 | 4.547474e-13 | 2.000000e+00 |    Inf 
365.72/365.99	c   337s|  1550k|  2317 |  2943k|2851k|  33 |   4 |  90 | 708 |   5 |  90 |  18 |  27 | 111k|1873 | 4.547474e-13 | 2.000000e+00 |    Inf 
368.02/368.20	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
368.02/368.20	c   339s|  1560k|  2950 |  2962k|3342k|  33 |   4 |  90 | 706 |  12 |  90 |  18 |  27 | 111k|1874 | 4.547474e-13 | 2.000000e+00 |    Inf 
370.22/370.45	c   341s|  1570k|  3682 |  2981k|3855k|  33 |   4 |  90 | 700 |   7 |  90 |  18 |  27 | 112k|1876 | 4.547474e-13 | 2.000000e+00 |    Inf 
372.52/372.74	c   343s|  1580k|  3698 |  2999k|4044k|  33 |   4 |  90 | 689 |   4 |  90 |  18 |  27 | 113k|1880 | 4.547474e-13 | 2.000000e+00 |    Inf 
374.72/374.99	c   345s|  1590k|  3752 |  3018k|4274k|  33 |   4 |  90 | 767 |  10 |  90 |  18 |  27 | 113k|1883 | 4.547474e-13 | 2.000000e+00 |    Inf 
377.12/377.30	c   347s|  1600k|  3787 |  3037k|4475k|  33 |   4 |  90 | 871 |  25 |  90 |  18 |  27 | 114k|1885 | 4.547474e-13 | 2.000000e+00 |    Inf 
379.32/379.59	c   349s|  1610k|  3576 |  3055k|4448k|  33 |   4 |  90 | 804 |   6 |  90 |  18 |  27 | 115k|1887 | 4.547474e-13 | 2.000000e+00 |    Inf 
381.72/381.92	c   351s|  1620k|  3296 |  3075k|4391k|  33 |   - |  90 | 759 |  14 |  90 |  18 |  27 | 116k|1890 | 4.547474e-13 | 2.000000e+00 |    Inf 
384.01/384.24	c   353s|  1630k|  2807 |  3093k|4112k|  33 |   4 |  90 | 713 |   5 |  90 |  18 |  27 | 116k|1894 | 4.547474e-13 | 2.000000e+00 |    Inf 
386.31/386.59	c   356s|  1640k|  1811 |  3112k|3428k|  33 |   4 |  90 | 695 |  30 |  90 |  18 |  27 | 117k|1897 | 4.547474e-13 | 2.000000e+00 |    Inf 
388.61/388.86	c 
388.61/388.86	c SCIP Status        : problem is solved [optimal solution found]
388.61/388.86	c Solving Time (sec) : 357.74
388.61/388.86	c Solving Nodes      : 1649052
388.61/388.86	c Primal Bound       : +2.00000000000000e+00 (49 solutions)
388.61/388.86	c Dual Bound         : +2.00000000000000e+00
388.61/388.86	c Gap                : 0.00 %
388.61/388.86	c NODE         1649052
388.61/388.86	c DUAL BOUND   2
388.61/388.86	c PRIMAL BOUND 2
388.61/388.86	c GAP          0
388.61/388.86	s OPTIMUM FOUND
388.61/388.86	v x94 x93 x92 -x91 -x90 -x89 x88 -x87 -x86 x85 x84 x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 x74 x73 -x72 x71 x70 x69 x68 x67 -x66 
388.61/388.86	v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 
388.61/388.86	v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 
388.61/388.86	v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
388.61/388.86	c SCIP Status        : problem is solved [optimal solution found]
388.61/388.86	c Solving Time       :     357.74
388.61/388.86	c Original Problem   :
388.61/388.86	c   Problem name     : HOME/instance-1869544-1245177761.opb
388.61/388.86	c   Variables        : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
388.61/388.86	c   Constraints      : 8 initial, 8 maximal
388.61/388.86	c Presolved Problem  :
388.61/388.86	c   Problem name     : t_HOME/instance-1869544-1245177761.opb
388.61/388.86	c   Variables        : 90 (90 binary, 0 integer, 0 implicit integer, 0 continuous)
388.61/388.86	c   Constraints      : 4 initial, 2983 maximal
388.61/388.86	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
388.61/388.86	c   trivial          :       0.00          0          0          0          0          0          0          0          0
388.61/388.86	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
388.61/388.86	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
388.61/388.86	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
388.61/388.86	c   implics          :       0.00          0          0          0          0          0          0          0          0
388.61/388.86	c   probing          :       0.01          0          0          0          0          0          0          0          0
388.61/388.86	c   linear           :       0.00          0          4          0          0          0          4          0          0
388.61/388.86	c   logicor          :       0.00          0          0          0          0          0          0          0          0
388.61/388.86	c   root node        :          -         57          -          -         57          -          -          -          -
388.61/388.86	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
388.61/388.86	c   integral         :          0          0          0     836645          0        106        803          0          0    1671442
388.61/388.86	c   linear           :          4          6    2068583          0          0     329082    2023862         19          0          0
388.61/388.86	c   logicor          :          0+         0    1090332          0          0        835      56074          0          0          0
388.61/388.86	c   countsols        :          0          0          0         25          0          0          0          0          0          0
388.61/388.86	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
388.61/388.86	c   integral         :       7.26       0.00       0.00       7.26       0.00
388.61/388.86	c   linear           :      69.82       0.00      69.82       0.00       0.00
388.61/388.86	c   logicor          :      19.61       0.00      19.61       0.00       0.00
388.61/388.86	c   countsols        :       0.00       0.00       0.00       0.00       0.00
388.61/388.86	c Propagators        :       Time      Calls    Cutoffs    DomReds
388.61/388.86	c   rootredcost      :       0.62         47          0         56
388.61/388.86	c   pseudoobj        :      11.06    2080341      11891      84461
388.61/388.86	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
388.61/388.86	c   propagation      :      12.30     341808     113163     163496       23.3          0        0.0          -
388.61/388.86	c   infeasible LP    :       0.04       1105       1105       1179       12.5          0        0.0          0
388.61/388.86	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
388.61/388.86	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
388.61/388.86	c   pseudo solution  :       0.00          1          1          1       19.0          0        0.0          -
388.61/388.86	c   applied globally :          -          -          -     117975       23.0          -          -          -
388.61/388.86	c   applied locally  :          -          -          -         69       32.6          -          -          -
388.61/388.86	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
388.61/388.86	c   cut pool         :       0.00          5          -          -         32          -    (maximal pool size: 120)
388.61/388.86	c   redcost          :       4.61     880481          0     417868          0          0
388.61/388.86	c   impliedbounds    :       0.00          6          0          0          0          0
388.61/388.86	c   intobj           :       0.00          0          0          0          0          0
388.61/388.86	c   gomory           :       0.00          6          0          0          0          0
388.61/388.86	c   strongcg         :       0.01          6          0          0         19          0
388.61/388.86	c   cmir             :       0.02          6          0          0         39          0
388.61/388.86	c   flowcover        :       0.02          6          0          0         66          0
388.61/388.86	c   clique           :       0.01          1          0          0          0          0
388.61/388.86	c   zerohalf         :       0.00          0          0          0          0          0
388.61/388.86	c   mcf              :       0.00          1          0          0          0          0
388.61/388.86	c Pricers            :       Time      Calls       Vars
388.61/388.86	c   problem variables:       0.00          0          0
388.61/388.86	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
388.61/388.86	c   relpscost        :       6.63     836620        106        803          0          0    1671442
388.61/388.86	c   pscost           :       0.00          0          0          0          0          0          0
388.61/388.86	c   inference        :       0.00          0          0          0          0          0          0
388.61/388.86	c   mostinf          :       0.00          0          0          0          0          0          0
388.61/388.86	c   leastinf         :       0.00          0          0          0          0          0          0
388.61/388.86	c   fullstrong       :       0.00          0          0          0          0          0          0
388.61/388.86	c   allfullstrong    :       0.00          0          0          0          0          0          0
388.61/388.86	c   random           :       0.00          0          0          0          0          0          0
388.61/388.86	c Primal Heuristics  :       Time      Calls      Found
388.61/388.86	c   LP solutions     :       0.00          -         25
388.61/388.86	c   pseudo solutions :       0.00          -          0
388.61/388.86	c   feaspump         :       0.12          1          0
388.61/388.86	c   oneopt           :       0.64         46          0
388.61/388.86	c   crossover        :       0.96          7          1
388.61/388.86	c   fracdiving       :       0.50        557          5
388.61/388.86	c   veclendiving     :       0.47        557          0
388.61/388.86	c   linesearchdiving :       0.40        557          3
388.61/388.86	c   guideddiving     :       0.44        557          4
388.61/388.86	c   rootsoldiving    :       0.61        279          0
388.61/388.86	c   pscostdiving     :       0.44        558          2
388.61/388.86	c   coefdiving       :       0.51        558          4
388.61/388.86	c   objpscostdiving  :       0.26        280          2
388.61/388.86	c   simplerounding   :       0.37          0          0
388.61/388.86	c   rounding         :       0.75      13200          0
388.61/388.86	c   shifting         :      15.56      28656          3
388.61/388.86	c   intshifting      :       0.05          0          0
388.61/388.86	c   fixandinfer      :       0.00          0          0
388.61/388.86	c   intdiving        :       0.00          0          0
388.61/388.86	c   actconsdiving    :       0.00          0          0
388.61/388.86	c   octane           :       0.00          0          0
388.61/388.86	c   rens             :       0.05          1          0
388.61/388.86	c   rins             :       0.00          0          0
388.61/388.86	c   localbranching   :       0.00          0          0
388.61/388.86	c   mutation         :       0.00          0          0
388.61/388.86	c   dins             :       0.00          0          0
388.61/388.86	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
388.61/388.86	c   primal LP        :       0.00          0          0       0.00          -
388.61/388.86	c   dual LP          :     106.23    1376937    3093391       2.25   29119.75
388.61/388.86	c   barrier LP       :       0.00          0          0       0.00          -
388.61/388.86	c   diving/probing LP:       1.18      13717      34845       2.54   29529.66
388.61/388.86	c   strong branching :       0.33       1900       8085       4.26   24500.00
388.61/388.86	c     (at root node) :          -         16        569      35.56          -
388.61/388.86	c   conflict analysis:       0.00          0          0       0.00          -
388.61/388.86	c B&B Tree           :
388.61/388.86	c   number of runs   :          1
388.61/388.86	c   nodes            :    1649052
388.61/388.86	c   nodes (total)    :    1649052
388.61/388.86	c   nodes left       :          0
388.61/388.86	c   max depth        :         33
388.61/388.86	c   max depth (total):         33
388.61/388.86	c   backtracks       :     452075 (27.4%)
388.61/388.86	c   delayed cutoffs  :      21878
388.61/388.86	c   repropagations   :      71089 (145404 domain reductions, 21303 cutoffs)
388.61/388.86	c   avg switch length:       5.02
388.61/388.86	c   switching time   :      48.68
388.61/388.86	c Solution           :
388.61/388.86	c   Solutions found  :         49 (47 improvements)
388.61/388.86	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 278313 nodes, 71.55 seconds, depth 23, found by <relaxation>)
388.61/388.86	c   Dual Bound       : +2.00000000000000e+00
388.61/388.86	c   Gap              :       0.00 %
388.61/388.86	c   Root Dual Bound  : +4.54747350886464e-13
388.61/388.87	c Time complete: 388.68.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869544-1245177761/watcher-1869544-1245177761 -o /tmp/evaluation-result-1869544-1245177761/solver-1869544-1245177761 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869544-1245177761.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: 0.99 0.98 0.99 3/64 6670
/proc/meminfo: memFree=1849880/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=4324 CPUtime=0
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 185376117 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/6670/statm: 1081 452 289 886 0 191 0

[startup+0.0668979 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6670
/proc/meminfo: memFree=1849880/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=12360 CPUtime=0.05
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 2661 0 0 0 5 0 0 0 18 0 1 0 185376117 12656640 2289 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6670/statm: 3090 2289 551 886 0 2200 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12360

[startup+0.101902 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6670
/proc/meminfo: memFree=1849880/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=21068 CPUtime=0.09
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 4269 0 0 0 8 1 0 0 18 0 1 0 185376117 21573632 3897 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6670/statm: 5267 3905 557 886 0 4377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21068

[startup+0.301923 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6670
/proc/meminfo: memFree=1849880/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=15272 CPUtime=0.29
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 4518 0 0 0 27 2 0 0 19 0 1 0 185376117 15638528 3027 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6670/statm: 3818 3027 571 886 0 2928 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15272

[startup+0.701969 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6670
/proc/meminfo: memFree=1849880/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=15272 CPUtime=0.69
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 4523 0 0 0 64 5 0 0 22 0 1 0 185376117 15638528 3032 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6670/statm: 3818 3032 573 886 0 2928 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15272

[startup+1.50106 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1842000/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=13428 CPUtime=1.49
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 7132 0 0 0 137 12 0 0 25 0 1 0 185376117 13750272 2601 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6670/statm: 3357 2601 573 886 0 2467 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13428

[startup+3.10124 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1840720/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=17020 CPUtime=3.09
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 9533 0 0 0 284 25 0 0 25 0 1 0 185376117 17428480 3491 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6670/statm: 4255 3491 573 886 0 3365 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17020

[startup+6.45203 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1837328/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=17904 CPUtime=6.46
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 9757 0 0 0 597 49 0 0 25 0 1 0 185376117 18333696 3715 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6670/statm: 4476 3715 573 886 0 3586 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 17904

[startup+12.7015 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1835856/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=19100 CPUtime=12.64
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 11566 0 0 0 1179 85 0 0 25 0 1 0 185376117 19558400 4013 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 4775 4013 573 886 0 3885 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 19100

[startup+25.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1835664/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=19280 CPUtime=25.43
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 11613 0 0 0 2382 161 0 0 25 0 1 0 185376117 19742720 4060 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 4820 4060 573 886 0 3930 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 19280

[startup+51.1019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1833872/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=21008 CPUtime=51.02
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 12048 0 0 0 4768 334 0 0 25 0 1 0 185376117 21512192 4495 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 5252 4495 573 886 0 4362 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 21008

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1833808/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=21020 CPUtime=102.21
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 14405 0 0 0 9475 746 0 0 25 0 1 0 185376117 21524480 4498 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 5255 4498 573 886 0 4365 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 21020

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1833488/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=21132 CPUtime=162.19
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 15318 0 0 0 14963 1256 0 0 25 0 1 0 185376117 21639168 4510 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 5283 4510 573 886 0 4393 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 21132

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1832784/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=21868 CPUtime=222.17
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 15530 0 0 0 20470 1747 0 0 25 0 1 0 185376117 22392832 4722 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 5467 4722 573 886 0 4577 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 21868

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1828368/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=26120 CPUtime=282.15
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 16602 0 0 0 25978 2237 0 0 25 0 1 0 185376117 26746880 5794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 6530 5794 573 886 0 5640 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 26120

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1828240/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=26120 CPUtime=342.13
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 16602 0 0 0 31481 2732 0 0 25 0 1 0 185376117 26746880 5794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 6530 5794 573 886 0 5640 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 26120

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

[startup+360.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1828240/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=26120 CPUtime=360.32
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 16602 0 0 0 33157 2875 0 0 25 0 1 0 185376117 26746880 5794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 6530 5794 573 886 0 5640 0
Current children cumulated CPU time (s) 360.32
Current children cumulated vsize (KiB) 26120

[startup+373.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1828176/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=26120 CPUtime=373.11
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 16602 0 0 0 34337 2974 0 0 25 0 1 0 185376117 26746880 5794 1992294400 4194304 7823515 548682068736 18446744073709551615 6722849 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 6530 5794 573 886 0 5640 0
Current children cumulated CPU time (s) 373.11
Current children cumulated vsize (KiB) 26120

[startup+379.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1828176/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=26120 CPUtime=379.51
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 16602 0 0 0 34926 3025 0 0 25 0 1 0 185376117 26746880 5794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 6530 5794 573 886 0 5640 0
Current children cumulated CPU time (s) 379.51
Current children cumulated vsize (KiB) 26120

[startup+382.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1828176/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=26120 CPUtime=382.71
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 16602 0 0 0 35224 3047 0 0 25 0 1 0 185376117 26746880 5794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 6530 5794 573 886 0 5640 0
Current children cumulated CPU time (s) 382.71
Current children cumulated vsize (KiB) 26120

[startup+386.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1828176/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=26120 CPUtime=385.92
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 16602 0 0 0 35520 3072 0 0 25 0 1 0 185376117 26746880 5794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 6530 5794 573 886 0 5640 0
Current children cumulated CPU time (s) 385.92
Current children cumulated vsize (KiB) 26120

[startup+387.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1828176/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=26120 CPUtime=387.52
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 16602 0 0 0 35667 3085 0 0 25 0 1 0 185376117 26746880 5794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 6530 5794 573 886 0 5640 0
Current children cumulated CPU time (s) 387.52
Current children cumulated vsize (KiB) 26120

[startup+388.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1828176/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=26120 CPUtime=388.31
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 16602 0 0 0 35740 3091 0 0 25 0 1 0 185376117 26746880 5794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 6530 5794 573 886 0 5640 0
Current children cumulated CPU time (s) 388.31
Current children cumulated vsize (KiB) 26120

[startup+388.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1828176/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=26120 CPUtime=388.51
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 16602 0 0 0 35758 3093 0 0 25 0 1 0 185376117 26746880 5794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 6530 5794 573 886 0 5640 0
Current children cumulated CPU time (s) 388.51
Current children cumulated vsize (KiB) 26120

[startup+388.802 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6671
/proc/meminfo: memFree=1828176/2055920 swapFree=4191900/4192956
[pid=6670] ppid=6668 vsize=26120 CPUtime=388.61
/proc/6670/stat : 6670 (pbscip.linux.x8) R 6668 6670 6523 0 -1 4194304 16602 0 0 0 35768 3093 0 0 25 0 1 0 185376117 26746880 5794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6670/statm: 6530 5794 573 886 0 5640 0
Current children cumulated CPU time (s) 388.61
Current children cumulated vsize (KiB) 26120

Child status: 0
Real time (s): 388.876
CPU time (s): 388.691
CPU user time (s): 357.745
CPU system time (s): 30.9463
CPU usage (%): 99.9525
Max. virtual memory (cumulated for all children) (KiB): 26120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 357.745
system time used= 30.9463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16607
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= 1035

runsolver used 0.518921 second user time and 1.3138 second system time

The end

Launcher Data 

Begin job on node28 at 2009-06-16 20:42:41
IDJOB=1869544
IDBENCH=2927
IDSOLVER=683
FILE ID=node28/1869544-1245177761
PBS_JOBID= 9363906
Free space on /tmp= 66176 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869544-1245177761/watcher-1869544-1245177761 -o /tmp/evaluation-result-1869544-1245177761/solver-1869544-1245177761 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869544-1245177761.opb

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

MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114
RANDOM SEED=2063288432

node28.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.231
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.231
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:       1850296 kB
Buffers:         40228 kB
Cached:          89324 kB
SwapCached:        260 kB
Active:          29104 kB
Inactive:       119876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850296 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            9848 kB
Writeback:           0 kB
Mapped:          22604 kB
Slab:            42332 kB
Committed_AS:   159864 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66168 MiB
End job on node28 at 2009-06-16 20:49:10