Trace number 1870378

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)SAT (TO)-28 1800.78 1801.26

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_1.opb
MD5SUM5c1211f8aed9d33c9f0c9019d9cd9874
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark1800.67
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -37
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint60
Maximum length of a constraint103
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37366
Sum of products size (including duplicates)74732
Number of different products18683
Sum of products size37366

Quality of the solution as a function of time


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

Solver Data 

0.19/0.20	c SCIP version 1.1.0.7
0.19/0.20	c LP-Solver SoPlex 1.4.1
0.19/0.20	c user parameter file <scip.set> not found - using default parameters
0.19/0.20	c read problem <HOME/instance-1870378-1245200691.opb>
0.19/0.20	c original problem has 19183 variables (19183 bin, 0 int, 0 impl, 0 cont) and 19183 constraints
0.29/0.39	c start presolving problem
0.29/0.39	c presolving:
0.79/0.89	c (round 1) 18683 del vars, 500 del conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74732 impls, 0 clqs
2.39/2.46	c    (2.0s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.46	c    (2.0s) probing aborted: 100/100 successive totally useless probings
2.39/2.46	c presolving (2 rounds):
2.39/2.46	c  18683 deleted vars, 500 deleted constraints, 18683 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.46	c  112098 implications, 0 cliques
2.39/2.46	c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18683 constraints
2.39/2.46	c   18683 constraints of type <and>
2.39/2.46	c transformed objective value is always integral (scale: 1)
2.39/2.46	c Presolving Time: 1.93
2.39/2.47	c OPT-NLC
2.39/2.47	c -----------------------------------------------------------------------------------------------
2.39/2.47	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.47	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.47	c limits/memory = c 1620
2.39/2.47	c # maximal time in seconds to run
2.39/2.47	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.47	c limits/time = c 1791
2.39/2.47	c # frequency for displaying node information lines
2.39/2.47	c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.47	c display/freq = c 10000
2.39/2.47	c -----------------------------------------------------------------------------------------------
2.39/2.47	c start solving problem
2.39/2.47	c 
2.99/3.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.99/3.02	c   2.5s|     1 |     0 |   509 |  69M|   0 | 500 | 500 |  18k|  18k| 500 |  18k|   0 |   0 |   0 |-2.500000e+02 |      --      |    Inf 
2.99/3.04	o -22
2.99/3.04	c R 2.6s|     1 |     0 |   509 |  69M|   0 | 500 | 500 |  18k|  18k| 500 |  18k|   0 |   0 |   0 |-2.500000e+02 |-2.200000e+01 |  91.20%
4.09/4.13	c   3.6s|     1 |     0 |   644 |  69M|   0 | 486 | 500 |  18k|  18k| 500 |  18k|  12 |   0 |   0 |-2.430000e+02 |-2.200000e+01 |  90.95%
5.09/5.16	c   4.6s|     1 |     0 |   739 |  69M|   0 | 476 | 500 |  18k|  18k| 500 |  18k|  20 |   0 |   0 |-2.380000e+02 |-2.200000e+01 |  90.76%
6.19/6.23	c   5.7s|     1 |     0 |   824 |  69M|   0 | 465 | 500 |  18k|  18k| 500 |  18k|  26 |   0 |   0 |-2.325000e+02 |-2.200000e+01 |  90.54%
6.19/6.25	o -24
6.19/6.25	c R 5.7s|     1 |     0 |   824 |  69M|   0 | 465 | 500 |  18k|  18k| 500 |  18k|  26 |   0 |   0 |-2.325000e+02 |-2.400000e+01 |  89.68%
7.29/7.32	c   6.8s|     1 |     0 |   897 |  69M|   0 | 457 | 500 |  18k|  18k| 500 |  18k|  33 |   0 |   0 |-2.285000e+02 |-2.400000e+01 |  89.50%
8.88/8.92	c   8.4s|     1 |     0 |  1142 |  69M|   0 | 449 | 500 |  18k|  18k| 500 |  18k|  39 |   0 |   0 |-2.245000e+02 |-2.400000e+01 |  89.31%
10.18/10.28	c   9.7s|     1 |     0 |  1304 |  69M|   0 | 439 | 500 |  18k|  18k| 500 |  18k|  45 |   0 |   0 |-2.195000e+02 |-2.400000e+01 |  89.07%
11.79/11.89	c  11.3s|     1 |     0 |  1555 |  69M|   0 | 426 | 500 |  18k|  18k| 500 |  18k|  54 |   0 |   0 |-2.130000e+02 |-2.400000e+01 |  88.73%
11.89/11.91	o -25
11.89/11.91	c R11.3s|     1 |     0 |  1555 |  69M|   0 | 426 | 500 |  18k|  18k| 500 |  18k|  54 |   0 |   0 |-2.130000e+02 |-2.500000e+01 |  88.26%
13.19/13.29	c  12.7s|     1 |     0 |  1699 |  69M|   0 | 422 | 500 |  18k|  18k| 500 |  18k|  60 |   0 |   0 |-2.110000e+02 |-2.500000e+01 |  88.15%
14.68/14.71	c  14.1s|     1 |     0 |  1824 |  69M|   0 | 418 | 500 |  18k|  18k| 500 |  18k|  66 |   0 |   0 |-2.090000e+02 |-2.500000e+01 |  88.04%
16.38/16.42	c  15.8s|     1 |     0 |  2037 |  69M|   0 | 412 | 500 |  18k|  18k| 500 |  18k|  71 |   0 |   0 |-2.060000e+02 |-2.500000e+01 |  87.86%
17.49/17.51	c  16.9s|     1 |     0 |  2220 |  69M|   0 | 410 | 500 |  18k|  18k| 500 | 772 |  79 |   0 |   0 |-2.050000e+02 |-2.500000e+01 |  87.80%
17.59/17.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
17.59/17.68	c  17.1s|     1 |     0 |  2411 |  69M|   0 | 400 | 500 |  18k|  18k| 500 | 781 |  88 |   0 |   0 |-2.040000e+02 |-2.500000e+01 |  87.75%
17.88/17.94	c  17.4s|     1 |     0 |  2805 |  69M|   0 | 418 | 500 |  18k|  18k| 500 |1006 | 313 |   0 |   0 |-2.015000e+02 |-2.500000e+01 |  87.59%
18.88/19.00	c  18.4s|     1 |     0 |  2987 |  70M|   0 | 401 | 500 |  18k|  18k| 500 |2880 |2187 |   0 |   0 |-2.005000e+02 |-2.500000e+01 |  87.53%
19.28/19.30	c  18.7s|     1 |     0 |  3258 |  70M|   0 | 397 | 500 |  18k|  18k| 500 |2888 |2195 |   0 |   0 |-1.985000e+02 |-2.500000e+01 |  87.41%
19.58/19.60	c  19.0s|     1 |     0 |  3456 |  70M|   0 | 395 | 500 |  18k|  18k| 500 |2894 |2201 |   0 |   0 |-1.975000e+02 |-2.500000e+01 |  87.34%
19.88/19.95	c  19.3s|     1 |     0 |  3766 |  70M|   0 | 390 | 500 |  18k|  18k| 500 |2583 |2207 |   0 |   0 |-1.960000e+02 |-2.500000e+01 |  87.24%
20.38/20.48	c  19.9s|     1 |     0 |  4479 |  70M|   0 | 380 | 500 |  18k|  18k| 500 |2636 |2260 |   0 |   0 |-1.940000e+02 |-2.500000e+01 |  87.11%
20.79/20.87	c  20.2s|     1 |     0 |  4830 |  70M|   0 | 381 | 500 |  18k|  18k| 500 |2833 |2457 |   0 |   0 |-1.905000e+02 |-2.500000e+01 |  86.88%
21.08/21.12	c  20.5s|     1 |     0 |  5008 |  70M|   0 | 368 | 500 |  18k|  18k| 500 |2838 |2462 |   0 |   0 |-1.890000e+02 |-2.500000e+01 |  86.77%
21.38/21.48	c  20.9s|     1 |     0 |  5295 |  70M|   0 | 373 | 500 |  18k|  18k| 500 |3092 |2716 |   0 |   0 |-1.865000e+02 |-2.500000e+01 |  86.60%
21.68/21.75	c  21.1s|     1 |     0 |  5544 |  70M|   0 | 390 | 500 |  18k|  18k| 500 |3102 |2726 |   0 |   0 |-1.860000e+02 |-2.500000e+01 |  86.56%
22.98/23.02	c  22.4s|     1 |     0 |  5691 |  71M|   0 | 371 | 500 |  18k|  18k| 500 |4738 |4703 |   0 |   0 |-1.855000e+02 |-2.500000e+01 |  86.52%
23.38/23.48	c  22.9s|     1 |     0 |  6057 |  71M|   0 | 372 | 500 |  18k|  18k| 500 |4747 |4712 |   0 |   0 |-1.835000e+02 |-2.500000e+01 |  86.38%
23.88/23.93	c  23.3s|     1 |     0 |  6459 |  71M|   0 | 359 | 500 |  18k|  18k| 500 |4801 |4766 |   0 |   0 |-1.805000e+02 |-2.500000e+01 |  86.15%
24.19/24.29	c  23.7s|     1 |     0 |  6716 |  71M|   0 | 355 | 500 |  18k|  18k| 500 |4856 |4821 |   0 |   0 |-1.795000e+02 |-2.500000e+01 |  86.07%
24.78/24.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.78/24.81	c  24.2s|     1 |     0 |  7094 |  71M|   0 | 355 | 500 |  18k|  18k| 500 |4988 |4953 |   0 |   0 |-1.775000e+02 |-2.500000e+01 |  85.92%
25.28/25.36	c  24.7s|     1 |     0 |  7541 |  71M|   0 | 356 | 500 |  18k|  18k| 500 |4995 |4960 |   0 |   0 |-1.763333e+02 |-2.500000e+01 |  85.82%
25.88/25.94	c  25.3s|     1 |     0 |  8058 |  71M|   0 | 347 | 500 |  18k|  18k| 500 |3047 |5078 |   0 |   0 |-1.745000e+02 |-2.500000e+01 |  85.67%
26.18/26.23	c  25.6s|     1 |     0 |  8370 |  71M|   0 | 360 | 500 |  18k|  18k| 500 |3090 |5121 |   0 |   0 |-1.737500e+02 |-2.500000e+01 |  85.61%
26.68/26.79	c  26.2s|     1 |     0 |  8925 |  71M|   0 | 348 | 500 |  18k|  18k| 500 |3424 |5455 |   0 |   0 |-1.722500e+02 |-2.500000e+01 |  85.49%
27.18/27.24	c  26.6s|     1 |     0 |  9348 |  71M|   0 | 337 | 500 |  18k|  18k| 500 |3725 |5756 |   0 |   0 |-1.705000e+02 |-2.500000e+01 |  85.34%
27.58/27.64	c  27.0s|     1 |     0 |  9732 |  71M|   0 | 338 | 500 |  18k|  18k| 500 |3836 |5867 |   0 |   0 |-1.695000e+02 |-2.500000e+01 |  85.25%
28.18/28.25	c  27.6s|     1 |     0 | 10346 |  72M|   0 | 357 | 500 |  18k|  18k| 500 |3889 |5920 |   0 |   0 |-1.675000e+02 |-2.500000e+01 |  85.07%
28.88/28.99	c  28.4s|     1 |     0 | 11014 |  72M|   0 | 339 | 500 |  18k|  18k| 500 |1878 |6060 |   0 |   0 |-1.650000e+02 |-2.500000e+01 |  84.85%
29.18/29.27	c  28.6s|     1 |     0 | 11378 |  72M|   0 | 352 | 500 |  18k|  18k| 500 |1888 |6070 |   0 |   0 |-1.633333e+02 |-2.500000e+01 |  84.69%
29.69/29.79	c  29.1s|     1 |     0 | 11917 |  72M|   0 | 339 | 500 |  18k|  18k| 500 |2607 |6789 |   0 |   0 |-1.615000e+02 |-2.500000e+01 |  84.52%
30.18/30.28	c  29.6s|     1 |     0 | 12491 |  72M|   0 | 316 | 500 |  18k|  18k| 500 |2811 |6993 |   0 |   0 |-1.590000e+02 |-2.500000e+01 |  84.28%
30.68/30.79	c  30.1s|     1 |     0 | 13137 |  72M|   0 | 314 | 500 |  18k|  18k| 500 |2855 |7037 |   0 |   0 |-1.580000e+02 |-2.500000e+01 |  84.18%
31.28/31.36	c  30.7s|     1 |     0 | 13873 |  72M|   0 | 346 | 500 |  18k|  18k| 500 |2913 |7095 |   0 |   0 |-1.568750e+02 |-2.500000e+01 |  84.06%
32.08/32.11	c  31.4s|     1 |     0 | 14770 |  72M|   0 | 324 | 500 |  18k|  18k| 500 |2332 |7278 |   0 |   0 |-1.551667e+02 |-2.500000e+01 |  83.89%
32.48/32.58	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
32.48/32.58	c  31.9s|     1 |     0 | 15396 |  72M|   0 | 373 | 500 |  18k|  18k| 500 |2380 |7326 |   0 |   0 |-1.536596e+02 |-2.500000e+01 |  83.73%
33.48/33.52	c  32.8s|     1 |     0 | 15693 |  73M|   0 | 346 | 500 |  18k|  18k| 500 |3906 |8852 |   0 |   0 |-1.533500e+02 |-2.500000e+01 |  83.70%
34.08/34.10	c  33.4s|     1 |     0 | 16188 |  73M|   0 | 302 | 500 |  18k|  18k| 500 |3919 |8865 |   0 |   0 |-1.510000e+02 |-2.500000e+01 |  83.44%
34.67/34.78	c  34.1s|     1 |     0 | 16840 |  73M|   0 | 314 | 500 |  18k|  18k| 500 |3926 |8872 |   0 |   0 |-1.493750e+02 |-2.500000e+01 |  83.26%
35.47/35.53	c  34.9s|     1 |     0 | 17512 |  73M|   0 | 353 | 500 |  18k|  18k| 500 |4036 |8982 |   0 |   0 |-1.477155e+02 |-2.500000e+01 |  83.08%
36.28/36.35	c  35.7s|     1 |     0 | 18274 |  74M|   0 | 333 | 500 |  18k|  18k| 500 |3091 |9151 |   0 |   0 |-1.457812e+02 |-2.500000e+01 |  82.85%
36.68/36.76	c  36.1s|     1 |     0 | 18620 |  74M|   0 | 319 | 500 |  18k|  18k| 500 |3185 |9245 |   0 |   0 |-1.450000e+02 |-2.500000e+01 |  82.76%
37.67/37.79	c  37.1s|     1 |     0 | 19581 |  75M|   0 | 354 | 500 |  18k|  18k| 500 |3226 |9286 |   0 |   0 |-1.446205e+02 |-2.500000e+01 |  82.71%
38.77/38.80	c  38.1s|     1 |     0 | 20538 |  76M|   0 | 367 | 500 |  18k|  18k| 500 |3382 |9442 |   0 |   0 |-1.438054e+02 |-2.500000e+01 |  82.62%
39.47/39.54	c  38.8s|     1 |     0 | 21166 |  77M|   0 | 362 | 500 |  18k|  18k| 500 |3464 |9524 |   0 |   0 |-1.419579e+02 |-2.500000e+01 |  82.39%
40.27/40.34	c  39.6s|     1 |     0 | 21946 |  78M|   0 | 347 | 500 |  18k|  18k| 500 |3543 |9603 |   0 |   0 |-1.401756e+02 |-2.500000e+01 |  82.17%
41.17/41.21	c  40.5s|     1 |     0 | 22646 |  78M|   0 | 366 | 500 |  18k|  18k| 500 |2330 |9719 |   0 |   0 |-1.393141e+02 |-2.500000e+01 |  82.05%
41.96/42.06	c  41.3s|     1 |     0 | 23313 |  78M|   0 | 375 | 500 |  18k|  18k| 500 |2568 |9957 |   0 |   0 |-1.380226e+02 |-2.500000e+01 |  81.89%
43.07/43.17	c  42.4s|     1 |     0 | 24071 |  79M|   0 | 378 | 500 |  18k|  18k| 500 |2757 |  10k|   0 |   0 |-1.361261e+02 |-2.500000e+01 |  81.63%
44.26/44.36	c  43.6s|     1 |     0 | 24795 |  79M|   0 | 386 | 500 |  18k|  18k| 500 |2877 |  10k|   0 |   0 |-1.349223e+02 |-2.500000e+01 |  81.47%
45.57/45.65	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
45.57/45.65	c  44.9s|     1 |     0 | 25485 |  79M|   0 | 374 | 500 |  18k|  18k| 500 |3075 |  10k|   0 |   0 |-1.338462e+02 |-2.500000e+01 |  81.32%
47.06/47.15	c  46.4s|     1 |     0 | 26409 |  79M|   0 | 385 | 500 |  18k|  18k| 500 |3158 |  10k|   0 |   0 |-1.328593e+02 |-2.500000e+01 |  81.18%
48.67/48.77	c  48.0s|     1 |     0 | 27354 |  79M|   0 | 386 | 500 |  18k|  18k| 500 |2761 |  10k|   0 |   0 |-1.311522e+02 |-2.500000e+01 |  80.94%
50.16/50.22	c  49.5s|     1 |     0 | 28319 |  79M|   0 | 379 | 500 |  18k|  18k| 500 |2813 |  10k|   0 |   0 |-1.298971e+02 |-2.500000e+01 |  80.75%
51.67/51.78	c  51.0s|     1 |     0 | 29309 |  79M|   0 | 391 | 500 |  18k|  18k| 500 |2947 |  10k|   0 |   0 |-1.283500e+02 |-2.500000e+01 |  80.52%
53.27/53.38	c  52.6s|     1 |     0 | 30212 |  79M|   0 | 396 | 500 |  18k|  18k| 500 |3086 |  10k|   0 |   0 |-1.269318e+02 |-2.500000e+01 |  80.30%
55.06/55.16	c  54.4s|     1 |     0 | 31089 |  79M|   0 | 381 | 500 |  18k|  18k| 500 |3290 |  11k|   0 |   0 |-1.257233e+02 |-2.500000e+01 |  80.12%
56.66/56.72	c  55.9s|     1 |     0 | 31834 |  79M|   0 | 395 | 500 |  18k|  18k| 500 |3347 |  11k|   0 |   0 |-1.249370e+02 |-2.500000e+01 |  79.99%
58.36/58.48	c  57.7s|     1 |     0 | 32693 |  79M|   0 | 391 | 500 |  18k|  18k| 500 |2782 |  11k|   0 |   0 |-1.238954e+02 |-2.500000e+01 |  79.82%
59.97/60.03	c  59.2s|     1 |     0 | 33513 |  79M|   0 | 401 | 500 |  18k|  18k| 500 |2848 |  11k|   0 |   0 |-1.229416e+02 |-2.500000e+01 |  79.67%
61.47/61.57	c  60.8s|     1 |     0 | 34238 |  79M|   0 | 405 | 500 |  18k|  18k| 500 |2913 |  11k|   0 |   0 |-1.223490e+02 |-2.500000e+01 |  79.57%
62.96/63.06	c  62.2s|     1 |     0 | 34841 |  79M|   0 | 401 | 500 |  18k|  18k| 500 |2937 |  11k|   0 |   0 |-1.219057e+02 |-2.500000e+01 |  79.49%
64.66/64.71	c  63.9s|     1 |     0 | 35596 |  79M|   0 | 411 | 500 |  18k|  18k| 500 |2948 |  11k|   0 |   0 |-1.212651e+02 |-2.500000e+01 |  79.38%
66.17/66.27	c  65.4s|     1 |     0 | 36250 |  79M|   0 | 412 | 500 |  18k|  18k| 500 |2984 |  11k|   0 |   0 |-1.206695e+02 |-2.500000e+01 |  79.28%
68.16/68.28	c  67.4s|     1 |     0 | 37289 |  79M|   0 | 414 | 500 |  18k|  18k| 500 |2639 |  11k|   0 |   0 |-1.198416e+02 |-2.500000e+01 |  79.14%
69.66/69.75	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
69.66/69.75	c  68.9s|     1 |     0 | 37934 |  79M|   0 | 408 | 500 |  18k|  18k| 500 |2716 |  11k|   0 |   0 |-1.192508e+02 |-2.500000e+01 |  79.04%
71.06/71.18	c  70.3s|     1 |     0 | 38451 |  79M|   0 | 417 | 500 |  18k|  18k| 500 |2770 |  11k|   0 |   0 |-1.189590e+02 |-2.500000e+01 |  78.98%
72.86/72.92	c  72.1s|     1 |     0 | 39302 |  79M|   0 | 413 | 500 |  18k|  18k| 500 |2808 |  11k|   0 |   0 |-1.178931e+02 |-2.500000e+01 |  78.79%
74.16/74.26	c  73.4s|     1 |     0 | 39664 |  79M|   0 | 417 | 500 |  18k|  18k| 500 |2870 |  11k|   0 |   0 |-1.177048e+02 |-2.500000e+01 |  78.76%
75.96/76.02	c  75.2s|     1 |     0 | 40411 |  79M|   0 | 412 | 500 |  18k|  18k| 500 |2932 |  11k|   0 |   0 |-1.171453e+02 |-2.500000e+01 |  78.66%
77.85/77.90	c  77.0s|     1 |     0 | 41248 |  79M|   0 | 425 | 500 |  18k|  18k| 500 |2773 |  11k|   0 |   0 |-1.165855e+02 |-2.500000e+01 |  78.56%
79.55/79.66	c  78.8s|     1 |     0 | 41961 |  79M|   0 | 421 | 500 |  18k|  18k| 500 |2808 |  11k|   0 |   0 |-1.161119e+02 |-2.500000e+01 |  78.47%
81.26/81.39	c  80.5s|     1 |     0 | 42677 |  79M|   0 | 423 | 500 |  18k|  18k| 500 |2840 |  11k|   0 |   0 |-1.155594e+02 |-2.500000e+01 |  78.37%
82.75/82.89	c  82.0s|     1 |     0 | 43081 |  79M|   0 | 430 | 500 |  18k|  18k| 500 |2889 |  11k|   0 |   0 |-1.153943e+02 |-2.500000e+01 |  78.34%
84.36/84.46	c  83.5s|     1 |     0 | 43523 |  79M|   0 | 430 | 500 |  18k|  18k| 500 |2918 |  11k|   0 |   0 |-1.151418e+02 |-2.500000e+01 |  78.29%
86.15/86.27	c  85.3s|     1 |     0 | 44112 |  79M|   0 | 440 | 500 |  18k|  18k| 500 |2956 |  12k|   0 |   0 |-1.148058e+02 |-2.500000e+01 |  78.22%
87.96/88.01	c  87.1s|     1 |     0 | 44576 |  79M|   0 | 433 | 500 |  18k|  18k| 500 |2830 |  12k|   0 |   0 |-1.144561e+02 |-2.500000e+01 |  78.16%
89.55/89.65	c  88.7s|     1 |     0 | 45068 |  79M|   0 | 436 | 500 |  18k|  18k| 500 |2861 |  12k|   0 |   0 |-1.142389e+02 |-2.500000e+01 |  78.12%
91.15/91.25	c  90.3s|     1 |     0 | 45531 |  79M|   0 | 443 | 500 |  18k|  18k| 500 |2895 |  12k|   0 |   0 |-1.139411e+02 |-2.500000e+01 |  78.06%
92.86/92.96	c  92.0s|     1 |     0 | 46008 |  79M|   0 | 440 | 500 |  18k|  18k| 500 |2928 |  12k|   0 |   0 |-1.136475e+02 |-2.500000e+01 |  78.00%
94.76/94.84	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
94.76/94.84	c  93.9s|     1 |     0 | 46623 |  79M|   0 | 449 | 500 |  18k|  18k| 500 |2955 |  12k|   0 |   0 |-1.132578e+02 |-2.500000e+01 |  77.93%
96.45/96.52	c  95.6s|     1 |     0 | 47084 |  79M|   0 | 444 | 500 |  18k|  18k| 500 |2973 |  12k|   0 |   0 |-1.130432e+02 |-2.500000e+01 |  77.88%
98.36/98.42	c  97.5s|     1 |     0 | 47697 |  79M|   0 | 445 | 500 |  18k|  18k| 500 |2857 |  12k|   0 |   0 |-1.126612e+02 |-2.500000e+01 |  77.81%
99.96/100.05	c  99.1s|     1 |     0 | 48084 |  79M|   0 | 443 | 500 |  18k|  18k| 500 |2885 |  12k|   0 |   0 |-1.122753e+02 |-2.500000e+01 |  77.73%
101.65/101.80	c   101s|     1 |     0 | 48588 |  79M|   0 | 445 | 500 |  18k|  18k| 500 |2909 |  12k|   0 |   0 |-1.120654e+02 |-2.500000e+01 |  77.69%
103.45/103.58	c   103s|     1 |     0 | 49109 |  79M|   0 | 448 | 500 |  18k|  18k| 500 |2933 |  12k|   0 |   0 |-1.117810e+02 |-2.500000e+01 |  77.63%
105.15/105.25	c   104s|     1 |     0 | 49502 |  79M|   0 | 457 | 500 |  18k|  18k| 500 |2958 |  12k|   0 |   0 |-1.115611e+02 |-2.500000e+01 |  77.59%
107.05/107.15	c   106s|     1 |     0 | 50062 |  79M|   0 | 461 | 500 |  18k|  18k| 500 |2980 |  12k|   0 |   0 |-1.112447e+02 |-2.500000e+01 |  77.53%
108.86/108.95	c   108s|     1 |     0 | 50547 |  79M|   0 | 463 | 500 |  18k|  18k| 500 |2907 |  12k|   0 |   0 |-1.109923e+02 |-2.500000e+01 |  77.48%
110.45/110.56	c   110s|     1 |     0 | 50873 |  79M|   0 | 464 | 500 |  18k|  18k| 500 |2928 |  12k|   0 |   0 |-1.108784e+02 |-2.500000e+01 |  77.45%
112.35/112.41	c   111s|     1 |     0 | 51417 |  79M|   0 | 459 | 500 |  18k|  18k| 500 |2943 |  12k|   0 |   0 |-1.105555e+02 |-2.500000e+01 |  77.39%
114.04/114.16	c   113s|     1 |     0 | 51800 |  79M|   0 | 461 | 500 |  18k|  18k| 500 |2959 |  12k|   0 |   0 |-1.104186e+02 |-2.500000e+01 |  77.36%
115.65/115.77	c   115s|     1 |     0 | 52089 |  79M|   0 | 468 | 500 |  18k|  18k| 500 |2982 |  12k|   0 |   0 |-1.102997e+02 |-2.500000e+01 |  77.33%
117.35/117.45	c   116s|     1 |     0 | 52414 |  79M|   0 | 469 | 500 |  18k|  18k| 500 |2999 |  12k|   0 |   0 |-1.101591e+02 |-2.500000e+01 |  77.31%
118.94/119.06	c   118s|     1 |     0 | 52626 |  79M|   0 | 473 | 500 |  18k|  18k| 500 |2947 |  12k|   0 |   0 |-1.100891e+02 |-2.500000e+01 |  77.29%
120.75/120.82	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
120.75/120.82	c   120s|     1 |     0 | 53034 |  79M|   0 | 473 | 500 |  18k|  18k| 500 |2956 |  12k|   0 |   0 |-1.099050e+02 |-2.500000e+01 |  77.25%
122.35/122.42	c   121s|     1 |     0 | 53310 |  79M|   0 | 474 | 500 |  18k|  18k| 500 |2972 |  12k|   0 |   0 |-1.097873e+02 |-2.500000e+01 |  77.23%
123.85/123.98	c   123s|     1 |     0 | 53531 |  79M|   0 | 472 | 500 |  18k|  18k| 500 |2983 |  12k|   0 |   0 |-1.097074e+02 |-2.500000e+01 |  77.21%
125.45/125.57	c   125s|     1 |     0 | 53767 |  79M|   0 | 477 | 500 |  18k|  18k| 500 |2997 |  12k|   0 |   0 |-1.096171e+02 |-2.500000e+01 |  77.19%
127.15/127.21	c   126s|     1 |     0 | 54073 |  79M|   0 | 480 | 500 |  18k|  18k| 500 |3005 |  12k|   0 |   0 |-1.094865e+02 |-2.500000e+01 |  77.17%
128.95/129.03	c   128s|     1 |     0 | 54505 |  79M|   0 | 475 | 500 |  18k|  18k| 500 |2968 |  12k|   0 |   0 |-1.092584e+02 |-2.500000e+01 |  77.12%
130.54/130.66	c   130s|     1 |     0 | 54781 |  79M|   0 | 482 | 500 |  18k|  18k| 500 |2985 |  12k|   0 |   0 |-1.091494e+02 |-2.500000e+01 |  77.10%
132.25/132.31	c   131s|     1 |     0 | 55002 |  79M|   0 | 483 | 500 |  18k|  18k| 500 |2994 |  12k|   0 |   0 |-1.090764e+02 |-2.500000e+01 |  77.08%
133.84/133.93	c   133s|     1 |     0 | 55285 |  79M|   0 | 481 | 500 |  18k|  18k| 500 |3007 |  12k|   0 |   0 |-1.089500e+02 |-2.500000e+01 |  77.05%
135.55/135.61	c   135s|     1 |     0 | 55588 |  79M|   0 | 480 | 500 |  18k|  18k| 500 |3020 |  12k|   0 |   0 |-1.088378e+02 |-2.500000e+01 |  77.03%
137.14/137.27	c   136s|     1 |     0 | 55856 |  79M|   0 | 482 | 500 |  18k|  18k| 500 |3035 |  12k|   0 |   0 |-1.087324e+02 |-2.500000e+01 |  77.01%
138.95/139.02	c   138s|     1 |     0 | 56154 |  79M|   0 | 481 | 500 |  18k|  18k| 500 |3002 |  12k|   0 |   0 |-1.086161e+02 |-2.500000e+01 |  76.98%
140.45/140.58	c   139s|     1 |     0 | 56327 |  79M|   0 | 487 | 500 |  18k|  18k| 500 |3014 |  12k|   0 |   0 |-1.085676e+02 |-2.500000e+01 |  76.97%
142.14/142.25	c   141s|     1 |     0 | 56613 |  79M|   0 | 487 | 500 |  18k|  18k| 500 |3025 |  12k|   0 |   0 |-1.084884e+02 |-2.500000e+01 |  76.96%
143.64/143.79	c   143s|     1 |     0 | 56779 |  79M|   0 | 485 | 500 |  18k|  18k| 500 |3037 |  12k|   0 |   0 |-1.084449e+02 |-2.500000e+01 |  76.95%
145.34/145.42	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
145.34/145.42	c   144s|     1 |     0 | 57013 |  79M|   0 | 489 | 500 |  18k|  18k| 500 |3051 |  12k|   0 |   0 |-1.083607e+02 |-2.500000e+01 |  76.93%
146.94/147.03	c   146s|     1 |     0 | 57227 |  79M|   0 | 488 | 500 |  18k|  18k| 500 |3062 |  12k|   0 |   0 |-1.082438e+02 |-2.500000e+01 |  76.90%
148.74/148.81	c   148s|     1 |     0 | 57541 |  79M|   0 | 487 | 500 |  18k|  18k| 500 |3026 |  12k|   0 |   0 |-1.081033e+02 |-2.500000e+01 |  76.87%
150.34/150.43	c   149s|     1 |     0 | 57772 |  79M|   0 | 487 | 500 |  18k|  18k| 500 |3035 |  12k|   0 |   0 |-1.080152e+02 |-2.500000e+01 |  76.86%
151.84/151.99	c   151s|     1 |     0 | 57904 |  79M|   0 | 490 | 500 |  18k|  18k| 500 |3046 |  12k|   0 |   0 |-1.079884e+02 |-2.500000e+01 |  76.85%
153.74/153.80	c   153s|     1 |     0 | 58169 |  79M|   0 | 488 | 500 |  18k|  18k| 500 |3053 |  12k|   0 |   0 |-1.079163e+02 |-2.500000e+01 |  76.83%
155.54/155.67	c   155s|     1 |     0 | 58509 |  79M|   0 | 490 | 500 |  18k|  18k| 500 |3067 |  12k|   0 |   0 |-1.077327e+02 |-2.500000e+01 |  76.79%
157.24/157.33	c   156s|     1 |     0 | 58727 |  79M|   0 | 489 | 500 |  18k|  18k| 500 |3076 |  12k|   0 |   0 |-1.076743e+02 |-2.500000e+01 |  76.78%
159.04/159.12	c   158s|     1 |     0 | 58987 |  79M|   0 | 490 | 500 |  18k|  18k| 500 |3042 |  12k|   0 |   0 |-1.076103e+02 |-2.500000e+01 |  76.77%
160.64/160.79	c   160s|     1 |     0 | 59222 |  79M|   0 | 494 | 500 |  18k|  18k| 500 |3054 |  12k|   0 |   0 |-1.075292e+02 |-2.500000e+01 |  76.75%
162.54/162.62	c   161s|     1 |     0 | 59483 |  79M|   0 | 491 | 500 |  18k|  18k| 500 |3062 |  12k|   0 |   0 |-1.074103e+02 |-2.500000e+01 |  76.72%
164.44/164.50	c   163s|     1 |     0 | 59746 |  79M|   0 | 488 | 500 |  18k|  18k| 500 |3074 |  12k|   0 |   0 |-1.073014e+02 |-2.500000e+01 |  76.70%
166.23/166.31	c   165s|     1 |     0 | 60010 |  79M|   0 | 489 | 500 |  18k|  18k| 500 |3091 |  12k|   0 |   0 |-1.072165e+02 |-2.500000e+01 |  76.68%
167.93/168.07	c   167s|     1 |     0 | 60222 |  79M|   0 | 491 | 500 |  18k|  18k| 500 |3101 |  12k|   0 |   0 |-1.071505e+02 |-2.500000e+01 |  76.67%
169.73/169.83	c   169s|     1 |     0 | 60433 |  79M|   0 | 496 | 500 |  18k|  18k| 500 |3075 |  12k|   0 |   0 |-1.070875e+02 |-2.500000e+01 |  76.65%
171.44/171.58	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
171.44/171.58	c   170s|     1 |     0 | 60647 |  79M|   0 | 495 | 500 |  18k|  18k| 500 |3088 |  12k|   0 |   0 |-1.070142e+02 |-2.500000e+01 |  76.64%
173.23/173.39	c   172s|     1 |     0 | 60894 |  79M|   0 | 497 | 500 |  18k|  18k| 500 |3108 |  12k|   0 |   0 |-1.069494e+02 |-2.500000e+01 |  76.62%
174.93/175.04	c   174s|     1 |     0 | 61035 |  79M|   0 | 496 | 500 |  18k|  18k| 500 |3120 |  12k|   0 |   0 |-1.069153e+02 |-2.500000e+01 |  76.62%
176.63/176.74	c   176s|     1 |     0 | 61216 |  79M|   0 | 497 | 500 |  18k|  18k| 500 |3129 |  12k|   0 |   0 |-1.068572e+02 |-2.500000e+01 |  76.60%
178.43/178.54	c   177s|     1 |     0 | 61464 |  78M|   0 | 494 | 500 |  18k|  18k| 500 |3143 |  12k|   0 |   0 |-1.067753e+02 |-2.500000e+01 |  76.59%
180.44/180.57	c   179s|     1 |     0 | 61827 |  78M|   0 | 495 | 500 |  18k|  18k| 500 |3109 |  12k|   0 |   0 |-1.066187e+02 |-2.500000e+01 |  76.55%
182.23/182.31	c   181s|     1 |     0 | 62053 |  78M|   0 | 498 | 500 |  18k|  18k| 500 |3122 |  12k|   0 |   0 |-1.065655e+02 |-2.500000e+01 |  76.54%
184.03/184.11	c   183s|     1 |     0 | 62302 |  78M|   0 | 498 | 500 |  18k|  18k| 500 |3137 |  12k|   0 |   0 |-1.065059e+02 |-2.500000e+01 |  76.53%
185.83/185.93	c   185s|     1 |     0 | 62534 |  78M|   0 | 499 | 500 |  18k|  18k| 500 |3148 |  12k|   0 |   0 |-1.064431e+02 |-2.500000e+01 |  76.51%
187.63/187.72	c   186s|     1 |     0 | 62727 |  78M|   0 | 498 | 500 |  18k|  18k| 500 |3160 |  12k|   0 |   0 |-1.064077e+02 |-2.500000e+01 |  76.51%
189.53/189.61	c   188s|     1 |     0 | 63048 |  78M|   0 | 497 | 500 |  18k|  18k| 500 |3170 |  12k|   0 |   0 |-1.062994e+02 |-2.500000e+01 |  76.48%
191.53/191.63	c   190s|     1 |     0 | 63427 |  78M|   0 | 498 | 500 |  18k|  18k| 500 |3139 |  12k|   0 |   0 |-1.061855e+02 |-2.500000e+01 |  76.46%
193.33/193.46	c   192s|     1 |     0 | 63693 |  78M|   0 | 499 | 500 |  18k|  18k| 500 |3152 |  12k|   0 |   0 |-1.061151e+02 |-2.500000e+01 |  76.44%
195.23/195.33	c   194s|     1 |     0 | 63970 |  78M|   0 | 499 | 500 |  18k|  18k| 500 |3164 |  12k|   0 |   0 |-1.060199e+02 |-2.500000e+01 |  76.42%
197.03/197.15	c   196s|     1 |     0 | 64197 |  77M|   0 | 499 | 500 |  18k|  18k| 500 |3181 |  13k|   0 |   0 |-1.059520e+02 |-2.500000e+01 |  76.40%
198.93/199.07	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
198.93/199.07	c   198s|     1 |     0 | 64462 |  77M|   0 | 499 | 500 |  18k|  18k| 500 |3193 |  13k|   0 |   0 |-1.058781e+02 |-2.500000e+01 |  76.39%
200.93/201.03	c   200s|     1 |     0 | 64736 |  77M|   0 | 499 | 500 |  18k|  18k| 500 |3206 |  13k|   0 |   0 |-1.057516e+02 |-2.500000e+01 |  76.36%
202.73/202.85	c   202s|     1 |     0 | 64890 |  76M|   0 | 500 | 500 |  18k|  18k| 500 |3165 |  13k|   0 |   0 |-1.057090e+02 |-2.500000e+01 |  76.35%
204.43/204.58	c   203s|     1 |     0 | 65074 |  76M|   0 | 499 | 500 |  18k|  18k| 500 |3177 |  13k|   0 |   0 |-1.056483e+02 |-2.500000e+01 |  76.34%
206.22/206.31	c   205s|     1 |     0 | 65220 |  75M|   0 | 498 | 500 |  18k|  18k| 500 |3186 |  13k|   0 |   0 |-1.056137e+02 |-2.500000e+01 |  76.33%
208.02/208.18	c   207s|     1 |     0 | 65459 |  74M|   0 | 497 | 500 |  18k|  18k| 500 |3199 |  13k|   0 |   0 |-1.055598e+02 |-2.500000e+01 |  76.32%
209.83/209.99	c   209s|     1 |     0 | 65619 |  74M|   0 | 500 | 500 |  18k|  18k| 500 |3212 |  13k|   0 |   0 |-1.055267e+02 |-2.500000e+01 |  76.31%
211.82/211.93	c   211s|     1 |     0 | 65847 |  73M|   0 | 500 | 500 |  18k|  18k| 500 |3221 |  13k|   0 |   0 |-1.054597e+02 |-2.500000e+01 |  76.29%
213.73/213.87	c   213s|     1 |     0 | 66106 |  72M|   0 | 500 | 500 |  18k|  18k| 500 |3169 |  13k|   0 |   0 |-1.053895e+02 |-2.500000e+01 |  76.28%
215.63/215.75	c   214s|     1 |     0 | 66344 |  72M|   0 | 497 | 500 |  18k|  18k| 500 |3179 |  13k|   0 |   0 |-1.053340e+02 |-2.500000e+01 |  76.27%
217.42/217.53	c   216s|     1 |     0 | 66524 |  72M|   0 | 498 | 500 |  18k|  18k| 500 |3190 |  13k|   0 |   0 |-1.052969e+02 |-2.500000e+01 |  76.26%
219.32/219.47	c   218s|     1 |     0 | 66778 |  72M|   0 | 500 | 500 |  18k|  18k| 500 |3202 |  13k|   0 |   0 |-1.052166e+02 |-2.500000e+01 |  76.24%
221.12/221.27	c   220s|     1 |     0 | 66902 |  72M|   0 | 499 | 500 |  18k|  18k| 500 |3215 |  13k|   0 |   0 |-1.051924e+02 |-2.500000e+01 |  76.23%
223.02/223.19	c   222s|     1 |     0 | 67083 |  72M|   0 | 500 | 500 |  18k|  18k| 500 |3223 |  13k|   0 |   0 |-1.051411e+02 |-2.500000e+01 |  76.22%
225.02/225.19	c   224s|     1 |     0 | 67312 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3182 |  13k|   0 |   0 |-1.050858e+02 |-2.500000e+01 |  76.21%
226.82/226.94	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
226.82/226.94	c   226s|     1 |     0 | 67475 |  71M|   0 | 499 | 500 |  18k|  18k| 500 |3195 |  13k|   0 |   0 |-1.050648e+02 |-2.500000e+01 |  76.21%
228.73/228.87	c   227s|     1 |     0 | 67754 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3206 |  13k|   0 |   0 |-1.049643e+02 |-2.500000e+01 |  76.18%
230.72/230.84	c   229s|     1 |     0 | 67992 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3218 |  13k|   0 |   0 |-1.048834e+02 |-2.500000e+01 |  76.16%
232.91/233.06	c   232s|     1 |     0 | 68350 |  71M|   0 | 499 | 500 |  18k|  18k| 500 |3228 |  13k|   0 |   0 |-1.047634e+02 |-2.500000e+01 |  76.14%
234.72/234.87	c   233s|     1 |     0 | 68490 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3241 |  13k|   0 |   0 |-1.047332e+02 |-2.500000e+01 |  76.13%
236.92/237.01	c   236s|     1 |     0 | 68858 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3203 |  13k|   0 |   0 |-1.046287e+02 |-2.500000e+01 |  76.11%
238.82/238.93	c   237s|     1 |     0 | 69076 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3217 |  13k|   0 |   0 |-1.045867e+02 |-2.500000e+01 |  76.10%
240.72/240.89	c   239s|     1 |     0 | 69319 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3227 |  13k|   0 |   0 |-1.045256e+02 |-2.500000e+01 |  76.08%
242.71/242.82	c   241s|     1 |     0 | 69466 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3239 |  13k|   0 |   0 |-1.044915e+02 |-2.500000e+01 |  76.07%
244.62/244.73	c   243s|     1 |     0 | 69637 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3250 |  13k|   0 |   0 |-1.044620e+02 |-2.500000e+01 |  76.07%
246.62/246.72	c   245s|     1 |     0 | 69875 |  71M|   0 | 498 | 500 |  18k|  18k| 500 |3262 |  13k|   0 |   0 |-1.044170e+02 |-2.500000e+01 |  76.06%
248.71/248.83	c   247s|     1 |     0 | 70141 |  71M|   0 | 499 | 500 |  18k|  18k| 500 |3212 |  13k|   0 |   0 |-1.043639e+02 |-2.500000e+01 |  76.05%
250.41/250.56	c   249s|     1 |     0 | 70312 |  71M|   0 | 499 | 500 |  18k|  18k| 500 |3223 |  13k|   0 |   0 |-1.043298e+02 |-2.500000e+01 |  76.04%
252.31/252.49	c   251s|     1 |     0 | 70557 |  71M|   0 | 499 | 500 |  18k|  18k| 500 |3238 |  13k|   0 |   0 |-1.042758e+02 |-2.500000e+01 |  76.03%
254.32/254.47	c   253s|     1 |     0 | 70842 |  71M|   0 | 499 | 500 |  18k|  18k| 500 |3252 |  13k|   0 |   0 |-1.042280e+02 |-2.500000e+01 |  76.01%
256.31/256.43	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
256.31/256.43	c   255s|     1 |     0 | 71121 |  71M|   0 | 499 | 500 |  18k|  18k| 500 |3264 |  13k|   0 |   0 |-1.041648e+02 |-2.500000e+01 |  76.00%
258.02/258.18	c   257s|     1 |     0 | 71247 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3276 |  13k|   0 |   0 |-1.041422e+02 |-2.500000e+01 |  75.99%
260.21/260.33	c   259s|     1 |     0 | 71555 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3227 |  13k|   0 |   0 |-1.040836e+02 |-2.500000e+01 |  75.98%
262.11/262.23	c   261s|     1 |     0 | 71754 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3238 |  13k|   0 |   0 |-1.040564e+02 |-2.500000e+01 |  75.97%
263.92/264.07	c   263s|     1 |     0 | 71892 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3249 |  13k|   0 |   0 |-1.040370e+02 |-2.500000e+01 |  75.97%
265.81/265.97	c   264s|     1 |     0 | 72066 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3262 |  13k|   0 |   0 |-1.040039e+02 |-2.500000e+01 |  75.96%
267.81/267.91	c   266s|     1 |     0 | 72284 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3273 |  13k|   0 |   0 |-1.039633e+02 |-2.500000e+01 |  75.95%
269.61/269.77	c   268s|     1 |     0 | 72444 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3284 |  13k|   0 |   0 |-1.039445e+02 |-2.500000e+01 |  75.95%
271.91/272.09	c   271s|     1 |     0 | 72824 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3267 |  13k|   0 |   0 |-1.038695e+02 |-2.500000e+01 |  75.93%
273.91/274.01	c   272s|     1 |     0 | 73036 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3276 |  13k|   0 |   0 |-1.038387e+02 |-2.500000e+01 |  75.92%
275.71/275.85	c   274s|     1 |     0 | 73177 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3288 |  13k|   0 |   0 |-1.038052e+02 |-2.500000e+01 |  75.92%
277.71/277.86	c   276s|     1 |     0 | 73449 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3301 |  13k|   0 |   0 |-1.037458e+02 |-2.500000e+01 |  75.90%
279.80/279.92	c   278s|     1 |     0 | 73725 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3316 |  13k|   0 |   0 |-1.037029e+02 |-2.500000e+01 |  75.89%
282.01/282.16	c   281s|     1 |     0 | 74004 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3324 |  13k|   0 |   0 |-1.036569e+02 |-2.500000e+01 |  75.88%
284.01/284.12	c   283s|     1 |     0 | 74156 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3284 |  13k|   0 |   0 |-1.036400e+02 |-2.500000e+01 |  75.88%
286.00/286.11	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
286.00/286.11	c   284s|     1 |     0 | 74399 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3295 |  13k|   0 |   0 |-1.035852e+02 |-2.500000e+01 |  75.87%
288.00/288.15	c   287s|     1 |     0 | 74613 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3305 |  13k|   0 |   0 |-1.035497e+02 |-2.500000e+01 |  75.86%
289.90/290.04	c   288s|     1 |     0 | 74769 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3316 |  13k|   0 |   0 |-1.035272e+02 |-2.500000e+01 |  75.85%
291.90/292.05	c   290s|     1 |     0 | 74957 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3323 |  13k|   0 |   0 |-1.034997e+02 |-2.500000e+01 |  75.85%
293.91/294.08	c   292s|     1 |     0 | 75132 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3332 |  13k|   0 |   0 |-1.034801e+02 |-2.500000e+01 |  75.84%
295.90/296.00	c   294s|     1 |     0 | 75285 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3282 |  13k|   0 |   0 |-1.034636e+02 |-2.500000e+01 |  75.84%
297.70/297.89	c   296s|     1 |     0 | 75489 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3292 |  13k|   0 |   0 |-1.034380e+02 |-2.500000e+01 |  75.83%
299.90/300.03	c   298s|     1 |     0 | 75805 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3304 |  13k|   0 |   0 |-1.033806e+02 |-2.500000e+01 |  75.82%
302.00/302.16	c   300s|     1 |     0 | 76082 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3316 |  13k|   0 |   0 |-1.033439e+02 |-2.500000e+01 |  75.81%
304.00/304.12	c   302s|     1 |     0 | 76267 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3326 |  13k|   0 |   0 |-1.033149e+02 |-2.500000e+01 |  75.80%
306.00/306.13	c   304s|     1 |     0 | 76496 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3337 |  13k|   0 |   0 |-1.032775e+02 |-2.500000e+01 |  75.79%
308.00/308.10	c   306s|     1 |     0 | 76688 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3288 |  13k|   0 |   0 |-1.032488e+02 |-2.500000e+01 |  75.79%
309.80/309.97	c   308s|     1 |     0 | 76864 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3301 |  13k|   0 |   0 |-1.032280e+02 |-2.500000e+01 |  75.78%
311.70/311.88	c   310s|     1 |     0 | 77044 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3311 |  13k|   0 |   0 |-1.032135e+02 |-2.500000e+01 |  75.78%
313.70/313.89	c   312s|     1 |     0 | 77269 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3322 |  13k|   0 |   0 |-1.031842e+02 |-2.500000e+01 |  75.77%
315.60/315.77	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
315.60/315.77	c   314s|     1 |     0 | 77469 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3333 |  13k|   0 |   0 |-1.031660e+02 |-2.500000e+01 |  75.77%
317.40/317.56	c   316s|     1 |     0 | 77613 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3345 |  13k|   0 |   0 |-1.031557e+02 |-2.500000e+01 |  75.76%
319.40/319.53	c   318s|     1 |     0 | 77808 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3316 |  13k|   0 |   0 |-1.031419e+02 |-2.500000e+01 |  75.76%
321.20/321.37	c   320s|     1 |     0 | 77952 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3327 |  13k|   0 |   0 |-1.031286e+02 |-2.500000e+01 |  75.76%
323.09/323.26	c   322s|     1 |     0 | 78091 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3337 |  13k|   0 |   0 |-1.031166e+02 |-2.500000e+01 |  75.76%
325.00/325.10	c   323s|     1 |     0 | 78188 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3347 |  13k|   0 |   0 |-1.031123e+02 |-2.500000e+01 |  75.75%
326.89/327.06	c   325s|     1 |     0 | 78350 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3356 |  13k|   0 |   0 |-1.031008e+02 |-2.500000e+01 |  75.75%
328.89/329.03	c   327s|     1 |     0 | 78504 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3363 |  13k|   0 |   0 |-1.030889e+02 |-2.500000e+01 |  75.75%
330.79/331.00	c   329s|     1 |     0 | 78608 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3304 |  13k|   0 |   0 |-1.030826e+02 |-2.500000e+01 |  75.75%
332.59/332.78	c   331s|     1 |     0 | 78669 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3311 |  13k|   0 |   0 |-1.030798e+02 |-2.500000e+01 |  75.75%
334.49/334.63	c   333s|     1 |     0 | 78775 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3319 |  13k|   0 |   0 |-1.030747e+02 |-2.500000e+01 |  75.75%
336.19/336.36	c   335s|     1 |     0 | 78837 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3325 |  13k|   0 |   0 |-1.030718e+02 |-2.500000e+01 |  75.75%
337.99/338.16	c   336s|     1 |     0 | 78906 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3331 |  13k|   0 |   0 |-1.030688e+02 |-2.500000e+01 |  75.74%
339.70/339.90	c   338s|     1 |     0 | 78922 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3332 |  13k|   0 |   0 |-1.030686e+02 |-2.500000e+01 |  75.74%
341.49/341.68	c   340s|     1 |     0 | 78937 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3273 |  13k|   0 |   0 |-1.030684e+02 |-2.500000e+01 |  75.74%
377.98/378.18	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
377.98/378.18	c   376s|     1 |     2 | 78937 |  71M|   0 | 500 | 500 |  18k|  18k| 500 |3273 |  13k|   0 |  24 |-1.030684e+02 |-2.500000e+01 |  75.74%
1470.40/1470.88	o -28
1470.40/1470.88	c v1461s|  5070 |  5071 |  2472k| 137M|  72 |   - | 500 |  18k|  45 | 500 | 974 | 584k|   0 |2439 |-9.874804e+01 |-2.800000e+01 |  71.65%
1800.03/1800.51	c 
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time (sec) : 1787.58
1800.03/1800.51	c Solving Nodes      : 8225
1800.03/1800.51	c Primal Bound       : -2.80000000000000e+01 (7 solutions)
1800.03/1800.51	c Dual Bound         : -9.80783597384738e+01
1800.03/1800.51	c Gap                : 71.45 %
1800.03/1800.55	c NODE         8225
1800.03/1800.55	c DUAL BOUND   -98.0784
1800.03/1800.55	c PRIMAL BOUND -28
1800.03/1800.55	c GAP          0.714514
1800.03/1800.55	s SATISFIABLE
1800.03/1800.55	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 
1800.03/1800.55	v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
1800.03/1800.55	v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 x440 -x439 -x438 -x437 
1800.03/1800.55	v x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 
1800.03/1800.55	v -x415 -x414 -x413 x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 
1800.03/1800.55	v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 
1800.03/1800.55	v -x373 -x372 x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 
1800.03/1800.55	v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 
1800.03/1800.55	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 
1800.03/1800.55	v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 
1800.03/1800.55	v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 
1800.03/1800.55	v -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 
1800.03/1800.55	v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 
1800.03/1800.55	v x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 
1800.03/1800.55	v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 
1800.03/1800.55	v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 
1800.03/1800.55	v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 
1800.03/1800.55	v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 
1800.03/1800.55	v -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 
1800.03/1800.55	v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 
1800.03/1800.55	v x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 
1800.03/1800.55	v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 
1800.03/1800.55	v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.03/1800.55	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.55	c Solving Time       :    1787.58
1800.03/1800.55	c Original Problem   :
1800.03/1800.55	c   Problem name     : HOME/instance-1870378-1245200691.opb
1800.03/1800.55	c   Variables        : 19183 (19183 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.55	c   Constraints      : 19183 initial, 19183 maximal
1800.03/1800.55	c Presolved Problem  :
1800.03/1800.55	c   Problem name     : t_HOME/instance-1870378-1245200691.opb
1800.03/1800.55	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.55	c   Constraints      : 18683 initial, 18683 maximal
1800.03/1800.55	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.55	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.55	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.55	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.55	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.55	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.55	c   probing          :       1.39          0          0          0          0          0          0          0          0
1800.03/1800.55	c   and              :       0.35          0          0          0          0          0          0          0          0
1800.03/1800.55	c   linear           :       0.12      18683          0          0      18683          0        500          0          0
1800.03/1800.55	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.55	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.55	c   integral         :          0          0          0       8225          0          0          0          0          0      16450
1800.03/1800.55	c   and              :      18683      22729      42562          0          0          0     251917    1632117          0          0
1800.03/1800.55	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.55	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.55	c   integral         :     295.43       0.00       0.00     295.43       0.00
1800.03/1800.55	c   and              :     133.94     109.85      24.09       0.00       0.00
1800.03/1800.55	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.55	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.55	c   rootredcost      :       0.03          1          0          0
1800.03/1800.55	c   pseudoobj        :       1.66      42804          0          0
1800.03/1800.55	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.55	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.55	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.55	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.55	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.55	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.55	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.03/1800.55	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.55	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.55	c   cut pool         :       0.48        221          -          -       2583          -    (maximal pool size: 11230)
1800.03/1800.55	c   redcost          :       0.77      22729          0          0          0          0
1800.03/1800.55	c   impliedbounds    :       0.38        222          0          0      20309          0
1800.03/1800.55	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.55	c   gomory           :     230.97        219          0          0      32134          0
1800.03/1800.55	c   strongcg         :       2.51         20          0          0      10000          0
1800.03/1800.55	c   cmir             :       2.18         10          0          0          0          0
1800.03/1800.55	c   flowcover        :       1.88         10          0          0          0          0
1800.03/1800.55	c   clique           :       6.64        219          0          0       2037          0
1800.03/1800.55	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.55	c   mcf              :       0.05          1          0          0          0          0
1800.03/1800.55	c Pricers            :       Time      Calls       Vars
1800.03/1800.55	c   problem variables:       0.00          0          0
1800.03/1800.55	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.55	c   relpscost        :     295.37       8225          0          0          0          0      16450
1800.03/1800.55	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.55	c   inference        :       0.00          0          0          0          0          0          0
1800.03/1800.55	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.55	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.55	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.55	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.56	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.56	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.56	c   LP solutions     :       0.00          -          0
1800.03/1800.56	c   pseudo solutions :       0.00          -          0
1800.03/1800.56	c   oneopt           :       0.02          2          0
1800.03/1800.56	c   crossover        :       0.20          7          0
1800.03/1800.56	c   linesearchdiving :      13.80        162          0
1800.03/1800.56	c   pscostdiving     :      24.91        162          0
1800.03/1800.56	c   veclendiving     :      22.59        162          1
1800.03/1800.56	c   guideddiving     :      19.42        162          0
1800.03/1800.56	c   coefdiving       :      21.10        163          0
1800.03/1800.56	c   fracdiving       :      16.21        163          0
1800.03/1800.56	c   simplerounding   :       0.03          0          0
1800.03/1800.56	c   rounding         :      15.64      10802          3
1800.03/1800.56	c   shifting         :       2.77       1182          3
1800.03/1800.56	c   intshifting      :       0.00          0          0
1800.03/1800.56	c   fixandinfer      :       0.00          0          0
1800.03/1800.56	c   feaspump         :       0.01          0          0
1800.03/1800.56	c   intdiving        :       0.00          0          0
1800.03/1800.56	c   actconsdiving    :       0.00          0          0
1800.03/1800.56	c   objpscostdiving  :      11.15         82          0
1800.03/1800.56	c   rootsoldiving    :       4.49         82          0
1800.03/1800.56	c   octane           :       0.00          0          0
1800.03/1800.56	c   rens             :       0.01          0          0
1800.03/1800.56	c   rins             :       0.00          0          0
1800.03/1800.56	c   localbranching   :       0.00          0          0
1800.03/1800.56	c   mutation         :       0.00          0          0
1800.03/1800.56	c   dins             :       0.00          0          0
1800.03/1800.56	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.56	c   primal LP        :      10.51          0          0       0.00       0.00
1800.03/1800.56	c   dual LP          :     906.38      22756    2907119     127.75    3207.40
1800.03/1800.56	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.56	c   diving/probing LP:     111.86      28562     454637      15.92    4064.34
1800.03/1800.56	c   strong branching :     294.25       2836     729524     257.24    2479.27
1800.03/1800.56	c     (at root node) :          -         24      21934     913.92          -
1800.03/1800.56	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.56	c B&B Tree           :
1800.03/1800.56	c   number of runs   :          1
1800.03/1800.56	c   nodes            :       8225
1800.03/1800.56	c   nodes (total)    :       8225
1800.03/1800.56	c   nodes left       :       8226
1800.03/1800.56	c   max depth        :         78
1800.03/1800.56	c   max depth (total):         78
1800.03/1800.56	c   backtracks       :       1187 (14.4%)
1800.03/1800.56	c   delayed cutoffs  :          0
1800.03/1800.56	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.03/1800.56	c   avg switch length:       6.00
1800.03/1800.56	c   switching time   :      21.15
1800.03/1800.56	c Solution           :
1800.03/1800.56	c   Solutions found  :          7 (4 improvements)
1800.03/1800.56	c   Primal Bound     : -2.80000000000000e+01   (in run 1, after 5070 nodes, 1460.67 seconds, depth 69, found by <veclendiving>)
1800.03/1800.56	c   Dual Bound       : -9.80783597384738e+01
1800.03/1800.56	c   Gap              :      71.45 %
1800.03/1800.56	c   Root Dual Bound  : -1.03068446699411e+02
1800.71/1801.26	c Time complete: 1800.77.

Verifier Data 

OK	-28

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870378-1245200691/watcher-1870378-1245200691 -o /tmp/evaluation-result-1870378-1245200691/solver-1870378-1245200691 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870378-1245200691.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 7139
/proc/meminfo: memFree=1679336/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=6100 CPUtime=0
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 522 0 0 0 0 0 0 0 20 0 1 0 187668801 6246400 504 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/7139/statm: 1525 515 325 886 0 635 0

[startup+0.0784831 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7139
/proc/meminfo: memFree=1679336/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=18516 CPUtime=0.07
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 3921 0 0 0 6 1 0 0 20 0 1 0 187668801 18960384 3903 1992294400 4194304 7823515 548682068736 18446744073709551615 6288752 0 0 4096 0 0 0 0 17 1 0 0
/proc/7139/statm: 4629 3903 354 886 0 3739 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18516

[startup+0.102484 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7139
/proc/meminfo: memFree=1679336/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=22244 CPUtime=0.09
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 4877 0 0 0 8 1 0 0 20 0 1 0 187668801 22777856 4859 1992294400 4194304 7823515 548682068736 18446744073709551615 4403206 0 0 4096 0 0 0 0 17 1 0 0
/proc/7139/statm: 5561 4859 354 886 0 4671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22244

[startup+0.302505 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7139
/proc/meminfo: memFree=1679336/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=56152 CPUtime=0.29
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 13692 0 0 0 24 5 0 0 22 0 1 0 187668801 57499648 13320 1992294400 4194304 7823515 548682068736 18446744073709551615 6911295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 14038 13320 371 886 0 13148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56152

[startup+0.701546 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7139
/proc/meminfo: memFree=1679336/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=67992 CPUtime=0.69
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 17134 0 0 0 59 10 0 0 25 0 1 0 187668801 69623808 16008 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 16998 16008 404 886 0 16108 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67992

[startup+1.50163 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7140
/proc/meminfo: memFree=1613792/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=70920 CPUtime=1.49
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 17899 0 0 0 124 25 0 0 25 0 1 0 187668801 72622080 16773 1992294400 4194304 7823515 548682068736 18446744073709551615 4903340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 17730 16773 433 886 0 16840 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70920

[startup+3.10179 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7140
/proc/meminfo: memFree=1613664/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=114416 CPUtime=3.09
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 28648 0 0 0 279 30 0 0 25 0 1 0 187668801 117161984 27002 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 28604 27002 521 886 0 27714 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114416

[startup+6.30113 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1569208/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=120956 CPUtime=6.29
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 30091 0 0 0 594 35 0 0 25 0 1 0 187668801 123858944 28419 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 30239 28419 544 886 0 29349 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120956

[startup+12.7018 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1564920/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=121572 CPUtime=12.68
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 30786 0 0 0 1230 38 0 0 25 0 1 0 187668801 124489728 29026 1992294400 4194304 7823515 548682068736 18446744073709551615 5597687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 30393 29026 546 886 0 29503 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 121572

[startup+25.5021 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1560504/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=124352 CPUtime=25.48
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 32160 0 0 0 2504 44 0 0 25 0 1 0 187668801 127336448 30177 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 31088 30177 546 886 0 30198 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 124352

[startup+51.1028 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1547832/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=136796 CPUtime=51.07
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 35317 0 0 0 5050 57 0 0 25 0 1 0 187668801 140079104 33330 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 34199 33330 547 886 0 33309 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 136796

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1547448/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=138096 CPUtime=102.26
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 35402 0 0 0 10151 75 0 0 25 0 1 0 187668801 141410304 33415 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 34524 33415 547 886 0 33634 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 138096

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1546744/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=138580 CPUtime=162.24
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 35563 0 0 0 16129 95 0 0 25 0 1 0 187668801 141905920 33576 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 34645 33576 547 886 0 33755 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 138580

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1546680/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=138580 CPUtime=222.22
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 35571 0 0 0 22107 115 0 0 25 0 1 0 187668801 141905920 33584 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 34645 33584 547 886 0 33755 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 138580

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1546488/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=138788 CPUtime=282.21
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 35612 0 0 0 28086 135 0 0 25 0 1 0 187668801 142118912 33625 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 34697 33625 547 886 0 33807 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 138788

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1546424/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=138788 CPUtime=342.19
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 35613 0 0 0 34068 151 0 0 25 0 1 0 187668801 142118912 33626 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 34697 33626 547 886 0 33807 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 138788

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1544824/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=140364 CPUtime=402.18
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 36000 0 0 0 40049 169 0 0 25 0 1 0 187668801 143732736 34013 1992294400 4194304 7823515 548682068736 18446744073709551615 6254289 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 35091 34013 554 886 0 34201 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 140364

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1544760/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=140364 CPUtime=462.16
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 36001 0 0 0 46015 201 0 0 25 0 1 0 187668801 143732736 34014 1992294400 4194304 7823515 548682068736 18446744073709551615 6211707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 35091 34014 555 886 0 34201 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 140364

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1544760/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=140364 CPUtime=522.14
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 36002 0 0 0 51972 242 0 0 25 0 1 0 187668801 143732736 34015 1992294400 4194304 7823515 548682068736 18446744073709551615 6214739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 35091 34015 555 886 0 34201 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 140364

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1544760/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=140364 CPUtime=582.13
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 36004 0 0 0 57933 280 0 0 25 0 1 0 187668801 143732736 34017 1992294400 4194304 7823515 548682068736 18446744073709551615 6205847 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 35091 34017 555 886 0 34201 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 140364

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1542456/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=142224 CPUtime=642.11
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 37775 0 0 0 63894 317 0 0 25 0 1 0 187668801 145637376 34557 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 35556 34557 566 886 0 34666 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 142224

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1518712/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=168356 CPUtime=1002.02
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 45004 0 0 0 99617 585 0 0 25 0 1 0 187668801 172396544 40554 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 42089 40554 566 886 0 41199 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 168356

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1512696/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=174648 CPUtime=1062.01
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 46480 0 0 0 105569 632 0 0 25 0 1 0 187668801 178839552 42030 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 43662 42030 566 886 0 42772 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 174648

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1509048/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=178156 CPUtime=1121.99
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 47380 0 0 0 111517 682 0 0 25 0 1 0 187668801 182431744 42930 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 44539 42930 566 886 0 43649 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 178156

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1503736/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=183056 CPUtime=1181.98
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 48734 0 0 0 117468 730 0 0 25 0 1 0 187668801 187449344 44284 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 45764 44284 566 886 0 44874 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 183056

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1493432/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=193172 CPUtime=1241.96
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 51273 0 0 0 123414 782 0 0 25 0 1 0 187668801 197808128 46823 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 48293 46823 566 886 0 47403 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 193172

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1493112/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=193172 CPUtime=1301.95
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 51346 0 0 0 129364 831 0 0 25 0 1 0 187668801 197808128 46896 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 48293 46896 566 886 0 47403 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 193172

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1489912/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=196672 CPUtime=1361.93
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 52141 0 0 0 135313 880 0 0 25 0 1 0 187668801 201392128 47691 1992294400 4194304 7823515 548682068736 18446744073709551615 4220515 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 49168 47691 566 886 0 48278 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 196672

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1484024/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=203352 CPUtime=1421.92
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 53596 0 0 0 141265 927 0 0 25 0 1 0 187668801 208232448 49146 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 50838 49146 566 886 0 49948 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 203352

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1478008/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=209500 CPUtime=1481.9
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 55088 0 0 0 147216 974 0 0 25 0 1 0 187668801 214528000 50638 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 52375 50638 566 886 0 51485 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 209500

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1472568/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=213872 CPUtime=1541.88
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 58809 0 0 0 153165 1023 0 0 25 0 1 0 187668801 219004928 51981 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 53468 51981 566 886 0 52578 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 213872

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1467576/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=218712 CPUtime=1601.87
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 60064 0 0 0 159117 1070 0 0 25 0 1 0 187668801 223961088 53236 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 54678 53236 566 886 0 53788 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 218712

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1463416/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=222412 CPUtime=1661.85
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 62328 0 0 0 165062 1123 0 0 25 0 1 0 187668801 227749888 54267 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 55603 54267 566 886 0 54713 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 222412

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1454264/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=232744 CPUtime=1721.84
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 64621 0 0 0 171012 1172 0 0 25 0 1 0 187668801 238329856 56560 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 58186 56560 566 886 0 57296 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 232744

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1450744/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=236292 CPUtime=1781.82
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 65528 0 0 0 176967 1215 0 0 25 0 1 0 187668801 241963008 57467 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 59073 57467 566 886 0 58183 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 236292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7140
/proc/meminfo: memFree=1449464/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=237680 CPUtime=1800.03
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 65836 0 0 0 178774 1229 0 0 25 0 1 0 187668801 243384320 57775 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7139/statm: 59420 57775 566 886 0 58530 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 237680

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7141
/proc/meminfo: memFree=1449456/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=237680 CPUtime=1800.12
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 65838 0 0 0 178783 1229 0 0 25 0 1 0 187668801 243384320 57777 1992294400 4194304 7823515 548682068736 18446744073709551615 4301917 0 0 4096 0 0 0 0 17 1 0 0
/proc/7139/statm: 59420 57777 568 886 0 58530 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 237680

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7141
/proc/meminfo: memFree=1449456/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=237680 CPUtime=1800.51
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 65838 0 0 0 178822 1229 0 0 25 0 1 0 187668801 243384320 57777 1992294400 4194304 7823515 548682068736 18446744073709551615 4211748 0 0 4096 0 0 0 0 17 1 0 0
/proc/7139/statm: 59420 57777 568 886 0 58530 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 237680

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7141
/proc/meminfo: memFree=1449456/2055920 swapFree=4192812/4192956
[pid=7139] ppid=7137 vsize=222796 CPUtime=1800.71
/proc/7139/stat : 7139 (pbscip.linux.x8) R 7137 7139 6958 0 -1 4194304 65838 0 0 0 178842 1229 0 0 25 0 1 0 187668801 228143104 54769 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/7139/statm: 55699 54769 3016 886 0 54809 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 222796

Child status: 0
Real time (s): 1801.26
CPU time (s): 1800.78
CPU user time (s): 1788.45
CPU system time (s): 12.3331
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 237680

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

runsolver used 1.55976 second user time and 5.02724 second system time

The end

Launcher Data 

Begin job on node27 at 2009-06-17 03:04:51
IDJOB=1870378
IDBENCH=48188
IDSOLVER=683
FILE ID=node27/1870378-1245200691
PBS_JOBID= 9368347
Free space on /tmp= 66288 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_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-1870378-1245200691/watcher-1870378-1245200691 -o /tmp/evaluation-result-1870378-1245200691/solver-1870378-1245200691 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870378-1245200691.opb

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

MD5SUM BENCH= 5c1211f8aed9d33c9f0c9019d9cd9874
RANDOM SEED=539741113

node27.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		: 2800.234
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	: 5521.40
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		: 2800.234
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:       1679752 kB
Buffers:         62332 kB
Cached:         239044 kB
SwapCached:          0 kB
Active:          93196 kB
Inactive:       222504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1679752 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10292 kB
Writeback:           0 kB
Mapped:          24168 kB
Slab:            46368 kB
Committed_AS:   185416 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66280 MiB
End job on node27 at 2009-06-17 03:34:54