Trace number 2666701

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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)-53 1800.98 1801.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_4.opb
MD5SUM33f66c46bd2eace76f5fa6a5916a23ec
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-69
Best CPU time to get the best result obtained on this benchmark1800.43
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -81
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 constraint107
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)75484
Sum of products size (including duplicates)150968
Number of different products37742
Sum of products size75484

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2666701-1276664198.opb>
0.49/0.54	c original problem has 38742 variables (38742 bin, 0 int, 0 impl, 0 cont) and 38742 constraints
0.49/0.54	c problem read
0.49/0.54	c presolving settings loaded
0.99/1.06	o 0
0.99/1.06	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.99/1.06	c presolving:
2.29/2.36	c (round 1) 37742 del vars, 1000 del conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150968 impls, 0 clqs
3.20/3.26	c    (2.5s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.20/3.26	c    (2.5s) probing aborted: 100/100 successive totally useless probings
3.20/3.26	c presolving (2 rounds):
3.20/3.26	c  37742 deleted vars, 1000 deleted constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.20/3.26	c  226452 implications, 0 cliques
3.20/3.26	c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
3.20/3.26	c   37742 constraints of type <logicor>
3.20/3.26	c transformed objective value is always integral (scale: 1)
3.20/3.26	c Presolving Time: 2.28
3.20/3.26	c - non default parameters ----------------------------------------------------------------------
3.20/3.26	c # SCIP version 1.2.1.2
3.20/3.26	c 
3.20/3.26	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.20/3.26	c # [type: int, range: [-1,2147483647], default: -1]
3.20/3.26	c conflict/interconss = 0
3.20/3.26	c 
3.20/3.26	c # should binary conflicts be preferred?
3.20/3.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.26	c conflict/preferbinary = TRUE
3.20/3.26	c 
3.20/3.26	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.20/3.26	c # [type: int, range: [-1,2147483647], default: 0]
3.20/3.26	c constraints/agelimit = 1
3.20/3.26	c 
3.20/3.26	c # should enforcement of pseudo solution be disabled?
3.20/3.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.26	c constraints/disableenfops = TRUE
3.20/3.26	c 
3.20/3.26	c # frequency for displaying node information lines
3.20/3.26	c # [type: int, range: [-1,2147483647], default: 100]
3.20/3.26	c display/freq = 10000
3.20/3.26	c 
3.20/3.26	c # maximal time in seconds to run
3.20/3.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.26	c limits/time = 1799.47
3.20/3.26	c 
3.20/3.26	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.20/3.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.20/3.26	c limits/memory = 1620
3.20/3.26	c 
3.20/3.26	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.20/3.26	c # [type: int, range: [-1,2147483647], default: 1]
3.20/3.26	c lp/solvefreq = 0
3.20/3.26	c 
3.20/3.26	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
3.20/3.26	c # [type: char, range: {lafpsqd}, default: l]
3.20/3.26	c lp/pricing = a
3.20/3.26	c 
3.20/3.26	c # should presolving try to simplify inequalities
3.20/3.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.26	c constraints/linear/simplifyinequalities = TRUE
3.20/3.26	c 
3.20/3.26	c # should presolving try to simplify knapsacks
3.20/3.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.20/3.26	c constraints/knapsack/simplifyinequalities = TRUE
3.20/3.26	c 
3.20/3.26	c # priority of node selection rule <dfs> in standard mode
3.20/3.26	c # [type: int, range: [-536870912,536870911], default: 0]
3.20/3.26	c nodeselection/dfs/stdpriority = 1000000
3.20/3.26	c 
3.20/3.26	c -----------------------------------------------------------------------------------------------
3.20/3.26	c start solving
3.20/3.27	c 
5.09/5.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.09/5.10	c t 4.2s|     1 |     0 |  1036 |     - | 101M|   0 |1000 |1000 |  37k|1000 |  37k|   0 |   0 |   0 |-5.000000e+02 | 0.000000e+00 | 100.00%
5.19/5.20	o -1
5.19/5.20	c R 4.3s|     1 |     0 |  1036 |     - | 101M|   0 |1000 |1000 |  37k|1000 |  37k|   0 |   0 |   0 |-5.000000e+02 |-1.000000e+00 |  99.80%
5.29/5.31	o -2
5.29/5.31	c s 4.5s|     1 |     0 |  1036 |     - | 101M|   0 |1000 |1000 |  37k|1000 |  37k|   0 |   0 |   0 |-5.000000e+02 |-2.000000e+00 |  99.60%
7.78/7.84	c   6.7s|     1 |     0 |  1215 |     - | 101M|   0 | 991 |1000 |  37k|1000 |  37k|   7 |   0 |   0 |-4.955000e+02 |-2.000000e+00 |  99.60%
7.78/7.87	o -53
7.78/7.87	c b 6.8s|     1 |     0 |  1215 |     - | 101M|   0 | 991 |1000 |  37k|1000 |  37k|   7 |   0 |   0 |-4.955000e+02 |-5.300000e+01 |  89.30%
10.19/10.22	c   8.9s|     1 |     0 |  1323 |     - | 101M|   0 | 982 |1000 |  37k|1000 |  37k|  14 |   0 |   0 |-4.910000e+02 |-5.300000e+01 |  89.21%
12.69/12.74	c  11.1s|     1 |     0 |  1442 |     - | 101M|   0 | 976 |1000 |  37k|1000 |  37k|  19 |   0 |   0 |-4.880000e+02 |-5.300000e+01 |  89.14%
15.48/15.54	c  13.7s|     1 |     0 |  1625 |     - | 101M|   0 | 966 |1000 |  37k|1000 |  37k|  30 |   0 |   0 |-4.830000e+02 |-5.300000e+01 |  89.03%
18.19/18.27	c  16.2s|     1 |     0 |  1771 |     - | 101M|   0 | 959 |1000 |  37k|1000 |  37k|  37 |   0 |   0 |-4.795000e+02 |-5.300000e+01 |  88.95%
21.48/21.53	c  19.2s|     1 |     0 |  1956 |     - | 101M|   0 | 946 |1000 |  37k|1000 |  37k|  53 |   0 |   0 |-4.730000e+02 |-5.300000e+01 |  88.79%
25.08/25.17	c  22.6s|     1 |     0 |  2158 |     - | 102M|   0 | 938 |1000 |  37k|1000 |  37k|  61 |   0 |   0 |-4.690000e+02 |-5.300000e+01 |  88.70%
28.98/29.04	c  26.2s|     1 |     0 |  2430 |     - | 102M|   0 | 931 |1000 |  37k|1000 |  37k|  67 |   0 |   0 |-4.655000e+02 |-5.300000e+01 |  88.61%
32.98/33.02	c  29.9s|     1 |     0 |  2685 |     - | 102M|   0 | 926 |1000 |  37k|1000 |  37k|  73 |   0 |   0 |-4.630000e+02 |-5.300000e+01 |  88.55%
37.28/37.30	c  34.0s|     1 |     0 |  2992 |     - | 102M|   0 | 922 |1000 |  37k|1000 |  37k|  79 |   0 |   0 |-4.605000e+02 |-5.300000e+01 |  88.49%
42.67/42.75	c  39.2s|     1 |     0 |  3544 |     - | 102M|   0 | 915 |1000 |  37k|1000 |1394 |  87 |   0 |   0 |-4.575000e+02 |-5.300000e+01 |  88.42%
43.17/43.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
43.17/43.21	c  39.7s|     1 |     0 |  3843 |     - | 102M|   0 | 856 |1000 |  37k|1000 |1400 |  93 |   0 |   0 |-4.560000e+02 |-5.300000e+01 |  88.38%
43.87/43.97	c  40.4s|     1 |     0 |  4082 |     - | 103M|   0 | 911 |1000 |  37k|1000 |3183 |1876 |   0 |   0 |-4.555000e+02 |-5.300000e+01 |  88.36%
44.57/44.62	c  41.1s|     1 |     0 |  4577 |     - | 103M|   0 | 901 |1000 |  37k|1000 |3188 |1881 |   0 |   0 |-4.525000e+02 |-5.300000e+01 |  88.29%
45.08/45.13	c  41.6s|     1 |     0 |  4864 |     - | 103M|   0 | 882 |1000 |  37k|1000 |3302 |1995 |   0 |   0 |-4.500000e+02 |-5.300000e+01 |  88.22%
45.67/45.79	c  42.2s|     1 |     0 |  5240 |     - | 103M|   0 | 894 |1000 |  37k|1000 |3857 |2550 |   0 |   0 |-4.470000e+02 |-5.300000e+01 |  88.14%
46.27/46.35	c  42.8s|     1 |     0 |  5633 |     - | 103M|   0 | 892 |1000 |  37k|1000 |3408 |2557 |   0 |   0 |-4.456667e+02 |-5.300000e+01 |  88.11%
46.76/46.82	c  43.2s|     1 |     0 |  5800 |     - | 103M|   0 | 888 |1000 |  37k|1000 |3414 |2563 |   0 |   0 |-4.450000e+02 |-5.300000e+01 |  88.09%
47.37/47.40	c  43.8s|     1 |     0 |  6100 |     - | 103M|   0 | 886 |1000 |  37k|1000 |3471 |2620 |   0 |   0 |-4.440000e+02 |-5.300000e+01 |  88.06%
47.96/48.01	c  44.4s|     1 |     0 |  6549 |     - | 103M|   0 | 880 |1000 |  37k|1000 |3527 |2676 |   0 |   0 |-4.420000e+02 |-5.300000e+01 |  88.01%
48.77/48.82	c  45.2s|     1 |     0 |  7274 |     - | 103M|   0 | 903 |1000 |  37k|1000 |3720 |2869 |   0 |   0 |-4.387857e+02 |-5.300000e+01 |  87.92%
53.96/54.07	c  50.4s|     1 |     0 |  7748 |     - | 103M|   0 | 875 |1000 |  37k|1000 |5720 |4869 |   0 |   0 |-4.367500e+02 |-5.300000e+01 |  87.86%
54.66/54.79	c  51.1s|     1 |     0 |  8240 |     - | 103M|   0 | 870 |1000 |  37k|1000 |3925 |4879 |   0 |   0 |-4.342500e+02 |-5.300000e+01 |  87.80%
55.17/55.28	c  51.6s|     1 |     0 |  8541 |     - | 103M|   0 | 868 |1000 |  37k|1000 |3977 |4931 |   0 |   0 |-4.327500e+02 |-5.300000e+01 |  87.75%
55.86/55.93	c  52.3s|     1 |     0 |  9081 |     - | 103M|   0 | 854 |1000 |  37k|1000 |4095 |5049 |   0 |   0 |-4.307500e+02 |-5.300000e+01 |  87.70%
56.56/56.60	c  52.9s|     1 |     0 |  9590 |     - | 104M|   0 | 843 |1000 |  37k|1000 |4430 |5384 |   0 |   0 |-4.287500e+02 |-5.300000e+01 |  87.64%
57.36/57.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
57.36/57.43	c  53.8s|     1 |     0 | 10149 |     - | 104M|   0 | 851 |1000 |  37k|1000 |4907 |5861 |   0 |   0 |-4.262500e+02 |-5.300000e+01 |  87.57%
58.27/58.39	c  54.7s|     1 |     0 | 11004 |     - | 104M|   0 | 839 |1000 |  37k|1000 |5021 |5975 |   0 |   0 |-4.242500e+02 |-5.300000e+01 |  87.51%
59.37/59.50	c  55.8s|     1 |     0 | 11968 |     - | 104M|   0 | 845 |1000 |  37k|1000 |4572 |6359 |   0 |   0 |-4.222500e+02 |-5.300000e+01 |  87.45%
60.37/60.45	c  56.7s|     1 |     0 | 13020 |     - | 104M|   0 | 840 |1000 |  37k|1000 |4797 |6584 |   0 |   0 |-4.187500e+02 |-5.300000e+01 |  87.34%
61.57/61.67	c  58.0s|     1 |     0 | 14301 |     - | 105M|   0 | 867 |1000 |  37k|1000 |5080 |6867 |   0 |   0 |-4.165000e+02 |-5.300000e+01 |  87.27%
65.16/65.28	c  61.5s|     1 |     0 | 14728 |     - | 105M|   0 | 831 |1000 |  37k|1000 |7080 |8867 |   0 |   0 |-4.155000e+02 |-5.300000e+01 |  87.24%
66.46/66.58	c  62.8s|     1 |     0 | 15506 |     - | 105M|   0 | 826 |1000 |  37k|1000 |7086 |8873 |   0 |   0 |-4.130000e+02 |-5.300000e+01 |  87.17%
67.26/67.35	c  63.6s|     1 |     0 | 15895 |     - | 105M|   0 | 820 |1000 |  37k|1000 |7091 |8878 |   0 |   0 |-4.112500e+02 |-5.300000e+01 |  87.11%
68.17/68.24	c  64.5s|     1 |     0 | 16434 |     - | 105M|   0 | 817 |1000 |  37k|1000 |6675 |9051 |   0 |   0 |-4.077500e+02 |-5.300000e+01 |  87.00%
69.76/69.85	c  66.1s|     1 |     0 | 17493 |     - | 105M|   0 | 815 |1000 |  37k|1000 |6854 |9230 |   0 |   0 |-4.047500e+02 |-5.300000e+01 |  86.91%
70.46/70.56	c  66.8s|     1 |     0 | 17832 |     - | 105M|   0 | 805 |1000 |  37k|1000 |6861 |9237 |   0 |   0 |-4.035000e+02 |-5.300000e+01 |  86.86%
71.85/71.94	c  68.1s|     1 |     0 | 18652 |     - | 105M|   0 | 800 |1000 |  37k|1000 |6936 |9312 |   0 |   0 |-4.010000e+02 |-5.300000e+01 |  86.78%
73.56/73.61	c  69.8s|     1 |     0 | 19775 |     - | 105M|   0 | 802 |1000 |  37k|1000 |6997 |9373 |   0 |   0 |-3.982500e+02 |-5.300000e+01 |  86.69%
74.67/74.73	c  70.9s|     1 |     0 | 20414 |     - | 105M|   0 | 806 |1000 |  37k|1000 |7045 |9421 |   0 |   0 |-3.965000e+02 |-5.300000e+01 |  86.63%
76.36/76.45	c  72.6s|     1 |     0 | 21462 |     - | 105M|   0 | 783 |1000 |  37k|1000 |5763 |9937 |   0 |   0 |-3.935000e+02 |-5.300000e+01 |  86.53%
77.45/77.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
77.45/77.59	c  73.7s|     1 |     0 | 22317 |     - | 105M|   0 | 809 |1000 |  37k|1000 |5885 |  10k|   0 |   0 |-3.918000e+02 |-5.300000e+01 |  86.47%
78.46/78.57	c  74.7s|     1 |     0 | 22473 |     - | 106M|   0 | 783 |1000 |  37k|1000 |7614 |  11k|   0 |   0 |-3.915000e+02 |-5.300000e+01 |  86.46%
79.65/79.73	c  75.9s|     1 |     0 | 23048 |     - | 106M|   0 | 778 |1000 |  37k|1000 |7623 |  11k|   0 |   0 |-3.890000e+02 |-5.300000e+01 |  86.38%
80.45/80.59	c  76.7s|     1 |     0 | 23488 |     - | 106M|   0 | 774 |1000 |  37k|1000 |7628 |  11k|   0 |   0 |-3.880000e+02 |-5.300000e+01 |  86.34%
81.55/81.65	c  77.8s|     1 |     0 | 24063 |     - | 106M|   0 | 771 |1000 |  37k|1000 |7691 |  11k|   0 |   0 |-3.855000e+02 |-5.300000e+01 |  86.25%
82.46/82.59	c  78.7s|     1 |     0 | 24584 |     - | 106M|   0 | 768 |1000 |  37k|1000 |7171 |  11k|   0 |   0 |-3.840000e+02 |-5.300000e+01 |  86.20%
83.35/83.44	c  79.5s|     1 |     0 | 25063 |     - | 106M|   0 | 763 |1000 |  37k|1000 |7177 |  11k|   0 |   0 |-3.815000e+02 |-5.300000e+01 |  86.11%
84.25/84.32	c  80.4s|     1 |     0 | 25558 |     - | 106M|   0 | 754 |1000 |  37k|1000 |7182 |  11k|   0 |   0 |-3.800000e+02 |-5.300000e+01 |  86.05%
85.16/85.25	c  81.3s|     1 |     0 | 26039 |     - | 106M|   0 | 753 |1000 |  37k|1000 |7354 |  12k|   0 |   0 |-3.775000e+02 |-5.300000e+01 |  85.96%
85.86/85.91	c  82.0s|     1 |     0 | 26355 |     - | 106M|   0 | 752 |1000 |  37k|1000 |7409 |  12k|   0 |   0 |-3.770000e+02 |-5.300000e+01 |  85.94%
86.65/86.73	c  82.8s|     1 |     0 | 26869 |     - | 106M|   0 | 745 |1000 |  37k|1000 |7468 |  12k|   0 |   0 |-3.755000e+02 |-5.300000e+01 |  85.89%
87.65/87.79	c  83.8s|     1 |     0 | 27545 |     - | 106M|   0 | 741 |1000 |  37k|1000 |5262 |  12k|   0 |   0 |-3.725000e+02 |-5.300000e+01 |  85.77%
88.25/88.34	c  84.4s|     1 |     0 | 27880 |     - | 106M|   0 | 738 |1000 |  37k|1000 |5379 |  12k|   0 |   0 |-3.720000e+02 |-5.300000e+01 |  85.75%
89.06/89.11	c  85.2s|     1 |     0 | 28313 |     - | 107M|   0 | 734 |1000 |  37k|1000 |5545 |  12k|   0 |   0 |-3.715000e+02 |-5.300000e+01 |  85.73%
89.85/89.98	c  86.0s|     1 |     0 | 28856 |     - | 107M|   0 | 740 |1000 |  37k|1000 |5932 |  12k|   0 |   0 |-3.700000e+02 |-5.300000e+01 |  85.68%
90.75/90.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
90.75/90.88	c  86.9s|     1 |     0 | 29475 |     - | 107M|   0 | 734 |1000 |  37k|1000 |5938 |  12k|   0 |   0 |-3.695000e+02 |-5.300000e+01 |  85.66%
92.05/92.18	c  88.2s|     1 |     0 | 30334 |     - | 107M|   0 | 728 |1000 |  37k|1000 |6097 |  13k|   0 |   0 |-3.690000e+02 |-5.300000e+01 |  85.64%
93.15/93.26	c  89.3s|     1 |     0 | 31205 |     - | 107M|   0 | 730 |1000 |  37k|1000 |6190 |  13k|   0 |   0 |-3.670000e+02 |-5.300000e+01 |  85.56%
94.46/94.55	c  90.5s|     1 |     0 | 32183 |     - | 107M|   0 | 729 |1000 |  37k|1000 |6282 |  13k|   0 |   0 |-3.655000e+02 |-5.300000e+01 |  85.50%
95.55/95.61	c  91.6s|     1 |     0 | 32950 |     - | 107M|   0 | 741 |1000 |  37k|1000 |6367 |  13k|   0 |   0 |-3.650000e+02 |-5.300000e+01 |  85.48%
97.05/97.10	c  93.1s|     1 |     0 | 33972 |     - | 107M|   0 | 725 |1000 |  37k|1000 |6646 |  13k|   0 |   0 |-3.635000e+02 |-5.300000e+01 |  85.42%
98.55/98.67	c  94.6s|     1 |     0 | 34971 |     - | 107M|   0 | 722 |1000 |  37k|1000 |6697 |  13k|   0 |   0 |-3.625000e+02 |-5.300000e+01 |  85.38%
99.95/100.03	c  96.0s|     1 |     0 | 35820 |     - | 108M|   0 | 721 |1000 |  37k|1000 |6840 |  14k|   0 |   0 |-3.615000e+02 |-5.300000e+01 |  85.34%
102.45/102.56	c  98.5s|     1 |     0 | 37343 |     - | 108M|   0 | 719 |1000 |  37k|1000 |6365 |  14k|   0 |   0 |-3.595000e+02 |-5.300000e+01 |  85.26%
103.45/103.52	c  99.4s|     1 |     0 | 37913 |     - | 108M|   0 | 714 |1000 |  37k|1000 |6376 |  14k|   0 |   0 |-3.590000e+02 |-5.300000e+01 |  85.24%
104.55/104.60	c   100s|     1 |     0 | 38625 |     - | 108M|   0 | 720 |1000 |  37k|1000 |6484 |  14k|   0 |   0 |-3.582500e+02 |-5.300000e+01 |  85.21%
105.05/105.18	c   101s|     1 |     0 | 38937 |     - | 108M|   0 | 715 |1000 |  37k|1000 |6492 |  14k|   0 |   0 |-3.577500e+02 |-5.300000e+01 |  85.19%
106.35/106.48	c   102s|     1 |     0 | 39740 |     - | 108M|   0 | 717 |1000 |  37k|1000 |6611 |  14k|   0 |   0 |-3.567500e+02 |-5.300000e+01 |  85.14%
108.05/108.13	c   104s|     1 |     0 | 40911 |     - | 108M|   0 | 719 |1000 |  37k|1000 |6729 |  14k|   0 |   0 |-3.552500e+02 |-5.300000e+01 |  85.08%
109.24/109.38	c   105s|     1 |     0 | 41783 |     - | 108M|   0 | 709 |1000 |  37k|1000 |5972 |  14k|   0 |   0 |-3.537500e+02 |-5.300000e+01 |  85.02%
110.64/110.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
110.64/110.74	c   107s|     1 |     0 | 43064 |     - | 108M|   0 | 726 |1000 |  37k|1000 |6027 |  14k|   0 |   0 |-3.527500e+02 |-5.300000e+01 |  84.98%
112.15/112.27	c   108s|     1 |     0 | 44301 |     - | 108M|   0 | 700 |1000 |  37k|1000 |6246 |  14k|   0 |   0 |-3.510000e+02 |-5.300000e+01 |  84.90%
113.34/113.42	c   109s|     1 |     0 | 45109 |     - | 108M|   0 | 692 |1000 |  37k|1000 |6389 |  14k|   0 |   0 |-3.500000e+02 |-5.300000e+01 |  84.86%
114.65/114.74	c   111s|     1 |     0 | 46031 |     - | 108M|   0 | 706 |1000 |  37k|1000 |6571 |  15k|   0 |   0 |-3.495000e+02 |-5.300000e+01 |  84.84%
116.34/116.46	c   112s|     1 |     0 | 47143 |     - | 108M|   0 | 691 |1000 |  37k|1000 |6801 |  15k|   0 |   0 |-3.475000e+02 |-5.300000e+01 |  84.75%
117.74/117.89	c   114s|     1 |     0 | 47939 |     - | 108M|   0 | 696 |1000 |  37k|1000 |6378 |  15k|   0 |   0 |-3.470000e+02 |-5.300000e+01 |  84.73%
119.34/119.44	c   115s|     1 |     0 | 49043 |     - | 108M|   0 | 721 |1000 |  37k|1000 |6429 |  15k|   0 |   0 |-3.466667e+02 |-5.300000e+01 |  84.71%
121.14/121.26	c   117s|     1 |     0 | 50340 |     - | 109M|   0 | 693 |1000 |  37k|1000 |6637 |  15k|   0 |   0 |-3.440000e+02 |-5.300000e+01 |  84.59%
122.44/122.56	c   118s|     1 |     0 | 51266 |     - | 109M|   0 | 705 |1000 |  37k|1000 |6648 |  15k|   0 |   0 |-3.435000e+02 |-5.300000e+01 |  84.57%
123.94/124.07	c   120s|     1 |     0 | 52166 |     - | 109M|   0 | 682 |1000 |  37k|1000 |6661 |  15k|   0 |   0 |-3.425000e+02 |-5.300000e+01 |  84.53%
126.04/126.17	c   122s|     1 |     0 | 53679 |     - | 109M|   0 | 744 |1000 |  37k|1000 |6777 |  15k|   0 |   0 |-3.411000e+02 |-5.300000e+01 |  84.46%
127.73/127.82	c   123s|     1 |     0 | 54569 |     - | 110M|   0 | 719 |1000 |  37k|1000 |7378 |  17k|   0 |   0 |-3.399375e+02 |-5.300000e+01 |  84.41%
129.65/129.79	c   125s|     1 |     0 | 55886 |     - | 110M|   0 | 677 |1000 |  37k|1000 |7439 |  17k|   0 |   0 |-3.382500e+02 |-5.300000e+01 |  84.33%
130.85/130.99	c   127s|     1 |     0 | 56615 |     - | 110M|   0 | 700 |1000 |  37k|1000 |7453 |  17k|   0 |   0 |-3.373333e+02 |-5.300000e+01 |  84.29%
132.44/132.58	c   128s|     1 |     0 | 57543 |     - | 110M|   0 | 673 |1000 |  37k|1000 |7608 |  17k|   0 |   0 |-3.365000e+02 |-5.300000e+01 |  84.25%
133.63/133.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
133.63/133.78	c   129s|     1 |     0 | 58167 |     - | 110M|   0 | 672 |1000 |  37k|1000 |7618 |  17k|   0 |   0 |-3.360000e+02 |-5.300000e+01 |  84.23%
135.53/135.64	c   131s|     1 |     0 | 59268 |     - | 110M|   0 | 705 |1000 |  37k|1000 |7626 |  17k|   0 |   0 |-3.358333e+02 |-5.300000e+01 |  84.22%
137.44/137.54	c   133s|     1 |     0 | 60508 |     - | 110M|   0 | 722 |1000 |  37k|1000 |7067 |  17k|   0 |   0 |-3.344600e+02 |-5.300000e+01 |  84.15%
139.54/139.65	c   135s|     1 |     0 | 61966 |     - | 110M|   0 | 763 |1000 |  37k|1000 |7168 |  17k|   0 |   0 |-3.331875e+02 |-5.300000e+01 |  84.09%
141.43/141.58	c   137s|     1 |     0 | 63089 |     - | 111M|   0 | 738 |1000 |  37k|1000 |7877 |  18k|   0 |   0 |-3.318462e+02 |-5.300000e+01 |  84.03%
144.93/145.04	c   141s|     1 |     0 | 64892 |     - | 111M|   0 | 732 |1000 |  37k|1000 |8022 |  18k|   0 |   0 |-3.308000e+02 |-5.300000e+01 |  83.98%
147.34/147.43	c   143s|     1 |     0 | 66107 |     - | 112M|   0 | 681 |1000 |  37k|1000 |8073 |  18k|   0 |   0 |-3.301000e+02 |-5.300000e+01 |  83.94%
149.73/149.82	c   145s|     1 |     0 | 67810 |     - | 112M|   0 | 709 |1000 |  37k|1000 |8084 |  18k|   0 |   0 |-3.287917e+02 |-5.300000e+01 |  83.88%
151.83/151.94	c   147s|     1 |     0 | 69098 |     - | 113M|   0 | 712 |1000 |  37k|1000 |7122 |  18k|   0 |   0 |-3.283333e+02 |-5.300000e+01 |  83.86%
154.73/154.89	c   150s|     1 |     0 | 70928 |     - | 113M|   0 | 745 |1000 |  37k|1000 |7159 |  18k|   0 |   0 |-3.274000e+02 |-5.300000e+01 |  83.81%
159.23/159.37	c   155s|     1 |     0 | 73507 |     - | 113M|   0 | 720 |1000 |  37k|1000 |7449 |  18k|   0 |   0 |-3.265000e+02 |-5.300000e+01 |  83.77%
165.63/165.71	c   161s|     1 |     0 | 76772 |     - | 113M|   0 | 774 |1000 |  37k|1000 |7566 |  19k|   0 |   0 |-3.259170e+02 |-5.300000e+01 |  83.74%
168.82/168.94	c   164s|     1 |     0 | 78366 |     - | 114M|   0 | 759 |1000 |  37k|1000 |7754 |  19k|   0 |   0 |-3.252772e+02 |-5.300000e+01 |  83.71%
171.53/171.64	c   167s|     1 |     0 | 79951 |     - | 115M|   0 | 777 |1000 |  37k|1000 |7800 |  19k|   0 |   0 |-3.244839e+02 |-5.300000e+01 |  83.67%
174.73/174.86	c   170s|     1 |     0 | 81550 |     - | 115M|   0 | 763 |1000 |  37k|1000 |7186 |  19k|   0 |   0 |-3.234377e+02 |-5.300000e+01 |  83.61%
176.62/176.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
176.62/176.79	c   172s|     1 |     0 | 82599 |     - | 116M|   0 | 768 |1000 |  37k|1000 |7232 |  19k|   0 |   0 |-3.231248e+02 |-5.300000e+01 |  83.60%
179.72/179.84	c   175s|     1 |     0 | 84245 |     - | 117M|   0 | 728 |1000 |  37k|1000 |7309 |  19k|   0 |   0 |-3.222024e+02 |-5.300000e+01 |  83.55%
182.91/183.07	c   178s|     1 |     0 | 86124 |     - | 118M|   0 | 753 |1000 |  37k|1000 |7364 |  19k|   0 |   0 |-3.212240e+02 |-5.300000e+01 |  83.50%
186.21/186.39	c   182s|     1 |     0 | 88182 |     - | 119M|   0 | 730 |1000 |  37k|1000 |7487 |  19k|   0 |   0 |-3.201354e+02 |-5.300000e+01 |  83.44%
189.81/189.97	c   185s|     1 |     0 | 90011 |     - | 120M|   0 | 768 |1000 |  37k|1000 |7578 |  19k|   0 |   0 |-3.196493e+02 |-5.300000e+01 |  83.42%
194.52/194.65	c   190s|     1 |     0 | 92289 |     - | 120M|   0 | 755 |1000 |  37k|1000 |7244 |  19k|   0 |   0 |-3.170712e+02 |-5.300000e+01 |  83.28%
198.01/198.11	c   193s|     1 |     0 | 94262 |     - | 121M|   0 | 830 |1000 |  37k|1000 |7306 |  19k|   0 |   0 |-3.159636e+02 |-5.300000e+01 |  83.23%
204.52/204.68	c   200s|     1 |     0 | 96101 |     - | 121M|   0 | 792 |1000 |  37k|1000 |9137 |  21k|   0 |   0 |-3.143432e+02 |-5.300000e+01 |  83.14%
207.71/207.82	c   203s|     1 |     0 | 97121 |     - | 121M|   0 | 787 |1000 |  37k|1000 |9184 |  21k|   0 |   0 |-3.141400e+02 |-5.300000e+01 |  83.13%
212.00/212.18	c   207s|     1 |     0 | 98596 |     - | 121M|   0 | 794 |1000 |  37k|1000 |9197 |  21k|   0 |   0 |-3.132438e+02 |-5.300000e+01 |  83.08%
217.11/217.27	c   212s|     1 |     0 |100362 |     - | 121M|   0 | 800 |1000 |  37k|1000 |9215 |  21k|   0 |   0 |-3.123547e+02 |-5.300000e+01 |  83.03%
223.20/223.39	c   218s|     1 |     0 |102534 |     - | 121M|   0 | 801 |1000 |  37k|1000 |9037 |  22k|   0 |   0 |-3.113276e+02 |-5.300000e+01 |  82.98%
227.70/227.82	c   223s|     1 |     0 |104127 |     - | 121M|   0 | 800 |1000 |  37k|1000 |9107 |  22k|   0 |   0 |-3.109750e+02 |-5.300000e+01 |  82.96%
234.21/234.40	c   229s|     1 |     0 |106730 |     - | 121M|   0 | 793 |1000 |  37k|1000 |9251 |  22k|   0 |   0 |-3.096642e+02 |-5.300000e+01 |  82.88%
239.40/239.53	c   234s|     1 |     0 |108686 |     - | 121M|   0 | 803 |1000 |  37k|1000 |9319 |  22k|   0 |   0 |-3.085332e+02 |-5.300000e+01 |  82.82%
245.30/245.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
245.30/245.43	c   240s|     1 |     0 |110718 |     - | 122M|   0 | 813 |1000 |  37k|1000 |9355 |  22k|   0 |   0 |-3.076040e+02 |-5.300000e+01 |  82.77%
251.49/251.69	c   246s|     1 |     0 |112510 |     - | 122M|   0 | 821 |1000 |  37k|1000 |9446 |  22k|   0 |   0 |-3.069256e+02 |-5.300000e+01 |  82.73%
257.69/257.87	c   253s|     1 |     0 |114284 |     - | 122M|   0 | 827 |1000 |  37k|1000 |9024 |  22k|   0 |   0 |-3.059461e+02 |-5.300000e+01 |  82.68%
264.17/264.31	c   259s|     1 |     0 |116178 |     - | 122M|   0 | 820 |1000 |  37k|1000 |9086 |  22k|   0 |   0 |-3.042536e+02 |-5.300000e+01 |  82.58%
269.17/269.38	c   264s|     1 |     0 |117505 |     - | 122M|   0 | 817 |1000 |  37k|1000 |9214 |  22k|   0 |   0 |-3.036645e+02 |-5.300000e+01 |  82.55%
275.37/275.56	c   270s|     1 |     0 |119226 |     - | 122M|   0 | 823 |1000 |  37k|1000 |9277 |  22k|   0 |   0 |-3.024881e+02 |-5.300000e+01 |  82.48%
281.47/281.67	c   276s|     1 |     0 |120910 |     - | 122M|   0 | 829 |1000 |  37k|1000 |9323 |  22k|   0 |   0 |-3.011536e+02 |-5.300000e+01 |  82.40%
288.86/289.05	c   283s|     1 |     0 |122853 |     - | 121M|   0 | 830 |1000 |  37k|1000 |9381 |  22k|   0 |   0 |-3.001408e+02 |-5.300000e+01 |  82.34%
296.55/296.72	c   291s|     1 |     0 |125222 |     - | 121M|   0 | 822 |1000 |  37k|1000 |9198 |  22k|   0 |   0 |-2.988570e+02 |-5.300000e+01 |  82.27%
303.16/303.33	c   298s|     1 |     0 |127006 |     - | 121M|   0 | 832 |1000 |  37k|1000 |9323 |  23k|   0 |   0 |-2.978313e+02 |-5.300000e+01 |  82.20%
310.86/311.09	c   305s|     1 |     0 |128972 |     - | 121M|   0 | 835 |1000 |  37k|1000 |9506 |  23k|   0 |   0 |-2.963798e+02 |-5.300000e+01 |  82.12%
316.35/316.50	c   311s|     1 |     0 |130200 |     - | 121M|   0 | 841 |1000 |  37k|1000 |9651 |  23k|   0 |   0 |-2.956937e+02 |-5.300000e+01 |  82.08%
323.45/323.65	c   318s|     1 |     0 |132246 |     - | 121M|   0 | 827 |1000 |  37k|1000 |9715 |  23k|   0 |   0 |-2.947310e+02 |-5.300000e+01 |  82.02%
330.64/330.83	c   325s|     1 |     0 |134230 |     - | 121M|   0 | 844 |1000 |  37k|1000 |9826 |  23k|   0 |   0 |-2.939596e+02 |-5.300000e+01 |  81.97%
337.84/338.05	c   332s|     1 |     0 |135951 |     - | 121M|   0 | 835 |1000 |  37k|1000 |9477 |  23k|   0 |   0 |-2.931826e+02 |-5.300000e+01 |  81.92%
344.34/344.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
344.34/344.52	c   339s|     1 |     0 |137509 |     - | 121M|   0 | 838 |1000 |  37k|1000 |9546 |  23k|   0 |   0 |-2.923576e+02 |-5.300000e+01 |  81.87%
350.03/350.27	c   344s|     1 |     0 |138750 |     - | 121M|   0 | 856 |1000 |  37k|1000 |9559 |  23k|   0 |   0 |-2.919351e+02 |-5.300000e+01 |  81.85%
358.13/358.39	c   352s|     1 |     0 |140710 |     - | 121M|   0 | 850 |1000 |  37k|1000 |9584 |  23k|   0 |   0 |-2.911895e+02 |-5.300000e+01 |  81.80%
366.24/366.48	c   360s|     1 |     0 |142632 |     - | 121M|   0 | 833 |1000 |  37k|1000 |9669 |  23k|   0 |   0 |-2.903362e+02 |-5.300000e+01 |  81.75%
374.12/374.32	c   368s|     1 |     0 |144806 |     - | 121M|   0 | 827 |1000 |  37k|1000 |9697 |  23k|   0 |   0 |-2.893653e+02 |-5.300000e+01 |  81.68%
382.22/382.43	c   376s|     1 |     0 |146856 |     - | 121M|   0 | 846 |1000 |  37k|1000 |9469 |  23k|   0 |   0 |-2.885295e+02 |-5.300000e+01 |  81.63%
391.82/392.03	c   386s|     1 |     0 |149103 |     - | 121M|   0 | 847 |1000 |  37k|1000 |9540 |  24k|   0 |   0 |-2.875818e+02 |-5.300000e+01 |  81.57%
400.32/400.53	c   394s|     1 |     0 |151193 |     - | 121M|   0 | 840 |1000 |  37k|1000 |9606 |  24k|   0 |   0 |-2.868549e+02 |-5.300000e+01 |  81.52%
409.72/409.95	c   404s|     1 |     0 |153547 |     - | 121M|   0 | 847 |1000 |  37k|1000 |9617 |  24k|   0 |   0 |-2.860084e+02 |-5.300000e+01 |  81.47%
417.72/417.96	c   412s|     1 |     0 |155262 |     - | 121M|   0 | 857 |1000 |  37k|1000 |9697 |  24k|   0 |   0 |-2.852706e+02 |-5.300000e+01 |  81.42%
428.90/429.19	c   423s|     1 |     0 |157809 |     - | 120M|   0 | 858 |1000 |  37k|1000 |9737 |  24k|   0 |   0 |-2.839939e+02 |-5.300000e+01 |  81.34%
438.30/438.55	c   432s|     1 |     0 |159591 |     - | 120M|   0 | 868 |1000 |  37k|1000 |9537 |  24k|   0 |   0 |-2.834491e+02 |-5.300000e+01 |  81.30%
450.30/450.59	c   444s|     1 |     0 |162234 |     - | 120M|   0 | 854 |1000 |  37k|1000 |9569 |  24k|   0 |   0 |-2.817357e+02 |-5.300000e+01 |  81.19%
459.80/460.09	c   453s|     1 |     0 |163789 |     - | 120M|   0 | 869 |1000 |  37k|1000 |9664 |  24k|   0 |   0 |-2.812492e+02 |-5.300000e+01 |  81.16%
469.60/469.83	c   463s|     1 |     0 |165374 |     - | 120M|   0 | 871 |1000 |  37k|1000 |9721 |  24k|   0 |   0 |-2.807875e+02 |-5.300000e+01 |  81.12%
482.49/482.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
482.49/482.78	c   476s|     1 |     0 |168079 |     - | 120M|   0 | 865 |1000 |  37k|1000 |9753 |  24k|   0 |   0 |-2.798976e+02 |-5.300000e+01 |  81.06%
494.38/494.64	c   488s|     1 |     0 |170603 |     - | 120M|   0 | 872 |1000 |  37k|1000 |9804 |  24k|   0 |   0 |-2.789538e+02 |-5.300000e+01 |  81.00%
508.28/508.60	c   502s|     1 |     0 |173506 |     - | 120M|   0 | 874 |1000 |  37k|1000 |9655 |  24k|   0 |   0 |-2.777220e+02 |-5.300000e+01 |  80.92%
521.67/521.91	c   515s|     1 |     0 |175913 |     - | 120M|   0 | 867 |1000 |  37k|1000 |9800 |  24k|   0 |   0 |-2.768901e+02 |-5.300000e+01 |  80.86%
533.67/533.95	c   527s|     1 |     0 |177837 |     - | 120M|   0 | 858 |1000 |  37k|1000 |9851 |  24k|   0 |   0 |-2.761883e+02 |-5.300000e+01 |  80.81%
545.47/545.74	c   539s|     1 |     0 |179987 |     - | 120M|   0 | 864 |1000 |  37k|1000 |9861 |  24k|   0 |   0 |-2.753773e+02 |-5.300000e+01 |  80.75%
559.76/560.00	c   553s|     1 |     0 |182676 |     - | 120M|   0 | 878 |1000 |  37k|1000 |9880 |  24k|   0 |   0 |-2.742867e+02 |-5.300000e+01 |  80.68%
573.55/573.83	c   567s|     1 |     0 |184795 |     - | 120M|   0 | 866 |1000 |  37k|1000 |9987 |  24k|   0 |   0 |-2.737850e+02 |-5.300000e+01 |  80.64%
585.96/586.30	c   579s|     1 |     0 |186697 |     - | 120M|   0 | 880 |1000 |  37k|1000 |9842 |  24k|   0 |   0 |-2.734564e+02 |-5.300000e+01 |  80.62%
598.55/598.84	c   591s|     1 |     0 |188374 |     - | 119M|   0 | 886 |1000 |  37k|1000 |9973 |  25k|   0 |   0 |-2.731814e+02 |-5.300000e+01 |  80.60%
614.14/614.41	c   607s|     1 |     0 |191004 |     - | 119M|   0 | 873 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.721848e+02 |-5.300000e+01 |  80.53%
629.63/629.91	c   622s|     1 |     0 |193436 |     - | 119M|   0 | 878 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.715617e+02 |-5.300000e+01 |  80.48%
644.93/645.29	c   638s|     1 |     0 |195818 |     - | 119M|   0 | 880 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.709227e+02 |-5.300000e+01 |  80.44%
659.92/660.22	c   652s|     1 |     0 |197953 |     - | 119M|   0 | 895 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.703680e+02 |-5.300000e+01 |  80.40%
678.71/679.05	c   671s|     1 |     0 |201094 |     - | 119M|   0 | 887 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.693929e+02 |-5.300000e+01 |  80.33%
693.11/693.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
693.11/693.40	c   686s|     1 |     0 |203054 |     - | 119M|   0 | 887 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.688480e+02 |-5.300000e+01 |  80.29%
710.90/711.26	c   703s|     1 |     0 |206035 |     - | 119M|   0 | 899 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.680915e+02 |-5.300000e+01 |  80.23%
726.30/726.63	c   719s|     1 |     0 |207921 |     - | 119M|   0 | 898 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.676370e+02 |-5.300000e+01 |  80.20%
742.10/742.47	c   734s|     1 |     0 |209824 |     - | 119M|   0 | 886 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.671596e+02 |-5.300000e+01 |  80.16%
758.38/758.73	c   750s|     1 |     0 |211920 |     - | 119M|   0 | 893 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.664660e+02 |-5.300000e+01 |  80.11%
772.99/773.37	c   765s|     1 |     0 |213138 |     - | 119M|   0 | 887 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.662728e+02 |-5.300000e+01 |  80.10%
788.88/789.23	c   781s|     1 |     0 |215290 |     - | 119M|   0 | 892 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.657447e+02 |-5.300000e+01 |  80.06%
804.88/805.28	c   797s|     1 |     0 |217057 |     - | 119M|   0 | 899 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.651839e+02 |-5.300000e+01 |  80.01%
819.37/819.79	c   811s|     1 |     0 |218373 |     - | 119M|   0 | 894 |1000 |  37k|1000 |  10k|  25k|   0 |   0 |-2.649639e+02 |-5.300000e+01 |  80.00%
836.77/837.17	c   829s|     1 |     0 |220728 |     - | 119M|   0 | 902 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.642790e+02 |-5.300000e+01 |  79.95%
852.16/852.60	c   844s|     1 |     0 |222144 |     - | 119M|   0 | 907 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.640596e+02 |-5.300000e+01 |  79.93%
868.24/868.67	c   860s|     1 |     0 |223764 |     - | 119M|   0 | 915 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.638134e+02 |-5.300000e+01 |  79.91%
884.84/885.30	c   876s|     1 |     0 |225600 |     - | 119M|   0 | 913 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.633152e+02 |-5.300000e+01 |  79.87%
899.04/899.40	c   890s|     1 |     0 |226581 |     - | 119M|   0 | 912 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.631642e+02 |-5.300000e+01 |  79.86%
915.23/915.63	c   907s|     1 |     0 |228314 |     - | 119M|   0 | 908 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.627573e+02 |-5.300000e+01 |  79.83%
930.13/930.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
930.13/930.60	c   922s|     1 |     0 |229499 |     - | 119M|   0 | 917 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.625097e+02 |-5.300000e+01 |  79.81%
946.02/946.46	c   937s|     1 |     0 |230751 |     - | 119M|   0 | 923 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.622151e+02 |-5.300000e+01 |  79.79%
962.61/963.06	c   954s|     1 |     0 |232276 |     - | 119M|   0 | 923 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.618846e+02 |-5.300000e+01 |  79.76%
977.51/977.95	c   969s|     1 |     0 |233347 |     - | 119M|   0 | 932 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.616960e+02 |-5.300000e+01 |  79.75%
993.10/993.55	c   984s|     1 |     0 |234541 |     - | 119M|   0 | 930 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.614131e+02 |-5.300000e+01 |  79.73%
1010.20/1010.64	c  1001s|     1 |     0 |236233 |     - | 119M|   0 | 928 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.609984e+02 |-5.300000e+01 |  79.69%
1026.79/1027.28	c  1018s|     1 |     0 |237615 |     - | 118M|   0 | 927 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.606885e+02 |-5.300000e+01 |  79.67%
1043.68/1044.18	c  1035s|     1 |     0 |239089 |     - | 118M|   0 | 929 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.604673e+02 |-5.300000e+01 |  79.65%
1061.78/1062.28	c  1053s|     1 |     0 |240767 |     - | 118M|   0 | 929 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.600826e+02 |-5.300000e+01 |  79.62%
1079.37/1079.83	c  1070s|     1 |     0 |242364 |     - | 118M|   0 | 929 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.596924e+02 |-5.300000e+01 |  79.59%
1097.16/1097.69	c  1088s|     1 |     0 |243989 |     - | 118M|   0 | 933 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.593631e+02 |-5.300000e+01 |  79.57%
1113.95/1114.44	c  1105s|     1 |     0 |245207 |     - | 118M|   0 | 933 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.590923e+02 |-5.300000e+01 |  79.54%
1129.85/1130.30	c  1120s|     1 |     0 |246099 |     - | 118M|   0 | 926 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.589160e+02 |-5.300000e+01 |  79.53%
1146.95/1147.50	c  1137s|     1 |     0 |247399 |     - | 118M|   0 | 933 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.585295e+02 |-5.300000e+01 |  79.50%
1162.15/1162.64	c  1153s|     1 |     0 |248053 |     - | 117M|   0 | 938 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.584136e+02 |-5.300000e+01 |  79.49%
1178.03/1178.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1178.03/1178.58	c  1168s|     1 |     0 |249145 |     - | 117M|   0 | 942 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.581793e+02 |-5.300000e+01 |  79.47%
1195.23/1195.73	c  1185s|     1 |     0 |250431 |     - | 117M|   0 | 934 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.578428e+02 |-5.300000e+01 |  79.44%
1216.03/1216.58	c  1206s|     1 |     0 |252561 |     - | 117M|   0 | 936 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.573305e+02 |-5.300000e+01 |  79.40%
1233.11/1233.68	c  1223s|     1 |     0 |253791 |     - | 116M|   0 | 940 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.570339e+02 |-5.300000e+01 |  79.38%
1252.20/1252.72	c  1242s|     1 |     0 |255539 |     - | 116M|   0 | 934 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.563989e+02 |-5.300000e+01 |  79.33%
1270.00/1270.56	c  1260s|     1 |     0 |256752 |     - | 115M|   0 | 952 |1000 |  37k|1000 |  10k|  26k|   0 |   0 |-2.560656e+02 |-5.300000e+01 |  79.30%
1286.29/1286.81	c  1276s|     1 |     0 |257863 |     - | 115M|   0 | 943 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.558118e+02 |-5.300000e+01 |  79.28%
1304.58/1305.14	c  1294s|     1 |     0 |259299 |     - | 115M|   0 | 946 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.555590e+02 |-5.300000e+01 |  79.26%
1322.48/1323.03	c  1312s|     1 |     0 |260531 |     - | 115M|   0 | 941 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.553054e+02 |-5.300000e+01 |  79.24%
1341.48/1342.01	c  1331s|     1 |     0 |262077 |     - | 114M|   0 | 942 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.549955e+02 |-5.300000e+01 |  79.22%
1360.17/1360.71	c  1350s|     1 |     0 |263492 |     - | 113M|   0 | 943 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.546846e+02 |-5.300000e+01 |  79.19%
1376.15/1376.73	c  1366s|     1 |     0 |264209 |     - | 113M|   0 | 940 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.545663e+02 |-5.300000e+01 |  79.18%
1391.85/1392.45	c  1381s|     1 |     0 |265108 |     - | 111M|   0 | 946 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.544397e+02 |-5.300000e+01 |  79.17%
1408.64/1409.28	c  1398s|     1 |     0 |266158 |     - | 111M|   0 | 952 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.542743e+02 |-5.300000e+01 |  79.16%
1425.34/1425.95	c  1415s|     1 |     0 |266956 |     - | 110M|   0 | 952 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.540679e+02 |-5.300000e+01 |  79.14%
1442.54/1443.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1442.54/1443.18	c  1432s|     1 |     0 |267938 |     - | 109M|   0 | 954 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.538715e+02 |-5.300000e+01 |  79.12%
1459.52/1460.15	c  1449s|     1 |     0 |268771 |     - | 108M|   0 | 960 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.536441e+02 |-5.300000e+01 |  79.10%
1477.62/1478.24	c  1467s|     1 |     0 |269776 |     - | 108M|   0 | 964 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.534682e+02 |-5.300000e+01 |  79.09%
1495.02/1495.65	c  1484s|     1 |     0 |270702 |     - | 106M|   0 | 960 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.533212e+02 |-5.300000e+01 |  79.08%
1513.50/1514.19	c  1502s|     1 |     0 |271708 |     - | 106M|   0 | 960 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.531304e+02 |-5.300000e+01 |  79.06%
1533.60/1534.21	c  1522s|     1 |     0 |273184 |     - | 106M|   0 | 962 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.527696e+02 |-5.300000e+01 |  79.03%
1550.99/1551.60	c  1540s|     1 |     0 |274034 |     - | 106M|   0 | 969 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.525778e+02 |-5.300000e+01 |  79.02%
1569.48/1570.11	c  1558s|     1 |     0 |274967 |     - | 106M|   0 | 965 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.522828e+02 |-5.300000e+01 |  78.99%
1587.98/1588.61	c  1576s|     1 |     0 |275906 |     - | 106M|   0 | 966 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.520542e+02 |-5.300000e+01 |  78.97%
1606.57/1607.22	c  1595s|     1 |     0 |277051 |     - | 106M|   0 | 965 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.517821e+02 |-5.300000e+01 |  78.95%
1624.56/1625.29	c  1613s|     1 |     0 |278050 |     - | 106M|   0 | 965 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.515380e+02 |-5.300000e+01 |  78.93%
1643.66/1644.35	c  1632s|     1 |     0 |279158 |     - | 106M|   0 | 968 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.512940e+02 |-5.300000e+01 |  78.91%
1662.15/1662.81	c  1650s|     1 |     0 |280068 |     - | 106M|   0 | 977 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.511485e+02 |-5.300000e+01 |  78.90%
1681.26/1681.99	c  1669s|     1 |     0 |280953 |     - | 106M|   0 | 975 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.510412e+02 |-5.300000e+01 |  78.89%
1701.84/1702.57	c  1690s|     1 |     0 |282219 |     - | 106M|   0 | 974 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.508229e+02 |-5.300000e+01 |  78.87%
1721.03/1721.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1721.03/1721.71	c  1709s|     1 |     0 |283114 |     - | 106M|   0 | 977 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.506441e+02 |-5.300000e+01 |  78.85%
1740.03/1740.76	c  1728s|     1 |     0 |284173 |     - | 106M|   0 | 976 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.504231e+02 |-5.300000e+01 |  78.84%
1757.52/1758.27	c  1745s|     1 |     0 |284654 |     - | 106M|   0 | 975 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.503323e+02 |-5.300000e+01 |  78.83%
1776.61/1777.36	c  1764s|     1 |     0 |285497 |     - | 106M|   0 | 978 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.501640e+02 |-5.300000e+01 |  78.81%
1794.30/1795.04	c  1782s|     1 |     0 |286070 |     - | 106M|   0 | 980 |1000 |  37k|1000 |  11k|  27k|   0 |   0 |-2.500429e+02 |-5.300000e+01 |  78.80%
1800.01/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.30/1801.08	c  1788s|     1 |     0 |286124 |     - | 106M|   0 | 981 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.500414e+02 |-5.300000e+01 |  78.80%
1800.50/1801.25	c  1788s|     1 |     2 |286124 |     - | 106M|   0 | 981 |1000 |  37k|1000 |  10k|  27k|   0 |   0 |-2.500414e+02 |-5.300000e+01 |  78.80%
1800.50/1801.25	c 
1800.50/1801.25	c SCIP Status        : solving was interrupted [user interrupt]
1800.50/1801.25	c Solving Time (sec) : 1788.13
1800.50/1801.25	c Solving Nodes      : 1
1800.50/1801.25	c Primal Bound       : -5.30000000000000e+01 (55 solutions)
1800.50/1801.25	c Dual Bound         : -2.50041350373721e+02
1800.50/1801.25	c Gap                : 78.80 %
1800.60/1801.33	s SATISFIABLE
1800.60/1801.33	v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 
1800.60/1801.33	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 
1800.60/1801.33	v -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 
1800.60/1801.33	v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 
1800.60/1801.33	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
1800.60/1801.33	v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 
1800.60/1801.33	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 
1800.60/1801.33	v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 
1800.60/1801.33	v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 
1800.60/1801.33	v -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 
1800.60/1801.33	v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 
1800.60/1801.33	v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 
1800.60/1801.33	v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 
1800.60/1801.33	v -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 
1800.60/1801.33	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 
1800.60/1801.33	v -x685 -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 
1800.60/1801.33	v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 
1800.60/1801.33	v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 
1800.60/1801.33	v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 
1800.60/1801.33	v -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 
1800.60/1801.33	v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 
1800.60/1801.33	v -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 
1800.60/1801.33	v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 x520 -x519 -x518 
1800.60/1801.33	v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 
1800.60/1801.33	v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 
1800.60/1801.33	v -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 
1800.60/1801.33	v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 
1800.60/1801.33	v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 
1800.60/1801.33	v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 
1800.60/1801.33	v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 
1800.60/1801.33	v -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 
1800.60/1801.33	v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 
1800.60/1801.33	v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 
1800.60/1801.33	v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 
1800.60/1801.33	v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 
1800.60/1801.33	v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 
1800.60/1801.33	v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 
1800.60/1801.33	v -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 
1800.60/1801.33	v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 
1800.60/1801.33	v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 x165 -x164 -x163 -x162 
1800.60/1801.33	v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 x144 -x143 -x142 -x141 
1800.60/1801.33	v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 
1800.60/1801.33	v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 
1800.60/1801.33	v -x99 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 
1800.60/1801.33	v -x73 -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 
1800.60/1801.33	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 
1800.60/1801.33	v -x21 -x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 x2 x1 
1800.60/1801.33	c SCIP Status        : solving was interrupted [user interrupt]
1800.60/1801.33	c Solving Time       :    1788.13
1800.60/1801.33	c Original Problem   :
1800.60/1801.33	c   Problem name     : HOME/instance-2666701-1276664198.opb
1800.60/1801.33	c   Variables        : 38742 (38742 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.60/1801.33	c   Constraints      : 38742 initial, 38742 maximal
1800.60/1801.33	c Presolved Problem  :
1800.60/1801.33	c   Problem name     : t_HOME/instance-2666701-1276664198.opb
1800.60/1801.33	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.60/1801.33	c   Constraints      : 37742 initial, 37742 maximal
1800.60/1801.33	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.60/1801.33	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.60/1801.33	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.60/1801.33	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.60/1801.33	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.60/1801.33	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.60/1801.33	c   probing          :       0.53          0          0          0          0          0          0          0          0
1800.60/1801.33	c   linear           :       0.26      37742          0          0      37742          0       1000          0          0
1800.60/1801.33	c   logicor          :       0.10          0          0          0          0          0          0          0          0
1800.60/1801.33	c   root node        :          -          0          -          -          0          -          -          -          -
1800.60/1801.33	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.60/1801.33	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.60/1801.33	c   logicor          :      37742        227        201          0          0          0          0      38105          0          0
1800.60/1801.33	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.60/1801.33	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.60/1801.33	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.60/1801.33	c   logicor          :       2.46       2.08       0.38       0.00       0.00
1800.60/1801.33	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.60/1801.33	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.60/1801.33	c   vbounds          :       0.01          2          0          0
1800.60/1801.33	c   rootredcost      :       0.00          0          0          0
1800.60/1801.33	c   pseudoobj        :       0.01        228          0          0
1800.60/1801.33	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.60/1801.33	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.60/1801.33	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.60/1801.33	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.60/1801.33	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.60/1801.33	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.60/1801.33	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.60/1801.33	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.60/1801.33	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.60/1801.33	c   cut pool         :       0.98        226          -          -       4362          -    (maximal pool size: 16399)
1800.60/1801.33	c   redcost          :       0.03        227          0          0          0          0
1800.60/1801.33	c   impliedbounds    :       0.97        225          0          0      28824          0
1800.60/1801.33	c   intobj           :       0.00          0          0          0          0          0
1800.60/1801.33	c   cgmip            :       0.00          0          0          0          0          0
1800.60/1801.33	c   gomory           :    1049.05        224          0          0      83336          0
1800.60/1801.33	c   strongcg         :       5.07         20          0          0      10000          0
1800.60/1801.33	c   cmir             :       3.25         10          0          0          0          0
1800.60/1801.33	c   flowcover        :       2.73         10          0          0          0          0
1800.60/1801.33	c   clique           :      11.90        221          0          0       1999          0
1800.60/1801.33	c   zerohalf         :       0.00          0          0          0          0          0
1800.60/1801.33	c   mcf              :       0.06          1          0          0          0          0
1800.60/1801.33	c   rapidlearning    :       0.00          0          0          0          0          0
1800.60/1801.33	c Pricers            :       Time      Calls       Vars
1800.60/1801.33	c   problem variables:       0.00          0          0
1800.60/1801.33	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.60/1801.33	c   relpscost        :       0.00          1          0          0          0          0          2
1800.60/1801.33	c   pscost           :       0.00          0          0          0          0          0          0
1800.60/1801.33	c   inference        :       0.00          0          0          0          0          0          0
1800.60/1801.33	c   mostinf          :       0.00          0          0          0          0          0          0
1800.60/1801.33	c   leastinf         :       0.00          0          0          0          0          0          0
1800.60/1801.33	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.60/1801.33	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.60/1801.33	c   random           :       0.00          0          0          0          0          0          0
1800.60/1801.33	c Primal Heuristics  :       Time      Calls      Found
1800.60/1801.33	c   LP solutions     :       0.00          -          0
1800.60/1801.33	c   pseudo solutions :       0.00          -          0
1800.60/1801.33	c   crossover        :       0.00          0          0
1800.60/1801.33	c   oneopt           :       0.04          2          1
1800.60/1801.33	c   trivial          :       0.10          2          2
1800.60/1801.33	c   simplerounding   :       0.48        228         50
1800.60/1801.33	c   zirounding       :       0.01          1          0
1800.60/1801.33	c   rounding         :      12.95        228          1
1800.60/1801.33	c   shifting         :      13.93        228          1
1800.60/1801.33	c   intshifting      :       0.00          0          0
1800.60/1801.33	c   twoopt           :       0.00          0          0
1800.60/1801.33	c   fixandinfer      :       0.00          0          0
1800.60/1801.33	c   feaspump         :       0.00          0          0
1800.60/1801.33	c   coefdiving       :       0.00          0          0
1800.60/1801.33	c   pscostdiving     :       0.00          0          0
1800.60/1801.33	c   fracdiving       :       0.00          0          0
1800.60/1801.33	c   veclendiving     :       0.00          0          0
1800.60/1801.33	c   intdiving        :       0.00          0          0
1800.60/1801.33	c   actconsdiving    :       0.00          0          0
1800.60/1801.33	c   objpscostdiving  :       0.00          0          0
1800.60/1801.33	c   rootsoldiving    :       0.00          0          0
1800.60/1801.33	c   linesearchdiving :       0.00          0          0
1800.60/1801.33	c   guideddiving     :       0.00          0          0
1800.60/1801.33	c   octane           :       0.00          0          0
1800.60/1801.33	c   rens             :       0.00          0          0
1800.60/1801.33	c   rins             :       0.00          0          0
1800.60/1801.33	c   localbranching   :       0.00          0          0
1800.60/1801.33	c   mutation         :       0.00          0          0
1800.60/1801.33	c   dins             :       0.00          0          0
1800.60/1801.33	c   undercover       :       0.00          0          0
1800.60/1801.33	c   nlp              :       0.00          0          0
1800.60/1801.33	c   trysol           :       0.00          0          0
1800.60/1801.33	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.60/1801.33	c   primal LP        :       0.76          0          0       0.00       0.00
1800.60/1801.33	c   dual LP          :     669.60        228     286124    1254.93     427.31
1800.60/1801.33	c   lex dual LP      :       0.00          0          0       0.00          -
1800.60/1801.33	c   barrier LP       :       0.00          0          0       0.00          -
1800.60/1801.33	c   diving/probing LP:       0.00          0          0       0.00          -
1800.60/1801.33	c   strong branching :       0.00          0          0       0.00          -
1800.60/1801.33	c     (at root node) :          -          0          0       0.00          -
1800.60/1801.33	c   conflict analysis:       0.00          0          0       0.00          -
1800.60/1801.33	c B&B Tree           :
1800.60/1801.33	c   number of runs   :          1
1800.60/1801.33	c   nodes            :          1
1800.60/1801.33	c   nodes (total)    :          1
1800.60/1801.33	c   nodes left       :          2
1800.60/1801.33	c   max depth        :          0
1800.60/1801.33	c   max depth (total):          0
1800.60/1801.33	c   backtracks       :          0 (0.0%)
1800.60/1801.33	c   delayed cutoffs  :          0
1800.60/1801.33	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.60/1801.33	c   avg switch length:       1.00
1800.60/1801.33	c   switching time   :       0.00
1800.60/1801.33	c Solution           :
1800.60/1801.33	c   Solutions found  :         55 (4 improvements)
1800.60/1801.33	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.36 seconds, depth 0, found by <trivial>)
1800.60/1801.33	c   Primal Bound     : -5.30000000000000e+01   (in run 1, after 1 nodes, 6.72 seconds, depth 0, found by <oneopt>)
1800.60/1801.33	c   Dual Bound       : -2.50041350373721e+02
1800.60/1801.33	c   Gap              :      78.80 %
1800.60/1801.33	c   Root Dual Bound  : -2.50041350373721e+02
1800.60/1801.33	c   Root Iterations  :     286124
1800.91/1801.66	c Time complete: 1800.97.

Verifier Data 

OK	-53

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8432
/proc/meminfo: memFree=1750136/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=8020 CPUtime=0
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1021 0 0 0 0 0 0 0 20 0 1 0 42021483 8212480 941 1992294400 4194304 8223781 140736455260928 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8432/statm: 2005 950 348 984 0 1018 0

[startup+0.090121 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8432
/proc/meminfo: memFree=1750136/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=18864 CPUtime=0.07
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 3972 0 0 0 7 0 0 0 20 0 1 0 42021483 19316736 3891 1992294400 4194304 8223781 140736455260928 18446744073709551615 5647073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8432/statm: 4716 3891 366 984 0 3729 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18864

[startup+0.101122 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8432
/proc/meminfo: memFree=1750136/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=19160 CPUtime=0.09
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 4028 0 0 0 9 0 0 0 20 0 1 0 42021483 19619840 3947 1992294400 4194304 8223781 140736455260928 18446744073709551615 4361601 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8432/statm: 4790 3947 366 984 0 3803 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19160

[startup+0.301164 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8432
/proc/meminfo: memFree=1750136/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=37872 CPUtime=0.29
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 8761 0 0 0 27 2 0 0 20 0 1 0 42021483 38780928 8680 1992294400 4194304 8223781 140736455260928 18446744073709551615 7070827 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8432/statm: 9468 8680 366 984 0 8481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37872

[startup+0.700249 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8432
/proc/meminfo: memFree=1750136/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=92892 CPUtime=0.68
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 22796 0 0 0 61 7 0 0 21 0 1 0 42021483 95121408 22277 1992294400 4194304 8223781 140736455260928 18446744073709551615 4769043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 23223 22277 383 984 0 22236 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 92892

[startup+1.50042 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8433
/proc/meminfo: memFree=1642248/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=125044 CPUtime=1.49
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 29824 0 0 0 137 12 0 0 23 0 1 0 42021483 128045056 29305 1992294400 4194304 8223781 140736455260928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 31261 29305 432 984 0 30274 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 125044

[startup+3.10076 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8433
/proc/meminfo: memFree=1625880/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=139156 CPUtime=3.09
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 37789 0 0 0 280 29 0 0 25 0 1 0 42021483 142495744 32734 1992294400 4194304 8223781 140736455260928 18446744073709551615 4219844 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 34789 32734 461 984 0 33802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 139156

[startup+6.30044 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8433
/proc/meminfo: memFree=1584836/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=185512 CPUtime=6.29
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 123842 0 0 0 571 58 0 0 25 0 1 0 42021483 189964288 41550 1992294400 4194304 8223781 140736455260928 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 46378 41550 540 984 0 45391 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 185512

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8433
/proc/meminfo: memFree=1583968/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=188784 CPUtime=12.69
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 276753 0 0 0 1158 111 0 0 25 0 1 0 42021483 193314816 41986 1992294400 4194304 8223781 140736455260928 18446744073709551615 6446989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 47196 41986 561 984 0 46209 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 188784

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8433
/proc/meminfo: memFree=1578016/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=193876 CPUtime=25.48
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 591478 0 0 0 2339 209 0 0 25 0 1 0 42021483 198529024 43412 1992294400 4194304 8223781 140736455260928 18446744073709551615 6299742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 48469 43412 561 984 0 47482 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 193876

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8433
/proc/meminfo: memFree=1570080/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=195360 CPUtime=51.07
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 894927 0 0 0 4797 310 0 0 25 0 1 0 42021483 200048640 45379 1992294400 4194304 8223781 140736455260928 18446744073709551615 6093199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 48840 45379 561 984 0 47853 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 195360

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8435
/proc/meminfo: memFree=1558548/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=206624 CPUtime=102.26
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 934510 0 0 0 9872 354 0 0 25 0 1 0 42021483 211582976 48108 1992294400 4194304 8223781 140736455260928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 51656 48108 562 984 0 50669 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 206624

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8437
/proc/meminfo: memFree=1549124/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=216700 CPUtime=162.23
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 982868 0 0 0 15816 407 0 0 25 0 1 0 42021483 221900800 50398 1992294400 4194304 8223781 140736455260928 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 54175 50398 561 984 0 53188 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 216700

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8439
/proc/meminfo: memFree=1538708/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=228964 CPUtime=222.2
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1023275 0 0 0 21769 451 0 0 25 0 1 0 42021483 234459136 53020 1992294400 4194304 8223781 140736455260928 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57241 53020 563 984 0 56254 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 228964

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8448
/proc/meminfo: memFree=1537592/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=228680 CPUtime=282.16
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1053577 0 0 0 27728 488 0 0 25 0 1 0 42021483 234168320 53161 1992294400 4194304 8223781 140736455260928 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57170 53161 563 984 0 56183 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 228680

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8450
/proc/meminfo: memFree=1537716/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=228828 CPUtime=342.14
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1078756 0 0 0 33693 521 0 0 25 0 1 0 42021483 234319872 53190 1992294400 4194304 8223781 140736455260928 18446744073709551615 6614424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57207 53190 563 984 0 56220 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 228828

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8452
/proc/meminfo: memFree=1537468/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=228704 CPUtime=402.12
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1104800 0 0 0 39656 556 0 0 25 0 1 0 42021483 234192896 53192 1992294400 4194304 8223781 140736455260928 18446744073709551615 6300048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57176 53192 563 984 0 56189 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 228704

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8454
/proc/meminfo: memFree=1537468/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=228768 CPUtime=462.1
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1127137 0 0 0 45619 591 0 0 25 0 1 0 42021483 234258432 53181 1992294400 4194304 8223781 140736455260928 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57192 53181 563 984 0 56205 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 228768

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8456
/proc/meminfo: memFree=1537096/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=228876 CPUtime=522.08
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1149433 0 0 0 51584 624 0 0 25 0 1 0 42021483 234369024 53271 1992294400 4194304 8223781 140736455260928 18446744073709551615 6047083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57219 53271 563 984 0 56232 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 228876

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8456
/proc/meminfo: memFree=1538088/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=229060 CPUtime=582.05
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1165599 0 0 0 57549 656 0 0 25 0 1 0 42021483 234557440 53160 1992294400 4194304 8223781 140736455260928 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57265 53160 563 984 0 56278 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 229060

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8458
/proc/meminfo: memFree=1536972/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=229204 CPUtime=642.03
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1183433 0 0 0 63518 685 0 0 25 0 1 0 42021483 234704896 53315 1992294400 4194304 8223781 140736455260928 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57301 53315 563 984 0 56314 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 229204

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8466
/proc/meminfo: memFree=1535856/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=230028 CPUtime=941.92
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1256021 0 0 0 93368 824 0 0 25 0 1 0 42021483 235548672 53529 1992294400 4194304 8223781 140736455260928 18446744073709551615 7074026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57507 53529 563 984 0 56520 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 230028

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8468
/proc/meminfo: memFree=1535608/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=229688 CPUtime=1001.9
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1270285 0 0 0 99342 848 0 0 25 0 1 0 42021483 235200512 53536 1992294400 4194304 8223781 140736455260928 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57422 53536 563 984 0 56435 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 229688

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8473
/proc/meminfo: memFree=1534864/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=229024 CPUtime=1061.87
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1286939 0 0 0 105314 873 0 0 25 0 1 0 42021483 234520576 53221 1992294400 4194304 8223781 140736455260928 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57256 53221 563 984 0 56269 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 229024

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8475
/proc/meminfo: memFree=1534864/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=230092 CPUtime=1121.85
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1298614 0 0 0 111287 898 0 0 25 0 1 0 42021483 235614208 53585 1992294400 4194304 8223781 140736455260928 18446744073709551615 6044097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57523 53585 563 984 0 56536 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 230092

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8475
/proc/meminfo: memFree=1534988/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=229592 CPUtime=1181.83
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1311372 0 0 0 117257 926 0 0 25 0 1 0 42021483 235102208 53549 1992294400 4194304 8223781 140736455260928 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57398 53549 563 984 0 56411 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 229592

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8477
/proc/meminfo: memFree=1534988/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=229648 CPUtime=1241.8
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1323429 0 0 0 123231 949 0 0 25 0 1 0 42021483 235159552 53554 1992294400 4194304 8223781 140736455260928 18446744073709551615 6032205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57412 53554 563 984 0 56425 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 229648

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8479
/proc/meminfo: memFree=1534988/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=230628 CPUtime=1301.79
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1336829 0 0 0 129203 976 0 0 25 0 1 0 42021483 236163072 53577 1992294400 4194304 8223781 140736455260928 18446744073709551615 6569618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57657 53577 563 984 0 56670 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 230628

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8481
/proc/meminfo: memFree=1534740/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=230588 CPUtime=1361.76
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1350386 0 0 0 135174 1002 0 0 25 0 1 0 42021483 236122112 53641 1992294400 4194304 8223781 140736455260928 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57647 53641 563 984 0 56660 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 230588

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8483
/proc/meminfo: memFree=1534616/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=230176 CPUtime=1421.74
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1359557 0 0 0 141148 1026 0 0 25 0 1 0 42021483 235700224 53645 1992294400 4194304 8223781 140736455260928 18446744073709551615 7073991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57544 53645 563 984 0 56557 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 230176

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8483
/proc/meminfo: memFree=1536104/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=229064 CPUtime=1481.72
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1371993 0 0 0 147118 1054 0 0 25 0 1 0 42021483 234561536 53254 1992294400 4194304 8223781 140736455260928 18446744073709551615 6047856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57266 53254 563 984 0 56279 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 229064

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8485
/proc/meminfo: memFree=1535112/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=229704 CPUtime=1541.7
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1382337 0 0 0 153091 1079 0 0 25 0 1 0 42021483 235216896 53548 1992294400 4194304 8223781 140736455260928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57426 53548 563 984 0 56439 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 229704

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8487
/proc/meminfo: memFree=1535980/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=229164 CPUtime=1601.67
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1393104 0 0 0 159064 1103 0 0 25 0 1 0 42021483 234663936 53327 1992294400 4194304 8223781 140736455260928 18446744073709551615 6299640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57291 53327 563 984 0 56304 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 229164

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 8489
/proc/meminfo: memFree=1534988/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=229996 CPUtime=1661.65
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1405235 0 0 0 165034 1131 0 0 25 0 1 0 42021483 235515904 53581 1992294400 4194304 8223781 140736455260928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57499 53581 563 984 0 56512 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 229996

[startup+1722.3 s]
/proc/loadavg: 1.10 1.04 1.01 2/107 8491
/proc/meminfo: memFree=1534492/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=230636 CPUtime=1721.63
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1417697 0 0 0 171005 1158 0 0 25 0 1 0 42021483 236171264 53664 1992294400 4194304 8223781 140736455260928 18446744073709551615 6044523 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57659 53664 563 984 0 56672 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 230636

[startup+1782.3 s]
/proc/loadavg: 1.07 1.04 1.01 2/107 8491
/proc/meminfo: memFree=1534244/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=230544 CPUtime=1781.61
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1427445 0 0 0 176978 1183 0 0 25 0 1 0 42021483 236077056 53665 1992294400 4194304 8223781 140736455260928 18446744073709551615 6300071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57636 53665 563 984 0 56649 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 230544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.12 1.06 1.01 2/107 8493
/proc/meminfo: memFree=1534120/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=230348 CPUtime=1800.01
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1430094 0 0 0 178810 1191 0 0 25 0 1 0 42021483 235876352 53681 1992294400 4194304 8223781 140736455260928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8432/statm: 57587 53681 563 984 0 56600 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 230348

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801.4 s]
/proc/loadavg: 1.12 1.06 1.01 2/107 8493
/proc/meminfo: memFree=1534120/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=225960 CPUtime=1800.7
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1432822 0 0 0 178877 1193 0 0 25 0 1 0 42021483 231383040 52747 1992294400 4194304 8223781 140736455260928 18446744073709551615 6596660 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8432/statm: 56490 52747 568 984 0 55503 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (KiB) 225960

[startup+1801.6 s]
/proc/loadavg: 1.12 1.06 1.01 2/107 8493
/proc/meminfo: memFree=1534120/2059040 swapFree=4140252/4192956
[pid=8432] ppid=8430 vsize=145908 CPUtime=1800.91
/proc/8432/stat : 8432 (pbscip.linux.x8) R 8430 8432 7185 0 -1 4202496 1432917 0 0 0 178897 1194 0 0 25 0 1 0 42021483 149409792 34686 1992294400 4194304 8223781 140736455260928 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8432/statm: 36347 34621 571 984 0 35360 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 145908

Child status: 0
Real time (s): 1801.67
CPU time (s): 1800.98
CPU user time (s): 1789.02
CPU system time (s): 11.9562
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 232576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.02
system time used= 11.9562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1432924
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= 3
involuntary context switches= 25161

runsolver used 3.11653 second user time and 8.38573 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-16 06:56:39
IDJOB=2666701
IDBENCH=48214
IDSOLVER=1169
FILE ID=node010/2666701-1276664198
PBS_JOBID= 11172457
Free space on /tmp= 62532 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666701-1276664198/watcher-2666701-1276664198 -o /tmp/evaluation-result-2666701-1276664198/solver-2666701-1276664198 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666701-1276664198.opb -t 1800 -m 1800

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

MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec
RANDOM SEED=1324764417

node010.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.267
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.53
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.267
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:       1750664 kB
Buffers:         71012 kB
Cached:         143688 kB
SwapCached:       6296 kB
Active:          97812 kB
Inactive:       130424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1750664 kB
SwapTotal:     4192956 kB
SwapFree:      4140252 kB
Dirty:            5612 kB
Writeback:           0 kB
AnonPages:       11720 kB
Mapped:          13068 kB
Slab:            58404 kB
PageTables:       3960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182740 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= 62528 MiB
End job on node010 at 2010-06-16 07:26:41