Trace number 1870432

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)-47 1800.42 1800.93

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_3.opb
MD5SUM04b0fb885ddf05bea62d9eda618b3e5b
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-63
Best CPU time to get the best result obtained on this benchmark1800.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -79
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 constraint25
Maximum length of a constraint49
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)15722
Sum of products size (including duplicates)31444
Number of different products7861
Sum of products size15722

Solver Data 

0.08/0.09	c SCIP version 1.1.0.7
0.08/0.09	c LP-Solver SoPlex 1.4.1
0.08/0.09	c user parameter file <scip.set> not found - using default parameters
0.08/0.09	c read problem <HOME/instance-1870432-1245203824.opb>
0.08/0.09	c original problem has 8361 variables (8361 bin, 0 int, 0 impl, 0 cont) and 8361 constraints
0.09/0.17	c start presolving problem
0.09/0.17	c presolving:
0.39/0.41	c (round 1) 7861 del vars, 500 del conss, 7861 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31444 impls, 0 clqs
0.79/0.81	c    (0.5s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.81	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.79/0.81	c presolving (2 rounds):
0.79/0.81	c  7861 deleted vars, 500 deleted constraints, 7861 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.81	c  47166 implications, 0 cliques
0.79/0.81	c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7861 constraints
0.79/0.81	c    7861 constraints of type <and>
0.79/0.81	c transformed objective value is always integral (scale: 1)
0.79/0.81	c Presolving Time: 0.48
0.79/0.81	c OPT-NLC
0.79/0.81	c -----------------------------------------------------------------------------------------------
0.79/0.81	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.81	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.81	c limits/memory = c 1620
0.79/0.81	c # maximal time in seconds to run
0.79/0.81	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.81	c limits/time = c 1791
0.79/0.81	c # frequency for displaying node information lines
0.79/0.81	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.81	c display/freq = c 10000
0.79/0.81	c -----------------------------------------------------------------------------------------------
0.79/0.81	c start solving problem
0.79/0.81	c 
0.99/1.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.99/1.03	c   0.7s|     1 |     0 |   519 |  29M|   0 | 500 | 500 |7861 |7861 | 500 |7861 |   0 |   0 |   0 |-2.500000e+02 |      --      |    Inf 
0.99/1.04	o -47
0.99/1.04	c R 0.7s|     1 |     0 |   519 |  29M|   0 | 500 | 500 |7861 |7861 | 500 |7861 |   0 |   0 |   0 |-2.500000e+02 |-4.700000e+01 |  81.20%
1.39/1.44	c   1.1s|     1 |     0 |   621 |  29M|   0 | 487 | 500 |7861 |7861 | 500 |7872 |  11 |   0 |   0 |-2.435000e+02 |-4.700000e+01 |  80.70%
1.79/1.85	c   1.5s|     1 |     0 |   727 |  29M|   0 | 482 | 500 |7861 |7861 | 500 |7878 |  17 |   0 |   0 |-2.410000e+02 |-4.700000e+01 |  80.50%
2.29/2.30	c   2.0s|     1 |     0 |   866 |  29M|   0 | 478 | 500 |7861 |7861 | 500 |7883 |  22 |   0 |   0 |-2.390000e+02 |-4.700000e+01 |  80.33%
2.69/2.72	c   2.4s|     1 |     0 |   971 |  29M|   0 | 473 | 500 |7861 |7861 | 500 |7889 |  28 |   0 |   0 |-2.365000e+02 |-4.700000e+01 |  80.13%
3.20/3.29	c   2.9s|     1 |     0 |  1161 |  29M|   0 | 469 | 500 |7861 |7861 | 500 |7900 |  39 |   0 |   0 |-2.345000e+02 |-4.700000e+01 |  79.96%
3.79/3.86	c   3.5s|     1 |     0 |  1327 |  29M|   0 | 463 | 500 |7861 |7861 | 500 |7907 |  46 |   0 |   0 |-2.315000e+02 |-4.700000e+01 |  79.70%
4.49/4.52	c   4.2s|     1 |     0 |  1548 |  29M|   0 | 459 | 500 |7861 |7861 | 500 |7920 |  59 |   0 |   0 |-2.287500e+02 |-4.700000e+01 |  79.45%
5.09/5.10	c   4.7s|     1 |     0 |  1722 |  29M|   0 | 456 | 500 |7861 |7861 | 500 |7926 |  65 |   0 |   0 |-2.270000e+02 |-4.700000e+01 |  79.30%
5.69/5.79	c   5.4s|     1 |     0 |  1964 |  29M|   0 | 454 | 500 |7861 |7861 | 500 |7937 |  76 |   0 |   0 |-2.252500e+02 |-4.700000e+01 |  79.13%
6.49/6.53	c   6.2s|     1 |     0 |  2251 |  29M|   0 | 449 | 500 |7861 |7861 | 500 |7943 |  82 |   0 |   0 |-2.232500e+02 |-4.700000e+01 |  78.95%
6.99/7.04	c   6.7s|     1 |     0 |  2446 |  30M|   0 | 446 | 500 |7861 |7861 | 500 | 746 |  88 |   0 |   0 |-2.222500e+02 |-4.700000e+01 |  78.85%
7.19/7.20	c   6.8s|     1 |     0 |  2591 |  30M|   0 | 430 | 500 |7861 |7861 | 500 | 753 |  95 |   0 |   0 |-2.208750e+02 |-4.700000e+01 |  78.72%
7.39/7.49	c   7.1s|     1 |     0 |  2910 |  30M|   0 | 430 | 500 |7861 |7861 | 500 | 939 | 281 |   0 |   0 |-2.190000e+02 |-4.700000e+01 |  78.54%
7.60/7.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.60/7.68	c   7.3s|     1 |     0 |  3179 |  30M|   0 | 420 | 500 |7861 |7861 | 500 |1049 | 391 |   0 |   0 |-2.182500e+02 |-4.700000e+01 |  78.47%
7.99/8.00	c   7.6s|     1 |     0 |  3690 |  30M|   0 | 426 | 500 |7861 |7861 | 500 |1382 | 724 |   0 |   0 |-2.150000e+02 |-4.700000e+01 |  78.14%
8.19/8.26	c   7.9s|     1 |     0 |  4021 |  30M|   0 | 417 | 500 |7861 |7861 | 500 |1438 | 780 |   0 |   0 |-2.145000e+02 |-4.700000e+01 |  78.09%
8.58/8.60	c   8.2s|     1 |     0 |  4418 |  30M|   0 | 436 | 500 |7861 |7861 | 500 |1351 | 917 |   0 |   0 |-2.132500e+02 |-4.700000e+01 |  77.96%
8.89/8.91	c   8.5s|     1 |     0 |  4835 |  30M|   0 | 419 | 500 |7861 |7861 | 500 |1524 |1090 |   0 |   0 |-2.105000e+02 |-4.700000e+01 |  77.67%
9.09/9.19	c   8.8s|     1 |     0 |  5295 |  31M|   0 | 420 | 500 |7861 |7861 | 500 |1558 |1124 |   0 |   0 |-2.092500e+02 |-4.700000e+01 |  77.54%
9.38/9.43	c   9.0s|     1 |     0 |  5582 |  31M|   0 | 451 | 500 |7861 |7861 | 500 |1566 |1132 |   0 |   0 |-2.087500e+02 |-4.700000e+01 |  77.49%
10.09/10.13	c   9.7s|     1 |     0 |  6058 |  31M|   0 | 415 | 500 |7861 |7861 | 500 |2698 |2264 |   0 |   0 |-2.067500e+02 |-4.700000e+01 |  77.27%
10.38/10.41	c  10.0s|     1 |     0 |  6354 |  31M|   0 | 414 | 500 |7861 |7861 | 500 |2705 |2271 |   0 |   0 |-2.052500e+02 |-4.700000e+01 |  77.10%
10.79/10.88	c  10.5s|     1 |     0 |  6862 |  31M|   0 | 411 | 500 |7861 |7861 | 500 |2408 |2299 |   0 |   0 |-2.045000e+02 |-4.700000e+01 |  77.02%
11.28/11.36	c  10.9s|     1 |     0 |  7397 |  31M|   0 | 406 | 500 |7861 |7861 | 500 |2416 |2307 |   0 |   0 |-2.030000e+02 |-4.700000e+01 |  76.85%
11.69/11.74	c  11.3s|     1 |     0 |  7886 |  31M|   0 | 405 | 500 |7861 |7861 | 500 |2422 |2313 |   0 |   0 |-2.030000e+02 |-4.700000e+01 |  76.85%
12.39/12.44	c  12.0s|     1 |     0 |  8857 |  32M|   0 | 438 | 500 |7861 |7861 | 500 |2492 |2383 |   0 |   0 |-2.015357e+02 |-4.700000e+01 |  76.68%
13.09/13.11	c  12.7s|     1 |     0 |  9545 |  32M|   0 | 405 | 500 |7861 |7861 | 500 |2865 |2756 |   0 |   0 |-1.987500e+02 |-4.700000e+01 |  76.35%
13.39/13.46	c  13.0s|     1 |     0 |  9913 |  32M|   0 | 410 | 500 |7861 |7861 | 500 |2933 |2824 |   0 |   0 |-1.978750e+02 |-4.700000e+01 |  76.25%
14.28/14.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.28/14.35	c  13.9s|     1 |     0 | 10905 |  32M|   0 | 404 | 500 |7861 |7861 | 500 |2157 |2833 |   0 |   0 |-1.962500e+02 |-4.700000e+01 |  76.05%
14.69/14.74	c  14.3s|     1 |     0 | 11414 |  32M|   0 | 406 | 500 |7861 |7861 | 500 |2166 |2842 |   0 |   0 |-1.950833e+02 |-4.700000e+01 |  75.91%
14.98/15.06	c  14.6s|     1 |     0 | 11867 |  32M|   0 | 420 | 500 |7861 |7861 | 500 |2197 |2873 |   0 |   0 |-1.935714e+02 |-4.700000e+01 |  75.72%
15.78/15.84	c  15.4s|     1 |     0 | 12922 |  32M|   0 | 397 | 500 |7861 |7861 | 500 |2231 |2907 |   0 |   0 |-1.925000e+02 |-4.700000e+01 |  75.58%
16.19/16.21	c  15.8s|     1 |     0 | 13422 |  32M|   0 | 399 | 500 |7861 |7861 | 500 |2306 |2982 |   0 |   0 |-1.910000e+02 |-4.700000e+01 |  75.39%
16.59/16.67	c  16.2s|     1 |     0 | 14153 |  32M|   0 | 431 | 500 |7861 |7861 | 500 |2313 |2989 |   0 |   0 |-1.895455e+02 |-4.700000e+01 |  75.20%
17.28/17.36	c  16.9s|     1 |     0 | 14741 |  33M|   0 | 400 | 500 |7861 |7861 | 500 |2044 |3748 |   0 |   0 |-1.880000e+02 |-4.700000e+01 |  75.00%
17.79/17.83	c  17.4s|     1 |     0 | 15341 |  33M|   0 | 410 | 500 |7861 |7861 | 500 |2074 |3778 |   0 |   0 |-1.873304e+02 |-4.700000e+01 |  74.91%
18.09/18.15	c  17.7s|     1 |     0 | 15766 |  33M|   0 | 395 | 500 |7861 |7861 | 500 |2104 |3808 |   0 |   0 |-1.858000e+02 |-4.700000e+01 |  74.70%
18.48/18.52	c  18.0s|     1 |     0 | 16174 |  33M|   0 | 387 | 500 |7861 |7861 | 500 |2189 |3893 |   0 |   0 |-1.847500e+02 |-4.700000e+01 |  74.56%
18.78/18.88	c  18.4s|     1 |     0 | 16653 |  34M|   0 | 374 | 500 |7861 |7861 | 500 |2280 |3984 |   0 |   0 |-1.835000e+02 |-4.700000e+01 |  74.39%
19.29/19.30	c  18.8s|     1 |     0 | 17108 |  34M|   0 | 365 | 500 |7861 |7861 | 500 |2305 |4009 |   0 |   0 |-1.825000e+02 |-4.700000e+01 |  74.25%
19.59/19.64	c  19.2s|     1 |     0 | 17490 |  34M|   0 | 362 | 500 |7861 |7861 | 500 |1737 |4022 |   0 |   0 |-1.810000e+02 |-4.700000e+01 |  74.03%
20.08/20.12	c  19.6s|     1 |     0 | 18098 |  34M|   0 | 368 | 500 |7861 |7861 | 500 |1746 |4031 |   0 |   0 |-1.810000e+02 |-4.700000e+01 |  74.03%
20.48/20.51	c  20.0s|     1 |     0 | 18726 |  34M|   0 | 396 | 500 |7861 |7861 | 500 |1870 |4155 |   0 |   0 |-1.802000e+02 |-4.700000e+01 |  73.92%
20.88/20.96	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
20.88/20.96	c  20.5s|     1 |     0 | 19357 |  34M|   0 | 358 | 500 |7861 |7861 | 500 |2003 |4288 |   0 |   0 |-1.790000e+02 |-4.700000e+01 |  73.74%
21.09/21.17	c  20.7s|     1 |     0 | 19596 |  34M|   0 | 376 | 500 |7861 |7861 | 500 |2012 |4297 |   0 |   0 |-1.786667e+02 |-4.700000e+01 |  73.69%
21.48/21.56	c  21.1s|     1 |     0 | 20289 |  34M|   0 | 378 | 500 |7861 |7861 | 500 |2110 |4395 |   0 |   0 |-1.770000e+02 |-4.700000e+01 |  73.45%
21.88/21.94	c  21.4s|     1 |     0 | 20837 |  34M|   0 | 407 | 500 |7861 |7861 | 500 |1292 |4466 |   0 |   0 |-1.764500e+02 |-4.700000e+01 |  73.36%
22.38/22.40	c  21.9s|     1 |     0 | 21528 |  34M|   0 | 370 | 500 |7861 |7861 | 500 |1428 |4602 |   0 |   0 |-1.750000e+02 |-4.700000e+01 |  73.14%
22.68/22.73	c  22.2s|     1 |     0 | 22078 |  34M|   0 | 414 | 500 |7861 |7861 | 500 |1551 |4725 |   0 |   0 |-1.744286e+02 |-4.700000e+01 |  73.05%
23.09/23.11	c  22.6s|     1 |     0 | 22589 |  34M|   0 | 402 | 500 |7861 |7861 | 500 |1663 |4837 |   0 |   0 |-1.735714e+02 |-4.700000e+01 |  72.92%
23.48/23.55	c  23.0s|     1 |     0 | 23288 |  34M|   0 | 389 | 500 |7861 |7861 | 500 |1789 |4963 |   0 |   0 |-1.726667e+02 |-4.700000e+01 |  72.78%
23.88/23.99	c  23.5s|     1 |     0 | 23957 |  35M|   0 | 349 | 500 |7861 |7861 | 500 |1866 |5040 |   0 |   0 |-1.722500e+02 |-4.700000e+01 |  72.71%
24.69/24.72	c  24.2s|     1 |     0 | 25128 |  35M|   0 | 447 | 500 |7861 |7861 | 500 |1529 |5049 |   0 |   0 |-1.717723e+02 |-4.700000e+01 |  72.64%
25.29/25.32	c  24.8s|     1 |     0 | 25769 |  37M|   0 | 429 | 500 |7861 |7861 | 500 |1916 |5436 |   0 |   0 |-1.714357e+02 |-4.700000e+01 |  72.58%
25.88/25.99	c  25.5s|     1 |     0 | 26650 |  39M|   0 | 439 | 500 |7861 |7861 | 500 |2034 |5554 |   0 |   0 |-1.702263e+02 |-4.700000e+01 |  72.39%
26.78/26.81	c  26.3s|     1 |     0 | 27304 |  39M|   0 | 422 | 500 |7861 |7861 | 500 |2167 |5687 |   0 |   0 |-1.690608e+02 |-4.700000e+01 |  72.20%
27.38/27.45	c  26.9s|     1 |     0 | 28091 |  41M|   0 | 421 | 500 |7861 |7861 | 500 |2231 |5751 |   0 |   0 |-1.681458e+02 |-4.700000e+01 |  72.05%
27.98/28.06	c  27.5s|     1 |     0 | 28865 |  42M|   0 | 423 | 500 |7861 |7861 | 500 |2288 |5808 |   0 |   0 |-1.671607e+02 |-4.700000e+01 |  71.88%
28.68/28.75	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
28.68/28.75	c  28.2s|     1 |     0 | 29728 |  44M|   0 | 453 | 500 |7861 |7861 | 500 |2053 |5904 |   0 |   0 |-1.660347e+02 |-4.700000e+01 |  71.69%
29.48/29.55	c  29.0s|     1 |     0 | 30447 |  44M|   0 | 449 | 500 |7861 |7861 | 500 |2139 |5990 |   0 |   0 |-1.652412e+02 |-4.700000e+01 |  71.56%
30.39/30.47	c  29.9s|     1 |     0 | 31133 |  44M|   0 | 434 | 500 |7861 |7861 | 500 |2268 |6119 |   0 |   0 |-1.645527e+02 |-4.700000e+01 |  71.44%
31.18/31.26	c  30.7s|     1 |     0 | 31723 |  44M|   0 | 451 | 500 |7861 |7861 | 500 |2387 |6238 |   0 |   0 |-1.639714e+02 |-4.700000e+01 |  71.34%
32.18/32.27	c  31.7s|     1 |     0 | 32513 |  45M|   0 | 455 | 500 |7861 |7861 | 500 |2442 |6293 |   0 |   0 |-1.632368e+02 |-4.700000e+01 |  71.21%
33.18/33.26	c  32.7s|     1 |     0 | 33117 |  45M|   0 | 447 | 500 |7861 |7861 | 500 |2482 |6333 |   0 |   0 |-1.626296e+02 |-4.700000e+01 |  71.10%
34.38/34.40	c  33.8s|     1 |     0 | 33945 |  45M|   0 | 461 | 500 |7861 |7861 | 500 |2079 |6357 |   0 |   0 |-1.619900e+02 |-4.700000e+01 |  70.99%
35.37/35.40	c  34.8s|     1 |     0 | 34666 |  45M|   0 | 468 | 500 |7861 |7861 | 500 |2133 |6411 |   0 |   0 |-1.611873e+02 |-4.700000e+01 |  70.84%
36.37/36.43	c  35.8s|     1 |     0 | 35397 |  45M|   0 | 470 | 500 |7861 |7861 | 500 |2239 |6517 |   0 |   0 |-1.604679e+02 |-4.700000e+01 |  70.71%
37.17/37.26	c  36.7s|     1 |     0 | 35768 |  45M|   0 | 462 | 500 |7861 |7861 | 500 |2301 |6579 |   0 |   0 |-1.601633e+02 |-4.700000e+01 |  70.65%
38.27/38.37	c  37.8s|     1 |     0 | 36546 |  45M|   0 | 476 | 500 |7861 |7861 | 500 |2340 |6618 |   0 |   0 |-1.594438e+02 |-4.700000e+01 |  70.52%
39.47/39.55	c  39.0s|     1 |     0 | 37262 |  45M|   0 | 476 | 500 |7861 |7861 | 500 |2401 |6679 |   0 |   0 |-1.587497e+02 |-4.700000e+01 |  70.39%
40.58/40.69	c  40.1s|     1 |     0 | 37822 |  45M|   0 | 481 | 500 |7861 |7861 | 500 |2105 |6704 |   0 |   0 |-1.582073e+02 |-4.700000e+01 |  70.29%
41.57/41.66	c  41.0s|     1 |     0 | 38382 |  45M|   0 | 481 | 500 |7861 |7861 | 500 |2145 |6744 |   0 |   0 |-1.578535e+02 |-4.700000e+01 |  70.23%
42.47/42.56	c  42.0s|     1 |     0 | 38773 |  45M|   0 | 480 | 500 |7861 |7861 | 500 |2172 |6771 |   0 |   0 |-1.576849e+02 |-4.700000e+01 |  70.19%
43.37/43.49	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
43.37/43.49	c  42.9s|     1 |     0 | 39163 |  45M|   0 | 483 | 500 |7861 |7861 | 500 |2199 |6798 |   0 |   0 |-1.574779e+02 |-4.700000e+01 |  70.15%
44.47/44.58	c  44.0s|     1 |     0 | 39728 |  45M|   0 | 485 | 500 |7861 |7861 | 500 |2261 |6860 |   0 |   0 |-1.571133e+02 |-4.700000e+01 |  70.09%
45.77/45.80	c  45.2s|     1 |     0 | 40458 |  45M|   0 | 482 | 500 |7861 |7861 | 500 |2313 |6912 |   0 |   0 |-1.564113e+02 |-4.700000e+01 |  69.95%
47.07/47.13	c  46.5s|     1 |     0 | 41230 |  45M|   0 | 484 | 500 |7861 |7861 | 500 |2159 |6953 |   0 |   0 |-1.557202e+02 |-4.700000e+01 |  69.82%
48.07/48.16	c  47.5s|     1 |     0 | 41655 |  45M|   0 | 486 | 500 |7861 |7861 | 500 |2194 |6988 |   0 |   0 |-1.553868e+02 |-4.700000e+01 |  69.75%
49.17/49.25	c  48.6s|     1 |     0 | 42124 |  45M|   0 | 486 | 500 |7861 |7861 | 500 |2229 |7023 |   0 |   0 |-1.548708e+02 |-4.700000e+01 |  69.65%
50.07/50.19	c  49.5s|     1 |     0 | 42376 |  45M|   0 | 489 | 500 |7861 |7861 | 500 |2253 |7047 |   0 |   0 |-1.547199e+02 |-4.700000e+01 |  69.62%
51.07/51.18	c  50.5s|     1 |     0 | 42695 |  45M|   0 | 491 | 500 |7861 |7861 | 500 |2276 |7070 |   0 |   0 |-1.544566e+02 |-4.700000e+01 |  69.57%
52.07/52.18	c  51.5s|     1 |     0 | 42959 |  45M|   0 | 489 | 500 |7861 |7861 | 500 |2292 |7086 |   0 |   0 |-1.542554e+02 |-4.700000e+01 |  69.53%
53.06/53.17	c  52.5s|     1 |     0 | 43164 |  45M|   0 | 489 | 500 |7861 |7861 | 500 |2199 |7097 |   0 |   0 |-1.541642e+02 |-4.700000e+01 |  69.51%
54.17/54.29	c  53.6s|     1 |     0 | 43653 |  45M|   0 | 487 | 500 |7861 |7861 | 500 |2209 |7107 |   0 |   0 |-1.537225e+02 |-4.700000e+01 |  69.43%
55.36/55.42	c  54.7s|     1 |     0 | 44139 |  45M|   0 | 488 | 500 |7861 |7861 | 500 |2236 |7134 |   0 |   0 |-1.533041e+02 |-4.700000e+01 |  69.34%
56.47/56.58	c  55.9s|     1 |     0 | 44639 |  45M|   0 | 486 | 500 |7861 |7861 | 500 |2250 |7148 |   0 |   0 |-1.529724e+02 |-4.700000e+01 |  69.28%
57.56/57.60	c  56.9s|     1 |     0 | 44951 |  45M|   0 | 487 | 500 |7861 |7861 | 500 |2276 |7174 |   0 |   0 |-1.528217e+02 |-4.700000e+01 |  69.25%
58.66/58.72	c  58.0s|     1 |     0 | 45440 |  45M|   0 | 489 | 500 |7861 |7861 | 500 |2301 |7199 |   0 |   0 |-1.525722e+02 |-4.700000e+01 |  69.19%
59.86/59.99	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
59.86/59.99	c  59.3s|     1 |     0 | 46076 |  45M|   0 | 493 | 500 |7861 |7861 | 500 |2202 |7211 |   0 |   0 |-1.520998e+02 |-4.700000e+01 |  69.10%
61.06/61.10	c  60.4s|     1 |     0 | 46574 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2216 |7225 |   0 |   0 |-1.517698e+02 |-4.700000e+01 |  69.03%
61.96/62.09	c  61.4s|     1 |     0 | 46902 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2236 |7245 |   0 |   0 |-1.516002e+02 |-4.700000e+01 |  69.00%
63.07/63.11	c  62.4s|     1 |     0 | 47227 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2247 |7256 |   0 |   0 |-1.514266e+02 |-4.700000e+01 |  68.96%
64.07/64.14	c  63.4s|     1 |     0 | 47555 |  45M|   0 | 491 | 500 |7861 |7861 | 500 |2263 |7272 |   0 |   0 |-1.512320e+02 |-4.700000e+01 |  68.92%
65.17/65.26	c  64.5s|     1 |     0 | 48008 |  45M|   0 | 493 | 500 |7861 |7861 | 500 |2276 |7285 |   0 |   0 |-1.510610e+02 |-4.700000e+01 |  68.89%
66.27/66.35	c  65.6s|     1 |     0 | 48382 |  45M|   0 | 492 | 500 |7861 |7861 | 500 |2228 |7300 |   0 |   0 |-1.507608e+02 |-4.700000e+01 |  68.82%
67.26/67.32	c  66.6s|     1 |     0 | 48651 |  45M|   0 | 493 | 500 |7861 |7861 | 500 |2241 |7313 |   0 |   0 |-1.506086e+02 |-4.700000e+01 |  68.79%
68.26/68.31	c  67.6s|     1 |     0 | 48893 |  45M|   0 | 489 | 500 |7861 |7861 | 500 |2252 |7324 |   0 |   0 |-1.504051e+02 |-4.700000e+01 |  68.75%
69.27/69.34	c  68.6s|     1 |     0 | 49213 |  45M|   0 | 493 | 500 |7861 |7861 | 500 |2264 |7336 |   0 |   0 |-1.502391e+02 |-4.700000e+01 |  68.72%
70.27/70.39	c  69.7s|     1 |     0 | 49583 |  45M|   0 | 492 | 500 |7861 |7861 | 500 |2280 |7352 |   0 |   0 |-1.500271e+02 |-4.700000e+01 |  68.67%
71.16/71.29	c  70.5s|     1 |     0 | 49771 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2290 |7362 |   0 |   0 |-1.499600e+02 |-4.700000e+01 |  68.66%
72.17/72.26	c  71.5s|     1 |     0 | 49980 |  45M|   0 | 494 | 500 |7861 |7861 | 500 |2238 |7372 |   0 |   0 |-1.499064e+02 |-4.700000e+01 |  68.65%
73.16/73.24	c  72.5s|     1 |     0 | 50220 |  45M|   0 | 493 | 500 |7861 |7861 | 500 |2253 |7387 |   0 |   0 |-1.497652e+02 |-4.700000e+01 |  68.62%
74.16/74.20	c  73.4s|     1 |     0 | 50485 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2262 |7396 |   0 |   0 |-1.496576e+02 |-4.700000e+01 |  68.59%
75.06/75.14	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
75.06/75.14	c  74.4s|     1 |     0 | 50662 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2270 |7404 |   0 |   0 |-1.495816e+02 |-4.700000e+01 |  68.58%
76.06/76.15	c  75.4s|     1 |     0 | 50960 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2278 |7412 |   0 |   0 |-1.494852e+02 |-4.700000e+01 |  68.56%
76.97/77.08	c  76.3s|     1 |     0 | 51145 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2288 |7422 |   0 |   0 |-1.494298e+02 |-4.700000e+01 |  68.55%
77.96/78.03	c  77.2s|     1 |     0 | 51330 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2256 |7430 |   0 |   0 |-1.493706e+02 |-4.700000e+01 |  68.53%
78.76/78.88	c  78.1s|     1 |     0 | 51475 |  45M|   0 | 497 | 500 |7861 |7861 | 500 |2266 |7440 |   0 |   0 |-1.493423e+02 |-4.700000e+01 |  68.53%
79.76/79.87	c  79.1s|     1 |     0 | 51756 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2275 |7449 |   0 |   0 |-1.492218e+02 |-4.700000e+01 |  68.50%
80.66/80.77	c  80.0s|     1 |     0 | 51900 |  45M|   0 | 497 | 500 |7861 |7861 | 500 |2280 |7454 |   0 |   0 |-1.491770e+02 |-4.700000e+01 |  68.49%
81.56/81.68	c  80.9s|     1 |     0 | 52070 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2289 |7463 |   0 |   0 |-1.491212e+02 |-4.700000e+01 |  68.48%
82.46/82.54	c  81.8s|     1 |     0 | 52185 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2303 |7477 |   0 |   0 |-1.490968e+02 |-4.700000e+01 |  68.48%
83.36/83.43	c  82.6s|     1 |     0 | 52345 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2266 |7487 |   0 |   0 |-1.490698e+02 |-4.700000e+01 |  68.47%
84.26/84.31	c  83.5s|     1 |     0 | 52497 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2277 |7498 |   0 |   0 |-1.490207e+02 |-4.700000e+01 |  68.46%
85.16/85.22	c  84.4s|     1 |     0 | 52703 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2289 |7510 |   0 |   0 |-1.489535e+02 |-4.700000e+01 |  68.45%
86.06/86.13	c  85.3s|     1 |     0 | 52902 |  45M|   0 | 499 | 500 |7861 |7861 | 500 |2299 |7520 |   0 |   0 |-1.489105e+02 |-4.700000e+01 |  68.44%
86.95/87.03	c  86.2s|     1 |     0 | 53123 |  45M|   0 | 499 | 500 |7861 |7861 | 500 |2313 |7534 |   0 |   0 |-1.488727e+02 |-4.700000e+01 |  68.43%
87.76/87.88	c  87.1s|     1 |     0 | 53321 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2324 |7545 |   0 |   0 |-1.488482e+02 |-4.700000e+01 |  68.42%
88.65/88.73	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
88.65/88.73	c  87.9s|     1 |     0 | 53468 |  45M|   0 | 497 | 500 |7861 |7861 | 500 |2283 |7552 |   0 |   0 |-1.488261e+02 |-4.700000e+01 |  68.42%
89.46/89.57	c  88.7s|     1 |     0 | 53667 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2296 |7565 |   0 |   0 |-1.488032e+02 |-4.700000e+01 |  68.41%
90.36/90.42	c  89.6s|     1 |     0 | 53889 |  45M|   0 | 497 | 500 |7861 |7861 | 500 |2305 |7574 |   0 |   0 |-1.487739e+02 |-4.700000e+01 |  68.41%
91.16/91.26	c  90.4s|     1 |     0 | 54076 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2316 |7585 |   0 |   0 |-1.487496e+02 |-4.700000e+01 |  68.40%
91.96/92.09	c  91.2s|     1 |     0 | 54252 |  45M|   0 | 497 | 500 |7861 |7861 | 500 |2322 |7591 |   0 |   0 |-1.487290e+02 |-4.700000e+01 |  68.40%
92.85/92.90	c  92.1s|     1 |     0 | 54459 |  45M|   0 | 494 | 500 |7861 |7861 | 500 |2329 |7598 |   0 |   0 |-1.487108e+02 |-4.700000e+01 |  68.40%
93.56/93.69	c  92.8s|     1 |     0 | 54614 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2292 |7613 |   0 |   0 |-1.487023e+02 |-4.700000e+01 |  68.39%
94.35/94.48	c  93.6s|     1 |     0 | 54794 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2299 |7620 |   0 |   0 |-1.486779e+02 |-4.700000e+01 |  68.39%
95.16/95.23	c  94.4s|     1 |     0 | 54892 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2312 |7633 |   0 |   0 |-1.486734e+02 |-4.700000e+01 |  68.39%
95.95/96.00	c  95.1s|     1 |     0 | 54993 |  44M|   0 | 460 | 500 |7861 |7861 | 500 |2323 |7644 |   0 |   0 |-1.486667e+02 |-4.700000e+01 |  68.39%
96.55/96.64	c  95.8s|     1 |     0 | 54994 |  44M|   0 | 459 | 500 |7861 |7861 | 500 |2328 |7649 |   0 |   0 |-1.486667e+02 |-4.700000e+01 |  68.39%
97.15/97.26	c  96.4s|     1 |     0 | 54995 |  44M|   0 | 458 | 500 |7861 |7861 | 500 |2329 |7650 |   0 |   0 |-1.486667e+02 |-4.700000e+01 |  68.39%
109.25/109.32	c   108s|     1 |     2 | 54995 |  44M|   0 | 458 | 500 |7861 |7861 | 500 |2329 |7650 |   0 |  25 |-1.486667e+02 |-4.700000e+01 |  68.39%
1800.08/1800.67	c 
1800.08/1800.67	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.67	c Solving Time (sec) : 1785.14
1800.08/1800.67	c Solving Nodes      : 8852
1800.08/1800.67	c Primal Bound       : -4.70000000000000e+01 (3 solutions)
1800.08/1800.67	c Dual Bound         : -1.45935093045964e+02
1800.08/1800.67	c Gap                : 67.79 %
1800.08/1800.69	c NODE         8852
1800.08/1800.69	c DUAL BOUND   -145.935
1800.08/1800.69	c PRIMAL BOUND -47
1800.08/1800.69	c GAP          0.677939
1800.08/1800.69	s SATISFIABLE
1800.08/1800.69	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 
1800.08/1800.69	v -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 
1800.08/1800.69	v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 
1800.08/1800.69	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 
1800.08/1800.69	v -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 
1800.08/1800.69	v -x394 -x393 -x392 x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 
1800.08/1800.69	v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 
1800.08/1800.69	v -x352 x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 
1800.08/1800.69	v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 
1800.08/1800.69	v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 
1800.08/1800.69	v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 
1800.08/1800.69	v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 
1800.08/1800.69	v x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 
1800.08/1800.69	v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 
1800.08/1800.69	v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 
1800.08/1800.69	v -x184 x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 
1800.08/1800.69	v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 
1800.08/1800.69	v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 
1800.08/1800.69	v -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 x112 -x111 -x110 x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 
1800.08/1800.69	v -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 
1800.08/1800.69	v -x73 x72 x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 
1800.08/1800.69	v -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 
1800.08/1800.69	v -x22 -x21 x20 x19 x18 -x17 -x16 x15 x14 -x13 x12 x11 -x10 -x9 -x8 x7 -x6 -x5 x4 -x3 -x2 -x1 
1800.08/1800.69	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.69	c Solving Time       :    1785.14
1800.08/1800.69	c Original Problem   :
1800.08/1800.69	c   Problem name     : HOME/instance-1870432-1245203824.opb
1800.08/1800.69	c   Variables        : 8361 (8361 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.69	c   Constraints      : 8361 initial, 8361 maximal
1800.08/1800.69	c Presolved Problem  :
1800.08/1800.69	c   Problem name     : t_HOME/instance-1870432-1245203824.opb
1800.08/1800.69	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.69	c   Constraints      : 7861 initial, 7861 maximal
1800.08/1800.69	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.69	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.69	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.69	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.69	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.69	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.69	c   probing          :       0.25          0          0          0          0          0          0          0          0
1800.08/1800.69	c   and              :       0.16          0          0          0          0          0          0          0          0
1800.08/1800.69	c   linear           :       0.04       7861          0          0       7861          0        500          0          0
1800.08/1800.69	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.69	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.69	c   integral         :          0          0          0       8852          0          0          0          0          0      17704
1800.08/1800.69	c   and              :       7861      22364      65649          0          0          0     181138    1291135          0          0
1800.08/1800.69	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.69	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.69	c   integral         :     235.69       0.00       0.00     235.69       0.00
1800.08/1800.69	c   and              :      94.45      74.93      19.52       0.00       0.00
1800.08/1800.69	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.69	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.69	c   rootredcost      :       0.05          0          0          0
1800.08/1800.69	c   pseudoobj        :       2.34      65621          0          0
1800.08/1800.69	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.69	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.69	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.69	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.69	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.69	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.69	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.08/1800.69	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.69	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.69	c   cut pool         :       0.47        130          -          -       1789          -    (maximal pool size: 7625)
1800.08/1800.69	c   redcost          :       0.51      22364          0          0          0          0
1800.08/1800.69	c   impliedbounds    :       0.12        131          0          0      11110          0
1800.08/1800.69	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.69	c   gomory           :      55.24        131          0          0      32503          0
1800.08/1800.69	c   strongcg         :       1.40         20          0          0      10000          0
1800.08/1800.69	c   cmir             :       0.57         10          0          0          0          0
1800.08/1800.69	c   flowcover        :       0.43         10          0          0          0          0
1800.08/1800.69	c   clique           :       1.55        131          0          0       1115          0
1800.08/1800.69	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.69	c   mcf              :       0.02          1          0          0          0          0
1800.08/1800.69	c Pricers            :       Time      Calls       Vars
1800.08/1800.69	c   problem variables:       0.00          0          0
1800.08/1800.69	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.69	c   relpscost        :     235.68       8852          0          0          0          0      17704
1800.08/1800.69	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.69	c   inference        :       0.00          0          0          0          0          0          0
1800.08/1800.69	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.69	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.69	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.69	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.69	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.69	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.69	c   LP solutions     :       0.00          -          0
1800.08/1800.69	c   pseudo solutions :       0.00          -          0
1800.08/1800.69	c   oneopt           :       0.02          1          0
1800.08/1800.69	c   crossover        :       0.06          1          0
1800.08/1800.69	c   veclendiving     :      57.34        144          0
1800.08/1800.69	c   guideddiving     :      49.76        239          0
1800.08/1800.69	c   fracdiving       :      45.99        257          0
1800.08/1800.69	c   linesearchdiving :      43.89        274          0
1800.08/1800.69	c   simplerounding   :       0.06          0          0
1800.08/1800.69	c   rounding         :      16.43       6407          1
1800.08/1800.69	c   shifting         :       3.16       1031          2
1800.08/1800.69	c   intshifting      :       0.00          0          0
1800.08/1800.69	c   fixandinfer      :       0.00          0          0
1800.08/1800.69	c   feaspump         :       0.00          0          0
1800.08/1800.69	c   coefdiving       :      54.17        132          0
1800.08/1800.69	c   pscostdiving     :      58.78        113          0
1800.08/1800.69	c   intdiving        :       0.00          0          0
1800.08/1800.69	c   actconsdiving    :       0.00          0          0
1800.08/1800.69	c   objpscostdiving  :      18.64         36          0
1800.08/1800.69	c   rootsoldiving    :      11.52         87          0
1800.08/1800.69	c   octane           :       0.00          0          0
1800.08/1800.69	c   rens             :       0.00          0          0
1800.08/1800.69	c   rins             :       0.00          0          0
1800.08/1800.69	c   localbranching   :       0.00          0          0
1800.08/1800.69	c   mutation         :       0.00          0          0
1800.08/1800.69	c   dins             :       0.00          0          0
1800.08/1800.69	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.69	c   primal LP        :       9.27          0          0       0.00       0.00
1800.08/1800.69	c   dual LP          :     993.92      22484    3484040     154.96    3505.35
1800.08/1800.69	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.69	c   diving/probing LP:     300.40      46503    1197166      25.74    3985.24
1800.08/1800.69	c   strong branching :     234.17       2968     766744     258.34    3274.30
1800.08/1800.69	c     (at root node) :          -         25      20759     830.36          -
1800.08/1800.69	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.69	c B&B Tree           :
1800.08/1800.69	c   number of runs   :          1
1800.08/1800.69	c   nodes            :       8852
1800.08/1800.69	c   nodes (total)    :       8852
1800.08/1800.69	c   nodes left       :       8853
1800.08/1800.69	c   max depth        :         43
1800.08/1800.69	c   max depth (total):         43
1800.08/1800.69	c   backtracks       :       1918 (21.7%)
1800.08/1800.69	c   delayed cutoffs  :          0
1800.08/1800.69	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.08/1800.69	c   avg switch length:       7.21
1800.08/1800.69	c   switching time   :      16.99
1800.08/1800.69	c Solution           :
1800.08/1800.69	c   Solutions found  :          3 (1 improvements)
1800.08/1800.69	c   Primal Bound     : -4.70000000000000e+01   (in run 1, after 1 nodes, 0.73 seconds, depth 0, found by <rounding>)
1800.08/1800.69	c   Dual Bound       : -1.45935093045964e+02
1800.08/1800.69	c   Gap              :      67.79 %
1800.08/1800.69	c   Root Dual Bound  : -1.48666666666667e+02
1800.38/1800.93	c Time complete: 1800.41.

Verifier Data 

OK	-47

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870432-1245203824/watcher-1870432-1245203824 -o /tmp/evaluation-result-1870432-1245203824/solver-1870432-1245203824 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870432-1245203824.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.85 0.95 0.97 3/64 6570
/proc/meminfo: memFree=1796376/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=4488 CPUtime=0
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 489 0 0 0 0 0 0 0 18 0 1 0 187983100 4595712 473 1992294400 4194304 7823515 548682068736 18446744073709551615 5903552 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 1162 483 316 886 0 272 0

[startup+0.0885991 s]
/proc/loadavg: 0.85 0.95 0.97 3/64 6570
/proc/meminfo: memFree=1796376/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=18420 CPUtime=0.08
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 3925 0 0 0 7 1 0 0 18 0 1 0 187983100 18862080 3907 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 4605 3907 354 886 0 3715 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18420

[startup+0.101599 s]
/proc/loadavg: 0.85 0.95 0.97 3/64 6570
/proc/meminfo: memFree=1796376/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=19424 CPUtime=0.09
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 4457 0 0 0 8 1 0 0 18 0 1 0 187983100 19890176 4085 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 4856 4088 367 886 0 3966 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19424

[startup+0.301621 s]
/proc/loadavg: 0.85 0.95 0.97 3/64 6570
/proc/meminfo: memFree=1796376/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=37416 CPUtime=0.29
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 8772 0 0 0 23 6 0 0 20 0 1 0 187983100 38313984 8400 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 9354 8400 404 886 0 8464 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37416

[startup+0.701665 s]
/proc/loadavg: 0.85 0.95 0.97 3/64 6570
/proc/meminfo: memFree=1796376/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=38568 CPUtime=0.69
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 9061 0 0 0 49 20 0 0 22 0 1 0 187983100 39493632 8689 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 9642 8689 433 886 0 8752 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38568

[startup+1.50175 s]
/proc/loadavg: 0.85 0.95 0.97 2/65 6571
/proc/meminfo: memFree=1747792/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=58136 CPUtime=1.49
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 14137 0 0 0 126 23 0 0 25 0 1 0 187983100 59531264 13552 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 14534 13552 543 886 0 13644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58136

[startup+3.10193 s]
/proc/loadavg: 0.85 0.95 0.97 2/65 6571
/proc/meminfo: memFree=1742672/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=59976 CPUtime=3.09
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 14603 0 0 0 283 26 0 0 25 0 1 0 187983100 61415424 14018 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 14994 14018 545 886 0 14104 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59976

[startup+6.30129 s]
/proc/loadavg: 0.86 0.95 0.97 2/65 6571
/proc/meminfo: memFree=1739664/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=64000 CPUtime=6.29
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 15680 0 0 0 601 28 0 0 25 0 1 0 187983100 65536000 14997 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 16000 14997 546 886 0 15110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64000

[startup+12.702 s]
/proc/loadavg: 0.87 0.95 0.97 2/65 6571
/proc/meminfo: memFree=1727968/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=76208 CPUtime=12.69
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 19036 0 0 0 1234 35 0 0 25 0 1 0 187983100 78036992 18261 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 19052 18261 546 886 0 18162 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76208

[startup+25.5014 s]
/proc/loadavg: 0.90 0.96 0.97 2/65 6571
/proc/meminfo: memFree=1716256/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=86084 CPUtime=25.48
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 21576 0 0 0 2505 43 0 0 25 0 1 0 187983100 88150016 20747 1992294400 4194304 7823515 548682068736 18446744073709551615 4392741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 21521 20747 546 886 0 20631 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86084

[startup+51.1013 s]
/proc/loadavg: 0.93 0.96 0.97 2/65 6571
/proc/meminfo: memFree=1708768/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=92808 CPUtime=51.07
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 23200 0 0 0 5051 56 0 0 25 0 1 0 187983100 95035392 22369 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 23202 22369 547 886 0 22312 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 92808

[startup+102.306 s]
/proc/loadavg: 0.97 0.96 0.97 2/65 6571
/proc/meminfo: memFree=1707040/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=94876 CPUtime=102.26
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 23626 0 0 0 10149 77 0 0 25 0 1 0 187983100 97153024 22795 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 23719 22795 554 886 0 22829 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 94876

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6571
/proc/meminfo: memFree=1707040/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=94876 CPUtime=162.24
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 23630 0 0 0 16098 126 0 0 25 0 1 0 187983100 97153024 22799 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 23719 22799 555 886 0 22829 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 94876

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6571
/proc/meminfo: memFree=1706976/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=94876 CPUtime=222.22
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 23631 0 0 0 22048 174 0 0 25 0 1 0 187983100 97153024 22800 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 23719 22800 555 886 0 22829 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 94876

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6576
/proc/meminfo: memFree=1708640/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=93284 CPUtime=282.2
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 25139 0 0 0 27998 222 0 0 25 0 1 0 187983100 95522816 22376 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 23321 22376 566 886 0 22431 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 93284

[startup+342.302 s]
/proc/loadavg: 1.04 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1707040/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=94332 CPUtime=342.16
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 25430 0 0 0 33951 265 0 0 25 0 1 0 187983100 96595968 22667 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 23583 22667 566 886 0 22693 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 94332

[startup+402.301 s]
/proc/loadavg: 1.01 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1705760/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=95628 CPUtime=402.14
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 25781 0 0 0 39904 310 0 0 25 0 1 0 187983100 97923072 23018 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 23907 23018 566 886 0 23017 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 95628

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1703840/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=97576 CPUtime=462.12
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 26259 0 0 0 45857 355 0 0 25 0 1 0 187983100 99917824 23495 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 24394 23495 566 886 0 23504 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 97576

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1702944/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=98512 CPUtime=522.11
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 26477 0 0 0 51809 402 0 0 25 0 1 0 187983100 100876288 23713 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 24628 23713 566 886 0 23738 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 98512

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1701728/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=99808 CPUtime=582.09
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 26771 0 0 0 57762 447 0 0 25 0 1 0 187983100 102203392 24006 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 24952 24006 566 886 0 24062 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 99808

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1699232/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=102420 CPUtime=642.08
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 27391 0 0 0 63713 495 0 0 25 0 1 0 187983100 104878080 24626 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 25605 24626 566 886 0 24715 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 102420

[startup+702.302 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1689952/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=111968 CPUtime=942
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 29731 0 0 0 93454 746 0 0 25 0 1 0 187983100 114655232 26964 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 27992 26964 566 886 0 27102 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 111968

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1687520/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=114432 CPUtime=1001.98
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 30339 0 0 0 99402 796 0 0 25 0 1 0 187983100 117178368 27572 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 28608 27572 566 886 0 27718 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 114432

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1685728/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=116160 CPUtime=1061.97
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 30784 0 0 0 105346 851 0 0 25 0 1 0 187983100 118947840 28016 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 29040 28016 566 886 0 28150 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 116160

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1684384/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=117392 CPUtime=1121.95
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 31119 0 0 0 111293 902 0 0 25 0 1 0 187983100 120209408 28350 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 29348 28350 566 886 0 28458 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 117392

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1683360/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=118388 CPUtime=1181.94
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 31364 0 0 0 117240 954 0 0 25 0 1 0 187983100 121229312 28595 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 29597 28595 566 886 0 28707 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 118388

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1681952/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=119792 CPUtime=1241.92
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 31708 0 0 0 123187 1005 0 0 25 0 1 0 187983100 122667008 28939 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 29948 28939 566 886 0 29058 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 119792

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1679584/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=122028 CPUtime=1301.91
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 32294 0 0 0 129135 1056 0 0 25 0 1 0 187983100 124956672 29524 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 30507 29524 566 886 0 29617 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 122028

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1676000/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=125560 CPUtime=1361.89
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 33197 0 0 0 135079 1110 0 0 25 0 1 0 187983100 128573440 30427 1992294400 4194304 7823515 548682068736 18446744073709551615 4289566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 31390 30427 566 886 0 30500 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 125560

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1675040/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=126552 CPUtime=1421.88
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 33432 0 0 0 141027 1161 0 0 25 0 1 0 187983100 129589248 30662 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 31638 30662 566 886 0 30748 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 126552

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1672736/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=128764 CPUtime=1481.86
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 34005 0 0 0 146975 1211 0 0 25 0 1 0 187983100 131854336 31234 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 32191 31234 566 886 0 31301 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 128764

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1669664/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=131668 CPUtime=1541.85
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 34765 0 0 0 152922 1263 0 0 25 0 1 0 187983100 134828032 31994 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 32917 31994 566 886 0 32027 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 131668

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1668576/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=132724 CPUtime=1601.82
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 35035 0 0 0 158865 1317 0 0 25 0 1 0 187983100 135909376 32263 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 33181 32263 566 886 0 32291 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 132724

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 3/65 7052
/proc/meminfo: memFree=1666848/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=134620 CPUtime=1661.81
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 35457 0 0 0 164813 1368 0 0 25 0 1 0 187983100 137850880 32685 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 33655 32685 566 886 0 32765 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 134620

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1664800/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=136680 CPUtime=1721.8
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 35966 0 0 0 170760 1420 0 0 25 0 1 0 187983100 139960320 33194 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 34170 33194 566 886 0 33280 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 136680

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1661280/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=140244 CPUtime=1781.78
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 36845 0 0 0 176703 1475 0 0 25 0 1 0 187983100 143609856 34073 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 35061 34073 566 886 0 34171 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 140244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1660896/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=140568 CPUtime=1800.08
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 36944 0 0 0 178516 1492 0 0 25 0 1 0 187983100 143941632 34172 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6570/statm: 35142 34172 566 886 0 34252 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 140568

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1660896/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=140568 CPUtime=1800.27
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 36946 0 0 0 178535 1492 0 0 17 0 1 0 187983100 143941632 34174 1992294400 4194304 7823515 548682068736 18446744073709551615 4303034 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 35142 34174 568 886 0 34252 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 140568

[startup+1800.9 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 7052
/proc/meminfo: memFree=1660896/2055920 swapFree=4191900/4192956
[pid=6570] ppid=6568 vsize=138284 CPUtime=1800.38
/proc/6570/stat : 6570 (pbscip.linux.x8) R 6568 6570 6533 0 -1 4194304 36946 0 0 0 178545 1493 0 0 18 0 1 0 187983100 141602816 33843 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 34571 33843 2086 886 0 33681 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 138284

Child status: 0
Real time (s): 1800.93
CPU time (s): 1800.42
CPU user time (s): 1785.46
CPU system time (s): 14.9527
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 140568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.46
system time used= 14.9527
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36949
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= 5
involuntary context switches= 3144

runsolver used 1.39879 second user time and 3.69044 second system time

The end

Launcher Data 

Begin job on node9 at 2009-06-17 03:57:04
IDJOB=1870432
IDBENCH=48215
IDSOLVER=683
FILE ID=node9/1870432-1245203824
PBS_JOBID= 9368362
Free space on /tmp= 66160 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_25_3.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-1870432-1245203824/watcher-1870432-1245203824 -o /tmp/evaluation-result-1870432-1245203824/solver-1870432-1245203824 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870432-1245203824.opb

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

MD5SUM BENCH= 04b0fb885ddf05bea62d9eda618b3e5b
RANDOM SEED=853114349

node9.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:       1796792 kB
Buffers:         55608 kB
Cached:         135892 kB
SwapCached:        260 kB
Active:          82724 kB
Inactive:       121476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1796792 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           10160 kB
Writeback:           0 kB
Mapped:          21852 kB
Slab:            40924 kB
Committed_AS:   186696 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66152 MiB
End job on node9 at 2009-06-17 04:27:07