Trace number 1868912

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)? 1796.13 1796.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-2-c.opb
MD5SUM02ee6f086501e1f86c8de97a222a24d7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2606
Total number of constraints6509
Number of constraints which are clauses6509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2606
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 2606
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2606
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.11	c SCIP version 1.1.0.7
0.08/0.11	c LP-Solver SoPlex 1.4.1
0.08/0.11	c user parameter file <scip.set> not found - using default parameters
0.08/0.11	c read problem <HOME/instance-1868912-1245149658.opb>
0.08/0.11	c original problem has 2606 variables (2606 bin, 0 int, 0 impl, 0 cont) and 6509 constraints
0.08/0.15	c start presolving problem
0.08/0.15	c presolving:
0.18/0.28	c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6385 upgd conss, 5582 impls, 0 clqs
0.28/0.30	c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6386 upgd conss, 5582 impls, 0 clqs
0.28/0.32	c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 5582 impls, 0 clqs
0.28/0.38	c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 7044 impls, 0 clqs
0.28/0.38	c (round 5) 53 del vars, 127 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 7082 impls, 0 clqs
0.39/0.41	c (round 6) 53 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 7082 impls, 0 clqs
0.49/0.56	c (round 7) 103 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 27270 impls, 0 clqs
0.59/0.69	c (round 8) 153 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 46726 impls, 0 clqs
0.78/0.82	c    (0.6s) probing: 548/2606 (21.0%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.78/0.82	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.78/0.82	c (round 9) 188 del vars, 129 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6387 upgd conss, 48328 impls, 0 clqs
0.78/0.84	c    (0.7s) probing: 558/2606 (21.4%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.78/0.84	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.78/0.84	c presolving (10 rounds):
0.78/0.84	c  188 deleted vars, 129 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.78/0.84	c  48328 implications, 0 cliques
0.78/0.84	c presolved problem has 2418 variables (2418 bin, 0 int, 0 impl, 0 cont) and 6380 constraints
0.78/0.84	c    6380 constraints of type <logicor>
0.78/0.84	c transformed objective value is always integral (scale: 1)
0.78/0.84	c Presolving Time: 0.64
0.78/0.84	c strange?!, PURESAT with obj
0.78/0.84	c -----------------------------------------------------------------------------------------------
0.78/0.84	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.78/0.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.78/0.84	c limits/memory = c 1620
0.78/0.84	c # maximal time in seconds to run
0.78/0.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.78/0.84	c limits/time = c 1791
0.78/0.84	c # frequency for displaying node information lines
0.78/0.84	c # [type: int, range: [-1,2147483647], default: 100]
0.78/0.84	c display/freq = c 10000
0.78/0.84	c -----------------------------------------------------------------------------------------------
0.78/0.84	c start solving problem
0.78/0.84	c 
3.99/4.03	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.99/4.03	c   3.8s|     1 |     0 |  4692 |  14M|   0 |1673 |2418 |6380 |6380 |2418 |6193 |   0 |   0 |   0 | 7.849117e+02 |      --      |    Inf 
15.57/15.63	c  15.4s|     1 |     0 | 13487 |  18M|   0 |1419 |2418 |6380 |6380 |2418 |7426 |1233 |   0 |   0 | 8.086806e+02 |      --      |    Inf 
17.48/17.57	c  17.3s|     1 |     0 | 14711 |  22M|   0 |1820 |2418 |6380 |6380 |2418 |7465 |1272 |   0 |   0 | 8.163891e+02 |      --      |    Inf 
19.68/19.72	c  19.4s|     1 |     0 | 16035 |  24M|   0 |1511 |2418 |6380 |6380 |2418 |7493 |1300 |   0 |   0 | 8.192435e+02 |      --      |    Inf 
22.17/22.27	c  22.0s|     1 |     0 | 17473 |  27M|   0 |1464 |2418 |6380 |6380 |2418 |7525 |1332 |   0 |   0 | 8.223023e+02 |      --      |    Inf 
23.87/23.97	c  23.7s|     1 |     0 | 18114 |  31M|   0 |1448 |2418 |6380 |6380 |2418 |7548 |1355 |   0 |   0 | 8.229973e+02 |      --      |    Inf 
27.47/27.55	c  27.2s|     1 |     0 | 20026 |  34M|   0 |1503 |2418 |6380 |6380 |2418 |7576 |1383 |   0 |   0 | 8.248819e+02 |      --      |    Inf 
30.46/30.53	c  30.2s|     1 |     0 | 21339 |  38M|   0 |1528 |2418 |6380 |6380 |2418 |7604 |1411 |   0 |   0 | 8.275375e+02 |      --      |    Inf 
33.36/33.46	c  33.1s|     1 |     0 | 22769 |  41M|   0 |1476 |2418 |6380 |6380 |2418 |7629 |1436 |   0 |   0 | 8.291424e+02 |      --      |    Inf 
37.87/37.91	c  37.5s|     1 |     0 | 25029 |  45M|   0 |1818 |2418 |6380 |6380 |2418 |7663 |1470 |   0 |   0 | 8.312328e+02 |      --      |    Inf 
42.56/42.66	c  42.3s|     1 |     0 | 27017 |  53M|   0 |1533 |2418 |6380 |6380 |2418 |7702 |1509 |   0 |   0 | 8.336635e+02 |      --      |    Inf 
46.07/46.15	c  45.7s|     1 |     0 | 28588 |  58M|   0 |1527 |2418 |6380 |6380 |2418 |6547 |1546 |   0 |   0 | 8.353908e+02 |      --      |    Inf 
49.56/49.61	c  49.2s|     1 |     0 | 29971 |  63M|   0 |1559 |2418 |6380 |6380 |2418 |6574 |1573 |   0 |   0 | 8.376689e+02 |      --      |    Inf 
56.86/56.96	c  56.5s|     1 |     0 | 32797 |  65M|   0 |1625 |2418 |6380 |6380 |2418 |6615 |1614 |   0 |   0 | 8.406846e+02 |      --      |    Inf 
64.45/64.50	c  64.0s|     1 |     0 | 35711 |  72M|   0 |1520 |2418 |6380 |6380 |2418 |6667 |1666 |   0 |   0 | 8.556734e+02 |      --      |    Inf 
71.95/72.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
71.95/72.02	c  71.5s|     1 |     0 | 39167 |  76M|   0 |1915 |2418 |6380 |6380 |2418 |6717 |1716 |   0 |   0 | 8.739451e+02 |      --      |    Inf 
77.34/77.47	c  76.9s|     1 |     0 | 41384 |  80M|   0 |1856 |2418 |6380 |6380 |2418 |6756 |1755 |   0 |   0 | 8.810809e+02 |      --      |    Inf 
81.25/81.32	c  80.8s|     1 |     0 | 43230 |  84M|   0 |1584 |2418 |6380 |6380 |2418 |6681 |1782 |   0 |   0 | 8.831225e+02 |      --      |    Inf 
85.75/85.83	c  85.2s|     1 |     0 | 45288 |  88M|   0 |1863 |2418 |6380 |6380 |2418 |6739 |1840 |   0 |   0 | 9.017819e+02 |      --      |    Inf 
89.44/89.51	c  88.9s|     1 |     0 | 47057 |  92M|   0 |1885 |2418 |6380 |6380 |2418 |6769 |1870 |   0 |   0 | 9.038875e+02 |      --      |    Inf 
94.34/94.50	c  93.9s|     1 |     0 | 48859 |  95M|   0 |1610 |2418 |6380 |6380 |2418 |6815 |1916 |   0 |   0 | 9.090280e+02 |      --      |    Inf 
97.34/97.40	c  96.8s|     1 |     0 | 50138 |  97M|   0 |1618 |2418 |6380 |6380 |2418 |6854 |1955 |   0 |   0 | 9.106580e+02 |      --      |    Inf 
102.04/102.15	c   102s|     1 |     0 | 52207 |  99M|   0 |1664 |2418 |6380 |6380 |2418 |6887 |1988 |   0 |   0 | 9.126349e+02 |      --      |    Inf 
107.34/107.45	c   107s|     1 |     0 | 54554 | 100M|   0 |1645 |2418 |6380 |6380 |2418 |6779 |2034 |   0 |   0 | 9.176673e+02 |      --      |    Inf 
110.43/110.59	c   110s|     1 |     0 | 56140 | 102M|   0 |1700 |2418 |6380 |6380 |2418 |6818 |2073 |   0 |   0 | 9.198433e+02 |      --      |    Inf 
116.54/116.68	c   116s|     1 |     0 | 58831 | 103M|   0 |1708 |2418 |6380 |6380 |2418 |6875 |2130 |   0 |   0 | 9.380757e+02 |      --      |    Inf 
119.93/120.04	c   119s|     1 |     0 | 60527 | 105M|   0 |1665 |2418 |6380 |6380 |2418 |6906 |2161 |   0 |   0 | 9.414769e+02 |      --      |    Inf 
124.43/124.50	c   124s|     1 |     0 | 62923 | 108M|   0 |1620 |2418 |6380 |6380 |2418 |6941 |2196 |   0 |   0 | 9.430615e+02 |      --      |    Inf 
130.13/130.28	c   130s|     1 |     0 | 65577 | 108M|   0 |1587 |2418 |6380 |6380 |2418 |6997 |2252 |   0 |   0 | 9.593474e+02 |      --      |    Inf 
136.12/136.27	c   136s|     1 |     0 | 68545 | 111M|   0 |1699 |2418 |6380 |6380 |2418 |6852 |2284 |   0 |   0 | 9.605964e+02 |      --      |    Inf 
142.22/142.37	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
142.22/142.37	c   142s|     1 |     0 | 71868 | 112M|   0 |1786 |2418 |6380 |6380 |2418 |6889 |2321 |   0 |   0 | 9.622129e+02 |      --      |    Inf 
145.52/145.63	c   145s|     1 |     0 | 73611 | 115M|   0 |1777 |2418 |6380 |6380 |2418 |6920 |2352 |   0 |   0 | 9.658573e+02 |      --      |    Inf 
148.72/148.88	c   148s|     1 |     0 | 75329 | 116M|   0 |1825 |2418 |6380 |6380 |2418 |6964 |2396 |   0 |   0 | 9.686218e+02 |      --      |    Inf 
155.31/155.40	c   155s|     1 |     0 | 78326 | 117M|   0 |1686 |2418 |6380 |6380 |2418 |7009 |2441 |   0 |   0 | 9.694129e+02 |      --      |    Inf 
162.11/162.30	c   161s|     1 |     0 | 81192 | 119M|   0 |1896 |2418 |6380 |6380 |2418 |7066 |2498 |   0 |   0 | 9.771466e+02 |      --      |    Inf 
166.31/166.41	c   166s|     1 |     0 | 82957 | 120M|   0 |1783 |2418 |6380 |6380 |2418 |6932 |2536 |   0 |   0 | 9.784375e+02 |      --      |    Inf 
174.20/174.35	c   173s|     1 |     0 | 86391 | 121M|   0 |1749 |2418 |6380 |6380 |2418 |6977 |2581 |   0 |   0 | 9.832852e+02 |      --      |    Inf 
180.01/180.12	c   179s|     1 |     0 | 89323 | 122M|   0 |1754 |2418 |6380 |6380 |2418 |7027 |2631 |   0 |   0 | 9.858825e+02 |      --      |    Inf 
185.41/185.56	c   185s|     1 |     0 | 91606 | 123M|   0 |1714 |2418 |6380 |6380 |2418 |7106 |2710 |   0 |   0 | 1.005568e+03 |      --      |    Inf 
190.60/190.73	c   190s|     1 |     0 | 94296 | 124M|   0 |1748 |2418 |6380 |6380 |2418 |7148 |2752 |   0 |   0 | 1.009159e+03 |      --      |    Inf 
196.99/197.18	c   196s|     1 |     0 | 97281 | 125M|   0 |1846 |2418 |6380 |6380 |2418 |7214 |2818 |   0 |   0 | 1.012558e+03 |      --      |    Inf 
206.30/206.48	c   206s|     1 |     0 |101152 | 126M|   0 |1830 |2418 |6380 |6380 |2418 |7106 |2877 |   0 |   0 | 1.021909e+03 |      --      |    Inf 
210.69/210.84	c   210s|     1 |     0 |103285 | 128M|   0 |1796 |2418 |6380 |6380 |2418 |7142 |2913 |   0 |   0 | 1.022663e+03 |      --      |    Inf 
216.59/216.71	c   216s|     1 |     0 |105748 | 129M|   0 |1730 |2418 |6380 |6380 |2418 |7213 |2984 |   0 |   0 | 1.037744e+03 |      --      |    Inf 
219.39/219.56	c   219s|     1 |     0 |107252 | 130M|   0 |1696 |2418 |6380 |6380 |2418 |7242 |3013 |   0 |   0 | 1.038158e+03 |      --      |    Inf 
224.59/224.76	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
224.59/224.76	c   224s|     1 |     0 |109681 | 132M|   0 |1723 |2418 |6380 |6380 |2418 |7276 |3047 |   0 |   0 | 1.038923e+03 |      --      |    Inf 
229.58/229.70	c   229s|     1 |     0 |111898 | 133M|   0 |1838 |2418 |6380 |6380 |2418 |7330 |3101 |   0 |   0 | 1.040984e+03 |      --      |    Inf 
236.59/236.78	c   236s|     1 |     0 |114797 | 134M|   0 |1842 |2418 |6380 |6380 |2418 |7190 |3160 |   0 |   0 | 1.043332e+03 |      --      |    Inf 
243.68/243.82	c   243s|     1 |     0 |117600 | 136M|   0 |1799 |2418 |6380 |6380 |2418 |7227 |3197 |   0 |   0 | 1.046665e+03 |      --      |    Inf 
248.27/248.49	c   247s|     1 |     0 |119509 | 138M|   0 |1888 |2418 |6380 |6380 |2418 |7270 |3240 |   0 |   0 | 1.049550e+03 |      --      |    Inf 
257.28/257.48	c   256s|     1 |     0 |123146 | 138M|   0 |1880 |2418 |6380 |6380 |2418 |7325 |3295 |   0 |   0 | 1.059522e+03 |      --      |    Inf 
263.07/263.28	c   262s|     1 |     0 |125772 | 140M|   0 |1771 |2418 |6380 |6380 |2418 |7373 |3343 |   0 |   0 | 1.064022e+03 |      --      |    Inf 
268.77/268.95	c   268s|     1 |     0 |128363 | 141M|   0 |1730 |2418 |6380 |6380 |2418 |7426 |3396 |   0 |   0 | 1.068026e+03 |      --      |    Inf 
277.47/277.65	c   276s|     1 |     0 |132337 | 143M|   0 |1824 |2418 |6380 |6380 |2418 |7171 |3428 |   0 |   0 | 1.072072e+03 |      --      |    Inf 
282.97/283.12	c   282s|     1 |     0 |135103 | 144M|   0 |1876 |2418 |6380 |6380 |2418 |7220 |3477 |   0 |   0 | 1.074971e+03 |      --      |    Inf 
287.36/287.59	c   286s|     1 |     0 |137197 | 146M|   0 |1954 |2418 |6380 |6380 |2418 |7265 |3522 |   0 |   0 | 1.077104e+03 |      --      |    Inf 
295.86/296.00	c   295s|     1 |     0 |140839 | 147M|   0 |1880 |2418 |6380 |6380 |2418 |7342 |3599 |   0 |   0 | 1.090041e+03 |      --      |    Inf 
301.95/302.10	c   301s|     1 |     0 |143787 | 148M|   0 |1833 |2418 |6380 |6380 |2418 |7400 |3657 |   0 |   0 | 1.094219e+03 |      --      |    Inf 
305.25/305.45	c   304s|     1 |     0 |145300 | 151M|   0 |1918 |2418 |6380 |6380 |2418 |7432 |3689 |   0 |   0 | 1.095429e+03 |      --      |    Inf 
311.45/311.63	c   310s|     1 |     0 |147943 | 153M|   0 |1966 |2418 |6380 |6380 |2418 |7237 |3720 |   0 |   0 | 1.096729e+03 |      --      |    Inf 
316.35/316.50	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
316.35/316.50	c   315s|     1 |     0 |149808 | 153M|   0 |1865 |2418 |6380 |6380 |2418 |7299 |3782 |   0 |   0 | 1.106795e+03 |      --      |    Inf 
318.85/319.03	c   318s|     1 |     0 |151052 | 155M|   0 |1915 |2418 |6380 |6380 |2418 |7333 |3816 |   0 |   0 | 1.107451e+03 |      --      |    Inf 
324.15/324.35	c   323s|     1 |     0 |153566 | 156M|   0 |1949 |2418 |6380 |6380 |2418 |7366 |3849 |   0 |   0 | 1.108434e+03 |      --      |    Inf 
331.55/331.71	c   330s|     1 |     0 |156575 | 157M|   0 |1925 |2418 |6380 |6380 |2418 |7423 |3906 |   0 |   0 | 1.117066e+03 |      --      |    Inf 
335.45/335.61	c   334s|     1 |     0 |158285 | 158M|   0 |1890 |2418 |6380 |6380 |2418 |7467 |3950 |   0 |   0 | 1.121160e+03 |      --      |    Inf 
338.45/338.60	c   337s|     1 |     0 |159524 | 160M|   0 |1923 |2418 |6380 |6380 |2418 |7234 |3980 |   0 |   0 | 1.122361e+03 |      --      |    Inf 
342.14/342.36	c   341s|     1 |     0 |161166 | 161M|   0 |1811 |2418 |6380 |6380 |2418 |7265 |4011 |   0 |   0 | 1.123114e+03 |      --      |    Inf 
346.14/346.30	c   345s|     1 |     0 |162917 | 162M|   0 |1912 |2418 |6380 |6380 |2418 |7299 |4045 |   0 |   0 | 1.123540e+03 |      --      |    Inf 
353.84/354.01	c   353s|     1 |     0 |166427 | 163M|   0 |1816 |2418 |6380 |6380 |2418 |7368 |4114 |   0 |   0 | 1.130394e+03 |      --      |    Inf 
359.84/360.05	c   359s|     1 |     0 |169215 | 164M|   0 |1886 |2418 |6380 |6380 |2418 |7408 |4154 |   0 |   0 | 1.132337e+03 |      --      |    Inf 
366.24/366.45	c   365s|     1 |     0 |171898 | 165M|   0 |1861 |2418 |6380 |6380 |2418 |7454 |4200 |   0 |   0 | 1.136181e+03 |      --      |    Inf 
369.53/369.76	c   368s|     1 |     0 |173284 | 168M|   0 |1841 |2418 |6380 |6380 |2418 |7258 |4240 |   0 |   0 | 1.136391e+03 |      --      |    Inf 
376.23/376.41	c   375s|     1 |     0 |176558 | 169M|   0 |1878 |2418 |6380 |6380 |2418 |7295 |4277 |   0 |   0 | 1.137083e+03 |      --      |    Inf 
384.02/384.28	c   383s|     1 |     0 |179981 | 170M|   0 |1854 |2418 |6380 |6380 |2418 |7361 |4343 |   0 |   0 | 1.146278e+03 |      --      |    Inf 
388.23/388.48	c   387s|     1 |     0 |182209 | 171M|   0 |1953 |2418 |6380 |6380 |2418 |7404 |4386 |   0 |   0 | 1.148353e+03 |      --      |    Inf 
393.42/393.62	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
393.42/393.62	c   392s|     1 |     0 |184529 | 172M|   0 |1990 |2418 |6380 |6380 |2418 |7436 |4418 |   0 |   0 | 1.149140e+03 |      --      |    Inf 
400.52/400.74	c   399s|     1 |     0 |187830 | 174M|   0 |1999 |2418 |6380 |6380 |2418 |7475 |4457 |   0 |   0 | 1.149601e+03 |      --      |    Inf 
408.41/408.66	c   407s|     1 |     0 |191035 | 175M|   0 |1950 |2418 |6380 |6380 |2418 |7343 |4509 |   0 |   0 | 1.152538e+03 |      --      |    Inf 
412.61/412.81	c   411s|     1 |     0 |192984 | 177M|   0 |1960 |2418 |6380 |6380 |2418 |7381 |4547 |   0 |   0 | 1.153091e+03 |      --      |    Inf 
417.61/417.88	c   416s|     1 |     0 |195080 | 178M|   0 |2030 |2418 |6380 |6380 |2418 |7411 |4577 |   0 |   0 | 1.153964e+03 |      --      |    Inf 
425.80/426.02	c   424s|     1 |     0 |198380 | 181M|   0 |2047 |2418 |6380 |6380 |2418 |7445 |4611 |   0 |   0 | 1.154455e+03 |      --      |    Inf 
435.70/435.90	c   434s|     1 |     0 |201759 | 181M|   0 |1854 |2418 |6380 |6380 |2418 |7507 |4673 |   0 |   0 | 1.162690e+03 |      --      |    Inf 
439.60/439.89	c   438s|     1 |     0 |203543 | 183M|   0 |1858 |2418 |6380 |6380 |2418 |7544 |4710 |   0 |   0 | 1.165676e+03 |      --      |    Inf 
445.00/445.26	c   443s|     1 |     0 |206033 | 184M|   0 |1903 |2418 |6380 |6380 |2418 |7314 |4745 |   0 |   0 | 1.166652e+03 |      --      |    Inf 
450.80/451.02	c   449s|     1 |     0 |208536 | 185M|   0 |1926 |2418 |6380 |6380 |2418 |7369 |4800 |   0 |   0 | 1.171582e+03 |      --      |    Inf 
454.60/454.83	c   453s|     1 |     0 |210657 | 185M|   0 |1772 |2418 |6380 |6380 |2418 |7400 |4831 |   0 |   0 | 1.173281e+03 |      --      |    Inf 
460.39/460.64	c   459s|     1 |     0 |213417 | 187M|   0 |1991 |2418 |6380 |6380 |2418 |7454 |4885 |   0 |   0 | 1.177337e+03 |      --      |    Inf 
464.09/464.31	c   462s|     1 |     0 |215245 | 188M|   0 |1968 |2418 |6380 |6380 |2418 |7484 |4915 |   0 |   0 | 1.178012e+03 |      --      |    Inf 
473.08/473.35	c   471s|     1 |     0 |219107 | 189M|   0 |1886 |2418 |6380 |6380 |2418 |7553 |4984 |   0 |   0 | 1.186221e+03 |      --      |    Inf 
476.18/476.44	c   475s|     1 |     0 |220614 | 190M|   0 |1876 |2418 |6380 |6380 |2418 |7428 |5018 |   0 |   0 | 1.188139e+03 |      --      |    Inf 
478.98/479.24	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
478.98/479.24	c   477s|     1 |     0 |221943 | 192M|   0 |2006 |2418 |6380 |6380 |2418 |7459 |5049 |   0 |   0 | 1.188891e+03 |      --      |    Inf 
488.37/488.66	c   487s|     1 |     0 |226203 | 192M|   0 |1963 |2418 |6380 |6380 |2418 |7502 |5092 |   0 |   0 | 1.194909e+03 |      --      |    Inf 
491.57/491.80	c   490s|     1 |     0 |227609 | 194M|   0 |1934 |2418 |6380 |6380 |2418 |7539 |5129 |   0 |   0 | 1.196455e+03 |      --      |    Inf 
493.28/493.56	c   492s|     1 |     0 |228302 | 195M|   0 |1942 |2418 |6380 |6380 |2418 |7576 |5166 |   0 |   0 | 1.196741e+03 |      --      |    Inf 
495.97/496.27	c   494s|     1 |     0 |229653 | 195M|   0 |2043 |2418 |6380 |6380 |2418 |7617 |5207 |   0 |   0 | 1.197311e+03 |      --      |    Inf 
504.17/504.40	c   502s|     1 |     0 |233168 | 196M|   0 |1882 |2418 |6380 |6380 |2418 |7410 |5280 |   0 |   0 | 1.204298e+03 |      --      |    Inf 
507.57/507.83	c   506s|     1 |     0 |234796 | 196M|   0 |1976 |2418 |6380 |6380 |2418 |7436 |5306 |   0 |   0 | 1.205784e+03 |      --      |    Inf 
510.47/510.76	c   509s|     1 |     0 |236426 | 197M|   0 |2011 |2418 |6380 |6380 |2418 |7464 |5334 |   0 |   0 | 1.206335e+03 |      --      |    Inf 
512.77/513.04	c   511s|     1 |     0 |237444 | 198M|   0 |1980 |2418 |6380 |6380 |2418 |7493 |5363 |   0 |   0 | 1.207026e+03 |      --      |    Inf 
517.26/517.58	c   516s|     1 |     0 |239903 | 200M|   0 |2000 |2418 |6380 |6380 |2418 |7528 |5398 |   0 |   0 | 1.207858e+03 |      --      |    Inf 
524.06/524.36	c   522s|     1 |     0 |242766 | 200M|   0 |2016 |2418 |6380 |6380 |2418 |7579 |5449 |   0 |   0 | 1.212778e+03 |      --      |    Inf 
526.27/526.58	c   524s|     1 |     0 |243953 | 201M|   0 |2025 |2418 |6380 |6380 |2418 |7386 |5483 |   0 |   0 | 1.214106e+03 |      --      |    Inf 
529.46/529.74	c   528s|     1 |     0 |245505 | 198M|   0 |2061 |2418 |6380 |6380 |2418 |7415 |5512 |   0 |   0 | 1.214890e+03 |      --      |    Inf 
533.16/533.43	c   531s|     1 |     0 |247337 | 196M|   0 |2111 |2418 |6380 |6380 |2418 |7434 |5531 |   0 |   0 | 1.215079e+03 |      --      |    Inf 
537.06/537.38	c   535s|     1 |     0 |249343 | 194M|   0 |1992 |2418 |6380 |6380 |2418 |7463 |5560 |   0 |   0 | 1.215875e+03 |      --      |    Inf 
543.26/543.53	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
543.26/543.53	c   541s|     1 |     0 |252120 | 192M|   0 |1936 |2418 |6380 |6380 |2418 |7515 |5612 |   0 |   0 | 1.219045e+03 |      --      |    Inf 
546.46/546.70	c   545s|     1 |     0 |253626 | 189M|   0 |1988 |2418 |6380 |6380 |2418 |7550 |5647 |   0 |   0 | 1.220886e+03 |      --      |    Inf 
550.06/550.32	c   548s|     1 |     0 |255519 | 186M|   0 |2017 |2418 |6380 |6380 |2418 |7371 |5677 |   0 |   0 | 1.221689e+03 |      --      |    Inf 
551.97/552.24	c   550s|     1 |     0 |256492 | 184M|   0 |2023 |2418 |6380 |6380 |2418 |7400 |5706 |   0 |   0 | 1.221973e+03 |      --      |    Inf 
556.45/556.77	c   555s|     1 |     0 |258601 | 182M|   0 |1925 |2418 |6380 |6380 |2418 |7448 |5754 |   0 |   0 | 1.225006e+03 |      --      |    Inf 
558.65/558.94	c   557s|     1 |     0 |259672 | 179M|   0 |1894 |2418 |6380 |6380 |2418 |7472 |5778 |   0 |   0 | 1.225434e+03 |      --      |    Inf 
560.25/560.56	c   558s|     1 |     0 |259948 | 172M|   0 |1908 |2418 |6380 |6380 |2418 |7488 |5794 |   0 |   0 | 1.225434e+03 |      --      |    Inf 
565.05/565.33	c   563s|     1 |     0 |262070 | 168M|   0 |2023 |2418 |6380 |6380 |2418 |7511 |5817 |   0 |   0 | 1.228623e+03 |      --      |    Inf 
568.05/568.30	c   566s|     1 |     0 |263472 | 164M|   0 |2005 |2418 |6380 |6380 |2418 |7359 |5840 |   0 |   0 | 1.230266e+03 |      --      |    Inf 
572.25/572.57	c   570s|     1 |     0 |265853 | 162M|   0 |1994 |2418 |6380 |6380 |2418 |7387 |5868 |   0 |   0 | 1.231971e+03 |      --      |    Inf 
575.45/575.78	c   574s|     1 |     0 |267355 | 156M|   0 |2031 |2418 |6380 |6380 |2418 |7417 |5898 |   0 |   0 | 1.234171e+03 |      --      |    Inf 
579.05/579.30	c   577s|     1 |     0 |269299 | 153M|   0 |2013 |2418 |6380 |6380 |2418 |7429 |5910 |   0 |   0 | 1.235127e+03 |      --      |    Inf 
582.84/583.15	c   581s|     1 |     0 |271223 | 150M|   0 |2077 |2418 |6380 |6380 |2418 |7452 |5933 |   0 |   0 | 1.236348e+03 |      --      |    Inf 
584.34/584.68	c   582s|     1 |     0 |271720 | 147M|   0 |2032 |2418 |6380 |6380 |2418 |7470 |5951 |   0 |   0 | 1.236415e+03 |      --      |    Inf 
587.63/587.93	c   586s|     1 |     0 |273609 | 144M|   0 |2092 |2418 |6380 |6380 |2418 |7286 |5968 |   0 |   0 | 1.236736e+03 |      --      |    Inf 
591.54/591.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
591.54/591.81	c   590s|     1 |     0 |274826 | 140M|   0 |2106 |2418 |6380 |6380 |2418 |7313 |5995 |   0 |   0 | 1.237579e+03 |      --      |    Inf 
594.84/595.17	c   593s|     1 |     0 |275632 | 138M|   0 |2045 |2418 |6380 |6380 |2418 |7332 |6014 |   0 |   0 | 1.239391e+03 |      --      |    Inf 
598.43/598.78	c   596s|     1 |     0 |276889 | 136M|   0 |2023 |2418 |6380 |6380 |2418 |7355 |6037 |   0 |   0 | 1.240570e+03 |      --      |    Inf 
601.34/601.68	c   599s|     1 |     0 |277456 | 135M|   0 |2001 |2418 |6380 |6380 |2418 |7364 |6046 |   0 |   0 | 1.241216e+03 |      --      |    Inf 
603.23/603.51	c   601s|     1 |     0 |278129 | 134M|   0 |2040 |2418 |6380 |6380 |2418 |7383 |6065 |   0 |   0 | 1.241829e+03 |      --      |    Inf 
607.43/607.78	c   605s|     1 |     0 |279862 | 132M|   0 |2036 |2418 |6380 |6380 |2418 |7289 |6096 |   0 |   0 | 1.243320e+03 |      --      |    Inf 
608.83/609.18	c   607s|     1 |     0 |280489 | 131M|   0 |2000 |2418 |6380 |6380 |2418 |7315 |6122 |   0 |   0 | 1.243887e+03 |      --      |    Inf 
613.03/613.37	c   611s|     1 |     0 |282333 | 129M|   0 |1959 |2418 |6380 |6380 |2418 |7337 |6144 |   0 |   0 | 1.245754e+03 |      --      |    Inf 
616.53/616.82	c   614s|     1 |     0 |283852 | 127M|   0 |1934 |2418 |6380 |6380 |2418 |7368 |6175 |   0 |   0 | 1.247989e+03 |      --      |    Inf 
617.83/618.18	c   616s|     1 |     0 |284126 | 127M|   0 |1990 |2418 |6380 |6380 |2418 |7387 |6194 |   0 |   0 | 1.247989e+03 |      --      |    Inf 
620.03/620.39	c   618s|     1 |     0 |285308 | 125M|   0 |1963 |2418 |6380 |6380 |2418 |7400 |6207 |   0 |   0 | 1.248914e+03 |      --      |    Inf 
622.02/622.37	c   620s|     1 |     0 |285987 | 124M|   0 |1986 |2418 |6380 |6380 |2418 |7278 |6222 |   0 |   0 | 1.249285e+03 |      --      |    Inf 
625.23/625.58	c   623s|     1 |     0 |287409 | 122M|   0 |1926 |2418 |6380 |6380 |2418 |7303 |6247 |   0 |   0 | 1.251379e+03 |      --      |    Inf 
627.93/628.29	c   626s|     1 |     0 |289049 | 122M|   0 |1966 |2418 |6380 |6380 |2418 |7332 |6276 |   0 |   0 | 1.253145e+03 |      --      |    Inf 
630.82/631.18	c   629s|     1 |     0 |290014 | 121M|   0 |2000 |2418 |6380 |6380 |2418 |7366 |6310 |   0 |   0 | 1.255354e+03 |      --      |    Inf 
633.42/633.74	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
633.42/633.74	c   631s|     1 |     0 |290640 | 120M|   0 |1938 |2418 |6380 |6380 |2418 |7387 |6331 |   0 |   0 | 1.255383e+03 |      --      |    Inf 
636.02/636.31	c   634s|     1 |     0 |291330 | 119M|   0 |1884 |2418 |6380 |6380 |2418 |7410 |6354 |   0 |   0 | 1.258057e+03 |      --      |    Inf 
638.02/638.39	c   636s|     1 |     0 |292107 | 118M|   0 |1957 |2418 |6380 |6380 |2418 |7295 |6373 |   0 |   0 | 1.258272e+03 |      --      |    Inf 
640.72/641.03	c   639s|     1 |     0 |292663 | 117M|   0 |1994 |2418 |6380 |6380 |2418 |7308 |6386 |   0 |   0 | 1.258627e+03 |      --      |    Inf 
643.62/643.99	c   641s|     1 |     0 |293246 | 116M|   0 |1958 |2418 |6380 |6380 |2418 |7317 |6395 |   0 |   0 | 1.258962e+03 |      --      |    Inf 
648.41/648.79	c   646s|     1 |     0 |295659 | 116M|   0 |1944 |2418 |6380 |6380 |2418 |7329 |6407 |   0 |   0 | 1.259737e+03 |      --      |    Inf 
650.02/650.39	c   648s|     1 |     0 |296350 | 115M|   0 |1927 |2418 |6380 |6380 |2418 |7345 |6423 |   0 |   0 | 1.260968e+03 |      --      |    Inf 
651.92/652.23	c   650s|     1 |     0 |297328 | 115M|   0 |1904 |2418 |6380 |6380 |2418 |7364 |6442 |   0 |   0 | 1.261427e+03 |      --      |    Inf 
653.21/653.52	c   651s|     1 |     0 |297693 | 113M|   0 |1944 |2418 |6380 |6380 |2418 |7265 |6461 |   0 |   0 | 1.261827e+03 |      --      |    Inf 
654.61/654.93	c   652s|     1 |     0 |298106 | 112M|   0 |1962 |2418 |6380 |6380 |2418 |7285 |6481 |   0 |   0 | 1.261858e+03 |      --      |    Inf 
658.21/658.59	c   656s|     1 |     0 |299594 | 112M|   0 |1911 |2418 |6380 |6380 |2418 |7305 |6501 |   0 |   0 | 1.263346e+03 |      --      |    Inf 
661.81/662.12	c   660s|     1 |     0 |300959 | 110M|   0 |1976 |2418 |6380 |6380 |2418 |7327 |6523 |   0 |   0 | 1.264072e+03 |      --      |    Inf 
665.21/665.53	c   663s|     1 |     0 |302166 | 109M|   0 |1793 |2418 |6380 |6380 |2418 |7346 |6542 |   0 |   0 | 1.265056e+03 |      --      |    Inf 
669.51/669.86	c   667s|     1 |     0 |304568 | 108M|   0 |1895 |2418 |6380 |6380 |2418 |7369 |6565 |   0 |   0 | 1.265851e+03 |      --      |    Inf 
670.61/670.98	c   668s|     1 |     0 |304928 | 107M|   0 |1858 |2418 |6380 |6380 |2418 |7283 |6574 |   0 |   0 | 1.265851e+03 |      --      |    Inf 
671.81/672.17	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
671.81/672.17	c   670s|     1 |     0 |305180 | 106M|   0 |1922 |2418 |6380 |6380 |2418 |7294 |6585 |   0 |   0 | 1.265851e+03 |      --      |    Inf 
673.40/673.78	c   671s|     1 |     0 |305777 | 106M|   0 |1927 |2418 |6380 |6380 |2418 |7305 |6596 |   0 |   0 | 1.265895e+03 |      --      |    Inf 
677.70/678.09	c   675s|     1 |     0 |307972 | 105M|   0 |1986 |2418 |6380 |6380 |2418 |7330 |6621 |   0 |   0 | 1.266943e+03 |      --      |    Inf 
680.70/681.07	c   678s|     1 |     0 |308490 | 104M|   0 |1958 |2418 |6380 |6380 |2418 |7341 |6632 |   0 |   0 | 1.267012e+03 |      --      |    Inf 
685.01/685.37	c   683s|     1 |     0 |310090 | 102M|   0 |1943 |2418 |6380 |6380 |2418 |7351 |6642 |   0 |   0 | 1.267504e+03 |      --      |    Inf 
688.80/689.11	c   686s|     1 |     0 |311467 | 101M|   0 |1863 |2418 |6380 |6380 |2418 |7285 |6673 |   0 |   0 | 1.268381e+03 |      --      |    Inf 
691.20/691.51	c   689s|     1 |     0 |312368 | 100M|   0 |1905 |2418 |6380 |6380 |2418 |7309 |6697 |   0 |   0 | 1.269301e+03 |      --      |    Inf 
694.19/694.54	c   692s|     1 |     0 |314069 | 100M|   0 |1927 |2418 |6380 |6380 |2418 |7331 |6719 |   0 |   0 | 1.270007e+03 |      --      |    Inf 
699.49/699.84	c   697s|     1 |     0 |316575 |  99M|   0 |1976 |2418 |6380 |6380 |2418 |7349 |6737 |   0 |   0 | 1.270881e+03 |      --      |    Inf 
704.09/704.40	c   702s|     1 |     0 |318535 |  96M|   0 |1960 |2418 |6380 |6380 |2418 |7368 |6756 |   0 |   0 | 1.271164e+03 |      --      |    Inf 
707.30/707.64	c   705s|     1 |     0 |319605 |  94M|   0 |1972 |2418 |6380 |6380 |2418 |7382 |6770 |   0 |   0 | 1.271469e+03 |      --      |    Inf 
711.89/712.29	c   710s|     1 |     0 |321486 |  94M|   0 |1968 |2418 |6380 |6380 |2418 |7300 |6774 |   0 |   0 | 1.271889e+03 |      --      |    Inf 
716.29/716.62	c   714s|     1 |     0 |323049 |  93M|   0 |1823 |2418 |6380 |6380 |2418 |7317 |6791 |   0 |   0 | 1.272312e+03 |      --      |    Inf 
719.89/720.23	c   717s|     1 |     0 |325151 |  92M|   0 |1914 |2418 |6380 |6380 |2418 |7343 |6817 |   0 |   0 | 1.273089e+03 |      --      |    Inf 
724.28/724.62	c   722s|     1 |     0 |327144 |  92M|   0 |1956 |2418 |6380 |6380 |2418 |7374 |6848 |   0 |   0 | 1.274969e+03 |      --      |    Inf 
727.49/727.82	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
727.49/727.82	c   725s|     1 |     0 |328136 |  92M|   0 |1961 |2418 |6380 |6380 |2418 |7390 |6864 |   0 |   0 | 1.275011e+03 |      --      |    Inf 
731.59/731.92	c   729s|     1 |     0 |329574 |  91M|   0 |1946 |2418 |6380 |6380 |2418 |7395 |6869 |   0 |   0 | 1.275563e+03 |      --      |    Inf 
735.38/735.70	c   733s|     1 |     0 |330883 |  89M|   0 |1927 |2418 |6380 |6380 |2418 |7317 |6882 |   0 |   0 | 1.275976e+03 |      --      |    Inf 
738.48/738.84	c   736s|     1 |     0 |331776 |  88M|   0 |1938 |2418 |6380 |6380 |2418 |7331 |6896 |   0 |   0 | 1.275976e+03 |      --      |    Inf 
742.09/742.40	c   740s|     1 |     0 |333059 |  87M|   0 |1920 |2418 |6380 |6380 |2418 |7344 |6909 |   0 |   0 | 1.275988e+03 |      --      |    Inf 
744.88/745.25	c   742s|     1 |     0 |333977 |  87M|   0 |1935 |2418 |6380 |6380 |2418 |7351 |6916 |   0 |   0 | 1.276097e+03 |      --      |    Inf 
748.58/748.99	c   746s|     1 |     0 |335164 |  86M|   0 |1904 |2418 |6380 |6380 |2418 |7366 |6931 |   0 |   0 | 1.276416e+03 |      --      |    Inf 
753.08/753.48	c   751s|     1 |     0 |337374 |  85M|   0 |1906 |2418 |6380 |6380 |2418 |7374 |6939 |   0 |   0 | 1.278054e+03 |      --      |    Inf 
754.98/755.36	c   752s|     1 |     0 |338216 |  85M|   0 |1977 |2418 |6380 |6380 |2418 |7268 |6947 |   0 |   0 | 1.279054e+03 |      --      |    Inf 
757.97/758.30	c   755s|     1 |     0 |339122 |  83M|   0 |1966 |2418 |6380 |6380 |2418 |7275 |6954 |   0 |   0 | 1.279054e+03 |      --      |    Inf 
761.18/761.52	c   759s|     1 |     0 |339773 |  82M|   0 |1965 |2418 |6380 |6380 |2418 |7281 |6960 |   0 |   0 | 1.279054e+03 |      --      |    Inf 
763.77/764.10	c   761s|     1 |     0 |340179 |  81M|   0 |1922 |2418 |6380 |6380 |2418 |7285 |6964 |   0 |   0 | 1.279054e+03 |      --      |    Inf 
766.66/767.02	c   764s|     1 |     0 |340749 |  81M|   0 |1940 |2418 |6380 |6380 |2418 |7290 |6969 |   0 |   0 | 1.279054e+03 |      --      |    Inf 
769.96/770.37	c   767s|     1 |     0 |341760 |  79M|   0 |1983 |2418 |6380 |6380 |2418 |7293 |6972 |   0 |   0 | 1.279054e+03 |      --      |    Inf 
795.54/795.96	c   793s|     1 |     2 |341760 |  79M|   0 |1983 |2418 |6380 |6380 |2418 |7293 |6972 |   0 |  18 | 1.279054e+03 |      --      |    Inf 
1795.86/1796.69	c 
1795.86/1796.69	c SCIP Status        : solving was interrupted [time limit reached]
1795.86/1796.69	c Solving Time (sec) : 1791.01
1795.86/1796.69	c Solving Nodes      : 111
1795.86/1796.69	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.86/1796.69	c Dual Bound         : +1.27928358294271e+03
1795.86/1796.69	c Gap                : infinite
1795.86/1796.69	c NODE         111
1795.86/1796.69	c DUAL BOUND   1279.28
1795.86/1796.69	c PRIMAL BOUND 1e+20
1795.86/1796.69	c GAP          1e+20
1795.86/1796.69	s UNKNOWN
1795.86/1796.69	c SCIP Status        : solving was interrupted [time limit reached]
1795.86/1796.69	c Solving Time       :    1791.01
1795.86/1796.69	c Original Problem   :
1795.86/1796.69	c   Problem name     : HOME/instance-1868912-1245149658.opb
1795.86/1796.69	c   Variables        : 2606 (2606 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.86/1796.69	c   Constraints      : 6509 initial, 6509 maximal
1795.86/1796.69	c Presolved Problem  :
1795.86/1796.69	c   Problem name     : t_HOME/instance-1868912-1245149658.opb
1795.86/1796.69	c   Variables        : 2418 (2418 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.86/1796.69	c   Constraints      : 6380 initial, 6669 maximal
1795.86/1796.69	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.86/1796.69	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1795.86/1796.69	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1795.86/1796.69	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.86/1796.69	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.86/1796.69	c   implics          :       0.01          0          3          0          0          0          0          0          0
1795.86/1796.69	c   probing          :       0.40          2        183          0          0          0          0          0          0
1795.86/1796.69	c   linear           :       0.10          0          0          0          0          0        122        122          0
1795.86/1796.69	c   logicor          :       0.10          0          0          0          0          0          7          0          0
1795.86/1796.69	c   root node        :          -          0          -          -          0          -          -          -          -
1795.86/1796.69	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.86/1796.69	c   integral         :          0          0          0        109          0          0          0          0          0        218
1795.86/1796.69	c   logicor          :       6380+       178      17127          0          1         62       1982          0          0          0
1795.86/1796.69	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1795.86/1796.69	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.86/1796.69	c   integral         :     452.86       0.00       0.00     452.86       0.00
1795.86/1796.69	c   logicor          :       0.43       0.18       0.25       0.00       0.00
1795.86/1796.69	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.86/1796.69	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.86/1796.69	c   rootredcost      :       0.02          0          0          0
1795.86/1796.69	c   pseudoobj        :       1.13      11072          0          0
1795.86/1796.69	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.86/1796.69	c   propagation      :       0.00         62         62        141       15.8         68        4.5          -
1795.86/1796.69	c   infeasible LP    :       0.06         28         28         96       29.7         31        3.7          0
1795.86/1796.69	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.86/1796.69	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.86/1796.69	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.86/1796.69	c   applied globally :          -          -          -        301       14.5          -          -          -
1795.86/1796.69	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.86/1796.69	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.86/1796.69	c   cut pool         :       8.58        177          -          -       7840          -    (maximal pool size: 36683)
1795.86/1796.69	c   redcost          :       0.05        286          0          0          0          0
1795.86/1796.69	c   impliedbounds    :       0.14        178          0          0       2655          0
1795.86/1796.69	c   intobj           :       0.00          0          0          0          0          0
1795.86/1796.69	c   gomory           :     209.09        178          0          0      82048          0
1795.86/1796.69	c   strongcg         :       7.05         20          0          0      10000          0
1795.86/1796.69	c   cmir             :       0.82         10          0          0          0          0
1795.86/1796.69	c   flowcover        :       0.65         10          0          0          0          0
1795.86/1796.69	c   clique           :       0.45        178          0          0         67          0
1795.86/1796.69	c   zerohalf         :       0.00          0          0          0          0          0
1795.86/1796.69	c   mcf              :       0.01          1          0          0          0          0
1795.86/1796.69	c Pricers            :       Time      Calls       Vars
1795.86/1796.69	c   problem variables:       0.00          0          0
1795.86/1796.69	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.86/1796.69	c   relpscost        :     452.86        109          0          0          0          0        218
1795.86/1796.69	c   pscost           :       0.00          0          0          0          0          0          0
1795.86/1796.69	c   inference        :       0.00          1          0          0          0          0          2
1795.86/1796.69	c   mostinf          :       0.00          0          0          0          0          0          0
1795.86/1796.69	c   leastinf         :       0.00          0          0          0          0          0          0
1795.86/1796.69	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.86/1796.69	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.86/1796.69	c   random           :       0.00          0          0          0          0          0          0
1795.86/1796.69	c Primal Heuristics  :       Time      Calls      Found
1795.86/1796.69	c   LP solutions     :       0.00          -          0
1795.86/1796.69	c   pseudo solutions :       0.00          -          0
1795.86/1796.69	c   oneopt           :       0.00          0          0
1795.86/1796.69	c   crossover        :       0.00          0          0
1795.86/1796.69	c   rootsoldiving    :      49.22          2          0
1795.86/1796.69	c   simplerounding   :       0.00          0          0
1795.86/1796.69	c   rounding         :       0.34        155          0
1795.86/1796.69	c   shifting         :       2.17        100          0
1795.86/1796.69	c   intshifting      :       0.00          0          0
1795.86/1796.69	c   fixandinfer      :       0.00          0          0
1795.86/1796.69	c   feaspump         :       7.98          1          0
1795.86/1796.69	c   coefdiving       :      49.54          4          0
1795.86/1796.69	c   pscostdiving     :      69.14          5          0
1795.86/1796.69	c   fracdiving       :      68.24          7          0
1795.86/1796.69	c   veclendiving     :      63.61          8          0
1795.86/1796.69	c   intdiving        :       0.00          0          0
1795.86/1796.69	c   actconsdiving    :       0.00          0          0
1795.86/1796.69	c   objpscostdiving  :      96.42          1          0
1795.86/1796.69	c   linesearchdiving :      65.52         10          0
1795.86/1796.69	c   guideddiving     :       0.00          0          0
1795.86/1796.69	c   octane           :       0.00          0          0
1795.86/1796.69	c   rens             :       0.01          0          0
1795.86/1796.69	c   rins             :       0.00          0          0
1795.86/1796.69	c   localbranching   :       0.00          0          0
1795.86/1796.69	c   mutation         :       0.00          0          0
1795.86/1796.69	c   dins             :       0.00          0          0
1795.86/1796.69	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.86/1796.69	c   primal LP        :       0.34          0          0       0.00       0.00
1795.86/1796.69	c   dual LP          :     634.38        288     427193    1483.31     673.40
1795.86/1796.69	c   barrier LP       :       0.00          0          0       0.00          -
1795.86/1796.69	c   diving/probing LP:     456.84       3482     335923      96.47     735.32
1795.86/1796.69	c   strong branching :     452.78        541     345835     639.25     763.80
1795.86/1796.69	c     (at root node) :          -         18      17539     974.39          -
1795.86/1796.69	c   conflict analysis:       0.00          0          0       0.00          -
1795.86/1796.69	c B&B Tree           :
1795.86/1796.69	c   number of runs   :          1
1795.86/1796.69	c   nodes            :        111
1795.86/1796.69	c   nodes (total)    :        111
1795.86/1796.69	c   nodes left       :        110
1795.86/1796.69	c   max depth        :         19
1795.86/1796.69	c   max depth (total):         19
1795.86/1796.69	c   backtracks       :         52 (46.8%)
1795.86/1796.69	c   delayed cutoffs  :          0
1795.86/1796.69	c   repropagations   :         21 (136 domain reductions, 0 cutoffs)
1795.86/1796.69	c   avg switch length:       4.68
1795.86/1796.69	c   switching time   :       0.06
1795.86/1796.69	c Solution           :
1795.86/1796.69	c   Solutions found  :          0 (0 improvements)
1795.86/1796.69	c   Primal Bound     :          -
1795.86/1796.69	c   Dual Bound       : +1.27928358294271e+03
1795.86/1796.69	c   Gap              :   infinite
1795.86/1796.69	c   Root Dual Bound  : +1.27905449104526e+03
1796.06/1796.86	c Time complete: 1796.12.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868912-1245149658/watcher-1868912-1245149658 -o /tmp/evaluation-result-1868912-1245149658/solver-1868912-1245149658 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868912-1245149658.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.01 1.00 2/64 4032
/proc/meminfo: memFree=1546112/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=3796 CPUtime=0
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 223 0 0 0 0 0 0 0 20 0 1 0 182565439 3887104 207 1992294400 4194304 7823515 548682068736 18446744073709551615 4914288 0 0 4096 0 0 0 0 17 0 0 0
/proc/4032/statm: 949 211 170 886 0 59 0

[startup+0.063358 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 4032
/proc/meminfo: memFree=1546112/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=12716 CPUtime=0.05
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 2499 0 0 0 5 0 0 0 20 0 1 0 182565439 13021184 2481 1992294400 4194304 7823515 548682068736 18446744073709551615 6804486 0 0 4096 0 0 0 0 17 0 0 0
/proc/4032/statm: 3179 2481 354 886 0 2289 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12716

[startup+0.101361 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 4032
/proc/meminfo: memFree=1546112/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=14284 CPUtime=0.08
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 2901 0 0 0 8 0 0 0 20 0 1 0 182565439 14626816 2883 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 0 0 0
/proc/4032/statm: 3571 2883 354 886 0 2681 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14284

[startup+0.301381 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 4032
/proc/meminfo: memFree=1546112/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=30856 CPUtime=0.28
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 7124 0 0 0 25 3 0 0 22 0 1 0 182565439 31596544 6752 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 7714 6752 425 886 0 6824 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 30856

[startup+0.701421 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 4032
/proc/meminfo: memFree=1546112/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=32092 CPUtime=0.68
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 7476 0 0 0 61 7 0 0 25 0 1 0 182565439 32862208 7104 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 8023 7104 447 886 0 7133 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 32092

[startup+1.5015 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4033
/proc/meminfo: memFree=1511544/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=42844 CPUtime=1.49
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 10253 0 0 0 140 9 0 0 25 0 1 0 182565439 43872256 9727 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 10711 9727 519 886 0 9821 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42844

[startup+3.10167 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4033
/proc/meminfo: memFree=1508920/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=42844 CPUtime=3.09
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 10301 0 0 0 300 9 0 0 25 0 1 0 182565439 43872256 9775 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 10711 9775 519 886 0 9821 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42844

[startup+6.30199 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4033
/proc/meminfo: memFree=1508168/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=42844 CPUtime=6.28
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 10403 0 0 0 619 9 0 0 25 0 1 0 182565439 43872256 9877 1992294400 4194304 7823515 548682068736 18446744073709551615 6208932 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 10711 9877 530 886 0 9821 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42844

[startup+12.7026 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4033
/proc/meminfo: memFree=1508168/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=49616 CPUtime=12.67
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 12094 0 0 0 1256 11 0 0 25 0 1 0 182565439 50806784 11456 1992294400 4194304 7823515 548682068736 18446744073709551615 6234834 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 12404 11456 559 886 0 11514 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 49616

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4033
/proc/meminfo: memFree=1473352/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=78100 CPUtime=25.47
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 19777 0 0 0 2529 18 0 0 25 0 1 0 182565439 79974400 18683 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 19525 18683 559 886 0 18635 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 78100

[startup+51.1015 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 4033
/proc/meminfo: memFree=1439752/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=117244 CPUtime=51.06
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 30337 0 0 0 5076 30 0 0 25 0 1 0 182565439 120057856 27587 1992294400 4194304 7823515 548682068736 18446744073709551615 4274214 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 29311 27587 559 886 0 28421 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 117244

[startup+102.306 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 4033
/proc/meminfo: memFree=1395656/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=162132 CPUtime=102.24
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 46061 0 0 0 10176 48 0 0 25 0 1 0 182565439 166023168 38051 1992294400 4194304 7823515 548682068736 18446744073709551615 4338511 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 40533 38051 559 886 0 39643 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 162132

[startup+162.302 s]
/proc/loadavg: 1.12 1.04 1.01 2/65 4033
/proc/meminfo: memFree=1374472/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=181656 CPUtime=162.21
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 56093 0 0 0 16156 65 0 0 25 0 1 0 182565439 186015744 43300 1992294400 4194304 7823515 548682068736 18446744073709551615 5394031 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 45414 43300 559 886 0 44524 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 181656

[startup+222.302 s]
/proc/loadavg: 1.20 1.06 1.01 2/65 4033
/proc/meminfo: memFree=1360008/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=199308 CPUtime=222.19
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 65555 0 0 0 22137 82 0 0 25 0 1 0 182565439 204091392 46893 1992294400 4194304 7823515 548682068736 18446744073709551615 6162063 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 49827 46893 559 886 0 48937 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 199308

[startup+282.302 s]
/proc/loadavg: 1.14 1.06 1.01 2/65 4033
/proc/meminfo: memFree=1346440/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=212896 CPUtime=282.16
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 72315 0 0 0 28118 98 0 0 25 0 1 0 182565439 218005504 50284 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 53224 50284 559 886 0 52334 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 212896

[startup+342.301 s]
/proc/loadavg: 1.05 1.05 1.00 2/65 4033
/proc/meminfo: memFree=1329224/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=228804 CPUtime=342.14
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 81609 0 0 0 34098 116 0 0 25 0 1 0 182565439 234295296 54575 1992294400 4194304 7823515 548682068736 18446744073709551615 6208530 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 57201 54575 559 886 0 56311 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 228804

[startup+402.301 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 4033
/proc/meminfo: memFree=1311112/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=250232 CPUtime=402.13
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 93209 0 0 0 40077 136 0 0 25 0 1 0 182565439 256237568 59082 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 62558 59082 559 886 0 61668 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 250232

[startup+462.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 4039
/proc/meminfo: memFree=1298376/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=263496 CPUtime=462.09
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 101360 0 0 0 46056 153 0 0 25 0 1 0 182565439 269819904 62245 1992294400 4194304 7823515 548682068736 18446744073709551615 6212302 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 65874 62245 559 886 0 64984 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 263496

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 4039
/proc/meminfo: memFree=1288840/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=267792 CPUtime=522.07
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 109008 0 0 0 52032 175 0 0 25 0 1 0 182565439 274219008 64621 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 66948 64621 559 886 0 66058 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 267792

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 4039
/proc/meminfo: memFree=1283272/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=582.05
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 111371 0 0 0 58014 191 0 0 25 0 1 0 182565439 282021888 65992 1992294400 4194304 7823515 548682068736 18446744073709551615 6211030 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 65992 559 886 0 67963 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 275412

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4039
/proc/meminfo: memFree=1281480/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=642.02
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 111936 0 0 0 63990 212 0 0 25 0 1 0 182565439 282021888 66412 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66412 559 886 0 67963 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 275412

[startup+702.302 s]

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

/proc/meminfo: memFree=1280584/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1121.81
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112131 0 0 0 111850 331 0 0 25 0 1 0 182565439 282021888 66607 1992294400 4194304 7823515 548682068736 18446744073709551615 6208630 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66607 568 886 0 67963 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 275412

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280520/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1181.79
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112131 0 0 0 117835 344 0 0 25 0 1 0 182565439 282021888 66607 1992294400 4194304 7823515 548682068736 18446744073709551615 6211318 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66607 568 886 0 67963 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 275412

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280392/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1241.77
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112131 0 0 0 123821 356 0 0 25 0 1 0 182565439 282021888 66607 1992294400 4194304 7823515 548682068736 18446744073709551615 5965002 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66607 568 886 0 67963 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 275412

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280328/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1301.75
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112131 0 0 0 129808 367 0 0 25 0 1 0 182565439 282021888 66607 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66607 568 886 0 67963 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 275412

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280264/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1361.72
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112134 0 0 0 135791 381 0 0 25 0 1 0 182565439 282021888 66610 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66610 569 886 0 67963 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 275412

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280200/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1421.7
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112139 0 0 0 141776 394 0 0 25 0 1 0 182565439 282021888 66615 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66615 569 886 0 67963 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 275412

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280200/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1481.69
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112139 0 0 0 147758 411 0 0 25 0 1 0 182565439 282021888 66615 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66615 569 886 0 67963 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 275412

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280200/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1541.66
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112144 0 0 0 153741 425 0 0 25 0 1 0 182565439 282021888 66620 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66620 569 886 0 67963 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 275412

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280136/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1601.63
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112144 0 0 0 159724 439 0 0 25 0 1 0 182565439 282021888 66620 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66620 569 886 0 67963 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 275412

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280136/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1661.62
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112164 0 0 0 165710 452 0 0 25 0 1 0 182565439 282021888 66640 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66640 569 886 0 67963 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 275412

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280072/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1721.59
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112164 0 0 0 171694 465 0 0 25 0 1 0 182565439 282021888 66640 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66640 569 886 0 67963 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 275412

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280008/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1781.56
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112164 0 0 0 177675 481 0 0 25 0 1 0 182565439 282021888 66640 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66640 569 886 0 67963 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 275412

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280008/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1784.76
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112164 0 0 0 177994 482 0 0 25 0 1 0 182565439 282021888 66640 1992294400 4194304 7823515 548682068736 18446744073709551615 6213537 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66640 569 886 0 67963 0
Current children cumulated CPU time (s) 1784.76
Current children cumulated vsize (KiB) 275412

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280008/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1791.17
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112164 0 0 0 178634 483 0 0 25 0 1 0 182565439 282021888 66640 1992294400 4194304 7823515 548682068736 18446744073709551615 6158131 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66640 569 886 0 67963 0
Current children cumulated CPU time (s) 1791.17
Current children cumulated vsize (KiB) 275412

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280008/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1794.36
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112164 0 0 0 178953 483 0 0 25 0 1 0 182565439 282021888 66640 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66640 569 886 0 67963 0
Current children cumulated CPU time (s) 1794.36
Current children cumulated vsize (KiB) 275412

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280008/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1795.16
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112164 0 0 0 179033 483 0 0 25 0 1 0 182565439 282021888 66640 1992294400 4194304 7823515 548682068736 18446744073709551615 6211594 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66640 569 886 0 67963 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 275412

[startup+1796.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280008/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1795.56
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112164 0 0 0 179073 483 0 0 25 0 1 0 182565439 282021888 66640 1992294400 4194304 7823515 548682068736 18446744073709551615 6211030 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66640 569 886 0 67963 0
Current children cumulated CPU time (s) 1795.56
Current children cumulated vsize (KiB) 275412

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280008/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1795.96
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112168 0 0 0 179112 484 0 0 25 0 1 0 182565439 282021888 66644 1992294400 4194304 7823515 548682068736 18446744073709551615 4333688 0 0 4096 0 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66644 573 886 0 67963 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 275412

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4039
/proc/meminfo: memFree=1280008/2055920 swapFree=4192812/4192956
[pid=4032] ppid=4030 vsize=275412 CPUtime=1796.06
/proc/4032/stat : 4032 (pbscip.linux.x8) R 4030 4032 3877 0 -1 4194304 112168 0 0 0 179122 484 0 0 25 0 1 0 182565439 282021888 66644 1992294400 4194304 7823515 548682068736 18446744073709551615 4539586 0 0 4096 0 0 0 0 17 0 0 0
/proc/4032/statm: 68853 66644 573 886 0 67963 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 275412

Child status: 0
Real time (s): 1796.86
CPU time (s): 1796.13
CPU user time (s): 1791.24
CPU system time (s): 4.88526
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 275412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.24
system time used= 4.88526
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112171
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 7309

runsolver used 2.01769 second user time and 4.54531 second system time

The end

Launcher Data 

Begin job on node27 at 2009-06-16 12:54:18
IDJOB=1868912
IDBENCH=2057
IDSOLVER=683
FILE ID=node27/1868912-1245149658
PBS_JOBID= 9363764
Free space on /tmp= 66288 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2-c.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-1868912-1245149658/watcher-1868912-1245149658 -o /tmp/evaluation-result-1868912-1245149658/solver-1868912-1245149658 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868912-1245149658.opb

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

MD5SUM BENCH= 02ee6f086501e1f86c8de97a222a24d7
RANDOM SEED=1040112284

node27.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5521.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1546528 kB
Buffers:         48004 kB
Cached:         382436 kB
SwapCached:          0 kB
Active:          52436 kB
Inactive:       392356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1546528 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10048 kB
Writeback:           0 kB
Mapped:          24180 kB
Slab:            50484 kB
Committed_AS:   153688 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66280 MiB
End job on node27 at 2009-06-16 13:24:15