Trace number 2703460

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.46 1795.11

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-dano3_4.opb
MD5SUM77442b3482c8e96813b174683c20fffc
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 variables404566
Total number of constraints3686
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints3682
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-2703460-1278557660.opb>
6.69/6.77	c original problem has 404566 variables (404566 bin, 0 int, 0 impl, 0 cont) and 3686 constraints
6.69/6.77	c problem read
6.69/6.79	c presolving settings loaded
11.89/11.97	c presolving:
14.49/14.58	c (round 1) 108938 del vars, 0 del conss, 108938 chg bounds, 490 chg sides, 6473 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
16.58/16.67	c (round 2) 108938 del vars, 15 del conss, 108938 chg bounds, 490 chg sides, 6847 chg coeffs, 2447 upgd conss, 0 impls, 0 clqs
34.77/34.84	c (round 3) 108952 del vars, 15 del conss, 108952 chg bounds, 10479 chg sides, 47277 chg coeffs, 2447 upgd conss, 25470 impls, 23 clqs
35.37/35.45	c (round 4) 108952 del vars, 15 del conss, 108952 chg bounds, 11052 chg sides, 47896 chg coeffs, 2447 upgd conss, 25470 impls, 23 clqs
56.07/56.12	c (round 5) 109024 del vars, 15 del conss, 108952 chg bounds, 11052 chg sides, 47896 chg coeffs, 2447 upgd conss, 73526 impls, 23 clqs
61.16/61.20	c (round 6) 109024 del vars, 15 del conss, 108952 chg bounds, 11439 chg sides, 48283 chg coeffs, 2447 upgd conss, 73526 impls, 23 clqs
69.17/69.26	c (round 7) 109096 del vars, 15 del conss, 108952 chg bounds, 11439 chg sides, 48283 chg coeffs, 2447 upgd conss, 77390 impls, 23 clqs
74.05/74.17	c (round 8) 109096 del vars, 15 del conss, 108952 chg bounds, 11844 chg sides, 48688 chg coeffs, 2447 upgd conss, 77390 impls, 23 clqs
77.85/77.97	c (round 9) 109168 del vars, 15 del conss, 108952 chg bounds, 11844 chg sides, 48688 chg coeffs, 2447 upgd conss, 80288 impls, 23 clqs
83.05/83.17	c (round 10) 109168 del vars, 15 del conss, 108952 chg bounds, 12284 chg sides, 49128 chg coeffs, 2447 upgd conss, 80288 impls, 23 clqs
86.25/86.34	c (round 11) 109240 del vars, 15 del conss, 108952 chg bounds, 12284 chg sides, 49128 chg coeffs, 2447 upgd conss, 80288 impls, 23 clqs
91.15/91.29	c (round 12) 109240 del vars, 15 del conss, 108952 chg bounds, 12609 chg sides, 49453 chg coeffs, 2447 upgd conss, 80288 impls, 23 clqs
93.75/93.86	c (round 13) 109313 del vars, 15 del conss, 108952 chg bounds, 12609 chg sides, 49453 chg coeffs, 2447 upgd conss, 81254 impls, 23 clqs
98.75/98.89	c (round 14) 109313 del vars, 15 del conss, 108952 chg bounds, 12897 chg sides, 49741 chg coeffs, 2447 upgd conss, 81254 impls, 23 clqs
102.64/102.76	c (round 15) 109385 del vars, 15 del conss, 108952 chg bounds, 12897 chg sides, 49741 chg coeffs, 2447 upgd conss, 83186 impls, 23 clqs
106.44/106.56	c (round 16) 109385 del vars, 15 del conss, 108952 chg bounds, 13093 chg sides, 49937 chg coeffs, 2447 upgd conss, 83186 impls, 23 clqs
110.04/110.10	c (round 17) 109457 del vars, 15 del conss, 108952 chg bounds, 13093 chg sides, 49937 chg coeffs, 2447 upgd conss, 85302 impls, 23 clqs
114.94/115.04	c (round 18) 109457 del vars, 15 del conss, 108952 chg bounds, 13371 chg sides, 50215 chg coeffs, 2447 upgd conss, 85302 impls, 23 clqs
117.94/118.00	c (round 19) 109529 del vars, 15 del conss, 108952 chg bounds, 13371 chg sides, 50215 chg coeffs, 2447 upgd conss, 87234 impls, 23 clqs
120.84/120.95	c (round 20) 109529 del vars, 15 del conss, 108952 chg bounds, 13461 chg sides, 50305 chg coeffs, 2447 upgd conss, 87234 impls, 23 clqs
123.44/123.56	c (round 21) 109602 del vars, 15 del conss, 108952 chg bounds, 13461 chg sides, 50305 chg coeffs, 2447 upgd conss, 87234 impls, 23 clqs
128.23/128.31	c (round 22) 109602 del vars, 15 del conss, 108952 chg bounds, 13558 chg sides, 50402 chg coeffs, 2447 upgd conss, 87234 impls, 23 clqs
132.13/132.29	c (round 23) 109674 del vars, 15 del conss, 108952 chg bounds, 13558 chg sides, 50402 chg coeffs, 2447 upgd conss, 92064 impls, 23 clqs
135.24/135.38	c (round 24) 109674 del vars, 15 del conss, 108952 chg bounds, 13668 chg sides, 50512 chg coeffs, 2447 upgd conss, 92064 impls, 23 clqs
138.54/138.69	c (round 25) 109746 del vars, 15 del conss, 108952 chg bounds, 13668 chg sides, 50512 chg coeffs, 2447 upgd conss, 95054 impls, 23 clqs
143.43/143.50	c (round 26) 109746 del vars, 15 del conss, 108952 chg bounds, 13757 chg sides, 50601 chg coeffs, 2447 upgd conss, 95054 impls, 23 clqs
146.83/146.95	c (round 27) 109818 del vars, 15 del conss, 108952 chg bounds, 13757 chg sides, 50601 chg coeffs, 2447 upgd conss, 97952 impls, 23 clqs
151.23/151.39	c (round 28) 109818 del vars, 15 del conss, 108952 chg bounds, 13826 chg sides, 50670 chg coeffs, 2447 upgd conss, 97952 impls, 23 clqs
154.03/154.17	c (round 29) 109890 del vars, 15 del conss, 108952 chg bounds, 13826 chg sides, 50670 chg coeffs, 2447 upgd conss, 97952 impls, 23 clqs
158.62/158.72	c (round 30) 109890 del vars, 15 del conss, 108952 chg bounds, 14056 chg sides, 50900 chg coeffs, 2447 upgd conss, 97952 impls, 23 clqs
162.22/162.34	c (round 31) 109963 del vars, 15 del conss, 108952 chg bounds, 14056 chg sides, 50900 chg coeffs, 2447 upgd conss, 99010 impls, 23 clqs
167.52/167.64	c (round 32) 109963 del vars, 15 del conss, 108952 chg bounds, 14254 chg sides, 51098 chg coeffs, 2447 upgd conss, 99010 impls, 23 clqs
171.82/171.91	c (round 33) 110035 del vars, 15 del conss, 108952 chg bounds, 14254 chg sides, 51098 chg coeffs, 2447 upgd conss, 100942 impls, 23 clqs
176.42/176.51	c (round 34) 110035 del vars, 15 del conss, 108952 chg bounds, 14300 chg sides, 51144 chg coeffs, 2447 upgd conss, 100942 impls, 23 clqs
179.31/179.43	c (round 35) 110107 del vars, 15 del conss, 108952 chg bounds, 14300 chg sides, 51144 chg coeffs, 2447 upgd conss, 100942 impls, 23 clqs
184.01/184.15	c (round 36) 110107 del vars, 15 del conss, 108952 chg bounds, 14512 chg sides, 51356 chg coeffs, 2447 upgd conss, 100942 impls, 23 clqs
186.82/186.94	c (round 37) 110179 del vars, 15 del conss, 108952 chg bounds, 14512 chg sides, 51356 chg coeffs, 2447 upgd conss, 100942 impls, 23 clqs
190.91/191.05	c (round 38) 110179 del vars, 15 del conss, 108952 chg bounds, 14539 chg sides, 51383 chg coeffs, 2447 upgd conss, 100942 impls, 23 clqs
194.81/194.95	c (round 39) 110251 del vars, 15 del conss, 108952 chg bounds, 14539 chg sides, 51383 chg coeffs, 2447 upgd conss, 103840 impls, 23 clqs
199.10/199.28	c (round 40) 110251 del vars, 15 del conss, 108952 chg bounds, 14566 chg sides, 51410 chg coeffs, 2447 upgd conss, 103840 impls, 23 clqs
202.60/202.79	c (round 41) 110323 del vars, 15 del conss, 108952 chg bounds, 14566 chg sides, 51410 chg coeffs, 2447 upgd conss, 103840 impls, 23 clqs
206.20/206.31	c (round 42) 110323 del vars, 15 del conss, 108952 chg bounds, 14737 chg sides, 51581 chg coeffs, 2447 upgd conss, 103840 impls, 23 clqs
209.10/209.28	c (round 43) 110395 del vars, 15 del conss, 108952 chg bounds, 14737 chg sides, 51581 chg coeffs, 2447 upgd conss, 104806 impls, 23 clqs
213.21/213.38	c (round 44) 110395 del vars, 15 del conss, 108952 chg bounds, 14800 chg sides, 51644 chg coeffs, 2447 upgd conss, 104806 impls, 23 clqs
217.00/217.10	c (round 45) 110467 del vars, 15 del conss, 108952 chg bounds, 14800 chg sides, 51644 chg coeffs, 2447 upgd conss, 104806 impls, 23 clqs
220.50/220.68	c (round 46) 110467 del vars, 15 del conss, 108952 chg bounds, 14863 chg sides, 51707 chg coeffs, 2447 upgd conss, 104806 impls, 23 clqs
224.00/224.11	c (round 47) 110539 del vars, 15 del conss, 108952 chg bounds, 14863 chg sides, 51707 chg coeffs, 2447 upgd conss, 104806 impls, 23 clqs
227.90/228.00	c (round 48) 110539 del vars, 15 del conss, 108952 chg bounds, 15013 chg sides, 51857 chg coeffs, 2447 upgd conss, 104806 impls, 23 clqs
230.70/230.87	c (round 49) 110611 del vars, 15 del conss, 108952 chg bounds, 15013 chg sides, 51857 chg coeffs, 2447 upgd conss, 104806 impls, 23 clqs
234.21/234.36	c (round 50) 110611 del vars, 15 del conss, 108952 chg bounds, 15114 chg sides, 51958 chg coeffs, 2447 upgd conss, 104806 impls, 23 clqs
238.10/238.25	c (round 51) 110683 del vars, 15 del conss, 108952 chg bounds, 15114 chg sides, 51958 chg coeffs, 2447 upgd conss, 106738 impls, 23 clqs
241.60/241.78	c (round 52) 110683 del vars, 15 del conss, 108952 chg bounds, 15399 chg sides, 52243 chg coeffs, 2447 upgd conss, 106738 impls, 23 clqs
244.49/244.64	c (round 53) 110756 del vars, 15 del conss, 108952 chg bounds, 15399 chg sides, 52243 chg coeffs, 2447 upgd conss, 106738 impls, 23 clqs
247.79/247.93	c (round 54) 110756 del vars, 15 del conss, 108952 chg bounds, 15494 chg sides, 52338 chg coeffs, 2447 upgd conss, 106738 impls, 23 clqs
251.09/251.21	c (round 55) 110828 del vars, 15 del conss, 108952 chg bounds, 15494 chg sides, 52338 chg coeffs, 2447 upgd conss, 106738 impls, 23 clqs
254.39/254.57	c (round 56) 110828 del vars, 15 del conss, 108952 chg bounds, 15557 chg sides, 52401 chg coeffs, 2447 upgd conss, 106738 impls, 23 clqs
257.89/258.01	c (round 57) 110900 del vars, 15 del conss, 108952 chg bounds, 15557 chg sides, 52401 chg coeffs, 2447 upgd conss, 107704 impls, 23 clqs
262.18/262.35	c (round 58) 110900 del vars, 15 del conss, 108952 chg bounds, 15691 chg sides, 52535 chg coeffs, 2447 upgd conss, 107704 impls, 23 clqs
265.78/265.91	c (round 59) 110972 del vars, 15 del conss, 108952 chg bounds, 15691 chg sides, 52535 chg coeffs, 2447 upgd conss, 109636 impls, 23 clqs
269.58/269.73	c (round 60) 110972 del vars, 15 del conss, 108952 chg bounds, 15718 chg sides, 52562 chg coeffs, 2447 upgd conss, 109636 impls, 23 clqs
272.48/272.61	c (round 61) 111045 del vars, 15 del conss, 108952 chg bounds, 15718 chg sides, 52562 chg coeffs, 2447 upgd conss, 109636 impls, 23 clqs
276.78/276.94	c (round 62) 111045 del vars, 15 del conss, 108952 chg bounds, 15751 chg sides, 52595 chg coeffs, 2447 upgd conss, 109636 impls, 23 clqs
280.48/280.64	c (round 63) 111117 del vars, 15 del conss, 108952 chg bounds, 15751 chg sides, 52595 chg coeffs, 2447 upgd conss, 110602 impls, 23 clqs
284.98/285.16	c (round 64) 111117 del vars, 15 del conss, 108952 chg bounds, 15778 chg sides, 52622 chg coeffs, 2447 upgd conss, 110602 impls, 23 clqs
288.09/288.22	c (round 65) 111189 del vars, 15 del conss, 108952 chg bounds, 15778 chg sides, 52622 chg coeffs, 2447 upgd conss, 111568 impls, 23 clqs
291.57/291.77	c (round 66) 111189 del vars, 15 del conss, 108952 chg bounds, 15905 chg sides, 52749 chg coeffs, 2447 upgd conss, 111568 impls, 23 clqs
295.07/295.27	c (round 67) 111261 del vars, 15 del conss, 108952 chg bounds, 15905 chg sides, 52749 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
298.77/298.99	c (round 68) 111261 del vars, 15 del conss, 108952 chg bounds, 15932 chg sides, 52776 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
301.67/301.89	c (round 69) 111333 del vars, 15 del conss, 108952 chg bounds, 15932 chg sides, 52776 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
306.17/306.32	c (round 70) 111333 del vars, 15 del conss, 108952 chg bounds, 15994 chg sides, 52838 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
309.07/309.24	c (round 71) 111405 del vars, 15 del conss, 108952 chg bounds, 15994 chg sides, 52838 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
311.97/312.16	c (round 72) 111405 del vars, 15 del conss, 108952 chg bounds, 16087 chg sides, 52931 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
314.97/315.11	c (round 73) 111477 del vars, 15 del conss, 108952 chg bounds, 16087 chg sides, 52931 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
319.07/319.21	c (round 74) 111477 del vars, 15 del conss, 108952 chg bounds, 16132 chg sides, 52976 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
322.67/322.80	c (round 75) 111549 del vars, 15 del conss, 108952 chg bounds, 16132 chg sides, 52976 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
326.57/326.74	c (round 76) 111549 del vars, 15 del conss, 108952 chg bounds, 16247 chg sides, 53091 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
329.96/330.11	c (round 77) 111621 del vars, 15 del conss, 108952 chg bounds, 16247 chg sides, 53091 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
332.96/333.15	c (round 78) 111621 del vars, 15 del conss, 108952 chg bounds, 16304 chg sides, 53148 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
335.46/335.62	c (round 79) 111693 del vars, 15 del conss, 108952 chg bounds, 16304 chg sides, 53148 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
338.67/338.89	c (round 80) 111693 del vars, 15 del conss, 108952 chg bounds, 16382 chg sides, 53226 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
342.16/342.35	c (round 81) 111765 del vars, 15 del conss, 108952 chg bounds, 16382 chg sides, 53226 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
346.27/346.45	c (round 82) 111765 del vars, 15 del conss, 108952 chg bounds, 16512 chg sides, 53356 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
349.06/349.21	c (round 83) 111837 del vars, 15 del conss, 108952 chg bounds, 16512 chg sides, 53356 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
352.06/352.21	c (round 84) 111837 del vars, 15 del conss, 108952 chg bounds, 16589 chg sides, 53433 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
355.26/355.42	c (round 85) 111909 del vars, 15 del conss, 108952 chg bounds, 16589 chg sides, 53433 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
358.06/358.27	c (round 86) 111909 del vars, 15 del conss, 108952 chg bounds, 16659 chg sides, 53503 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
361.36/361.55	c (round 87) 111980 del vars, 15 del conss, 108952 chg bounds, 16659 chg sides, 53503 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
365.26/365.49	c (round 88) 111980 del vars, 15 del conss, 108952 chg bounds, 16744 chg sides, 53588 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
368.06/368.21	c (round 89) 112053 del vars, 15 del conss, 108952 chg bounds, 16744 chg sides, 53588 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
371.85/372.03	c (round 90) 112053 del vars, 15 del conss, 108952 chg bounds, 16801 chg sides, 53645 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
375.25/375.48	c (round 91) 112125 del vars, 15 del conss, 108952 chg bounds, 16801 chg sides, 53645 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
379.05/379.23	c (round 92) 112125 del vars, 15 del conss, 108952 chg bounds, 16876 chg sides, 53720 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
381.95/382.14	c (round 93) 112197 del vars, 15 del conss, 108952 chg bounds, 16876 chg sides, 53720 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
385.15/385.37	c (round 94) 112197 del vars, 15 del conss, 108952 chg bounds, 16919 chg sides, 53763 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
387.75/387.95	c (round 95) 112269 del vars, 15 del conss, 108952 chg bounds, 16919 chg sides, 53763 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
391.95/392.11	c (round 96) 112269 del vars, 15 del conss, 108952 chg bounds, 16990 chg sides, 53834 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
395.05/395.20	c (round 97) 112341 del vars, 15 del conss, 108952 chg bounds, 16990 chg sides, 53834 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
398.15/398.30	c (round 98) 112341 del vars, 15 del conss, 108952 chg bounds, 17141 chg sides, 53985 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
401.53/401.76	c (round 99) 112413 del vars, 15 del conss, 108952 chg bounds, 17141 chg sides, 53985 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
405.74/405.95	c (round 100) 112413 del vars, 15 del conss, 108952 chg bounds, 17213 chg sides, 54057 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
408.53/408.79	c (round 101) 112486 del vars, 15 del conss, 108952 chg bounds, 17213 chg sides, 54057 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
411.14/411.33	c (round 102) 112486 del vars, 15 del conss, 108952 chg bounds, 17284 chg sides, 54128 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
413.73/413.90	c (round 103) 112558 del vars, 15 del conss, 108952 chg bounds, 17284 chg sides, 54128 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
416.63/416.85	c (round 104) 112558 del vars, 15 del conss, 108952 chg bounds, 17325 chg sides, 54169 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
419.13/419.38	c (round 105) 112631 del vars, 15 del conss, 108952 chg bounds, 17325 chg sides, 54169 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
422.62/422.82	c (round 106) 112631 del vars, 15 del conss, 108952 chg bounds, 17395 chg sides, 54239 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
425.12/425.30	c (round 107) 112681 del vars, 15 del conss, 108952 chg bounds, 17395 chg sides, 54239 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
427.82/428.08	c (round 108) 112681 del vars, 15 del conss, 108952 chg bounds, 17458 chg sides, 54302 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
430.42/430.62	c (round 109) 112753 del vars, 15 del conss, 108952 chg bounds, 17458 chg sides, 54302 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
433.52/433.79	c (round 110) 112753 del vars, 15 del conss, 108952 chg bounds, 17529 chg sides, 54373 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
436.32/436.56	c (round 111) 112825 del vars, 15 del conss, 108952 chg bounds, 17529 chg sides, 54373 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
439.83/440.05	c (round 112) 112825 del vars, 15 del conss, 108952 chg bounds, 17587 chg sides, 54431 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
443.52/443.72	c (round 113) 112897 del vars, 15 del conss, 108952 chg bounds, 17587 chg sides, 54431 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
447.22/447.46	c (round 114) 112897 del vars, 15 del conss, 108952 chg bounds, 17645 chg sides, 54489 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
451.02/451.24	c (round 115) 112969 del vars, 15 del conss, 108952 chg bounds, 17645 chg sides, 54489 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
454.22/454.44	c (round 116) 112969 del vars, 15 del conss, 108952 chg bounds, 17774 chg sides, 54618 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
457.12/457.34	c (round 117) 113041 del vars, 15 del conss, 108952 chg bounds, 17774 chg sides, 54618 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
460.42/460.66	c (round 118) 113041 del vars, 15 del conss, 108952 chg bounds, 17882 chg sides, 54726 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
463.21/463.41	c (round 119) 113113 del vars, 15 del conss, 108952 chg bounds, 17882 chg sides, 54726 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
467.01/467.22	c (round 120) 113113 del vars, 15 del conss, 108952 chg bounds, 17939 chg sides, 54783 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
470.71/470.90	c (round 121) 113186 del vars, 15 del conss, 108952 chg bounds, 17939 chg sides, 54783 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
474.81/475.09	c (round 122) 113186 del vars, 15 del conss, 108952 chg bounds, 18003 chg sides, 54847 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
478.41/478.64	c (round 123) 113258 del vars, 15 del conss, 108952 chg bounds, 18003 chg sides, 54847 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
482.11/482.36	c (round 124) 113258 del vars, 15 del conss, 108952 chg bounds, 18098 chg sides, 54942 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
485.71/485.95	c (round 125) 113330 del vars, 15 del conss, 108952 chg bounds, 18098 chg sides, 54942 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
489.31/489.51	c (round 126) 113330 del vars, 15 del conss, 108952 chg bounds, 18209 chg sides, 55053 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
492.71/492.91	c (round 127) 113402 del vars, 15 del conss, 108952 chg bounds, 18209 chg sides, 55053 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
496.20/496.46	c (round 128) 113402 del vars, 15 del conss, 108952 chg bounds, 18280 chg sides, 55124 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
498.50/498.79	c (round 129) 113474 del vars, 15 del conss, 108952 chg bounds, 18280 chg sides, 55124 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
501.80/502.06	c (round 130) 113474 del vars, 15 del conss, 108952 chg bounds, 18334 chg sides, 55178 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
505.81/506.04	c (round 131) 113546 del vars, 15 del conss, 108952 chg bounds, 18334 chg sides, 55178 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
509.01/509.22	c (round 132) 113546 del vars, 15 del conss, 108952 chg bounds, 18400 chg sides, 55244 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
512.31/512.50	c (round 133) 113618 del vars, 15 del conss, 108952 chg bounds, 18400 chg sides, 55244 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
515.10/515.30	c (round 134) 113618 del vars, 15 del conss, 108952 chg bounds, 18554 chg sides, 55398 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
518.50/518.70	c (round 135) 113690 del vars, 15 del conss, 108952 chg bounds, 18554 chg sides, 55398 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
522.10/522.32	c (round 136) 113690 del vars, 15 del conss, 108952 chg bounds, 18634 chg sides, 55478 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
524.90/525.19	c (round 137) 113762 del vars, 15 del conss, 108952 chg bounds, 18634 chg sides, 55478 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
528.60/528.88	c (round 138) 113762 del vars, 15 del conss, 108952 chg bounds, 18687 chg sides, 55531 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
531.69/531.96	c (round 139) 113834 del vars, 15 del conss, 108952 chg bounds, 18687 chg sides, 55531 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
535.09/535.31	c (round 140) 113834 del vars, 15 del conss, 108952 chg bounds, 18759 chg sides, 55603 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
538.29/538.52	c (round 141) 113906 del vars, 15 del conss, 108952 chg bounds, 18759 chg sides, 55603 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
541.79/542.09	c (round 142) 113906 del vars, 15 del conss, 108952 chg bounds, 18795 chg sides, 55639 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
545.19/545.46	c (round 143) 113978 del vars, 15 del conss, 108952 chg bounds, 18795 chg sides, 55639 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
548.89/549.18	c (round 144) 113978 del vars, 15 del conss, 108952 chg bounds, 18883 chg sides, 55727 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
552.19/552.46	c (round 145) 114050 del vars, 15 del conss, 108952 chg bounds, 18883 chg sides, 55727 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
557.19/557.47	c (round 146) 114050 del vars, 15 del conss, 108952 chg bounds, 18925 chg sides, 55769 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
560.49/560.75	c (round 147) 114122 del vars, 15 del conss, 108952 chg bounds, 18925 chg sides, 55769 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
563.99/564.29	c (round 148) 114122 del vars, 15 del conss, 108952 chg bounds, 18966 chg sides, 55810 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
566.88/567.10	c (round 149) 114194 del vars, 15 del conss, 108952 chg bounds, 18966 chg sides, 55810 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
569.19/569.47	c (round 150) 114194 del vars, 15 del conss, 108952 chg bounds, 19020 chg sides, 55864 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
571.99/572.22	c (round 151) 114266 del vars, 15 del conss, 108952 chg bounds, 19020 chg sides, 55864 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
576.10/576.33	c (round 152) 114266 del vars, 15 del conss, 108952 chg bounds, 19047 chg sides, 55891 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
579.69/579.93	c (round 153) 114338 del vars, 15 del conss, 108952 chg bounds, 19047 chg sides, 55891 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
583.80/584.05	c (round 154) 114338 del vars, 15 del conss, 108952 chg bounds, 19106 chg sides, 55950 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
586.59/586.83	c (round 155) 114410 del vars, 15 del conss, 108952 chg bounds, 19106 chg sides, 55950 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
590.29/590.50	c (round 156) 114410 del vars, 15 del conss, 108952 chg bounds, 19142 chg sides, 55986 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
593.08/593.34	c (round 157) 114481 del vars, 15 del conss, 108952 chg bounds, 19142 chg sides, 55986 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
596.48/596.72	c (round 158) 114481 del vars, 15 del conss, 108952 chg bounds, 19193 chg sides, 56037 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
599.19/599.41	c (round 159) 114553 del vars, 15 del conss, 108952 chg bounds, 19193 chg sides, 56037 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
602.18/602.40	c (round 160) 114553 del vars, 15 del conss, 108952 chg bounds, 19256 chg sides, 56100 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
605.58/605.82	c (round 161) 114625 del vars, 15 del conss, 108952 chg bounds, 19256 chg sides, 56100 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
609.38/609.60	c (round 162) 114625 del vars, 15 del conss, 108952 chg bounds, 19351 chg sides, 56195 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
611.98/612.29	c (round 163) 114697 del vars, 15 del conss, 108952 chg bounds, 19351 chg sides, 56195 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
614.59/614.88	c (round 164) 114697 del vars, 15 del conss, 108952 chg bounds, 19415 chg sides, 56259 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
617.48/617.78	c (round 165) 114769 del vars, 15 del conss, 108952 chg bounds, 19415 chg sides, 56259 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
621.28/621.53	c (round 166) 114769 del vars, 15 del conss, 108952 chg bounds, 19504 chg sides, 56348 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
624.48/624.77	c (round 167) 114841 del vars, 15 del conss, 108952 chg bounds, 19504 chg sides, 56348 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
627.68/627.94	c (round 168) 114841 del vars, 15 del conss, 108952 chg bounds, 19531 chg sides, 56375 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
630.38/630.62	c (round 169) 114914 del vars, 15 del conss, 108952 chg bounds, 19531 chg sides, 56375 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
633.67/633.93	c (round 170) 114914 del vars, 15 del conss, 108952 chg bounds, 19590 chg sides, 56434 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
637.07/637.31	c (round 171) 114986 del vars, 15 del conss, 108952 chg bounds, 19590 chg sides, 56434 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
640.57/640.80	c (round 172) 114986 del vars, 15 del conss, 108952 chg bounds, 19701 chg sides, 56545 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
643.37/643.63	c (round 173) 115058 del vars, 15 del conss, 108952 chg bounds, 19701 chg sides, 56545 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
646.67/646.97	c (round 174) 115058 del vars, 15 del conss, 108952 chg bounds, 19738 chg sides, 56582 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
650.17/650.42	c (round 175) 115130 del vars, 15 del conss, 108952 chg bounds, 19738 chg sides, 56582 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
653.67/653.92	c (round 176) 115130 del vars, 15 del conss, 108952 chg bounds, 19872 chg sides, 56716 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
656.57/656.81	c (round 177) 115202 del vars, 15 del conss, 108952 chg bounds, 19872 chg sides, 56716 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
660.67/660.92	c (round 178) 115202 del vars, 15 del conss, 108952 chg bounds, 19999 chg sides, 56843 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
663.87/664.10	c (round 179) 115275 del vars, 15 del conss, 108952 chg bounds, 19999 chg sides, 56843 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
666.46/666.73	c (round 180) 115275 del vars, 15 del conss, 108952 chg bounds, 20189 chg sides, 57033 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
670.06/670.37	c (round 181) 115348 del vars, 15 del conss, 108952 chg bounds, 20189 chg sides, 57033 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
672.97/673.23	c (round 182) 115348 del vars, 15 del conss, 108952 chg bounds, 20230 chg sides, 57074 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
675.26/675.51	c (round 183) 115420 del vars, 15 del conss, 108952 chg bounds, 20230 chg sides, 57074 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
678.96/679.28	c (round 184) 115420 del vars, 15 del conss, 108952 chg bounds, 20299 chg sides, 57143 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
682.66/682.99	c (round 185) 115493 del vars, 15 del conss, 108952 chg bounds, 20299 chg sides, 57143 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
686.76/687.09	c (round 186) 115493 del vars, 15 del conss, 108952 chg bounds, 20340 chg sides, 57184 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
689.66/689.97	c (round 187) 115565 del vars, 15 del conss, 108952 chg bounds, 20340 chg sides, 57184 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
693.86/694.12	c (round 188) 115565 del vars, 15 del conss, 108952 chg bounds, 20397 chg sides, 57241 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
696.76/697.01	c (round 189) 115637 del vars, 15 del conss, 108952 chg bounds, 20397 chg sides, 57241 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
699.15/699.44	c (round 190) 115637 del vars, 15 del conss, 108952 chg bounds, 20424 chg sides, 57268 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
701.35/701.60	c (round 191) 115708 del vars, 15 del conss, 108952 chg bounds, 20424 chg sides, 57268 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
703.66/703.95	c (round 192) 115708 del vars, 15 del conss, 108952 chg bounds, 20521 chg sides, 57365 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
705.96/706.26	c (round 193) 115781 del vars, 15 del conss, 108952 chg bounds, 20521 chg sides, 57365 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
709.16/709.49	c (round 194) 115781 del vars, 15 del conss, 108952 chg bounds, 20562 chg sides, 57406 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
712.46/712.72	c (round 195) 115853 del vars, 15 del conss, 108952 chg bounds, 20562 chg sides, 57406 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
715.15/715.45	c (round 196) 115853 del vars, 15 del conss, 108952 chg bounds, 20643 chg sides, 57487 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
718.75/719.05	c (round 197) 115925 del vars, 15 del conss, 108952 chg bounds, 20643 chg sides, 57487 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
721.55/721.83	c (round 198) 115925 del vars, 15 del conss, 108952 chg bounds, 20670 chg sides, 57514 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
724.85/725.15	c (round 199) 115997 del vars, 15 del conss, 108952 chg bounds, 20670 chg sides, 57514 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
728.15/728.49	c (round 200) 115997 del vars, 15 del conss, 108952 chg bounds, 20753 chg sides, 57597 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
731.15/731.49	c (round 201) 116069 del vars, 15 del conss, 108952 chg bounds, 20753 chg sides, 57597 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
733.65/734.00	c (round 202) 116069 del vars, 15 del conss, 108952 chg bounds, 20849 chg sides, 57693 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
737.04/737.31	c (round 203) 116141 del vars, 15 del conss, 108952 chg bounds, 20849 chg sides, 57693 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
740.74/741.04	c (round 204) 116141 del vars, 15 del conss, 108952 chg bounds, 20918 chg sides, 57762 chg coeffs, 2447 upgd conss, 114650 impls, 23 clqs
749.95/750.29	c    (743.5s) probing: 541/295614 (0.2%) - 7189 fixings, 0 aggregations, 44584 implications, 0 bound changes
749.95/750.29	c    (743.5s) probing aborted: 100/100 successive totally useless probings
750.04/750.35	c presolving (205 rounds):
750.04/750.35	c  116141 deleted vars, 15 deleted constraints, 108952 tightened bounds, 0 added holes, 20918 changed sides, 57762 changed coefficients
750.04/750.35	c  114650 implications, 23 cliques
750.04/750.35	c presolved problem has 288425 variables (288425 bin, 0 int, 0 impl, 0 cont) and 3694 constraints
750.04/750.35	c    2447 constraints of type <knapsack>
750.04/750.35	c      23 constraints of type <setppc>
750.04/750.35	c    1224 constraints of type <linear>
750.04/750.35	c transformed objective value is always integral (scale: 1)
750.04/750.35	c Presolving Time: 741.12
750.04/750.35	c - non default parameters ----------------------------------------------------------------------
750.04/750.35	c # SCIP version 1.2.1.3
750.04/750.35	c 
750.04/750.35	c # frequency for displaying node information lines
750.04/750.35	c # [type: int, range: [-1,2147483647], default: 100]
750.04/750.35	c display/freq = 10000
750.04/750.35	c 
750.04/750.35	c # maximal time in seconds to run
750.04/750.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
750.04/750.35	c limits/time = 1783.21
750.04/750.35	c 
750.04/750.35	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
750.04/750.35	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
750.04/750.35	c limits/memory = 1620
750.04/750.35	c 
750.04/750.35	c # default clock type (1: CPU user seconds, 2: wall clock time)
750.04/750.35	c # [type: int, range: [1,2], default: 1]
750.04/750.35	c timing/clocktype = 2
750.04/750.35	c 
750.04/750.35	c # should presolving try to simplify inequalities
750.04/750.35	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
750.04/750.35	c constraints/linear/simplifyinequalities = TRUE
750.04/750.35	c 
750.04/750.35	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
750.04/750.35	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
750.04/750.35	c constraints/indicator/addCouplingCons = TRUE
750.04/750.35	c 
750.04/750.35	c # should presolving try to simplify knapsacks
750.04/750.35	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
750.04/750.35	c constraints/knapsack/simplifyinequalities = TRUE
750.04/750.35	c 
750.04/750.35	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
750.04/750.35	c # [type: int, range: [-1,2147483647], default: -1]
750.04/750.35	c separating/rapidlearning/freq = 0
750.04/750.35	c 
750.04/750.35	c -----------------------------------------------------------------------------------------------
750.04/750.35	c start solving
750.34/750.61	c 
1790.76/1791.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1790.76/1791.34	c  1785s|     1 |     0 | 39212 |     - |1158M|   0 |   - | 288k|3694 | 288k|3694 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1790.86/1791.49	c  1785s|     1 |     2 | 39212 |     - |1158M|   0 |   - | 288k|3694 | 288k|3694 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1790.86/1791.49	c 
1790.86/1791.49	c SCIP Status        : solving was interrupted [time limit reached]
1790.86/1791.49	c Solving Time (sec) : 1784.70
1790.86/1791.49	c Solving Nodes      : 1
1790.86/1791.49	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.86/1791.49	c Dual Bound         : +0.00000000000000e+00
1790.86/1791.49	c Gap                : infinite
1790.86/1791.49	s UNKNOWN
1790.86/1791.49	c SCIP Status        : solving was interrupted [time limit reached]
1790.86/1791.49	c Solving Time       :    1784.70
1790.86/1791.49	c Original Problem   :
1790.86/1791.49	c   Problem name     : HOME/instance-2703460-1278557660.opb
1790.86/1791.49	c   Variables        : 404566 (404566 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.86/1791.49	c   Constraints      : 3686 initial, 3686 maximal
1790.86/1791.49	c Presolved Problem  :
1790.86/1791.49	c   Problem name     : t_HOME/instance-2703460-1278557660.opb
1790.86/1791.49	c   Variables        : 288425 (288425 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.86/1791.49	c   Constraints      : 3694 initial, 3694 maximal
1790.86/1791.49	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.86/1791.49	c   trivial          :      11.68          0          0          0          0          0          0          0          0
1790.86/1791.49	c   dualfix          :      11.80          0          0          0          0          0          0          0          0
1790.86/1791.49	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.86/1791.49	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.86/1791.49	c   implics          :       5.62          0          0          0          0          0          0          0          0
1790.86/1791.49	c   probing          :     131.33       7189          0          0          0          0          0          0          0
1790.86/1791.49	c   knapsack         :     273.50          0          0          0         14          0          0      20428      50915
1790.86/1791.49	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1790.86/1791.49	c   linear           :     304.11     108952          0          0     108938          0         15        490       6847
1790.86/1791.50	c   root node        :          -          0          -          -          0          -          -          -          -
1790.86/1791.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.86/1791.50	c   integral         :          0          0          0          0          0          0          0          0          0          0
1790.86/1791.50	c   knapsack         :       2447          0       1773          0          1          1          0          0          0          0
1790.86/1791.50	c   setppc           :         23          0       1772          0          1          0          0          0          0          0
1790.86/1791.50	c   linear           :       1224          0       1772          0          1          0          0          0          0          0
1790.86/1791.50	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1790.86/1791.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.86/1791.50	c   integral         :       0.00       0.00       0.00       0.00       0.00
1790.86/1791.50	c   knapsack         :       2.59       0.00       2.59       0.00       0.01
1790.86/1791.50	c   setppc           :       0.01       0.00       0.01       0.00       0.00
1790.86/1791.50	c   linear           :      90.77       0.00      90.77       0.00       0.00
1790.86/1791.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.86/1791.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.86/1791.50	c   vbounds          :       0.00          2          0          0
1790.86/1791.50	c   rootredcost      :       0.00          0          0          0
1790.86/1791.50	c   pseudoobj        :       0.02          1          0          0
1790.86/1791.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.86/1791.50	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.86/1791.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.86/1791.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.86/1791.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.86/1791.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.86/1791.50	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.86/1791.50	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.86/1791.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.86/1791.50	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1790.86/1791.50	c   redcost          :       0.00          0          0          0          0          0
1790.86/1791.50	c   impliedbounds    :       0.00          0          0          0          0          0
1790.86/1791.50	c   intobj           :       0.00          0          0          0          0          0
1790.86/1791.50	c   cgmip            :       0.00          0          0          0          0          0
1790.86/1791.50	c   gomory           :       0.00          0          0          0          0          0
1790.86/1791.50	c   strongcg         :       0.00          0          0          0          0          0
1790.86/1791.50	c   cmir             :       0.00          0          0          0          0          0
1790.86/1791.50	c   flowcover        :       0.00          0          0          0          0          0
1790.86/1791.50	c   clique           :       0.00          0          0          0          0          0
1790.86/1791.50	c   zerohalf         :       0.00          0          0          0          0          0
1790.86/1791.50	c   mcf              :       0.00          0          0          0          0          0
1790.86/1791.50	c   rapidlearning    :       0.00          0          0          0          0          0
1790.86/1791.50	c Pricers            :       Time      Calls       Vars
1790.86/1791.50	c   problem variables:       0.00          0          0
1790.86/1791.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.86/1791.50	c   relpscost        :       0.00          0          0          0          0          0          0
1790.86/1791.50	c   pscost           :       0.00          0          0          0          0          0          0
1790.86/1791.50	c   inference        :       0.11          1          0          0          0          0          2
1790.86/1791.50	c   mostinf          :       0.00          0          0          0          0          0          0
1790.86/1791.50	c   leastinf         :       0.00          0          0          0          0          0          0
1790.86/1791.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.86/1791.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.86/1791.50	c   random           :       0.00          0          0          0          0          0          0
1790.86/1791.50	c Primal Heuristics  :       Time      Calls      Found
1790.86/1791.50	c   LP solutions     :       0.00          -          0
1790.86/1791.50	c   pseudo solutions :       0.00          -          0
1790.86/1791.50	c   oneopt           :       0.00          0          0
1790.86/1791.50	c   trivial          :       1.40          2          0
1790.86/1791.50	c   simplerounding   :       0.00          0          0
1790.86/1791.50	c   zirounding       :       0.00          0          0
1790.86/1791.50	c   rounding         :       0.00          0          0
1790.86/1791.50	c   shifting         :       0.00          0          0
1790.86/1791.50	c   intshifting      :       0.00          0          0
1790.86/1791.50	c   twoopt           :       0.00          0          0
1790.86/1791.50	c   fixandinfer      :       0.00          0          0
1790.86/1791.50	c   feaspump         :       0.00          0          0
1790.86/1791.50	c   coefdiving       :       0.00          0          0
1790.86/1791.50	c   pscostdiving     :       0.00          0          0
1790.86/1791.50	c   fracdiving       :       0.00          0          0
1790.86/1791.50	c   veclendiving     :       0.00          0          0
1790.86/1791.50	c   intdiving        :       0.00          0          0
1790.86/1791.50	c   actconsdiving    :       0.00          0          0
1790.86/1791.50	c   objpscostdiving  :       0.00          0          0
1790.86/1791.50	c   rootsoldiving    :       0.00          0          0
1790.86/1791.50	c   linesearchdiving :       0.00          0          0
1790.86/1791.50	c   guideddiving     :       0.00          0          0
1790.86/1791.50	c   octane           :       0.00          0          0
1790.86/1791.50	c   rens             :       0.00          0          0
1790.86/1791.50	c   rins             :       0.00          0          0
1790.86/1791.50	c   localbranching   :       0.00          0          0
1790.86/1791.50	c   mutation         :       0.00          0          0
1790.86/1791.50	c   crossover        :       0.00          0          0
1790.86/1791.50	c   dins             :       0.00          0          0
1790.86/1791.50	c   undercover       :       0.00          0          0
1790.86/1791.50	c   nlp              :       0.00          0          0
1790.86/1791.50	c   trysol           :       0.00          0          0
1790.86/1791.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.86/1791.50	c   primal LP        :       0.00          0          0       0.00          -
1790.86/1791.50	c   dual LP          :    1037.87          1      39212   39212.00      37.78
1790.86/1791.50	c   lex dual LP      :       0.00          0          0       0.00          -
1790.86/1791.50	c   barrier LP       :       0.00          0          0       0.00          -
1790.86/1791.50	c   diving/probing LP:       0.00          0          0       0.00          -
1790.86/1791.50	c   strong branching :       0.00          0          0       0.00          -
1790.86/1791.50	c     (at root node) :          -          0          0       0.00          -
1790.86/1791.50	c   conflict analysis:       0.00          0          0       0.00          -
1790.86/1791.50	c B&B Tree           :
1790.86/1791.50	c   number of runs   :          1
1790.86/1791.50	c   nodes            :          1
1790.86/1791.50	c   nodes (total)    :          1
1790.86/1791.50	c   nodes left       :          2
1790.86/1791.50	c   max depth        :          0
1790.86/1791.50	c   max depth (total):          0
1790.86/1791.50	c   backtracks       :          0 (0.0%)
1790.86/1791.50	c   delayed cutoffs  :          0
1790.86/1791.50	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.86/1791.50	c   avg switch length:       1.00
1790.86/1791.50	c   switching time   :       0.00
1790.86/1791.50	c Solution           :
1790.86/1791.50	c   Solutions found  :          0 (0 improvements)
1790.86/1791.50	c   Primal Bound     :          -
1790.86/1791.50	c   Dual Bound       : +0.00000000000000e+00
1790.86/1791.50	c   Gap              :   infinite
1790.86/1791.50	c   Root Dual Bound  : +0.00000000000000e+00
1790.86/1791.50	c   Root Iterations  :      39212
1794.46/1795.10	c Time complete: 1794.56.

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-2703460-1278557660/watcher-2703460-1278557660 -o /tmp/evaluation-result-2703460-1278557660/solver-2703460-1278557660 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703460-1278557660.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: 1.00 0.99 0.91 3/106 30477
/proc/meminfo: memFree=1670608/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=7904 CPUtime=0
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 1079 0 0 0 0 0 0 0 17 0 1 0 23979379 8093696 991 1992294400 4194304 8395647 140734761135280 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 1976 1000 365 1026 0 946 0

[startup+0.066351 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30477
/proc/meminfo: memFree=1670608/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=20984 CPUtime=0.06
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 4555 0 0 0 5 1 0 0 17 0 1 0 23979379 21487616 4466 1992294400 4194304 8395647 140734761135280 18446744073709551615 6345709 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 5246 4466 393 1026 0 4216 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20984

[startup+0.101354 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30477
/proc/meminfo: memFree=1670608/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=26028 CPUtime=0.09
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 5739 0 0 0 8 1 0 0 17 0 1 0 23979379 26652672 5650 1992294400 4194304 8395647 140734761135280 18446744073709551615 6765605 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 6507 5650 393 1026 0 5477 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26028

[startup+0.301377 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30477
/proc/meminfo: memFree=1670608/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=52208 CPUtime=0.29
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 12044 0 0 0 25 4 0 0 17 0 1 0 23979379 53460992 11955 1992294400 4194304 8395647 140734761135280 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 13052 11967 393 1026 0 12022 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52208

[startup+0.700425 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30477
/proc/meminfo: memFree=1670608/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=101636 CPUtime=0.69
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 24582 0 0 0 60 9 0 0 17 0 1 0 23979379 104075264 24493 1992294400 4194304 8395647 140734761135280 18446744073709551615 5758814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 25409 24493 393 1026 0 24379 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101636

[startup+1.50052 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30478
/proc/meminfo: memFree=1538168/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=194932 CPUtime=1.49
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 47851 0 0 0 131 18 0 0 18 0 1 0 23979379 199610368 47762 1992294400 4194304 8395647 140734761135280 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 48733 47762 393 1026 0 47703 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 194932

[startup+3.1007 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30478
/proc/meminfo: memFree=1416152/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=304696 CPUtime=3.09
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 75097 0 0 0 282 27 0 0 21 0 1 0 23979379 312008704 75008 1992294400 4194304 8395647 140734761135280 18446744073709551615 4245985 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 76174 75008 393 1026 0 75144 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 304696

[startup+6.30107 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30478
/proc/meminfo: memFree=1357004/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=325524 CPUtime=6.29
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 80005 0 0 0 599 30 0 0 25 0 1 0 23979379 333336576 79911 1992294400 4194304 8395647 140734761135280 18446744073709551615 7370176 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 81381 79911 394 1026 0 80351 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 325524

[startup+12.7008 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30478
/proc/meminfo: memFree=770484/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=917808 CPUtime=12.68
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 225479 0 0 0 1191 77 0 0 25 0 1 0 23979379 939835392 225031 1992294400 4194304 8395647 140734761135280 18446744073709551615 4962897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 229452 225031 466 1026 0 228422 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 917808

[startup+25.5013 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30480
/proc/meminfo: memFree=575184/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1133516 CPUtime=25.48
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 274299 0 0 0 2454 94 0 0 25 0 1 0 23979379 1160720384 273851 1992294400 4194304 8395647 140734761135280 18446744073709551615 4482954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 283379 273851 523 1026 0 282349 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1133516

[startup+51.1013 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30480
/proc/meminfo: memFree=537736/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1162556 CPUtime=51.07
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 283792 0 0 0 5010 97 0 0 25 0 1 0 23979379 1190457344 283307 1992294400 4194304 8395647 140734761135280 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 290639 283307 554 1026 0 289609 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1162556

[startup+102.309 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30482
/proc/meminfo: memFree=531288/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1168576 CPUtime=102.25
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 285303 0 0 0 10128 97 0 0 25 0 1 0 23979379 1196621824 284817 1992294400 4194304 8395647 140734761135280 18446744073709551615 5005964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 292144 284817 553 1026 0 291114 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1168576

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30482
/proc/meminfo: memFree=527072/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1172668 CPUtime=162.22
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 286327 0 0 0 16125 97 0 0 25 0 1 0 23979379 1200812032 285841 1992294400 4194304 8395647 140734761135280 18446744073709551615 5026778 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 293167 285841 553 1026 0 292137 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1172668

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30484
/proc/meminfo: memFree=524592/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1174972 CPUtime=222.2
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 286904 0 0 0 22122 98 0 0 25 0 1 0 23979379 1203171328 286418 1992294400 4194304 8395647 140734761135280 18446744073709551615 5019682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 293743 286418 553 1026 0 292713 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1174972

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30486
/proc/meminfo: memFree=524468/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1174972 CPUtime=282.18
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 286905 0 0 0 28120 98 0 0 25 0 1 0 23979379 1203171328 286419 1992294400 4194304 8395647 140734761135280 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 293743 286419 553 1026 0 292713 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1174972

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30488
/proc/meminfo: memFree=522484/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1176956 CPUtime=342.16
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 287403 0 0 0 34118 98 0 0 25 0 1 0 23979379 1205202944 286917 1992294400 4194304 8395647 140734761135280 18446744073709551615 5007029 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 294239 286917 553 1026 0 293209 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1176956

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30499
/proc/meminfo: memFree=521492/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1176956 CPUtime=402.13
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 287403 0 0 0 40115 98 0 0 25 0 1 0 23979379 1205202944 286917 1992294400 4194304 8395647 140734761135280 18446744073709551615 4735482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 294239 286917 553 1026 0 293209 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1176956

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30499
/proc/meminfo: memFree=520004/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1179036 CPUtime=462.11
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 287917 0 0 0 46113 98 0 0 25 0 1 0 23979379 1207332864 287431 1992294400 4194304 8395647 140734761135280 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 294759 287431 553 1026 0 293729 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 1179036

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30501
/proc/meminfo: memFree=520004/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1179036 CPUtime=522.1
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 287917 0 0 0 52112 98 0 0 25 0 1 0 23979379 1207332864 287431 1992294400 4194304 8395647 140734761135280 18446744073709551615 5598816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 294759 287431 553 1026 0 293729 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1179036

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30503
/proc/meminfo: memFree=520004/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1179036 CPUtime=582.09
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 287917 0 0 0 58110 99 0 0 25 0 1 0 23979379 1207332864 287431 1992294400 4194304 8395647 140734761135280 18446744073709551615 4735528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 294759 287431 553 1026 0 293729 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1179036

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30505
/proc/meminfo: memFree=520004/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1179036 CPUtime=642.08
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 287917 0 0 0 64109 99 0 0 25 0 1 0 23979379 1207332864 287431 1992294400 4194304 8395647 140734761135280 18446744073709551615 5019536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 294759 287431 553 1026 0 293729 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 1179036

[startup+702.301 s]

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

/proc/30477/statm: 372671 354521 578 1026 0 371641 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1490684

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30525
/proc/meminfo: memFree=250428/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1490684 CPUtime=1421.87
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 370662 0 0 0 142025 162 0 0 25 0 1 0 23979379 1526460416 354521 1992294400 4194304 8395647 140734761135280 18446744073709551615 6502812 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 372671 354521 578 1026 0 371641 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1490684

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30530
/proc/meminfo: memFree=249808/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1490684 CPUtime=1481.85
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 370662 0 0 0 148019 166 0 0 25 0 1 0 23979379 1526460416 354521 1992294400 4194304 8395647 140734761135280 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 372671 354521 578 1026 0 371641 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1490684

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30532
/proc/meminfo: memFree=249684/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1490684 CPUtime=1541.83
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 370662 0 0 0 154014 169 0 0 25 0 1 0 23979379 1526460416 354521 1992294400 4194304 8395647 140734761135280 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 372671 354521 578 1026 0 371641 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1490684

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30534
/proc/meminfo: memFree=249932/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1490684 CPUtime=1601.8
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 370662 0 0 0 160009 171 0 0 25 0 1 0 23979379 1526460416 354521 1992294400 4194304 8395647 140734761135280 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 372671 354521 578 1026 0 371641 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1490684

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30534
/proc/meminfo: memFree=249932/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1490684 CPUtime=1661.8
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 370662 0 0 0 166005 175 0 0 25 0 1 0 23979379 1526460416 354521 1992294400 4194304 8395647 140734761135280 18446744073709551615 6664884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 372671 354521 578 1026 0 371641 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1490684

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30536
/proc/meminfo: memFree=249932/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1490684 CPUtime=1721.78
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 370662 0 0 0 172000 178 0 0 25 0 1 0 23979379 1526460416 354521 1992294400 4194304 8395647 140734761135280 18446744073709551615 6652551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 372671 354521 578 1026 0 371641 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1490684

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30538
/proc/meminfo: memFree=249932/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1490684 CPUtime=1781.76
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 370662 0 0 0 177996 180 0 0 25 0 1 0 23979379 1526460416 354521 1992294400 4194304 8395647 140734761135280 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 372671 354521 578 1026 0 371641 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1490684

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1794.46 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1794.46 s) to the 'lost time'.

[startup+1795 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30538
/proc/meminfo: memFree=249312/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=802868 CPUtime=1794.46
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 371484 0 0 0 179258 188 0 0 25 0 1 0 23979379 822136832 193473 1992294400 4194304 8395647 140734761135280 18446744073709551615 6345775 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 200717 193473 591 1026 0 199687 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (KiB) 802868

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30538
/proc/meminfo: memFree=1634908/2059040 swapFree=4138696/4192956
[pid=30477] ppid=-1 vsize=0 CPUtime=0
/proc/30477/stat : -- couldn't open stat file --/proc/30477/statm: 372409 354552 591 1026 0 371379 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1785.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30538
/proc/meminfo: memFree=249932/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1490684 CPUtime=1784.97
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 370662 0 0 0 178316 181 0 0 25 0 1 0 23979379 1526460416 354521 1992294400 4194304 8395647 140734761135280 18446744073709551615 6503069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30477/statm: 372671 354521 578 1026 0 371641 0
Current children cumulated CPU time (s) 1784.97
Current children cumulated vsize (KiB) 1490684

[startup+1791.91 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30538
/proc/meminfo: memFree=246708/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1492800 CPUtime=1791.37
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 371481 0 0 0 178955 182 0 0 25 0 1 0 23979379 1528627200 355340 1992294400 4194304 8395647 140734761135280 18446744073709551615 6150528 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 373200 355340 588 1026 0 372170 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 1492800

[startup+1793.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30538
/proc/meminfo: memFree=249312/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1489636 CPUtime=1792.96
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 371484 0 0 0 179114 182 0 0 25 0 1 0 23979379 1525387264 354552 1992294400 4194304 8395647 140734761135280 18446744073709551615 6345233 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 372409 354552 591 1026 0 371379 0
Current children cumulated CPU time (s) 1792.96
Current children cumulated vsize (KiB) 1489636

[startup+1794.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30538
/proc/meminfo: memFree=249312/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1485852 CPUtime=1793.76
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 371484 0 0 0 179194 182 0 0 25 0 1 0 23979379 1521512448 353761 1992294400 4194304 8395647 140734761135280 18446744073709551615 6345227 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 371463 353761 591 1026 0 370433 0
Current children cumulated CPU time (s) 1793.76
Current children cumulated vsize (KiB) 1485852

[startup+1794.7 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30538
/proc/meminfo: memFree=249312/2059040 swapFree=4138696/4192956
[pid=30477] ppid=30475 vsize=1056236 CPUtime=1794.16
/proc/30477/stat : 30477 (pbscip.linux.x8) R 30475 30477 28909 0 -1 4202496 371484 0 0 0 179231 185 0 0 25 0 1 0 23979379 1081585664 256660 1992294400 4194304 8395647 140734761135280 18446744073709551615 6345203 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30477/statm: 264059 256660 591 1026 0 263029 0
Current children cumulated CPU time (s) 1794.16
Current children cumulated vsize (KiB) 1056236

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30538
/proc/meminfo: memFree=1634908/2059040 swapFree=4138696/4192956
[pid=30477] ppid=-1 vsize=0 CPUtime=0
/proc/30477/stat : -- couldn't open stat file --/proc/30477/statm: 372409 354552 591 1026 0 371379 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30477 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=612481
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=959702
# CPU time returned by wait4() is 1794.57
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1794.46
#  lost CPU user time (s): 1792.58
#  lost CPU system time (s): 1.88

Real time (s): 1795.11
CPU time (s): 1794.46
CPU user time (s): 1792.58
CPU system time (s): 1.88
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 1528232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.61
system time used= 1.9597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371492
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= 4
involuntary context switches= 21102

runsolver used 3.01754 second user time and 8.45271 second system time

The end

Launcher Data 

Begin job on node011 at 2010-07-08 04:54:22
IDJOB=2703460
IDBENCH=2336
IDSOLVER=1213
FILE ID=node011/2703460-1278557660
PBS_JOBID= 11239520
Free space on /tmp= 62464 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_4.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-2703460-1278557660/watcher-2703460-1278557660 -o /tmp/evaluation-result-2703460-1278557660/solver-2703460-1278557660 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703460-1278557660.opb -t 1800 -m 1800

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

MD5SUM BENCH= 77442b3482c8e96813b174683c20fffc
RANDOM SEED=2064547580

node011.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.212
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.212
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:       1671136 kB
Buffers:         69088 kB
Cached:         227312 kB
SwapCached:       7420 kB
Active:         198100 kB
Inactive:       112392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1671136 kB
SwapTotal:     4192956 kB
SwapFree:      4138696 kB
Dirty:           42752 kB
Writeback:           0 kB
AnonPages:       11904 kB
Mapped:          11920 kB
Slab:            55552 kB
PageTables:       4136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182868 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= 62452 MiB
End job on node011 at 2010-07-08 05:24:17