Trace number 3737312

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 NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT (TO)-60 1800.32 1800.65

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-68
Best CPU time to get the best result obtained on this benchmark1800.42
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

Quality of the solution as a function of time


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

Solver Data

0.02/0.04	c SCIP version 1.1.0.7
0.02/0.04	c LP-Solver SoPlex 1.4.1
0.02/0.04	c user parameter file <scip.set> not found - using default parameters
0.02/0.04	c read problem <HOME/instance-3737312-1338743082.opb>
0.02/0.04	c original problem has 8361 variables (8361 bin, 0 int, 0 impl, 0 cont) and 8361 constraints
0.02/0.07	c start presolving problem
0.02/0.07	c presolving:
0.08/0.16	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.19/0.28	c    (0.2s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.28	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.28	c presolving (2 rounds):
0.19/0.28	c  7861 deleted vars, 500 deleted constraints, 7861 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28	c  47166 implications, 0 cliques
0.19/0.28	c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7861 constraints
0.19/0.28	c    7861 constraints of type <and>
0.19/0.28	c transformed objective value is always integral (scale: 1)
0.19/0.28	c Presolving Time: 0.14
0.19/0.28	c OPT-NLC
0.19/0.28	c -----------------------------------------------------------------------------------------------
0.19/0.28	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28	c limits/memory = c 13950
0.19/0.28	c # maximal time in seconds to run
0.19/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28	c limits/time = c 1791
0.19/0.28	c # frequency for displaying node information lines
0.19/0.28	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.28	c display/freq = c 10000
0.19/0.28	c -----------------------------------------------------------------------------------------------
0.19/0.28	c start solving problem
0.19/0.28	c 
0.28/0.37	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.28/0.37	c   0.2s|     1 |     0 |   519 |  29M|   0 | 500 | 500 |7861 |7861 | 500 |7861 |   0 |   0 |   0 |-2.500000e+02 |      --      |    Inf 
0.28/0.37	o -47
0.28/0.37	c R 0.2s|     1 |     0 |   519 |  29M|   0 | 500 | 500 |7861 |7861 | 500 |7861 |   0 |   0 |   0 |-2.500000e+02 |-4.700000e+01 |  81.20%
0.49/0.53	c   0.4s|     1 |     0 |   621 |  29M|   0 | 487 | 500 |7861 |7861 | 500 |7872 |  11 |   0 |   0 |-2.435000e+02 |-4.700000e+01 |  80.70%
0.69/0.71	c   0.6s|     1 |     0 |   727 |  29M|   0 | 482 | 500 |7861 |7861 | 500 |7878 |  17 |   0 |   0 |-2.410000e+02 |-4.700000e+01 |  80.50%
0.89/0.90	c   0.8s|     1 |     0 |   866 |  29M|   0 | 478 | 500 |7861 |7861 | 500 |7883 |  22 |   0 |   0 |-2.390000e+02 |-4.700000e+01 |  80.33%
0.99/1.07	c   0.9s|     1 |     0 |   971 |  29M|   0 | 473 | 500 |7861 |7861 | 500 |7889 |  28 |   0 |   0 |-2.365000e+02 |-4.700000e+01 |  80.13%
1.29/1.30	c   1.2s|     1 |     0 |  1161 |  29M|   0 | 469 | 500 |7861 |7861 | 500 |7900 |  39 |   0 |   0 |-2.345000e+02 |-4.700000e+01 |  79.96%
1.49/1.54	c   1.4s|     1 |     0 |  1327 |  29M|   0 | 463 | 500 |7861 |7861 | 500 |7907 |  46 |   0 |   0 |-2.315000e+02 |-4.700000e+01 |  79.70%
1.79/1.81	c   1.7s|     1 |     0 |  1548 |  29M|   0 | 459 | 500 |7861 |7861 | 500 |7920 |  59 |   0 |   0 |-2.287500e+02 |-4.700000e+01 |  79.45%
1.98/2.05	c   1.9s|     1 |     0 |  1722 |  29M|   0 | 456 | 500 |7861 |7861 | 500 |7926 |  65 |   0 |   0 |-2.270000e+02 |-4.700000e+01 |  79.30%
2.29/2.34	c   2.2s|     1 |     0 |  1964 |  29M|   0 | 454 | 500 |7861 |7861 | 500 |7937 |  76 |   0 |   0 |-2.252500e+02 |-4.700000e+01 |  79.13%
2.59/2.64	c   2.5s|     1 |     0 |  2251 |  29M|   0 | 449 | 500 |7861 |7861 | 500 |7943 |  82 |   0 |   0 |-2.232500e+02 |-4.700000e+01 |  78.95%
2.78/2.84	c   2.7s|     1 |     0 |  2446 |  30M|   0 | 446 | 500 |7861 |7861 | 500 | 746 |  88 |   0 |   0 |-2.222500e+02 |-4.700000e+01 |  78.85%
2.88/2.91	c   2.8s|     1 |     0 |  2591 |  30M|   0 | 430 | 500 |7861 |7861 | 500 | 753 |  95 |   0 |   0 |-2.208750e+02 |-4.700000e+01 |  78.72%
2.99/3.04	c   2.9s|     1 |     0 |  2910 |  30M|   0 | 430 | 500 |7861 |7861 | 500 | 939 | 281 |   0 |   0 |-2.190000e+02 |-4.700000e+01 |  78.54%
3.09/3.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.09/3.13	c   3.0s|     1 |     0 |  3179 |  30M|   0 | 420 | 500 |7861 |7861 | 500 |1049 | 391 |   0 |   0 |-2.182500e+02 |-4.700000e+01 |  78.47%
3.20/3.27	c   3.1s|     1 |     0 |  3690 |  30M|   0 | 426 | 500 |7861 |7861 | 500 |1382 | 724 |   0 |   0 |-2.150000e+02 |-4.700000e+01 |  78.14%
3.29/3.38	c   3.2s|     1 |     0 |  4021 |  30M|   0 | 417 | 500 |7861 |7861 | 500 |1438 | 780 |   0 |   0 |-2.145000e+02 |-4.700000e+01 |  78.09%
3.48/3.53	c   3.4s|     1 |     0 |  4418 |  30M|   0 | 436 | 500 |7861 |7861 | 500 |1351 | 917 |   0 |   0 |-2.132500e+02 |-4.700000e+01 |  77.96%
3.58/3.67	c   3.5s|     1 |     0 |  4835 |  30M|   0 | 419 | 500 |7861 |7861 | 500 |1524 |1090 |   0 |   0 |-2.105000e+02 |-4.700000e+01 |  77.67%
3.69/3.79	c   3.6s|     1 |     0 |  5295 |  31M|   0 | 420 | 500 |7861 |7861 | 500 |1558 |1124 |   0 |   0 |-2.092500e+02 |-4.700000e+01 |  77.54%
3.79/3.89	c   3.7s|     1 |     0 |  5582 |  31M|   0 | 451 | 500 |7861 |7861 | 500 |1566 |1132 |   0 |   0 |-2.087500e+02 |-4.700000e+01 |  77.49%
4.09/4.19	c   4.0s|     1 |     0 |  6058 |  31M|   0 | 415 | 500 |7861 |7861 | 500 |2698 |2264 |   0 |   0 |-2.067500e+02 |-4.700000e+01 |  77.27%
4.29/4.32	c   4.1s|     1 |     0 |  6354 |  31M|   0 | 414 | 500 |7861 |7861 | 500 |2705 |2271 |   0 |   0 |-2.052500e+02 |-4.700000e+01 |  77.10%
4.49/4.52	c   4.3s|     1 |     0 |  6862 |  31M|   0 | 411 | 500 |7861 |7861 | 500 |2408 |2299 |   0 |   0 |-2.045000e+02 |-4.700000e+01 |  77.02%
4.68/4.73	c   4.5s|     1 |     0 |  7397 |  31M|   0 | 406 | 500 |7861 |7861 | 500 |2416 |2307 |   0 |   0 |-2.030000e+02 |-4.700000e+01 |  76.85%
4.88/4.90	c   4.7s|     1 |     0 |  7886 |  31M|   0 | 405 | 500 |7861 |7861 | 500 |2422 |2313 |   0 |   0 |-2.030000e+02 |-4.700000e+01 |  76.85%
5.09/5.19	c   5.0s|     1 |     0 |  8857 |  32M|   0 | 438 | 500 |7861 |7861 | 500 |2492 |2383 |   0 |   0 |-2.015357e+02 |-4.700000e+01 |  76.68%
5.39/5.47	c   5.3s|     1 |     0 |  9545 |  32M|   0 | 405 | 500 |7861 |7861 | 500 |2865 |2756 |   0 |   0 |-1.987500e+02 |-4.700000e+01 |  76.35%
5.59/5.63	c   5.4s|     1 |     0 |  9913 |  32M|   0 | 410 | 500 |7861 |7861 | 500 |2933 |2824 |   0 |   0 |-1.978750e+02 |-4.700000e+01 |  76.25%
5.99/6.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.99/6.01	c   5.8s|     1 |     0 | 10905 |  32M|   0 | 404 | 500 |7861 |7861 | 500 |2157 |2833 |   0 |   0 |-1.962500e+02 |-4.700000e+01 |  76.05%
6.08/6.18	c   6.0s|     1 |     0 | 11414 |  32M|   0 | 406 | 500 |7861 |7861 | 500 |2166 |2842 |   0 |   0 |-1.950833e+02 |-4.700000e+01 |  75.91%
6.28/6.32	c   6.1s|     1 |     0 | 11867 |  32M|   0 | 420 | 500 |7861 |7861 | 500 |2197 |2873 |   0 |   0 |-1.935714e+02 |-4.700000e+01 |  75.72%
6.59/6.67	c   6.5s|     1 |     0 | 12922 |  32M|   0 | 397 | 500 |7861 |7861 | 500 |2231 |2907 |   0 |   0 |-1.925000e+02 |-4.700000e+01 |  75.58%
6.79/6.83	c   6.6s|     1 |     0 | 13422 |  32M|   0 | 399 | 500 |7861 |7861 | 500 |2306 |2982 |   0 |   0 |-1.910000e+02 |-4.700000e+01 |  75.39%
6.99/7.03	c   6.8s|     1 |     0 | 14153 |  32M|   0 | 431 | 500 |7861 |7861 | 500 |2313 |2989 |   0 |   0 |-1.895455e+02 |-4.700000e+01 |  75.20%
7.29/7.34	c   7.1s|     1 |     0 | 14741 |  33M|   0 | 400 | 500 |7861 |7861 | 500 |2044 |3748 |   0 |   0 |-1.880000e+02 |-4.700000e+01 |  75.00%
7.48/7.54	c   7.3s|     1 |     0 | 15341 |  33M|   0 | 410 | 500 |7861 |7861 | 500 |2074 |3778 |   0 |   0 |-1.873304e+02 |-4.700000e+01 |  74.91%
7.59/7.69	c   7.5s|     1 |     0 | 15766 |  33M|   0 | 395 | 500 |7861 |7861 | 500 |2104 |3808 |   0 |   0 |-1.858000e+02 |-4.700000e+01 |  74.70%
7.78/7.85	c   7.7s|     1 |     0 | 16174 |  33M|   0 | 387 | 500 |7861 |7861 | 500 |2189 |3893 |   0 |   0 |-1.847500e+02 |-4.700000e+01 |  74.56%
7.98/8.02	c   7.8s|     1 |     0 | 16653 |  34M|   0 | 374 | 500 |7861 |7861 | 500 |2280 |3984 |   0 |   0 |-1.835000e+02 |-4.700000e+01 |  74.39%
8.18/8.20	c   8.0s|     1 |     0 | 17108 |  34M|   0 | 365 | 500 |7861 |7861 | 500 |2305 |4009 |   0 |   0 |-1.825000e+02 |-4.700000e+01 |  74.25%
8.29/8.34	c   8.1s|     1 |     0 | 17490 |  34M|   0 | 362 | 500 |7861 |7861 | 500 |1737 |4022 |   0 |   0 |-1.810000e+02 |-4.700000e+01 |  74.03%
8.49/8.56	c   8.3s|     1 |     0 | 18098 |  34M|   0 | 368 | 500 |7861 |7861 | 500 |1746 |4031 |   0 |   0 |-1.810000e+02 |-4.700000e+01 |  74.03%
8.69/8.73	c   8.5s|     1 |     0 | 18726 |  34M|   0 | 396 | 500 |7861 |7861 | 500 |1870 |4155 |   0 |   0 |-1.802000e+02 |-4.700000e+01 |  73.92%
8.88/8.93	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.88/8.93	c   8.7s|     1 |     0 | 19357 |  34M|   0 | 358 | 500 |7861 |7861 | 500 |2003 |4288 |   0 |   0 |-1.790000e+02 |-4.700000e+01 |  73.74%
8.98/9.02	c   8.8s|     1 |     0 | 19596 |  34M|   0 | 376 | 500 |7861 |7861 | 500 |2012 |4297 |   0 |   0 |-1.786667e+02 |-4.700000e+01 |  73.69%
9.18/9.20	c   9.0s|     1 |     0 | 20289 |  34M|   0 | 378 | 500 |7861 |7861 | 500 |2110 |4395 |   0 |   0 |-1.770000e+02 |-4.700000e+01 |  73.45%
9.29/9.37	c   9.2s|     1 |     0 | 20837 |  34M|   0 | 407 | 500 |7861 |7861 | 500 |1292 |4466 |   0 |   0 |-1.764500e+02 |-4.700000e+01 |  73.36%
9.49/9.57	c   9.3s|     1 |     0 | 21528 |  34M|   0 | 370 | 500 |7861 |7861 | 500 |1428 |4602 |   0 |   0 |-1.750000e+02 |-4.700000e+01 |  73.14%
9.68/9.72	c   9.5s|     1 |     0 | 22078 |  34M|   0 | 414 | 500 |7861 |7861 | 500 |1551 |4725 |   0 |   0 |-1.744286e+02 |-4.700000e+01 |  73.05%
9.79/9.89	c   9.7s|     1 |     0 | 22589 |  34M|   0 | 402 | 500 |7861 |7861 | 500 |1663 |4837 |   0 |   0 |-1.735714e+02 |-4.700000e+01 |  72.92%
9.98/10.09	c   9.9s|     1 |     0 | 23288 |  34M|   0 | 389 | 500 |7861 |7861 | 500 |1789 |4963 |   0 |   0 |-1.726667e+02 |-4.700000e+01 |  72.78%
10.18/10.29	c  10.1s|     1 |     0 | 23957 |  35M|   0 | 349 | 500 |7861 |7861 | 500 |1866 |5040 |   0 |   0 |-1.722500e+02 |-4.700000e+01 |  72.71%
10.58/10.61	c  10.4s|     1 |     0 | 25128 |  35M|   0 | 447 | 500 |7861 |7861 | 500 |1529 |5049 |   0 |   0 |-1.717723e+02 |-4.700000e+01 |  72.64%
10.79/10.87	c  10.7s|     1 |     0 | 25769 |  37M|   0 | 429 | 500 |7861 |7861 | 500 |1916 |5436 |   0 |   0 |-1.714357e+02 |-4.700000e+01 |  72.58%
11.08/11.17	c  10.9s|     1 |     0 | 26650 |  39M|   0 | 439 | 500 |7861 |7861 | 500 |2034 |5554 |   0 |   0 |-1.702263e+02 |-4.700000e+01 |  72.39%
11.48/11.53	c  11.3s|     1 |     0 | 27304 |  39M|   0 | 422 | 500 |7861 |7861 | 500 |2167 |5687 |   0 |   0 |-1.690608e+02 |-4.700000e+01 |  72.20%
11.79/11.81	c  11.6s|     1 |     0 | 28091 |  41M|   0 | 421 | 500 |7861 |7861 | 500 |2231 |5751 |   0 |   0 |-1.681458e+02 |-4.700000e+01 |  72.05%
11.99/12.08	c  11.8s|     1 |     0 | 28865 |  42M|   0 | 423 | 500 |7861 |7861 | 500 |2288 |5808 |   0 |   0 |-1.671607e+02 |-4.700000e+01 |  71.88%
12.28/12.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.28/12.39	c  12.1s|     1 |     0 | 29728 |  44M|   0 | 453 | 500 |7861 |7861 | 500 |2053 |5904 |   0 |   0 |-1.660347e+02 |-4.700000e+01 |  71.69%
12.68/12.72	c  12.5s|     1 |     0 | 30447 |  44M|   0 | 449 | 500 |7861 |7861 | 500 |2139 |5990 |   0 |   0 |-1.652412e+02 |-4.700000e+01 |  71.56%
13.09/13.13	c  12.9s|     1 |     0 | 31133 |  44M|   0 | 434 | 500 |7861 |7861 | 500 |2268 |6119 |   0 |   0 |-1.645527e+02 |-4.700000e+01 |  71.44%
13.38/13.48	c  13.2s|     1 |     0 | 31723 |  44M|   0 | 451 | 500 |7861 |7861 | 500 |2387 |6238 |   0 |   0 |-1.639714e+02 |-4.700000e+01 |  71.34%
13.88/13.92	c  13.7s|     1 |     0 | 32513 |  45M|   0 | 455 | 500 |7861 |7861 | 500 |2442 |6293 |   0 |   0 |-1.632368e+02 |-4.700000e+01 |  71.21%
14.28/14.35	c  14.1s|     1 |     0 | 33117 |  45M|   0 | 447 | 500 |7861 |7861 | 500 |2482 |6333 |   0 |   0 |-1.626296e+02 |-4.700000e+01 |  71.10%
14.79/14.88	c  14.6s|     1 |     0 | 33945 |  45M|   0 | 461 | 500 |7861 |7861 | 500 |2079 |6357 |   0 |   0 |-1.619900e+02 |-4.700000e+01 |  70.99%
15.29/15.32	c  15.1s|     1 |     0 | 34666 |  45M|   0 | 468 | 500 |7861 |7861 | 500 |2133 |6411 |   0 |   0 |-1.611873e+02 |-4.700000e+01 |  70.84%
15.68/15.77	c  15.5s|     1 |     0 | 35397 |  45M|   0 | 470 | 500 |7861 |7861 | 500 |2239 |6517 |   0 |   0 |-1.604679e+02 |-4.700000e+01 |  70.71%
16.08/16.15	c  15.9s|     1 |     0 | 35768 |  45M|   0 | 462 | 500 |7861 |7861 | 500 |2301 |6579 |   0 |   0 |-1.601633e+02 |-4.700000e+01 |  70.65%
16.59/16.64	c  16.4s|     1 |     0 | 36546 |  45M|   0 | 476 | 500 |7861 |7861 | 500 |2340 |6618 |   0 |   0 |-1.594438e+02 |-4.700000e+01 |  70.52%
17.08/17.16	c  16.9s|     1 |     0 | 37262 |  45M|   0 | 476 | 500 |7861 |7861 | 500 |2401 |6679 |   0 |   0 |-1.587497e+02 |-4.700000e+01 |  70.39%
17.59/17.66	c  17.4s|     1 |     0 | 37822 |  45M|   0 | 481 | 500 |7861 |7861 | 500 |2105 |6704 |   0 |   0 |-1.582073e+02 |-4.700000e+01 |  70.29%
17.98/18.09	c  17.8s|     1 |     0 | 38382 |  45M|   0 | 481 | 500 |7861 |7861 | 500 |2145 |6744 |   0 |   0 |-1.578535e+02 |-4.700000e+01 |  70.23%
18.38/18.49	c  18.2s|     1 |     0 | 38773 |  45M|   0 | 480 | 500 |7861 |7861 | 500 |2172 |6771 |   0 |   0 |-1.576849e+02 |-4.700000e+01 |  70.19%
18.88/18.91	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.88/18.91	c  18.6s|     1 |     0 | 39163 |  45M|   0 | 483 | 500 |7861 |7861 | 500 |2199 |6798 |   0 |   0 |-1.574779e+02 |-4.700000e+01 |  70.15%
19.28/19.39	c  19.1s|     1 |     0 | 39728 |  45M|   0 | 485 | 500 |7861 |7861 | 500 |2261 |6860 |   0 |   0 |-1.571133e+02 |-4.700000e+01 |  70.09%
19.79/19.89	c  19.6s|     1 |     0 | 40458 |  45M|   0 | 482 | 500 |7861 |7861 | 500 |2313 |6912 |   0 |   0 |-1.564113e+02 |-4.700000e+01 |  69.95%
20.38/20.44	c  20.1s|     1 |     0 | 41230 |  45M|   0 | 484 | 500 |7861 |7861 | 500 |2159 |6953 |   0 |   0 |-1.557202e+02 |-4.700000e+01 |  69.82%
20.78/20.87	c  20.6s|     1 |     0 | 41655 |  45M|   0 | 486 | 500 |7861 |7861 | 500 |2194 |6988 |   0 |   0 |-1.553868e+02 |-4.700000e+01 |  69.75%
21.28/21.32	c  21.0s|     1 |     0 | 42124 |  45M|   0 | 486 | 500 |7861 |7861 | 500 |2229 |7023 |   0 |   0 |-1.548708e+02 |-4.700000e+01 |  69.65%
21.68/21.70	c  21.4s|     1 |     0 | 42376 |  45M|   0 | 489 | 500 |7861 |7861 | 500 |2253 |7047 |   0 |   0 |-1.547199e+02 |-4.700000e+01 |  69.62%
22.08/22.11	c  21.8s|     1 |     0 | 42695 |  45M|   0 | 491 | 500 |7861 |7861 | 500 |2276 |7070 |   0 |   0 |-1.544566e+02 |-4.700000e+01 |  69.57%
22.48/22.53	c  22.2s|     1 |     0 | 42959 |  45M|   0 | 489 | 500 |7861 |7861 | 500 |2292 |7086 |   0 |   0 |-1.542554e+02 |-4.700000e+01 |  69.53%
22.88/22.93	c  22.6s|     1 |     0 | 43164 |  45M|   0 | 489 | 500 |7861 |7861 | 500 |2199 |7097 |   0 |   0 |-1.541642e+02 |-4.700000e+01 |  69.51%
23.37/23.40	c  23.1s|     1 |     0 | 43653 |  45M|   0 | 487 | 500 |7861 |7861 | 500 |2209 |7107 |   0 |   0 |-1.537225e+02 |-4.700000e+01 |  69.43%
23.78/23.86	c  23.6s|     1 |     0 | 44139 |  45M|   0 | 488 | 500 |7861 |7861 | 500 |2236 |7134 |   0 |   0 |-1.533041e+02 |-4.700000e+01 |  69.34%
24.28/24.35	c  24.0s|     1 |     0 | 44639 |  45M|   0 | 486 | 500 |7861 |7861 | 500 |2250 |7148 |   0 |   0 |-1.529724e+02 |-4.700000e+01 |  69.28%
24.68/24.78	c  24.5s|     1 |     0 | 44951 |  45M|   0 | 487 | 500 |7861 |7861 | 500 |2276 |7174 |   0 |   0 |-1.528217e+02 |-4.700000e+01 |  69.25%
25.18/25.25	c  24.9s|     1 |     0 | 45440 |  45M|   0 | 489 | 500 |7861 |7861 | 500 |2301 |7199 |   0 |   0 |-1.525722e+02 |-4.700000e+01 |  69.19%
25.67/25.77	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
25.67/25.77	c  25.4s|     1 |     0 | 46076 |  45M|   0 | 493 | 500 |7861 |7861 | 500 |2202 |7211 |   0 |   0 |-1.520998e+02 |-4.700000e+01 |  69.10%
26.18/26.24	c  25.9s|     1 |     0 | 46574 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2216 |7225 |   0 |   0 |-1.517698e+02 |-4.700000e+01 |  69.03%
26.58/26.66	c  26.3s|     1 |     0 | 46902 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2236 |7245 |   0 |   0 |-1.516002e+02 |-4.700000e+01 |  69.00%
26.97/27.09	c  26.8s|     1 |     0 | 47227 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2247 |7256 |   0 |   0 |-1.514266e+02 |-4.700000e+01 |  68.96%
27.49/27.52	c  27.2s|     1 |     0 | 47555 |  45M|   0 | 491 | 500 |7861 |7861 | 500 |2263 |7272 |   0 |   0 |-1.512320e+02 |-4.700000e+01 |  68.92%
27.88/27.99	c  27.6s|     1 |     0 | 48008 |  45M|   0 | 493 | 500 |7861 |7861 | 500 |2276 |7285 |   0 |   0 |-1.510610e+02 |-4.700000e+01 |  68.89%
28.37/28.45	c  28.1s|     1 |     0 | 48382 |  45M|   0 | 492 | 500 |7861 |7861 | 500 |2228 |7300 |   0 |   0 |-1.507608e+02 |-4.700000e+01 |  68.82%
28.78/28.86	c  28.5s|     1 |     0 | 48651 |  45M|   0 | 493 | 500 |7861 |7861 | 500 |2241 |7313 |   0 |   0 |-1.506086e+02 |-4.700000e+01 |  68.79%
29.18/29.28	c  28.9s|     1 |     0 | 48893 |  45M|   0 | 489 | 500 |7861 |7861 | 500 |2252 |7324 |   0 |   0 |-1.504051e+02 |-4.700000e+01 |  68.75%
29.68/29.71	c  29.4s|     1 |     0 | 49213 |  45M|   0 | 493 | 500 |7861 |7861 | 500 |2264 |7336 |   0 |   0 |-1.502391e+02 |-4.700000e+01 |  68.72%
30.07/30.14	c  29.8s|     1 |     0 | 49583 |  45M|   0 | 492 | 500 |7861 |7861 | 500 |2280 |7352 |   0 |   0 |-1.500271e+02 |-4.700000e+01 |  68.67%
30.47/30.52	c  30.2s|     1 |     0 | 49771 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2290 |7362 |   0 |   0 |-1.499600e+02 |-4.700000e+01 |  68.66%
30.88/30.92	c  30.6s|     1 |     0 | 49980 |  45M|   0 | 494 | 500 |7861 |7861 | 500 |2238 |7372 |   0 |   0 |-1.499064e+02 |-4.700000e+01 |  68.65%
31.28/31.33	c  31.0s|     1 |     0 | 50220 |  45M|   0 | 493 | 500 |7861 |7861 | 500 |2253 |7387 |   0 |   0 |-1.497652e+02 |-4.700000e+01 |  68.62%
31.67/31.73	c  31.4s|     1 |     0 | 50485 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2262 |7396 |   0 |   0 |-1.496576e+02 |-4.700000e+01 |  68.59%
32.07/32.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
32.07/32.13	c  31.8s|     1 |     0 | 50662 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2270 |7404 |   0 |   0 |-1.495816e+02 |-4.700000e+01 |  68.58%
32.48/32.55	c  32.2s|     1 |     0 | 50960 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2278 |7412 |   0 |   0 |-1.494852e+02 |-4.700000e+01 |  68.56%
32.88/32.95	c  32.6s|     1 |     0 | 51145 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2288 |7422 |   0 |   0 |-1.494298e+02 |-4.700000e+01 |  68.55%
33.27/33.34	c  33.0s|     1 |     0 | 51330 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2256 |7430 |   0 |   0 |-1.493706e+02 |-4.700000e+01 |  68.53%
33.68/33.70	c  33.3s|     1 |     0 | 51475 |  45M|   0 | 497 | 500 |7861 |7861 | 500 |2266 |7440 |   0 |   0 |-1.493423e+02 |-4.700000e+01 |  68.53%
34.08/34.11	c  33.7s|     1 |     0 | 51756 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2275 |7449 |   0 |   0 |-1.492218e+02 |-4.700000e+01 |  68.50%
34.37/34.48	c  34.1s|     1 |     0 | 51900 |  45M|   0 | 497 | 500 |7861 |7861 | 500 |2280 |7454 |   0 |   0 |-1.491770e+02 |-4.700000e+01 |  68.49%
34.77/34.85	c  34.5s|     1 |     0 | 52070 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2289 |7463 |   0 |   0 |-1.491212e+02 |-4.700000e+01 |  68.48%
35.18/35.21	c  34.8s|     1 |     0 | 52185 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2303 |7477 |   0 |   0 |-1.490968e+02 |-4.700000e+01 |  68.48%
35.48/35.57	c  35.2s|     1 |     0 | 52345 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2266 |7487 |   0 |   0 |-1.490698e+02 |-4.700000e+01 |  68.47%
35.87/35.94	c  35.5s|     1 |     0 | 52497 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2277 |7498 |   0 |   0 |-1.490207e+02 |-4.700000e+01 |  68.46%
36.28/36.31	c  35.9s|     1 |     0 | 52703 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2289 |7510 |   0 |   0 |-1.489535e+02 |-4.700000e+01 |  68.45%
36.57/36.68	c  36.3s|     1 |     0 | 52902 |  45M|   0 | 499 | 500 |7861 |7861 | 500 |2299 |7520 |   0 |   0 |-1.489105e+02 |-4.700000e+01 |  68.44%
36.97/37.05	c  36.7s|     1 |     0 | 53123 |  45M|   0 | 499 | 500 |7861 |7861 | 500 |2313 |7534 |   0 |   0 |-1.488727e+02 |-4.700000e+01 |  68.43%
37.28/37.39	c  37.0s|     1 |     0 | 53321 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2324 |7545 |   0 |   0 |-1.488482e+02 |-4.700000e+01 |  68.42%
37.68/37.73	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
37.68/37.73	c  37.3s|     1 |     0 | 53468 |  45M|   0 | 497 | 500 |7861 |7861 | 500 |2283 |7552 |   0 |   0 |-1.488261e+02 |-4.700000e+01 |  68.42%
37.97/38.07	c  37.7s|     1 |     0 | 53667 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2296 |7565 |   0 |   0 |-1.488032e+02 |-4.700000e+01 |  68.41%
38.38/38.41	c  38.0s|     1 |     0 | 53889 |  45M|   0 | 497 | 500 |7861 |7861 | 500 |2305 |7574 |   0 |   0 |-1.487739e+02 |-4.700000e+01 |  68.41%
38.67/38.75	c  38.4s|     1 |     0 | 54076 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2316 |7585 |   0 |   0 |-1.487496e+02 |-4.700000e+01 |  68.40%
38.98/39.09	c  38.7s|     1 |     0 | 54252 |  45M|   0 | 497 | 500 |7861 |7861 | 500 |2322 |7591 |   0 |   0 |-1.487290e+02 |-4.700000e+01 |  68.40%
39.37/39.42	c  39.0s|     1 |     0 | 54459 |  45M|   0 | 494 | 500 |7861 |7861 | 500 |2329 |7598 |   0 |   0 |-1.487108e+02 |-4.700000e+01 |  68.40%
39.67/39.75	c  39.3s|     1 |     0 | 54614 |  45M|   0 | 498 | 500 |7861 |7861 | 500 |2292 |7613 |   0 |   0 |-1.487023e+02 |-4.700000e+01 |  68.39%
39.97/40.07	c  39.6s|     1 |     0 | 54794 |  45M|   0 | 496 | 500 |7861 |7861 | 500 |2299 |7620 |   0 |   0 |-1.486779e+02 |-4.700000e+01 |  68.39%
40.27/40.38	c  40.0s|     1 |     0 | 54892 |  45M|   0 | 495 | 500 |7861 |7861 | 500 |2312 |7633 |   0 |   0 |-1.486734e+02 |-4.700000e+01 |  68.39%
40.57/40.69	c  40.3s|     1 |     0 | 54993 |  44M|   0 | 460 | 500 |7861 |7861 | 500 |2323 |7644 |   0 |   0 |-1.486667e+02 |-4.700000e+01 |  68.39%
40.87/40.95	c  40.5s|     1 |     0 | 54994 |  44M|   0 | 459 | 500 |7861 |7861 | 500 |2328 |7649 |   0 |   0 |-1.486667e+02 |-4.700000e+01 |  68.39%
41.17/41.21	c  40.8s|     1 |     0 | 54995 |  44M|   0 | 458 | 500 |7861 |7861 | 500 |2329 |7650 |   0 |   0 |-1.486667e+02 |-4.700000e+01 |  68.39%
46.18/46.27	c  45.8s|     1 |     2 | 54995 |  44M|   0 | 458 | 500 |7861 |7861 | 500 |2329 |7650 |   0 |  25 |-1.486667e+02 |-4.700000e+01 |  68.39%
815.03/815.26	c   808s| 10000 | 10001 |  5081k|  98M|  43 | 250 | 500 |7861 |3394 | 500 |1092 | 824k|   0 |3203 |-1.459351e+02 |-4.700000e+01 |  67.79%
1254.05/1254.32	c  1242s| 20000 | 20001 |  8392k| 142M|  44 | 226 | 500 |7861 |2752 | 500 |1223 |1496k|   0 |4552 |-1.458695e+02 |-4.700000e+01 |  67.78%
1617.80/1618.17	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1617.80/1618.17	c  1602s| 30000 | 30001 | 11224k| 183M|  46 | 204 | 500 |7861 |2017 | 500 |1051 |2132k|   0 |5581 |-1.458695e+02 |-4.700000e+01 |  67.78%
1666.19/1666.57	o -54
1666.19/1666.57	c *1650s| 31636 | 31634 | 11621k| 190M|  46 |   - | 500 |7861 |  54 | 500 |1280 |2231k|   0 |5596 |-1.458695e+02 |-5.400000e+01 |  62.98%
1676.38/1676.76	o -55
1676.38/1676.76	c *1660s| 32004 | 31971 | 11699k| 191M|  46 |   - | 500 |7861 |  41 | 500 |1272 |2251k|   0 |5653 |-1.458695e+02 |-5.500000e+01 |  62.30%
1676.38/1676.76	o -56
1676.38/1676.76	c *1660s| 32005 | 31969 | 11699k| 191M|  46 |   - | 500 |7861 |  59 | 500 |1272 |2251k|   0 |5653 |-1.458695e+02 |-5.600000e+01 |  61.61%
1676.38/1676.76	o -57
1676.38/1676.76	c *1660s| 32009 | 31967 | 11699k| 191M|  46 |   - | 500 |7861 |  88 | 500 |1272 |2251k|   0 |5653 |-1.458695e+02 |-5.700000e+01 |  60.92%
1676.38/1676.78	o -58
1676.38/1676.78	c R1660s| 32021 | 31966 | 11699k| 191M|  46 |   - | 500 |7861 | 110 | 500 |1277 |2251k|   0 |5653 |-1.458695e+02 |-5.800000e+01 |  60.24%
1734.17/1734.57	o -59
1734.17/1734.57	c *1717s| 34191 | 33839 | 12163k| 198M|  47 |   - | 500 |7861 | 107 | 500 |1272 |2368k|   0 |5775 |-1.453930e+02 |-5.900000e+01 |  59.42%
1760.27/1760.66	o -60
1760.27/1760.66	c *1743s| 34849 | 34415 | 12359k| 201M|  47 |   - | 500 |7861 | 121 | 500 |1276 |2409k|   0 |5843 |-1.446692e+02 |-6.000000e+01 |  58.53%
1800.07/1800.41	c 
1800.07/1800.41	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.41	c Solving Time (sec) : 1782.37
1800.07/1800.41	c Solving Nodes      : 36103
1800.07/1800.41	c Primal Bound       : -6.00000000000000e+01 (10 solutions)
1800.07/1800.41	c Dual Bound         : -1.44610239898407e+02
1800.07/1800.41	c Gap                : 58.51 %
1800.07/1800.41	c NODE         36103
1800.07/1800.41	c DUAL BOUND   -144.61
1800.07/1800.41	c PRIMAL BOUND -60
1800.07/1800.41	c GAP          0.585092
1800.07/1800.41	s SATISFIABLE
1800.07/1800.41	v x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1800.07/1800.41	v -x478 -x477 -x476 -x475 -x474 x473 x472 x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 
1800.07/1800.41	v -x456 -x455 -x454 x453 -x452 x451 -x450 -x449 x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 
1800.07/1800.41	v -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 x420 -x419 x418 -x417 -x416 -x415 -x414 
1800.07/1800.41	v -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 
1800.07/1800.41	v -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 
1800.07/1800.41	v -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 
1800.07/1800.41	v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 
1800.07/1800.41	v -x329 -x328 x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 
1800.07/1800.41	v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 x293 -x292 -x291 x290 -x289 -x288 -x287 
1800.07/1800.41	v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 
1800.07/1800.41	v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 
1800.07/1800.41	v -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 
1800.07/1800.41	v -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 
1800.07/1800.41	v -x201 -x200 -x199 x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 
1800.07/1800.41	v -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 
1800.07/1800.41	v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 
1800.07/1800.41	v -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 x126 x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 
1800.07/1800.41	v -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1800.07/1800.41	v -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 x71 -x70 
1800.07/1800.41	v -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 
1800.07/1800.41	v -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 
1800.07/1800.41	v -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1 
1800.07/1800.41	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.41	c Solving Time       :    1782.37
1800.07/1800.41	c Original Problem   :
1800.07/1800.41	c   Problem name     : HOME/instance-3737312-1338743082.opb
1800.07/1800.41	c   Variables        : 8361 (8361 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.41	c   Constraints      : 8361 initial, 8361 maximal
1800.07/1800.41	c Presolved Problem  :
1800.07/1800.41	c   Problem name     : t_HOME/instance-3737312-1338743082.opb
1800.07/1800.41	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.41	c   Constraints      : 7861 initial, 7861 maximal
1800.07/1800.41	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.41	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.41	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.41	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.41	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.41	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.41	c   probing          :       0.06          0          0          0          0          0          0          0          0
1800.07/1800.41	c   and              :       0.07          0          0          0          0          0          0          0          0
1800.07/1800.41	c   linear           :       0.01       7861          0          0       7861          0        500          0          0
1800.07/1800.41	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.41	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.41	c   integral         :          0          0          0      35871          0          0          0          0          0      71730
1800.07/1800.41	c   and              :       7861      83350     242093          6          0          0     652650    3800334          0          0
1800.07/1800.41	c   countsols        :          0          0          0          6          0          0          0          0          0          0
1800.07/1800.41	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.41	c   integral         :     147.31       0.00       0.00     147.31       0.00
1800.07/1800.41	c   and              :      59.67      47.14      12.52       0.01       0.00
1800.07/1800.41	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.41	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.41	c   rootredcost      :       0.05          7          0          0
1800.07/1800.41	c   pseudoobj        :       2.18     242088          0          0
1800.07/1800.41	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.41	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.41	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.41	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.41	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.41	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.41	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.07/1800.41	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.41	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.41	c   cut pool         :       0.32        130          -          -       1789          -    (maximal pool size: 7625)
1800.07/1800.41	c   redcost          :       0.90      83350          0          1          0          0
1800.07/1800.41	c   impliedbounds    :       0.07        131          0          0      11110          0
1800.07/1800.41	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.41	c   gomory           :      22.91        131          0          0      32503          0
1800.07/1800.41	c   strongcg         :       0.56         20          0          0      10000          0
1800.07/1800.41	c   cmir             :       0.28         10          0          0          0          0
1800.07/1800.41	c   flowcover        :       0.19         10          0          0          0          0
1800.07/1800.41	c   clique           :       1.10        131          0          0       1115          0
1800.07/1800.41	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.41	c   mcf              :       0.01          1          0          0          0          0
1800.07/1800.41	c Pricers            :       Time      Calls       Vars
1800.07/1800.41	c   problem variables:       0.00          0          0
1800.07/1800.41	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.41	c   relpscost        :     147.28      35865          0          0          0          0      71730
1800.07/1800.41	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.41	c   inference        :       0.00          0          0          0          0          0          0
1800.07/1800.41	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.41	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.41	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.41	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.41	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.41	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.41	c   LP solutions     :       0.01          -          6
1800.07/1800.41	c   pseudo solutions :       0.00          -          0
1800.07/1800.41	c   oneopt           :       0.00          8          0
1800.07/1800.41	c   crossover        :       0.12          9          0
1800.07/1800.41	c   pscostdiving     :      62.11        537          0
1800.07/1800.41	c   guideddiving     :      53.52        925          0
1800.07/1800.41	c   linesearchdiving :      45.80       1122          0
1800.07/1800.41	c   fracdiving       :      47.48       1128          0
1800.07/1800.41	c   simplerounding   :       0.01          0          0
1800.07/1800.41	c   rounding         :      11.61      13534          2
1800.07/1800.41	c   shifting         :       1.93       2132          2
1800.07/1800.41	c   intshifting      :       0.00          0          0
1800.07/1800.41	c   fixandinfer      :       0.00          0          0
1800.07/1800.41	c   feaspump         :       0.01          0          0
1800.07/1800.41	c   coefdiving       :      57.80        607          0
1800.07/1800.41	c   veclendiving     :      60.37        627          0
1800.07/1800.41	c   intdiving        :       0.00          0          0
1800.07/1800.41	c   actconsdiving    :       0.00          0          0
1800.07/1800.41	c   objpscostdiving  :      16.26        164          0
1800.07/1800.41	c   rootsoldiving    :      12.25        326          0
1800.07/1800.41	c   octane           :       0.00          0          0
1800.07/1800.41	c   rens             :       0.00          0          0
1800.07/1800.41	c   rins             :       0.00          0          0
1800.07/1800.41	c   localbranching   :       0.00          0          0
1800.07/1800.41	c   mutation         :       0.00          0          0
1800.07/1800.41	c   dins             :       0.00          0          0
1800.07/1800.41	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.41	c   primal LP        :      14.74          0          0       0.00       0.00
1800.07/1800.41	c   dual LP          :    1123.95      83753    9555507     114.09    8501.72
1800.07/1800.41	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.41	c   diving/probing LP:     319.26     165422    3113316      18.82    9751.66
1800.07/1800.41	c   strong branching :     145.37       5955    1140565     191.53    7845.94
1800.07/1800.41	c     (at root node) :          -         25      20759     830.36          -
1800.07/1800.41	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.41	c B&B Tree           :
1800.07/1800.41	c   number of runs   :          1
1800.07/1800.41	c   nodes            :      36103
1800.07/1800.41	c   nodes (total)    :      36103
1800.07/1800.41	c   nodes left       :      35613
1800.07/1800.41	c   max depth        :         47
1800.07/1800.41	c   max depth (total):         47
1800.07/1800.41	c   backtracks       :       7351 (20.4%)
1800.07/1800.41	c   delayed cutoffs  :          0
1800.07/1800.41	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.07/1800.41	c   avg switch length:       7.90
1800.07/1800.41	c   switching time   :      26.43
1800.07/1800.41	c Solution           :
1800.07/1800.41	c   Solutions found  :         10 (8 improvements)
1800.07/1800.41	c   Primal Bound     : -6.00000000000000e+01   (in run 1, after 34849 nodes, 1743.04 seconds, depth 38, found by <relaxation>)
1800.07/1800.41	c   Dual Bound       : -1.44610239898407e+02
1800.07/1800.41	c   Gap              :      58.51 %
1800.07/1800.41	c   Root Dual Bound  : -1.48666666666667e+02
1800.27/1800.64	c Time complete: 1800.31.

Verifier Data

OK	-60

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737312-1338743082/watcher-3737312-1338743082 -o /tmp/evaluation-result-3737312-1338743082/solver-3737312-1338743082 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737312-1338743082.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29613
/proc/meminfo: memFree=26756516/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=8404 CPUtime=0 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 1446 0 0 0 0 0 0 0 20 0 1 0 340435000 8605696 1398 33554432000 4194304 7823515 140735011007088 140735687670920 6957168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 2101 1398 337 887 0 1211 0

[startup+0.032584 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29613
/proc/meminfo: memFree=26756516/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=15884 CPUtime=0.02 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 3337 0 0 0 2 0 0 0 20 0 1 0 340435000 16265216 3289 33554432000 4194304 7823515 140735011007088 140735687670920 6896815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 3971 3289 354 887 0 3081 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15884

[startup+0.100275 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29613
/proc/meminfo: memFree=26756516/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=37428 CPUtime=0.08 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 8802 0 0 0 7 1 0 0 20 0 1 0 340435000 38326272 8400 33554432000 4194304 7823515 140735011007088 140735687670920 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 9357 8400 404 887 0 8467 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 37428

[startup+0.30023 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29613
/proc/meminfo: memFree=26756516/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=44404 CPUtime=0.28 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 10585 0 0 0 20 8 0 0 20 0 1 0 340435000 45469696 10183 33554432000 4194304 7823515 140735011007088 140735011003768 7026009 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 11357 10201 471 887 0 10467 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 44404

[startup+0.700232 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29613
/proc/meminfo: memFree=26756516/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=59656 CPUtime=0.69 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 14497 0 0 0 59 10 0 0 20 0 1 0 340435000 61087744 13881 33554432000 4194304 7823515 140735011007088 140735011003768 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 14914 13881 543 887 0 14024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59656

[startup+1.50023 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29614
/proc/meminfo: memFree=26703312/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=60328 CPUtime=1.49 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 14845 0 0 0 138 11 0 0 20 0 1 0 340435000 61775872 14222 33554432000 4194304 7823515 140735011007088 140735011002840 6205808 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 15082 14222 545 887 0 14192 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60328

[startup+3.10023 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29614
/proc/meminfo: memFree=26700212/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=65644 CPUtime=3.09 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 16376 0 0 0 296 13 0 0 20 0 1 0 340435000 67219456 15656 33554432000 4194304 7823515 140735011007088 140735011002232 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 16411 15656 546 887 0 15521 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65644

[startup+6.30024 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29614
/proc/meminfo: memFree=26685084/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=76576 CPUtime=6.28 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 19187 0 0 0 613 15 0 0 20 0 1 0 340435000 78413824 18381 33554432000 4194304 7823515 140735011007088 140735011002888 6211600 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 19144 18381 546 887 0 18254 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 76576

[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29614
/proc/meminfo: memFree=26671568/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=92460 CPUtime=12.68 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 23094 0 0 0 1248 20 0 0 20 0 1 0 340435000 94679040 22233 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 23115 22233 546 887 0 22225 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92460

[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 29614
/proc/meminfo: memFree=26669092/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=92820 CPUtime=25.47 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 23233 0 0 0 2520 27 0 0 20 0 1 0 340435000 95047680 22371 33554432000 4194304 7823515 140735011007088 140735011001528 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 23205 22371 547 887 0 22315 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 92820

[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29615
/proc/meminfo: memFree=26667388/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=94888 CPUtime=51.07 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 23657 0 0 0 5063 44 0 0 20 0 1 0 340435000 97165312 22795 33554432000 4194304 7823515 140735011007088 140735011002248 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 23722 22795 554 887 0 22832 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 94888

[startup+102.306 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 29615
/proc/meminfo: memFree=26664600/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=94888 CPUtime=102.26 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 23671 0 0 0 10141 85 0 0 20 0 1 0 340435000 97165312 22808 33554432000 4194304 7823515 140735011007088 140735011002984 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 23722 22808 555 887 0 22832 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 94888

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 29616
/proc/meminfo: memFree=26665768/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=95128 CPUtime=162.24 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 25683 0 0 0 16093 131 0 0 20 0 1 0 340435000 97411072 22880 33554432000 4194304 7823515 140735011007088 140735011001784 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 23782 22880 566 887 0 22892 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 95128

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29616
/proc/meminfo: memFree=26662424/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=98524 CPUtime=222.23 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 26527 0 0 0 22039 184 0 0 20 0 1 0 340435000 100888576 23723 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 24631 23723 566 887 0 23741 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 98524

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29616
/proc/meminfo: memFree=26657836/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=103528 CPUtime=282.22 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 27729 0 0 0 27986 236 0 0 20 0 1 0 340435000 106012672 24924 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 25882 24924 566 887 0 24992 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 103528

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29619
/proc/meminfo: memFree=26652984/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=106924 CPUtime=342.21 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 28520 0 0 0 33933 288 0 0 20 0 1 0 340435000 109490176 25962 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 26731 25962 566 887 0 25841 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 106924

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29619
/proc/meminfo: memFree=26647904/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=112120 CPUtime=402.2 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 29802 0 0 0 39872 348 0 0 20 0 1 0 340435000 114810880 27273 33554432000 4194304 7823515 140735011007088 140735011002872 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 28030 27273 566 887 0 27140 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 112120

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29620
/proc/meminfo: memFree=26643812/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=116520 CPUtime=462.19 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 30876 0 0 0 45814 405 0 0 20 0 1 0 340435000 119316480 28346 33554432000 4194304 7823515 140735011007088 140735011002840 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 29130 28346 566 887 0 28240 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 116520

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29620
/proc/meminfo: memFree=26639720/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=119804 CPUtime=522.18 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 31726 0 0 0 51757 461 0 0 20 0 1 0 340435000 122679296 29195 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 29951 29195 566 887 0 29061 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 119804

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29620
/proc/meminfo: memFree=26633396/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=125572 CPUtime=582.18 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 33218 0 0 0 57699 519 0 0 20 0 1 0 340435000 128585728 30686 33554432000 4194304 7823515 140735011007088 140735011002776 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 31393 30686 566 887 0 30503 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 125572

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29621
/proc/meminfo: memFree=26603752/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=155472 CPUtime=882.11 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 40573 0 0 0 87400 811 0 0 20 0 1 0 340435000 159203328 38154 33554432000 4194304 7823515 140735011007088 140735011002840 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 38868 38154 566 887 0 37978 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 155472

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29624
/proc/meminfo: memFree=26598908/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=160292 CPUtime=942.11 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 41750 0 0 0 93341 870 0 0 20 0 1 0 340435000 164139008 39331 33554432000 4194304 7823515 140735011007088 140735011004232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 40073 39331 566 887 0 39183 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 160292

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=26593708/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=165660 CPUtime=1002.09 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 43072 0 0 0 99278 931 0 0 20 0 1 0 340435000 169635840 40653 33554432000 4194304 7823515 140735011007088 140735011002776 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 41415 40653 566 887 0 40525 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 165660

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29625
/proc/meminfo: memFree=26588256/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=171168 CPUtime=1062.08 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 44409 0 0 0 105220 988 0 0 20 0 1 0 340435000 175276032 41990 33554432000 4194304 7823515 140735011007088 140735011002568 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 42792 41990 566 887 0 41902 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 171168

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29625
/proc/meminfo: memFree=26580364/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=177700 CPUtime=1122.07 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 46064 0 0 0 111156 1051 0 0 20 0 1 0 340435000 181964800 43704 33554432000 4194304 7823515 140735011007088 140735011002920 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 44425 43704 566 887 0 43535 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 177700

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29625
/proc/meminfo: memFree=26575688/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=185756 CPUtime=1182.06 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 48036 0 0 0 117091 1115 0 0 20 0 1 0 340435000 190214144 45746 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 46439 45746 566 887 0 45549 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 185756

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29625
/proc/meminfo: memFree=26567380/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=191528 CPUtime=1242.06 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 49484 0 0 0 123021 1185 0 0 20 0 1 0 340435000 196124672 47194 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 47882 47194 566 887 0 46992 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 191528

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29625
/proc/meminfo: memFree=26560560/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=198224 CPUtime=1302.05 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 51126 0 0 0 128957 1248 0 0 20 0 1 0 340435000 202981376 48835 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 49556 48835 566 887 0 48666 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 198224

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29626
/proc/meminfo: memFree=26552996/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=206280 CPUtime=1362.03 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 53072 0 0 0 134895 1308 0 0 20 0 1 0 340435000 211230720 50780 33554432000 4194304 7823515 140735011007088 140735011002888 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 51570 50780 566 887 0 50680 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 206280

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29626
/proc/meminfo: memFree=26544528/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=213632 CPUtime=1422.03 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 54901 0 0 0 140836 1367 0 0 20 0 1 0 340435000 218759168 52745 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 53408 52745 566 887 0 52518 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 213632

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29626
/proc/meminfo: memFree=26539908/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=219076 CPUtime=1482.02 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 56250 0 0 0 146771 1431 0 0 20 0 1 0 340435000 224333824 54093 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 54769 54093 566 887 0 53879 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 219076

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29629
/proc/meminfo: memFree=26533328/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=225600 CPUtime=1542 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 57857 0 0 0 152706 1494 0 0 20 0 1 0 340435000 231014400 55699 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 56400 55699 566 887 0 55510 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 225600

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29629
/proc/meminfo: memFree=26523664/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=235152 CPUtime=1601.99 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 60262 0 0 0 158645 1554 0 0 20 0 1 0 340435000 240795648 58104 33554432000 4194304 7823515 140735011007088 140735011003752 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 58788 58104 566 887 0 57898 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 235152

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 29630
/proc/meminfo: memFree=26513744/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=239556 CPUtime=1661.99 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 61361 0 0 0 164580 1619 0 0 20 0 1 0 340435000 245305344 59203 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 59889 59203 566 887 0 58999 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 239556

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 29707
/proc/meminfo: memFree=26712660/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=252632 CPUtime=1721.98 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 70678 0 0 0 170512 1686 0 0 20 0 1 0 340435000 258695168 62465 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 63158 62465 570 887 0 62268 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 252632

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29707
/proc/meminfo: memFree=26706448/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=254336 CPUtime=1781.96 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 76456 0 0 0 176446 1750 0 0 20 0 1 0 340435000 260440064 62958 33554432000 4194304 7823515 140735011007088 140735011002136 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 63584 62958 570 887 0 62694 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 254336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29707
/proc/meminfo: memFree=26707848/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=255576 CPUtime=1800.07 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 76772 0 0 0 178239 1768 0 0 20 0 1 0 340435000 261709824 63273 33554432000 4194304 7823515 140735011007088 140735011002552 4289652 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 63894 63273 570 887 0 63004 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 255576

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

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29708
/proc/meminfo: memFree=26707848/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=255576 CPUtime=1800.27 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 76774 0 0 0 178259 1768 0 0 20 0 1 0 340435000 261709824 63275 33554432000 4194304 7823515 140735011007088 140735011002840 4212016 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 63894 63275 572 887 0 63004 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 255576

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.32
CPU user time (s): 1782.63
CPU system time (s): 17.6863
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 260848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.63
system time used= 17.6863
maximum resident set size= 259168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76777
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= 52
involuntary context switches= 2320

runsolver used 3.2725 second user time and 8.69268 second system time

The end

Launcher Data

Begin job on node115 at 2012-06-03 19:04:42
IDJOB=3737312
IDBENCH=48215
IDSOLVER=2321
FILE ID=node115/3737312-1338743082
RUNJOBID= node115-1338714108-27084
PBS_JOBID= 14636752
Free space on /tmp= 70820 MiB

SOLVER NAME= PB09: 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-3737312-1338743082/watcher-3737312-1338743082 -o /tmp/evaluation-result-3737312-1338743082/solver-3737312-1338743082 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737312-1338743082.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 04b0fb885ddf05bea62d9eda618b3e5b
RANDOM SEED=1799462973

node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26756788 kB
Buffers:         1437396 kB
Cached:          3494740 kB
SwapCached:         1016 kB
Active:          3024756 kB
Inactive:        2180436 kB
Active(anon):     261716 kB
Inactive(anon):     9868 kB
Active(file):    2763040 kB
Inactive(file):  2170568 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106440 kB
Dirty:              9752 kB
Writeback:             0 kB
AnonPages:        276652 kB
Mapped:            13668 kB
Shmem:                96 kB
Slab:             771636 kB
SReclaimable:     215440 kB
SUnreclaim:       556196 kB
KernelStack:        1448 kB
PageTables:         4796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     388356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70812 MiB
End job on node115 at 2012-06-03 19:34:45