Trace number 2703456

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1794.61 1795.06

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-dano3_3.opb
MD5SUM1c7fb7925778882f8c8001dcd3838f28
Bench CategoryOPT-BIGINT (optimisation, big 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 variables404796
Total number of constraints3709
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints3706
Minimum length of a constraint11
Maximum length of a constraint15900
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 134217728000
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 569083166190
Number of bits of the biggest sum of numbers40
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2703456-1278557576.opb>
6.69/6.79	c original problem has 404796 variables (404796 bin, 0 int, 0 impl, 0 cont) and 3709 constraints
6.69/6.79	c problem read
6.79/6.81	c presolving settings loaded
11.89/11.98	c presolving:
14.49/14.58	c (round 1) 108386 del vars, 0 del conss, 108386 chg bounds, 513 chg sides, 6452 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
16.59/16.67	c (round 2) 108386 del vars, 15 del conss, 108386 chg bounds, 513 chg sides, 6804 chg coeffs, 2470 upgd conss, 0 impls, 0 clqs
34.78/34.82	c (round 3) 108404 del vars, 15 del conss, 108404 chg bounds, 10122 chg sides, 47858 chg coeffs, 2470 upgd conss, 25810 impls, 9 clqs
35.38/35.46	c (round 4) 108404 del vars, 15 del conss, 108404 chg bounds, 10791 chg sides, 48545 chg coeffs, 2470 upgd conss, 25810 impls, 9 clqs
52.28/52.38	c (round 5) 108476 del vars, 15 del conss, 108404 chg bounds, 10791 chg sides, 48545 chg coeffs, 2470 upgd conss, 59420 impls, 9 clqs
58.28/58.33	c (round 6) 108476 del vars, 15 del conss, 108404 chg bounds, 11260 chg sides, 49014 chg coeffs, 2470 upgd conss, 59420 impls, 9 clqs
66.67/66.70	c (round 7) 108548 del vars, 15 del conss, 108404 chg bounds, 11260 chg sides, 49014 chg coeffs, 2470 upgd conss, 61352 impls, 9 clqs
72.07/72.11	c (round 8) 108548 del vars, 15 del conss, 108404 chg bounds, 11661 chg sides, 49415 chg coeffs, 2470 upgd conss, 61352 impls, 9 clqs
75.67/75.71	c (round 9) 108620 del vars, 15 del conss, 108404 chg bounds, 11661 chg sides, 49415 chg coeffs, 2470 upgd conss, 63284 impls, 9 clqs
79.47/79.52	c (round 10) 108620 del vars, 15 del conss, 108404 chg bounds, 11899 chg sides, 49653 chg coeffs, 2470 upgd conss, 63284 impls, 9 clqs
82.77/82.81	c (round 11) 108692 del vars, 15 del conss, 108404 chg bounds, 11899 chg sides, 49653 chg coeffs, 2470 upgd conss, 64250 impls, 9 clqs
87.37/87.46	c (round 12) 108692 del vars, 15 del conss, 108404 chg bounds, 12204 chg sides, 49958 chg coeffs, 2470 upgd conss, 64250 impls, 9 clqs
90.77/90.81	c (round 13) 108765 del vars, 15 del conss, 108404 chg bounds, 12204 chg sides, 49958 chg coeffs, 2470 upgd conss, 66274 impls, 9 clqs
94.47/94.60	c (round 14) 108765 del vars, 15 del conss, 108404 chg bounds, 12344 chg sides, 50098 chg coeffs, 2470 upgd conss, 66274 impls, 9 clqs
96.96/97.09	c (round 15) 108837 del vars, 15 del conss, 108404 chg bounds, 12344 chg sides, 50098 chg coeffs, 2470 upgd conss, 66274 impls, 9 clqs
100.66/100.72	c (round 16) 108837 del vars, 15 del conss, 108404 chg bounds, 12602 chg sides, 50356 chg coeffs, 2470 upgd conss, 66274 impls, 9 clqs
104.47/104.55	c (round 17) 108909 del vars, 15 del conss, 108404 chg bounds, 12602 chg sides, 50356 chg coeffs, 2470 upgd conss, 67240 impls, 9 clqs
107.77/107.89	c (round 18) 108909 del vars, 15 del conss, 108404 chg bounds, 12692 chg sides, 50446 chg coeffs, 2470 upgd conss, 67240 impls, 9 clqs
110.86/110.96	c (round 19) 108981 del vars, 15 del conss, 108404 chg bounds, 12692 chg sides, 50446 chg coeffs, 2470 upgd conss, 69172 impls, 9 clqs
115.76/115.87	c (round 20) 108981 del vars, 15 del conss, 108404 chg bounds, 12970 chg sides, 50724 chg coeffs, 2470 upgd conss, 69172 impls, 9 clqs
118.67/118.71	c (round 21) 109054 del vars, 15 del conss, 108404 chg bounds, 12970 chg sides, 50724 chg coeffs, 2470 upgd conss, 70138 impls, 9 clqs
122.76/122.85	c (round 22) 109054 del vars, 15 del conss, 108404 chg bounds, 13172 chg sides, 50926 chg coeffs, 2470 upgd conss, 70138 impls, 9 clqs
125.36/125.44	c (round 23) 109126 del vars, 15 del conss, 108404 chg bounds, 13172 chg sides, 50926 chg coeffs, 2470 upgd conss, 70138 impls, 9 clqs
129.26/129.31	c (round 24) 109126 del vars, 15 del conss, 108404 chg bounds, 13262 chg sides, 51016 chg coeffs, 2470 upgd conss, 70138 impls, 9 clqs
132.55/132.60	c (round 25) 109198 del vars, 15 del conss, 108404 chg bounds, 13262 chg sides, 51016 chg coeffs, 2470 upgd conss, 70138 impls, 9 clqs
136.05/136.12	c (round 26) 109198 del vars, 15 del conss, 108404 chg bounds, 13332 chg sides, 51086 chg coeffs, 2470 upgd conss, 70138 impls, 9 clqs
139.05/139.15	c (round 27) 109270 del vars, 15 del conss, 108404 chg bounds, 13332 chg sides, 51086 chg coeffs, 2470 upgd conss, 71104 impls, 9 clqs
141.86/141.91	c (round 28) 109270 del vars, 15 del conss, 108404 chg bounds, 13422 chg sides, 51176 chg coeffs, 2470 upgd conss, 71104 impls, 9 clqs
145.35/145.49	c (round 29) 109342 del vars, 15 del conss, 108404 chg bounds, 13422 chg sides, 51176 chg coeffs, 2470 upgd conss, 74002 impls, 9 clqs
150.15/150.23	c (round 30) 109342 del vars, 15 del conss, 108404 chg bounds, 13593 chg sides, 51347 chg coeffs, 2470 upgd conss, 74002 impls, 9 clqs
153.75/153.85	c (round 31) 109414 del vars, 15 del conss, 108404 chg bounds, 13593 chg sides, 51347 chg coeffs, 2470 upgd conss, 74968 impls, 9 clqs
157.55/157.67	c (round 32) 109414 del vars, 15 del conss, 108404 chg bounds, 13703 chg sides, 51457 chg coeffs, 2470 upgd conss, 74968 impls, 9 clqs
161.56/161.69	c (round 33) 109486 del vars, 15 del conss, 108404 chg bounds, 13703 chg sides, 51457 chg coeffs, 2470 upgd conss, 80856 impls, 9 clqs
166.15/166.24	c (round 34) 109486 del vars, 15 del conss, 108404 chg bounds, 13730 chg sides, 51484 chg coeffs, 2470 upgd conss, 80856 impls, 9 clqs
169.55/169.60	c (round 35) 109558 del vars, 15 del conss, 108404 chg bounds, 13730 chg sides, 51484 chg coeffs, 2470 upgd conss, 82788 impls, 9 clqs
172.55/172.61	c (round 36) 109558 del vars, 15 del conss, 108404 chg bounds, 13757 chg sides, 51511 chg coeffs, 2470 upgd conss, 82788 impls, 9 clqs
175.85/175.91	c (round 37) 109630 del vars, 15 del conss, 108404 chg bounds, 13757 chg sides, 51511 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
179.94/180.06	c (round 38) 109630 del vars, 15 del conss, 108404 chg bounds, 13946 chg sides, 51700 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
183.24/183.38	c (round 39) 109702 del vars, 15 del conss, 108404 chg bounds, 13946 chg sides, 51700 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
187.95/188.10	c (round 40) 109702 del vars, 15 del conss, 108404 chg bounds, 13973 chg sides, 51727 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
190.74/190.87	c (round 41) 109774 del vars, 15 del conss, 108404 chg bounds, 13973 chg sides, 51727 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
194.04/194.16	c (round 42) 109774 del vars, 15 del conss, 108404 chg bounds, 14000 chg sides, 51754 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
197.04/197.14	c (round 43) 109846 del vars, 15 del conss, 108404 chg bounds, 14000 chg sides, 51754 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
202.35/202.47	c (round 44) 109846 del vars, 15 del conss, 108404 chg bounds, 14084 chg sides, 51838 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
205.64/205.73	c (round 45) 109919 del vars, 15 del conss, 108404 chg bounds, 14084 chg sides, 51838 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
208.84/208.99	c (round 46) 109919 del vars, 15 del conss, 108404 chg bounds, 14155 chg sides, 51909 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
211.74/211.86	c (round 47) 109991 del vars, 15 del conss, 108404 chg bounds, 14155 chg sides, 51909 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
214.53/214.63	c (round 48) 109991 del vars, 15 del conss, 108404 chg bounds, 14236 chg sides, 51990 chg coeffs, 2470 upgd conss, 83754 impls, 9 clqs
217.74/217.87	c (round 49) 110063 del vars, 15 del conss, 108404 chg bounds, 14236 chg sides, 51990 chg coeffs, 2470 upgd conss, 84720 impls, 9 clqs
221.53/221.68	c (round 50) 110063 del vars, 15 del conss, 108404 chg bounds, 14300 chg sides, 52054 chg coeffs, 2470 upgd conss, 84720 impls, 9 clqs
224.63/224.75	c (round 51) 110135 del vars, 15 del conss, 108404 chg bounds, 14300 chg sides, 52054 chg coeffs, 2470 upgd conss, 84720 impls, 9 clqs
227.83/227.98	c (round 52) 110135 del vars, 15 del conss, 108404 chg bounds, 14533 chg sides, 52287 chg coeffs, 2470 upgd conss, 84720 impls, 9 clqs
230.63/230.73	c (round 53) 110207 del vars, 15 del conss, 108404 chg bounds, 14533 chg sides, 52287 chg coeffs, 2470 upgd conss, 84720 impls, 9 clqs
234.25/234.36	c (round 54) 110207 del vars, 15 del conss, 108404 chg bounds, 14598 chg sides, 52352 chg coeffs, 2470 upgd conss, 84720 impls, 9 clqs
237.14/237.27	c (round 55) 110279 del vars, 15 del conss, 108404 chg bounds, 14598 chg sides, 52352 chg coeffs, 2470 upgd conss, 84720 impls, 9 clqs
240.04/240.13	c (round 56) 110279 del vars, 15 del conss, 108404 chg bounds, 14679 chg sides, 52433 chg coeffs, 2470 upgd conss, 84720 impls, 9 clqs
243.24/243.39	c (round 57) 110351 del vars, 15 del conss, 108404 chg bounds, 14679 chg sides, 52433 chg coeffs, 2470 upgd conss, 85686 impls, 9 clqs
247.14/247.26	c (round 58) 110351 del vars, 15 del conss, 108404 chg bounds, 14925 chg sides, 52679 chg coeffs, 2470 upgd conss, 85686 impls, 9 clqs
250.64/250.74	c (round 59) 110424 del vars, 15 del conss, 108404 chg bounds, 14925 chg sides, 52679 chg coeffs, 2470 upgd conss, 86652 impls, 9 clqs
254.53/254.66	c (round 60) 110424 del vars, 15 del conss, 108404 chg bounds, 15002 chg sides, 52756 chg coeffs, 2470 upgd conss, 86652 impls, 9 clqs
258.63/258.78	c (round 61) 110496 del vars, 15 del conss, 108404 chg bounds, 15002 chg sides, 52756 chg coeffs, 2470 upgd conss, 87618 impls, 9 clqs
263.03/263.15	c (round 62) 110496 del vars, 15 del conss, 108404 chg bounds, 15114 chg sides, 52868 chg coeffs, 2470 upgd conss, 87618 impls, 9 clqs
266.53/266.60	c (round 63) 110568 del vars, 15 del conss, 108404 chg bounds, 15114 chg sides, 52868 chg coeffs, 2470 upgd conss, 87618 impls, 9 clqs
271.33/271.45	c (round 64) 110568 del vars, 15 del conss, 108404 chg bounds, 15274 chg sides, 53028 chg coeffs, 2470 upgd conss, 87618 impls, 9 clqs
274.83/274.96	c (round 65) 110641 del vars, 15 del conss, 108404 chg bounds, 15274 chg sides, 53028 chg coeffs, 2470 upgd conss, 88584 impls, 9 clqs
279.23/279.38	c (round 66) 110641 del vars, 15 del conss, 108404 chg bounds, 15307 chg sides, 53061 chg coeffs, 2470 upgd conss, 88584 impls, 9 clqs
282.73/282.84	c (round 67) 110713 del vars, 15 del conss, 108404 chg bounds, 15307 chg sides, 53061 chg coeffs, 2470 upgd conss, 88584 impls, 9 clqs
286.82/286.95	c (round 68) 110713 del vars, 15 del conss, 108404 chg bounds, 15334 chg sides, 53088 chg coeffs, 2470 upgd conss, 88584 impls, 9 clqs
290.23/290.32	c (round 69) 110785 del vars, 15 del conss, 108404 chg bounds, 15334 chg sides, 53088 chg coeffs, 2470 upgd conss, 88584 impls, 9 clqs
293.63/293.75	c (round 70) 110785 del vars, 15 del conss, 108404 chg bounds, 15361 chg sides, 53115 chg coeffs, 2470 upgd conss, 88584 impls, 9 clqs
296.83/296.96	c (round 71) 110857 del vars, 15 del conss, 108404 chg bounds, 15361 chg sides, 53115 chg coeffs, 2470 upgd conss, 90516 impls, 9 clqs
300.92/301.05	c (round 72) 110857 del vars, 15 del conss, 108404 chg bounds, 15404 chg sides, 53158 chg coeffs, 2470 upgd conss, 90516 impls, 9 clqs
304.42/304.59	c (round 73) 110929 del vars, 15 del conss, 108404 chg bounds, 15404 chg sides, 53158 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
308.32/308.41	c (round 74) 110929 del vars, 15 del conss, 108404 chg bounds, 15431 chg sides, 53185 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
311.23/311.38	c (round 75) 111001 del vars, 15 del conss, 108404 chg bounds, 15431 chg sides, 53185 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
314.62/314.77	c (round 76) 111001 del vars, 15 del conss, 108404 chg bounds, 15508 chg sides, 53262 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
317.72/317.85	c (round 77) 111073 del vars, 15 del conss, 108404 chg bounds, 15508 chg sides, 53262 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
321.52/321.61	c (round 78) 111073 del vars, 15 del conss, 108404 chg bounds, 15585 chg sides, 53339 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
324.92/325.02	c (round 79) 111145 del vars, 15 del conss, 108404 chg bounds, 15585 chg sides, 53339 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
328.01/328.17	c (round 80) 111145 del vars, 15 del conss, 108404 chg bounds, 15659 chg sides, 53413 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
330.61/330.78	c (round 81) 111217 del vars, 15 del conss, 108404 chg bounds, 15659 chg sides, 53413 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
334.22/334.31	c (round 82) 111217 del vars, 15 del conss, 108404 chg bounds, 15793 chg sides, 53547 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
338.01/338.17	c (round 83) 111288 del vars, 15 del conss, 108404 chg bounds, 15793 chg sides, 53547 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
341.41/341.50	c (round 84) 111288 del vars, 15 del conss, 108404 chg bounds, 15869 chg sides, 53623 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
344.31/344.48	c (round 85) 111360 del vars, 15 del conss, 108404 chg bounds, 15869 chg sides, 53623 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
347.01/347.15	c (round 86) 111360 del vars, 15 del conss, 108404 chg bounds, 16001 chg sides, 53755 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
350.01/350.14	c (round 87) 111432 del vars, 15 del conss, 108404 chg bounds, 16001 chg sides, 53755 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
354.41/354.52	c (round 88) 111432 del vars, 15 del conss, 108404 chg bounds, 16045 chg sides, 53799 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
357.41/357.57	c (round 89) 111504 del vars, 15 del conss, 108404 chg bounds, 16045 chg sides, 53799 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
360.21/360.38	c (round 90) 111504 del vars, 15 del conss, 108404 chg bounds, 16120 chg sides, 53874 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
362.91/363.01	c (round 91) 111576 del vars, 15 del conss, 108404 chg bounds, 16120 chg sides, 53874 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
366.90/367.07	c (round 92) 111576 del vars, 15 del conss, 108404 chg bounds, 16210 chg sides, 53964 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
369.90/370.05	c (round 93) 111649 del vars, 15 del conss, 108404 chg bounds, 16210 chg sides, 53964 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
373.30/373.42	c (round 94) 111649 del vars, 15 del conss, 108404 chg bounds, 16284 chg sides, 54038 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
376.70/376.83	c (round 95) 111721 del vars, 15 del conss, 108404 chg bounds, 16284 chg sides, 54038 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
380.20/380.39	c (round 96) 111721 del vars, 15 del conss, 108404 chg bounds, 16359 chg sides, 54113 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
383.60/383.74	c (round 97) 111793 del vars, 15 del conss, 108404 chg bounds, 16359 chg sides, 54113 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
386.70/386.80	c (round 98) 111793 del vars, 15 del conss, 108404 chg bounds, 16433 chg sides, 54187 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
389.21/389.38	c (round 99) 111865 del vars, 15 del conss, 108404 chg bounds, 16433 chg sides, 54187 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
393.40/393.50	c (round 100) 111865 del vars, 15 del conss, 108404 chg bounds, 16474 chg sides, 54228 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
397.10/397.24	c (round 101) 111937 del vars, 15 del conss, 108404 chg bounds, 16474 chg sides, 54228 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
401.50/401.65	c (round 102) 111937 del vars, 15 del conss, 108404 chg bounds, 16547 chg sides, 54301 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
405.19/405.36	c (round 103) 112009 del vars, 15 del conss, 108404 chg bounds, 16547 chg sides, 54301 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
409.00/409.11	c (round 104) 112009 del vars, 15 del conss, 108404 chg bounds, 16620 chg sides, 54374 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
412.99/413.16	c (round 105) 112081 del vars, 15 del conss, 108404 chg bounds, 16620 chg sides, 54374 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
416.49/416.60	c (round 106) 112081 del vars, 15 del conss, 108404 chg bounds, 16663 chg sides, 54417 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
419.39/419.50	c (round 107) 112153 del vars, 15 del conss, 108404 chg bounds, 16663 chg sides, 54417 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
422.99/423.15	c (round 108) 112153 del vars, 15 del conss, 108404 chg bounds, 16735 chg sides, 54489 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
426.79/426.96	c (round 109) 112225 del vars, 15 del conss, 108404 chg bounds, 16735 chg sides, 54489 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
430.69/430.87	c (round 110) 112225 del vars, 15 del conss, 108404 chg bounds, 16888 chg sides, 54642 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
434.59/434.74	c (round 111) 112298 del vars, 15 del conss, 108404 chg bounds, 16888 chg sides, 54642 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
437.49/437.63	c (round 112) 112298 del vars, 15 del conss, 108404 chg bounds, 16973 chg sides, 54727 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
440.59/440.77	c (round 113) 112372 del vars, 15 del conss, 108404 chg bounds, 16973 chg sides, 54727 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
443.79/443.99	c (round 114) 112372 del vars, 15 del conss, 108404 chg bounds, 17046 chg sides, 54800 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
447.28/447.47	c (round 115) 112445 del vars, 15 del conss, 108404 chg bounds, 17046 chg sides, 54800 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
450.68/450.86	c (round 116) 112445 del vars, 15 del conss, 108404 chg bounds, 17133 chg sides, 54887 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
453.68/453.89	c (round 117) 112517 del vars, 15 del conss, 108404 chg bounds, 17133 chg sides, 54887 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
456.98/457.14	c (round 118) 112517 del vars, 15 del conss, 108404 chg bounds, 17207 chg sides, 54961 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
459.78/459.96	c (round 119) 112589 del vars, 15 del conss, 108404 chg bounds, 17207 chg sides, 54961 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
463.78/463.97	c (round 120) 112589 del vars, 15 del conss, 108404 chg bounds, 17266 chg sides, 55020 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
467.78/467.97	c (round 121) 112662 del vars, 15 del conss, 108404 chg bounds, 17266 chg sides, 55020 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
471.58/471.73	c (round 122) 112662 del vars, 15 del conss, 108404 chg bounds, 17358 chg sides, 55112 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
474.28/474.49	c (round 123) 112734 del vars, 15 del conss, 108404 chg bounds, 17358 chg sides, 55112 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
477.78/477.99	c (round 124) 112734 del vars, 15 del conss, 108404 chg bounds, 17400 chg sides, 55154 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
481.37/481.52	c (round 125) 112806 del vars, 15 del conss, 108404 chg bounds, 17400 chg sides, 55154 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
484.26/484.41	c (round 126) 112806 del vars, 15 del conss, 108404 chg bounds, 17529 chg sides, 55283 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
487.07/487.28	c (round 127) 112878 del vars, 15 del conss, 108404 chg bounds, 17529 chg sides, 55283 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
490.06/490.29	c (round 128) 112878 del vars, 15 del conss, 108404 chg bounds, 17674 chg sides, 55428 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
493.56/493.78	c (round 129) 112950 del vars, 15 del conss, 108404 chg bounds, 17674 chg sides, 55428 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
496.86/497.07	c (round 130) 112950 del vars, 15 del conss, 108404 chg bounds, 17715 chg sides, 55469 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
499.26/499.48	c (round 131) 113022 del vars, 15 del conss, 108404 chg bounds, 17715 chg sides, 55469 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
502.86/503.01	c (round 132) 113022 del vars, 15 del conss, 108404 chg bounds, 17785 chg sides, 55539 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
506.55/506.75	c (round 133) 113094 del vars, 15 del conss, 108404 chg bounds, 17785 chg sides, 55539 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
510.85/511.09	c (round 134) 113094 del vars, 15 del conss, 108404 chg bounds, 17876 chg sides, 55630 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
514.66/514.87	c (round 135) 113166 del vars, 15 del conss, 108404 chg bounds, 17876 chg sides, 55630 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
518.25/518.47	c (round 136) 113166 del vars, 15 del conss, 108404 chg bounds, 17931 chg sides, 55685 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
522.05/522.26	c (round 137) 113238 del vars, 15 del conss, 108404 chg bounds, 17931 chg sides, 55685 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
526.05/526.30	c (round 138) 113238 del vars, 15 del conss, 108404 chg bounds, 17983 chg sides, 55737 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
529.45/529.69	c (round 139) 113310 del vars, 15 del conss, 108404 chg bounds, 17983 chg sides, 55737 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
532.55/532.70	c (round 140) 113310 del vars, 15 del conss, 108404 chg bounds, 18037 chg sides, 55791 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
535.45/535.70	c (round 141) 113382 del vars, 15 del conss, 108404 chg bounds, 18037 chg sides, 55791 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
539.25/539.40	c (round 142) 113382 del vars, 15 del conss, 108404 chg bounds, 18100 chg sides, 55854 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
541.95/542.17	c (round 143) 113454 del vars, 15 del conss, 108404 chg bounds, 18100 chg sides, 55854 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
545.35/545.59	c (round 144) 113454 del vars, 15 del conss, 108404 chg bounds, 18151 chg sides, 55905 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
549.34/549.58	c (round 145) 113526 del vars, 15 del conss, 108404 chg bounds, 18151 chg sides, 55905 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
553.74/553.90	c (round 146) 113526 del vars, 15 del conss, 108404 chg bounds, 18249 chg sides, 56003 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
556.94/557.18	c (round 147) 113598 del vars, 15 del conss, 108404 chg bounds, 18249 chg sides, 56003 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
560.75/560.99	c (round 148) 113598 del vars, 15 del conss, 108404 chg bounds, 18339 chg sides, 56093 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
564.34/564.53	c (round 149) 113670 del vars, 15 del conss, 108404 chg bounds, 18339 chg sides, 56093 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
567.35/567.54	c (round 150) 113670 del vars, 15 del conss, 108404 chg bounds, 18404 chg sides, 56158 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
570.84/571.03	c (round 151) 113742 del vars, 15 del conss, 108404 chg bounds, 18404 chg sides, 56158 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
573.94/574.14	c (round 152) 113742 del vars, 15 del conss, 108404 chg bounds, 18446 chg sides, 56200 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
576.54/576.76	c (round 153) 113814 del vars, 15 del conss, 108404 chg bounds, 18446 chg sides, 56200 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
580.24/580.45	c (round 154) 113814 del vars, 15 del conss, 108404 chg bounds, 18486 chg sides, 56240 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
583.13/583.32	c (round 155) 113886 del vars, 15 del conss, 108404 chg bounds, 18486 chg sides, 56240 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
586.93/587.14	c (round 156) 113886 del vars, 15 del conss, 108404 chg bounds, 18525 chg sides, 56279 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
590.44/590.60	c (round 157) 113957 del vars, 15 del conss, 108404 chg bounds, 18525 chg sides, 56279 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
594.03/594.24	c (round 158) 113957 del vars, 15 del conss, 108404 chg bounds, 18584 chg sides, 56338 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
597.04/597.24	c (round 159) 114029 del vars, 15 del conss, 108404 chg bounds, 18584 chg sides, 56338 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
600.73/600.90	c (round 160) 114029 del vars, 15 del conss, 108404 chg bounds, 18677 chg sides, 56431 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
604.13/604.30	c (round 161) 114101 del vars, 15 del conss, 108404 chg bounds, 18677 chg sides, 56431 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
606.43/606.68	c (round 162) 114101 del vars, 15 del conss, 108404 chg bounds, 18823 chg sides, 56577 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
608.93/609.19	c (round 163) 114173 del vars, 15 del conss, 108404 chg bounds, 18823 chg sides, 56577 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
612.83/613.04	c (round 164) 114173 del vars, 15 del conss, 108404 chg bounds, 18903 chg sides, 56657 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
616.33/616.55	c (round 165) 114245 del vars, 15 del conss, 108404 chg bounds, 18903 chg sides, 56657 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
619.82/620.09	c (round 166) 114245 del vars, 15 del conss, 108404 chg bounds, 18930 chg sides, 56684 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
623.22/623.47	c (round 167) 114317 del vars, 15 del conss, 108404 chg bounds, 18930 chg sides, 56684 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
626.62/626.83	c (round 168) 114317 del vars, 15 del conss, 108404 chg bounds, 18989 chg sides, 56743 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
630.52/630.73	c (round 169) 114389 del vars, 15 del conss, 108404 chg bounds, 18989 chg sides, 56743 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
633.72/633.95	c (round 170) 114389 del vars, 15 del conss, 108404 chg bounds, 19061 chg sides, 56815 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
637.22/637.43	c (round 171) 114461 del vars, 15 del conss, 108404 chg bounds, 19061 chg sides, 56815 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
641.03/641.21	c (round 172) 114461 del vars, 15 del conss, 108404 chg bounds, 19112 chg sides, 56866 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
644.33/644.58	c (round 173) 114533 del vars, 15 del conss, 108404 chg bounds, 19112 chg sides, 56866 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
648.02/648.20	c (round 174) 114533 del vars, 15 del conss, 108404 chg bounds, 19181 chg sides, 56935 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
651.02/651.20	c (round 175) 114605 del vars, 15 del conss, 108404 chg bounds, 19181 chg sides, 56935 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
654.52/654.71	c (round 176) 114605 del vars, 15 del conss, 108404 chg bounds, 19266 chg sides, 57020 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
657.52/657.75	c (round 177) 114677 del vars, 15 del conss, 108404 chg bounds, 19266 chg sides, 57020 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
660.61/660.80	c (round 178) 114677 del vars, 15 del conss, 108404 chg bounds, 19442 chg sides, 57196 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
663.51/663.73	c (round 179) 114749 del vars, 15 del conss, 108404 chg bounds, 19442 chg sides, 57196 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
666.81/667.09	c (round 180) 114749 del vars, 15 del conss, 108404 chg bounds, 19517 chg sides, 57271 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
669.72/669.92	c (round 181) 114821 del vars, 15 del conss, 108404 chg bounds, 19517 chg sides, 57271 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
672.31/672.58	c (round 182) 114821 del vars, 15 del conss, 108404 chg bounds, 19570 chg sides, 57324 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
675.71/675.97	c (round 183) 114893 del vars, 15 del conss, 108404 chg bounds, 19570 chg sides, 57324 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
679.62/679.86	c (round 184) 114893 del vars, 15 del conss, 108404 chg bounds, 19723 chg sides, 57477 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
682.92/683.15	c (round 185) 114965 del vars, 15 del conss, 108404 chg bounds, 19723 chg sides, 57477 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
686.81/687.04	c (round 186) 114965 del vars, 15 del conss, 108404 chg bounds, 19761 chg sides, 57515 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
690.51/690.71	c (round 187) 115037 del vars, 15 del conss, 108404 chg bounds, 19761 chg sides, 57515 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
693.01/693.21	c (round 188) 115037 del vars, 15 del conss, 108404 chg bounds, 19788 chg sides, 57542 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
695.71/695.97	c (round 189) 115110 del vars, 15 del conss, 108404 chg bounds, 19788 chg sides, 57542 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
699.00/699.29	c (round 190) 115110 del vars, 15 del conss, 108404 chg bounds, 19829 chg sides, 57583 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
702.50/702.73	c (round 191) 115184 del vars, 15 del conss, 108404 chg bounds, 19829 chg sides, 57583 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
706.50/706.75	c (round 192) 115184 del vars, 15 del conss, 108404 chg bounds, 19947 chg sides, 57701 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
709.31/709.59	c (round 193) 115256 del vars, 15 del conss, 108404 chg bounds, 19947 chg sides, 57701 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
711.90/712.10	c (round 194) 115256 del vars, 15 del conss, 108404 chg bounds, 19991 chg sides, 57745 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
715.00/715.20	c (round 195) 115327 del vars, 15 del conss, 108404 chg bounds, 19991 chg sides, 57745 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
717.40/717.68	c (round 196) 115327 del vars, 15 del conss, 108404 chg bounds, 20210 chg sides, 57964 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
721.20/721.46	c (round 197) 115399 del vars, 15 del conss, 108404 chg bounds, 20210 chg sides, 57964 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
724.10/724.40	c (round 198) 115399 del vars, 15 del conss, 108404 chg bounds, 20237 chg sides, 57991 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
726.70/726.94	c (round 199) 115472 del vars, 15 del conss, 108404 chg bounds, 20237 chg sides, 57991 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
729.30/729.56	c (round 200) 115472 del vars, 15 del conss, 108404 chg bounds, 20278 chg sides, 58032 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
732.60/732.88	c (round 201) 115544 del vars, 15 del conss, 108404 chg bounds, 20278 chg sides, 58032 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
735.60/735.87	c (round 202) 115544 del vars, 15 del conss, 108404 chg bounds, 20312 chg sides, 58066 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
739.39/739.61	c (round 203) 115617 del vars, 15 del conss, 108404 chg bounds, 20312 chg sides, 58066 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
742.09/742.36	c (round 204) 115617 del vars, 15 del conss, 108404 chg bounds, 20455 chg sides, 58209 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
745.69/745.97	c (round 205) 115689 del vars, 15 del conss, 108404 chg bounds, 20455 chg sides, 58209 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
748.99/749.25	c (round 206) 115689 del vars, 15 del conss, 108404 chg bounds, 20482 chg sides, 58236 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
752.39/752.62	c (round 207) 115761 del vars, 15 del conss, 108404 chg bounds, 20482 chg sides, 58236 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
755.19/755.42	c (round 208) 115761 del vars, 15 del conss, 108404 chg bounds, 20573 chg sides, 58327 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
758.49/758.76	c (round 209) 115833 del vars, 15 del conss, 108404 chg bounds, 20573 chg sides, 58327 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
762.10/762.32	c (round 210) 115833 del vars, 15 del conss, 108404 chg bounds, 20617 chg sides, 58371 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
764.99/765.29	c (round 211) 115905 del vars, 15 del conss, 108404 chg bounds, 20617 chg sides, 58371 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
767.99/768.20	c (round 212) 115905 del vars, 15 del conss, 108404 chg bounds, 20696 chg sides, 58450 chg coeffs, 2470 upgd conss, 92448 impls, 9 clqs
777.39/777.65	c    (770.8s) probing: 528/296392 (0.2%) - 7501 fixings, 0 aggregations, 33317 implications, 0 bound changes
777.39/777.65	c    (770.8s) probing aborted: 100/100 successive totally useless probings
777.50/777.71	c presolving (213 rounds):
777.50/777.71	c  115905 deleted vars, 15 deleted constraints, 108404 tightened bounds, 0 added holes, 20696 changed sides, 58450 changed coefficients
777.50/777.71	c  92448 implications, 9 cliques
777.50/777.71	c presolved problem has 288891 variables (288891 bin, 0 int, 0 impl, 0 cont) and 3703 constraints
777.50/777.71	c    2470 constraints of type <knapsack>
777.50/777.71	c       9 constraints of type <setppc>
777.50/777.71	c    1224 constraints of type <linear>
777.50/777.71	c transformed objective value is always integral (scale: 1)
777.50/777.71	c Presolving Time: 768.45
777.50/777.71	c - non default parameters ----------------------------------------------------------------------
777.50/777.71	c # SCIP version 1.2.1.3
777.50/777.71	c 
777.50/777.71	c # frequency for displaying node information lines
777.50/777.71	c # [type: int, range: [-1,2147483647], default: 100]
777.50/777.71	c display/freq = 10000
777.50/777.71	c 
777.50/777.71	c # maximal time in seconds to run
777.50/777.71	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
777.50/777.71	c limits/time = 1783.19
777.50/777.71	c 
777.50/777.71	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
777.50/777.71	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
777.50/777.71	c limits/memory = 1620
777.50/777.71	c 
777.50/777.71	c # default clock type (1: CPU user seconds, 2: wall clock time)
777.50/777.71	c # [type: int, range: [1,2], default: 1]
777.50/777.71	c timing/clocktype = 2
777.50/777.71	c 
777.50/777.71	c # should presolving try to simplify inequalities
777.50/777.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
777.50/777.71	c constraints/linear/simplifyinequalities = TRUE
777.50/777.71	c 
777.50/777.71	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
777.50/777.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
777.50/777.71	c constraints/indicator/addCouplingCons = TRUE
777.50/777.71	c 
777.50/777.71	c # should presolving try to simplify knapsacks
777.50/777.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
777.50/777.71	c constraints/knapsack/simplifyinequalities = TRUE
777.50/777.71	c 
777.50/777.71	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
777.50/777.71	c # [type: int, range: [-1,2147483647], default: -1]
777.50/777.71	c separating/rapidlearning/freq = 0
777.50/777.71	c 
777.50/777.71	c -----------------------------------------------------------------------------------------------
777.50/777.71	c start solving
777.69/777.97	c 
1790.85/1791.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1790.85/1791.30	c  1784s|     1 |     0 | 37781 |     - |1155M|   0 |   - | 288k|3703 | 288k|3703 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1790.95/1791.45	c  1785s|     1 |     2 | 37781 |     - |1155M|   0 |   - | 288k|3703 | 288k|3703 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1790.95/1791.45	c 
1790.95/1791.45	c SCIP Status        : solving was interrupted [time limit reached]
1790.95/1791.45	c Solving Time (sec) : 1784.64
1790.95/1791.45	c Solving Nodes      : 1
1790.95/1791.45	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.95/1791.45	c Dual Bound         : +0.00000000000000e+00
1790.95/1791.45	c Gap                : infinite
1790.95/1791.45	s UNKNOWN
1790.95/1791.45	c SCIP Status        : solving was interrupted [time limit reached]
1790.95/1791.45	c Solving Time       :    1784.64
1790.95/1791.45	c Original Problem   :
1790.95/1791.45	c   Problem name     : HOME/instance-2703456-1278557576.opb
1790.95/1791.45	c   Variables        : 404796 (404796 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.95/1791.45	c   Constraints      : 3709 initial, 3709 maximal
1790.95/1791.45	c Presolved Problem  :
1790.95/1791.45	c   Problem name     : t_HOME/instance-2703456-1278557576.opb
1790.95/1791.45	c   Variables        : 288891 (288891 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.95/1791.45	c   Constraints      : 3703 initial, 3703 maximal
1790.95/1791.45	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.95/1791.45	c   trivial          :      12.20          0          0          0          0          0          0          0          0
1790.95/1791.45	c   dualfix          :      12.33          0          0          0          0          0          0          0          0
1790.95/1791.45	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.95/1791.45	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.95/1791.45	c   implics          :       5.68          0          0          0          0          0          0          0          0
1790.95/1791.45	c   probing          :     128.15       7501          0          0          0          0          0          0          0
1790.95/1791.45	c   knapsack         :     284.05          0          0          0         18          0          0      20183      51646
1790.95/1791.45	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1790.95/1791.45	c   linear           :     322.99     108404          0          0     108386          0         15        513       6804
1790.95/1791.45	c   root node        :          -          0          -          -          0          -          -          -          -
1790.95/1791.45	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.95/1791.45	c   integral         :          0          0          0          0          0          0          0          0          0          0
1790.95/1791.45	c   knapsack         :       2470          0       1744          0          1          1          0          0          0          0
1790.95/1791.45	c   setppc           :          9          0       1743          0          1          0          0          0          0          0
1790.95/1791.45	c   linear           :       1224          0       1743          0          1          0          0          0          0          0
1790.95/1791.45	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1790.95/1791.45	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.95/1791.45	c   integral         :       0.00       0.00       0.00       0.00       0.00
1790.95/1791.45	c   knapsack         :       2.59       0.00       2.58       0.00       0.01
1790.95/1791.45	c   setppc           :       0.01       0.00       0.01       0.00       0.00
1790.95/1791.45	c   linear           :      88.48       0.00      88.48       0.00       0.00
1790.95/1791.45	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.95/1791.45	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.95/1791.45	c   vbounds          :       0.00          2          0          0
1790.95/1791.45	c   rootredcost      :       0.00          0          0          0
1790.95/1791.45	c   pseudoobj        :       0.01          1          0          0
1790.95/1791.45	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.95/1791.45	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.95/1791.45	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.95/1791.45	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.95/1791.45	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.95/1791.45	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.95/1791.45	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.95/1791.45	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.95/1791.45	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.95/1791.45	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1790.95/1791.45	c   redcost          :       0.00          0          0          0          0          0
1790.95/1791.45	c   impliedbounds    :       0.00          0          0          0          0          0
1790.95/1791.45	c   intobj           :       0.00          0          0          0          0          0
1790.95/1791.45	c   cgmip            :       0.00          0          0          0          0          0
1790.95/1791.45	c   gomory           :       0.00          0          0          0          0          0
1790.95/1791.45	c   strongcg         :       0.00          0          0          0          0          0
1790.95/1791.45	c   cmir             :       0.00          0          0          0          0          0
1790.95/1791.45	c   flowcover        :       0.00          0          0          0          0          0
1790.95/1791.45	c   clique           :       0.00          0          0          0          0          0
1790.95/1791.45	c   zerohalf         :       0.00          0          0          0          0          0
1790.95/1791.45	c   mcf              :       0.00          0          0          0          0          0
1790.95/1791.45	c   rapidlearning    :       0.00          0          0          0          0          0
1790.95/1791.45	c Pricers            :       Time      Calls       Vars
1790.95/1791.45	c   problem variables:       0.00          0          0
1790.95/1791.45	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.95/1791.45	c   relpscost        :       0.00          0          0          0          0          0          0
1790.95/1791.45	c   pscost           :       0.00          0          0          0          0          0          0
1790.95/1791.45	c   inference        :       0.11          1          0          0          0          0          2
1790.95/1791.45	c   mostinf          :       0.00          0          0          0          0          0          0
1790.95/1791.45	c   leastinf         :       0.00          0          0          0          0          0          0
1790.95/1791.45	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.95/1791.45	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.95/1791.45	c   random           :       0.00          0          0          0          0          0          0
1790.95/1791.45	c Primal Heuristics  :       Time      Calls      Found
1790.95/1791.45	c   LP solutions     :       0.00          -          0
1790.95/1791.45	c   pseudo solutions :       0.00          -          0
1790.95/1791.45	c   oneopt           :       0.00          0          0
1790.95/1791.45	c   trivial          :       1.40          2          0
1790.95/1791.45	c   simplerounding   :       0.00          0          0
1790.95/1791.45	c   zirounding       :       0.00          0          0
1790.95/1791.45	c   rounding         :       0.00          0          0
1790.95/1791.45	c   shifting         :       0.00          0          0
1790.95/1791.45	c   intshifting      :       0.00          0          0
1790.95/1791.45	c   twoopt           :       0.00          0          0
1790.95/1791.45	c   fixandinfer      :       0.00          0          0
1790.95/1791.45	c   feaspump         :       0.00          0          0
1790.95/1791.45	c   coefdiving       :       0.00          0          0
1790.95/1791.45	c   pscostdiving     :       0.00          0          0
1790.95/1791.45	c   fracdiving       :       0.00          0          0
1790.95/1791.45	c   veclendiving     :       0.00          0          0
1790.95/1791.45	c   intdiving        :       0.00          0          0
1790.95/1791.45	c   actconsdiving    :       0.00          0          0
1790.95/1791.45	c   objpscostdiving  :       0.00          0          0
1790.95/1791.45	c   rootsoldiving    :       0.00          0          0
1790.95/1791.45	c   linesearchdiving :       0.00          0          0
1790.95/1791.45	c   guideddiving     :       0.00          0          0
1790.95/1791.45	c   octane           :       0.00          0          0
1790.95/1791.45	c   rens             :       0.00          0          0
1790.95/1791.45	c   rins             :       0.00          0          0
1790.95/1791.45	c   localbranching   :       0.00          0          0
1790.95/1791.45	c   mutation         :       0.00          0          0
1790.95/1791.45	c   crossover        :       0.00          0          0
1790.95/1791.45	c   dins             :       0.00          0          0
1790.95/1791.45	c   undercover       :       0.00          0          0
1790.95/1791.45	c   nlp              :       0.00          0          0
1790.95/1791.45	c   trysol           :       0.00          0          0
1790.95/1791.45	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.95/1791.45	c   primal LP        :       0.00          0          0       0.00          -
1790.95/1791.45	c   dual LP          :    1010.45          1      37781   37781.00      37.39
1790.95/1791.45	c   lex dual LP      :       0.00          0          0       0.00          -
1790.95/1791.45	c   barrier LP       :       0.00          0          0       0.00          -
1790.95/1791.45	c   diving/probing LP:       0.00          0          0       0.00          -
1790.95/1791.45	c   strong branching :       0.00          0          0       0.00          -
1790.95/1791.45	c     (at root node) :          -          0          0       0.00          -
1790.95/1791.45	c   conflict analysis:       0.00          0          0       0.00          -
1790.95/1791.45	c B&B Tree           :
1790.95/1791.45	c   number of runs   :          1
1790.95/1791.45	c   nodes            :          1
1790.95/1791.45	c   nodes (total)    :          1
1790.95/1791.45	c   nodes left       :          2
1790.95/1791.45	c   max depth        :          0
1790.95/1791.45	c   max depth (total):          0
1790.95/1791.45	c   backtracks       :          0 (0.0%)
1790.95/1791.45	c   delayed cutoffs  :          0
1790.95/1791.45	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.95/1791.45	c   avg switch length:       1.00
1790.95/1791.45	c   switching time   :       0.00
1790.95/1791.45	c Solution           :
1790.95/1791.45	c   Solutions found  :          0 (0 improvements)
1790.95/1791.45	c   Primal Bound     :          -
1790.95/1791.45	c   Dual Bound       : +0.00000000000000e+00
1790.95/1791.45	c   Gap              :   infinite
1790.95/1791.45	c   Root Dual Bound  : +0.00000000000000e+00
1790.95/1791.45	c   Root Iterations  :      37781
1794.55/1795.05	c Time complete: 1794.6.

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-2703456-1278557576/watcher-2703456-1278557576 -o /tmp/evaluation-result-2703456-1278557576/solver-2703456-1278557576 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703456-1278557576.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 0.93 1.02 0.98 3/106 30339
/proc/meminfo: memFree=1661784/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=7904 CPUtime=0
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 1049 0 0 0 0 0 0 0 18 0 1 0 23970303 8093696 961 1992294400 4194304 8395647 140735818987184 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 1976 968 365 1026 0 946 0

[startup+0.0263179 s]
/proc/loadavg: 0.93 1.02 0.98 3/106 30339
/proc/meminfo: memFree=1661784/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=13088 CPUtime=0.01
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 2554 0 0 0 1 0 0 0 18 0 1 0 23970303 13402112 2465 1992294400 4194304 8395647 140735818987184 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 3272 2465 393 1026 0 2242 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13088

[startup+0.100325 s]
/proc/loadavg: 0.93 1.02 0.98 3/106 30339
/proc/meminfo: memFree=1661784/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=25696 CPUtime=0.09
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 5703 0 0 0 7 2 0 0 18 0 1 0 23970303 26312704 5614 1992294400 4194304 8395647 140735818987184 18446744073709551615 7384774 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 6424 5614 393 1026 0 5394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25696

[startup+0.300347 s]
/proc/loadavg: 0.93 1.02 0.98 3/106 30339
/proc/meminfo: memFree=1661784/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=51108 CPUtime=0.29
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 11698 0 0 0 25 4 0 0 18 0 1 0 23970303 52334592 11609 1992294400 4194304 8395647 140735818987184 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 12777 11631 393 1026 0 11747 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51108

[startup+0.700378 s]
/proc/loadavg: 0.93 1.02 0.98 3/106 30339
/proc/meminfo: memFree=1661784/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=101644 CPUtime=0.69
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 24579 0 0 0 61 8 0 0 18 0 1 0 23970303 104083456 24490 1992294400 4194304 8395647 140735818987184 18446744073709551615 7370128 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 25411 24490 393 1026 0 24381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101644

[startup+1.50045 s]
/proc/loadavg: 1.02 1.03 0.99 2/107 30340
/proc/meminfo: memFree=1527856/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=194940 CPUtime=1.49
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 47847 0 0 0 133 16 0 0 19 0 1 0 23970303 199618560 47758 1992294400 4194304 8395647 140735818987184 18446744073709551615 7324951 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 48735 47758 393 1026 0 47705 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 194940

[startup+3.10059 s]
/proc/loadavg: 1.02 1.03 0.99 2/107 30340
/proc/meminfo: memFree=1408444/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=305728 CPUtime=3.09
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 75351 0 0 0 283 26 0 0 23 0 1 0 23970303 313065472 75262 1992294400 4194304 8395647 140735818987184 18446744073709551615 7301326 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 76432 75262 393 1026 0 75402 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 305728

[startup+6.30088 s]
/proc/loadavg: 1.02 1.03 0.99 2/107 30340
/proc/meminfo: memFree=1348428/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=325896 CPUtime=6.29
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 80086 0 0 0 600 29 0 0 25 0 1 0 23970303 333717504 79992 1992294400 4194304 8395647 140735818987184 18446744073709551615 7370099 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 81474 79992 394 1026 0 80444 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 325896

[startup+12.7015 s]
/proc/loadavg: 1.01 1.03 0.99 2/107 30342
/proc/meminfo: memFree=760544/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=920052 CPUtime=12.69
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 225834 0 0 0 1191 78 0 0 25 0 1 0 23970303 942133248 225386 1992294400 4194304 8395647 140735818987184 18446744073709551615 5026814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 230013 225386 466 1026 0 228983 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 920052

[startup+25.5016 s]
/proc/loadavg: 1.01 1.03 0.99 2/107 30342
/proc/meminfo: memFree=566360/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1134136 CPUtime=25.48
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 274318 0 0 0 2454 94 0 0 25 0 1 0 23970303 1161355264 273870 1992294400 4194304 8395647 140735818987184 18446744073709551615 4483078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 283534 273870 523 1026 0 282504 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1134136

[startup+51.1019 s]
/proc/loadavg: 1.01 1.03 0.99 2/107 30342
/proc/meminfo: memFree=526804/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1164956 CPUtime=51.08
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 284265 0 0 0 5011 97 0 0 25 0 1 0 23970303 1192914944 283782 1992294400 4194304 8395647 140735818987184 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 291239 283782 556 1026 0 290209 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1164956

[startup+102.309 s]
/proc/loadavg: 1.00 1.02 0.99 2/107 30344
/proc/meminfo: memFree=523952/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1167708 CPUtime=102.27
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 284955 0 0 0 10130 97 0 0 25 0 1 0 23970303 1195732992 284471 1992294400 4194304 8395647 140735818987184 18446744073709551615 5019536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 291927 284471 555 1026 0 290897 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1167708

[startup+162.302 s]
/proc/loadavg: 1.00 1.02 0.99 2/107 30346
/proc/meminfo: memFree=521968/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1170460 CPUtime=162.25
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 285644 0 0 0 16128 97 0 0 25 0 1 0 23970303 1198551040 285160 1992294400 4194304 8395647 140735818987184 18446744073709551615 4482995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 292615 285160 555 1026 0 291585 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1170460

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.99 2/107 30346
/proc/meminfo: memFree=520232/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1171484 CPUtime=222.23
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 285901 0 0 0 22126 97 0 0 25 0 1 0 23970303 1199599616 285417 1992294400 4194304 8395647 140735818987184 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 292871 285417 555 1026 0 291841 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1171484

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 30348
/proc/meminfo: memFree=518124/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1173592 CPUtime=282.23
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 286419 0 0 0 28125 98 0 0 25 0 1 0 23970303 1201758208 285935 1992294400 4194304 8395647 140735818987184 18446744073709551615 5027367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 293398 285935 555 1026 0 292368 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1173592

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 30350
/proc/meminfo: memFree=518000/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1173592 CPUtime=342.21
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 286422 0 0 0 34123 98 0 0 25 0 1 0 23970303 1201758208 285938 1992294400 4194304 8395647 140735818987184 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 293398 285938 555 1026 0 292368 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1173592

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 30352
/proc/meminfo: memFree=516884/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1174616 CPUtime=402.2
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 286679 0 0 0 40122 98 0 0 25 0 1 0 23970303 1202806784 286195 1992294400 4194304 8395647 140735818987184 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 293654 286195 555 1026 0 292624 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1174616

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 30354
/proc/meminfo: memFree=516760/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1174616 CPUtime=462.18
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 286679 0 0 0 46120 98 0 0 25 0 1 0 23970303 1202806784 286195 1992294400 4194304 8395647 140735818987184 18446744073709551615 6085212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 293654 286195 555 1026 0 292624 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1174616

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 30363
/proc/meminfo: memFree=514776/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1175672 CPUtime=522.15
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 286936 0 0 0 52117 98 0 0 25 0 1 0 23970303 1203888128 286452 1992294400 4194304 8395647 140735818987184 18446744073709551615 5611736 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 293918 286452 555 1026 0 292888 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1175672

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 30365
/proc/meminfo: memFree=514776/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1175672 CPUtime=582.13
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 286936 0 0 0 58115 98 0 0 25 0 1 0 23970303 1203888128 286452 1992294400 4194304 8395647 140735818987184 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 293918 286452 555 1026 0 292888 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1175672

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 30367
/proc/meminfo: memFree=514404/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1176696 CPUtime=642.13
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 287192 0 0 0 64115 98 0 0 25 0 1 0 23970303 1204936704 286708 1992294400 4194304 8395647 140735818987184 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 294174 286708 555 1026 0 293144 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1176696

[startup+702.3 s]

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

/proc/meminfo: memFree=245820/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1122.01
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370091 0 0 0 112056 145 0 0 25 0 1 0 23970303 1523658752 353600 1992294400 4194304 8395647 140735818987184 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353600 579 1026 0 370957 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1487948

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30381
/proc/meminfo: memFree=245696/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1181.99
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370092 0 0 0 118051 148 0 0 25 0 1 0 23970303 1523658752 353601 1992294400 4194304 8395647 140735818987184 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353601 579 1026 0 370957 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1487948

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30383
/proc/meminfo: memFree=245572/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1241.98
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370092 0 0 0 124047 151 0 0 25 0 1 0 23970303 1523658752 353601 1992294400 4194304 8395647 140735818987184 18446744073709551615 6702038 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353601 579 1026 0 370957 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1487948

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30385
/proc/meminfo: memFree=245448/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1301.97
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370093 0 0 0 130041 156 0 0 25 0 1 0 23970303 1523658752 353602 1992294400 4194304 8395647 140735818987184 18446744073709551615 6503918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353602 579 1026 0 370957 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1487948

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30387
/proc/meminfo: memFree=245448/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1361.95
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370093 0 0 0 136036 159 0 0 25 0 1 0 23970303 1523658752 353602 1992294400 4194304 8395647 140735818987184 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353602 579 1026 0 370957 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1487948

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30387
/proc/meminfo: memFree=245448/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1421.94
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370095 0 0 0 142032 162 0 0 25 0 1 0 23970303 1523658752 353603 1992294400 4194304 8395647 140735818987184 18446744073709551615 6503567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353603 578 1026 0 370957 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1487948

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30389
/proc/meminfo: memFree=245448/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1481.92
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370095 0 0 0 148027 165 0 0 25 0 1 0 23970303 1523658752 353603 1992294400 4194304 8395647 140735818987184 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353603 578 1026 0 370957 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1487948

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30391
/proc/meminfo: memFree=245324/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1541.91
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370096 0 0 0 154022 169 0 0 25 0 1 0 23970303 1523658752 353604 1992294400 4194304 8395647 140735818987184 18446744073709551615 6670373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353604 578 1026 0 370957 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1487948

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30396
/proc/meminfo: memFree=244952/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1601.88
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370096 0 0 0 160016 172 0 0 25 0 1 0 23970303 1523658752 353604 1992294400 4194304 8395647 140735818987184 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353604 578 1026 0 370957 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1487948

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 30398
/proc/meminfo: memFree=244952/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1661.88
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370096 0 0 0 166013 175 0 0 25 0 1 0 23970303 1523658752 353604 1992294400 4194304 8395647 140735818987184 18446744073709551615 6664884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353604 578 1026 0 370957 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1487948

[startup+1722.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 30398
/proc/meminfo: memFree=244952/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1721.86
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370096 0 0 0 172008 178 0 0 25 0 1 0 23970303 1523658752 353604 1992294400 4194304 8395647 140735818987184 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353604 578 1026 0 370957 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1487948

[startup+1782.3 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 30400
/proc/meminfo: memFree=244952/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1781.84
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370097 0 0 0 178004 180 0 0 25 0 1 0 23970303 1523658752 353605 1992294400 4194304 8395647 140735818987184 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353605 578 1026 0 370957 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1487948

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

[startup+1785.5 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 30400
/proc/meminfo: memFree=244952/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487948 CPUtime=1785.05
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370097 0 0 0 178324 181 0 0 25 0 1 0 23970303 1523658752 353605 1992294400 4194304 8395647 140735818987184 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30339/statm: 371987 353605 578 1026 0 370957 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 1487948

[startup+1791.91 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 30400
/proc/meminfo: memFree=242100/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1490304 CPUtime=1791.45
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370953 0 0 0 178964 181 0 0 25 0 1 0 23970303 1526071296 354461 1992294400 4194304 8395647 140735818987184 18446744073709551615 6150509 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 372576 354461 588 1026 0 371546 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 1490304

[startup+1793.5 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 30400
/proc/meminfo: memFree=244704/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1487140 CPUtime=1793.04
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370956 0 0 0 179123 181 0 0 25 0 1 0 23970303 1522831360 353673 1992294400 4194304 8395647 140735818987184 18446744073709551615 6066693 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 371785 353673 591 1026 0 370755 0
Current children cumulated CPU time (s) 1793.04
Current children cumulated vsize (KiB) 1487140

[startup+1794.3 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 30400
/proc/meminfo: memFree=244704/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1483356 CPUtime=1793.84
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370956 0 0 0 179203 181 0 0 25 0 1 0 23970303 1518956544 352882 1992294400 4194304 8395647 140735818987184 18446744073709551615 6345233 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 370839 352882 591 1026 0 369809 0
Current children cumulated CPU time (s) 1793.84
Current children cumulated vsize (KiB) 1483356

[startup+1794.7 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 30400
/proc/meminfo: memFree=244704/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=1022128 CPUtime=1794.24
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370956 0 0 0 179239 185 0 0 25 0 1 0 23970303 1046659072 248032 1992294400 4194304 8395647 140735818987184 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 255532 248032 591 1026 0 254502 0
Current children cumulated CPU time (s) 1794.24
Current children cumulated vsize (KiB) 1022128

[startup+1794.9 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 30400
/proc/meminfo: memFree=244704/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=858288 CPUtime=1794.44
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370956 0 0 0 179257 187 0 0 25 0 1 0 23970303 878886912 207072 1992294400 4194304 8395647 140735818987184 18446744073709551615 4713442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 214572 207072 591 1026 0 213542 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (KiB) 858288

[startup+1795 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 30400
/proc/meminfo: memFree=244704/2059040 swapFree=4138592/4192956
[pid=30339] ppid=30337 vsize=759156 CPUtime=1794.55
/proc/30339/stat : 30339 (pbscip.linux.x8) R 30337 30339 28451 0 -1 4202496 370957 0 0 0 179265 190 0 0 25 0 1 0 23970303 777375744 146009 1992294400 4194304 8395647 140735818987184 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30339/statm: 189789 146009 592 1026 0 188759 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 759156

Child status: 0
Real time (s): 1795.06
CPU time (s): 1794.61
CPU user time (s): 1792.65
CPU system time (s): 1.9567
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1528392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.65
system time used= 1.9567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370964
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= 1
involuntary context switches= 4002

runsolver used 3.02254 second user time and 8.42872 second system time

The end

Launcher Data 

Begin job on node015 at 2010-07-08 04:52:58
IDJOB=2703456
IDBENCH=2329
IDSOLVER=1213
FILE ID=node015/2703456-1278557576
PBS_JOBID= 11239516
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703456-1278557576/watcher-2703456-1278557576 -o /tmp/evaluation-result-2703456-1278557576/solver-2703456-1278557576 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703456-1278557576.opb -t 1800 -m 1800

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

MD5SUM BENCH= 1c7fb7925778882f8c8001dcd3838f28
RANDOM SEED=1721145634

node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.214
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
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.214
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1662312 kB
Buffers:         59160 kB
Cached:         244868 kB
SwapCached:       9100 kB
Active:         165460 kB
Inactive:       155096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1662312 kB
SwapTotal:     4192956 kB
SwapFree:      4138592 kB
Dirty:           42764 kB
Writeback:           0 kB
AnonPages:       13308 kB
Mapped:          11940 kB
Slab:            54252 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183392 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62544 MiB
End job on node015 at 2010-07-08 05:22:53