Trace number 2665229

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverSAT (TO)-49 1800.83 1801.56

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_2.opb
MD5SUM9073bcbe60c862f7d64be630b0fdd227
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.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint60
Maximum length of a constraint109
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75286
Sum of products size (including duplicates)150572
Number of different products37643
Sum of products size75286

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: Clp 1.11.1] [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-2665229-1276659379.opb>
0.39/0.42	c original problem has 38643 variables (38643 bin, 0 int, 0 impl, 0 cont) and 38643 constraints
0.39/0.42	c problem read
0.39/0.42	c presolving settings loaded
0.89/0.93	o 0
0.89/0.93	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.89/0.93	c presolving:
2.20/2.28	c (round 1) 37643 del vars, 1000 del conss, 37643 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150572 impls, 0 clqs
3.09/3.17	c    (2.5s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.09/3.17	c    (2.5s) probing aborted: 100/100 successive totally useless probings
3.09/3.17	c presolving (2 rounds):
3.09/3.17	c  37643 deleted vars, 1000 deleted constraints, 37643 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.09/3.17	c  225858 implications, 0 cliques
3.09/3.17	c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37643 constraints
3.09/3.17	c   37643 constraints of type <logicor>
3.09/3.17	c transformed objective value is always integral (scale: 1)
3.09/3.17	c Presolving Time: 2.27
3.09/3.17	c - non default parameters ----------------------------------------------------------------------
3.09/3.17	c # SCIP version 1.2.1.2
3.09/3.17	c 
3.09/3.17	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.09/3.17	c # [type: int, range: [-1,2147483647], default: -1]
3.09/3.17	c conflict/interconss = 0
3.09/3.17	c 
3.09/3.17	c # should binary conflicts be preferred?
3.09/3.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.17	c conflict/preferbinary = TRUE
3.09/3.17	c 
3.09/3.17	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.09/3.17	c # [type: int, range: [-1,2147483647], default: 0]
3.09/3.17	c constraints/agelimit = 1
3.09/3.17	c 
3.09/3.18	c # should enforcement of pseudo solution be disabled?
3.09/3.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.18	c constraints/disableenfops = TRUE
3.09/3.18	c 
3.09/3.18	c # frequency for displaying node information lines
3.09/3.18	c # [type: int, range: [-1,2147483647], default: 100]
3.09/3.18	c display/freq = 10000
3.09/3.18	c 
3.09/3.18	c # maximal time in seconds to run
3.09/3.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.18	c limits/time = 1799.59
3.09/3.18	c 
3.09/3.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.09/3.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.18	c limits/memory = 1620
3.09/3.18	c 
3.09/3.18	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.09/3.18	c # [type: int, range: [-1,2147483647], default: 1]
3.09/3.18	c lp/solvefreq = 0
3.09/3.18	c 
3.09/3.18	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.09/3.18	c # [type: char, range: {lafpsqd}, default: l]
3.09/3.18	c lp/pricing = a
3.09/3.18	c 
3.09/3.18	c # should presolving try to simplify inequalities
3.09/3.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.18	c constraints/linear/simplifyinequalities = TRUE
3.09/3.18	c 
3.09/3.18	c # should presolving try to simplify knapsacks
3.09/3.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.18	c constraints/knapsack/simplifyinequalities = TRUE
3.09/3.18	c 
3.09/3.18	c # priority of node selection rule <dfs> in standard mode
3.09/3.18	c # [type: int, range: [-536870912,536870911], default: 0]
3.09/3.18	c nodeselection/dfs/stdpriority = 1000000
3.09/3.18	c 
3.09/3.18	c -----------------------------------------------------------------------------------------------
3.09/3.18	c start solving
3.09/3.18	c 
3.68/3.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.68/3.79	c t 3.0s|     1 |     0 |  1093 |     - | 101M|   0 |1000 |1000 |  37k|1000 |  37k|   0 |   0 |   0 |-5.000000e+02 | 0.000000e+00 | 100.00%
3.79/3.89	o -1
3.79/3.89	c R 3.1s|     1 |     0 |  1093 |     - | 101M|   0 |1000 |1000 |  37k|1000 |  37k|   0 |   0 |   0 |-5.000000e+02 |-1.000000e+00 |  99.80%
3.99/4.01	o -2
3.99/4.01	c s 3.3s|     1 |     0 |  1093 |     - | 101M|   0 |1000 |1000 |  37k|1000 |  37k|   0 |   0 |   0 |-5.000000e+02 |-2.000000e+00 |  99.60%
5.59/5.60	c   4.8s|     1 |     0 |  1235 |     - | 101M|   0 | 988 |1000 |  37k|1000 |  37k|  10 |   0 |   0 |-4.940000e+02 |-2.000000e+00 |  99.60%
5.59/5.63	o -49
5.59/5.63	c b 4.8s|     1 |     0 |  1235 |     - | 101M|   0 | 988 |1000 |  37k|1000 |  37k|  10 |   0 |   0 |-4.940000e+02 |-4.900000e+01 |  90.08%
7.09/7.15	c   6.3s|     1 |     0 |  1321 |     - | 101M|   0 | 981 |1000 |  37k|1000 |  37k|  15 |   0 |   0 |-4.905000e+02 |-4.900000e+01 |  90.01%
8.98/9.06	c   8.2s|     1 |     0 |  1461 |     - | 101M|   0 | 973 |1000 |  37k|1000 |  37k|  22 |   0 |   0 |-4.865000e+02 |-4.900000e+01 |  89.93%
10.69/10.80	c   9.9s|     1 |     0 |  1556 |     - | 101M|   0 | 968 |1000 |  37k|1000 |  37k|  27 |   0 |   0 |-4.840000e+02 |-4.900000e+01 |  89.88%
12.58/12.69	c  11.7s|     1 |     0 |  1663 |     - | 101M|   0 | 961 |1000 |  37k|1000 |  37k|  32 |   0 |   0 |-4.805000e+02 |-4.900000e+01 |  89.80%
14.58/14.65	c  13.7s|     1 |     0 |  1769 |     - | 101M|   0 | 955 |1000 |  37k|1000 |  37k|  39 |   0 |   0 |-4.775000e+02 |-4.900000e+01 |  89.74%
16.98/17.05	c  16.0s|     1 |     0 |  1934 |     - | 101M|   0 | 947 |1000 |  37k|1000 |  37k|  47 |   0 |   0 |-4.735000e+02 |-4.900000e+01 |  89.65%
18.98/19.08	c  18.0s|     1 |     0 |  2043 |     - | 101M|   0 | 941 |1000 |  37k|1000 |  37k|  53 |   0 |   0 |-4.705000e+02 |-4.900000e+01 |  89.59%
21.98/22.03	c  20.9s|     1 |     0 |  2269 |     - | 101M|   0 | 932 |1000 |  37k|1000 |  37k|  64 |   0 |   0 |-4.660000e+02 |-4.900000e+01 |  89.48%
26.48/26.55	c  25.4s|     1 |     0 |  2627 |     - | 101M|   0 | 925 |1000 |  37k|1000 |  37k|  71 |   0 |   0 |-4.625000e+02 |-4.900000e+01 |  89.41%
31.67/31.72	c  30.6s|     1 |     0 |  3269 |     - | 101M|   0 | 919 |1000 |  37k|1000 |1319 |  78 |   0 |   0 |-4.595000e+02 |-4.900000e+01 |  89.34%
32.18/32.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
32.18/32.24	c  31.1s|     1 |     0 |  3471 |     - | 101M|   0 | 886 |1000 |  37k|1000 |1327 |  86 |   0 |   0 |-4.590000e+02 |-4.900000e+01 |  89.32%
33.38/33.41	c  32.2s|     1 |     0 |  4095 |     - | 102M|   0 | 902 |1000 |  37k|1000 |2381 |1140 |   0 |   0 |-4.545000e+02 |-4.900000e+01 |  89.22%
34.27/34.32	c  33.1s|     1 |     0 |  4974 |     - | 102M|   0 | 896 |1000 |  37k|1000 |2900 |1659 |   0 |   0 |-4.500000e+02 |-4.900000e+01 |  89.11%
35.08/35.19	c  34.0s|     1 |     0 |  5826 |     - | 103M|   0 | 942 |1000 |  37k|1000 |3102 |1861 |   0 |   0 |-4.475000e+02 |-4.900000e+01 |  89.05%
40.67/40.79	c  39.6s|     1 |     0 |  6168 |     - | 103M|   0 | 896 |1000 |  37k|1000 |5102 |3861 |   0 |   0 |-4.465000e+02 |-4.900000e+01 |  89.03%
41.46/41.51	c  40.3s|     1 |     0 |  6665 |     - | 103M|   0 | 888 |1000 |  37k|1000 |4705 |3868 |   0 |   0 |-4.430000e+02 |-4.900000e+01 |  88.94%
42.46/42.51	c  41.2s|     1 |     0 |  7440 |     - | 103M|   0 | 884 |1000 |  37k|1000 |4768 |3931 |   0 |   0 |-4.410000e+02 |-4.900000e+01 |  88.89%
43.47/43.53	c  42.3s|     1 |     0 |  8241 |     - | 103M|   0 | 871 |1000 |  37k|1000 |4947 |4110 |   0 |   0 |-4.385000e+02 |-4.900000e+01 |  88.83%
44.27/44.37	c  43.1s|     1 |     0 |  9015 |     - | 103M|   0 | 872 |1000 |  37k|1000 |5129 |4292 |   0 |   0 |-4.360000e+02 |-4.900000e+01 |  88.76%
45.76/45.83	c  44.5s|     1 |     0 | 10157 |     - | 103M|   0 | 855 |1000 |  37k|1000 |5138 |4301 |   0 |   0 |-4.345000e+02 |-4.900000e+01 |  88.72%
47.16/47.28	c  46.0s|     1 |     0 | 11218 |     - | 103M|   0 | 864 |1000 |  37k|1000 |5579 |4742 |   0 |   0 |-4.330000e+02 |-4.900000e+01 |  88.68%
48.56/48.67	c  47.4s|     1 |     0 | 12301 |     - | 103M|   0 | 866 |1000 |  37k|1000 |4598 |4918 |   0 |   0 |-4.319000e+02 |-4.900000e+01 |  88.65%
49.56/49.64	c  48.3s|     1 |     0 | 13221 |     - | 103M|   0 | 863 |1000 |  37k|1000 |4605 |4925 |   0 |   0 |-4.300000e+02 |-4.900000e+01 |  88.60%
50.96/51.08	c  49.7s|     1 |     0 | 14457 |     - | 104M|   0 | 891 |1000 |  37k|1000 |5227 |5547 |   0 |   0 |-4.266000e+02 |-4.900000e+01 |  88.51%
53.46/53.53	c  52.2s|     1 |     0 | 14585 |     - | 104M|   0 | 853 |1000 |  37k|1000 |7227 |7547 |   0 |   0 |-4.265000e+02 |-4.900000e+01 |  88.51%
54.16/54.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
54.16/54.26	c  52.9s|     1 |     0 | 14920 |     - | 104M|   0 | 849 |1000 |  37k|1000 |7235 |7555 |   0 |   0 |-4.245000e+02 |-4.900000e+01 |  88.46%
55.46/55.50	c  54.1s|     1 |     0 | 15577 |     - | 104M|   0 | 846 |1000 |  37k|1000 |7242 |7562 |   0 |   0 |-4.230000e+02 |-4.900000e+01 |  88.42%
57.06/57.10	c  55.7s|     1 |     0 | 16451 |     - | 104M|   0 | 839 |1000 |  37k|1000 |6205 |7569 |   0 |   0 |-4.210000e+02 |-4.900000e+01 |  88.36%
57.96/58.02	c  56.6s|     1 |     0 | 17032 |     - | 104M|   0 | 837 |1000 |  37k|1000 |6339 |7703 |   0 |   0 |-4.195000e+02 |-4.900000e+01 |  88.32%
59.16/59.20	c  57.8s|     1 |     0 | 17825 |     - | 104M|   0 | 832 |1000 |  37k|1000 |6397 |7761 |   0 |   0 |-4.170000e+02 |-4.900000e+01 |  88.25%
60.95/61.01	c  59.6s|     1 |     0 | 19214 |     - | 104M|   0 | 825 |1000 |  37k|1000 |6459 |7823 |   0 |   0 |-4.145000e+02 |-4.900000e+01 |  88.18%
62.46/62.57	c  61.1s|     1 |     0 | 20234 |     - | 104M|   0 | 824 |1000 |  37k|1000 |6569 |7933 |   0 |   0 |-4.130000e+02 |-4.900000e+01 |  88.14%
63.76/63.85	c  62.4s|     1 |     0 | 21091 |     - | 104M|   0 | 821 |1000 |  37k|1000 |6631 |7995 |   0 |   0 |-4.115000e+02 |-4.900000e+01 |  88.09%
65.26/65.36	c  63.9s|     1 |     0 | 21994 |     - | 104M|   0 | 813 |1000 |  37k|1000 |5260 |8049 |   0 |   0 |-4.095000e+02 |-4.900000e+01 |  88.03%
66.96/67.09	c  65.6s|     1 |     0 | 22976 |     - | 104M|   0 | 813 |1000 |  37k|1000 |5425 |8214 |   0 |   0 |-4.095000e+02 |-4.900000e+01 |  88.03%
68.16/68.27	c  66.8s|     1 |     0 | 23934 |     - | 104M|   0 | 807 |1000 |  37k|1000 |5595 |8384 |   0 |   0 |-4.085000e+02 |-4.900000e+01 |  88.00%
70.05/70.18	c  68.7s|     1 |     0 | 25434 |     - | 105M|   0 | 825 |1000 |  37k|1000 |5879 |8668 |   0 |   0 |-4.070000e+02 |-4.900000e+01 |  87.96%
72.35/72.46	c  71.0s|     1 |     0 | 26903 |     - | 105M|   0 | 808 |1000 |  37k|1000 |6137 |8926 |   0 |   0 |-4.050000e+02 |-4.900000e+01 |  87.90%
74.55/74.60	c  73.1s|     1 |     0 | 28419 |     - | 105M|   0 | 804 |1000 |  37k|1000 |6206 |8995 |   0 |   0 |-4.030000e+02 |-4.900000e+01 |  87.84%
75.86/75.92	c  74.4s|     1 |     0 | 29341 |     - | 105M|   0 | 804 |1000 |  37k|1000 |5874 |9051 |   0 |   0 |-4.020000e+02 |-4.900000e+01 |  87.81%
77.44/77.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
77.44/77.51	c  76.0s|     1 |     0 | 30375 |     - | 105M|   0 | 801 |1000 |  37k|1000 |5880 |9057 |   0 |   0 |-4.015000e+02 |-4.900000e+01 |  87.80%
78.55/78.63	c  77.1s|     1 |     0 | 31143 |     - | 105M|   0 | 798 |1000 |  37k|1000 |5952 |9129 |   0 |   0 |-4.000000e+02 |-4.900000e+01 |  87.75%
79.75/79.87	c  78.3s|     1 |     0 | 32222 |     - | 105M|   0 | 799 |1000 |  37k|1000 |6032 |9209 |   0 |   0 |-3.980000e+02 |-4.900000e+01 |  87.69%
81.05/81.11	c  79.5s|     1 |     0 | 33179 |     - | 106M|   0 | 791 |1000 |  37k|1000 |6203 |9380 |   0 |   0 |-3.955000e+02 |-4.900000e+01 |  87.61%
83.46/83.58	c  82.0s|     1 |     0 | 34951 |     - | 106M|   0 | 787 |1000 |  37k|1000 |6214 |9391 |   0 |   0 |-3.935000e+02 |-4.900000e+01 |  87.55%
84.25/84.37	c  82.7s|     1 |     0 | 35411 |     - | 106M|   0 | 784 |1000 |  37k|1000 |5671 |9396 |   0 |   0 |-3.930000e+02 |-4.900000e+01 |  87.53%
86.15/86.28	c  84.6s|     1 |     0 | 36933 |     - | 106M|   0 | 774 |1000 |  37k|1000 |5720 |9445 |   0 |   0 |-3.910000e+02 |-4.900000e+01 |  87.47%
88.04/88.14	c  86.5s|     1 |     0 | 38499 |     - | 106M|   0 | 779 |1000 |  37k|1000 |5936 |9661 |   0 |   0 |-3.895000e+02 |-4.900000e+01 |  87.42%
89.94/90.08	c  88.4s|     1 |     0 | 40054 |     - | 106M|   0 | 777 |1000 |  37k|1000 |5945 |9670 |   0 |   0 |-3.883333e+02 |-4.900000e+01 |  87.38%
91.34/91.45	c  89.7s|     1 |     0 | 41344 |     - | 106M|   0 | 783 |1000 |  37k|1000 |5953 |9678 |   0 |   0 |-3.875000e+02 |-4.900000e+01 |  87.35%
93.05/93.19	c  91.5s|     1 |     0 | 42882 |     - | 106M|   0 | 809 |1000 |  37k|1000 |6053 |9778 |   0 |   0 |-3.861463e+02 |-4.900000e+01 |  87.31%
95.25/95.37	c  93.6s|     1 |     0 | 44668 |     - | 107M|   0 | 777 |1000 |  37k|1000 |6198 |  10k|   0 |   0 |-3.825000e+02 |-4.900000e+01 |  87.19%
97.94/98.10	c  96.3s|     1 |     0 | 46422 |     - | 107M|   0 | 776 |1000 |  37k|1000 |6252 |  10k|   0 |   0 |-3.815000e+02 |-4.900000e+01 |  87.16%
99.85/99.92	c  98.1s|     1 |     0 | 47515 |     - | 107M|   0 | 765 |1000 |  37k|1000 |6305 |  10k|   0 |   0 |-3.805000e+02 |-4.900000e+01 |  87.12%
105.45/105.50	c   104s|     1 |     0 | 50931 |     - | 107M|   0 | 754 |1000 |  37k|1000 |6311 |  10k|   0 |   0 |-3.790000e+02 |-4.900000e+01 |  87.07%
108.44/108.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
108.44/108.57	c   107s|     1 |     0 | 53002 |     - | 107M|   0 | 757 |1000 |  37k|1000 |6425 |  10k|   0 |   0 |-3.785000e+02 |-4.900000e+01 |  87.05%
112.24/112.34	c   110s|     1 |     0 | 55238 |     - | 107M|   0 | 757 |1000 |  37k|1000 |6435 |  10k|   0 |   0 |-3.780000e+02 |-4.900000e+01 |  87.04%
116.84/116.91	c   115s|     1 |     0 | 57957 |     - | 107M|   0 | 846 |1000 |  37k|1000 |5884 |  10k|   0 |   0 |-3.778105e+02 |-4.900000e+01 |  87.03%
121.04/121.17	c   119s|     1 |     0 | 58841 |     - | 107M|   0 | 755 |1000 |  37k|1000 |7884 |  12k|   0 |   0 |-3.775000e+02 |-4.900000e+01 |  87.02%
123.93/124.04	c   122s|     1 |     0 | 60150 |     - | 108M|   0 | 755 |1000 |  37k|1000 |7892 |  12k|   0 |   0 |-3.765000e+02 |-4.900000e+01 |  86.99%
127.23/127.38	c   125s|     1 |     0 | 61726 |     - | 108M|   0 | 750 |1000 |  37k|1000 |7901 |  12k|   0 |   0 |-3.750000e+02 |-4.900000e+01 |  86.93%
129.03/129.19	c   127s|     1 |     0 | 62599 |     - | 108M|   0 | 762 |1000 |  37k|1000 |7955 |  12k|   0 |   0 |-3.742500e+02 |-4.900000e+01 |  86.91%
131.43/131.51	c   129s|     1 |     0 | 63634 |     - | 108M|   0 | 755 |1000 |  37k|1000 |7962 |  12k|   0 |   0 |-3.735000e+02 |-4.900000e+01 |  86.88%
134.13/134.23	c   132s|     1 |     0 | 65103 |     - | 108M|   0 | 751 |1000 |  37k|1000 |7100 |  12k|   0 |   0 |-3.724167e+02 |-4.900000e+01 |  86.84%
135.43/135.50	c   133s|     1 |     0 | 65885 |     - | 108M|   0 | 759 |1000 |  37k|1000 |7110 |  12k|   0 |   0 |-3.718750e+02 |-4.900000e+01 |  86.82%
137.62/137.78	c   136s|     1 |     0 | 67180 |     - | 109M|   0 | 757 |1000 |  37k|1000 |7120 |  12k|   0 |   0 |-3.713125e+02 |-4.900000e+01 |  86.80%
140.63/140.72	c   139s|     1 |     0 | 68721 |     - | 109M|   0 | 762 |1000 |  37k|1000 |7286 |  13k|   0 |   0 |-3.705000e+02 |-4.900000e+01 |  86.77%
142.73/142.87	c   141s|     1 |     0 | 69923 |     - | 109M|   0 | 766 |1000 |  37k|1000 |7345 |  13k|   0 |   0 |-3.694821e+02 |-4.900000e+01 |  86.74%
144.12/144.29	c   142s|     1 |     0 | 70817 |     - | 109M|   0 | 763 |1000 |  37k|1000 |7614 |  13k|   0 |   0 |-3.682500e+02 |-4.900000e+01 |  86.69%
146.13/146.22	c   144s|     1 |     0 | 71933 |     - | 109M|   0 | 733 |1000 |  37k|1000 |7609 |  13k|   0 |   0 |-3.665000e+02 |-4.900000e+01 |  86.63%
147.72/147.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
147.72/147.85	c   146s|     1 |     0 | 72941 |     - | 109M|   0 | 730 |1000 |  37k|1000 |7615 |  13k|   0 |   0 |-3.652500e+02 |-4.900000e+01 |  86.58%
149.32/149.40	c   147s|     1 |     0 | 73886 |     - | 110M|   0 | 727 |1000 |  37k|1000 |7667 |  13k|   0 |   0 |-3.635000e+02 |-4.900000e+01 |  86.52%
151.32/151.42	c   149s|     1 |     0 | 74939 |     - | 110M|   0 | 757 |1000 |  37k|1000 |7674 |  13k|   0 |   0 |-3.628214e+02 |-4.900000e+01 |  86.49%
154.52/154.64	c   152s|     1 |     0 | 76492 |     - | 110M|   0 | 724 |1000 |  37k|1000 |7841 |  13k|   0 |   0 |-3.620000e+02 |-4.900000e+01 |  86.46%
159.51/159.66	c   157s|     1 |     0 | 78907 |     - | 110M|   0 | 729 |1000 |  37k|1000 |7850 |  13k|   0 |   0 |-3.612500e+02 |-4.900000e+01 |  86.44%
161.41/161.56	c   159s|     1 |     0 | 79954 |     - | 110M|   0 | 729 |1000 |  37k|1000 |7753 |  13k|   0 |   0 |-3.607500e+02 |-4.900000e+01 |  86.42%
163.32/163.42	c   161s|     1 |     0 | 80975 |     - | 110M|   0 | 740 |1000 |  37k|1000 |7761 |  13k|   0 |   0 |-3.598750e+02 |-4.900000e+01 |  86.38%
166.42/166.51	c   164s|     1 |     0 | 82791 |     - | 111M|   0 | 717 |1000 |  37k|1000 |7870 |  13k|   0 |   0 |-3.585000e+02 |-4.900000e+01 |  86.33%
169.51/169.68	c   167s|     1 |     0 | 84851 |     - | 111M|   0 | 716 |1000 |  37k|1000 |7875 |  13k|   0 |   0 |-3.580000e+02 |-4.900000e+01 |  86.31%
176.62/176.76	c   174s|     1 |     0 | 88381 |     - | 111M|   0 | 735 |1000 |  37k|1000 |7888 |  13k|   0 |   0 |-3.571667e+02 |-4.900000e+01 |  86.28%
180.22/180.35	c   178s|     1 |     0 | 90312 |     - | 111M|   0 | 711 |1000 |  37k|1000 |8033 |  14k|   0 |   0 |-3.545000e+02 |-4.900000e+01 |  86.18%
186.30/186.45	c   184s|     1 |     0 | 93061 |     - | 111M|   0 | 707 |1000 |  37k|1000 |7610 |  14k|   0 |   0 |-3.535000e+02 |-4.900000e+01 |  86.14%
191.90/192.01	c   189s|     1 |     0 | 95935 |     - | 111M|   0 | 738 |1000 |  37k|1000 |7619 |  14k|   0 |   0 |-3.527500e+02 |-4.900000e+01 |  86.11%
197.00/197.15	c   194s|     1 |     0 | 98493 |     - | 112M|   0 | 777 |1000 |  37k|1000 |7877 |  14k|   0 |   0 |-3.513750e+02 |-4.900000e+01 |  86.05%
201.71/201.87	c   199s|     1 |     0 |100844 |     - | 112M|   0 | 696 |1000 |  37k|1000 |8021 |  14k|   0 |   0 |-3.490000e+02 |-4.900000e+01 |  85.96%
205.60/205.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
205.60/205.72	c   203s|     1 |     0 |103126 |     - | 112M|   0 | 694 |1000 |  37k|1000 |8075 |  14k|   0 |   0 |-3.470000e+02 |-4.900000e+01 |  85.88%
210.80/210.91	c   208s|     1 |     0 |105731 |     - | 112M|   0 | 723 |1000 |  37k|1000 |8080 |  14k|   0 |   0 |-3.462500e+02 |-4.900000e+01 |  85.85%
215.80/216.00	c   213s|     1 |     0 |108344 |     - | 112M|   0 | 716 |1000 |  37k|1000 |7943 |  14k|   0 |   0 |-3.452500e+02 |-4.900000e+01 |  85.81%
222.60/222.70	c   220s|     1 |     0 |111723 |     - | 113M|   0 | 682 |1000 |  37k|1000 |7993 |  14k|   0 |   0 |-3.440000e+02 |-4.900000e+01 |  85.76%
226.89/227.00	c   224s|     1 |     0 |114102 |     - | 113M|   0 | 738 |1000 |  37k|1000 |8133 |  14k|   0 |   0 |-3.423750e+02 |-4.900000e+01 |  85.69%
231.39/231.55	c   229s|     1 |     0 |116505 |     - | 113M|   0 | 703 |1000 |  37k|1000 |8193 |  15k|   0 |   0 |-3.420000e+02 |-4.900000e+01 |  85.67%
237.99/238.17	c   235s|     1 |     0 |119965 |     - | 113M|   0 | 710 |1000 |  37k|1000 |8364 |  15k|   0 |   0 |-3.403333e+02 |-4.900000e+01 |  85.60%
242.49/242.62	c   239s|     1 |     0 |122533 |     - | 113M|   0 | 728 |1000 |  37k|1000 |8370 |  15k|   0 |   0 |-3.399167e+02 |-4.900000e+01 |  85.58%
249.59/249.72	c   246s|     1 |     0 |125903 |     - | 113M|   0 | 752 |1000 |  37k|1000 |7977 |  15k|   0 |   0 |-3.390000e+02 |-4.900000e+01 |  85.55%
255.18/255.30	c   252s|     1 |     0 |128950 |     - | 114M|   0 | 735 |1000 |  37k|1000 |8044 |  15k|   0 |   0 |-3.381667e+02 |-4.900000e+01 |  85.51%
258.78/258.90	c   256s|     1 |     0 |130994 |     - | 114M|   0 | 697 |1000 |  37k|1000 |8169 |  15k|   0 |   0 |-3.375000e+02 |-4.900000e+01 |  85.48%
264.18/264.31	c   261s|     1 |     0 |133635 |     - | 114M|   0 | 670 |1000 |  37k|1000 |8301 |  15k|   0 |   0 |-3.370000e+02 |-4.900000e+01 |  85.46%
271.87/272.04	c   269s|     1 |     0 |137370 |     - | 114M|   0 | 775 |1000 |  37k|1000 |8406 |  15k|   0 |   0 |-3.365942e+02 |-4.900000e+01 |  85.44%
275.28/275.42	c   272s|     1 |     0 |139678 |     - | 116M|   0 | 791 |1000 |  37k|1000 |8973 |  16k|   0 |   0 |-3.348352e+02 |-4.900000e+01 |  85.37%
277.77/277.91	c   274s|     1 |     0 |141285 |     - | 116M|   0 | 781 |1000 |  37k|1000 |8879 |  16k|   0 |   0 |-3.333622e+02 |-4.900000e+01 |  85.30%
279.87/280.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
279.87/280.08	c   277s|     1 |     0 |142529 |     - | 117M|   0 | 781 |1000 |  37k|1000 |8893 |  16k|   0 |   0 |-3.323953e+02 |-4.900000e+01 |  85.26%
282.48/282.63	c   279s|     1 |     0 |143930 |     - | 118M|   0 | 766 |1000 |  37k|1000 |8970 |  16k|   0 |   0 |-3.312662e+02 |-4.900000e+01 |  85.21%
283.97/284.17	c   281s|     1 |     0 |144828 |     - | 119M|   0 | 764 |1000 |  37k|1000 |8981 |  16k|   0 |   0 |-3.307892e+02 |-4.900000e+01 |  85.19%
286.47/286.60	c   283s|     1 |     0 |146147 |     - | 119M|   0 | 779 |1000 |  37k|1000 |8993 |  16k|   0 |   0 |-3.296818e+02 |-4.900000e+01 |  85.14%
289.57/289.75	c   286s|     1 |     0 |147772 |     - | 121M|   0 | 773 |1000 |  37k|1000 |9111 |  16k|   0 |   0 |-3.284214e+02 |-4.900000e+01 |  85.08%
292.07/292.23	c   289s|     1 |     0 |149015 |     - | 123M|   0 | 788 |1000 |  37k|1000 |8845 |  16k|   0 |   0 |-3.279483e+02 |-4.900000e+01 |  85.06%
295.27/295.49	c   292s|     1 |     0 |150749 |     - | 125M|   0 | 754 |1000 |  37k|1000 |8945 |  16k|   0 |   0 |-3.265376e+02 |-4.900000e+01 |  84.99%
297.66/297.82	c   294s|     1 |     0 |151855 |     - | 126M|   0 | 724 |1000 |  37k|1000 |9003 |  16k|   0 |   0 |-3.258333e+02 |-4.900000e+01 |  84.96%
304.57/304.76	c   301s|     1 |     0 |154770 |     - | 126M|   0 | 699 |1000 |  37k|1000 |9050 |  16k|   0 |   0 |-3.250000e+02 |-4.900000e+01 |  84.92%
317.56/317.78	c   314s|     1 |     0 |159776 |     - | 127M|   0 | 779 |1000 |  37k|1000 |9100 |  16k|   0 |   0 |-3.246250e+02 |-4.900000e+01 |  84.91%
320.85/321.03	c   317s|     1 |     0 |161287 |     - | 130M|   0 | 779 |1000 |  37k|1000 |9180 |  16k|   0 |   0 |-3.238442e+02 |-4.900000e+01 |  84.87%
324.16/324.37	c   320s|     1 |     0 |162825 |     - | 131M|   0 | 780 |1000 |  37k|1000 |8475 |  17k|   0 |   0 |-3.227337e+02 |-4.900000e+01 |  84.82%
326.95/327.17	c   323s|     1 |     0 |164359 |     - | 132M|   0 | 781 |1000 |  37k|1000 |8523 |  17k|   0 |   0 |-3.216394e+02 |-4.900000e+01 |  84.77%
330.05/330.23	c   326s|     1 |     0 |166044 |     - | 133M|   0 | 795 |1000 |  37k|1000 |8598 |  17k|   0 |   0 |-3.206737e+02 |-4.900000e+01 |  84.72%
332.95/333.18	c   329s|     1 |     0 |167315 |     - | 133M|   0 | 780 |1000 |  37k|1000 |8647 |  17k|   0 |   0 |-3.201311e+02 |-4.900000e+01 |  84.69%
336.05/336.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
336.05/336.26	c   332s|     1 |     0 |168761 |     - | 134M|   0 | 773 |1000 |  37k|1000 |8780 |  17k|   0 |   0 |-3.193821e+02 |-4.900000e+01 |  84.66%
340.45/340.64	c   337s|     1 |     0 |170889 |     - | 136M|   0 | 801 |1000 |  37k|1000 |8870 |  17k|   0 |   0 |-3.181560e+02 |-4.900000e+01 |  84.60%
345.15/345.38	c   341s|     1 |     0 |173043 |     - | 136M|   0 | 793 |1000 |  37k|1000 |8705 |  17k|   0 |   0 |-3.166642e+02 |-4.900000e+01 |  84.53%
349.34/349.60	c   345s|     1 |     0 |175028 |     - | 137M|   0 | 788 |1000 |  37k|1000 |8788 |  17k|   0 |   0 |-3.155202e+02 |-4.900000e+01 |  84.47%
354.14/354.31	c   350s|     1 |     0 |177439 |     - | 137M|   0 | 807 |1000 |  37k|1000 |8874 |  17k|   0 |   0 |-3.128604e+02 |-4.900000e+01 |  84.34%
359.14/359.31	c   355s|     1 |     0 |179724 |     - | 137M|   0 | 817 |1000 |  37k|1000 |9137 |  18k|   0 |   0 |-3.114265e+02 |-4.900000e+01 |  84.27%
362.85/363.03	c   359s|     1 |     0 |181241 |     - | 137M|   0 | 799 |1000 |  37k|1000 |9204 |  18k|   0 |   0 |-3.106928e+02 |-4.900000e+01 |  84.23%
366.34/366.52	c   362s|     1 |     0 |182718 |     - | 137M|   0 | 809 |1000 |  37k|1000 |9216 |  18k|   0 |   0 |-3.096148e+02 |-4.900000e+01 |  84.17%
371.13/371.32	c   367s|     1 |     0 |184891 |     - | 137M|   0 | 825 |1000 |  37k|1000 |9022 |  18k|   0 |   0 |-3.088572e+02 |-4.900000e+01 |  84.14%
375.23/375.46	c   371s|     1 |     0 |186565 |     - | 137M|   0 | 806 |1000 |  37k|1000 |9079 |  18k|   0 |   0 |-3.077886e+02 |-4.900000e+01 |  84.08%
379.83/380.04	c   376s|     1 |     0 |188569 |     - | 137M|   0 | 794 |1000 |  37k|1000 |9245 |  18k|   0 |   0 |-3.065864e+02 |-4.900000e+01 |  84.02%
384.23/384.44	c   380s|     1 |     0 |190627 |     - | 137M|   0 | 814 |1000 |  37k|1000 |9256 |  18k|   0 |   0 |-3.050785e+02 |-4.900000e+01 |  83.94%
389.24/389.46	c   385s|     1 |     0 |192862 |     - | 137M|   0 | 819 |1000 |  37k|1000 |9389 |  18k|   0 |   0 |-3.034982e+02 |-4.900000e+01 |  83.85%
393.73/393.91	c   389s|     1 |     0 |194588 |     - | 137M|   0 | 821 |1000 |  37k|1000 |9448 |  18k|   0 |   0 |-3.027553e+02 |-4.900000e+01 |  83.82%
398.53/398.70	c   394s|     1 |     0 |196612 |     - | 137M|   0 | 814 |1000 |  37k|1000 |9094 |  18k|   0 |   0 |-3.017142e+02 |-4.900000e+01 |  83.76%
403.22/403.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
403.22/403.43	c   399s|     1 |     0 |198703 |     - | 137M|   0 | 827 |1000 |  37k|1000 |9135 |  18k|   0 |   0 |-3.006563e+02 |-4.900000e+01 |  83.70%
407.72/407.90	c   403s|     1 |     0 |200616 |     - | 137M|   0 | 809 |1000 |  37k|1000 |9221 |  18k|   0 |   0 |-2.997261e+02 |-4.900000e+01 |  83.65%
413.52/413.76	c   409s|     1 |     0 |203222 |     - | 137M|   0 | 818 |1000 |  37k|1000 |9326 |  18k|   0 |   0 |-2.982398e+02 |-4.900000e+01 |  83.57%
418.12/418.30	c   413s|     1 |     0 |205151 |     - | 137M|   0 | 803 |1000 |  37k|1000 |9358 |  18k|   0 |   0 |-2.974923e+02 |-4.900000e+01 |  83.53%
422.91/423.18	c   418s|     1 |     0 |207373 |     - | 137M|   0 | 829 |1000 |  37k|1000 |9389 |  18k|   0 |   0 |-2.966678e+02 |-4.900000e+01 |  83.48%
427.72/427.93	c   423s|     1 |     0 |209114 |     - | 137M|   0 | 830 |1000 |  37k|1000 |9098 |  19k|   0 |   0 |-2.962105e+02 |-4.900000e+01 |  83.46%
432.61/432.80	c   428s|     1 |     0 |210944 |     - | 137M|   0 | 822 |1000 |  37k|1000 |9133 |  19k|   0 |   0 |-2.955725e+02 |-4.900000e+01 |  83.42%
437.11/437.36	c   432s|     1 |     0 |212637 |     - | 137M|   0 | 819 |1000 |  37k|1000 |9167 |  19k|   0 |   0 |-2.950747e+02 |-4.900000e+01 |  83.39%
442.80/443.07	c   438s|     1 |     0 |215059 |     - | 137M|   0 | 831 |1000 |  37k|1000 |9184 |  19k|   0 |   0 |-2.943924e+02 |-4.900000e+01 |  83.36%
448.20/448.48	c   443s|     1 |     0 |217060 |     - | 137M|   0 | 831 |1000 |  37k|1000 |9274 |  19k|   0 |   0 |-2.932059e+02 |-4.900000e+01 |  83.29%
454.50/454.76	c   450s|     1 |     0 |219669 |     - | 136M|   0 | 828 |1000 |  37k|1000 |9351 |  19k|   0 |   0 |-2.921424e+02 |-4.900000e+01 |  83.23%
460.70/460.97	c   456s|     1 |     0 |222130 |     - | 136M|   0 | 827 |1000 |  37k|1000 |9135 |  19k|   0 |   0 |-2.909419e+02 |-4.900000e+01 |  83.16%
466.30/466.55	c   461s|     1 |     0 |224398 |     - | 136M|   0 | 834 |1000 |  37k|1000 |9187 |  19k|   0 |   0 |-2.888511e+02 |-4.900000e+01 |  83.04%
472.19/472.43	c   467s|     1 |     0 |226691 |     - | 136M|   0 | 822 |1000 |  37k|1000 |9278 |  19k|   0 |   0 |-2.877209e+02 |-4.900000e+01 |  82.97%
476.99/477.24	c   472s|     1 |     0 |228500 |     - | 136M|   0 | 831 |1000 |  37k|1000 |9306 |  19k|   0 |   0 |-2.872532e+02 |-4.900000e+01 |  82.94%
481.79/482.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
481.79/482.05	c   477s|     1 |     0 |230037 |     - | 136M|   0 | 825 |1000 |  37k|1000 |9375 |  19k|   0 |   0 |-2.866250e+02 |-4.900000e+01 |  82.90%
487.79/488.05	c   483s|     1 |     0 |232251 |     - | 136M|   0 | 825 |1000 |  37k|1000 |9444 |  19k|   0 |   0 |-2.854821e+02 |-4.900000e+01 |  82.84%
492.18/492.49	c   487s|     1 |     0 |233467 |     - | 136M|   0 | 820 |1000 |  37k|1000 |9270 |  19k|   0 |   0 |-2.851265e+02 |-4.900000e+01 |  82.81%
498.09/498.31	c   493s|     1 |     0 |235513 |     - | 136M|   0 | 823 |1000 |  37k|1000 |9314 |  19k|   0 |   0 |-2.841143e+02 |-4.900000e+01 |  82.75%
503.88/504.15	c   499s|     1 |     0 |237566 |     - | 136M|   0 | 845 |1000 |  37k|1000 |9328 |  19k|   0 |   0 |-2.835646e+02 |-4.900000e+01 |  82.72%
510.48/510.79	c   505s|     1 |     0 |239932 |     - | 136M|   0 | 828 |1000 |  37k|1000 |9373 |  19k|   0 |   0 |-2.827745e+02 |-4.900000e+01 |  82.67%
516.88/517.11	c   511s|     1 |     0 |242068 |     - | 136M|   0 | 835 |1000 |  37k|1000 |9443 |  19k|   0 |   0 |-2.822138e+02 |-4.900000e+01 |  82.64%
524.58/524.88	c   519s|     1 |     0 |244719 |     - | 135M|   0 | 837 |1000 |  37k|1000 |9486 |  19k|   0 |   0 |-2.811887e+02 |-4.900000e+01 |  82.57%
531.17/531.42	c   526s|     1 |     0 |246494 |     - | 135M|   0 | 847 |1000 |  37k|1000 |9390 |  19k|   0 |   0 |-2.805785e+02 |-4.900000e+01 |  82.54%
536.67/536.95	c   531s|     1 |     0 |247721 |     - | 135M|   0 | 858 |1000 |  37k|1000 |9405 |  19k|   0 |   0 |-2.802093e+02 |-4.900000e+01 |  82.51%
543.57/543.88	c   538s|     1 |     0 |249394 |     - | 135M|   0 | 859 |1000 |  37k|1000 |9415 |  19k|   0 |   0 |-2.796518e+02 |-4.900000e+01 |  82.48%
550.87/551.18	c   545s|     1 |     0 |251421 |     - | 135M|   0 | 850 |1000 |  37k|1000 |9446 |  19k|   0 |   0 |-2.791306e+02 |-4.900000e+01 |  82.45%
558.66/558.99	c   553s|     1 |     0 |253298 |     - | 135M|   0 | 864 |1000 |  37k|1000 |9530 |  20k|   0 |   0 |-2.786225e+02 |-4.900000e+01 |  82.41%
566.46/566.72	c   561s|     1 |     0 |254876 |     - | 135M|   0 | 879 |1000 |  37k|1000 |9651 |  20k|   0 |   0 |-2.782886e+02 |-4.900000e+01 |  82.39%
574.96/575.25	c   569s|     1 |     0 |256629 |     - | 135M|   0 | 864 |1000 |  37k|1000 |9518 |  20k|   0 |   0 |-2.777971e+02 |-4.900000e+01 |  82.36%
583.25/583.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
583.25/583.59	c   577s|     1 |     0 |258505 |     - | 134M|   0 | 870 |1000 |  37k|1000 |9554 |  20k|   0 |   0 |-2.772807e+02 |-4.900000e+01 |  82.33%
592.35/592.69	c   586s|     1 |     0 |260592 |     - | 134M|   0 | 873 |1000 |  37k|1000 |9612 |  20k|   0 |   0 |-2.767441e+02 |-4.900000e+01 |  82.29%
602.45/602.79	c   597s|     1 |     0 |262698 |     - | 134M|   0 | 867 |1000 |  37k|1000 |9625 |  20k|   0 |   0 |-2.760211e+02 |-4.900000e+01 |  82.25%
610.94/611.23	c   605s|     1 |     0 |264571 |     - | 134M|   0 | 873 |1000 |  37k|1000 |9705 |  20k|   0 |   0 |-2.756801e+02 |-4.900000e+01 |  82.23%
621.64/621.90	c   616s|     1 |     0 |266809 |     - | 134M|   0 | 888 |1000 |  37k|1000 |9772 |  20k|   0 |   0 |-2.750343e+02 |-4.900000e+01 |  82.18%
633.93/634.23	c   628s|     1 |     0 |268972 |     - | 134M|   0 | 881 |1000 |  37k|1000 |9700 |  20k|   0 |   0 |-2.744806e+02 |-4.900000e+01 |  82.15%
644.93/645.28	c   639s|     1 |     0 |270941 |     - | 133M|   0 | 884 |1000 |  37k|1000 |9737 |  20k|   0 |   0 |-2.738264e+02 |-4.900000e+01 |  82.11%
655.92/656.21	c   650s|     1 |     0 |272812 |     - | 133M|   0 | 889 |1000 |  37k|1000 |9762 |  20k|   0 |   0 |-2.734350e+02 |-4.900000e+01 |  82.08%
668.02/668.35	c   662s|     1 |     0 |274729 |     - | 133M|   0 | 891 |1000 |  37k|1000 |9821 |  20k|   0 |   0 |-2.731165e+02 |-4.900000e+01 |  82.06%
679.81/680.15	c   673s|     1 |     0 |276899 |     - | 133M|   0 | 894 |1000 |  37k|1000 |9855 |  20k|   0 |   0 |-2.725651e+02 |-4.900000e+01 |  82.02%
693.42/693.76	c   687s|     1 |     0 |279033 |     - | 133M|   0 | 902 |1000 |  37k|1000 |9928 |  20k|   0 |   0 |-2.719612e+02 |-4.900000e+01 |  81.98%
710.21/710.57	c   704s|     1 |     0 |282323 |     - | 133M|   0 | 882 |1000 |  37k|1000 |9836 |  20k|   0 |   0 |-2.707445e+02 |-4.900000e+01 |  81.90%
723.40/723.72	c   717s|     1 |     0 |284340 |     - | 133M|   0 | 902 |1000 |  37k|1000 |9957 |  20k|   0 |   0 |-2.703281e+02 |-4.900000e+01 |  81.87%
736.79/737.16	c   730s|     1 |     0 |286047 |     - | 133M|   0 | 908 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.698556e+02 |-4.900000e+01 |  81.84%
750.99/751.36	c   744s|     1 |     0 |287971 |     - | 133M|   0 | 907 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.694392e+02 |-4.900000e+01 |  81.81%
764.58/764.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
764.58/764.96	c   758s|     1 |     0 |289618 |     - | 132M|   0 | 914 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.691255e+02 |-4.900000e+01 |  81.79%
781.27/781.68	c   774s|     1 |     0 |292292 |     - | 132M|   0 | 905 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.680893e+02 |-4.900000e+01 |  81.72%
795.67/796.00	c   789s|     1 |     0 |294308 |     - | 132M|   0 | 908 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.675414e+02 |-4.900000e+01 |  81.69%
809.75/810.17	c   803s|     1 |     0 |296161 |     - | 132M|   0 | 912 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.671500e+02 |-4.900000e+01 |  81.66%
822.96/823.31	c   816s|     1 |     0 |297388 |     - | 132M|   0 | 919 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.669449e+02 |-4.900000e+01 |  81.64%
838.15/838.52	c   831s|     1 |     0 |299284 |     - | 132M|   0 | 921 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.665327e+02 |-4.900000e+01 |  81.62%
851.44/851.88	c   844s|     1 |     0 |300614 |     - | 132M|   0 | 926 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.662907e+02 |-4.900000e+01 |  81.60%
868.34/868.74	c   861s|     1 |     0 |303022 |     - | 131M|   0 | 917 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.655575e+02 |-4.900000e+01 |  81.55%
883.73/884.11	c   876s|     1 |     0 |305051 |     - | 131M|   0 | 923 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.650101e+02 |-4.900000e+01 |  81.51%
899.53/899.96	c   892s|     1 |     0 |307133 |     - | 131M|   0 | 919 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.645525e+02 |-4.900000e+01 |  81.48%
915.02/915.46	c   908s|     1 |     0 |309060 |     - | 131M|   0 | 914 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.640613e+02 |-4.900000e+01 |  81.44%
928.81/929.23	c   921s|     1 |     0 |310298 |     - | 131M|   0 | 925 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.638051e+02 |-4.900000e+01 |  81.43%
944.61/945.07	c   937s|     1 |     0 |312320 |     - | 131M|   0 | 924 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.631988e+02 |-4.900000e+01 |  81.38%
959.10/959.50	c   951s|     1 |     0 |313692 |     - | 130M|   0 | 921 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.629302e+02 |-4.900000e+01 |  81.36%
975.60/976.02	c   968s|     1 |     0 |315755 |     - | 130M|   0 | 930 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.623109e+02 |-4.900000e+01 |  81.32%
991.59/992.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
991.59/992.02	c   984s|     1 |     0 |317726 |     - | 130M|   0 | 930 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.618137e+02 |-4.900000e+01 |  81.28%
1006.09/1006.53	c   998s|     1 |     0 |319018 |     - | 130M|   0 | 939 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.614448e+02 |-4.900000e+01 |  81.26%
1022.28/1022.75	c  1014s|     1 |     0 |320859 |     - | 130M|   0 | 940 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.609457e+02 |-4.900000e+01 |  81.22%
1036.17/1036.60	c  1028s|     1 |     0 |321787 |     - | 130M|   0 | 943 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.606782e+02 |-4.900000e+01 |  81.20%
1052.28/1052.79	c  1044s|     1 |     0 |323510 |     - | 130M|   0 | 935 |1000 |  37k|1000 |  10k|  21k|   0 |   0 |-2.602027e+02 |-4.900000e+01 |  81.17%
1066.77/1067.22	c  1059s|     1 |     0 |324664 |     - | 129M|   0 | 943 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.599790e+02 |-4.900000e+01 |  81.15%
1080.76/1081.25	c  1072s|     1 |     0 |325646 |     - | 129M|   0 | 939 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.597193e+02 |-4.900000e+01 |  81.13%
1098.05/1098.56	c  1090s|     1 |     0 |327647 |     - | 129M|   0 | 937 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.592051e+02 |-4.900000e+01 |  81.10%
1113.85/1114.35	c  1105s|     1 |     0 |329022 |     - | 129M|   0 | 934 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.588971e+02 |-4.900000e+01 |  81.07%
1131.03/1131.59	c  1123s|     1 |     0 |330999 |     - | 129M|   0 | 947 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.584929e+02 |-4.900000e+01 |  81.04%
1147.63/1148.17	c  1139s|     1 |     0 |332578 |     - | 128M|   0 | 943 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.581536e+02 |-4.900000e+01 |  81.02%
1163.43/1163.96	c  1155s|     1 |     0 |333867 |     - | 127M|   0 | 953 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.579099e+02 |-4.900000e+01 |  81.00%
1177.62/1178.17	c  1169s|     1 |     0 |334681 |     - | 126M|   0 | 956 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.577691e+02 |-4.900000e+01 |  80.99%
1192.52/1193.10	c  1184s|     1 |     0 |335590 |     - | 125M|   0 | 956 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.575357e+02 |-4.900000e+01 |  80.97%
1207.01/1207.56	c  1198s|     1 |     0 |336489 |     - | 124M|   0 | 952 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.573773e+02 |-4.900000e+01 |  80.96%
1223.01/1223.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1223.01/1223.55	c  1214s|     1 |     0 |337659 |     - | 124M|   0 | 953 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.571283e+02 |-4.900000e+01 |  80.94%
1239.69/1240.26	c  1231s|     1 |     0 |339055 |     - | 123M|   0 | 953 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.568023e+02 |-4.900000e+01 |  80.92%
1256.09/1256.66	c  1247s|     1 |     0 |340429 |     - | 120M|   0 | 946 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.564511e+02 |-4.900000e+01 |  80.89%
1272.19/1272.76	c  1263s|     1 |     0 |341786 |     - | 119M|   0 | 948 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.561537e+02 |-4.900000e+01 |  80.87%
1288.38/1288.92	c  1279s|     1 |     0 |343011 |     - | 118M|   0 | 954 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.558721e+02 |-4.900000e+01 |  80.85%
1302.88/1303.47	c  1294s|     1 |     0 |343688 |     - | 118M|   0 | 957 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.557029e+02 |-4.900000e+01 |  80.84%
1316.97/1317.55	c  1308s|     1 |     0 |344237 |     - | 117M|   0 | 951 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.555160e+02 |-4.900000e+01 |  80.82%
1333.06/1333.61	c  1324s|     1 |     0 |345406 |     - | 114M|   0 | 958 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.553127e+02 |-4.900000e+01 |  80.81%
1347.66/1348.25	c  1338s|     1 |     0 |346085 |     - | 112M|   0 | 956 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.552025e+02 |-4.900000e+01 |  80.80%
1362.44/1363.06	c  1353s|     1 |     0 |346894 |     - | 111M|   0 | 962 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.550242e+02 |-4.900000e+01 |  80.79%
1377.54/1378.13	c  1368s|     1 |     0 |347668 |     - | 111M|   0 | 966 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.548182e+02 |-4.900000e+01 |  80.77%
1395.24/1395.81	c  1386s|     1 |     0 |349032 |     - | 111M|   0 | 965 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.544470e+02 |-4.900000e+01 |  80.74%
1412.13/1412.76	c  1403s|     1 |     0 |350257 |     - | 109M|   0 | 960 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.541169e+02 |-4.900000e+01 |  80.72%
1427.62/1428.27	c  1418s|     1 |     0 |351058 |     - | 107M|   0 | 961 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.539217e+02 |-4.900000e+01 |  80.70%
1445.01/1445.68	c  1435s|     1 |     0 |352389 |     - | 107M|   0 | 970 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.535784e+02 |-4.900000e+01 |  80.68%
1462.21/1462.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1462.21/1462.81	c  1452s|     1 |     0 |353557 |     - | 106M|   0 | 971 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.532999e+02 |-4.900000e+01 |  80.66%
1478.91/1479.52	c  1469s|     1 |     0 |354632 |     - | 106M|   0 | 963 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.530293e+02 |-4.900000e+01 |  80.63%
1494.58/1495.26	c  1485s|     1 |     0 |355349 |     - | 106M|   0 | 968 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.529093e+02 |-4.900000e+01 |  80.63%
1510.88/1511.56	c  1501s|     1 |     0 |356358 |     - | 106M|   0 | 971 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.526962e+02 |-4.900000e+01 |  80.61%
1527.87/1528.56	c  1518s|     1 |     0 |357394 |     - | 106M|   0 | 970 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.524915e+02 |-4.900000e+01 |  80.59%
1545.76/1546.40	c  1536s|     1 |     0 |358603 |     - | 106M|   0 | 968 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.522209e+02 |-4.900000e+01 |  80.57%
1562.75/1563.43	c  1552s|     1 |     0 |359680 |     - | 106M|   0 | 972 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.519871e+02 |-4.900000e+01 |  80.55%
1579.55/1580.29	c  1569s|     1 |     0 |360664 |     - | 106M|   0 | 971 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.517827e+02 |-4.900000e+01 |  80.54%
1596.14/1596.81	c  1586s|     1 |     0 |361587 |     - | 106M|   0 | 978 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.516368e+02 |-4.900000e+01 |  80.53%
1612.14/1612.83	c  1602s|     1 |     0 |362198 |     - | 106M|   0 | 974 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.515376e+02 |-4.900000e+01 |  80.52%
1628.12/1628.86	c  1618s|     1 |     0 |362800 |     - | 106M|   0 | 976 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.514329e+02 |-4.900000e+01 |  80.51%
1645.32/1646.06	c  1635s|     1 |     0 |363807 |     - | 106M|   0 | 980 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.512063e+02 |-4.900000e+01 |  80.49%
1661.71/1662.45	c  1651s|     1 |     0 |364558 |     - | 106M|   0 | 979 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.510081e+02 |-4.900000e+01 |  80.48%
1677.91/1678.69	c  1667s|     1 |     0 |365322 |     - | 106M|   0 | 975 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.508104e+02 |-4.900000e+01 |  80.46%
1694.30/1695.08	c  1684s|     1 |     0 |366118 |     - | 106M|   0 | 978 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.506195e+02 |-4.900000e+01 |  80.45%
1711.29/1712.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1711.29/1712.04	c  1700s|     1 |     0 |366972 |     - | 106M|   0 | 980 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.504204e+02 |-4.900000e+01 |  80.43%
1727.19/1727.91	c  1716s|     1 |     0 |367622 |     - | 105M|   0 | 972 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.502721e+02 |-4.900000e+01 |  80.42%
1743.48/1744.21	c  1732s|     1 |     0 |368299 |     - | 105M|   0 | 976 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.501334e+02 |-4.900000e+01 |  80.41%
1758.98/1759.79	c  1748s|     1 |     0 |368779 |     - | 105M|   0 | 984 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.500496e+02 |-4.900000e+01 |  80.40%
1773.76/1774.52	c  1763s|     1 |     0 |369088 |     - | 105M|   0 | 981 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.500056e+02 |-4.900000e+01 |  80.40%
1789.27/1790.07	c  1778s|     1 |     0 |369572 |     - | 105M|   0 | 981 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.498828e+02 |-4.900000e+01 |  80.39%
1800.06/1800.80	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.25/1801.03	c  1789s|     1 |     0 |369612 |     - | 105M|   0 | 984 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.498811e+02 |-4.900000e+01 |  80.39%
1800.36/1801.19	c  1789s|     1 |     2 |369612 |     - | 105M|   0 | 984 |1000 |  37k|1000 |  10k|  22k|   0 |   0 |-2.498811e+02 |-4.900000e+01 |  80.39%
1800.36/1801.19	c 
1800.36/1801.19	c SCIP Status        : solving was interrupted [user interrupt]
1800.36/1801.19	c Solving Time (sec) : 1789.29
1800.36/1801.19	c Solving Nodes      : 1
1800.36/1801.19	c Primal Bound       : -4.90000000000000e+01 (49 solutions)
1800.36/1801.19	c Dual Bound         : -2.49881129502358e+02
1800.36/1801.19	c Gap                : 80.39 %
1800.46/1801.28	s SATISFIABLE
1800.46/1801.28	v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 
1800.46/1801.28	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 
1800.46/1801.28	v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 
1800.46/1801.28	v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 
1800.46/1801.28	v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 
1800.46/1801.28	v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 
1800.46/1801.28	v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 
1800.46/1801.28	v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 
1800.46/1801.28	v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 
1800.46/1801.28	v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 
1800.46/1801.28	v -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770 
1800.46/1801.28	v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 
1800.46/1801.28	v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 
1800.46/1801.28	v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 
1800.46/1801.28	v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 
1800.46/1801.28	v x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 
1800.46/1801.28	v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 
1800.46/1801.28	v -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 
1800.46/1801.28	v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 
1800.46/1801.28	v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 
1800.46/1801.28	v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 
1800.46/1801.28	v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 
1800.46/1801.28	v -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 
1800.46/1801.28	v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 
1800.46/1801.28	v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 
1800.46/1801.28	v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 
1800.46/1801.28	v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 
1800.46/1801.28	v x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 
1800.46/1801.28	v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 
1800.46/1801.28	v -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 
1800.46/1801.28	v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 
1800.46/1801.28	v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 
1800.46/1801.28	v -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 
1800.46/1801.28	v -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 
1800.46/1801.28	v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 
1800.46/1801.28	v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 
1800.46/1801.28	v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 
1800.46/1801.28	v -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 
1800.46/1801.28	v x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 
1800.46/1801.28	v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 
1800.46/1801.28	v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 
1800.46/1801.28	v -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 
1800.46/1801.28	v -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 x103 -x102 -x101 -x100 -x99 
1800.46/1801.28	v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 
1800.46/1801.28	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 
1800.46/1801.28	v -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 
1800.46/1801.28	v x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 x13 -x12 -x11 x10 -x9 x8 x7 x6 -x5 x4 -x3 x2 x1 
1800.46/1801.28	c SCIP Status        : solving was interrupted [user interrupt]
1800.46/1801.28	c Solving Time       :    1789.29
1800.46/1801.28	c Original Problem   :
1800.46/1801.28	c   Problem name     : HOME/instance-2665229-1276659379.opb
1800.46/1801.28	c   Variables        : 38643 (38643 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.46/1801.28	c   Constraints      : 38643 initial, 38643 maximal
1800.46/1801.28	c Presolved Problem  :
1800.46/1801.28	c   Problem name     : t_HOME/instance-2665229-1276659379.opb
1800.46/1801.28	c   Variables        : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.46/1801.28	c   Constraints      : 37643 initial, 37643 maximal
1800.46/1801.28	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.46/1801.28	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.46/1801.28	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.46/1801.28	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.46/1801.28	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.46/1801.28	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.46/1801.28	c   probing          :       0.53          0          0          0          0          0          0          0          0
1800.46/1801.28	c   linear           :       0.25      37643          0          0      37643          0       1000          0          0
1800.46/1801.28	c   logicor          :       0.10          0          0          0          0          0          0          0          0
1800.46/1801.28	c   root node        :          -          0          -          -          0          -          -          -          -
1800.46/1801.28	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.46/1801.28	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.46/1801.28	c   logicor          :      37643        243        201          0          0          0          0      36063          0          0
1800.46/1801.28	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.46/1801.28	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.46/1801.28	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.46/1801.28	c   logicor          :       2.50       2.22       0.28       0.00       0.00
1800.46/1801.28	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.46/1801.28	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.46/1801.28	c   vbounds          :       0.00          2          0          0
1800.46/1801.28	c   rootredcost      :       0.00          0          0          0
1800.46/1801.28	c   pseudoobj        :       0.05        243          0          0
1800.46/1801.28	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.46/1801.28	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.46/1801.28	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.46/1801.28	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.46/1801.28	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.46/1801.28	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.46/1801.28	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.46/1801.28	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.46/1801.28	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.46/1801.28	c   cut pool         :       1.44        242          -          -       4174          -    (maximal pool size: 12888)
1800.46/1801.28	c   redcost          :       0.03        243          0          0          0          0
1800.46/1801.28	c   impliedbounds    :       0.90        240          0          0      21528          0
1800.46/1801.28	c   intobj           :       0.00          0          0          0          0          0
1800.46/1801.28	c   cgmip            :       0.00          0          0          0          0          0
1800.46/1801.28	c   gomory           :     971.55        240          0          0      88221          0
1800.46/1801.28	c   strongcg         :       1.80         20          0          0      10000          0
1800.46/1801.28	c   cmir             :       3.26         10          0          0          0          0
1800.46/1801.28	c   flowcover        :       2.78         10          0          0          0          0
1800.46/1801.28	c   clique           :      13.83        239          0          0       2127          0
1800.46/1801.28	c   zerohalf         :       0.00          0          0          0          0          0
1800.46/1801.28	c   mcf              :       0.07          1          0          0          0          0
1800.46/1801.28	c   rapidlearning    :       0.00          0          0          0          0          0
1800.46/1801.28	c Pricers            :       Time      Calls       Vars
1800.46/1801.28	c   problem variables:       0.00          0          0
1800.46/1801.28	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.46/1801.28	c   relpscost        :       0.00          1          0          0          0          0          2
1800.46/1801.28	c   pscost           :       0.00          0          0          0          0          0          0
1800.46/1801.28	c   inference        :       0.00          0          0          0          0          0          0
1800.46/1801.28	c   mostinf          :       0.00          0          0          0          0          0          0
1800.46/1801.28	c   leastinf         :       0.00          0          0          0          0          0          0
1800.46/1801.28	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.46/1801.28	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.46/1801.28	c   random           :       0.00          0          0          0          0          0          0
1800.46/1801.28	c Primal Heuristics  :       Time      Calls      Found
1800.46/1801.28	c   LP solutions     :       0.00          -          0
1800.46/1801.28	c   pseudo solutions :       0.00          -          0
1800.46/1801.28	c   crossover        :       0.00          0          0
1800.46/1801.28	c   oneopt           :       0.04          2          1
1800.46/1801.28	c   trivial          :       0.10          2          2
1800.46/1801.28	c   simplerounding   :       0.48        244         44
1800.46/1801.28	c   zirounding       :       0.01          1          0
1800.46/1801.28	c   rounding         :      13.96        244          1
1800.46/1801.28	c   shifting         :      15.19        244          1
1800.46/1801.28	c   intshifting      :       0.00          0          0
1800.46/1801.28	c   twoopt           :       0.00          0          0
1800.46/1801.28	c   fixandinfer      :       0.00          0          0
1800.46/1801.28	c   feaspump         :       0.00          0          0
1800.46/1801.28	c   coefdiving       :       0.00          0          0
1800.46/1801.28	c   pscostdiving     :       0.00          0          0
1800.46/1801.28	c   fracdiving       :       0.00          0          0
1800.46/1801.28	c   veclendiving     :       0.00          0          0
1800.46/1801.28	c   intdiving        :       0.00          0          0
1800.46/1801.28	c   actconsdiving    :       0.00          0          0
1800.46/1801.28	c   objpscostdiving  :       0.00          0          0
1800.46/1801.28	c   rootsoldiving    :       0.00          0          0
1800.46/1801.28	c   linesearchdiving :       0.00          0          0
1800.46/1801.28	c   guideddiving     :       0.00          0          0
1800.46/1801.28	c   octane           :       0.00          0          0
1800.46/1801.28	c   rens             :       0.00          0          0
1800.46/1801.28	c   rins             :       0.00          0          0
1800.46/1801.28	c   localbranching   :       0.00          0          0
1800.46/1801.28	c   mutation         :       0.00          0          0
1800.46/1801.28	c   dins             :       0.00          0          0
1800.46/1801.28	c   undercover       :       0.00          0          0
1800.46/1801.28	c   nlp              :       0.00          0          0
1800.46/1801.28	c   trysol           :       0.00          0          0
1800.46/1801.28	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.46/1801.28	c   primal LP        :       0.58          0          0       0.00       0.00
1800.46/1801.28	c   dual LP          :     745.68        244     369612    1514.80     495.67
1800.46/1801.28	c   lex dual LP      :       0.00          0          0       0.00          -
1800.46/1801.28	c   barrier LP       :       0.00          0          0       0.00          -
1800.46/1801.28	c   diving/probing LP:       0.00          0          0       0.00          -
1800.46/1801.28	c   strong branching :       0.00          0          0       0.00          -
1800.46/1801.28	c     (at root node) :          -          0          0       0.00          -
1800.46/1801.28	c   conflict analysis:       0.00          0          0       0.00          -
1800.46/1801.28	c B&B Tree           :
1800.46/1801.28	c   number of runs   :          1
1800.46/1801.28	c   nodes            :          1
1800.46/1801.28	c   nodes (total)    :          1
1800.46/1801.28	c   nodes left       :          2
1800.46/1801.28	c   max depth        :          0
1800.46/1801.28	c   max depth (total):          0
1800.46/1801.28	c   backtracks       :          0 (0.0%)
1800.46/1801.28	c   delayed cutoffs  :          0
1800.46/1801.28	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.46/1801.28	c   avg switch length:       1.00
1800.46/1801.28	c   switching time   :       0.00
1800.46/1801.28	c Solution           :
1800.46/1801.28	c   Solutions found  :         49 (4 improvements)
1800.46/1801.28	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.36 seconds, depth 0, found by <trivial>)
1800.46/1801.28	c   Primal Bound     : -4.90000000000000e+01   (in run 1, after 1 nodes, 4.78 seconds, depth 0, found by <oneopt>)
1800.46/1801.28	c   Dual Bound       : -2.49881129502358e+02
1800.46/1801.28	c   Gap              :      80.39 %
1800.46/1801.28	c   Root Dual Bound  : -2.49881129502358e+02
1800.46/1801.28	c   Root Iterations  :     369612
1800.76/1801.55	c Time complete: 1800.81.

Verifier Data 

OK	-49

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665229-1276659379/watcher-2665229-1276659379 -o /tmp/evaluation-result-2665229-1276659379/solver-2665229-1276659379 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665229-1276659379.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 8719
/proc/meminfo: memFree=1775488/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=9584 CPUtime=0
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1056 0 0 0 0 0 0 0 20 0 1 0 39594277 9814016 976 1992294400 4194304 9819077 140734196886784 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8719/statm: 2396 986 371 1374 0 1017 0

[startup+0.013708 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8719
/proc/meminfo: memFree=1775488/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=11768 CPUtime=0
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1787 0 0 0 0 0 0 0 20 0 1 0 39594277 12050432 1707 1992294400 4194304 9819077 140734196886784 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8719/statm: 2942 1711 384 1374 0 1563 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11768

[startup+0.101723 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8719
/proc/meminfo: memFree=1775488/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=25484 CPUtime=0.09
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 5275 0 0 0 7 2 0 0 20 0 1 0 39594277 26095616 5195 1992294400 4194304 9819077 140734196886784 18446744073709551615 8080882 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8719/statm: 6371 5195 389 1374 0 4992 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25484

[startup+0.30176 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8719
/proc/meminfo: memFree=1775488/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=45512 CPUtime=0.29
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 10331 0 0 0 25 4 0 0 20 0 1 0 39594277 46604288 10224 1992294400 4194304 9819077 140734196886784 18446744073709551615 8667763 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8719/statm: 11378 10225 389 1374 0 9999 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45512

[startup+0.701834 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8719
/proc/meminfo: memFree=1775488/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=105908 CPUtime=0.69
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 25840 0 0 0 60 9 0 0 21 0 1 0 39594277 108449792 25305 1992294400 4194304 9819077 140734196886784 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 26477 25305 450 1374 0 25098 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105908

[startup+1.50098 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8720
/proc/meminfo: memFree=1666236/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=126908 CPUtime=1.48
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 30100 0 0 0 136 12 0 0 23 0 1 0 39594277 129953792 29565 1992294400 4194304 9819077 140734196886784 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 31727 29565 478 1374 0 30348 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 126908

[startup+3.10128 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8720
/proc/meminfo: memFree=1650984/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=140220 CPUtime=3.09
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 37749 0 0 0 277 32 0 0 25 0 1 0 39594277 143585280 32957 1992294400 4194304 9819077 140734196886784 18446744073709551615 4218735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 35055 32957 507 1374 0 33676 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 140220

[startup+6.30088 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8720
/proc/meminfo: memFree=1614032/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=199912 CPUtime=6.29
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 57950 0 0 0 583 46 0 0 25 0 1 0 39594277 204709888 40682 1992294400 4194304 9819077 140734196886784 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 49978 40682 665 1374 0 48599 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 199912

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8720
/proc/meminfo: memFree=1613660/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=200504 CPUtime=12.69
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 80984 0 0 0 1211 58 0 0 25 0 1 0 39594277 205316096 40874 1992294400 4194304 9819077 140734196886784 18446744073709551615 5430271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 50126 40874 666 1374 0 48747 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 200504

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8720
/proc/meminfo: memFree=1611056/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=201584 CPUtime=25.48
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 108972 0 0 0 2475 73 0 0 25 0 1 0 39594277 206422016 41628 1992294400 4194304 9819077 140734196886784 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 50396 41628 666 1374 0 49017 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 201584

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8720
/proc/meminfo: memFree=1603492/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=190524 CPUtime=51.06
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 144025 0 0 0 5013 93 0 0 25 0 1 0 39594277 195096576 43297 1992294400 4194304 9819077 140734196886784 18446744073709551615 5430341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 47631 43297 675 1374 0 46252 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 190524

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8722
/proc/meminfo: memFree=1592704/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=202800 CPUtime=102.24
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 212193 0 0 0 10084 140 0 0 25 0 1 0 39594277 207667200 46258 1992294400 4194304 9819077 140734196886784 18446744073709551615 7312713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 50700 46258 675 1374 0 49321 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 202800

[startup+162.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 8727
/proc/meminfo: memFree=1578692/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=219456 CPUtime=162.22
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 288180 0 0 0 16027 195 0 0 25 0 1 0 39594277 224722944 50067 1992294400 4194304 9819077 140734196886784 18446744073709551615 7296194 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 54864 50067 675 1374 0 53485 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 219456

[startup+222.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 8729
/proc/meminfo: memFree=1574848/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=220904 CPUtime=222.19
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 364486 0 0 0 21972 247 0 0 25 0 1 0 39594277 226205696 50041 1992294400 4194304 9819077 140734196886784 18446744073709551615 7289378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 55226 50041 675 1374 0 53847 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 220904

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8729
/proc/meminfo: memFree=1568896/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=229764 CPUtime=282.17
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 442595 0 0 0 27913 304 0 0 25 0 1 0 39594277 235278336 52138 1992294400 4194304 9819077 140734196886784 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 57441 52138 675 1374 0 56062 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 229764

[startup+342.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 8731
/proc/meminfo: memFree=1546824/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=251304 CPUtime=342.15
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 521301 0 0 0 33853 362 0 0 25 0 1 0 39594277 257335296 57002 1992294400 4194304 9819077 140734196886784 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 62826 57002 675 1374 0 61447 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 251304

[startup+402.301 s]
/proc/loadavg: 1.09 1.02 1.01 2/107 8733
/proc/meminfo: memFree=1548436/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=249512 CPUtime=402.12
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 595309 0 0 0 39794 418 0 0 25 0 1 0 39594277 255500288 56913 1992294400 4194304 9819077 140734196886784 18446744073709551615 7295968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 62378 56913 675 1374 0 60999 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 249512

[startup+462.301 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 8735
/proc/meminfo: memFree=1550296/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=246732 CPUtime=462.1
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 656647 0 0 0 45740 470 0 0 25 0 1 0 39594277 252653568 56260 1992294400 4194304 9819077 140734196886784 18446744073709551615 6555543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 61683 56260 675 1374 0 60304 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 246732

[startup+522.301 s]
/proc/loadavg: 1.17 1.06 1.01 2/107 8737
/proc/meminfo: memFree=1550420/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=247208 CPUtime=522.08
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 712791 0 0 0 51696 512 0 0 25 0 1 0 39594277 253140992 56774 1992294400 4194304 9819077 140734196886784 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 61802 56774 675 1374 0 60423 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 247208

[startup+582.301 s]
/proc/loadavg: 1.12 1.06 1.01 2/107 8737
/proc/meminfo: memFree=1549180/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=247236 CPUtime=582.06
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 756394 0 0 0 57656 550 0 0 25 0 1 0 39594277 253169664 56700 1992294400 4194304 9819077 140734196886784 18446744073709551615 6198708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 61809 56700 675 1374 0 60430 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 247236

[startup+642.301 s]
/proc/loadavg: 1.10 1.06 1.01 2/107 8739
/proc/meminfo: memFree=1550172/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=247532 CPUtime=642.03
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 793063 0 0 0 63622 581 0 0 25 0 1 0 39594277 253472768 56455 1992294400 4194304 9819077 140734196886784 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 61883 56455 675 1374 0 60504 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 247532

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 8749
/proc/meminfo: memFree=1550668/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=247596 CPUtime=1001.88
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 967309 0 0 0 99427 761 0 0 25 0 1 0 39594277 253538304 56215 1992294400 4194304 9819077 140734196886784 18446744073709551615 7318278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 61899 56215 675 1374 0 60520 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 247596

[startup+1062.3 s]
/proc/loadavg: 1.05 1.06 1.01 2/107 8751
/proc/meminfo: memFree=1550172/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=248212 CPUtime=1061.86
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 991085 0 0 0 105399 787 0 0 25 0 1 0 39594277 254169088 56330 1992294400 4194304 9819077 140734196886784 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 62053 56330 675 1374 0 60674 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 248212

[startup+1122.3 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 8753
/proc/meminfo: memFree=1550420/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=247920 CPUtime=1121.84
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1017201 0 0 0 111370 814 0 0 25 0 1 0 39594277 253870080 56243 1992294400 4194304 9819077 140734196886784 18446744073709551615 7309307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 61980 56243 675 1374 0 60601 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 247920

[startup+1182.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 8753
/proc/meminfo: memFree=1550420/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=247832 CPUtime=1181.82
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1042758 0 0 0 117343 839 0 0 25 0 1 0 39594277 253779968 56227 1992294400 4194304 9819077 140734196886784 18446744073709551615 6044219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 61958 56227 675 1374 0 60579 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 247832

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 8755
/proc/meminfo: memFree=1550048/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=247776 CPUtime=1241.8
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1062088 0 0 0 123320 860 0 0 25 0 1 0 39594277 253722624 56231 1992294400 4194304 9819077 140734196886784 18446744073709551615 6048066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 61944 56231 675 1374 0 60565 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 247776

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 8757
/proc/meminfo: memFree=1550296/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=247504 CPUtime=1301.78
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1084181 0 0 0 129295 883 0 0 25 0 1 0 39594277 253444096 56174 1992294400 4194304 9819077 140734196886784 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 61876 56174 675 1374 0 60497 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 247504

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8759
/proc/meminfo: memFree=1548436/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=247672 CPUtime=1361.75
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1102292 0 0 0 135268 907 0 0 25 0 1 0 39594277 253616128 56642 1992294400 4194304 9819077 140734196886784 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 61918 56642 675 1374 0 60539 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 247672

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8761
/proc/meminfo: memFree=1550172/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=246988 CPUtime=1421.73
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1121900 0 0 0 141242 931 0 0 25 0 1 0 39594277 252915712 56045 1992294400 4194304 9819077 140734196886784 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 61747 56045 675 1374 0 60368 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 246988

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8770
/proc/meminfo: memFree=1549304/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=248844 CPUtime=1481.68
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1146860 0 0 0 147209 959 0 0 25 0 1 0 39594277 254816256 56121 1992294400 4194304 9819077 140734196886784 18446744073709551615 4667265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 62211 56121 675 1374 0 60832 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 248844

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8772
/proc/meminfo: memFree=1549676/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=248872 CPUtime=1541.66
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1164404 0 0 0 153186 980 0 0 25 0 1 0 39594277 254844928 56530 1992294400 4194304 9819077 140734196886784 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 62218 56530 675 1374 0 60839 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 248872

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8774
/proc/meminfo: memFree=1550172/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=248752 CPUtime=1601.64
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1189303 0 0 0 159156 1008 0 0 25 0 1 0 39594277 254722048 56087 1992294400 4194304 9819077 140734196886784 18446744073709551615 6047067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 62188 56087 675 1374 0 60809 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 248752

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8776
/proc/meminfo: memFree=1548188/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=248720 CPUtime=1661.61
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1206569 0 0 0 165131 1030 0 0 25 0 1 0 39594277 254689280 56659 1992294400 4194304 9819077 140734196886784 18446744073709551615 6191132 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 62180 56659 675 1374 0 60801 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 248720

[startup+1722.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 8778
/proc/meminfo: memFree=1550048/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=248784 CPUtime=1721.59
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1222637 0 0 0 171106 1053 0 0 25 0 1 0 39594277 254754816 56097 1992294400 4194304 9819077 140734196886784 18446744073709551615 6050073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 62196 56097 675 1374 0 60817 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 248784

[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 8778
/proc/meminfo: memFree=1549924/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=248808 CPUtime=1781.56
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1237980 0 0 0 177082 1074 0 0 25 0 1 0 39594277 254779392 56097 1992294400 4194304 9819077 140734196886784 18446744073709551615 8494978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 62202 56097 675 1374 0 60823 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 248808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8780
/proc/meminfo: memFree=1550296/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=248704 CPUtime=1800.06
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1240705 0 0 0 178927 1079 0 0 25 0 1 0 39594277 254672896 56026 1992294400 4194304 9819077 140734196886784 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 62176 56026 675 1374 0 60797 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 248704

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

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

[startup+1801 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8780
/proc/meminfo: memFree=1550296/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=243640 CPUtime=1800.25
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1241677 0 0 0 178946 1079 0 0 25 0 1 0 39594277 249487360 55972 1992294400 4194304 9819077 140734196886784 18446744073709551615 7287831 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8719/statm: 60910 55972 675 1374 0 59531 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 243640

[startup+1801.4 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8780
/proc/meminfo: memFree=1550296/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=218888 CPUtime=1800.66
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1242095 0 0 0 178986 1080 0 0 25 0 1 0 39594277 224141312 51814 1992294400 4194304 9819077 140734196886784 18446744073709551615 6180545 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8719/statm: 54722 51814 683 1374 0 53343 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 218888

[startup+1801.5 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8780
/proc/meminfo: memFree=1550296/2059040 swapFree=4140352/4192956
[pid=8719] ppid=8717 vsize=76672 CPUtime=1800.76
/proc/8719/stat : 8719 (pbscip.linux.x8) R 8717 8719 7870 0 -1 4202496 1242098 0 0 0 178994 1082 0 0 25 0 1 0 39594277 78512128 17935 1992294400 4194304 9819077 140734196886784 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8719/statm: 19110 17820 686 1374 0 17731 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 76672

Child status: 0
Real time (s): 1801.56
CPU time (s): 1800.83
CPU user time (s): 1790
CPU system time (s): 10.8284
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 251672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790
system time used= 10.8284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1242105
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= 2
involuntary context switches= 6372

runsolver used 2.99554 second user time and 8.50771 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-16 05:36:20
IDJOB=2665229
IDBENCH=48172
IDSOLVER=1168
FILE ID=node019/2665229-1276659379
PBS_JOBID= 11172458
Free space on /tmp= 62412 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665229-1276659379/watcher-2665229-1276659379 -o /tmp/evaluation-result-2665229-1276659379/solver-2665229-1276659379 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665229-1276659379.opb -t 1800 -m 1800

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

MD5SUM BENCH= 9073bcbe60c862f7d64be630b0fdd227
RANDOM SEED=1205210915

node019.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.264
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.52
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.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1775892 kB
Buffers:         73976 kB
Cached:         119044 kB
SwapCached:       6068 kB
Active:         109916 kB
Inactive:        96316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1775892 kB
SwapTotal:     4192956 kB
SwapFree:      4140352 kB
Dirty:            7100 kB
Writeback:           0 kB
AnonPages:       11544 kB
Mapped:          13048 kB
Slab:            55188 kB
PageTables:       4068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181460 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= 62408 MiB
End job on node019 at 2010-06-16 06:06:22