Trace number 2703527

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.89 1791.35

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
MD5SUM4618b6422bdc12197131d1d37f567363
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables41
Total number of constraints11
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint40
Number of terms in the objective function 1
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 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1196
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3589
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2703527-1278561906.opb>
0.00/0.01	c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.02	c (round 2) 1 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.02	c presolving (3 rounds):
0.01/0.02	c  1 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.02	c  0 implications, 0 cliques
0.01/0.02	c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.01/0.02	c       5 constraints of type <linear>
0.01/0.02	c transformed objective value is always integral (scale: 1)
0.01/0.02	c Presolving Time: 0.01
0.01/0.02	c - non default parameters ----------------------------------------------------------------------
0.01/0.02	c # SCIP version 1.2.1.3
0.01/0.02	c 
0.01/0.02	c # frequency for displaying node information lines
0.01/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.02	c display/freq = 10000
0.01/0.02	c 
0.01/0.02	c # maximal time in seconds to run
0.01/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02	c limits/time = 1790
0.01/0.02	c 
0.01/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02	c limits/memory = 1620
0.01/0.02	c 
0.01/0.02	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.02	c # [type: int, range: [1,2], default: 1]
0.01/0.02	c timing/clocktype = 2
0.01/0.02	c 
0.01/0.02	c # should presolving try to simplify inequalities
0.01/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02	c constraints/linear/simplifyinequalities = TRUE
0.01/0.02	c 
0.01/0.02	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02	c constraints/indicator/addCouplingCons = TRUE
0.01/0.02	c 
0.01/0.02	c # should presolving try to simplify knapsacks
0.01/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.02	c 
0.01/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.02	c separating/rapidlearning/freq = 0
0.01/0.02	c 
0.01/0.02	c -----------------------------------------------------------------------------------------------
0.01/0.02	c start solving
0.01/0.02	c 
0.01/0.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.01/0.02	c   0.0s|     1 |     0 |    21 |     - | 234k|   0 |   5 |  40 |   5 |  40 |   5 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.10	c   0.1s|     1 |     0 |    72 |     - | 355k|   0 |  10 |  40 |  54 |  40 |  10 |   5 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.11	c   0.1s|     1 |     0 |    80 |     - | 380k|   0 |  11 |  40 |  54 |  40 |  14 |   9 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.11	c   0.1s|     1 |     0 |    87 |     - | 399k|   0 |  12 |  40 |  54 |  40 |  17 |  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |    97 |     - | 420k|   0 |  12 |  40 |  54 |  40 |  21 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |   101 |     - | 428k|   0 |  15 |  40 |  54 |  40 |  24 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.14	c   0.1s|     1 |     0 |   104 |     - | 431k|   0 |  16 |  40 |  54 |  40 |  26 |  21 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	c   0.2s|     1 |     2 |   104 |     - | 432k|   0 |  16 |  40 |  54 |  40 |  26 |  21 |   0 |   9 | 0.000000e+00 |      --      |    Inf 
4.09/4.13	c   4.1s| 10000 |  3604 | 22636 |   2.3 |3929k|  35 |   5 |  40 |3365 |  40 |  16 |  21 |4673 | 463 | 0.000000e+00 |      --      |    Inf 
8.29/8.33	c   8.3s| 20000 |  6612 | 44356 |   2.2 |5695k|  35 |   - |  40 |2776 |  40 |  16 |  21 |9841 | 651 | 0.000000e+00 |      --      |    Inf 
12.38/12.49	c  12.5s| 30000 |  9596 | 66340 |   2.2 |7590k|  35 |   5 |  40 |2984 |  40 |  16 |  21 |  14k| 782 | 0.000000e+00 |      --      |    Inf 
16.88/16.98	c  17.0s| 40000 | 12161 | 88074 |   2.2 |9435k|  35 |   - |  40 |3438 |  40 |  16 |  21 |  20k| 900 | 0.000000e+00 |      --      |    Inf 
21.49/21.51	c  21.5s| 50000 | 14729 |109867 |   2.2 |  11M|  36 |   5 |  40 |3740 |  40 |  16 |  21 |  25k|1015 | 0.000000e+00 |      --      |    Inf 
26.39/26.43	c  26.4s| 60000 | 17152 |131738 |   2.2 |  12M|  36 |   - |  40 |3806 |  40 |  16 |  21 |  31k|1110 | 0.000000e+00 |      --      |    Inf 
31.28/31.32	c  31.3s| 70000 | 19644 |153614 |   2.2 |  14M|  36 |   5 |  40 |4731 |  40 |  16 |  21 |  36k|1199 | 0.000000e+00 |      --      |    Inf 
36.58/36.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.58/36.64	c  36.6s| 80000 | 21985 |176135 |   2.2 |  16M|  36 |   5 |  40 |4528 |  40 |  16 |  21 |  42k|1276 | 0.000000e+00 |      --      |    Inf 
41.97/42.05	c  42.0s| 90000 | 24375 |198212 |   2.2 |  18M|  36 |   5 |  40 |4599 |  40 |  16 |  21 |  48k|1333 | 0.000000e+00 |      --      |    Inf 
47.18/47.23	c  47.2s|100000 | 26855 |220491 |   2.2 |  20M|  36 |   5 |  40 |5175 |  40 |  16 |  21 |  53k|1392 | 0.000000e+00 |      --      |    Inf 
52.57/52.68	c  52.7s|110000 | 29323 |242678 |   2.2 |  22M|  36 |   5 |  40 |5650 |  40 |  16 |  21 |  59k|1438 | 0.000000e+00 |      --      |    Inf 
58.77/58.82	c  58.8s|120000 | 31369 |264695 |   2.2 |  23M|  36 |   5 |  40 |5427 |  40 |  16 |  21 |  65k|1502 | 0.000000e+00 |      --      |    Inf 
64.67/64.74	c  64.7s|130000 | 33753 |286975 |   2.2 |  25M|  36 |   5 |  40 |5682 |  40 |  16 |  21 |  70k|1554 | 0.000000e+00 |      --      |    Inf 
70.77/70.83	c  70.8s|140000 | 35820 |309362 |   2.2 |  26M|  36 |   - |  40 |6487 |  40 |  16 |  21 |  76k|1610 | 0.000000e+00 |      --      |    Inf 
77.37/77.43	c  77.4s|150000 | 37944 |331300 |   2.2 |  28M|  36 |   - |  40 |6056 |  40 |  16 |  21 |  82k|1653 | 0.000000e+00 |      --      |    Inf 
84.16/84.27	c  84.3s|160000 | 39797 |353243 |   2.2 |  30M|  36 |   - |  40 |6542 |  40 |  16 |  21 |  88k|1696 | 0.000000e+00 |      --      |    Inf 
90.96/91.03	c  91.0s|170000 | 41706 |375325 |   2.2 |  31M|  36 |   - |  40 |5804 |  40 |  16 |  21 |  94k|1739 | 0.000000e+00 |      --      |    Inf 
97.46/97.52	c  97.5s|180000 | 43600 |396808 |   2.2 |  33M|  36 |   - |  40 |6674 |  40 |  16 |  21 | 100k|1779 | 0.000000e+00 |      --      |    Inf 
103.86/103.95	c   104s|190000 | 45720 |418625 |   2.2 |  34M|  36 |   5 |  40 |7351 |  40 |  16 |  21 | 105k|1825 | 0.000000e+00 |      --      |    Inf 
110.35/110.47	c   110s|200000 | 47727 |440214 |   2.2 |  36M|  36 |   - |  40 |7859 |  40 |  16 |  21 | 111k|1868 | 0.000000e+00 |      --      |    Inf 
117.66/117.74	c   118s|210000 | 49611 |462226 |   2.2 |  37M|  36 |   - |  40 |7639 |   0 |   0 |  21 | 117k|1903 | 0.000000e+00 |      --      |    Inf 
124.75/124.81	c   125s|220000 | 51456 |483976 |   2.2 |  39M|  36 |   5 |  40 |9057 |  40 |  16 |  21 | 123k|1947 | 0.000000e+00 |      --      |    Inf 
133.15/133.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
133.15/133.22	c   133s|230000 | 53190 |505473 |   2.2 |  40M|  36 |   - |  40 |7065 |  40 |  16 |  21 | 129k|1984 | 0.000000e+00 |      --      |    Inf 
140.55/140.62	c   141s|240000 | 54973 |527709 |   2.2 |  42M|  36 |   5 |  40 |7190 |  40 |  16 |  21 | 135k|2029 | 0.000000e+00 |      --      |    Inf 
147.26/147.32	c   147s|250000 | 57008 |549049 |   2.2 |  43M|  36 |   5 |  40 |7564 |  40 |  16 |  21 | 141k|2075 | 0.000000e+00 |      --      |    Inf 
154.55/154.61	c   155s|260000 | 58944 |571027 |   2.2 |  45M|  36 |   - |  40 |8435 |  40 |  16 |  21 | 147k|2107 | 0.000000e+00 |      --      |    Inf 
163.24/163.40	c   163s|270000 | 60463 |592708 |   2.2 |  46M|  36 |   5 |  40 |6976 |  40 |  16 |  21 | 153k|2139 | 0.000000e+00 |      --      |    Inf 
170.54/170.61	c   171s|280000 | 62131 |614655 |   2.2 |  48M|  36 |   5 |  40 |8459 |  40 |  16 |  21 | 159k|2172 | 0.000000e+00 |      --      |    Inf 
177.74/177.86	c   178s|290000 | 63949 |636281 |   2.2 |  50M|  36 |   5 |  40 |8804 |  40 |  16 |  21 | 165k|2196 | 0.000000e+00 |      --      |    Inf 
186.34/186.45	c   186s|300000 | 65340 |658242 |   2.2 |  51M|  36 |   5 |  40 |8669 |  40 |  16 |  21 | 171k|2229 | 0.000000e+00 |      --      |    Inf 
194.34/194.48	c   194s|310000 | 67007 |679548 |   2.2 |  53M|  36 |   - |  40 |9333 |  40 |  16 |  21 | 177k|2251 | 0.000000e+00 |      --      |    Inf 
203.03/203.15	c   203s|320000 | 68373 |701557 |   2.2 |  54M|  36 |   - |  40 |9027 |  40 |  16 |  21 | 183k|2281 | 0.000000e+00 |      --      |    Inf 
211.93/212.03	c   212s|330000 | 69991 |723055 |   2.2 |  55M|  36 |   - |  40 |8609 |   0 |   0 |  21 | 190k|2319 | 0.000000e+00 |      --      |    Inf 
220.13/220.25	c   220s|340000 | 71480 |744532 |   2.2 |  56M|  36 |   5 |  40 |8476 |  40 |  16 |  21 | 196k|2353 | 0.000000e+00 |      --      |    Inf 
228.03/228.16	c   228s|350000 | 73097 |766136 |   2.2 |  58M|  36 |   - |  40 |8821 |   0 |   0 |  21 | 202k|2373 | 0.000000e+00 |      --      |    Inf 
236.33/236.49	c   236s|360000 | 74569 |787430 |   2.2 |  59M|  36 |   5 |  40 |8706 |  40 |  16 |  21 | 208k|2398 | 0.000000e+00 |      --      |    Inf 
245.62/245.73	c   246s|370000 | 75759 |808988 |   2.2 |  60M|  36 |   - |  40 |7896 |  40 |  16 |  21 | 214k|2424 | 0.000000e+00 |      --      |    Inf 
254.22/254.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
254.22/254.39	c   254s|380000 | 76957 |830865 |   2.2 |  62M|  36 |   - |  40 |7756 |   0 |   0 |  21 | 221k|2448 | 0.000000e+00 |      --      |    Inf 
262.82/262.95	c   263s|390000 | 78129 |852843 |   2.2 |  63M|  36 |   - |  40 |8337 |   0 |   0 |  21 | 228k|2470 | 0.000000e+00 |      --      |    Inf 
271.52/271.61	c   272s|400000 | 79584 |874389 |   2.2 |  64M|  36 |   5 |  40 |8314 |  40 |  16 |  21 | 234k|2493 | 0.000000e+00 |      --      |    Inf 
279.22/279.31	c   279s|410000 | 81276 |896086 |   2.2 |  66M|  36 |   5 |  40 |8526 |  40 |  16 |  21 | 240k|2518 | 0.000000e+00 |      --      |    Inf 
287.31/287.41	c   287s|420000 | 82743 |917392 |   2.2 |  67M|  36 |   5 |  40 |9098 |  40 |  16 |  21 | 246k|2542 | 0.000000e+00 |      --      |    Inf 
297.21/297.31	c   297s|430000 | 83827 |939086 |   2.2 |  68M|  36 |   5 |  40 |8585 |  40 |  16 |  21 | 252k|2573 | 0.000000e+00 |      --      |    Inf 
305.01/305.12	c   305s|440000 | 85347 |961051 |   2.2 |  70M|  36 |   - |  40 |9925 |  40 |  16 |  21 | 259k|2601 | 0.000000e+00 |      --      |    Inf 
315.11/315.28	c   315s|450000 | 86374 |982818 |   2.2 |  71M|  36 |   5 |  40 |9008 |  40 |  16 |  21 | 265k|2619 | 0.000000e+00 |      --      |    Inf 
324.51/324.64	c   325s|460000 | 87572 |  1004k|   2.2 |  72M|  36 |   5 |  40 |8682 |  40 |  16 |  21 | 272k|2639 | 0.000000e+00 |      --      |    Inf 
333.80/333.94	c   334s|470000 | 88734 |  1027k|   2.2 |  73M|  36 |   5 |  40 |8988 |  40 |  16 |  21 | 278k|2665 | 0.000000e+00 |      --      |    Inf 
343.60/343.77	c   344s|480000 | 89771 |  1049k|   2.2 |  74M|  36 |   - |  40 |8886 |  40 |  16 |  21 | 285k|2686 | 0.000000e+00 |      --      |    Inf 
352.49/352.67	c   353s|490000 | 90872 |  1071k|   2.2 |  76M|  36 |   5 |  40 |9551 |  40 |  16 |  21 | 292k|2708 | 0.000000e+00 |      --      |    Inf 
362.39/362.55	c   363s|500000 | 91818 |  1093k|   2.2 |  77M|  36 |   - |  40 |9265 |  40 |  16 |  21 | 298k|2731 | 0.000000e+00 |      --      |    Inf 
371.70/371.81	c   372s|510000 | 92889 |  1115k|   2.2 |  78M|  36 |   - |  40 |8969 |   0 |   0 |  21 | 305k|2760 | 0.000000e+00 |      --      |    Inf 
381.69/381.81	c   382s|520000 | 93976 |  1136k|   2.2 |  79M|  36 |   5 |  40 |8389 |  40 |  16 |  21 | 311k|2783 | 0.000000e+00 |      --      |    Inf 
391.09/391.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
391.09/391.25	c   391s|530000 | 94996 |  1158k|   2.2 |  80M|  36 |   5 |  40 |8400 |  40 |  16 |  21 | 318k|2805 | 0.000000e+00 |      --      |    Inf 
399.38/399.59	c   400s|540000 | 96383 |  1179k|   2.2 |  81M|  36 |   5 |  40 |9557 |  40 |  16 |  21 | 324k|2828 | 0.000000e+00 |      --      |    Inf 
407.08/407.29	c   407s|550000 | 98110 |  1202k|   2.2 |  83M|  36 |   - |  40 |  11k|  40 |  16 |  21 | 330k|2849 | 0.000000e+00 |      --      |    Inf 
418.48/418.67	c   419s|560000 | 98926 |  1224k|   2.2 |  84M|  36 |   5 |  40 |9218 |  40 |  16 |  21 | 337k|2878 | 0.000000e+00 |      --      |    Inf 
426.88/427.07	c   427s|570000 |100485 |  1246k|   2.2 |  85M|  36 |   5 |  40 |  10k|  40 |  16 |  21 | 343k|2899 | 0.000000e+00 |      --      |    Inf 
437.87/438.07	c   438s|580000 |101352 |  1266k|   2.2 |  86M|  36 |   5 |  40 |8733 |  40 |  16 |  21 | 349k|2917 | 0.000000e+00 |      --      |    Inf 
448.67/448.84	c   449s|590000 |102131 |  1289k|   2.2 |  87M|  36 |   5 |  40 |8022 |  40 |  16 |  21 | 356k|2938 | 0.000000e+00 |      --      |    Inf 
456.97/457.12	c   457s|600000 |103469 |  1311k|   2.2 |  89M|  36 |   5 |  40 |9355 |  40 |  16 |  21 | 363k|2956 | 0.000000e+00 |      --      |    Inf 
465.86/466.04	c   466s|610000 |104460 |  1333k|   2.2 |  90M|  36 |   5 |  40 |  10k|  40 |  16 |  21 | 369k|2974 | 0.000000e+00 |      --      |    Inf 
476.17/476.33	c   476s|620000 |105417 |  1355k|   2.2 |  91M|  36 |   - |  40 |9766 |  40 |  16 |  21 | 376k|2996 | 0.000000e+00 |      --      |    Inf 
485.46/485.63	c   486s|630000 |106577 |  1377k|   2.2 |  92M|  36 |   5 |  40 |  10k|  40 |  16 |  21 | 382k|3017 | 0.000000e+00 |      --      |    Inf 
494.55/494.72	c   495s|640000 |107840 |  1399k|   2.2 |  94M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 389k|3041 | 0.000000e+00 |      --      |    Inf 
505.25/505.48	c   505s|650000 |108818 |  1422k|   2.2 |  95M|  36 |   - |  40 |  11k|  40 |  16 |  21 | 396k|3061 | 0.000000e+00 |      --      |    Inf 
515.85/516.03	c   516s|660000 |109776 |  1443k|   2.2 |  96M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 402k|3082 | 0.000000e+00 |      --      |    Inf 
526.75/526.99	c   527s|670000 |110646 |  1465k|   2.2 |  97M|  36 |   - |  40 |  10k|  40 |  16 |  21 | 409k|3106 | 0.000000e+00 |      --      |    Inf 
536.66/536.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
536.66/536.87	c   537s|680000 |111640 |  1487k|   2.2 |  98M|  36 |   - |  40 |  10k|  40 |  16 |  21 | 416k|3132 | 0.000000e+00 |      --      |    Inf 
547.84/548.02	c   548s|690000 |112461 |  1509k|   2.2 |  99M|  36 |   - |  40 |9362 |  40 |  16 |  21 | 423k|3146 | 0.000000e+00 |      --      |    Inf 
556.85/557.04	c   557s|700000 |113586 |  1530k|   2.2 | 100M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 429k|3168 | 0.000000e+00 |      --      |    Inf 
566.95/567.14	c   567s|710000 |114804 |  1552k|   2.2 | 102M|  36 |   - |  40 |  11k|   0 |   0 |  21 | 436k|3193 | 0.000000e+00 |      --      |    Inf 
578.24/578.49	c   578s|720000 |115772 |  1574k|   2.2 | 103M|  36 |   - |  40 |  10k|   0 |   0 |  21 | 443k|3228 | 0.000000e+00 |      --      |    Inf 
589.34/589.56	c   590s|730000 |116578 |  1596k|   2.2 | 104M|  36 |   5 |  40 |  10k|  40 |  16 |  21 | 450k|3248 | 0.000000e+00 |      --      |    Inf 
599.04/599.27	c   599s|740000 |117663 |  1618k|   2.2 | 105M|  36 |   - |  40 |  11k|  40 |  16 |  21 | 456k|3270 | 0.000000e+00 |      --      |    Inf 
607.43/607.64	c   608s|750000 |119567 |  1640k|   2.2 | 107M|  36 |   5 |  40 |  12k|  40 |  16 |  21 | 462k|3291 | 0.000000e+00 |      --      |    Inf 
617.33/617.59	c   618s|760000 |120987 |  1663k|   2.2 | 108M|  36 |   5 |  40 |  13k|  40 |  16 |  21 | 468k|3308 | 0.000000e+00 |      --      |    Inf 
628.13/628.38	c   628s|770000 |121976 |  1686k|   2.2 | 110M|  36 |   - |  40 |  14k|  40 |  16 |  21 | 475k|3324 | 0.000000e+00 |      --      |    Inf 
639.52/639.74	c   640s|780000 |123273 |  1707k|   2.2 | 112M|  36 |   5 |  40 |  15k|  40 |  16 |  21 | 481k|3344 | 0.000000e+00 |      --      |    Inf 
653.22/653.45	c   653s|790000 |124051 |  1730k|   2.2 | 112M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 488k|3371 | 0.000000e+00 |      --      |    Inf 
666.11/666.36	c   666s|800000 |124676 |  1752k|   2.2 | 112M|  36 |   5 |  40 |9912 |  40 |  16 |  21 | 495k|3387 | 0.000000e+00 |      --      |    Inf 
676.12/676.30	c   676s|810000 |125664 |  1774k|   2.2 | 113M|  36 |   - |  40 |9911 |  40 |  16 |  21 | 502k|3403 | 0.000000e+00 |      --      |    Inf 
687.01/687.28	c   687s|820000 |126475 |  1795k|   2.2 | 114M|  36 |   - |  40 |  10k|  40 |  16 |  21 | 508k|3416 | 0.000000e+00 |      --      |    Inf 
697.41/697.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
697.41/697.66	c   698s|830000 |127595 |  1817k|   2.2 | 116M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 515k|3436 | 0.000000e+00 |      --      |    Inf 
706.01/706.29	c   706s|840000 |129032 |  1840k|   2.2 | 118M|  36 |   5 |  40 |  12k|  40 |  16 |  21 | 522k|3452 | 0.000000e+00 |      --      |    Inf 
716.40/716.60	c   717s|850000 |130278 |  1862k|   2.2 | 119M|  36 |   - |  40 |  12k|  40 |  16 |  21 | 528k|3470 | 0.000000e+00 |      --      |    Inf 
725.71/725.99	c   726s|860000 |131857 |  1883k|   2.2 | 120M|  36 |   5 |  40 |  13k|  40 |  16 |  21 | 534k|3490 | 0.000000e+00 |      --      |    Inf 
735.61/735.80	c   736s|870000 |133049 |  1905k|   2.2 | 122M|  36 |   - |  40 |  14k|  40 |  16 |  21 | 541k|3505 | 0.000000e+00 |      --      |    Inf 
746.20/746.49	c   746s|880000 |134165 |  1926k|   2.2 | 123M|  36 |   - |  40 |  15k|  40 |  16 |  21 | 547k|3520 | 0.000000e+00 |      --      |    Inf 
756.99/757.27	c   757s|890000 |135527 |  1947k|   2.2 | 124M|  36 |   5 |  40 |  14k|  40 |  16 |  21 | 553k|3534 | 0.000000e+00 |      --      |    Inf 
767.40/767.64	c   768s|900000 |137000 |  1969k|   2.2 | 126M|  36 |   5 |  40 |  15k|  40 |  16 |  21 | 559k|3550 | 0.000000e+00 |      --      |    Inf 
778.99/779.22	c   779s|910000 |138346 |  1990k|   2.2 | 127M|  36 |   - |  40 |  16k|   0 |   0 |  21 | 565k|3566 | 0.000000e+00 |      --      |    Inf 
792.89/793.12	c   793s|920000 |139136 |  2011k|   2.2 | 128M|  36 |   - |  40 |  14k|   0 |   0 |  21 | 572k|3588 | 0.000000e+00 |      --      |    Inf 
807.28/807.53	c   808s|930000 |140007 |  2032k|   2.2 | 128M|  36 |   5 |  40 |  12k|  40 |  16 |  21 | 578k|3608 | 0.000000e+00 |      --      |    Inf 
819.98/820.29	c   820s|940000 |140747 |  2054k|   2.2 | 129M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 585k|3626 | 0.000000e+00 |      --      |    Inf 
830.38/830.66	c   831s|950000 |142089 |  2076k|   2.2 | 131M|  36 |   - |  40 |  12k|  40 |  16 |  21 | 591k|3643 | 0.000000e+00 |      --      |    Inf 
840.97/841.28	c   841s|960000 |143032 |  2098k|   2.2 | 132M|  36 |   5 |  40 |  14k|  40 |  16 |  21 | 598k|3657 | 0.000000e+00 |      --      |    Inf 
854.17/854.48	c   854s|970000 |143930 |  2120k|   2.2 | 133M|  36 |   - |  40 |  12k|  40 |  16 |  21 | 605k|3674 | 0.000000e+00 |      --      |    Inf 
866.47/866.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
866.47/866.80	c   867s|980000 |144761 |  2142k|   2.2 | 134M|  36 |   - |  40 |  11k|  40 |  16 |  21 | 611k|3693 | 0.000000e+00 |      --      |    Inf 
878.57/878.87	c   879s|990000 |145631 |  2165k|   2.2 | 135M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 618k|3704 | 0.000000e+00 |      --      |    Inf 
890.55/890.90	c   891s|  1000k|146436 |  2187k|   2.2 | 135M|  36 |   - |  40 |  10k|  40 |  16 |  21 | 625k|3722 | 0.000000e+00 |      --      |    Inf 
901.66/901.93	c   902s|  1010k|147276 |  2208k|   2.2 | 136M|  36 |   - |  40 |  10k|  40 |  16 |  21 | 632k|3738 | 0.000000e+00 |      --      |    Inf 
912.15/912.46	c   912s|  1020k|148189 |  2230k|   2.2 | 138M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 638k|3752 | 0.000000e+00 |      --      |    Inf 
924.76/925.07	c   925s|  1030k|148763 |  2252k|   2.2 | 138M|  36 |   - |  40 |  10k|  40 |  16 |  21 | 645k|3774 | 0.000000e+00 |      --      |    Inf 
936.65/936.96	c   937s|  1040k|149361 |  2274k|   2.2 | 139M|  36 |   5 |  40 |  10k|  40 |  16 |  21 | 652k|3784 | 0.000000e+00 |      --      |    Inf 
948.64/948.92	c   949s|  1050k|149903 |  2295k|   2.2 | 140M|  36 |   5 |  40 |9953 |  40 |  16 |  21 | 659k|3805 | 0.000000e+00 |      --      |    Inf 
958.24/958.55	c   959s|  1060k|150876 |  2317k|   2.2 | 141M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 666k|3825 | 0.000000e+00 |      --      |    Inf 
971.04/971.31	c   971s|  1070k|151527 |  2339k|   2.2 | 142M|  36 |   - |  40 |  10k|  40 |  16 |  21 | 673k|3837 | 0.000000e+00 |      --      |    Inf 
983.63/983.95	c   984s|  1080k|152068 |  2361k|   2.2 | 143M|  36 |   5 |  40 |  10k|  40 |  16 |  21 | 680k|3854 | 0.000000e+00 |      --      |    Inf 
995.03/995.34	c   995s|  1090k|152697 |  2383k|   2.2 | 144M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 687k|3870 | 0.000000e+00 |      --      |    Inf 
1005.03/1005.36	c  1005s|  1100k|154077 |  2405k|   2.2 | 145M|  36 |   - |  40 |  12k|  40 |  16 |  21 | 693k|3881 | 0.000000e+00 |      --      |    Inf 
1015.32/1015.65	c  1016s|  1110k|154922 |  2426k|   2.2 | 147M|  36 |   5 |  40 |  13k|  40 |  16 |  21 | 700k|3893 | 0.000000e+00 |      --      |    Inf 
1027.72/1028.06	c  1028s|  1120k|155762 |  2448k|   2.2 | 148M|  36 |   - |  40 |  12k|  40 |  16 |  21 | 707k|3912 | 0.000000e+00 |      --      |    Inf 
1041.82/1042.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1041.82/1042.17	c  1042s|  1130k|156172 |  2469k|   2.2 | 148M|  36 |   5 |  40 |  10k|  40 |  16 |  21 | 714k|3924 | 0.000000e+00 |      --      |    Inf 
1054.12/1054.40	c  1054s|  1140k|156744 |  2491k|   2.2 | 149M|  36 |   - |  40 |  11k|  40 |  16 |  21 | 721k|3937 | 0.000000e+00 |      --      |    Inf 
1064.62/1064.93	c  1065s|  1150k|157961 |  2513k|   2.2 | 150M|  36 |   5 |  40 |  12k|  40 |  16 |  21 | 728k|3952 | 0.000000e+00 |      --      |    Inf 
1077.11/1077.43	c  1077s|  1160k|158483 |  2535k|   2.2 | 151M|  36 |   5 |  40 |  12k|  40 |  16 |  21 | 735k|3971 | 0.000000e+00 |      --      |    Inf 
1091.81/1092.19	c  1092s|  1170k|158728 |  2557k|   2.2 | 151M|  36 |   - |  40 |9667 |  40 |  16 |  21 | 742k|3989 | 0.000000e+00 |      --      |    Inf 
1101.91/1102.20	c  1102s|  1180k|159666 |  2578k|   2.2 | 153M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 749k|4003 | 0.000000e+00 |      --      |    Inf 
1112.81/1113.13	c  1113s|  1190k|160504 |  2600k|   2.2 | 154M|  36 |   - |  40 |  11k|   0 |   0 |  21 | 755k|4016 | 0.000000e+00 |      --      |    Inf 
1123.40/1123.75	c  1124s|  1200k|161720 |  2620k|   2.2 | 155M|  36 |   5 |  40 |  12k|  40 |  16 |  21 | 761k|4029 | 0.000000e+00 |      --      |    Inf 
1134.90/1135.25	c  1135s|  1210k|162506 |  2637k|   2.2 | 157M|  36 |   5 |  40 |  14k|  40 |  16 |  21 | 766k|4034 | 0.000000e+00 |      --      |    Inf 
1149.09/1149.46	c  1149s|  1220k|163125 |  2658k|   2.2 | 157M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 773k|4043 | 0.000000e+00 |      --      |    Inf 
1159.49/1159.84	c  1160s|  1230k|163902 |  2679k|   2.2 | 158M|  36 |   5 |  40 |  13k|  40 |  16 |  21 | 780k|4051 | 0.000000e+00 |      --      |    Inf 
1171.09/1171.41	c  1171s|  1240k|164853 |  2700k|   2.2 | 159M|  36 |   - |  40 |  13k|  40 |  16 |  21 | 787k|4069 | 0.000000e+00 |      --      |    Inf 
1183.89/1184.26	c  1184s|  1250k|165564 |  2721k|   2.2 | 160M|  36 |   5 |  40 |  12k|  40 |  16 |  21 | 794k|4080 | 0.000000e+00 |      --      |    Inf 
1195.58/1195.97	c  1196s|  1260k|166333 |  2744k|   2.2 | 161M|  36 |   5 |  40 |  12k|  40 |  16 |  21 | 801k|4097 | 0.000000e+00 |      --      |    Inf 
1206.98/1207.35	c  1207s|  1270k|167549 |  2766k|   2.2 | 162M|  36 |   5 |  40 |  12k|  40 |  16 |  21 | 807k|4110 | 0.000000e+00 |      --      |    Inf 
1217.48/1217.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1217.48/1217.80	c  1218s|  1280k|168645 |  2788k|   2.2 | 164M|  36 |   - |  40 |  13k|   0 |   0 |  21 | 814k|4118 | 0.000000e+00 |      --      |    Inf 
1228.97/1229.30	c  1229s|  1290k|169202 |  2810k|   2.2 | 165M|  36 |   - |  40 |  14k|  40 |  16 |  21 | 821k|4131 | 0.000000e+00 |      --      |    Inf 
1241.57/1241.93	c  1242s|  1300k|170002 |  2833k|   2.2 | 166M|  36 |   - |  40 |  14k|  40 |  16 |  21 | 828k|4145 | 0.000000e+00 |      --      |    Inf 
1253.57/1253.99	c  1254s|  1310k|171137 |  2855k|   2.2 | 167M|  36 |   - |  40 |  14k|   0 |   0 |  21 | 834k|4156 | 0.000000e+00 |      --      |    Inf 
1264.47/1264.87	c  1265s|  1320k|172531 |  2876k|   2.2 | 169M|  36 |   5 |  40 |  16k|  40 |  16 |  21 | 840k|4172 | 0.000000e+00 |      --      |    Inf 
1279.16/1279.59	c  1280s|  1330k|173039 |  2898k|   2.2 | 168M|  36 |   - |  40 |  12k|  40 |  16 |  21 | 847k|4185 | 0.000000e+00 |      --      |    Inf 
1289.87/1290.28	c  1290s|  1340k|174041 |  2919k|   2.2 | 170M|  36 |   5 |  40 |  14k|  40 |  16 |  21 | 853k|4200 | 0.000000e+00 |      --      |    Inf 
1300.65/1301.09	c  1301s|  1350k|175860 |  2941k|   2.2 | 172M|  36 |   - |  40 |  14k|  40 |  16 |  21 | 859k|4221 | 0.000000e+00 |      --      |    Inf 
1311.55/1311.94	c  1312s|  1360k|177362 |  2963k|   2.2 | 173M|  36 |   5 |  40 |  15k|  40 |  16 |  21 | 865k|4237 | 0.000000e+00 |      --      |    Inf 
1322.35/1322.79	c  1323s|  1370k|178874 |  2984k|   2.2 | 174M|  36 |   5 |  40 |  15k|  40 |  16 |  21 | 872k|4246 | 0.000000e+00 |      --      |    Inf 
1334.75/1335.20	c  1335s|  1380k|179746 |  3006k|   2.2 | 175M|  36 |   5 |  40 |  15k|  40 |  16 |  21 | 878k|4262 | 0.000000e+00 |      --      |    Inf 
1349.34/1349.77	c  1350s|  1390k|180070 |  3027k|   2.2 | 176M|  36 |   5 |  40 |  13k|  40 |  16 |  21 | 885k|4272 | 0.000000e+00 |      --      |    Inf 
1362.55/1362.92	c  1363s|  1400k|180877 |  3049k|   2.2 | 177M|  36 |   - |  40 |  12k|  40 |  16 |  21 | 892k|4283 | 0.000000e+00 |      --      |    Inf 
1373.94/1374.32	c  1374s|  1410k|182005 |  3070k|   2.2 | 178M|  36 |   5 |  40 |  13k|  40 |  16 |  21 | 898k|4291 | 0.000000e+00 |      --      |    Inf 
1389.53/1389.90	c  1390s|  1420k|182398 |  3093k|   2.2 | 178M|  36 |   5 |  40 |  12k|  40 |  16 |  21 | 906k|4305 | 0.000000e+00 |      --      |    Inf 
1401.92/1402.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1401.92/1402.37	c  1402s|  1430k|182960 |  3115k|   2.2 | 179M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 913k|4323 | 0.000000e+00 |      --      |    Inf 
1414.33/1414.79	c  1415s|  1440k|183496 |  3136k|   2.2 | 180M|  36 |   5 |  40 |  12k|  40 |  16 |  21 | 920k|4333 | 0.000000e+00 |      --      |    Inf 
1427.92/1428.37	c  1428s|  1450k|183948 |  3159k|   2.2 | 181M|  36 |   - |  40 |  11k|   0 |   0 |  21 | 927k|4354 | 0.000000e+00 |      --      |    Inf 
1438.82/1439.29	c  1439s|  1460k|184807 |  3181k|   2.2 | 182M|  36 |   - |  40 |  12k|  40 |  16 |  21 | 934k|4374 | 0.000000e+00 |      --      |    Inf 
1453.01/1453.44	c  1453s|  1470k|185183 |  3202k|   2.2 | 182M|  36 |   5 |  40 |  10k|  40 |  16 |  21 | 941k|4389 | 0.000000e+00 |      --      |    Inf 
1465.61/1466.06	c  1466s|  1480k|185567 |  3225k|   2.2 | 183M|  36 |   - |  40 |  10k|  40 |  16 |  21 | 949k|4400 | 0.000000e+00 |      --      |    Inf 
1479.60/1480.04	c  1480s|  1490k|185777 |  3246k|   2.2 | 184M|  36 |   5 |  40 |  10k|  40 |  16 |  21 | 956k|4411 | 0.000000e+00 |      --      |    Inf 
1492.70/1493.14	c  1493s|  1500k|186132 |  3268k|   2.2 | 185M|  36 |   5 |  40 |9727 |  40 |  16 |  21 | 963k|4424 | 0.000000e+00 |      --      |    Inf 
1505.30/1505.77	c  1506s|  1510k|186508 |  3290k|   2.2 | 185M|  36 |   5 |  40 |  10k|  40 |  16 |  21 | 970k|4441 | 0.000000e+00 |      --      |    Inf 
1516.90/1517.39	c  1517s|  1520k|187127 |  3311k|   2.2 | 187M|  36 |   - |  40 |  11k|  40 |  16 |  21 | 977k|4457 | 0.000000e+00 |      --      |    Inf 
1530.19/1530.68	c  1531s|  1530k|187569 |  3333k|   2.2 | 187M|  36 |   5 |  40 |  11k|  40 |  16 |  21 | 984k|4476 | 0.000000e+00 |      --      |    Inf 
1544.79/1545.21	c  1545s|  1540k|187706 |  3355k|   2.2 | 188M|  36 |   5 |  40 |  10k|  40 |  16 |  21 | 992k|4507 | 0.000000e+00 |      --      |    Inf 
1554.79/1555.22	c  1555s|  1550k|188523 |  3376k|   2.2 | 189M|  36 |   - |  40 |  11k|  40 |  16 |  21 | 998k|4521 | 0.000000e+00 |      --      |    Inf 
1566.78/1567.24	c  1567s|  1560k|189092 |  3397k|   2.2 | 190M|  36 |   5 |  40 |  11k|  40 |  16 |  21 |1005k|4532 | 0.000000e+00 |      --      |    Inf 
1581.39/1581.83	c  1582s|  1570k|189215 |  3419k|   2.2 | 190M|  36 |   5 |  40 |  10k|  40 |  16 |  21 |1012k|4547 | 0.000000e+00 |      --      |    Inf 
1593.18/1593.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1593.18/1593.61	c  1594s|  1580k|189761 |  3441k|   2.2 | 191M|  36 |   5 |  40 |  10k|  40 |  16 |  21 |1019k|4562 | 0.000000e+00 |      --      |    Inf 
1603.48/1603.97	c  1604s|  1590k|190566 |  3462k|   2.2 | 192M|  36 |   - |  40 |  12k|  40 |  16 |  21 |1026k|4572 | 0.000000e+00 |      --      |    Inf 
1617.58/1618.03	c  1618s|  1600k|190845 |  3483k|   2.2 | 193M|  36 |   5 |  40 |  10k|  40 |  16 |  21 |1033k|4587 | 0.000000e+00 |      --      |    Inf 
1629.68/1630.13	c  1630s|  1610k|191363 |  3505k|   2.2 | 193M|  36 |   - |  40 |  10k|  40 |  16 |  21 |1040k|4602 | 0.000000e+00 |      --      |    Inf 
1639.37/1639.81	c  1640s|  1620k|192573 |  3527k|   2.2 | 195M|  36 |   5 |  40 |  12k|  40 |  16 |  21 |1047k|4614 | 0.000000e+00 |      --      |    Inf 
1650.46/1650.93	c  1651s|  1630k|193255 |  3548k|   2.2 | 196M|  36 |   - |  40 |  13k|  40 |  16 |  21 |1053k|4624 | 0.000000e+00 |      --      |    Inf 
1661.96/1662.50	c  1662s|  1640k|193823 |  3568k|   2.2 | 197M|  36 |   5 |  40 |  14k|  40 |  16 |  21 |1060k|4633 | 0.000000e+00 |      --      |    Inf 
1675.87/1676.40	c  1676s|  1650k|194425 |  3590k|   2.2 | 198M|  36 |   5 |  40 |  13k|  40 |  16 |  21 |1067k|4647 | 0.000000e+00 |      --      |    Inf 
1689.65/1690.17	c  1690s|  1660k|194838 |  3612k|   2.2 | 198M|  36 |   - |  40 |  11k|  40 |  16 |  21 |1074k|4667 | 0.000000e+00 |      --      |    Inf 
1701.85/1702.31	c  1702s|  1670k|195384 |  3634k|   2.2 | 199M|  36 |   - |  40 |  12k|   0 |   0 |  21 |1081k|4680 | 0.000000e+00 |      --      |    Inf 
1714.85/1715.36	c  1715s|  1680k|195976 |  3655k|   2.2 | 200M|  36 |   5 |  40 |  12k|  40 |  16 |  21 |1088k|4701 | 0.000000e+00 |      --      |    Inf 
1727.14/1727.69	c  1728s|  1690k|196528 |  3677k|   2.2 | 201M|  36 |   5 |  40 |  12k|  40 |  16 |  21 |1095k|4716 | 0.000000e+00 |      --      |    Inf 
1742.34/1742.85	c  1743s|  1700k|196546 |  3699k|   2.2 | 201M|  36 |   - |  40 |9157 |  40 |  16 |  21 |1102k|4728 | 0.000000e+00 |      --      |    Inf 
1754.64/1755.12	c  1755s|  1710k|197046 |  3721k|   2.2 | 201M|  36 |   - |  40 |8878 |  40 |  16 |  21 |1110k|4742 | 0.000000e+00 |      --      |    Inf 
1761.94/1762.49	c  1762s|  1720k|199019 |  3743k|   2.2 | 204M|  36 |   5 |  40 |  11k|  40 |  16 |  21 |1115k|4750 | 0.000000e+00 |      --      |    Inf 
1770.73/1771.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1770.73/1771.23	c  1771s|  1730k|200691 |  3765k|   2.2 | 205M|  36 |   5 |  40 |  13k|  40 |  16 |  21 |1121k|4767 | 0.000000e+00 |      --      |    Inf 
1781.23/1781.75	c  1782s|  1740k|201939 |  3786k|   2.2 | 206M|  36 |   - |  40 |  13k|  40 |  16 |  21 |1127k|4779 | 0.000000e+00 |      --      |    Inf 
1789.53/1790.01	c 
1789.53/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.53/1790.01	c Solving Time (sec) : 1790.00
1789.53/1790.01	c Solving Nodes      : 1747059
1789.53/1790.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.53/1790.01	c Dual Bound         : +0.00000000000000e+00
1789.53/1790.01	c Gap                : infinite
1789.53/1790.01	s UNKNOWN
1789.53/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.53/1790.01	c Solving Time       :    1790.00
1789.53/1790.01	c Original Problem   :
1789.53/1790.01	c   Problem name     : HOME/instance-2703527-1278561906.opb
1789.53/1790.01	c   Variables        : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.53/1790.01	c   Constraints      : 11 initial, 11 maximal
1789.53/1790.01	c Presolved Problem  :
1789.53/1790.01	c   Problem name     : t_HOME/instance-2703527-1278561906.opb
1789.53/1790.01	c   Variables        : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.53/1790.01	c   Constraints      : 5 initial, 17603 maximal
1789.53/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.53/1790.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.01	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1789.53/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.01	c   probing          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.01	c   linear           :       0.00          0          0          0          0          0          6          0          0
1789.53/1790.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.01	c   root node        :          -          0          -          -          0          -          -          -          -
1789.53/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.53/1790.01	c   integral         :          0          0          0    1029326          0        640       2041          0          0    2053424
1789.53/1790.01	c   linear           :          5+         7    4262306          0          1     225941    1890644          0          0          0
1789.53/1790.01	c   logicor          :          0+         0    2141608          0          0       6754     832919          0          0          0
1789.53/1790.01	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.53/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.53/1790.01	c   integral         :      12.67       0.00       0.00      12.67       0.00
1789.53/1790.01	c   linear           :     148.63       0.00     148.63       0.00       0.00
1789.53/1790.01	c   logicor          :     674.16       0.00     674.16       0.00       0.00
1789.53/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.53/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.53/1790.01	c   vbounds          :       1.60          2          0          0
1789.53/1790.01	c   rootredcost      :       1.74          0          0          0
1789.53/1790.01	c   pseudoobj        :       1.35          0          0          0
1789.53/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.53/1790.01	c   propagation      :      14.07     232695     184588     631567       28.8         30       22.4          -
1789.53/1790.01	c   infeasible LP    :      35.65     577853     577842    1092082       18.7       8587       22.7          0
1789.53/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.53/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.53/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.53/1790.01	c   applied globally :          -          -          -    1124504       19.0          -          -          -
1789.53/1790.01	c   applied locally  :          -          -          -       7632       31.3          -          -          -
1789.53/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.53/1790.01	c   cut pool         :       0.00          5          -          -         12          -    (maximal pool size: 74)
1789.53/1790.01	c   redcost          :       2.15    1029324          0          0          0          0
1789.53/1790.01	c   impliedbounds    :       0.00          6          0          0          0          0
1789.53/1790.01	c   intobj           :       0.00          0          0          0          0          0
1789.53/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1789.53/1790.01	c   gomory           :       0.00          6          0          0          0          0
1789.53/1790.01	c   strongcg         :       0.00          6          0          0         29          0
1789.53/1790.01	c   cmir             :       0.01          6          0          0         26          0
1789.53/1790.01	c   flowcover        :       0.02          6          0          0         32          0
1789.53/1790.01	c   clique           :       0.00          1          0          0          0          0
1789.53/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1789.53/1790.01	c   mcf              :       0.00          1          0          0          0          0
1789.53/1790.01	c   rapidlearning    :       0.08          1          0          0          0         49
1789.53/1790.01	c Pricers            :       Time      Calls       Vars
1789.53/1790.01	c   problem variables:       0.00          0          0
1789.53/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.53/1790.01	c   relpscost        :      11.51    1029326        640       2041          0          0    2053424
1789.53/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1789.53/1790.01	c   inference        :       0.00          1          0          0          0          0          2
1789.53/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1789.53/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1789.53/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.53/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.53/1790.01	c   random           :       0.00          0          0          0          0          0          0
1789.53/1790.01	c Primal Heuristics  :       Time      Calls      Found
1789.53/1790.01	c   LP solutions     :       0.00          -          0
1789.53/1790.01	c   pseudo solutions :       0.00          -          0
1789.53/1790.01	c   oneopt           :       1.16          0          0
1789.53/1790.01	c   crossover        :       0.66          0          0
1789.53/1790.01	c   guideddiving     :       0.14          0          0
1789.53/1790.01	c   linesearchdiving :       0.13         70          0
1789.53/1790.01	c   coefdiving       :       0.15         71          0
1789.53/1790.01	c   pscostdiving     :       0.16         71          0
1789.53/1790.01	c   fracdiving       :       0.15         71          0
1789.53/1790.01	c   veclendiving     :       0.16         71          0
1789.53/1790.01	c   objpscostdiving  :       0.13         36          0
1789.53/1790.01	c   rootsoldiving    :       0.15         36          0
1789.53/1790.01	c   feaspump         :       0.13         36          0
1789.53/1790.01	c   trivial          :       0.00          2          0
1789.53/1790.01	c   simplerounding   :       0.43          0          0
1789.53/1790.01	c   zirounding       :       0.65       1000          0
1789.53/1790.01	c   rounding         :       1.05      14351          0
1789.53/1790.01	c   shifting         :       2.08       4224          0
1789.53/1790.01	c   intshifting      :       0.07          0          0
1789.53/1790.01	c   twoopt           :       0.00          0          0
1789.53/1790.01	c   fixandinfer      :       0.00          0          0
1789.53/1790.01	c   intdiving        :       0.00          0          0
1789.53/1790.01	c   actconsdiving    :       0.00          0          0
1789.53/1790.01	c   octane           :       0.00          0          0
1789.53/1790.01	c   rens             :       0.04          1          0
1789.53/1790.01	c   rins             :       0.00          0          0
1789.53/1790.01	c   localbranching   :       0.00          0          0
1789.53/1790.01	c   mutation         :       0.00          0          0
1789.53/1790.01	c   dins             :       0.00          0          0
1789.53/1790.01	c   undercover       :       0.00          0          0
1789.53/1790.01	c   nlp              :       0.58          0          0
1789.53/1790.01	c   trysol           :       0.86          0          0
1789.53/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.53/1790.01	c   primal LP        :       0.00          0          0       0.00          -
1789.53/1790.01	c   dual LP          :     162.55    1559318    3800217       2.44   23378.17
1789.53/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1789.53/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1789.53/1790.01	c   diving/probing LP:       0.10        951       1612       1.70   15650.79
1789.53/1790.01	c   strong branching :       0.89       4788      16924       3.53   19037.33
1789.53/1790.01	c     (at root node) :          -          9        310      34.44          -
1789.53/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1789.53/1790.01	c B&B Tree           :
1789.53/1790.01	c   number of runs   :          1
1789.53/1790.01	c   nodes            :    1747059
1789.53/1790.01	c   nodes (total)    :    1747059
1789.53/1790.01	c   nodes left       :     202492
1789.53/1790.01	c   max depth        :         36
1789.53/1790.01	c   max depth (total):         36
1789.53/1790.01	c   backtracks       :     388902 (22.3%)
1789.53/1790.01	c   delayed cutoffs  :     103876
1789.53/1790.01	c   repropagations   :    1539511 (1331500 domain reductions, 90006 cutoffs)
1789.53/1790.01	c   avg switch length:       5.88
1789.53/1790.01	c   switching time   :     489.68
1789.53/1790.01	c Solution           :
1789.53/1790.01	c   Solutions found  :          0 (0 improvements)
1789.53/1790.01	c   Primal Bound     :          -
1789.53/1790.01	c   Dual Bound       : +0.00000000000000e+00
1789.53/1790.01	c   Gap              :   infinite
1789.53/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1789.53/1790.01	c   Root Iterations  :        104
1790.83/1791.35	c Time complete: 1790.88.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703527-1278561906/watcher-2703527-1278561906 -o /tmp/evaluation-result-2703527-1278561906/solver-2703527-1278561906 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703527-1278561906.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: 0.92 0.98 0.99 3/106 28053
/proc/meminfo: memFree=1902488/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=7904 CPUtime=0
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 1044 0 0 0 0 0 0 0 18 0 1 0 24403634 8093696 955 1992294400 4194304 8395647 140737328831248 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28053/statm: 1976 964 365 1026 0 946 0

[startup+0.0199321 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28053
/proc/meminfo: memFree=1902488/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=13456 CPUtime=0.01
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 2742 0 0 0 1 0 0 0 18 0 1 0 24403634 13778944 2300 1992294400 4194304 8395647 140737328831248 18446744073709551615 7382147 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 3364 2300 464 1026 0 2334 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13456

[startup+0.100939 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28053
/proc/meminfo: memFree=1902488/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=21736 CPUtime=0.09
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 4720 0 0 0 7 2 0 0 20 0 1 0 24403634 22257664 4278 1992294400 4194304 8395647 140737328831248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 5434 4278 599 1026 0 4404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21736

[startup+0.300958 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28053
/proc/meminfo: memFree=1902488/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=23080 CPUtime=0.29
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 5129 0 0 0 25 4 0 0 20 0 1 0 24403634 23633920 4687 1992294400 4194304 8395647 140737328831248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 5770 4687 622 1026 0 4740 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23080

[startup+0.700999 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 28053
/proc/meminfo: memFree=1902488/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=23080 CPUtime=0.69
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 5130 0 0 0 64 5 0 0 21 0 1 0 24403634 23633920 4688 1992294400 4194304 8395647 140737328831248 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 5770 4688 622 1026 0 4740 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23080

[startup+1.50108 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 28054
/proc/meminfo: memFree=1885740/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=23080 CPUtime=1.49
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 5134 0 0 0 141 8 0 0 23 0 1 0 24403634 23633920 4692 1992294400 4194304 8395647 140737328831248 18446744073709551615 4643976 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 5770 4692 622 1026 0 4740 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23080

[startup+3.10123 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 28054
/proc/meminfo: memFree=1885740/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=23080 CPUtime=3.09
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 5138 0 0 0 296 13 0 0 25 0 1 0 24403634 23633920 4696 1992294400 4194304 8395647 140737328831248 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 5770 4696 622 1026 0 4740 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23080

[startup+6.30155 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 28055
/proc/meminfo: memFree=1885616/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=23080 CPUtime=6.29
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 5189 0 0 0 608 21 0 0 25 0 1 0 24403634 23633920 4747 1992294400 4194304 8395647 140737328831248 18446744073709551615 5085604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 5770 4747 622 1026 0 4740 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23080

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 28055
/proc/meminfo: memFree=1884748/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=23976 CPUtime=12.69
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 5597 0 0 0 1231 38 0 0 25 0 1 0 24403634 24551424 5155 1992294400 4194304 8395647 140737328831248 18446744073709551615 5029708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 5994 5155 622 1026 0 4964 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23976

[startup+25.5005 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 28055
/proc/meminfo: memFree=1878300/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=29480 CPUtime=25.49
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 6965 0 0 0 2475 74 0 0 25 0 1 0 24403634 30187520 6523 1992294400 4194304 8395647 140737328831248 18446744073709551615 4669572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 7370 6523 622 1026 0 6340 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29480

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 28055
/proc/meminfo: memFree=1868380/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=39116 CPUtime=51.07
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 9420 0 0 0 4974 133 0 0 25 0 1 0 24403634 40054784 8978 1992294400 4194304 8395647 140737328831248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 9779 8978 622 1026 0 8749 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39116

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 28057
/proc/meminfo: memFree=1853376/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=53916 CPUtime=102.26
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 13180 0 0 0 9989 237 0 0 25 0 1 0 24403634 55209984 12738 1992294400 4194304 8395647 140737328831248 18446744073709551615 6070821 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 13479 12738 622 1026 0 12449 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 53916

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28059
/proc/meminfo: memFree=1841100/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=66376 CPUtime=162.24
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 16324 0 0 0 15883 341 0 0 25 0 1 0 24403634 67969024 15882 1992294400 4194304 8395647 140737328831248 18446744073709551615 6262410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 16594 15882 622 1026 0 15564 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 66376

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28059
/proc/meminfo: memFree=1828576/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=79992 CPUtime=222.23
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 19358 0 0 0 21791 432 0 0 25 0 1 0 24403634 81911808 18916 1992294400 4194304 8395647 140737328831248 18446744073709551615 5085418 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 19998 18916 622 1026 0 18968 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 79992

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28061
/proc/meminfo: memFree=1816300/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=92220 CPUtime=282.21
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 22398 0 0 0 27695 526 0 0 25 0 1 0 24403634 94433280 21956 1992294400 4194304 8395647 140737328831248 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 23055 21956 622 1026 0 22025 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 92220

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28063
/proc/meminfo: memFree=1810472/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=97620 CPUtime=342.19
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 23814 0 0 0 33606 613 0 0 25 0 1 0 24403634 99962880 23372 1992294400 4194304 8395647 140737328831248 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 24405 23372 622 1026 0 23375 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 97620

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28065
/proc/meminfo: memFree=1802164/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=107036 CPUtime=402.18
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 26149 0 0 0 39519 699 0 0 25 0 1 0 24403634 109604864 25707 1992294400 4194304 8395647 140737328831248 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 26759 25707 622 1026 0 25729 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 107036

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28067
/proc/meminfo: memFree=1795220/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=112628 CPUtime=462.17
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 27598 0 0 0 45434 783 0 0 25 0 1 0 24403634 115331072 27156 1992294400 4194304 8395647 140737328831248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 28157 27156 622 1026 0 27127 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 112628

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28067
/proc/meminfo: memFree=1785424/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=122184 CPUtime=522.16
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 30002 0 0 0 51358 858 0 0 25 0 1 0 24403634 125116416 29560 1992294400 4194304 8395647 140737328831248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 30546 29560 622 1026 0 29516 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 122184

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28069
/proc/meminfo: memFree=1779472/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=128064 CPUtime=582.14
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 31505 0 0 0 57287 927 0 0 25 0 1 0 24403634 131137536 31063 1992294400 4194304 8395647 140737328831248 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 32016 31063 622 1026 0 30986 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 128064

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28071
/proc/meminfo: memFree=1768436/2059040 swapFree=4110764/4192956
[pid=28053] ppid=28051 vsize=139208 CPUtime=642.12
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 34211 0 0 0 63208 1004 0 0 25 0 1 0 24403634 142548992 33769 1992294400 4194304 8395647 140737328831248 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 34802 33769 622 1026 0 33772 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 139208

[startup+702.3 s]

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

/proc/meminfo: memFree=1692188/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=172496 CPUtime=1002.02
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 42544 0 0 0 98807 1395 0 0 25 0 1 0 24403634 176635904 42102 1992294400 4194304 8395647 140737328831248 18446744073709551615 4706634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 43124 42102 622 1026 0 42094 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 172496

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28086
/proc/meminfo: memFree=1686732/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=178116 CPUtime=1062.01
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 43922 0 0 0 104739 1462 0 0 25 0 1 0 24403634 182390784 43480 1992294400 4194304 8395647 140737328831248 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 44529 43480 622 1026 0 43499 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 178116

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28086
/proc/meminfo: memFree=1681276/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=183428 CPUtime=1122
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 45274 0 0 0 110666 1534 0 0 25 0 1 0 24403634 187830272 44832 1992294400 4194304 8395647 140737328831248 18446744073709551615 4471493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 45857 44832 622 1026 0 44827 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 183428

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28088
/proc/meminfo: memFree=1676068/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=188480 CPUtime=1181.98
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 46584 0 0 0 116602 1596 0 0 25 0 1 0 24403634 193003520 46142 1992294400 4194304 8395647 140737328831248 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 47120 46142 622 1026 0 46090 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 188480

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28090
/proc/meminfo: memFree=1670860/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=193552 CPUtime=1241.96
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 47879 0 0 0 122531 1665 0 0 25 0 1 0 24403634 198197248 47437 1992294400 4194304 8395647 140737328831248 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 48388 47437 622 1026 0 47358 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 193552

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28092
/proc/meminfo: memFree=1666024/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=198000 CPUtime=1301.96
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 49052 0 0 0 128466 1730 0 0 25 0 1 0 24403634 202752000 48610 1992294400 4194304 8395647 140737328831248 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 49500 48610 622 1026 0 48470 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 198000

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28094
/proc/meminfo: memFree=1660568/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=203872 CPUtime=1361.94
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 50438 0 0 0 134399 1795 0 0 25 0 1 0 24403634 208764928 49996 1992294400 4194304 8395647 140737328831248 18446744073709551615 4995703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 50968 49996 622 1026 0 49938 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 203872

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28094
/proc/meminfo: memFree=1655360/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=208804 CPUtime=1421.92
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 51738 0 0 0 140335 1857 0 0 25 0 1 0 24403634 213815296 51296 1992294400 4194304 8395647 140737328831248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 52201 51296 622 1026 0 51171 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 208804

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28096
/proc/meminfo: memFree=1652136/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=211852 CPUtime=1481.9
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 52513 0 0 0 146277 1913 0 0 25 0 1 0 24403634 216936448 52071 1992294400 4194304 8395647 140737328831248 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 52963 52071 622 1026 0 51933 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 211852

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28098
/proc/meminfo: memFree=1648168/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=215692 CPUtime=1541.9
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 53456 0 0 0 152214 1976 0 0 25 0 1 0 24403634 220868608 53014 1992294400 4194304 8395647 140737328831248 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 53923 53014 622 1026 0 52893 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 215692

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28100
/proc/meminfo: memFree=1642340/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=221484 CPUtime=1601.87
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 54957 0 0 0 158146 2041 0 0 25 0 1 0 24403634 226799616 54515 1992294400 4194304 8395647 140737328831248 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 55371 54515 622 1026 0 54341 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 221484

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28102
/proc/meminfo: memFree=1635272/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=228356 CPUtime=1661.86
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 56666 0 0 0 164083 2103 0 0 25 0 1 0 24403634 233836544 56224 1992294400 4194304 8395647 140737328831248 18446744073709551615 6119495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 57089 56224 622 1026 0 56059 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 228356

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28102
/proc/meminfo: memFree=1632172/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=231300 CPUtime=1721.84
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 57417 0 0 0 170020 2164 0 0 25 0 1 0 24403634 236851200 56975 1992294400 4194304 8395647 140737328831248 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 57825 56975 622 1026 0 56795 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 231300

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28104
/proc/meminfo: memFree=1625848/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=241696 CPUtime=1781.83
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 58935 0 0 0 175951 2232 0 0 25 0 1 0 24403634 247496704 58493 1992294400 4194304 8395647 140737328831248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 60424 58493 622 1026 0 59394 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 241696

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28104
/proc/meminfo: memFree=1625848/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=241696 CPUtime=1785.03
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 58937 0 0 0 176268 2235 0 0 25 0 1 0 24403634 247496704 58495 1992294400 4194304 8395647 140737328831248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 60424 58495 622 1026 0 59394 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 241696

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28104
/proc/meminfo: memFree=1625848/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=241696 CPUtime=1788.23
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 58937 0 0 0 176585 2238 0 0 25 0 1 0 24403634 247496704 58495 1992294400 4194304 8395647 140737328831248 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28053/statm: 60424 58495 622 1026 0 59394 0
Current children cumulated CPU time (s) 1788.23
Current children cumulated vsize (KiB) 241696

[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28104
/proc/meminfo: memFree=1625848/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=241696 CPUtime=1789.83
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 58940 0 0 0 176743 2240 0 0 25 0 1 0 24403634 247496704 58498 1992294400 4194304 8395647 140737328831248 18446744073709551615 4220036 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28053/statm: 60424 58498 625 1026 0 59394 0
Current children cumulated CPU time (s) 1789.83
Current children cumulated vsize (KiB) 241696

[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28104
/proc/meminfo: memFree=1625848/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=241696 CPUtime=1790.63
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 58940 0 0 0 176823 2240 0 0 25 0 1 0 24403634 247496704 58498 1992294400 4194304 8395647 140737328831248 18446744073709551615 4723491 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28053/statm: 60424 58498 625 1026 0 59394 0
Current children cumulated CPU time (s) 1790.63
Current children cumulated vsize (KiB) 241696

[startup+1791.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28104
/proc/meminfo: memFree=1625848/2059040 swapFree=4110772/4192956
[pid=28053] ppid=28051 vsize=241696 CPUtime=1790.83
/proc/28053/stat : 28053 (pbscip.linux.x8) R 28051 28053 28027 0 -1 4202496 58940 0 0 0 176843 2240 0 0 25 0 1 0 24403634 247496704 58498 1992294400 4194304 8395647 140737328831248 18446744073709551615 5083217 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28053/statm: 60424 58498 625 1026 0 59394 0
Current children cumulated CPU time (s) 1790.83
Current children cumulated vsize (KiB) 241696

Child status: 0
Real time (s): 1791.35
CPU time (s): 1790.89
CPU user time (s): 1768.46
CPU system time (s): 22.4326
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 241696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.46
system time used= 22.4326
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58943
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 20735

runsolver used 3.03354 second user time and 8.39272 second system time

The end

Launcher Data 

Begin job on node012 at 2010-07-08 06:05:06
IDJOB=2703527
IDBENCH=2903
IDSOLVER=1213
FILE ID=node012/2703527-1278561906
PBS_JOBID= 11239581
Free space on /tmp= 62492 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703527-1278561906/watcher-2703527-1278561906 -o /tmp/evaluation-result-2703527-1278561906/solver-2703527-1278561906 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703527-1278561906.opb -t 1800 -m 1800

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

MD5SUM BENCH= 4618b6422bdc12197131d1d37f567363
RANDOM SEED=1517878707

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1903016 kB
Buffers:          2996 kB
Cached:          38316 kB
SwapCached:      34652 kB
Active:          46136 kB
Inactive:        36532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1903016 kB
SwapTotal:     4192956 kB
SwapFree:      4110764 kB
Dirty:           10472 kB
Writeback:           0 kB
AnonPages:       11256 kB
Mapped:          12124 kB
Slab:            51536 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182148 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= 62484 MiB
End job on node012 at 2010-07-08 06:34:58