Trace number 1870384

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)-45 1800.3 1800.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_1.opb
MD5SUM7980660368cd371c40e33d6668082e41
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-62
Best CPU time to get the best result obtained on this benchmark1800.36
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -64
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 constraint48
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)15716
Sum of products size (including duplicates)31432
Number of different products7858
Sum of products size15716

Quality of the solution as a function of time


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

Solver Data 

0.07/0.09	c SCIP version 1.1.0.7
0.07/0.09	c LP-Solver SoPlex 1.4.1
0.07/0.09	c user parameter file <scip.set> not found - using default parameters
0.07/0.09	c read problem <HOME/instance-1870384-1245201040.opb>
0.07/0.09	c original problem has 8358 variables (8358 bin, 0 int, 0 impl, 0 cont) and 8358 constraints
0.09/0.17	c start presolving problem
0.09/0.17	c presolving:
0.29/0.39	c (round 1) 7858 del vars, 500 del conss, 7858 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31432 impls, 0 clqs
0.69/0.76	c    (0.5s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.76	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.69/0.76	c presolving (2 rounds):
0.69/0.76	c  7858 deleted vars, 500 deleted constraints, 7858 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.76	c  47148 implications, 0 cliques
0.69/0.76	c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7858 constraints
0.69/0.76	c    7858 constraints of type <and>
0.69/0.76	c transformed objective value is always integral (scale: 1)
0.69/0.76	c Presolving Time: 0.46
0.69/0.76	c OPT-NLC
0.69/0.76	c -----------------------------------------------------------------------------------------------
0.69/0.76	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.76	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.76	c limits/memory = c 1620
0.69/0.76	c # maximal time in seconds to run
0.69/0.76	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.76	c limits/time = c 1791
0.69/0.76	c # frequency for displaying node information lines
0.69/0.76	c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.76	c display/freq = c 10000
0.69/0.76	c -----------------------------------------------------------------------------------------------
0.69/0.76	c start solving problem
0.69/0.76	c 
0.89/0.96	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.89/0.96	c   0.7s|     1 |     0 |   520 |  29M|   0 | 500 | 500 |7858 |7858 | 500 |7858 |   0 |   0 |   0 |-2.500000e+02 |      --      |    Inf 
0.89/0.97	o -43
0.89/0.97	c R 0.7s|     1 |     0 |   520 |  29M|   0 | 500 | 500 |7858 |7858 | 500 |7858 |   0 |   0 |   0 |-2.500000e+02 |-4.300000e+01 |  82.80%
1.29/1.33	c   1.1s|     1 |     0 |   611 |  29M|   0 | 490 | 500 |7858 |7858 | 500 |7869 |  11 |   0 |   0 |-2.450000e+02 |-4.300000e+01 |  82.45%
1.69/1.72	c   1.4s|     1 |     0 |   714 |  29M|   0 | 485 | 500 |7858 |7858 | 500 |7875 |  17 |   0 |   0 |-2.425000e+02 |-4.300000e+01 |  82.27%
2.10/2.11	c   1.8s|     1 |     0 |   800 |  29M|   0 | 480 | 500 |7858 |7858 | 500 |7885 |  27 |   0 |   0 |-2.400000e+02 |-4.300000e+01 |  82.08%
2.49/2.52	c   2.2s|     1 |     0 |   873 |  29M|   0 | 475 | 500 |7858 |7858 | 500 |7895 |  37 |   0 |   0 |-2.375000e+02 |-4.300000e+01 |  81.89%
2.89/2.91	c   2.6s|     1 |     0 |   973 |  29M|   0 | 470 | 500 |7858 |7858 | 500 |7902 |  44 |   0 |   0 |-2.350000e+02 |-4.300000e+01 |  81.70%
2.89/2.92	o -45
2.89/2.92	c R 2.6s|     1 |     0 |   973 |  29M|   0 | 470 | 500 |7858 |7858 | 500 |7902 |  44 |   0 |   0 |-2.350000e+02 |-4.500000e+01 |  80.85%
3.39/3.46	c   3.1s|     1 |     0 |  1141 |  29M|   0 | 467 | 500 |7858 |7858 | 500 |7912 |  54 |   0 |   0 |-2.327500e+02 |-4.500000e+01 |  80.67%
3.79/3.86	c   3.5s|     1 |     0 |  1215 |  29M|   0 | 464 | 500 |7858 |7858 | 500 |7921 |  63 |   0 |   0 |-2.320000e+02 |-4.500000e+01 |  80.60%
4.39/4.44	c   4.1s|     1 |     0 |  1446 |  29M|   0 | 459 | 500 |7858 |7858 | 500 |7930 |  72 |   0 |   0 |-2.295000e+02 |-4.500000e+01 |  80.39%
4.89/4.99	c   4.6s|     1 |     0 |  1599 |  29M|   0 | 457 | 500 |7858 |7858 | 500 |7938 |  80 |   0 |   0 |-2.285000e+02 |-4.500000e+01 |  80.31%
5.68/5.73	c   5.4s|     1 |     0 |  1861 |  30M|   0 | 457 | 500 |7858 |7858 | 500 |7948 |  90 |   0 |   0 |-2.270000e+02 |-4.500000e+01 |  80.18%
6.49/6.55	c   6.2s|     1 |     0 |  2199 |  30M|   0 | 453 | 500 |7858 |7858 | 500 | 784 |  98 |   0 |   0 |-2.255000e+02 |-4.500000e+01 |  80.04%
6.69/6.73	c   6.4s|     1 |     0 |  2469 |  30M|   0 | 439 | 500 |7858 |7858 | 500 | 791 | 105 |   0 |   0 |-2.235000e+02 |-4.500000e+01 |  79.87%
6.88/6.94	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.88/6.94	c   6.6s|     1 |     0 |  2771 |  30M|   0 | 427 | 500 |7858 |7858 | 500 |1005 | 319 |   0 |   0 |-2.215000e+02 |-4.500000e+01 |  79.68%
7.09/7.19	c   6.8s|     1 |     0 |  3187 |  30M|   0 | 416 | 500 |7858 |7858 | 500 |1176 | 490 |   0 |   0 |-2.190000e+02 |-4.500000e+01 |  79.45%
7.49/7.51	c   7.1s|     1 |     0 |  3579 |  30M|   0 | 442 | 500 |7858 |7858 | 500 |1449 | 763 |   0 |   0 |-2.171250e+02 |-4.500000e+01 |  79.27%
7.79/7.80	c   7.4s|     1 |     0 |  4079 |  30M|   0 | 435 | 500 |7858 |7858 | 500 |1553 | 867 |   0 |   0 |-2.142500e+02 |-4.500000e+01 |  79.00%
7.99/8.01	c   7.6s|     1 |     0 |  4376 |  31M|   0 | 420 | 500 |7858 |7858 | 500 |1430 | 982 |   0 |   0 |-2.120000e+02 |-4.500000e+01 |  78.77%
8.19/8.22	c   7.8s|     1 |     0 |  4626 |  31M|   0 | 428 | 500 |7858 |7858 | 500 |1524 |1076 |   0 |   0 |-2.113333e+02 |-4.500000e+01 |  78.71%
8.59/8.61	c   8.2s|     1 |     0 |  5249 |  31M|   0 | 439 | 500 |7858 |7858 | 500 |1680 |1232 |   0 |   0 |-2.079423e+02 |-4.500000e+01 |  78.36%
8.99/9.00	c   8.6s|     1 |     0 |  5515 |  31M|   0 | 413 | 500 |7858 |7858 | 500 |2292 |1844 |   0 |   0 |-2.060000e+02 |-4.500000e+01 |  78.16%
9.19/9.23	c   8.8s|     1 |     0 |  5795 |  31M|   0 | 408 | 500 |7858 |7858 | 500 |2317 |1869 |   0 |   0 |-2.050000e+02 |-4.500000e+01 |  78.05%
9.39/9.41	c   9.0s|     1 |     0 |  5968 |  31M|   0 | 409 | 500 |7858 |7858 | 500 |2337 |1889 |   0 |   0 |-2.045000e+02 |-4.500000e+01 |  78.00%
9.69/9.77	c   9.4s|     1 |     0 |  6412 |  31M|   0 | 406 | 500 |7858 |7858 | 500 |1998 |1895 |   0 |   0 |-2.030000e+02 |-4.500000e+01 |  77.83%
9.99/10.02	c   9.6s|     1 |     0 |  6796 |  31M|   0 | 415 | 500 |7858 |7858 | 500 |2005 |1902 |   0 |   0 |-2.018333e+02 |-4.500000e+01 |  77.70%
10.19/10.25	c   9.8s|     1 |     0 |  7096 |  31M|   0 | 417 | 500 |7858 |7858 | 500 |2072 |1969 |   0 |   0 |-2.010000e+02 |-4.500000e+01 |  77.61%
10.69/10.79	c  10.4s|     1 |     0 |  7910 |  32M|   0 | 410 | 500 |7858 |7858 | 500 |2145 |2042 |   0 |   0 |-2.000000e+02 |-4.500000e+01 |  77.50%
11.18/11.21	c  10.8s|     1 |     0 |  8566 |  32M|   0 | 408 | 500 |7858 |7858 | 500 |2198 |2095 |   0 |   0 |-1.987500e+02 |-4.500000e+01 |  77.36%
11.48/11.52	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.48/11.52	c  11.1s|     1 |     0 |  8977 |  32M|   0 | 403 | 500 |7858 |7858 | 500 |2264 |2161 |   0 |   0 |-1.971667e+02 |-4.500000e+01 |  77.18%
11.89/11.99	c  11.6s|     1 |     0 |  9740 |  32M|   0 | 405 | 500 |7858 |7858 | 500 |1449 |2188 |   0 |   0 |-1.948889e+02 |-4.500000e+01 |  76.91%
12.09/12.20	c  11.8s|     1 |     0 |  9968 |  32M|   0 | 403 | 500 |7858 |7858 | 500 |1474 |2213 |   0 |   0 |-1.944667e+02 |-4.500000e+01 |  76.86%
12.39/12.49	c  12.1s|     1 |     0 | 10527 |  32M|   0 | 429 | 500 |7858 |7858 | 500 |1518 |2257 |   0 |   0 |-1.931331e+02 |-4.500000e+01 |  76.70%
13.10/13.13	c  12.7s|     1 |     0 | 10975 |  33M|   0 | 391 | 500 |7858 |7858 | 500 |2552 |3291 |   0 |   0 |-1.905000e+02 |-4.500000e+01 |  76.38%
13.59/13.66	c  13.2s|     1 |     0 | 11582 |  33M|   0 | 382 | 500 |7858 |7858 | 500 |2599 |3338 |   0 |   0 |-1.890000e+02 |-4.500000e+01 |  76.19%
13.98/14.08	c  13.6s|     1 |     0 | 12102 |  33M|   0 | 381 | 500 |7858 |7858 | 500 |2612 |3351 |   0 |   0 |-1.870000e+02 |-4.500000e+01 |  75.94%
14.29/14.35	c  13.9s|     1 |     0 | 12409 |  33M|   0 | 383 | 500 |7858 |7858 | 500 |1923 |3358 |   0 |   0 |-1.860000e+02 |-4.500000e+01 |  75.81%
14.69/14.73	c  14.3s|     1 |     0 | 13042 |  33M|   0 | 376 | 500 |7858 |7858 | 500 |1950 |3385 |   0 |   0 |-1.845000e+02 |-4.500000e+01 |  75.61%
14.89/14.95	c  14.5s|     1 |     0 | 13303 |  33M|   0 | 370 | 500 |7858 |7858 | 500 |2002 |3437 |   0 |   0 |-1.835000e+02 |-4.500000e+01 |  75.48%
15.19/15.20	c  14.8s|     1 |     0 | 13661 |  33M|   0 | 366 | 500 |7858 |7858 | 500 |2057 |3492 |   0 |   0 |-1.830000e+02 |-4.500000e+01 |  75.41%
15.29/15.39	c  14.9s|     1 |     0 | 13910 |  33M|   0 | 365 | 500 |7858 |7858 | 500 |2065 |3500 |   0 |   0 |-1.825000e+02 |-4.500000e+01 |  75.34%
15.59/15.65	c  15.2s|     1 |     0 | 14251 |  33M|   0 | 362 | 500 |7858 |7858 | 500 |2075 |3510 |   0 |   0 |-1.820000e+02 |-4.500000e+01 |  75.27%
15.89/15.94	c  15.5s|     1 |     0 | 14626 |  33M|   0 | 358 | 500 |7858 |7858 | 500 |1748 |3543 |   0 |   0 |-1.820000e+02 |-4.500000e+01 |  75.27%
16.29/16.33	c  15.9s|     1 |     0 | 15286 |  33M|   0 | 413 | 500 |7858 |7858 | 500 |1800 |3595 |   0 |   0 |-1.812292e+02 |-4.500000e+01 |  75.17%
16.68/16.78	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.68/16.78	c  16.3s|     1 |     0 | 15895 |  34M|   0 | 392 | 500 |7858 |7858 | 500 |2005 |3800 |   0 |   0 |-1.796667e+02 |-4.500000e+01 |  74.95%
17.19/17.28	c  16.8s|     1 |     0 | 16570 |  34M|   0 | 404 | 500 |7858 |7858 | 500 |2141 |3936 |   0 |   0 |-1.786000e+02 |-4.500000e+01 |  74.80%
17.68/17.79	c  17.3s|     1 |     0 | 17330 |  35M|   0 | 397 | 500 |7858 |7858 | 500 |2214 |4009 |   0 |   0 |-1.773077e+02 |-4.500000e+01 |  74.62%
18.19/18.23	c  17.8s|     1 |     0 | 17898 |  35M|   0 | 420 | 500 |7858 |7858 | 500 |2412 |4207 |   0 |   0 |-1.762708e+02 |-4.500000e+01 |  74.47%
18.79/18.81	c  18.3s|     1 |     0 | 18740 |  35M|   0 | 419 | 500 |7858 |7858 | 500 |1479 |4280 |   0 |   0 |-1.748889e+02 |-4.500000e+01 |  74.27%
19.09/19.15	c  18.7s|     1 |     0 | 19380 |  35M|   0 | 358 | 500 |7858 |7858 | 500 |1528 |4329 |   0 |   0 |-1.733750e+02 |-4.500000e+01 |  74.04%
19.38/19.43	c  18.9s|     1 |     0 | 19848 |  35M|   0 | 381 | 500 |7858 |7858 | 500 |1563 |4364 |   0 |   0 |-1.724167e+02 |-4.500000e+01 |  73.90%
19.79/19.81	c  19.3s|     1 |     0 | 20523 |  36M|   0 | 421 | 500 |7858 |7858 | 500 |1616 |4417 |   0 |   0 |-1.715411e+02 |-4.500000e+01 |  73.77%
20.19/20.23	c  19.8s|     1 |     0 | 21067 |  38M|   0 | 349 | 500 |7858 |7858 | 500 |1806 |4607 |   0 |   0 |-1.697500e+02 |-4.500000e+01 |  73.49%
20.59/20.61	c  20.1s|     1 |     0 | 21675 |  38M|   0 | 414 | 500 |7858 |7858 | 500 |1813 |4614 |   0 |   0 |-1.694583e+02 |-4.500000e+01 |  73.44%
21.09/21.18	c  20.7s|     1 |     0 | 22526 |  38M|   0 | 418 | 500 |7858 |7858 | 500 |1767 |4816 |   0 |   0 |-1.689031e+02 |-4.500000e+01 |  73.36%
21.78/21.82	c  21.3s|     1 |     0 | 23546 |  40M|   0 | 419 | 500 |7858 |7858 | 500 |1878 |4927 |   0 |   0 |-1.679629e+02 |-4.500000e+01 |  73.21%
22.29/22.34	c  21.8s|     1 |     0 | 24106 |  41M|   0 | 425 | 500 |7858 |7858 | 500 |2068 |5117 |   0 |   0 |-1.673667e+02 |-4.500000e+01 |  73.11%
22.98/23.01	c  22.5s|     1 |     0 | 25052 |  42M|   0 | 443 | 500 |7858 |7858 | 500 |2148 |5197 |   0 |   0 |-1.664962e+02 |-4.500000e+01 |  72.97%
23.89/23.93	c  23.4s|     1 |     0 | 25918 |  42M|   0 | 431 | 500 |7858 |7858 | 500 |2334 |5383 |   0 |   0 |-1.650092e+02 |-4.500000e+01 |  72.73%
24.88/24.93	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.88/24.93	c  24.4s|     1 |     0 | 26949 |  43M|   0 | 438 | 500 |7858 |7858 | 500 |2407 |5456 |   0 |   0 |-1.642393e+02 |-4.500000e+01 |  72.60%
25.79/25.82	c  25.3s|     1 |     0 | 27660 |  43M|   0 | 453 | 500 |7858 |7858 | 500 |2081 |5514 |   0 |   0 |-1.637515e+02 |-4.500000e+01 |  72.52%
26.58/26.60	c  26.1s|     1 |     0 | 28317 |  43M|   0 | 447 | 500 |7858 |7858 | 500 |2102 |5535 |   0 |   0 |-1.633294e+02 |-4.500000e+01 |  72.45%
27.28/27.37	c  26.9s|     1 |     0 | 28980 |  43M|   0 | 456 | 500 |7858 |7858 | 500 |2133 |5566 |   0 |   0 |-1.629095e+02 |-4.500000e+01 |  72.38%
28.18/28.22	c  27.7s|     1 |     0 | 29630 |  43M|   0 | 464 | 500 |7858 |7858 | 500 |2187 |5620 |   0 |   0 |-1.623484e+02 |-4.500000e+01 |  72.28%
29.18/29.25	c  28.7s|     1 |     0 | 30372 |  43M|   0 | 463 | 500 |7858 |7858 | 500 |2288 |5721 |   0 |   0 |-1.616427e+02 |-4.500000e+01 |  72.16%
30.28/30.31	c  29.8s|     1 |     0 | 31065 |  43M|   0 | 463 | 500 |7858 |7858 | 500 |2331 |5764 |   0 |   0 |-1.610300e+02 |-4.500000e+01 |  72.05%
31.28/31.38	c  30.8s|     1 |     0 | 31746 |  43M|   0 | 464 | 500 |7858 |7858 | 500 |1884 |5815 |   0 |   0 |-1.604330e+02 |-4.500000e+01 |  71.95%
32.28/32.31	c  31.8s|     1 |     0 | 32505 |  43M|   0 | 470 | 500 |7858 |7858 | 500 |1932 |5863 |   0 |   0 |-1.596644e+02 |-4.500000e+01 |  71.82%
33.09/33.17	c  32.6s|     1 |     0 | 33147 |  43M|   0 | 481 | 500 |7858 |7858 | 500 |1983 |5914 |   0 |   0 |-1.589385e+02 |-4.500000e+01 |  71.69%
34.08/34.11	c  33.5s|     1 |     0 | 33800 |  43M|   0 | 481 | 500 |7858 |7858 | 500 |2059 |5990 |   0 |   0 |-1.580262e+02 |-4.500000e+01 |  71.52%
34.98/35.09	c  34.5s|     1 |     0 | 34365 |  43M|   0 | 476 | 500 |7858 |7858 | 500 |2096 |6027 |   0 |   0 |-1.574501e+02 |-4.500000e+01 |  71.42%
35.88/35.98	c  35.4s|     1 |     0 | 34870 |  43M|   0 | 479 | 500 |7858 |7858 | 500 |2118 |6049 |   0 |   0 |-1.570075e+02 |-4.500000e+01 |  71.34%
36.77/36.89	c  36.3s|     1 |     0 | 35270 |  43M|   0 | 476 | 500 |7858 |7858 | 500 |1913 |6082 |   0 |   0 |-1.567687e+02 |-4.500000e+01 |  71.30%
37.68/37.75	c  37.1s|     1 |     0 | 35806 |  43M|   0 | 480 | 500 |7858 |7858 | 500 |1953 |6122 |   0 |   0 |-1.562172e+02 |-4.500000e+01 |  71.19%
38.48/38.54	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
38.48/38.54	c  37.9s|     1 |     0 | 36074 |  43M|   0 | 482 | 500 |7858 |7858 | 500 |1976 |6145 |   0 |   0 |-1.559988e+02 |-4.500000e+01 |  71.15%
39.48/39.55	c  38.9s|     1 |     0 | 36715 |  43M|   0 | 485 | 500 |7858 |7858 | 500 |1994 |6163 |   0 |   0 |-1.553258e+02 |-4.500000e+01 |  71.03%
40.38/40.42	c  39.8s|     1 |     0 | 37117 |  43M|   0 | 483 | 500 |7858 |7858 | 500 |2023 |6192 |   0 |   0 |-1.550909e+02 |-4.500000e+01 |  70.98%
41.38/41.44	c  40.8s|     1 |     0 | 37758 |  43M|   0 | 482 | 500 |7858 |7858 | 500 |2046 |6215 |   0 |   0 |-1.542535e+02 |-4.500000e+01 |  70.83%
42.38/42.42	c  41.8s|     1 |     0 | 38267 |  43M|   0 | 485 | 500 |7858 |7858 | 500 |1889 |6241 |   0 |   0 |-1.539911e+02 |-4.500000e+01 |  70.78%
43.17/43.28	c  42.6s|     1 |     0 | 38683 |  43M|   0 | 486 | 500 |7858 |7858 | 500 |1907 |6259 |   0 |   0 |-1.536581e+02 |-4.500000e+01 |  70.71%
44.07/44.14	c  43.5s|     1 |     0 | 39057 |  43M|   0 | 484 | 500 |7858 |7858 | 500 |1927 |6279 |   0 |   0 |-1.533524e+02 |-4.500000e+01 |  70.66%
44.88/44.95	c  44.3s|     1 |     0 | 39358 |  43M|   0 | 484 | 500 |7858 |7858 | 500 |1944 |6296 |   0 |   0 |-1.531220e+02 |-4.500000e+01 |  70.61%
45.87/45.94	c  45.3s|     1 |     0 | 39886 |  43M|   0 | 485 | 500 |7858 |7858 | 500 |1962 |6314 |   0 |   0 |-1.525655e+02 |-4.500000e+01 |  70.50%
46.78/46.84	c  46.2s|     1 |     0 | 40272 |  43M|   0 | 486 | 500 |7858 |7858 | 500 |1986 |6338 |   0 |   0 |-1.522673e+02 |-4.500000e+01 |  70.45%
47.57/47.68	c  47.0s|     1 |     0 | 40575 |  43M|   0 | 487 | 500 |7858 |7858 | 500 |1901 |6354 |   0 |   0 |-1.520499e+02 |-4.500000e+01 |  70.40%
48.38/48.48	c  47.8s|     1 |     0 | 40893 |  43M|   0 | 488 | 500 |7858 |7858 | 500 |1926 |6379 |   0 |   0 |-1.518956e+02 |-4.500000e+01 |  70.37%
49.27/49.31	c  48.7s|     1 |     0 | 41246 |  43M|   0 | 485 | 500 |7858 |7858 | 500 |1945 |6398 |   0 |   0 |-1.516367e+02 |-4.500000e+01 |  70.32%
50.18/50.24	c  49.6s|     1 |     0 | 41705 |  43M|   0 | 485 | 500 |7858 |7858 | 500 |1963 |6416 |   0 |   0 |-1.513044e+02 |-4.500000e+01 |  70.26%
51.07/51.14	c  50.5s|     1 |     0 | 42107 |  43M|   0 | 490 | 500 |7858 |7858 | 500 |1984 |6437 |   0 |   0 |-1.508610e+02 |-4.500000e+01 |  70.17%
51.97/52.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
51.97/52.01	c  51.4s|     1 |     0 | 42451 |  43M|   0 | 487 | 500 |7858 |7858 | 500 |2002 |6455 |   0 |   0 |-1.506737e+02 |-4.500000e+01 |  70.13%
52.87/52.91	c  52.2s|     1 |     0 | 42819 |  43M|   0 | 491 | 500 |7858 |7858 | 500 |1947 |6471 |   0 |   0 |-1.505208e+02 |-4.500000e+01 |  70.10%
53.78/53.84	c  53.2s|     1 |     0 | 43282 |  43M|   0 | 489 | 500 |7858 |7858 | 500 |1971 |6495 |   0 |   0 |-1.502684e+02 |-4.500000e+01 |  70.05%
54.57/54.63	c  54.0s|     1 |     0 | 43482 |  43M|   0 | 490 | 500 |7858 |7858 | 500 |1986 |6510 |   0 |   0 |-1.501317e+02 |-4.500000e+01 |  70.03%
55.38/55.44	c  54.8s|     1 |     0 | 43729 |  43M|   0 | 492 | 500 |7858 |7858 | 500 |2001 |6525 |   0 |   0 |-1.499536e+02 |-4.500000e+01 |  69.99%
56.17/56.21	c  55.5s|     1 |     0 | 43924 |  43M|   0 | 490 | 500 |7858 |7858 | 500 |2013 |6537 |   0 |   0 |-1.498263e+02 |-4.500000e+01 |  69.97%
56.97/57.00	c  56.3s|     1 |     0 | 44144 |  43M|   0 | 491 | 500 |7858 |7858 | 500 |2023 |6547 |   0 |   0 |-1.496702e+02 |-4.500000e+01 |  69.93%
57.77/57.83	c  57.1s|     1 |     0 | 44374 |  43M|   0 | 491 | 500 |7858 |7858 | 500 |1984 |6559 |   0 |   0 |-1.495689e+02 |-4.500000e+01 |  69.91%
58.67/58.70	c  58.0s|     1 |     0 | 44700 |  43M|   0 | 491 | 500 |7858 |7858 | 500 |1992 |6567 |   0 |   0 |-1.493167e+02 |-4.500000e+01 |  69.86%
59.48/59.51	c  58.8s|     1 |     0 | 44929 |  43M|   0 | 494 | 500 |7858 |7858 | 500 |2004 |6579 |   0 |   0 |-1.492056e+02 |-4.500000e+01 |  69.84%
60.27/60.30	c  59.6s|     1 |     0 | 45134 |  43M|   0 | 496 | 500 |7858 |7858 | 500 |2017 |6592 |   0 |   0 |-1.491283e+02 |-4.500000e+01 |  69.82%
61.07/61.15	c  60.5s|     1 |     0 | 45397 |  43M|   0 | 493 | 500 |7858 |7858 | 500 |2025 |6600 |   0 |   0 |-1.489671e+02 |-4.500000e+01 |  69.79%
61.87/61.98	c  61.3s|     1 |     0 | 45678 |  43M|   0 | 497 | 500 |7858 |7858 | 500 |2037 |6612 |   0 |   0 |-1.487902e+02 |-4.500000e+01 |  69.76%
62.67/62.76	c  62.1s|     1 |     0 | 45861 |  43M|   0 | 497 | 500 |7858 |7858 | 500 |1995 |6621 |   0 |   0 |-1.487444e+02 |-4.500000e+01 |  69.75%
63.47/63.51	c  62.8s|     1 |     0 | 46018 |  43M|   0 | 496 | 500 |7858 |7858 | 500 |2004 |6630 |   0 |   0 |-1.486481e+02 |-4.500000e+01 |  69.73%
64.27/64.32	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
64.27/64.32	c  63.6s|     1 |     0 | 46232 |  43M|   0 | 496 | 500 |7858 |7858 | 500 |2015 |6641 |   0 |   0 |-1.485587e+02 |-4.500000e+01 |  69.71%
65.08/65.11	c  64.4s|     1 |     0 | 46468 |  43M|   0 | 494 | 500 |7858 |7858 | 500 |2028 |6654 |   0 |   0 |-1.484420e+02 |-4.500000e+01 |  69.69%
65.88/65.91	c  65.2s|     1 |     0 | 46741 |  43M|   0 | 497 | 500 |7858 |7858 | 500 |2039 |6665 |   0 |   0 |-1.483309e+02 |-4.500000e+01 |  69.66%
66.57/66.62	c  65.9s|     1 |     0 | 46840 |  43M|   0 | 495 | 500 |7858 |7858 | 500 |2047 |6673 |   0 |   0 |-1.483074e+02 |-4.500000e+01 |  69.66%
67.27/67.36	c  66.6s|     1 |     0 | 47004 |  43M|   0 | 497 | 500 |7858 |7858 | 500 |2013 |6681 |   0 |   0 |-1.482701e+02 |-4.500000e+01 |  69.65%
68.08/68.12	c  67.4s|     1 |     0 | 47205 |  43M|   0 | 494 | 500 |7858 |7858 | 500 |2023 |6691 |   0 |   0 |-1.482183e+02 |-4.500000e+01 |  69.64%
68.77/68.88	c  68.2s|     1 |     0 | 47414 |  43M|   0 | 498 | 500 |7858 |7858 | 500 |2040 |6708 |   0 |   0 |-1.481651e+02 |-4.500000e+01 |  69.63%
69.67/69.71	c  69.0s|     1 |     0 | 47703 |  43M|   0 | 497 | 500 |7858 |7858 | 500 |2048 |6716 |   0 |   0 |-1.480622e+02 |-4.500000e+01 |  69.61%
70.37/70.46	c  69.7s|     1 |     0 | 47876 |  43M|   0 | 499 | 500 |7858 |7858 | 500 |2058 |6726 |   0 |   0 |-1.480089e+02 |-4.500000e+01 |  69.60%
71.17/71.24	c  70.5s|     1 |     0 | 48090 |  43M|   0 | 499 | 500 |7858 |7858 | 500 |2070 |6738 |   0 |   0 |-1.479650e+02 |-4.500000e+01 |  69.59%
71.97/72.05	c  71.3s|     1 |     0 | 48320 |  43M|   0 | 499 | 500 |7858 |7858 | 500 |2040 |6751 |   0 |   0 |-1.479071e+02 |-4.500000e+01 |  69.58%
72.77/72.82	c  72.1s|     1 |     0 | 48555 |  43M|   0 | 500 | 500 |7858 |7858 | 500 |2052 |6763 |   0 |   0 |-1.478282e+02 |-4.500000e+01 |  69.56%
73.46/73.57	c  72.8s|     1 |     0 | 48795 |  43M|   0 | 499 | 500 |7858 |7858 | 500 |2066 |6777 |   0 |   0 |-1.477806e+02 |-4.500000e+01 |  69.55%
74.27/74.34	c  73.6s|     1 |     0 | 49026 |  43M|   0 | 500 | 500 |7858 |7858 | 500 |2076 |6787 |   0 |   0 |-1.477320e+02 |-4.500000e+01 |  69.54%
74.96/75.07	c  74.3s|     1 |     0 | 49209 |  43M|   0 | 499 | 500 |7858 |7858 | 500 |2083 |6794 |   0 |   0 |-1.476931e+02 |-4.500000e+01 |  69.53%
75.78/75.85	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
75.78/75.85	c  75.1s|     1 |     0 | 49435 |  43M|   0 | 500 | 500 |7858 |7858 | 500 |2090 |6801 |   0 |   0 |-1.476540e+02 |-4.500000e+01 |  69.52%
76.46/76.59	c  75.8s|     1 |     0 | 49605 |  43M|   0 | 499 | 500 |7858 |7858 | 500 |2056 |6813 |   0 |   0 |-1.476289e+02 |-4.500000e+01 |  69.52%
77.17/77.26	c  76.5s|     1 |     0 | 49699 |  43M|   0 | 500 | 500 |7858 |7858 | 500 |2065 |6822 |   0 |   0 |-1.476198e+02 |-4.500000e+01 |  69.52%
77.87/77.96	c  77.2s|     1 |     0 | 49834 |  43M|   0 | 500 | 500 |7858 |7858 | 500 |2073 |6830 |   0 |   0 |-1.476052e+02 |-4.500000e+01 |  69.51%
78.56/78.66	c  77.9s|     1 |     0 | 50022 |  43M|   0 | 500 | 500 |7858 |7858 | 500 |2082 |6839 |   0 |   0 |-1.475909e+02 |-4.500000e+01 |  69.51%
79.27/79.33	c  78.5s|     1 |     0 | 50133 |  43M|   0 | 499 | 500 |7858 |7858 | 500 |2090 |6847 |   0 |   0 |-1.475822e+02 |-4.500000e+01 |  69.51%
79.96/80.05	c  79.2s|     1 |     0 | 50317 |  42M|   0 | 500 | 500 |7858 |7858 | 500 |2098 |6855 |   0 |   0 |-1.475640e+02 |-4.500000e+01 |  69.50%
80.57/80.68	c  79.9s|     1 |     0 | 50447 |  42M|   0 | 499 | 500 |7858 |7858 | 500 |2057 |6866 |   0 |   0 |-1.475572e+02 |-4.500000e+01 |  69.50%
81.27/81.33	c  80.5s|     1 |     0 | 50649 |  42M|   0 | 499 | 500 |7858 |7858 | 500 |2065 |6874 |   0 |   0 |-1.475430e+02 |-4.500000e+01 |  69.50%
81.87/81.99	c  81.2s|     1 |     0 | 50864 |  42M|   0 | 499 | 500 |7858 |7858 | 500 |2075 |6884 |   0 |   0 |-1.475288e+02 |-4.500000e+01 |  69.50%
82.56/82.64	c  81.8s|     1 |     0 | 51054 |  42M|   0 | 498 | 500 |7858 |7858 | 500 |2085 |6894 |   0 |   0 |-1.475183e+02 |-4.500000e+01 |  69.50%
83.27/83.30	c  82.5s|     1 |     0 | 51238 |  42M|   0 | 496 | 500 |7858 |7858 | 500 |2091 |6900 |   0 |   0 |-1.475098e+02 |-4.500000e+01 |  69.49%
83.86/83.92	c  83.1s|     1 |     0 | 51374 |  42M|   0 | 498 | 500 |7858 |7858 | 500 |2099 |6908 |   0 |   0 |-1.475068e+02 |-4.500000e+01 |  69.49%
84.47/84.56	c  83.7s|     1 |     0 | 51525 |  42M|   0 | 499 | 500 |7858 |7858 | 500 |2051 |6915 |   0 |   0 |-1.475012e+02 |-4.500000e+01 |  69.49%
85.06/85.13	c  84.3s|     1 |     0 | 51560 |  42M|   0 | 446 | 500 |7858 |7858 | 500 |2056 |6920 |   0 |   0 |-1.475000e+02 |-4.500000e+01 |  69.49%
94.96/95.09	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
94.96/95.09	c  94.2s|     1 |     2 | 51560 |  42M|   0 | 446 | 500 |7858 |7858 | 500 |2056 |6920 |   0 |  21 |-1.475000e+02 |-4.500000e+01 |  69.49%
1800.04/1800.53	c 
1800.04/1800.53	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.53	c Solving Time (sec) : 1785.72
1800.04/1800.53	c Solving Nodes      : 5542
1800.04/1800.53	c Primal Bound       : -4.50000000000000e+01 (3 solutions)
1800.04/1800.53	c Dual Bound         : -1.40967555732484e+02
1800.04/1800.53	c Gap                : 68.08 %
1800.04/1800.55	c NODE         5542
1800.04/1800.55	c DUAL BOUND   -140.968
1800.04/1800.55	c PRIMAL BOUND -45
1800.04/1800.55	c GAP          0.680778
1800.04/1800.55	s SATISFIABLE
1800.04/1800.55	v -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479 
1800.04/1800.55	v x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 
1800.04/1800.55	v -x457 -x456 -x455 x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 
1800.04/1800.55	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 
1800.04/1800.55	v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 
1800.04/1800.55	v -x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 
1800.04/1800.55	v -x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 
1800.04/1800.55	v -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 
1800.04/1800.55	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 
1800.04/1800.55	v -x310 -x309 -x308 -x307 -x306 -x305 x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 
1800.04/1800.55	v -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 
1800.04/1800.55	v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 
1800.04/1800.55	v -x247 -x246 -x245 -x244 x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 
1800.04/1800.55	v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 -x205 
1800.04/1800.55	v -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 
1800.04/1800.55	v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 
1800.04/1800.55	v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 
1800.04/1800.55	v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 
1800.04/1800.55	v -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 
1800.04/1800.55	v -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 
1800.04/1800.55	v -x75 -x74 x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 
1800.04/1800.55	v -x49 x48 x47 x46 x45 -x44 -x43 -x42 x41 -x40 x39 -x38 x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 x28 x27 -x26 -x25 x24 x23 x22 
1800.04/1800.55	v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 x5 x4 -x3 -x2 -x1 
1800.04/1800.55	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.55	c Solving Time       :    1785.72
1800.04/1800.55	c Original Problem   :
1800.04/1800.55	c   Problem name     : HOME/instance-1870384-1245201040.opb
1800.04/1800.55	c   Variables        : 8358 (8358 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.55	c   Constraints      : 8358 initial, 8358 maximal
1800.04/1800.55	c Presolved Problem  :
1800.04/1800.55	c   Problem name     : t_HOME/instance-1870384-1245201040.opb
1800.04/1800.55	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.55	c   Constraints      : 7858 initial, 7858 maximal
1800.04/1800.55	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.55	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.55	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.55	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.55	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.55	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.55	c   probing          :       0.23          0          0          0          0          0          0          0          0
1800.04/1800.55	c   and              :       0.15          0          0          0          0          0          0          0          0
1800.04/1800.55	c   linear           :       0.05       7858          0          0       7858          0        500          0          0
1800.04/1800.55	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.55	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.55	c   integral         :          0          0          0       5542          0          0          0          0          0      11084
1800.04/1800.55	c   and              :       7858      16856      45203          0          0          0     120807    1143800          0          0
1800.04/1800.55	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.55	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.55	c   integral         :     264.33       0.00       0.00     264.33       0.00
1800.04/1800.55	c   and              :      88.88      72.74      16.14       0.00       0.00
1800.04/1800.55	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.55	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.55	c   rootredcost      :       0.02          0          0          0
1800.04/1800.55	c   pseudoobj        :       1.38      45489          0          0
1800.04/1800.55	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.55	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.55	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.55	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.55	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.55	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.55	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.04/1800.55	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.55	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.55	c   cut pool         :       0.43        132          -          -       1378          -    (maximal pool size: 6993)
1800.04/1800.55	c   redcost          :       0.36      16856          0          0          0          0
1800.04/1800.55	c   impliedbounds    :       0.09        133          0          0       9440          0
1800.04/1800.55	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.55	c   gomory           :      48.71        133          0          0      30843          0
1800.04/1800.55	c   strongcg         :       1.38         20          0          0      10000          0
1800.04/1800.55	c   cmir             :       0.50         10          0          0          0          0
1800.04/1800.55	c   flowcover        :       0.38         10          0          0          0          0
1800.04/1800.55	c   clique           :       1.57        133          0          0       1140          0
1800.04/1800.55	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.55	c   mcf              :       0.01          1          0          0          0          0
1800.04/1800.55	c Pricers            :       Time      Calls       Vars
1800.04/1800.55	c   problem variables:       0.00          0          0
1800.04/1800.55	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.55	c   relpscost        :     264.30       5542          0          0          0          0      11084
1800.04/1800.55	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.55	c   inference        :       0.00          0          0          0          0          0          0
1800.04/1800.55	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.55	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.55	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.55	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.55	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.55	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.55	c   LP solutions     :       0.00          -          0
1800.04/1800.55	c   pseudo solutions :       0.00          -          0
1800.04/1800.55	c   oneopt           :       0.01          1          0
1800.04/1800.55	c   crossover        :       0.03          1          0
1800.04/1800.55	c   coefdiving       :      53.85         70          0
1800.04/1800.55	c   guideddiving     :      50.39        124          0
1800.04/1800.55	c   linesearchdiving :      44.70        161          0
1800.04/1800.55	c   simplerounding   :       0.05          0          0
1800.04/1800.55	c   rounding         :      20.42       7770          2
1800.04/1800.55	c   shifting         :       2.61        749          1
1800.04/1800.55	c   intshifting      :       0.00          0          0
1800.04/1800.55	c   fixandinfer      :       0.00          0          0
1800.04/1800.55	c   feaspump         :       0.00          0          0
1800.04/1800.55	c   pscostdiving     :      56.54         61          0
1800.04/1800.55	c   fracdiving       :      47.76        150          0
1800.04/1800.55	c   veclendiving     :      57.43         64          0
1800.04/1800.55	c   intdiving        :       0.00          0          0
1800.04/1800.55	c   actconsdiving    :       0.00          0          0
1800.04/1800.55	c   objpscostdiving  :      24.90         15          0
1800.04/1800.55	c   rootsoldiving    :      10.98         73          0
1800.04/1800.55	c   octane           :       0.00          0          0
1800.04/1800.55	c   rens             :       0.01          0          0
1800.04/1800.55	c   rins             :       0.00          0          0
1800.04/1800.55	c   localbranching   :       0.00          0          0
1800.04/1800.55	c   mutation         :       0.00          0          0
1800.04/1800.55	c   dins             :       0.00          0          0
1800.04/1800.55	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.55	c   primal LP        :       6.21          0          0       0.00       0.00
1800.04/1800.55	c   dual LP          :     981.13      17034    3401147     199.67    3466.56
1800.04/1800.55	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.55	c   diving/probing LP:     317.41      33325    1235035      37.06    3890.98
1800.04/1800.55	c   strong branching :     263.32       2585     851789     329.51    3234.81
1800.04/1800.55	c     (at root node) :          -         21      19004     904.95          -
1800.04/1800.55	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.55	c B&B Tree           :
1800.04/1800.55	c   number of runs   :          1
1800.04/1800.55	c   nodes            :       5542
1800.04/1800.55	c   nodes (total)    :       5542
1800.04/1800.55	c   nodes left       :       5543
1800.04/1800.55	c   max depth        :         53
1800.04/1800.55	c   max depth (total):         53
1800.04/1800.55	c   backtracks       :       1227 (22.1%)
1800.04/1800.55	c   delayed cutoffs  :          0
1800.04/1800.55	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.55	c   avg switch length:       7.43
1800.04/1800.55	c   switching time   :      10.45
1800.04/1800.55	c Solution           :
1800.04/1800.55	c   Solutions found  :          3 (2 improvements)
1800.04/1800.55	c   Primal Bound     : -4.50000000000000e+01   (in run 1, after 1 nodes, 2.60 seconds, depth 0, found by <rounding>)
1800.04/1800.55	c   Dual Bound       : -1.40967555732484e+02
1800.04/1800.55	c   Gap              :      68.08 %
1800.04/1800.55	c   Root Dual Bound  : -1.47500000000000e+02
1800.25/1800.75	c Time complete: 1800.29.

Verifier Data 

OK	-45

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 6740
/proc/meminfo: memFree=1855320/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=6100 CPUtime=0
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 564 0 0 0 0 0 0 0 20 0 1 0 6016244 6246400 546 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/6740/statm: 1525 557 325 886 0 635 0

[startup+0.076887 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 6740
/proc/meminfo: memFree=1855320/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=18288 CPUtime=0.07
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 3885 0 0 0 6 1 0 0 20 0 1 0 6016244 18726912 3867 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/6740/statm: 4572 3867 354 886 0 3682 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18288

[startup+0.101888 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 6740
/proc/meminfo: memFree=1855320/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=22292 CPUtime=0.09
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 5184 0 0 0 8 1 0 0 20 0 1 0 6016244 22827008 4812 1992294400 4194304 7823515 548682068736 18446744073709551615 4512305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 5573 4812 367 886 0 4683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22292

[startup+0.301907 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 6740
/proc/meminfo: memFree=1855320/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=37308 CPUtime=0.29
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 8743 0 0 0 22 7 0 0 22 0 1 0 6016244 38203392 8371 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 9327 8371 404 886 0 8437 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37308

[startup+0.701944 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 6740
/proc/meminfo: memFree=1855320/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=38460 CPUtime=0.69
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 9032 0 0 0 51 18 0 0 25 0 1 0 6016244 39383040 8660 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 9615 8660 433 886 0 8725 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38460

[startup+1.50202 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1805776/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=58368 CPUtime=1.49
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 14092 0 0 0 127 22 0 0 25 0 1 0 6016244 59768832 13508 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 14592 13508 543 886 0 13702 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58368

[startup+3.10117 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1800912/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=63976 CPUtime=3.09
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 15643 0 0 0 285 24 0 0 25 0 1 0 6016244 65511424 15059 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 15994 15059 544 886 0 15104 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63976

[startup+6.30147 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1790864/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=72592 CPUtime=6.29
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 17952 0 0 0 601 28 0 0 25 0 1 0 6016244 74334208 17276 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 18148 17276 546 886 0 17258 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72592

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1781072/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=81580 CPUtime=12.69
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 20350 0 0 0 1235 34 0 0 25 0 1 0 6016244 83537920 19637 1992294400 4194304 7823515 548682068736 18446744073709551615 4291341 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 20395 19637 546 886 0 19505 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81580

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1763536/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=97024 CPUtime=25.49
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 24202 0 0 0 2505 44 0 0 25 0 1 0 6016244 99352576 23390 1992294400 4194304 7823515 548682068736 18446744073709551615 6206225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 24256 23390 547 886 0 23366 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97024

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1763408/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=97024 CPUtime=51.07
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 24237 0 0 0 5051 56 0 0 25 0 1 0 6016244 99352576 23425 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 24256 23425 547 886 0 23366 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97024

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1761744/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=98748 CPUtime=102.26
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 24658 0 0 0 10141 85 0 0 25 0 1 0 6016244 101117952 23846 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 24687 23846 554 886 0 23797 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 98748

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1761744/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=99128 CPUtime=162.25
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 24660 0 0 0 16092 133 0 0 25 0 1 0 6016244 101507072 23848 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 24782 23848 555 886 0 23892 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 99128

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1761680/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=99128 CPUtime=222.23
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 24660 0 0 0 22036 187 0 0 25 0 1 0 6016244 101507072 23848 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 24782 23848 555 886 0 23892 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 99128

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1763344/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=97504 CPUtime=282.22
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 25803 0 0 0 27990 232 0 0 25 0 1 0 6016244 99844096 23441 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 24376 23441 566 886 0 23486 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 97504

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1762832/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=98212 CPUtime=342.2
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 25977 0 0 0 33947 273 0 0 25 0 1 0 6016244 100569088 23615 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 24553 23615 566 886 0 23663 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 98212

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1761360/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=99412 CPUtime=402.18
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 26287 0 0 0 39903 315 0 0 25 0 1 0 6016244 101797888 23925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 24853 23925 566 886 0 23963 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 99412

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1760080/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=100912 CPUtime=462.17
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 26598 0 0 0 45857 360 0 0 25 0 1 0 6016244 103333888 24236 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 25228 24236 566 886 0 24338 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 100912

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1759504/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=101368 CPUtime=522.16
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 26740 0 0 0 51806 410 0 0 25 0 1 0 6016244 103800832 24378 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 25342 24378 566 886 0 24452 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 101368

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1758544/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=102232 CPUtime=582.15
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 26975 0 0 0 57759 456 0 0 25 0 1 0 6016244 104685568 24613 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 25558 24613 566 886 0 24668 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 102232

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1756368/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=104640 CPUtime=642.13
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 27511 0 0 0 63708 505 0 0 25 0 1 0 6016244 107151360 25149 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 26160 25149 566 886 0 25270 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 104640

[startup+702.302 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1750672/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=110080 CPUtime=942.06
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 28923 0 0 0 93464 742 0 0 25 0 1 0 6016244 112721920 26561 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 27520 26561 566 886 0 26630 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 110080

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1748496/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=112656 CPUtime=1002.04
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 29453 0 0 0 99417 787 0 0 25 0 1 0 6016244 115359744 27091 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 28164 27091 566 886 0 27274 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 112656

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6741
/proc/meminfo: memFree=1747152/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=113992 CPUtime=1062.03
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 29795 0 0 0 105364 839 0 0 25 0 1 0 6016244 116727808 27433 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 28498 27433 566 886 0 27608 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 113992

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1746128/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=114732 CPUtime=1122.01
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 30000 0 0 0 111320 881 0 0 25 0 1 0 6016244 117485568 27638 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 28683 27638 566 886 0 27793 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 114732

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1744784/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=116528 CPUtime=1181.99
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 30412 0 0 0 117272 927 0 0 25 0 1 0 6016244 119324672 28050 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 29132 28050 566 886 0 28242 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 116528

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1743824/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=117136 CPUtime=1241.97
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 30626 0 0 0 123224 973 0 0 25 0 1 0 6016244 119947264 28264 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 29284 28264 566 886 0 28394 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 117136

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1741776/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=119180 CPUtime=1301.97
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 31126 0 0 0 129178 1019 0 0 25 0 1 0 6016244 122040320 28764 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 29795 28764 566 886 0 28905 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 119180

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1740048/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=120720 CPUtime=1361.95
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 31561 0 0 0 135133 1062 0 0 25 0 1 0 6016244 123617280 29199 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 30180 29199 566 886 0 29290 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 120720

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1739280/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=121704 CPUtime=1421.94
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 31745 0 0 0 141085 1109 0 0 25 0 1 0 6016244 124624896 29383 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 30426 29383 566 886 0 29536 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 121704

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1737424/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=123376 CPUtime=1481.92
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 32205 0 0 0 147039 1153 0 0 25 0 1 0 6016244 126337024 29843 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 30844 29843 566 886 0 29954 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 123376

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1736080/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=124704 CPUtime=1541.9
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 32532 0 0 0 152988 1202 0 0 25 0 1 0 6016244 127696896 30170 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 31176 30170 566 886 0 30286 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 124704

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1735632/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=125128 CPUtime=1601.89
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 32637 0 0 0 158935 1254 0 0 25 0 1 0 6016244 128131072 30275 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 31282 30275 566 886 0 30392 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 125128

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1733584/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=127568 CPUtime=1661.87
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 33174 0 0 0 164882 1305 0 0 25 0 1 0 6016244 130629632 30812 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 31892 30812 566 886 0 31002 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 127568

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1731536/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=129560 CPUtime=1721.86
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 33669 0 0 0 170827 1359 0 0 25 0 1 0 6016244 132669440 31307 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 32390 31307 566 886 0 31500 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 129560

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1729424/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=131588 CPUtime=1781.85
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 34197 0 0 0 176773 1412 0 0 25 0 1 0 6016244 134746112 31834 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 32897 31834 566 886 0 32007 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 131588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6743
/proc/meminfo: memFree=1726224/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=134860 CPUtime=1800.04
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 34984 0 0 0 178576 1428 0 0 25 0 1 0 6016244 138096640 32620 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6740/statm: 33715 32620 566 886 0 32825 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 134860

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6744
/proc/meminfo: memFree=1726152/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=134860 CPUtime=1800.15
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 34986 0 0 0 178586 1429 0 0 17 0 1 0 6016244 138096640 32622 1992294400 4194304 7823515 548682068736 18446744073709551615 4211754 0 0 4096 0 0 0 0 17 1 0 0
/proc/6740/statm: 33715 32622 568 886 0 32825 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 134860

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6744
/proc/meminfo: memFree=1726152/2055920 swapFree=4192956/4192956
[pid=6740] ppid=6738 vsize=134860 CPUtime=1800.25
/proc/6740/stat : 6740 (pbscip.linux.x8) R 6738 6740 6090 0 -1 4194304 34986 0 0 0 178596 1429 0 0 18 0 1 0 6016244 138096640 32622 1992294400 4194304 7823515 548682068736 18446744073709551615 4902708 0 0 4096 0 0 0 0 17 1 0 0
/proc/6740/statm: 33715 32622 568 886 0 32825 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 134860

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.3
CPU user time (s): 1785.99
CPU system time (s): 14.3088
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 134860

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

runsolver used 2.00569 second user time and 3.83642 second system time

The end

Launcher Data 

Begin job on node8 at 2009-06-17 03:10:40
IDJOB=1870384
IDBENCH=48191
IDSOLVER=683
FILE ID=node8/1870384-1245201040
PBS_JOBID= 9368320
Free space on /tmp= 66288 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870384-1245201040/watcher-1870384-1245201040 -o /tmp/evaluation-result-1870384-1245201040/solver-1870384-1245201040 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870384-1245201040.opb

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

MD5SUM BENCH= 7980660368cd371c40e33d6668082e41
RANDOM SEED=104799957

node8.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.236
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.236
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1855800 kB
Buffers:         47140 kB
Cached:         107628 kB
SwapCached:          0 kB
Active:         110660 kB
Inactive:        57800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855800 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10028 kB
Writeback:           0 kB
Mapped:          23496 kB
Slab:            17428 kB
Committed_AS:    81752 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66280 MiB
End job on node8 at 2009-06-17 03:40:42