Trace number 1870345

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT-51 1794.77 1795.26

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_1.opb
MD5SUM3262a45f0e59552e467da6c31a32418a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-67
Best CPU time to get the best result obtained on this benchmark1800.46
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -70
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint60
Maximum length of a constraint109
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75586
Sum of products size (including duplicates)151172
Number of different products37793
Sum of products size75586

Quality of the solution as a function of time


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

Solver Data 

0.29/0.39	c SCIP version 1.1.0.7
0.29/0.39	c LP-Solver Clp 1.8.2
0.29/0.39	c user parameter file <scip.set> not found - using default parameters
0.29/0.39	c read problem <HOME/instance-1870345-1245198839.opb>
0.29/0.39	c original problem has 38793 variables (38793 bin, 0 int, 0 impl, 0 cont) and 38793 constraints
0.69/0.75	c start presolving problem
0.69/0.75	c presolving:
1.89/1.91	c (round 1) 37793 del vars, 1000 del conss, 37793 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 151172 impls, 0 clqs
4.29/4.36	c    (3.7s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.29/4.36	c    (3.7s) probing aborted: 100/100 successive totally useless probings
4.29/4.36	c presolving (2 rounds):
4.29/4.36	c  37793 deleted vars, 1000 deleted constraints, 37793 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.29/4.36	c  226758 implications, 0 cliques
4.29/4.36	c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37793 constraints
4.29/4.36	c   37793 constraints of type <and>
4.29/4.36	c transformed objective value is always integral (scale: 1)
4.29/4.36	c Presolving Time: 3.54
4.29/4.36	c OPT-NLC
4.29/4.36	c -----------------------------------------------------------------------------------------------
4.29/4.36	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.29/4.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.29/4.36	c limits/memory = c 1620
4.29/4.36	c # maximal time in seconds to run
4.29/4.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.29/4.36	c limits/time = c 1791
4.29/4.36	c # frequency for displaying node information lines
4.29/4.36	c # [type: int, range: [-1,2147483647], default: 100]
4.29/4.36	c display/freq = c 10000
4.29/4.36	c -----------------------------------------------------------------------------------------------
4.29/4.36	c start solving problem
4.29/4.36	c 
5.19/5.29	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.19/5.29	c   4.5s|     1 |     0 |  1025 | 139M|   0 |1000 |1000 |  37k|  37k|1000 |  37k|   0 |   0 |   0 |-5.000000e+02 |      --      |    Inf 
5.28/5.33	o -47
5.28/5.33	c R 4.6s|     1 |     0 |  1025 | 139M|   0 |1000 |1000 |  37k|  37k|1000 |  37k|   0 |   0 |   0 |-5.000000e+02 |-4.700000e+01 |  90.60%
7.58/7.64	c   6.9s|     1 |     0 |  1220 | 139M|   0 | 983 |1000 |  37k|  37k|1000 |  37k|  14 |   0 |   0 |-4.915000e+02 |-4.700000e+01 |  90.44%
9.78/9.80	c   9.0s|     1 |     0 |  1338 | 139M|   0 | 975 |1000 |  37k|  37k|1000 |  37k|  19 |   0 |   0 |-4.875000e+02 |-4.700000e+01 |  90.36%
12.08/12.11	c  11.3s|     1 |     0 |  1461 | 139M|   0 | 968 |1000 |  37k|  37k|1000 |  37k|  25 |   0 |   0 |-4.840000e+02 |-4.700000e+01 |  90.29%
14.78/14.82	c  14.0s|     1 |     0 |  1627 | 139M|   0 | 962 |1000 |  37k|  37k|1000 |  37k|  29 |   0 |   0 |-4.810000e+02 |-4.700000e+01 |  90.23%
17.87/17.95	c  17.1s|     1 |     0 |  1843 | 139M|   0 | 952 |1000 |  37k|  37k|1000 |  37k|  37 |   0 |   0 |-4.760000e+02 |-4.700000e+01 |  90.13%
20.67/20.72	c  19.9s|     1 |     0 |  1991 | 139M|   0 | 944 |1000 |  37k|  37k|1000 |  37k|  44 |   0 |   0 |-4.720000e+02 |-4.700000e+01 |  90.04%
25.37/25.40	c  24.6s|     1 |     0 |  2364 | 139M|   0 | 940 |1000 |  37k|  37k|1000 |  37k|  49 |   0 |   0 |-4.700000e+02 |-4.700000e+01 |  90.00%
25.37/25.44	o -51
25.37/25.44	c R24.6s|     1 |     0 |  2364 | 139M|   0 | 940 |1000 |  37k|  37k|1000 |  37k|  49 |   0 |   0 |-4.700000e+02 |-5.100000e+01 |  89.15%
29.77/29.86	c  29.0s|     1 |     0 |  2681 | 139M|   0 | 932 |1000 |  37k|  37k|1000 |  37k|  57 |   0 |   0 |-4.660000e+02 |-5.100000e+01 |  89.06%
33.17/33.22	c  32.4s|     1 |     0 |  2863 | 139M|   0 | 928 |1000 |  37k|  37k|1000 |  37k|  63 |   0 |   0 |-4.640000e+02 |-5.100000e+01 |  89.01%
39.58/39.63	c  38.8s|     1 |     0 |  3422 | 139M|   0 | 921 |1000 |  37k|  37k|1000 |  37k|  73 |   0 |   0 |-4.592500e+02 |-5.100000e+01 |  88.89%
46.18/46.23	c  45.4s|     1 |     0 |  4134 | 139M|   0 | 914 |1000 |  37k|  37k|1000 |1348 |  79 |   0 |   0 |-4.570000e+02 |-5.100000e+01 |  88.84%
46.87/46.91	c  46.0s|     1 |     0 |  4681 | 139M|   0 | 915 |1000 |  37k|  37k|1000 |1357 |  88 |   0 |   0 |-4.548750e+02 |-5.100000e+01 |  88.79%
55.47/55.57	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
55.47/55.57	c  54.7s|     1 |     0 |  4999 | 139M|   0 | 907 |1000 |  37k|  37k|1000 |3357 |2088 |   0 |   0 |-4.535000e+02 |-5.100000e+01 |  88.75%
56.37/56.44	c  55.6s|     1 |     0 |  5912 | 139M|   0 | 897 |1000 |  37k|  37k|1000 |3365 |2096 |   0 |   0 |-4.505000e+02 |-5.100000e+01 |  88.68%
57.26/57.38	c  56.5s|     1 |     0 |  6751 | 140M|   0 | 915 |1000 |  37k|  37k|1000 |3485 |2216 |   0 |   0 |-4.480000e+02 |-5.100000e+01 |  88.62%
59.56/59.60	c  58.7s|     1 |     0 |  7139 | 140M|   0 | 896 |1000 |  37k|  37k|1000 |5485 |4216 |   0 |   0 |-4.475000e+02 |-5.100000e+01 |  88.60%
60.47/60.59	c  59.7s|     1 |     0 |  7729 | 140M|   0 | 889 |1000 |  37k|  37k|1000 |5013 |4225 |   0 |   0 |-4.445000e+02 |-5.100000e+01 |  88.53%
61.47/61.50	c  60.6s|     1 |     0 |  8407 | 140M|   0 | 879 |1000 |  37k|  37k|1000 |5019 |4231 |   0 |   0 |-4.415000e+02 |-5.100000e+01 |  88.45%
62.46/62.59	c  61.7s|     1 |     0 |  9184 | 140M|   0 | 872 |1000 |  37k|  37k|1000 |5135 |4347 |   0 |   0 |-4.390000e+02 |-5.100000e+01 |  88.38%
63.46/63.58	c  62.7s|     1 |     0 |  9756 | 140M|   0 | 867 |1000 |  37k|  37k|1000 |5326 |4538 |   0 |   0 |-4.365000e+02 |-5.100000e+01 |  88.32%
64.27/64.36	c  63.5s|     1 |     0 | 10392 | 140M|   0 | 868 |1000 |  37k|  37k|1000 |5481 |4693 |   0 |   0 |-4.350000e+02 |-5.100000e+01 |  88.28%
65.27/65.33	c  64.4s|     1 |     0 | 11033 | 140M|   0 | 874 |1000 |  37k|  37k|1000 |5545 |4757 |   0 |   0 |-4.340000e+02 |-5.100000e+01 |  88.25%
66.46/66.53	c  65.6s|     1 |     0 | 11897 | 140M|   0 | 859 |1000 |  37k|  37k|1000 |5602 |5043 |   0 |   0 |-4.315000e+02 |-5.100000e+01 |  88.18%
67.26/67.33	c  66.4s|     1 |     0 | 12515 | 140M|   0 | 858 |1000 |  37k|  37k|1000 |5701 |5142 |   0 |   0 |-4.290000e+02 |-5.100000e+01 |  88.11%
68.76/68.81	c  67.9s|     1 |     0 | 13884 | 140M|   0 | 855 |1000 |  37k|  37k|1000 |5860 |5301 |   0 |   0 |-4.267500e+02 |-5.100000e+01 |  88.05%
70.27/70.40	c  69.5s|     1 |     0 | 15203 | 141M|   0 | 847 |1000 |  37k|  37k|1000 |6084 |5525 |   0 |   0 |-4.240000e+02 |-5.100000e+01 |  87.97%
71.77/71.85	c  70.9s|     1 |     0 | 16339 | 141M|   0 | 844 |1000 |  37k|  37k|1000 |6223 |5664 |   0 |   0 |-4.225000e+02 |-5.100000e+01 |  87.93%
73.86/73.97	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
73.86/73.97	c  73.1s|     1 |     0 | 18153 | 141M|   0 | 838 |1000 |  37k|  37k|1000 |6289 |5730 |   0 |   0 |-4.210000e+02 |-5.100000e+01 |  87.89%
75.77/75.89	c  75.0s|     1 |     0 | 19668 | 141M|   0 | 887 |1000 |  37k|  37k|1000 |6077 |5904 |   0 |   0 |-4.193333e+02 |-5.100000e+01 |  87.84%
81.86/81.96	c  81.0s|     1 |     0 | 20342 | 141M|   0 | 842 |1000 |  37k|  37k|1000 |8077 |7904 |   0 |   0 |-4.190000e+02 |-5.100000e+01 |  87.83%
83.66/83.72	c  82.8s|     1 |     0 | 21329 | 141M|   0 | 832 |1000 |  37k|  37k|1000 |8088 |7915 |   0 |   0 |-4.155000e+02 |-5.100000e+01 |  87.73%
85.46/85.50	c  84.6s|     1 |     0 | 22316 | 141M|   0 | 831 |1000 |  37k|  37k|1000 |8096 |7923 |   0 |   0 |-4.140000e+02 |-5.100000e+01 |  87.68%
88.66/88.73	c  87.8s|     1 |     0 | 24214 | 141M|   0 | 825 |1000 |  37k|  37k|1000 |8106 |7933 |   0 |   0 |-4.110000e+02 |-5.100000e+01 |  87.59%
89.96/90.00	c  89.1s|     1 |     0 | 24947 | 141M|   0 | 818 |1000 |  37k|  37k|1000 |8114 |7941 |   0 |   0 |-4.090000e+02 |-5.100000e+01 |  87.53%
91.56/91.66	c  90.7s|     1 |     0 | 25793 | 141M|   0 | 815 |1000 |  37k|  37k|1000 |7179 |8000 |   0 |   0 |-4.075000e+02 |-5.100000e+01 |  87.48%
93.36/93.48	c  92.5s|     1 |     0 | 26764 | 141M|   0 | 814 |1000 |  37k|  37k|1000 |7187 |8008 |   0 |   0 |-4.060000e+02 |-5.100000e+01 |  87.44%
95.25/95.32	c  94.4s|     1 |     0 | 28033 | 141M|   0 | 810 |1000 |  37k|  37k|1000 |7197 |8018 |   0 |   0 |-4.040000e+02 |-5.100000e+01 |  87.38%
97.36/97.45	c  96.5s|     1 |     0 | 29598 | 141M|   0 | 806 |1000 |  37k|  37k|1000 |7203 |8024 |   0 |   0 |-4.020000e+02 |-5.100000e+01 |  87.31%
99.06/99.17	c  98.2s|     1 |     0 | 30734 | 141M|   0 | 802 |1000 |  37k|  37k|1000 |7211 |8032 |   0 |   0 |-4.005000e+02 |-5.100000e+01 |  87.27%
100.36/100.47	c  99.5s|     1 |     0 | 31686 | 142M|   0 | 792 |1000 |  37k|  37k|1000 |7425 |8246 |   0 |   0 |-3.990000e+02 |-5.100000e+01 |  87.22%
102.65/102.79	c   102s|     1 |     0 | 33306 | 142M|   0 | 795 |1000 |  37k|  37k|1000 |6867 |8391 |   0 |   0 |-3.975000e+02 |-5.100000e+01 |  87.17%
104.16/104.28	c   103s|     1 |     0 | 34420 | 142M|   0 | 792 |1000 |  37k|  37k|1000 |6879 |8403 |   0 |   0 |-3.958333e+02 |-5.100000e+01 |  87.12%
106.05/106.10	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
106.05/106.10	c   105s|     1 |     0 | 35544 | 142M|   0 | 791 |1000 |  37k|  37k|1000 |6889 |8413 |   0 |   0 |-3.943333e+02 |-5.100000e+01 |  87.07%
107.35/107.46	c   106s|     1 |     0 | 36575 | 142M|   0 | 786 |1000 |  37k|  37k|1000 |7029 |8553 |   0 |   0 |-3.930000e+02 |-5.100000e+01 |  87.02%
109.85/109.96	c   109s|     1 |     0 | 38019 | 142M|   0 | 782 |1000 |  37k|  37k|1000 |7037 |8561 |   0 |   0 |-3.920000e+02 |-5.100000e+01 |  86.99%
112.06/112.14	c   111s|     1 |     0 | 39405 | 142M|   0 | 778 |1000 |  37k|  37k|1000 |7103 |8627 |   0 |   0 |-3.900000e+02 |-5.100000e+01 |  86.92%
114.05/114.15	c   113s|     1 |     0 | 40662 | 142M|   0 | 777 |1000 |  37k|  37k|1000 |7043 |8708 |   0 |   0 |-3.885000e+02 |-5.100000e+01 |  86.87%
116.56/116.66	c   116s|     1 |     0 | 42371 | 142M|   0 | 783 |1000 |  37k|  37k|1000 |7052 |8717 |   0 |   0 |-3.875000e+02 |-5.100000e+01 |  86.84%
118.35/118.41	c   117s|     1 |     0 | 43669 | 142M|   0 | 777 |1000 |  37k|  37k|1000 |7195 |8860 |   0 |   0 |-3.857500e+02 |-5.100000e+01 |  86.78%
120.75/120.88	c   120s|     1 |     0 | 45404 | 143M|   0 | 781 |1000 |  37k|  37k|1000 |7205 |8870 |   0 |   0 |-3.847000e+02 |-5.100000e+01 |  86.74%
122.55/122.65	c   122s|     1 |     0 | 46779 | 143M|   0 | 776 |1000 |  37k|  37k|1000 |7340 |9005 |   0 |   0 |-3.835500e+02 |-5.100000e+01 |  86.70%
125.04/125.13	c   124s|     1 |     0 | 48712 | 143M|   0 | 764 |1000 |  37k|  37k|1000 |7442 |9107 |   0 |   0 |-3.825500e+02 |-5.100000e+01 |  86.67%
127.25/127.36	c   126s|     1 |     0 | 50563 | 143M|   0 | 791 |1000 |  37k|  37k|1000 |7169 |9183 |   0 |   0 |-3.814000e+02 |-5.100000e+01 |  86.63%
128.74/128.85	c   128s|     1 |     0 | 51550 | 143M|   0 | 767 |1000 |  37k|  37k|1000 |7612 |9626 |   0 |   0 |-3.805000e+02 |-5.100000e+01 |  86.60%
133.65/133.78	c   133s|     1 |     0 | 54581 | 143M|   0 | 788 |1000 |  37k|  37k|1000 |7621 |9635 |   0 |   0 |-3.785833e+02 |-5.100000e+01 |  86.53%
139.55/139.67	c   139s|     1 |     0 | 58158 | 143M|   0 | 769 |1000 |  37k|  37k|1000 |7754 |9768 |   0 |   0 |-3.772500e+02 |-5.100000e+01 |  86.48%
141.75/141.80	c   141s|     1 |     0 | 59790 | 144M|   0 | 779 |1000 |  37k|  37k|1000 |7879 |9893 |   0 |   0 |-3.759500e+02 |-5.100000e+01 |  86.43%
144.54/144.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
144.54/144.64	c   144s|     1 |     0 | 61688 | 144M|   0 | 800 |1000 |  37k|  37k|1000 |7885 |9899 |   0 |   0 |-3.755703e+02 |-5.100000e+01 |  86.42%
146.54/146.63	c   146s|     1 |     0 | 62931 | 144M|   0 | 746 |1000 |  37k|  37k|1000 |7950 |  10k|   0 |   0 |-3.730000e+02 |-5.100000e+01 |  86.33%
148.84/148.92	c   148s|     1 |     0 | 64539 | 144M|   0 | 755 |1000 |  37k|  37k|1000 |7959 |  10k|   0 |   0 |-3.720000e+02 |-5.100000e+01 |  86.29%
152.44/152.57	c   152s|     1 |     0 | 66954 | 145M|   0 | 743 |1000 |  37k|  37k|1000 |8007 |  10k|   0 |   0 |-3.700000e+02 |-5.100000e+01 |  86.22%
158.74/158.87	c   158s|     1 |     0 | 70838 | 145M|   0 | 818 |1000 |  37k|  37k|1000 |8012 |  10k|   0 |   0 |-3.687000e+02 |-5.100000e+01 |  86.17%
160.94/161.09	c   160s|     1 |     0 | 71042 | 145M|   0 | 737 |1000 |  37k|  37k|1000 |  10k|  12k|   0 |   0 |-3.685000e+02 |-5.100000e+01 |  86.16%
164.54/164.65	c   164s|     1 |     0 | 72552 | 145M|   0 | 746 |1000 |  37k|  37k|1000 |  10k|  12k|   0 |   0 |-3.680000e+02 |-5.100000e+01 |  86.14%
168.84/168.96	c   168s|     1 |     0 | 74138 | 145M|   0 | 736 |1000 |  37k|  37k|1000 |9379 |  12k|   0 |   0 |-3.680000e+02 |-5.100000e+01 |  86.14%
173.34/173.44	c   172s|     1 |     0 | 76160 | 145M|   0 | 733 |1000 |  37k|  37k|1000 |9385 |  12k|   0 |   0 |-3.675000e+02 |-5.100000e+01 |  86.12%
179.24/179.37	c   178s|     1 |     0 | 78884 | 146M|   0 | 743 |1000 |  37k|  37k|1000 |9437 |  12k|   0 |   0 |-3.665000e+02 |-5.100000e+01 |  86.08%
183.93/184.02	c   183s|     1 |     0 | 81038 | 146M|   0 | 748 |1000 |  37k|  37k|1000 |9450 |  12k|   0 |   0 |-3.653750e+02 |-5.100000e+01 |  86.04%
188.23/188.32	c   187s|     1 |     0 | 82944 | 146M|   0 | 765 |1000 |  37k|  37k|1000 |9499 |  12k|   0 |   0 |-3.644583e+02 |-5.100000e+01 |  86.01%
191.13/191.29	c   190s|     1 |     0 | 84630 | 146M|   0 | 758 |1000 |  37k|  37k|1000 |9510 |  12k|   0 |   0 |-3.630000e+02 |-5.100000e+01 |  85.95%
195.64/195.73	c   195s|     1 |     0 | 86390 | 146M|   0 | 761 |1000 |  37k|  37k|1000 |8822 |  12k|   0 |   0 |-3.620000e+02 |-5.100000e+01 |  85.91%
198.93/199.05	c   198s|     1 |     0 | 88152 | 146M|   0 | 731 |1000 |  37k|  37k|1000 |8836 |  12k|   0 |   0 |-3.612500e+02 |-5.100000e+01 |  85.88%
203.03/203.19	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
203.03/203.19	c   202s|     1 |     0 | 90355 | 146M|   0 | 753 |1000 |  37k|  37k|1000 |8957 |  12k|   0 |   0 |-3.600000e+02 |-5.100000e+01 |  85.83%
207.42/207.59	c   206s|     1 |     0 | 92604 | 146M|   0 | 734 |1000 |  37k|  37k|1000 |9059 |  12k|   0 |   0 |-3.586667e+02 |-5.100000e+01 |  85.78%
209.93/210.06	c   209s|     1 |     0 | 93945 | 147M|   0 | 734 |1000 |  37k|  37k|1000 |9068 |  12k|   0 |   0 |-3.577500e+02 |-5.100000e+01 |  85.74%
213.32/213.48	c   212s|     1 |     0 | 95479 | 147M|   0 | 743 |1000 |  37k|  37k|1000 |9076 |  12k|   0 |   0 |-3.570000e+02 |-5.100000e+01 |  85.71%
216.42/216.59	c   215s|     1 |     0 | 96882 | 147M|   0 | 733 |1000 |  37k|  37k|1000 |9019 |  12k|   0 |   0 |-3.565000e+02 |-5.100000e+01 |  85.69%
219.52/219.63	c   218s|     1 |     0 | 98502 | 148M|   0 | 741 |1000 |  37k|  37k|1000 |9028 |  12k|   0 |   0 |-3.560000e+02 |-5.100000e+01 |  85.67%
222.62/222.74	c   221s|     1 |     0 |100106 | 148M|   0 | 730 |1000 |  37k|  37k|1000 |9039 |  12k|   0 |   0 |-3.555000e+02 |-5.100000e+01 |  85.65%
226.92/227.00	c   226s|     1 |     0 |102111 | 148M|   0 | 721 |1000 |  37k|  37k|1000 |9049 |  12k|   0 |   0 |-3.555000e+02 |-5.100000e+01 |  85.65%
230.52/230.66	c   229s|     1 |     0 |103762 | 148M|   0 | 733 |1000 |  37k|  37k|1000 |9055 |  12k|   0 |   0 |-3.555000e+02 |-5.100000e+01 |  85.65%
234.92/235.09	c   234s|     1 |     0 |105885 | 148M|   0 | 738 |1000 |  37k|  37k|1000 |9065 |  12k|   0 |   0 |-3.547500e+02 |-5.100000e+01 |  85.62%
238.22/238.38	c   237s|     1 |     0 |107753 | 148M|   0 | 781 |1000 |  37k|  37k|1000 |8945 |  13k|   0 |   0 |-3.536042e+02 |-5.100000e+01 |  85.58%
242.02/242.12	c   241s|     1 |     0 |109982 | 149M|   0 | 727 |1000 |  37k|  37k|1000 |9072 |  13k|   0 |   0 |-3.515000e+02 |-5.100000e+01 |  85.49%
251.51/251.62	c   250s|     1 |     0 |114286 | 149M|   0 | 737 |1000 |  37k|  37k|1000 |9088 |  13k|   0 |   0 |-3.503333e+02 |-5.100000e+01 |  85.44%
254.82/254.93	c   254s|     1 |     0 |115954 | 149M|   0 | 699 |1000 |  37k|  37k|1000 |9160 |  13k|   0 |   0 |-3.495000e+02 |-5.100000e+01 |  85.41%
259.12/259.28	c   258s|     1 |     0 |118033 | 149M|   0 | 782 |1000 |  37k|  37k|1000 |9169 |  13k|   0 |   0 |-3.488704e+02 |-5.100000e+01 |  85.38%
261.31/261.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
261.31/261.41	c   260s|     1 |     0 |119288 | 150M|   0 | 734 |1000 |  37k|  37k|1000 |9315 |  13k|   0 |   0 |-3.476000e+02 |-5.100000e+01 |  85.33%
264.12/264.22	c   263s|     1 |     0 |120649 | 150M|   0 | 716 |1000 |  37k|  37k|1000 |9140 |  13k|   0 |   0 |-3.463750e+02 |-5.100000e+01 |  85.28%
268.01/268.18	c   267s|     1 |     0 |122698 | 150M|   0 | 731 |1000 |  37k|  37k|1000 |9145 |  13k|   0 |   0 |-3.454355e+02 |-5.100000e+01 |  85.24%
271.21/271.36	c   270s|     1 |     0 |124382 | 151M|   0 | 688 |1000 |  37k|  37k|1000 |9247 |  13k|   0 |   0 |-3.440000e+02 |-5.100000e+01 |  85.17%
276.11/276.21	c   275s|     1 |     0 |126539 | 151M|   0 | 726 |1000 |  37k|  37k|1000 |9261 |  13k|   0 |   0 |-3.435000e+02 |-5.100000e+01 |  85.15%
280.80/280.93	c   280s|     1 |     0 |128630 | 152M|   0 | 700 |1000 |  37k|  37k|1000 |9315 |  13k|   0 |   0 |-3.427500e+02 |-5.100000e+01 |  85.12%
285.40/285.52	c   284s|     1 |     0 |130753 | 152M|   0 | 739 |1000 |  37k|  37k|1000 |9445 |  13k|   0 |   0 |-3.422500e+02 |-5.100000e+01 |  85.10%
291.11/291.21	c   290s|     1 |     0 |133241 | 152M|   0 | 791 |1000 |  37k|  37k|1000 |9256 |  13k|   0 |   0 |-3.408571e+02 |-5.100000e+01 |  85.04%
295.20/295.33	c   294s|     1 |     0 |135406 | 153M|   0 | 729 |1000 |  37k|  37k|1000 |9304 |  13k|   0 |   0 |-3.387857e+02 |-5.100000e+01 |  84.95%
299.40/299.58	c   298s|     1 |     0 |137980 | 154M|   0 | 759 |1000 |  37k|  37k|1000 |9391 |  13k|   0 |   0 |-3.372266e+02 |-5.100000e+01 |  84.88%
302.40/302.59	c   301s|     1 |     0 |139630 | 154M|   0 | 720 |1000 |  37k|  37k|1000 |9476 |  13k|   0 |   0 |-3.363750e+02 |-5.100000e+01 |  84.84%
306.90/307.01	c   306s|     1 |     0 |141529 | 154M|   0 | 714 |1000 |  37k|  37k|1000 |9487 |  13k|   0 |   0 |-3.361250e+02 |-5.100000e+01 |  84.83%
311.10/311.28	c   310s|     1 |     0 |143582 | 154M|   0 | 716 |1000 |  37k|  37k|1000 |9494 |  13k|   0 |   0 |-3.351250e+02 |-5.100000e+01 |  84.78%
316.50/316.68	c   315s|     1 |     0 |146157 | 155M|   0 | 794 |1000 |  37k|  37k|1000 |9202 |  14k|   0 |   0 |-3.343806e+02 |-5.100000e+01 |  84.75%
319.00/319.11	c   318s|     1 |     0 |147509 | 155M|   0 | 749 |1000 |  37k|  37k|1000 |9404 |  14k|   0 |   0 |-3.333750e+02 |-5.100000e+01 |  84.70%
322.79/322.97	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
322.79/322.97	c   321s|     1 |     0 |149658 | 156M|   0 | 778 |1000 |  37k|  37k|1000 |9417 |  14k|   0 |   0 |-3.316446e+02 |-5.100000e+01 |  84.62%
326.39/326.52	c   325s|     1 |     0 |151794 | 157M|   0 | 761 |1000 |  37k|  37k|1000 |9437 |  14k|   0 |   0 |-3.313036e+02 |-5.100000e+01 |  84.61%
329.20/329.33	c   328s|     1 |     0 |153529 | 157M|   0 | 754 |1000 |  37k|  37k|1000 |9488 |  14k|   0 |   0 |-3.303603e+02 |-5.100000e+01 |  84.56%
331.39/331.56	c   330s|     1 |     0 |154702 | 158M|   0 | 750 |1000 |  37k|  37k|1000 |9558 |  14k|   0 |   0 |-3.298393e+02 |-5.100000e+01 |  84.54%
335.60/335.71	c   334s|     1 |     0 |157049 | 160M|   0 | 781 |1000 |  37k|  37k|1000 |9461 |  14k|   0 |   0 |-3.286814e+02 |-5.100000e+01 |  84.48%
338.29/338.48	c   337s|     1 |     0 |158689 | 161M|   0 | 779 |1000 |  37k|  37k|1000 |9477 |  14k|   0 |   0 |-3.275876e+02 |-5.100000e+01 |  84.43%
340.49/340.62	c   339s|     1 |     0 |159938 | 162M|   0 | 771 |1000 |  37k|  37k|1000 |9494 |  14k|   0 |   0 |-3.271397e+02 |-5.100000e+01 |  84.41%
343.39/343.50	c   342s|     1 |     0 |161457 | 163M|   0 | 790 |1000 |  37k|  37k|1000 |9589 |  14k|   0 |   0 |-3.260981e+02 |-5.100000e+01 |  84.36%
346.99/347.14	c   346s|     1 |     0 |163190 | 164M|   0 | 800 |1000 |  37k|  37k|1000 |9725 |  14k|   0 |   0 |-3.255622e+02 |-5.100000e+01 |  84.33%
351.28/351.48	c   350s|     1 |     0 |165317 | 164M|   0 | 780 |1000 |  37k|  37k|1000 |9741 |  14k|   0 |   0 |-3.244882e+02 |-5.100000e+01 |  84.28%
354.49/354.68	c   353s|     1 |     0 |166704 | 164M|   0 | 782 |1000 |  37k|  37k|1000 |9573 |  14k|   0 |   0 |-3.237377e+02 |-5.100000e+01 |  84.25%
357.58/357.78	c   356s|     1 |     0 |168133 | 165M|   0 | 763 |1000 |  37k|  37k|1000 |9629 |  14k|   0 |   0 |-3.229577e+02 |-5.100000e+01 |  84.21%
362.19/362.32	c   361s|     1 |     0 |170487 | 166M|   0 | 756 |1000 |  37k|  37k|1000 |9678 |  14k|   0 |   0 |-3.208472e+02 |-5.100000e+01 |  84.10%
366.09/366.24	c   365s|     1 |     0 |172612 | 168M|   0 | 782 |1000 |  37k|  37k|1000 |9857 |  15k|   0 |   0 |-3.195960e+02 |-5.100000e+01 |  84.04%
369.88/370.00	c   368s|     1 |     0 |174445 | 169M|   0 | 749 |1000 |  37k|  37k|1000 |9906 |  15k|   0 |   0 |-3.184778e+02 |-5.100000e+01 |  83.99%
372.39/372.56	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
372.39/372.56	c   371s|     1 |     0 |175663 | 169M|   0 | 760 |1000 |  37k|  37k|1000 |9919 |  15k|   0 |   0 |-3.175732e+02 |-5.100000e+01 |  83.94%
375.39/375.53	c   374s|     1 |     0 |176993 | 170M|   0 | 773 |1000 |  37k|  37k|1000 |9762 |  15k|   0 |   0 |-3.172465e+02 |-5.100000e+01 |  83.92%
379.08/379.23	c   378s|     1 |     0 |178878 | 172M|   0 | 778 |1000 |  37k|  37k|1000 |9778 |  15k|   0 |   0 |-3.163046e+02 |-5.100000e+01 |  83.88%
383.69/383.83	c   382s|     1 |     0 |180885 | 172M|   0 | 793 |1000 |  37k|  37k|1000 |9838 |  15k|   0 |   0 |-3.154600e+02 |-5.100000e+01 |  83.83%
387.58/387.77	c   386s|     1 |     0 |182472 | 172M|   0 | 798 |1000 |  37k|  37k|1000 |9926 |  15k|   0 |   0 |-3.144477e+02 |-5.100000e+01 |  83.78%
392.08/392.22	c   390s|     1 |     0 |184422 | 172M|   0 | 811 |1000 |  37k|  37k|1000 |9940 |  15k|   0 |   0 |-3.137023e+02 |-5.100000e+01 |  83.74%
396.57/396.75	c   395s|     1 |     0 |186170 | 172M|   0 | 795 |1000 |  37k|  37k|1000 |9984 |  15k|   0 |   0 |-3.126381e+02 |-5.100000e+01 |  83.69%
401.48/401.65	c   400s|     1 |     0 |188076 | 172M|   0 | 792 |1000 |  37k|  37k|1000 |9750 |  15k|   0 |   0 |-3.112475e+02 |-5.100000e+01 |  83.61%
406.47/406.65	c   405s|     1 |     0 |190280 | 172M|   0 | 786 |1000 |  37k|  37k|1000 |9763 |  15k|   0 |   0 |-3.091742e+02 |-5.100000e+01 |  83.50%
410.38/410.57	c   409s|     1 |     0 |191774 | 172M|   0 | 807 |1000 |  37k|  37k|1000 |9779 |  15k|   0 |   0 |-3.087438e+02 |-5.100000e+01 |  83.48%
415.87/416.03	c   414s|     1 |     0 |193795 | 172M|   0 | 806 |1000 |  37k|  37k|1000 |9919 |  15k|   0 |   0 |-3.078494e+02 |-5.100000e+01 |  83.43%
421.37/421.54	c   420s|     1 |     0 |195838 | 172M|   0 | 797 |1000 |  37k|  37k|1000 |  10k|  15k|   0 |   0 |-3.068839e+02 |-5.100000e+01 |  83.38%
426.37/426.58	c   425s|     1 |     0 |197650 | 172M|   0 | 820 |1000 |  37k|  37k|1000 |  10k|  15k|   0 |   0 |-3.057840e+02 |-5.100000e+01 |  83.32%
432.57/432.79	c   431s|     1 |     0 |199551 | 172M|   0 | 812 |1000 |  37k|  37k|1000 |9852 |  15k|   0 |   0 |-3.050049e+02 |-5.100000e+01 |  83.28%
437.16/437.30	c   436s|     1 |     0 |201153 | 172M|   0 | 818 |1000 |  37k|  37k|1000 |9893 |  15k|   0 |   0 |-3.044079e+02 |-5.100000e+01 |  83.25%
443.87/444.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
443.87/444.01	c   442s|     1 |     0 |204059 | 172M|   0 | 796 |1000 |  37k|  37k|1000 |9908 |  15k|   0 |   0 |-3.029091e+02 |-5.100000e+01 |  83.16%
449.77/449.90	c   448s|     1 |     0 |206141 | 172M|   0 | 816 |1000 |  37k|  37k|1000 |  10k|  15k|   0 |   0 |-3.019074e+02 |-5.100000e+01 |  83.11%
455.27/455.48	c   454s|     1 |     0 |207797 | 172M|   0 | 806 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-3.013200e+02 |-5.100000e+01 |  83.07%
461.66/461.82	c   460s|     1 |     0 |209805 | 172M|   0 | 831 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-3.005690e+02 |-5.100000e+01 |  83.03%
469.95/470.17	c   468s|     1 |     0 |212237 | 172M|   0 | 828 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.990952e+02 |-5.100000e+01 |  82.95%
476.15/476.32	c   474s|     1 |     0 |213811 | 172M|   0 | 838 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.983527e+02 |-5.100000e+01 |  82.91%
483.55/483.73	c   482s|     1 |     0 |215935 | 172M|   0 | 840 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.972578e+02 |-5.100000e+01 |  82.84%
489.55/489.72	c   488s|     1 |     0 |217353 | 172M|   0 | 842 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.966736e+02 |-5.100000e+01 |  82.81%
495.35/495.51	c   494s|     1 |     0 |218813 | 172M|   0 | 839 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.960676e+02 |-5.100000e+01 |  82.77%
502.25/502.43	c   501s|     1 |     0 |220587 | 172M|   0 | 851 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.952466e+02 |-5.100000e+01 |  82.73%
509.24/509.41	c   508s|     1 |     0 |222206 | 172M|   0 | 848 |1000 |  37k|  37k|1000 |9989 |  16k|   0 |   0 |-2.947703e+02 |-5.100000e+01 |  82.70%
516.64/516.85	c   515s|     1 |     0 |224403 | 172M|   0 | 848 |1000 |  37k|  37k|1000 |9997 |  16k|   0 |   0 |-2.939975e+02 |-5.100000e+01 |  82.65%
523.95/524.11	c   522s|     1 |     0 |226398 | 172M|   0 | 846 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.929782e+02 |-5.100000e+01 |  82.59%
531.54/531.80	c   530s|     1 |     0 |228494 | 172M|   0 | 848 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.921320e+02 |-5.100000e+01 |  82.54%
538.04/538.20	c   536s|     1 |     0 |229904 | 172M|   0 | 860 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.917134e+02 |-5.100000e+01 |  82.52%
547.94/548.15	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
547.94/548.15	c   546s|     1 |     0 |232571 | 171M|   0 | 854 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.901151e+02 |-5.100000e+01 |  82.42%
557.33/557.55	c   556s|     1 |     0 |234683 | 171M|   0 | 860 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.895174e+02 |-5.100000e+01 |  82.38%
565.33/565.57	c   564s|     1 |     0 |236577 | 171M|   0 | 856 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.886644e+02 |-5.100000e+01 |  82.33%
573.13/573.36	c   571s|     1 |     0 |238334 | 171M|   0 | 850 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.879155e+02 |-5.100000e+01 |  82.29%
583.43/583.63	c   582s|     1 |     0 |240962 | 171M|   0 | 852 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.866091e+02 |-5.100000e+01 |  82.21%
592.53/592.79	c   591s|     1 |     0 |243363 | 171M|   0 | 837 |1000 |  37k|  37k|1000 |  10k|  16k|   0 |   0 |-2.854629e+02 |-5.100000e+01 |  82.13%
601.22/601.43	c   599s|     1 |     0 |245657 | 171M|   0 | 863 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.843351e+02 |-5.100000e+01 |  82.06%
612.72/612.95	c   611s|     1 |     0 |248250 | 171M|   0 | 846 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.832670e+02 |-5.100000e+01 |  82.00%
623.01/623.27	c   621s|     1 |     0 |250885 | 171M|   0 | 857 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.822559e+02 |-5.100000e+01 |  81.93%
629.82/630.10	c   628s|     1 |     0 |251933 | 171M|   0 | 856 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.820073e+02 |-5.100000e+01 |  81.92%
638.92/639.14	c   637s|     1 |     0 |254101 | 171M|   0 | 852 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.812016e+02 |-5.100000e+01 |  81.86%
647.61/647.82	c   646s|     1 |     0 |256315 | 170M|   0 | 858 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.801024e+02 |-5.100000e+01 |  81.79%
655.61/655.86	c   654s|     1 |     0 |257916 | 170M|   0 | 859 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.796520e+02 |-5.100000e+01 |  81.76%
667.11/667.39	c   665s|     1 |     0 |260261 | 170M|   0 | 865 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.784983e+02 |-5.100000e+01 |  81.69%
679.41/679.62	c   677s|     1 |     0 |263096 | 170M|   0 | 862 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.773644e+02 |-5.100000e+01 |  81.61%
690.70/690.90	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
690.70/690.90	c   689s|     1 |     0 |265527 | 170M|   0 | 883 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.766118e+02 |-5.100000e+01 |  81.56%
704.80/705.10	c   703s|     1 |     0 |267649 | 170M|   0 | 875 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.758707e+02 |-5.100000e+01 |  81.51%
716.49/716.77	c   715s|     1 |     0 |269800 | 170M|   0 | 875 |1000 |  37k|  37k|1000 |  11k|  17k|   0 |   0 |-2.749241e+02 |-5.100000e+01 |  81.45%
730.39/730.66	c   728s|     1 |     0 |272667 | 169M|   0 | 874 |1000 |  37k|  37k|1000 |  11k|  17k|   0 |   0 |-2.736741e+02 |-5.100000e+01 |  81.36%
743.39/743.67	c   741s|     1 |     0 |274958 | 169M|   0 | 877 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.728780e+02 |-5.100000e+01 |  81.31%
754.29/754.58	c   752s|     1 |     0 |276977 | 169M|   0 | 887 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.723641e+02 |-5.100000e+01 |  81.28%
766.48/766.76	c   764s|     1 |     0 |279021 | 169M|   0 | 885 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.717747e+02 |-5.100000e+01 |  81.23%
780.17/780.44	c   778s|     1 |     0 |281091 | 169M|   0 | 904 |1000 |  37k|  37k|1000 |  10k|  17k|   0 |   0 |-2.710076e+02 |-5.100000e+01 |  81.18%
796.97/797.30	c   795s|     1 |     0 |283956 | 169M|   0 | 893 |1000 |  37k|  37k|1000 |  10k|  18k|   0 |   0 |-2.698988e+02 |-5.100000e+01 |  81.10%
811.97/812.29	c   810s|     1 |     0 |286149 | 168M|   0 | 891 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.693012e+02 |-5.100000e+01 |  81.06%
825.56/825.81	c   823s|     1 |     0 |288008 | 168M|   0 | 897 |1000 |  37k|  37k|1000 |  10k|  18k|   0 |   0 |-2.688578e+02 |-5.100000e+01 |  81.03%
841.96/842.22	c   840s|     1 |     0 |290557 | 168M|   0 | 898 |1000 |  37k|  37k|1000 |  10k|  18k|   0 |   0 |-2.681596e+02 |-5.100000e+01 |  80.98%
859.25/859.51	c   857s|     1 |     0 |293369 | 168M|   0 | 903 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.673149e+02 |-5.100000e+01 |  80.92%
876.45/876.76	c   874s|     1 |     0 |296415 | 168M|   0 | 898 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.664163e+02 |-5.100000e+01 |  80.86%
893.44/893.79	c   891s|     1 |     0 |299080 | 167M|   0 | 898 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.655582e+02 |-5.100000e+01 |  80.80%
908.44/908.79	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
908.44/908.79	c   906s|     1 |     0 |301285 | 167M|   0 | 900 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.650175e+02 |-5.100000e+01 |  80.76%
924.43/924.79	c   922s|     1 |     0 |303286 | 167M|   0 | 902 |1000 |  37k|  37k|1000 |  10k|  18k|   0 |   0 |-2.645698e+02 |-5.100000e+01 |  80.72%
938.44/938.77	c   936s|     1 |     0 |304890 | 167M|   0 | 905 |1000 |  37k|  37k|1000 |  10k|  18k|   0 |   0 |-2.643047e+02 |-5.100000e+01 |  80.70%
952.63/952.95	c   950s|     1 |     0 |306433 | 167M|   0 | 908 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.639330e+02 |-5.100000e+01 |  80.68%
968.32/968.69	c   966s|     1 |     0 |308401 | 167M|   0 | 915 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.633778e+02 |-5.100000e+01 |  80.64%
983.73/984.00	c   981s|     1 |     0 |310139 | 167M|   0 | 921 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.629354e+02 |-5.100000e+01 |  80.60%
999.91/1000.22	c   998s|     1 |     0 |312188 | 166M|   0 | 913 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.623573e+02 |-5.100000e+01 |  80.56%
1016.61/1016.97	c  1014s|     1 |     0 |314103 | 166M|   0 | 920 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.619367e+02 |-5.100000e+01 |  80.53%
1031.31/1031.62	c  1029s|     1 |     0 |315592 | 166M|   0 | 930 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.616604e+02 |-5.100000e+01 |  80.51%
1046.81/1047.15	c  1044s|     1 |     0 |317272 | 166M|   0 | 916 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.613525e+02 |-5.100000e+01 |  80.49%
1061.90/1062.24	c  1060s|     1 |     0 |318852 | 166M|   0 | 925 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.610389e+02 |-5.100000e+01 |  80.46%
1077.20/1077.51	c  1075s|     1 |     0 |320432 | 165M|   0 | 926 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.606766e+02 |-5.100000e+01 |  80.44%
1092.49/1092.87	c  1090s|     1 |     0 |322000 | 165M|   0 | 933 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.603930e+02 |-5.100000e+01 |  80.41%
1110.09/1110.43	c  1108s|     1 |     0 |323892 | 164M|   0 | 922 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.600403e+02 |-5.100000e+01 |  80.39%
1124.79/1125.12	c  1122s|     1 |     0 |325127 | 164M|   0 | 926 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.597437e+02 |-5.100000e+01 |  80.37%
1140.18/1140.57	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1140.18/1140.57	c  1138s|     1 |     0 |326690 | 164M|   0 | 930 |1000 |  37k|  37k|1000 |  11k|  18k|   0 |   0 |-2.593141e+02 |-5.100000e+01 |  80.33%
1155.78/1156.16	c  1153s|     1 |     0 |328372 | 163M|   0 | 933 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.589166e+02 |-5.100000e+01 |  80.30%
1169.67/1170.03	c  1167s|     1 |     0 |329255 | 163M|   0 | 935 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.587346e+02 |-5.100000e+01 |  80.29%
1184.97/1185.34	c  1182s|     1 |     0 |330621 | 163M|   0 | 928 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.584849e+02 |-5.100000e+01 |  80.27%
1201.56/1201.95	c  1199s|     1 |     0 |332068 | 162M|   0 | 934 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.582168e+02 |-5.100000e+01 |  80.25%
1216.75/1217.17	c  1214s|     1 |     0 |333380 | 161M|   0 | 929 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.578771e+02 |-5.100000e+01 |  80.22%
1231.56/1231.99	c  1229s|     1 |     0 |334500 | 161M|   0 | 940 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.576230e+02 |-5.100000e+01 |  80.20%
1246.55/1246.92	c  1244s|     1 |     0 |335841 | 161M|   0 | 938 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.573519e+02 |-5.100000e+01 |  80.18%
1261.85/1262.27	c  1259s|     1 |     0 |337242 | 161M|   0 | 943 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.571083e+02 |-5.100000e+01 |  80.16%
1279.04/1279.40	c  1276s|     1 |     0 |338972 | 161M|   0 | 944 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.567218e+02 |-5.100000e+01 |  80.13%
1295.03/1295.42	c  1292s|     1 |     0 |340188 | 160M|   0 | 941 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.565384e+02 |-5.100000e+01 |  80.12%
1310.13/1310.58	c  1308s|     1 |     0 |341343 | 160M|   0 | 941 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.562727e+02 |-5.100000e+01 |  80.10%
1325.03/1325.42	c  1322s|     1 |     0 |342510 | 159M|   0 | 940 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.560270e+02 |-5.100000e+01 |  80.08%
1340.63/1341.02	c  1338s|     1 |     0 |343734 | 158M|   0 | 941 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.557116e+02 |-5.100000e+01 |  80.06%
1356.12/1356.56	c  1353s|     1 |     0 |345045 | 158M|   0 | 946 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.554313e+02 |-5.100000e+01 |  80.03%
1370.62/1371.09	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1370.62/1371.09	c  1368s|     1 |     0 |345995 | 157M|   0 | 943 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.552033e+02 |-5.100000e+01 |  80.02%
1387.72/1388.13	c  1385s|     1 |     0 |347420 | 156M|   0 | 945 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.549319e+02 |-5.100000e+01 |  79.99%
1403.11/1403.52	c  1400s|     1 |     0 |348535 | 154M|   0 | 947 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.546847e+02 |-5.100000e+01 |  79.98%
1419.30/1419.77	c  1417s|     1 |     0 |349973 | 153M|   0 | 954 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.543316e+02 |-5.100000e+01 |  79.95%
1435.60/1436.06	c  1433s|     1 |     0 |351298 | 152M|   0 | 956 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.540754e+02 |-5.100000e+01 |  79.93%
1450.40/1450.88	c  1448s|     1 |     0 |352189 | 152M|   0 | 953 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.539151e+02 |-5.100000e+01 |  79.91%
1465.29/1465.70	c  1462s|     1 |     0 |353076 | 151M|   0 | 956 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.537000e+02 |-5.100000e+01 |  79.90%
1481.48/1481.95	c  1479s|     1 |     0 |353989 | 151M|   0 | 953 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.535056e+02 |-5.100000e+01 |  79.88%
1497.48/1497.94	c  1495s|     1 |     0 |355155 | 151M|   0 | 956 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.532709e+02 |-5.100000e+01 |  79.86%
1512.37/1512.90	c  1510s|     1 |     0 |356089 | 149M|   0 | 965 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.531034e+02 |-5.100000e+01 |  79.85%
1528.78/1529.22	c  1526s|     1 |     0 |357215 | 148M|   0 | 963 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.528601e+02 |-5.100000e+01 |  79.83%
1544.17/1544.64	c  1541s|     1 |     0 |358055 | 147M|   0 | 963 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.527036e+02 |-5.100000e+01 |  79.82%
1559.27/1559.70	c  1556s|     1 |     0 |358706 | 147M|   0 | 963 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.525626e+02 |-5.100000e+01 |  79.81%
1576.47/1576.94	c  1574s|     1 |     0 |359678 | 145M|   0 | 971 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.523687e+02 |-5.100000e+01 |  79.79%
1591.56/1592.08	c  1589s|     1 |     0 |360404 | 143M|   0 | 972 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.522138e+02 |-5.100000e+01 |  79.78%
1606.95/1607.48	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1606.95/1607.48	c  1604s|     1 |     0 |361222 | 143M|   0 | 967 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.520169e+02 |-5.100000e+01 |  79.76%
1623.24/1623.75	c  1620s|     1 |     0 |362393 | 143M|   0 | 972 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.517897e+02 |-5.100000e+01 |  79.75%
1639.54/1640.08	c  1637s|     1 |     0 |363479 | 143M|   0 | 973 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.515519e+02 |-5.100000e+01 |  79.73%
1654.83/1655.35	c  1652s|     1 |     0 |364212 | 143M|   0 | 971 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.514259e+02 |-5.100000e+01 |  79.72%
1672.13/1672.62	c  1669s|     1 |     0 |365144 | 143M|   0 | 975 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.512728e+02 |-5.100000e+01 |  79.70%
1688.32/1688.85	c  1685s|     1 |     0 |366115 | 143M|   0 | 977 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.510557e+02 |-5.100000e+01 |  79.69%
1702.42/1702.98	c  1699s|     1 |     0 |366628 | 143M|   0 | 974 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.509451e+02 |-5.100000e+01 |  79.68%
1718.31/1718.84	c  1715s|     1 |     0 |367634 | 143M|   0 | 972 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.506796e+02 |-5.100000e+01 |  79.66%
1734.61/1735.11	c  1731s|     1 |     0 |368851 | 143M|   0 | 973 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.503850e+02 |-5.100000e+01 |  79.63%
1749.81/1750.33	c  1747s|     1 |     0 |369550 | 143M|   0 | 978 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.501696e+02 |-5.100000e+01 |  79.61%
1766.60/1767.17	c  1763s|     1 |     0 |370510 | 143M|   0 | 975 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.498993e+02 |-5.100000e+01 |  79.59%
1781.50/1782.10	c  1778s|     1 |     0 |371001 | 143M|   0 | 975 |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.498146e+02 |-5.100000e+01 |  79.58%
1794.29/1794.83	c  1791s|     1 |     0 |371001 | 143M|   0 |   - |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.498146e+02 |-5.100000e+01 |  79.58%
1794.29/1794.84	c  1791s|     1 |     2 |371001 | 143M|   0 |   - |1000 |  37k|  37k|1000 |  11k|  19k|   0 |   0 |-2.498146e+02 |-5.100000e+01 |  79.58%
1794.29/1794.84	c 
1794.29/1794.84	c SCIP Status        : solving was interrupted [time limit reached]
1794.29/1794.84	c Solving Time (sec) : 1791.05
1794.29/1794.84	c Solving Nodes      : 1
1794.29/1794.84	c Primal Bound       : -5.10000000000000e+01 (6 solutions)
1794.29/1794.84	c Dual Bound         : -2.49814585012321e+02
1794.29/1794.84	c Gap                : 79.58 %
1794.39/1794.92	c NODE         1
1794.39/1794.92	c DUAL BOUND   -249.815
1794.39/1794.92	c PRIMAL BOUND -51
1794.39/1794.92	c GAP          0.795849
1794.39/1794.92	s SATISFIABLE
1794.39/1794.92	v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 
1794.39/1794.92	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 x961 -x960 -x959 -x958 
1794.39/1794.92	v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 
1794.39/1794.92	v -x936 -x935 x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 
1794.39/1794.92	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 
1794.39/1794.92	v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 
1794.39/1794.92	v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 x857 -x856 -x855 -x854 
1794.39/1794.92	v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 
1794.39/1794.92	v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 
1794.39/1794.92	v -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 
1794.39/1794.92	v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 
1794.39/1794.92	v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 
1794.39/1794.92	v -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 x730 -x729 -x728 
1794.39/1794.92	v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 
1794.39/1794.92	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 
1794.39/1794.92	v x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 
1794.39/1794.92	v -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 
1794.39/1794.92	v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 
1794.39/1794.92	v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 
1794.39/1794.92	v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 
1794.39/1794.92	v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 
1794.39/1794.92	v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 
1794.39/1794.92	v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 
1794.39/1794.92	v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 
1794.39/1794.92	v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 
1794.39/1794.92	v -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 
1794.39/1794.92	v x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 
1794.39/1794.92	v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 
1794.39/1794.92	v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 
1794.39/1794.92	v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 
1794.39/1794.92	v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 
1794.39/1794.92	v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 
1794.39/1794.92	v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 
1794.39/1794.92	v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 
1794.39/1794.92	v -x288 -x287 x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 
1794.39/1794.92	v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 
1794.39/1794.92	v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 
1794.39/1794.92	v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 
1794.39/1794.92	v -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 
1794.39/1794.92	v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 
1794.39/1794.92	v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 
1794.39/1794.92	v -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 
1794.39/1794.92	v x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 
1794.39/1794.92	v -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 x74 -x73 
1794.39/1794.92	v x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 
1794.39/1794.92	v x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 x28 x27 -x26 x25 -x24 -x23 -x22 -x21 
1794.39/1794.92	v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1 
1794.39/1794.92	c SCIP Status        : solving was interrupted [time limit reached]
1794.39/1794.92	c Solving Time       :    1791.05
1794.39/1794.92	c Original Problem   :
1794.39/1794.92	c   Problem name     : HOME/instance-1870345-1245198839.opb
1794.39/1794.92	c   Variables        : 38793 (38793 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.39/1794.92	c   Constraints      : 38793 initial, 38793 maximal
1794.39/1794.92	c Presolved Problem  :
1794.39/1794.92	c   Problem name     : t_HOME/instance-1870345-1245198839.opb
1794.39/1794.92	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.39/1794.92	c   Constraints      : 37793 initial, 37793 maximal
1794.39/1794.92	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.39/1794.92	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1794.39/1794.92	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.92	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.92	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.92	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.92	c   probing          :       2.21          0          0          0          0          0          0          0          0
1794.39/1794.92	c   and              :       0.95          0          0          0          0          0          0          0          0
1794.39/1794.92	c   linear           :       0.24      37793          0          0      37793          0       1000          0          0
1794.39/1794.92	c   root node        :          -          0          -          -          0          -          -          -          -
1794.39/1794.92	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.39/1794.92	c   integral         :          0          0          0          0          0          0          0          0          0          0
1794.39/1794.92	c   and              :      37793        235        201          0          1          0          0      36370          0          0
1794.39/1794.92	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1794.39/1794.92	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.39/1794.92	c   integral         :       0.00       0.00       0.00       0.00       0.00
1794.39/1794.92	c   and              :      13.16      11.42       1.74       0.00       0.00
1794.39/1794.92	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.39/1794.92	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.39/1794.92	c   rootredcost      :       0.00          0          0          0
1794.39/1794.92	c   pseudoobj        :       0.02        233          0          0
1794.39/1794.92	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.39/1794.92	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1794.39/1794.92	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1794.39/1794.92	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.39/1794.92	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.39/1794.92	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.39/1794.92	c   applied globally :          -          -          -          0        0.0          -          -          -
1794.39/1794.92	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.39/1794.92	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.39/1794.92	c   cut pool         :       1.22        234          -          -       2907          -    (maximal pool size: 9416)
1794.39/1794.92	c   redcost          :       0.01        235          0          0          0          0
1794.39/1794.92	c   impliedbounds    :       0.77        231          0          0      14650          0
1794.39/1794.92	c   intobj           :       0.00          0          0          0          0          0
1794.39/1794.92	c   gomory           :     919.85        231          0          0      89013          0
1794.39/1794.92	c   strongcg         :       4.02         20          0          0      10000          0
1794.39/1794.92	c   cmir             :       4.54         10          0          0          0          0
1794.39/1794.92	c   flowcover        :       3.95         10          0          0          0          0
1794.39/1794.92	c   clique           :      12.46        231          0          0       2032          0
1794.39/1794.92	c   zerohalf         :       0.00          0          0          0          0          0
1794.39/1794.92	c   mcf              :       0.08          1          0          0          0          0
1794.39/1794.92	c Pricers            :       Time      Calls       Vars
1794.39/1794.92	c   problem variables:       0.00          0          0
1794.39/1794.92	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.39/1794.92	c   relpscost        :       0.00          0          0          0          0          0          0
1794.39/1794.92	c   pscost           :       0.00          0          0          0          0          0          0
1794.39/1794.92	c   inference        :       0.00          1          0          0          0          0          2
1794.39/1794.92	c   mostinf          :       0.00          0          0          0          0          0          0
1794.39/1794.92	c   leastinf         :       0.00          0          0          0          0          0          0
1794.39/1794.92	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.39/1794.92	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.39/1794.92	c   random           :       0.00          0          0          0          0          0          0
1794.39/1794.92	c Primal Heuristics  :       Time      Calls      Found
1794.39/1794.92	c   LP solutions     :       0.00          -          0
1794.39/1794.92	c   pseudo solutions :       0.00          -          0
1794.39/1794.92	c   simplerounding   :       0.00          0          0
1794.39/1794.92	c   rounding         :       4.59        235          2
1794.39/1794.92	c   shifting         :       5.77        235          4
1794.39/1794.92	c   intshifting      :       0.00          0          0
1794.39/1794.92	c   oneopt           :       0.01          1          0
1794.39/1794.92	c   fixandinfer      :       0.00          0          0
1794.39/1794.92	c   feaspump         :       0.00          0          0
1794.39/1794.92	c   coefdiving       :       0.00          0          0
1794.39/1794.92	c   pscostdiving     :       0.00          0          0
1794.39/1794.92	c   fracdiving       :       0.00          0          0
1794.39/1794.92	c   veclendiving     :       0.00          0          0
1794.39/1794.92	c   intdiving        :       0.00          0          0
1794.39/1794.92	c   actconsdiving    :       0.00          0          0
1794.39/1794.92	c   objpscostdiving  :       0.00          0          0
1794.39/1794.92	c   rootsoldiving    :       0.00          0          0
1794.39/1794.92	c   linesearchdiving :       0.00          0          0
1794.39/1794.92	c   guideddiving     :       0.00          0          0
1794.39/1794.92	c   octane           :       0.00          0          0
1794.39/1794.92	c   rens             :       0.00          0          0
1794.39/1794.92	c   rins             :       0.00          0          0
1794.39/1794.92	c   localbranching   :       0.00          0          0
1794.39/1794.92	c   mutation         :       0.00          0          0
1794.39/1794.92	c   crossover        :       0.00          0          0
1794.39/1794.92	c   dins             :       0.00          0          0
1794.39/1794.92	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.39/1794.92	c   primal LP        :      17.71          0          0       0.00       0.00
1794.39/1794.92	c   dual LP          :     781.37        235     371001    1578.73     474.81
1794.39/1794.92	c   barrier LP       :       0.00          0          0       0.00          -
1794.39/1794.92	c   diving/probing LP:       0.00          0          0       0.00          -
1794.39/1794.92	c   strong branching :       0.00          0          0       0.00          -
1794.39/1794.92	c     (at root node) :          -          0          0       0.00          -
1794.39/1794.92	c   conflict analysis:       0.00          0          0       0.00          -
1794.39/1794.92	c B&B Tree           :
1794.39/1794.92	c   number of runs   :          1
1794.39/1794.92	c   nodes            :          1
1794.39/1794.92	c   nodes (total)    :          1
1794.39/1794.92	c   nodes left       :          2
1794.39/1794.92	c   max depth        :          0
1794.39/1794.92	c   max depth (total):          0
1794.39/1794.92	c   backtracks       :          0 (0.0%)
1794.39/1794.92	c   delayed cutoffs  :          0
1794.39/1794.92	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.39/1794.92	c   avg switch length:       1.00
1794.39/1794.92	c   switching time   :       0.00
1794.39/1794.92	c Solution           :
1794.39/1794.92	c   Solutions found  :          6 (2 improvements)
1794.39/1794.92	c   Primal Bound     : -5.10000000000000e+01   (in run 1, after 1 nodes, 24.58 seconds, depth 0, found by <rounding>)
1794.39/1794.92	c   Dual Bound       : -2.49814585012321e+02
1794.39/1794.92	c   Gap              :      79.58 %
1794.39/1794.92	c   Root Dual Bound  : -2.49814585012321e+02
1794.70/1795.26	c Time complete: 1794.75.

Verifier Data 

OK	-51

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3227
/proc/meminfo: memFree=1885616/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=7616 CPUtime=0
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 600 0 0 0 0 0 0 0 20 0 1 0 187482447 7798784 585 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/3227/statm: 1904 594 353 1256 0 643 0

[startup+0.00877509 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3227
/proc/meminfo: memFree=1885616/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=10036 CPUtime=0
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 1447 0 0 0 0 0 0 0 20 0 1 0 187482447 10276864 1431 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/3227/statm: 2509 1431 363 1256 0 1248 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10036

[startup+0.101786 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3227
/proc/meminfo: memFree=1885616/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=25072 CPUtime=0.09
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 5211 0 0 0 8 1 0 0 20 0 1 0 187482447 25673728 5195 1992294400 4194304 9342243 548682068736 18446744073709551615 4512305 0 0 4096 0 0 0 0 17 1 0 0
/proc/3227/statm: 6268 5195 378 1256 0 5007 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25072

[startup+0.301808 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3227
/proc/meminfo: memFree=1885616/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=46464 CPUtime=0.29
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 10592 0 0 0 26 3 0 0 22 0 1 0 187482447 47579136 10552 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/3227/statm: 11616 10552 378 1256 0 10355 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46464

[startup+0.701851 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3227
/proc/meminfo: memFree=1885616/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=103040 CPUtime=0.69
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 25119 0 0 0 60 9 0 0 25 0 1 0 187482447 105512960 24651 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 25760 24651 426 1256 0 24499 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103040

[startup+1.50194 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1783080/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=119236 CPUtime=1.49
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 28935 0 0 0 137 12 0 0 25 0 1 0 187482447 122097664 28467 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 29809 28467 446 1256 0 28548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119236

[startup+3.10112 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1769832/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=122508 CPUtime=3.09
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 30544 0 0 0 280 29 0 0 25 0 1 0 187482447 125448192 29322 1992294400 4194304 9342243 548682068736 18446744073709551615 4903693 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 30627 29322 475 1256 0 29366 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122508

[startup+6.30249 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1693096/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=219896 CPUtime=6.28
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 51657 0 0 0 590 38 0 0 25 0 1 0 187482447 225173504 48576 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 54974 48576 628 1256 0 53713 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 219896

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1686376/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=221252 CPUtime=12.68
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 53544 0 0 0 1225 43 0 0 25 0 1 0 187482447 226562048 50463 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 55313 50463 642 1256 0 54052 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 221252

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1681512/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=221252 CPUtime=25.47
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 54620 0 0 0 2502 45 0 0 25 0 1 0 187482447 226562048 51539 1992294400 4194304 9342243 548682068736 18446744073709551615 4898473 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 55313 51539 643 1256 0 54052 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 221252

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1679400/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=215156 CPUtime=51.07
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 57512 0 0 0 5057 50 0 0 25 0 1 0 187482447 220319744 51997 1992294400 4194304 9342243 548682068736 18446744073709551615 4291205 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 53789 51997 658 1256 0 52528 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 215156

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1674664/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=220936 CPUtime=102.26
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 58738 0 0 0 10169 57 0 0 25 0 1 0 187482447 226238464 53223 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 55234 53223 659 1256 0 53973 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 220936

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1671400/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=225440 CPUtime=162.23
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 59612 0 0 0 16156 67 0 0 25 0 1 0 187482447 230850560 54097 1992294400 4194304 9342243 548682068736 18446744073709551615 6960639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 56360 54097 659 1256 0 55099 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 225440

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1665320/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=232768 CPUtime=222.22
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 74506 0 0 0 22136 86 0 0 25 0 1 0 187482447 238354432 55520 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 58192 55520 659 1256 0 56931 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 232768

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1658920/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=238032 CPUtime=282.21
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 76090 0 0 0 28125 96 0 0 25 0 1 0 187482447 243744768 57104 1992294400 4194304 9342243 548682068736 18446744073709551615 6965962 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 59508 57104 659 1256 0 58247 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 238032

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1640168/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=259004 CPUtime=342.19
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 93850 0 0 0 34106 113 0 0 25 0 1 0 187482447 265220096 61732 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 64751 61732 659 1256 0 63490 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 259004

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1627112/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=402.18
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103006 0 0 0 40091 127 0 0 25 0 1 0 187482447 277983232 64998 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 64998 659 1256 0 66606 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 271468

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1626088/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=462.15
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103228 0 0 0 46083 132 0 0 25 0 1 0 187482447 277983232 65220 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65220 659 1256 0 66606 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 271468

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1625256/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=522.15
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103413 0 0 0 52074 141 0 0 25 0 1 0 187482447 277983232 65405 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65405 659 1256 0 66606 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 271468

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1625000/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=582.13
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103453 0 0 0 58065 148 0 0 25 0 1 0 187482447 277983232 65445 1992294400 4194304 9342243 548682068736 18446744073709551615 6941099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65445 659 1256 0 66606 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 271468

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3228
/proc/meminfo: memFree=1624936/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=642.12
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103466 0 0 0 64056 156 0 0 25 0 1 0 187482447 277983232 65458 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65458 659 1256 0 66606 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 271468

[startup+702.301 s]

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

/proc/meminfo: memFree=1623272/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=1121.99
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103696 0 0 0 111987 212 0 0 25 0 1 0 187482447 277983232 65688 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65688 668 1256 0 66606 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 271468

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3230
/proc/meminfo: memFree=1623400/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=1181.96
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103710 0 0 0 117979 217 0 0 25 0 1 0 187482447 277983232 65702 1992294400 4194304 9342243 548682068736 18446744073709551615 6978102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65702 668 1256 0 66606 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 271468

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3230
/proc/meminfo: memFree=1623336/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=1241.95
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103729 0 0 0 123971 224 0 0 25 0 1 0 187482447 277983232 65721 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65721 668 1256 0 66606 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 271468

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3230
/proc/meminfo: memFree=1623144/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=1301.94
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103760 0 0 0 129964 230 0 0 25 0 1 0 187482447 277983232 65752 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65752 668 1256 0 66606 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 271468

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3230
/proc/meminfo: memFree=1623080/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=1361.91
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103764 0 0 0 135956 235 0 0 25 0 1 0 187482447 277983232 65756 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65756 668 1256 0 66606 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 271468

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3230
/proc/meminfo: memFree=1623016/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=1421.91
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103773 0 0 0 141948 243 0 0 25 0 1 0 187482447 277983232 65765 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65765 668 1256 0 66606 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 271468

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3230
/proc/meminfo: memFree=1622760/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=1481.88
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103804 0 0 0 147940 248 0 0 25 0 1 0 187482447 277983232 65796 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65796 668 1256 0 66606 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 271468

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3230
/proc/meminfo: memFree=1622696/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=1541.87
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103826 0 0 0 153930 257 0 0 25 0 1 0 187482447 277983232 65818 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65818 668 1256 0 66606 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 271468

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3230
/proc/meminfo: memFree=1622632/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=1601.86
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103832 0 0 0 159921 265 0 0 25 0 1 0 187482447 277983232 65824 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65824 668 1256 0 66606 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 271468

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3236
/proc/meminfo: memFree=1622440/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271468 CPUtime=1661.83
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 103870 0 0 0 165910 273 0 0 25 0 1 0 187482447 277983232 65862 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67867 65862 668 1256 0 66606 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 271468

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3236
/proc/meminfo: memFree=1624872/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=273144 CPUtime=1721.82
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 106266 0 0 0 171899 283 0 0 25 0 1 0 187482447 279699456 65251 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 68286 65251 668 1256 0 67025 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 273144

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3236
/proc/meminfo: memFree=1624360/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271144 CPUtime=1781.8
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 108673 0 0 0 177888 292 0 0 25 0 1 0 187482447 277651456 64854 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67786 64854 668 1256 0 66525 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 271144

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3236
/proc/meminfo: memFree=1626216/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271144 CPUtime=1785
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 108673 0 0 0 178207 293 0 0 25 0 1 0 187482447 277651456 64854 1992294400 4194304 9342243 548682068736 18446744073709551615 6952849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67786 64854 668 1256 0 66525 0
Current children cumulated CPU time (s) 1785
Current children cumulated vsize (KiB) 271144

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3236
/proc/meminfo: memFree=1626216/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271144 CPUtime=1791.4
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 108673 0 0 0 178846 294 0 0 25 0 1 0 187482447 277651456 64854 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67786 64854 668 1256 0 66525 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 271144

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3236
/proc/meminfo: memFree=1626216/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271144 CPUtime=1793
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 108673 0 0 0 179006 294 0 0 25 0 1 0 187482447 277651456 64854 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67786 64854 668 1256 0 66525 0
Current children cumulated CPU time (s) 1793
Current children cumulated vsize (KiB) 271144

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3236
/proc/meminfo: memFree=1626216/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271144 CPUtime=1793.79
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 108673 0 0 0 179085 294 0 0 25 0 1 0 187482447 277651456 64854 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67786 64854 668 1256 0 66525 0
Current children cumulated CPU time (s) 1793.79
Current children cumulated vsize (KiB) 271144

[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3236
/proc/meminfo: memFree=1626216/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271144 CPUtime=1794.2
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 108673 0 0 0 179126 294 0 0 25 0 1 0 187482447 277651456 64854 1992294400 4194304 9342243 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3227/statm: 67786 64854 668 1256 0 66525 0
Current children cumulated CPU time (s) 1794.2
Current children cumulated vsize (KiB) 271144

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3236
/proc/meminfo: memFree=1626216/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=271144 CPUtime=1794.6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 108680 0 0 0 179166 294 0 0 18 0 1 0 187482447 277651456 64861 1992294400 4194304 9342243 548682068736 18446744073709551615 4237396 0 0 4096 0 0 0 0 17 1 0 0
/proc/3227/statm: 67786 64861 675 1256 0 66525 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 271144

[startup+1795.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3236
/proc/meminfo: memFree=1626216/2055920 swapFree=4182240/4192956
[pid=3227] ppid=3225 vsize=209804 CPUtime=1794.7
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 2934 0 -1 4194304 108681 0 0 0 179175 295 0 0 18 0 1 0 187482447 214839296 51393 1992294400 4194304 9342243 548682068736 18446744073709551615 5854318 0 0 4096 0 0 0 0 17 1 0 0
/proc/3227/statm: 52451 51393 676 1256 0 51190 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 209804

Child status: 0
Real time (s): 1795.26
CPU time (s): 1794.77
CPU user time (s): 1791.78
CPU system time (s): 2.98555
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 273232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.78
system time used= 2.98555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108686
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= 11
involuntary context switches= 3230

runsolver used 1.9917 second user time and 4.30534 second system time

The end

Launcher Data 

Begin job on node85 at 2009-06-17 02:33:59
IDJOB=1870345
IDBENCH=48171
IDSOLVER=684
FILE ID=node85/1870345-1245198839
PBS_JOBID= 9368314
Free space on /tmp= 126844 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870345-1245198839/watcher-1870345-1245198839 -o /tmp/evaluation-result-1870345-1245198839/solver-1870345-1245198839 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870345-1245198839.opb

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

MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a
RANDOM SEED=1719177201

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1886096 kB
Buffers:         14300 kB
Cached:          83176 kB
SwapCached:       6224 kB
Active:          75272 kB
Inactive:        31440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1886096 kB
SwapTotal:     4192956 kB
SwapFree:      4182240 kB
Dirty:           12684 kB
Writeback:           0 kB
Mapped:          13712 kB
Slab:            49120 kB
Committed_AS:    77100 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126832 MiB
End job on node85 at 2009-06-17 03:03:54