Trace number 2703450

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.8 1795.26

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-dano3_5.opb
MD5SUM143c67a6efdf0b74421c6a96157a0df7
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 variables404336
Total number of constraints3663
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints3658
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-2703450-1278557400.opb>
6.89/6.99	c original problem has 404336 variables (404336 bin, 0 int, 0 impl, 0 cont) and 3663 constraints
6.89/6.99	c problem read
6.99/7.01	c presolving settings loaded
12.10/12.16	c presolving:
14.69/14.76	c (round 1) 109490 del vars, 0 del conss, 109490 chg bounds, 467 chg sides, 6473 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
16.78/16.86	c (round 2) 109490 del vars, 15 del conss, 109490 chg bounds, 467 chg sides, 6935 chg coeffs, 2424 upgd conss, 0 impls, 0 clqs
34.57/34.69	c (round 3) 109500 del vars, 15 del conss, 109500 chg bounds, 10451 chg sides, 46316 chg coeffs, 2424 upgd conss, 25130 impls, 43 clqs
35.08/35.20	c (round 4) 109500 del vars, 15 del conss, 109500 chg bounds, 10846 chg sides, 46797 chg coeffs, 2424 upgd conss, 25130 impls, 43 clqs
59.47/59.53	c (round 5) 109572 del vars, 15 del conss, 109500 chg bounds, 10846 chg sides, 46797 chg coeffs, 2424 upgd conss, 84124 impls, 43 clqs
64.97/65.06	c (round 6) 109572 del vars, 15 del conss, 109500 chg bounds, 11380 chg sides, 47331 chg coeffs, 2424 upgd conss, 84124 impls, 43 clqs
71.87/71.93	c (round 7) 109644 del vars, 15 del conss, 109500 chg bounds, 11380 chg sides, 47331 chg coeffs, 2424 upgd conss, 85090 impls, 43 clqs
77.16/77.20	c (round 8) 109644 del vars, 15 del conss, 109500 chg bounds, 11792 chg sides, 47743 chg coeffs, 2424 upgd conss, 85090 impls, 43 clqs
80.46/80.52	c (round 9) 109716 del vars, 15 del conss, 109500 chg bounds, 11792 chg sides, 47743 chg coeffs, 2424 upgd conss, 87022 impls, 43 clqs
85.86/85.91	c (round 10) 109716 del vars, 15 del conss, 109500 chg bounds, 12178 chg sides, 48129 chg coeffs, 2424 upgd conss, 87022 impls, 43 clqs
88.97/89.05	c (round 11) 109789 del vars, 15 del conss, 109500 chg bounds, 12178 chg sides, 48129 chg coeffs, 2424 upgd conss, 89920 impls, 43 clqs
94.26/94.31	c (round 12) 109789 del vars, 15 del conss, 109500 chg bounds, 12531 chg sides, 48482 chg coeffs, 2424 upgd conss, 89920 impls, 43 clqs
98.06/98.19	c (round 13) 109861 del vars, 15 del conss, 109500 chg bounds, 12531 chg sides, 48482 chg coeffs, 2424 upgd conss, 96682 impls, 43 clqs
103.86/103.93	c (round 14) 109861 del vars, 15 del conss, 109500 chg bounds, 12936 chg sides, 48887 chg coeffs, 2424 upgd conss, 96682 impls, 43 clqs
108.35/108.40	c (round 15) 109933 del vars, 15 del conss, 109500 chg bounds, 12936 chg sides, 48887 chg coeffs, 2424 upgd conss, 100730 impls, 43 clqs
113.55/113.60	c (round 16) 109933 del vars, 15 del conss, 109500 chg bounds, 13320 chg sides, 49271 chg coeffs, 2424 upgd conss, 100730 impls, 43 clqs
116.85/116.93	c (round 17) 110005 del vars, 15 del conss, 109500 chg bounds, 13320 chg sides, 49271 chg coeffs, 2424 upgd conss, 102662 impls, 43 clqs
120.05/120.14	c (round 18) 110005 del vars, 15 del conss, 109500 chg bounds, 13410 chg sides, 49361 chg coeffs, 2424 upgd conss, 102662 impls, 43 clqs
122.55/122.64	c (round 19) 110078 del vars, 15 del conss, 109500 chg bounds, 13410 chg sides, 49361 chg coeffs, 2424 upgd conss, 102662 impls, 43 clqs
125.75/125.89	c (round 20) 110078 del vars, 15 del conss, 109500 chg bounds, 13506 chg sides, 49457 chg coeffs, 2424 upgd conss, 102662 impls, 43 clqs
129.15/129.22	c (round 21) 110150 del vars, 15 del conss, 109500 chg bounds, 13506 chg sides, 49457 chg coeffs, 2424 upgd conss, 106526 impls, 43 clqs
132.95/133.06	c (round 22) 110150 del vars, 15 del conss, 109500 chg bounds, 13615 chg sides, 49566 chg coeffs, 2424 upgd conss, 106526 impls, 43 clqs
136.05/136.19	c (round 23) 110222 del vars, 15 del conss, 109500 chg bounds, 13615 chg sides, 49566 chg coeffs, 2424 upgd conss, 109424 impls, 43 clqs
139.24/139.31	c (round 24) 110222 del vars, 15 del conss, 109500 chg bounds, 13745 chg sides, 49696 chg coeffs, 2424 upgd conss, 109424 impls, 43 clqs
142.24/142.33	c (round 25) 110294 del vars, 15 del conss, 109500 chg bounds, 13745 chg sides, 49696 chg coeffs, 2424 upgd conss, 110390 impls, 43 clqs
146.94/147.07	c (round 26) 110294 del vars, 15 del conss, 109500 chg bounds, 13834 chg sides, 49785 chg coeffs, 2424 upgd conss, 110390 impls, 43 clqs
150.65/150.77	c (round 27) 110366 del vars, 15 del conss, 109500 chg bounds, 13834 chg sides, 49785 chg coeffs, 2424 upgd conss, 114346 impls, 43 clqs
155.14/155.24	c (round 28) 110366 del vars, 15 del conss, 109500 chg bounds, 14086 chg sides, 50037 chg coeffs, 2424 upgd conss, 114346 impls, 43 clqs
158.84/158.95	c (round 29) 110439 del vars, 15 del conss, 109500 chg bounds, 14086 chg sides, 50037 chg coeffs, 2424 upgd conss, 117336 impls, 43 clqs
163.14/163.26	c (round 30) 110439 del vars, 15 del conss, 109500 chg bounds, 14181 chg sides, 50132 chg coeffs, 2424 upgd conss, 117336 impls, 43 clqs
166.44/166.57	c (round 31) 110511 del vars, 15 del conss, 109500 chg bounds, 14181 chg sides, 50132 chg coeffs, 2424 upgd conss, 120234 impls, 43 clqs
171.93/172.09	c (round 32) 110511 del vars, 15 del conss, 109500 chg bounds, 14208 chg sides, 50159 chg coeffs, 2424 upgd conss, 120234 impls, 43 clqs
175.33/175.48	c (round 33) 110583 del vars, 15 del conss, 109500 chg bounds, 14208 chg sides, 50159 chg coeffs, 2424 upgd conss, 121200 impls, 43 clqs
180.13/180.24	c (round 34) 110583 del vars, 15 del conss, 109500 chg bounds, 14311 chg sides, 50262 chg coeffs, 2424 upgd conss, 121200 impls, 43 clqs
183.23/183.34	c (round 35) 110655 del vars, 15 del conss, 109500 chg bounds, 14311 chg sides, 50262 chg coeffs, 2424 upgd conss, 123132 impls, 43 clqs
187.24/187.35	c (round 36) 110655 del vars, 15 del conss, 109500 chg bounds, 14376 chg sides, 50327 chg coeffs, 2424 upgd conss, 123132 impls, 43 clqs
190.64/190.77	c (round 37) 110727 del vars, 15 del conss, 109500 chg bounds, 14376 chg sides, 50327 chg coeffs, 2424 upgd conss, 123132 impls, 43 clqs
195.04/195.11	c (round 38) 110727 del vars, 15 del conss, 109500 chg bounds, 14507 chg sides, 50458 chg coeffs, 2424 upgd conss, 123132 impls, 43 clqs
197.64/197.78	c (round 39) 110799 del vars, 15 del conss, 109500 chg bounds, 14507 chg sides, 50458 chg coeffs, 2424 upgd conss, 124098 impls, 43 clqs
202.54/202.69	c (round 40) 110799 del vars, 15 del conss, 109500 chg bounds, 14552 chg sides, 50503 chg coeffs, 2424 upgd conss, 124098 impls, 43 clqs
205.73/205.89	c (round 41) 110871 del vars, 15 del conss, 109500 chg bounds, 14552 chg sides, 50503 chg coeffs, 2424 upgd conss, 125064 impls, 43 clqs
209.24/209.39	c (round 42) 110871 del vars, 15 del conss, 109500 chg bounds, 14597 chg sides, 50548 chg coeffs, 2424 upgd conss, 125064 impls, 43 clqs
212.63/212.73	c (round 43) 110943 del vars, 15 del conss, 109500 chg bounds, 14597 chg sides, 50548 chg coeffs, 2424 upgd conss, 125064 impls, 43 clqs
216.23/216.34	c (round 44) 110943 del vars, 15 del conss, 109500 chg bounds, 14783 chg sides, 50734 chg coeffs, 2424 upgd conss, 125064 impls, 43 clqs
219.03/219.16	c (round 45) 111015 del vars, 15 del conss, 109500 chg bounds, 14783 chg sides, 50734 chg coeffs, 2424 upgd conss, 125064 impls, 43 clqs
222.33/222.49	c (round 46) 111015 del vars, 15 del conss, 109500 chg bounds, 14925 chg sides, 50876 chg coeffs, 2424 upgd conss, 125064 impls, 43 clqs
225.13/225.28	c (round 47) 111087 del vars, 15 del conss, 109500 chg bounds, 14925 chg sides, 50876 chg coeffs, 2424 upgd conss, 125064 impls, 43 clqs
229.13/229.21	c (round 48) 111087 del vars, 15 del conss, 109500 chg bounds, 15008 chg sides, 50959 chg coeffs, 2424 upgd conss, 125064 impls, 43 clqs
231.43/231.54	c (round 49) 111159 del vars, 15 del conss, 109500 chg bounds, 15008 chg sides, 50959 chg coeffs, 2424 upgd conss, 125064 impls, 43 clqs
234.13/234.30	c (round 50) 111159 del vars, 15 del conss, 109500 chg bounds, 15174 chg sides, 51125 chg coeffs, 2424 upgd conss, 125064 impls, 43 clqs
237.43/237.60	c (round 51) 111231 del vars, 15 del conss, 109500 chg bounds, 15174 chg sides, 51125 chg coeffs, 2424 upgd conss, 126030 impls, 43 clqs
241.33/241.44	c (round 52) 111231 del vars, 15 del conss, 109500 chg bounds, 15256 chg sides, 51207 chg coeffs, 2424 upgd conss, 126030 impls, 43 clqs
244.82/244.99	c (round 53) 111304 del vars, 15 del conss, 109500 chg bounds, 15256 chg sides, 51207 chg coeffs, 2424 upgd conss, 126996 impls, 43 clqs
248.82/248.92	c (round 54) 111304 del vars, 15 del conss, 109500 chg bounds, 15351 chg sides, 51302 chg coeffs, 2424 upgd conss, 126996 impls, 43 clqs
252.22/252.33	c (round 55) 111376 del vars, 15 del conss, 109500 chg bounds, 15351 chg sides, 51302 chg coeffs, 2424 upgd conss, 129894 impls, 43 clqs
255.03/255.13	c (round 56) 111376 del vars, 15 del conss, 109500 chg bounds, 15397 chg sides, 51348 chg coeffs, 2424 upgd conss, 129894 impls, 43 clqs
258.62/258.73	c (round 57) 111448 del vars, 15 del conss, 109500 chg bounds, 15397 chg sides, 51348 chg coeffs, 2424 upgd conss, 133758 impls, 43 clqs
263.62/263.74	c (round 58) 111448 del vars, 15 del conss, 109500 chg bounds, 15531 chg sides, 51482 chg coeffs, 2424 upgd conss, 133758 impls, 43 clqs
267.62/267.70	c (round 59) 111521 del vars, 15 del conss, 109500 chg bounds, 15531 chg sides, 51482 chg coeffs, 2424 upgd conss, 134724 impls, 43 clqs
273.12/273.21	c (round 60) 111521 del vars, 15 del conss, 109500 chg bounds, 15646 chg sides, 51597 chg coeffs, 2424 upgd conss, 134724 impls, 43 clqs
276.92/277.01	c (round 61) 111593 del vars, 15 del conss, 109500 chg bounds, 15646 chg sides, 51597 chg coeffs, 2424 upgd conss, 135874 impls, 43 clqs
280.72/280.86	c (round 62) 111593 del vars, 15 del conss, 109500 chg bounds, 15705 chg sides, 51656 chg coeffs, 2424 upgd conss, 135874 impls, 43 clqs
283.02/283.16	c (round 63) 111665 del vars, 15 del conss, 109500 chg bounds, 15705 chg sides, 51656 chg coeffs, 2424 upgd conss, 135874 impls, 43 clqs
287.41/287.59	c (round 64) 111665 del vars, 15 del conss, 109500 chg bounds, 15747 chg sides, 51698 chg coeffs, 2424 upgd conss, 135874 impls, 43 clqs
290.91/291.09	c (round 65) 111737 del vars, 15 del conss, 109500 chg bounds, 15747 chg sides, 51698 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
295.21/295.39	c (round 66) 111737 del vars, 15 del conss, 109500 chg bounds, 15791 chg sides, 51742 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
298.02/298.17	c (round 67) 111809 del vars, 15 del conss, 109500 chg bounds, 15791 chg sides, 51742 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
302.42/302.59	c (round 68) 111809 del vars, 15 del conss, 109500 chg bounds, 15870 chg sides, 51821 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
305.21/305.38	c (round 69) 111881 del vars, 15 del conss, 109500 chg bounds, 15870 chg sides, 51821 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
308.51/308.60	c (round 70) 111881 del vars, 15 del conss, 109500 chg bounds, 15915 chg sides, 51866 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
310.91/311.08	c (round 71) 111953 del vars, 15 del conss, 109500 chg bounds, 15915 chg sides, 51866 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
315.31/315.41	c (round 72) 111953 del vars, 15 del conss, 109500 chg bounds, 15976 chg sides, 51927 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
318.11/318.23	c (round 73) 112025 del vars, 15 del conss, 109500 chg bounds, 15976 chg sides, 51927 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
321.60/321.75	c (round 74) 112025 del vars, 15 del conss, 109500 chg bounds, 16053 chg sides, 52004 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
324.10/324.24	c (round 75) 112097 del vars, 15 del conss, 109500 chg bounds, 16053 chg sides, 52004 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
328.50/328.62	c (round 76) 112097 del vars, 15 del conss, 109500 chg bounds, 16202 chg sides, 52153 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
331.20/331.34	c (round 77) 112169 del vars, 15 del conss, 109500 chg bounds, 16202 chg sides, 52153 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
334.31/334.46	c (round 78) 112169 del vars, 15 del conss, 109500 chg bounds, 16279 chg sides, 52230 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
337.61/337.75	c (round 79) 112241 del vars, 15 del conss, 109500 chg bounds, 16279 chg sides, 52230 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
341.70/341.87	c (round 80) 112241 del vars, 15 del conss, 109500 chg bounds, 16336 chg sides, 52287 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
344.50/344.62	c (round 81) 112313 del vars, 15 del conss, 109500 chg bounds, 16336 chg sides, 52287 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
349.80/349.90	c (round 82) 112313 del vars, 15 del conss, 109500 chg bounds, 16363 chg sides, 52314 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
352.70/352.89	c (round 83) 112384 del vars, 15 del conss, 109500 chg bounds, 16363 chg sides, 52314 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
356.39/356.50	c (round 84) 112384 del vars, 15 del conss, 109500 chg bounds, 16433 chg sides, 52384 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
360.09/360.29	c (round 85) 112457 del vars, 15 del conss, 109500 chg bounds, 16433 chg sides, 52384 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
362.90/363.02	c (round 86) 112457 del vars, 15 del conss, 109500 chg bounds, 16506 chg sides, 52457 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
365.29/365.49	c (round 87) 112529 del vars, 15 del conss, 109500 chg bounds, 16506 chg sides, 52457 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
369.59/369.72	c (round 88) 112529 del vars, 15 del conss, 109500 chg bounds, 16548 chg sides, 52499 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
372.70/372.87	c (round 89) 112601 del vars, 15 del conss, 109500 chg bounds, 16548 chg sides, 52499 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
376.19/376.30	c (round 90) 112601 del vars, 15 del conss, 109500 chg bounds, 16621 chg sides, 52572 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
378.79/378.94	c (round 91) 112673 del vars, 15 del conss, 109500 chg bounds, 16621 chg sides, 52572 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
382.19/382.36	c (round 92) 112673 del vars, 15 del conss, 109500 chg bounds, 16664 chg sides, 52615 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
385.49/385.67	c (round 93) 112746 del vars, 15 del conss, 109500 chg bounds, 16664 chg sides, 52615 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
389.39/389.50	c (round 94) 112746 del vars, 15 del conss, 109500 chg bounds, 16733 chg sides, 52684 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
392.99/393.16	c (round 95) 112818 del vars, 15 del conss, 109500 chg bounds, 16733 chg sides, 52684 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
397.69/397.86	c (round 96) 112818 del vars, 15 del conss, 109500 chg bounds, 16776 chg sides, 52727 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
400.38/400.54	c (round 97) 112868 del vars, 15 del conss, 109500 chg bounds, 16776 chg sides, 52727 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
403.28/403.44	c (round 98) 112868 del vars, 15 del conss, 109500 chg bounds, 16883 chg sides, 52834 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
405.98/406.18	c (round 99) 112940 del vars, 15 del conss, 109500 chg bounds, 16883 chg sides, 52834 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
409.28/409.42	c (round 100) 112940 del vars, 15 del conss, 109500 chg bounds, 16956 chg sides, 52907 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
412.39/412.54	c (round 101) 113013 del vars, 15 del conss, 109500 chg bounds, 16956 chg sides, 52907 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
416.18/416.34	c (round 102) 113013 del vars, 15 del conss, 109500 chg bounds, 17021 chg sides, 52972 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
419.48/419.64	c (round 103) 113085 del vars, 15 del conss, 109500 chg bounds, 17021 chg sides, 52972 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
422.68/422.85	c (round 104) 113085 del vars, 15 del conss, 109500 chg bounds, 17063 chg sides, 53014 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
425.38/425.55	c (round 105) 113157 del vars, 15 del conss, 109500 chg bounds, 17063 chg sides, 53014 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
429.08/429.29	c (round 106) 113157 del vars, 15 del conss, 109500 chg bounds, 17182 chg sides, 53133 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
432.68/432.86	c (round 107) 113229 del vars, 15 del conss, 109500 chg bounds, 17182 chg sides, 53133 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
434.98/435.13	c (round 108) 113229 del vars, 15 del conss, 109500 chg bounds, 17310 chg sides, 53261 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
437.77/437.97	c (round 109) 113302 del vars, 15 del conss, 109500 chg bounds, 17310 chg sides, 53261 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
441.67/441.82	c (round 110) 113302 del vars, 15 del conss, 109500 chg bounds, 17358 chg sides, 53309 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
444.28/444.47	c (round 111) 113374 del vars, 15 del conss, 109500 chg bounds, 17358 chg sides, 53309 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
447.77/447.99	c (round 112) 113374 del vars, 15 del conss, 109500 chg bounds, 17429 chg sides, 53380 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
451.57/451.70	c (round 113) 113446 del vars, 15 del conss, 109500 chg bounds, 17429 chg sides, 53380 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
455.28/455.45	c (round 114) 113446 del vars, 15 del conss, 109500 chg bounds, 17543 chg sides, 53494 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
458.37/458.50	c (round 115) 113518 del vars, 15 del conss, 109500 chg bounds, 17543 chg sides, 53494 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
462.27/462.43	c (round 116) 113518 del vars, 15 del conss, 109500 chg bounds, 17599 chg sides, 53550 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
465.97/466.17	c (round 117) 113590 del vars, 15 del conss, 109500 chg bounds, 17599 chg sides, 53550 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
469.97/470.15	c (round 118) 113590 del vars, 15 del conss, 109500 chg bounds, 17704 chg sides, 53655 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
473.07/473.26	c (round 119) 113662 del vars, 15 del conss, 109500 chg bounds, 17704 chg sides, 53655 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
476.96/477.13	c (round 120) 113662 del vars, 15 del conss, 109500 chg bounds, 17745 chg sides, 53696 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
479.47/479.66	c (round 121) 113734 del vars, 15 del conss, 109500 chg bounds, 17745 chg sides, 53696 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
482.77/482.95	c (round 122) 113734 del vars, 15 del conss, 109500 chg bounds, 17815 chg sides, 53766 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
485.97/486.12	c (round 123) 113806 del vars, 15 del conss, 109500 chg bounds, 17815 chg sides, 53766 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
489.66/489.80	c (round 124) 113806 del vars, 15 del conss, 109500 chg bounds, 17915 chg sides, 53866 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
493.06/493.22	c (round 125) 113878 del vars, 15 del conss, 109500 chg bounds, 17915 chg sides, 53866 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
496.36/496.51	c (round 126) 113878 del vars, 15 del conss, 109500 chg bounds, 17978 chg sides, 53929 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
499.46/499.64	c (round 127) 113950 del vars, 15 del conss, 109500 chg bounds, 17978 chg sides, 53929 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
503.16/503.32	c (round 128) 113950 del vars, 15 del conss, 109500 chg bounds, 18019 chg sides, 53970 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
505.96/506.14	c (round 129) 114022 del vars, 15 del conss, 109500 chg bounds, 18019 chg sides, 53970 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
510.36/510.59	c (round 130) 114022 del vars, 15 del conss, 109500 chg bounds, 18088 chg sides, 54039 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
513.56/513.74	c (round 131) 114094 del vars, 15 del conss, 109500 chg bounds, 18088 chg sides, 54039 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
517.45/517.61	c (round 132) 114094 del vars, 15 del conss, 109500 chg bounds, 18200 chg sides, 54151 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
520.16/520.35	c (round 133) 114166 del vars, 15 del conss, 109500 chg bounds, 18200 chg sides, 54151 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
524.95/525.18	c (round 134) 114166 del vars, 15 del conss, 109500 chg bounds, 18294 chg sides, 54245 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
527.95/528.10	c (round 135) 114238 del vars, 15 del conss, 109500 chg bounds, 18294 chg sides, 54245 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
531.65/531.80	c (round 136) 114238 del vars, 15 del conss, 109500 chg bounds, 18332 chg sides, 54283 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
535.05/535.24	c (round 137) 114309 del vars, 15 del conss, 109500 chg bounds, 18332 chg sides, 54283 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
538.95/539.10	c (round 138) 114309 del vars, 15 del conss, 109500 chg bounds, 18395 chg sides, 54346 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
542.65/542.83	c (round 139) 114381 del vars, 15 del conss, 109500 chg bounds, 18395 chg sides, 54346 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
546.75/546.96	c (round 140) 114381 del vars, 15 del conss, 109500 chg bounds, 18474 chg sides, 54425 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
549.65/549.85	c (round 141) 114453 del vars, 15 del conss, 109500 chg bounds, 18474 chg sides, 54425 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
553.25/553.46	c (round 142) 114453 del vars, 15 del conss, 109500 chg bounds, 18572 chg sides, 54523 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
556.94/557.13	c (round 143) 114525 del vars, 15 del conss, 109500 chg bounds, 18572 chg sides, 54523 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
560.75/560.95	c (round 144) 114525 del vars, 15 del conss, 109500 chg bounds, 18620 chg sides, 54571 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
563.44/563.64	c (round 145) 114597 del vars, 15 del conss, 109500 chg bounds, 18620 chg sides, 54571 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
567.45/567.68	c (round 146) 114597 del vars, 15 del conss, 109500 chg bounds, 18769 chg sides, 54720 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
570.44/570.66	c (round 147) 114669 del vars, 15 del conss, 109500 chg bounds, 18769 chg sides, 54720 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
574.05/574.28	c (round 148) 114669 del vars, 15 del conss, 109500 chg bounds, 18816 chg sides, 54767 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
577.64/577.87	c (round 149) 114741 del vars, 15 del conss, 109500 chg bounds, 18816 chg sides, 54767 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
580.65/580.86	c (round 150) 114741 del vars, 15 del conss, 109500 chg bounds, 18863 chg sides, 54814 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
583.74/583.96	c (round 151) 114813 del vars, 15 del conss, 109500 chg bounds, 18863 chg sides, 54814 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
587.44/587.68	c (round 152) 114813 del vars, 15 del conss, 109500 chg bounds, 18902 chg sides, 54853 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
591.14/591.38	c (round 153) 114885 del vars, 15 del conss, 109500 chg bounds, 18902 chg sides, 54853 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
595.03/595.21	c (round 154) 114885 del vars, 15 del conss, 109500 chg bounds, 18929 chg sides, 54880 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
597.23/597.41	c (round 155) 114957 del vars, 15 del conss, 109500 chg bounds, 18929 chg sides, 54880 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
599.83/600.09	c (round 156) 114957 del vars, 15 del conss, 109500 chg bounds, 19024 chg sides, 54975 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
603.23/603.44	c (round 157) 115029 del vars, 15 del conss, 109500 chg bounds, 19024 chg sides, 54975 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
607.83/608.00	c (round 158) 115029 del vars, 15 del conss, 109500 chg bounds, 19062 chg sides, 55013 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
610.93/611.11	c (round 159) 115101 del vars, 15 del conss, 109500 chg bounds, 19062 chg sides, 55013 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
615.13/615.30	c (round 160) 115101 del vars, 15 del conss, 109500 chg bounds, 19110 chg sides, 55061 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
618.23/618.42	c (round 161) 115173 del vars, 15 del conss, 109500 chg bounds, 19110 chg sides, 55061 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
621.63/621.84	c (round 162) 115173 del vars, 15 del conss, 109500 chg bounds, 19239 chg sides, 55190 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
624.64/624.89	c (round 163) 115245 del vars, 15 del conss, 109500 chg bounds, 19239 chg sides, 55190 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
629.13/629.32	c (round 164) 115245 del vars, 15 del conss, 109500 chg bounds, 19307 chg sides, 55258 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
631.93/632.10	c (round 165) 115317 del vars, 15 del conss, 109500 chg bounds, 19307 chg sides, 55258 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
635.53/635.80	c (round 166) 115317 del vars, 15 del conss, 109500 chg bounds, 19425 chg sides, 55376 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
638.32/638.54	c (round 167) 115389 del vars, 15 del conss, 109500 chg bounds, 19425 chg sides, 55376 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
641.52/641.73	c (round 168) 115389 del vars, 15 del conss, 109500 chg bounds, 19470 chg sides, 55421 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
644.33/644.52	c (round 169) 115462 del vars, 15 del conss, 109500 chg bounds, 19470 chg sides, 55421 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
647.73/647.96	c (round 170) 115462 del vars, 15 del conss, 109500 chg bounds, 19568 chg sides, 55519 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
650.42/650.66	c (round 171) 115535 del vars, 15 del conss, 109500 chg bounds, 19568 chg sides, 55519 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
653.72/653.95	c (round 172) 115535 del vars, 15 del conss, 109500 chg bounds, 19609 chg sides, 55560 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
656.43/656.61	c (round 173) 115607 del vars, 15 del conss, 109500 chg bounds, 19609 chg sides, 55560 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
660.20/660.45	c (round 174) 115607 del vars, 15 del conss, 109500 chg bounds, 19678 chg sides, 55629 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
663.70/663.97	c (round 175) 115679 del vars, 15 del conss, 109500 chg bounds, 19678 chg sides, 55629 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
666.41/666.66	c (round 176) 115679 del vars, 15 del conss, 109500 chg bounds, 19817 chg sides, 55768 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
670.00/670.20	c (round 177) 115751 del vars, 15 del conss, 109500 chg bounds, 19817 chg sides, 55768 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
673.70/673.90	c (round 178) 115751 del vars, 15 del conss, 109500 chg bounds, 19844 chg sides, 55795 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
676.21/676.46	c (round 179) 115825 del vars, 15 del conss, 109500 chg bounds, 19844 chg sides, 55795 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
679.20/679.42	c (round 180) 115825 del vars, 15 del conss, 109500 chg bounds, 19899 chg sides, 55850 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
682.40/682.61	c (round 181) 115897 del vars, 15 del conss, 109500 chg bounds, 19899 chg sides, 55850 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
685.20/685.40	c (round 182) 115897 del vars, 15 del conss, 109500 chg bounds, 19926 chg sides, 55877 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
688.30/688.60	c (round 183) 115969 del vars, 15 del conss, 109500 chg bounds, 19926 chg sides, 55877 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
691.60/691.86	c (round 184) 115969 del vars, 15 del conss, 109500 chg bounds, 19953 chg sides, 55904 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
694.39/694.61	c (round 185) 116042 del vars, 15 del conss, 109500 chg bounds, 19953 chg sides, 55904 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
697.89/698.15	c (round 186) 116042 del vars, 15 del conss, 109500 chg bounds, 20092 chg sides, 56043 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
700.69/700.92	c (round 187) 116114 del vars, 15 del conss, 109500 chg bounds, 20092 chg sides, 56043 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
704.59/704.86	c (round 188) 116114 del vars, 15 del conss, 109500 chg bounds, 20179 chg sides, 56130 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
707.49/707.79	c (round 189) 116185 del vars, 15 del conss, 109500 chg bounds, 20179 chg sides, 56130 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
710.79/711.04	c (round 190) 116185 del vars, 15 del conss, 109500 chg bounds, 20282 chg sides, 56233 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
714.29/714.54	c (round 191) 116257 del vars, 15 del conss, 109500 chg bounds, 20282 chg sides, 56233 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
717.39/717.64	c (round 192) 116257 del vars, 15 del conss, 109500 chg bounds, 20334 chg sides, 56285 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
720.59/720.89	c (round 193) 116330 del vars, 15 del conss, 109500 chg bounds, 20334 chg sides, 56285 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
723.79/724.07	c (round 194) 116330 del vars, 15 del conss, 109500 chg bounds, 20384 chg sides, 56335 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
733.68/733.90	c    (726.9s) probing: 555/294836 (0.2%) - 6879 fixings, 0 aggregations, 55845 implications, 0 bound changes
733.68/733.90	c    (726.9s) probing aborted: 100/100 successive totally useless probings
733.68/733.90	c (round 195) 116379 del vars, 15 del conss, 109500 chg bounds, 20384 chg sides, 56335 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
736.08/736.33	c (round 196) 116379 del vars, 15 del conss, 109500 chg bounds, 20424 chg sides, 56375 chg coeffs, 2424 upgd conss, 136840 impls, 43 clqs
738.58/738.81	c    (731.8s) probing: 565/294836 (0.2%) - 6879 fixings, 0 aggregations, 55845 implications, 0 bound changes
738.58/738.81	c    (731.8s) probing aborted: 100/100 successive totally useless probings
738.58/738.87	c presolving (197 rounds):
738.58/738.87	c  116379 deleted vars, 15 deleted constraints, 109500 tightened bounds, 0 added holes, 20424 changed sides, 56375 changed coefficients
738.58/738.87	c  136840 implications, 43 cliques
738.58/738.87	c presolved problem has 287957 variables (287957 bin, 0 int, 0 impl, 0 cont) and 3691 constraints
738.58/738.87	c    2424 constraints of type <knapsack>
738.58/738.87	c      43 constraints of type <setppc>
738.58/738.87	c    1224 constraints of type <linear>
738.58/738.87	c transformed objective value is always integral (scale: 1)
738.58/738.87	c Presolving Time: 729.43
738.58/738.87	c - non default parameters ----------------------------------------------------------------------
738.58/738.87	c # SCIP version 1.2.1.3
738.58/738.87	c 
738.58/738.87	c # frequency for displaying node information lines
738.58/738.87	c # [type: int, range: [-1,2147483647], default: 100]
738.58/738.87	c display/freq = 10000
738.58/738.87	c 
738.58/738.87	c # maximal time in seconds to run
738.58/738.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
738.58/738.87	c limits/time = 1783
738.58/738.87	c 
738.58/738.87	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
738.58/738.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
738.58/738.87	c limits/memory = 1620
738.58/738.87	c 
738.58/738.87	c # default clock type (1: CPU user seconds, 2: wall clock time)
738.58/738.87	c # [type: int, range: [1,2], default: 1]
738.58/738.87	c timing/clocktype = 2
738.58/738.87	c 
738.58/738.87	c # should presolving try to simplify inequalities
738.58/738.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
738.58/738.87	c constraints/linear/simplifyinequalities = TRUE
738.58/738.87	c 
738.58/738.87	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
738.58/738.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
738.58/738.87	c constraints/indicator/addCouplingCons = TRUE
738.58/738.87	c 
738.58/738.87	c # should presolving try to simplify knapsacks
738.58/738.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
738.58/738.87	c constraints/knapsack/simplifyinequalities = TRUE
738.58/738.87	c 
738.58/738.87	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
738.58/738.87	c # [type: int, range: [-1,2147483647], default: -1]
738.58/738.87	c separating/rapidlearning/freq = 0
738.58/738.87	c 
738.58/738.87	c -----------------------------------------------------------------------------------------------
738.58/738.87	c start solving
738.89/739.13	c 
1790.83/1791.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1790.83/1791.38	c  1784s|     1 |     0 | 38980 |     - |1162M|   0 |   - | 287k|3691 | 287k|3691 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1791.03/1791.54	c  1785s|     1 |     2 | 38980 |     - |1162M|   0 |   - | 287k|3691 | 287k|3691 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1791.03/1791.54	c 
1791.03/1791.54	c SCIP Status        : solving was interrupted [time limit reached]
1791.03/1791.54	c Solving Time (sec) : 1784.53
1791.03/1791.54	c Solving Nodes      : 1
1791.03/1791.54	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1791.03/1791.54	c Dual Bound         : +0.00000000000000e+00
1791.03/1791.54	c Gap                : infinite
1791.03/1791.54	s UNKNOWN
1791.03/1791.54	c SCIP Status        : solving was interrupted [time limit reached]
1791.03/1791.54	c Solving Time       :    1784.53
1791.03/1791.54	c Original Problem   :
1791.03/1791.54	c   Problem name     : HOME/instance-2703450-1278557400.opb
1791.03/1791.54	c   Variables        : 404336 (404336 binary, 0 integer, 0 implicit integer, 0 continuous)
1791.03/1791.54	c   Constraints      : 3663 initial, 3663 maximal
1791.03/1791.54	c Presolved Problem  :
1791.03/1791.54	c   Problem name     : t_HOME/instance-2703450-1278557400.opb
1791.03/1791.54	c   Variables        : 287957 (287957 binary, 0 integer, 0 implicit integer, 0 continuous)
1791.03/1791.54	c   Constraints      : 3691 initial, 3691 maximal
1791.03/1791.54	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1791.03/1791.54	c   trivial          :      11.21          0          0          0          0          0          0          0          0
1791.03/1791.54	c   dualfix          :      11.37          0          0          0          0          0          0          0          0
1791.03/1791.54	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1791.03/1791.54	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1791.03/1791.54	c   implics          :       5.55          0          0          0          0          0          0          0          0
1791.03/1791.54	c   probing          :     134.53       6879          0          0          0          0          0          0          0
1791.03/1791.54	c   knapsack         :     268.23          0          0          0         10          0          0      19957      49440
1791.03/1791.54	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1791.03/1791.54	c   linear           :     295.46     109500          0          0     109490          0         15        467       6935
1791.03/1791.54	c   root node        :          -          0          -          -          0          -          -          -          -
1791.03/1791.54	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1791.03/1791.54	c   integral         :          0          0          0          0          0          0          0          0          0          0
1791.03/1791.54	c   knapsack         :       2424          0       1822          0          1          1          0          0          0          0
1791.03/1791.54	c   setppc           :         43          0       1821          0          1          0          0          0          0          0
1791.03/1791.54	c   linear           :       1224          0       1821          0          1          0          0          0          0          0
1791.03/1791.54	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1791.03/1791.54	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1791.03/1791.54	c   integral         :       0.00       0.00       0.00       0.00       0.00
1791.03/1791.54	c   knapsack         :       2.61       0.00       2.60       0.00       0.00
1791.03/1791.54	c   setppc           :       0.01       0.00       0.01       0.00       0.00
1791.03/1791.54	c   linear           :      92.37       0.00      92.37       0.00       0.00
1791.03/1791.54	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1791.03/1791.54	c Propagators        :       Time      Calls    Cutoffs    DomReds
1791.03/1791.54	c   vbounds          :       0.00          2          0          0
1791.03/1791.54	c   rootredcost      :       0.00          0          0          0
1791.03/1791.54	c   pseudoobj        :       0.02          1          0          0
1791.03/1791.54	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1791.03/1791.54	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1791.03/1791.54	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1791.03/1791.54	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1791.03/1791.54	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1791.03/1791.54	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1791.03/1791.54	c   applied globally :          -          -          -          0        0.0          -          -          -
1791.03/1791.54	c   applied locally  :          -          -          -          0        0.0          -          -          -
1791.03/1791.54	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1791.03/1791.54	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1791.03/1791.54	c   redcost          :       0.00          0          0          0          0          0
1791.03/1791.54	c   impliedbounds    :       0.00          0          0          0          0          0
1791.03/1791.54	c   intobj           :       0.00          0          0          0          0          0
1791.03/1791.54	c   cgmip            :       0.00          0          0          0          0          0
1791.03/1791.54	c   gomory           :       0.00          0          0          0          0          0
1791.03/1791.54	c   strongcg         :       0.00          0          0          0          0          0
1791.03/1791.54	c   cmir             :       0.00          0          0          0          0          0
1791.03/1791.54	c   flowcover        :       0.00          0          0          0          0          0
1791.03/1791.54	c   clique           :       0.00          0          0          0          0          0
1791.03/1791.54	c   zerohalf         :       0.00          0          0          0          0          0
1791.03/1791.54	c   mcf              :       0.00          0          0          0          0          0
1791.03/1791.54	c   rapidlearning    :       0.00          0          0          0          0          0
1791.03/1791.54	c Pricers            :       Time      Calls       Vars
1791.03/1791.54	c   problem variables:       0.00          0          0
1791.03/1791.54	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1791.03/1791.54	c   relpscost        :       0.00          0          0          0          0          0          0
1791.03/1791.54	c   pscost           :       0.00          0          0          0          0          0          0
1791.03/1791.54	c   inference        :       0.12          1          0          0          0          0          2
1791.03/1791.54	c   mostinf          :       0.00          0          0          0          0          0          0
1791.03/1791.54	c   leastinf         :       0.00          0          0          0          0          0          0
1791.03/1791.54	c   fullstrong       :       0.00          0          0          0          0          0          0
1791.03/1791.54	c   allfullstrong    :       0.00          0          0          0          0          0          0
1791.03/1791.54	c   random           :       0.00          0          0          0          0          0          0
1791.03/1791.54	c Primal Heuristics  :       Time      Calls      Found
1791.03/1791.54	c   LP solutions     :       0.00          -          0
1791.03/1791.54	c   pseudo solutions :       0.00          -          0
1791.03/1791.54	c   oneopt           :       0.00          0          0
1791.03/1791.54	c   trivial          :       1.39          2          0
1791.03/1791.54	c   simplerounding   :       0.00          0          0
1791.03/1791.54	c   zirounding       :       0.00          0          0
1791.03/1791.54	c   rounding         :       0.00          0          0
1791.03/1791.54	c   shifting         :       0.00          0          0
1791.03/1791.54	c   intshifting      :       0.00          0          0
1791.03/1791.54	c   twoopt           :       0.00          0          0
1791.03/1791.54	c   fixandinfer      :       0.00          0          0
1791.03/1791.54	c   feaspump         :       0.00          0          0
1791.03/1791.54	c   coefdiving       :       0.00          0          0
1791.03/1791.54	c   pscostdiving     :       0.00          0          0
1791.03/1791.54	c   fracdiving       :       0.00          0          0
1791.03/1791.54	c   veclendiving     :       0.00          0          0
1791.03/1791.54	c   intdiving        :       0.00          0          0
1791.03/1791.54	c   actconsdiving    :       0.00          0          0
1791.03/1791.54	c   objpscostdiving  :       0.00          0          0
1791.03/1791.54	c   rootsoldiving    :       0.00          0          0
1791.03/1791.54	c   linesearchdiving :       0.00          0          0
1791.03/1791.54	c   guideddiving     :       0.00          0          0
1791.03/1791.54	c   octane           :       0.00          0          0
1791.03/1791.54	c   rens             :       0.00          0          0
1791.03/1791.54	c   rins             :       0.00          0          0
1791.03/1791.54	c   localbranching   :       0.00          0          0
1791.03/1791.54	c   mutation         :       0.00          0          0
1791.03/1791.54	c   crossover        :       0.00          0          0
1791.03/1791.54	c   dins             :       0.00          0          0
1791.03/1791.54	c   undercover       :       0.00          0          0
1791.03/1791.54	c   nlp              :       0.00          0          0
1791.03/1791.54	c   trysol           :       0.00          0          0
1791.03/1791.54	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1791.03/1791.54	c   primal LP        :       0.00          0          0       0.00          -
1791.03/1791.54	c   dual LP          :    1049.39          1      38980   38980.00      37.15
1791.03/1791.54	c   lex dual LP      :       0.00          0          0       0.00          -
1791.03/1791.54	c   barrier LP       :       0.00          0          0       0.00          -
1791.03/1791.54	c   diving/probing LP:       0.00          0          0       0.00          -
1791.03/1791.54	c   strong branching :       0.00          0          0       0.00          -
1791.03/1791.54	c     (at root node) :          -          0          0       0.00          -
1791.03/1791.54	c   conflict analysis:       0.00          0          0       0.00          -
1791.03/1791.54	c B&B Tree           :
1791.03/1791.54	c   number of runs   :          1
1791.03/1791.54	c   nodes            :          1
1791.03/1791.54	c   nodes (total)    :          1
1791.03/1791.54	c   nodes left       :          2
1791.03/1791.54	c   max depth        :          0
1791.03/1791.54	c   max depth (total):          0
1791.03/1791.54	c   backtracks       :          0 (0.0%)
1791.03/1791.54	c   delayed cutoffs  :          0
1791.03/1791.54	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1791.03/1791.54	c   avg switch length:       1.00
1791.03/1791.54	c   switching time   :       0.00
1791.03/1791.54	c Solution           :
1791.03/1791.54	c   Solutions found  :          0 (0 improvements)
1791.03/1791.54	c   Primal Bound     :          -
1791.03/1791.54	c   Dual Bound       : +0.00000000000000e+00
1791.03/1791.54	c   Gap              :   infinite
1791.03/1791.54	c   Root Dual Bound  : +0.00000000000000e+00
1791.03/1791.54	c   Root Iterations  :      38980
1794.74/1795.25	c Time complete: 1794.79.

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-2703450-1278557400/watcher-2703450-1278557400 -o /tmp/evaluation-result-2703450-1278557400/solver-2703450-1278557400 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703450-1278557400.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.05 1.01 1.00 3/106 32195
/proc/meminfo: memFree=1664396/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=7904 CPUtime=0
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 1036 0 0 0 0 0 0 0 23 0 1 0 23946583 8093696 949 1992294400 4194304 8395647 140733512073856 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 1976 957 365 1026 0 946 0

[startup+0.0628181 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 32195
/proc/meminfo: memFree=1664396/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=21068 CPUtime=0.05
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 4480 0 0 0 4 1 0 0 23 0 1 0 23946583 21573632 4393 1992294400 4194304 8395647 140733512073856 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 5267 4405 393 1026 0 4237 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21068

[startup+0.10082 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 32195
/proc/meminfo: memFree=1664396/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=25680 CPUtime=0.09
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 5697 0 0 0 7 2 0 0 23 0 1 0 23946583 26296320 5609 1992294400 4194304 8395647 140733512073856 18446744073709551615 6073741 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 6420 5609 393 1026 0 5390 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25680

[startup+0.300838 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 32195
/proc/meminfo: memFree=1664396/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=50056 CPUtime=0.29
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 11647 0 0 0 25 4 0 0 23 0 1 0 23946583 51257344 11559 1992294400 4194304 8395647 140733512073856 18446744073709551615 7385355 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 12514 11562 393 1026 0 11484 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50056

[startup+0.700874 s]
/proc/loadavg: 1.05 1.01 1.00 3/106 32195
/proc/meminfo: memFree=1664396/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=99384 CPUtime=0.69
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 23967 0 0 0 60 9 0 0 25 0 1 0 23946583 101769216 23879 1992294400 4194304 8395647 140733512073856 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 24846 23887 393 1026 0 23816 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99384

[startup+1.50094 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 32196
/proc/meminfo: memFree=1536420/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=187556 CPUtime=1.49
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 46115 0 0 0 133 16 0 0 25 0 1 0 23946583 192057344 46027 1992294400 4194304 8395647 140733512073856 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 46889 46027 393 1026 0 45859 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 187556

[startup+3.10108 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 32196
/proc/meminfo: memFree=1416884/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=303688 CPUtime=3.09
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 74883 0 0 0 284 25 0 0 25 0 1 0 23946583 310976512 74795 1992294400 4194304 8395647 140733512073856 18446744073709551615 7430272 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 75922 74795 393 1026 0 74892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 303688

[startup+6.30036 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 32196
/proc/meminfo: memFree=1351040/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=324640 CPUtime=6.29
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 79822 0 0 0 601 28 0 0 25 0 1 0 23946583 332431360 79729 1992294400 4194304 8395647 140733512073856 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 81160 79729 394 1026 0 80130 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 324640

[startup+12.7019 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 32196
/proc/meminfo: memFree=764396/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=918192 CPUtime=12.69
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 225389 0 0 0 1189 80 0 0 25 0 1 0 23946583 940228608 224942 1992294400 4194304 8395647 140733512073856 18446744073709551615 4982627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 229548 224942 458 1026 0 228518 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 918192

[startup+25.501 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 32198
/proc/meminfo: memFree=571080/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1131948 CPUtime=25.48
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 273717 0 0 0 2451 97 0 0 25 0 1 0 23946583 1159114752 273270 1992294400 4194304 8395647 140733512073856 18446744073709551615 4735542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 282987 273270 523 1026 0 281957 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1131948

[startup+51.1012 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 32198
/proc/meminfo: memFree=532516/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1161728 CPUtime=51.07
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 283380 0 0 0 5008 99 0 0 25 0 1 0 23946583 1189609472 282898 1992294400 4194304 8395647 140733512073856 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 290432 282898 552 1026 0 289402 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1161728

[startup+102.309 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 32200
/proc/meminfo: memFree=521108/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1173136 CPUtime=102.26
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 286234 0 0 0 10126 100 0 0 25 0 1 0 23946583 1201291264 285751 1992294400 4194304 8395647 140733512073856 18446744073709551615 4483001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 293284 285751 551 1026 0 292254 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1173136

[startup+162.301 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 32200
/proc/meminfo: memFree=516768/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1177424 CPUtime=162.24
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 287307 0 0 0 16124 100 0 0 25 0 1 0 23946583 1205682176 286824 1992294400 4194304 8395647 140733512073856 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 294356 286824 551 1026 0 293326 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1177424

[startup+222.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 32202
/proc/meminfo: memFree=515404/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1178704 CPUtime=222.23
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 287628 0 0 0 22122 101 0 0 25 0 1 0 23946583 1206992896 287145 1992294400 4194304 8395647 140733512073856 18446744073709551615 5019549 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 294676 287145 551 1026 0 293646 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1178704

[startup+282.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 32204
/proc/meminfo: memFree=512304/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1181712 CPUtime=282.22
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 288381 0 0 0 28121 101 0 0 25 0 1 0 23946583 1210073088 287898 1992294400 4194304 8395647 140733512073856 18446744073709551615 5006653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 295428 287898 551 1026 0 294398 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1181712

[startup+342.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 32206
/proc/meminfo: memFree=512056/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1181968 CPUtime=342.2
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 288446 0 0 0 34119 101 0 0 25 0 1 0 23946583 1210335232 287963 1992294400 4194304 8395647 140733512073856 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 295492 287963 551 1026 0 294462 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1181968

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 32208
/proc/meminfo: memFree=510940/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1183024 CPUtime=402.18
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 288703 0 0 0 40117 101 0 0 25 0 1 0 23946583 1211416576 288220 1992294400 4194304 8395647 140733512073856 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 295756 288220 551 1026 0 294726 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1183024

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 32208
/proc/meminfo: memFree=510816/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1183024 CPUtime=462.17
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 288703 0 0 0 46116 101 0 0 25 0 1 0 23946583 1211416576 288220 1992294400 4194304 8395647 140733512073856 18446744073709551615 5019553 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 295756 288220 551 1026 0 294726 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1183024

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 32210
/proc/meminfo: memFree=509824/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1184048 CPUtime=522.15
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 288959 0 0 0 52114 101 0 0 25 0 1 0 23946583 1212465152 288476 1992294400 4194304 8395647 140733512073856 18446744073709551615 4483001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 296012 288476 551 1026 0 294982 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1184048

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32212
/proc/meminfo: memFree=509576/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1184048 CPUtime=582.14
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 288959 0 0 0 58113 101 0 0 25 0 1 0 23946583 1212465152 288476 1992294400 4194304 8395647 140733512073856 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 296012 288476 551 1026 0 294982 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1184048

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32214
/proc/meminfo: memFree=509452/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1184048 CPUtime=642.13
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 288959 0 0 0 64112 101 0 0 25 0 1 0 23946583 1212465152 288476 1992294400 4194304 8395647 140733512073856 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 296012 288476 551 1026 0 294982 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1184048

[startup+702.301 s]

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

/proc/meminfo: memFree=240496/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1121.99
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371541 0 0 0 112046 153 0 0 25 0 1 0 23946583 1531396096 355410 1992294400 4194304 8395647 140733512073856 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355410 578 1026 0 372846 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1495504

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32237
/proc/meminfo: memFree=240496/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1181.98
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371542 0 0 0 118042 156 0 0 25 0 1 0 23946583 1531396096 355411 1992294400 4194304 8395647 140733512073856 18446744073709551615 6652555 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355411 578 1026 0 372846 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1495504

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32239
/proc/meminfo: memFree=240496/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1241.96
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371544 0 0 0 124037 159 0 0 25 0 1 0 23946583 1531396096 355413 1992294400 4194304 8395647 140733512073856 18446744073709551615 6652551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355413 578 1026 0 372846 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1495504

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32241
/proc/meminfo: memFree=240372/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1301.95
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371545 0 0 0 130033 162 0 0 25 0 1 0 23946583 1531396096 355414 1992294400 4194304 8395647 140733512073856 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355414 578 1026 0 372846 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1495504

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32241
/proc/meminfo: memFree=240372/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1361.94
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371546 0 0 0 136028 166 0 0 25 0 1 0 23946583 1531396096 355415 1992294400 4194304 8395647 140733512073856 18446744073709551615 6391396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355415 578 1026 0 372846 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1495504

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32243
/proc/meminfo: memFree=240372/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1421.92
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371546 0 0 0 142024 168 0 0 25 0 1 0 23946583 1531396096 355415 1992294400 4194304 8395647 140733512073856 18446744073709551615 6663841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355415 578 1026 0 372846 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1495504

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32245
/proc/meminfo: memFree=240372/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1481.91
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371546 0 0 0 148019 172 0 0 25 0 1 0 23946583 1531396096 355415 1992294400 4194304 8395647 140733512073856 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355415 578 1026 0 372846 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1495504

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32247
/proc/meminfo: memFree=240248/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1541.9
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371547 0 0 0 154014 176 0 0 25 0 1 0 23946583 1531396096 355416 1992294400 4194304 8395647 140733512073856 18446744073709551615 6503059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355416 578 1026 0 372846 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1495504

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32249
/proc/meminfo: memFree=240248/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1601.88
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371547 0 0 0 160009 179 0 0 25 0 1 0 23946583 1531396096 355416 1992294400 4194304 8395647 140733512073856 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355416 578 1026 0 372846 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1495504

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32249
/proc/meminfo: memFree=240248/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1661.86
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371548 0 0 0 166005 181 0 0 25 0 1 0 23946583 1531396096 355417 1992294400 4194304 8395647 140733512073856 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355417 578 1026 0 372846 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1495504

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32251
/proc/meminfo: memFree=240124/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1721.85
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371548 0 0 0 171999 186 0 0 25 0 1 0 23946583 1531396096 355417 1992294400 4194304 8395647 140733512073856 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355417 578 1026 0 372846 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1495504

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32253
/proc/meminfo: memFree=240124/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1781.83
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371548 0 0 0 177994 189 0 0 25 0 1 0 23946583 1531396096 355417 1992294400 4194304 8395647 140733512073856 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355417 578 1026 0 372846 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1495504

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32253
/proc/meminfo: memFree=240124/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1495504 CPUtime=1785.03
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 371548 0 0 0 178314 189 0 0 25 0 1 0 23946583 1531396096 355417 1992294400 4194304 8395647 140733512073856 18446744073709551615 6502788 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32195/statm: 373876 355417 578 1026 0 372846 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 1495504

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 32256
/proc/meminfo: memFree=220028/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1497848 CPUtime=1791.44
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 372402 0 0 0 178954 190 0 0 25 0 1 0 23946583 1533796352 356271 1992294400 4194304 8395647 140733512073856 18446744073709551615 6150524 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 374462 356271 588 1026 0 373432 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 1497848

[startup+1793.5 s]
/proc/loadavg: 1.08 1.02 1.01 3/108 32256
/proc/meminfo: memFree=205892/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1494688 CPUtime=1793.03
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 372405 0 0 0 179113 190 0 0 25 0 1 0 23946583 1530560512 355484 1992294400 4194304 8395647 140733512073856 18446744073709551615 6076037 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 373672 355484 591 1026 0 372642 0
Current children cumulated CPU time (s) 1793.03
Current children cumulated vsize (KiB) 1494688

[startup+1794.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 32256
/proc/meminfo: memFree=238884/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1494688 CPUtime=1793.83
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 372405 0 0 0 179193 190 0 0 25 0 1 0 23946583 1530560512 355484 1992294400 4194304 8395647 140733512073856 18446744073709551615 6345813 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 373672 355484 591 1026 0 372642 0
Current children cumulated CPU time (s) 1793.83
Current children cumulated vsize (KiB) 1494688

[startup+1794.7 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 32256
/proc/meminfo: memFree=238884/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=1490904 CPUtime=1794.23
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 372405 0 0 0 179233 190 0 0 25 0 1 0 23946583 1526685696 354694 1992294400 4194304 8395647 140733512073856 18446744073709551615 6345227 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 372726 354694 591 1026 0 371696 0
Current children cumulated CPU time (s) 1794.23
Current children cumulated vsize (KiB) 1490904

[startup+1795.1 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 32256
/proc/meminfo: memFree=837184/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=855228 CPUtime=1794.64
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 372405 0 0 0 179268 196 0 0 25 0 1 0 23946583 875753472 206212 1992294400 4194304 8395647 140733512073856 18446744073709551615 4713442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 213807 206212 591 1026 0 212777 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 855228

[startup+1795.21 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 32256
/proc/meminfo: memFree=837184/2059040 swapFree=4141912/4192956
[pid=32195] ppid=32193 vsize=756096 CPUtime=1794.74
/proc/32195/stat : 32195 (pbscip.linux.x8) R 32193 32195 30446 0 -1 4202496 372406 0 0 0 179275 199 0 0 25 0 1 0 23946583 774242304 137096 1992294400 4194304 8395647 140733512073856 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32195/statm: 189024 136584 592 1026 0 187994 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 756096

Child status: 0
Real time (s): 1795.26
CPU time (s): 1794.8
CPU user time (s): 1792.76
CPU system time (s): 2.04569
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1532628

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

runsolver used 3.05454 second user time and 8.40372 second system time

The end

Launcher Data 

Begin job on node057 at 2010-07-08 04:50:02
IDJOB=2703450
IDBENCH=2314
IDSOLVER=1213
FILE ID=node057/2703450-1278557400
PBS_JOBID= 11239485
Free space on /tmp= 62508 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_5.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-2703450-1278557400/watcher-2703450-1278557400 -o /tmp/evaluation-result-2703450-1278557400/solver-2703450-1278557400 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703450-1278557400.opb -t 1800 -m 1800

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

MD5SUM BENCH= 143c67a6efdf0b74421c6a96157a0df7
RANDOM SEED=2140009447

node057.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.245
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.49
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.245
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1664800 kB
Buffers:         55116 kB
Cached:         238028 kB
SwapCached:       6028 kB
Active:         202548 kB
Inactive:       105656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1664800 kB
SwapTotal:     4192956 kB
SwapFree:      4141912 kB
Dirty:           42676 kB
Writeback:           0 kB
AnonPages:       11876 kB
Mapped:          12052 kB
Slab:            64136 kB
PageTables:       4136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183088 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= 62500 MiB
End job on node057 at 2010-07-08 05:19:58