Trace number 2705174

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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1795.12 1795.06

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-66-100-0.wbo
MD5SUM8bd111ad23cbe0cb7f1571b060618f25
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.011997
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables495
Total number of constraints940
Number of soft constraints337
Number of constraints which are clauses800
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints140
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 17324
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 17323
Biggest number in a constraint 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 257
Number of bits of the biggest sum of numbers9
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: Clp 1.11.1]
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-2705174-1278575076.wbo>
0.00/0.01	c original problem has 1169 variables (832 bin, 0 int, 337 impl, 0 cont) and 1278 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.02	c presolving:
0.00/0.02	c (round 1) 26 del vars, 8 del conss, 1 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2056 impls, 0 clqs
0.00/0.02	c (round 2) 26 del vars, 53 del conss, 1 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2056 impls, 0 clqs
0.00/0.03	c (round 3) 27 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2056 impls, 0 clqs
0.00/0.04	c (round 4) 28 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 553 upgd conss, 2056 impls, 0 clqs
0.00/0.08	c    (0.1s) probing: 458/805 (56.9%) - 4 fixings, 11 aggregations, 51 implications, 0 bound changes
0.00/0.08	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.08	c (round 5) 43 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 553 upgd conss, 2823 impls, 0 clqs
0.00/0.08	c (round 6) 43 del vars, 83 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 553 upgd conss, 2823 impls, 0 clqs
0.00/0.08	c (round 7) 50 del vars, 95 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 554 upgd conss, 2823 impls, 0 clqs
0.00/0.08	c (round 8) 57 del vars, 95 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 554 upgd conss, 2823 impls, 0 clqs
0.00/0.09	c    (0.1s) probing: 468/805 (58.1%) - 4 fixings, 11 aggregations, 51 implications, 0 bound changes
0.00/0.09	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.09	c presolving (9 rounds):
0.00/0.09	c  57 deleted vars, 95 deleted constraints, 337 tightened bounds, 0 added holes, 71 changed sides, 141 changed coefficients
0.00/0.09	c  2823 implications, 0 cliques
0.00/0.09	c presolved problem has 1112 variables (783 bin, 0 int, 329 impl, 0 cont) and 1183 constraints
0.00/0.09	c       2 constraints of type <varbound>
0.00/0.09	c      89 constraints of type <knapsack>
0.00/0.09	c     288 constraints of type <setppc>
0.00/0.09	c     327 constraints of type <linear>
0.00/0.09	c     329 constraints of type <indicator>
0.00/0.09	c     148 constraints of type <logicor>
0.00/0.09	c transformed objective value is always integral (scale: 1)
0.00/0.09	c Presolving Time: 0.07
0.00/0.09	c - non default parameters ----------------------------------------------------------------------
0.00/0.09	c # SCIP version 1.2.1.3
0.00/0.09	c 
0.00/0.09	c # frequency for displaying node information lines
0.00/0.09	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.09	c display/freq = 10000
0.00/0.09	c 
0.00/0.09	c # maximal time in seconds to run
0.00/0.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09	c limits/time = 1789.99
0.00/0.09	c 
0.00/0.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09	c limits/memory = 3420
0.00/0.09	c 
0.00/0.09	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.09	c # [type: int, range: [1,2], default: 1]
0.00/0.09	c timing/clocktype = 2
0.00/0.09	c 
0.00/0.09	c # should presolving try to simplify inequalities
0.00/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09	c constraints/linear/simplifyinequalities = TRUE
0.00/0.09	c 
0.00/0.09	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09	c constraints/indicator/addCouplingCons = TRUE
0.00/0.09	c 
0.00/0.09	c # should presolving try to simplify knapsacks
0.00/0.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.09	c 
0.00/0.09	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.09	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09	c separating/rapidlearning/freq = 0
0.00/0.09	c 
0.00/0.09	c -----------------------------------------------------------------------------------------------
0.00/0.09	c start solving
0.00/0.09	c 
0.00/0.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.09	c   0.1s|     1 |     0 |    84 |     - |4684k|   0 |  54 |1112 |1183 |1112 | 515 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.14	c   0.1s|     1 |     0 |   201 |     - |4804k|   0 | 112 |1112 |1183 |1112 | 614 |  99 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.16	c   0.2s|     1 |     0 |   271 |     - |4930k|   0 | 136 |1112 |1183 |1112 | 693 | 178 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |   368 |     - |5130k|   0 | 152 |1112 |1183 |1112 | 764 | 249 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.27	c   0.3s|     1 |     0 |   548 |     - |5264k|   0 | 239 |1112 |1183 |1112 | 834 | 319 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |   711 |     - |5356k|   0 | 251 |1112 |1183 |1112 | 897 | 382 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.45	c   0.4s|     1 |     0 |   920 |     - |5421k|   0 | 261 |1112 |1183 |1112 | 955 | 440 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.54	c   0.5s|     1 |     2 |   920 |     - |5422k|   0 | 261 |1112 |1183 |1112 | 955 | 440 |   0 |  16 | 0.000000e+00 |      --      |    Inf 
5.39/5.45	o 16689
5.39/5.45	c y 5.4s|   142 |   141 |  7073 |  43.6 |5623k|  41 |   - |1112 |1218 |   0 |   0 | 445 |  35 |1553 | 0.000000e+00 | 1.668900e+04 |    Inf 
13.59/13.66	c  13.7s| 10000 |  9997 | 16111 |   1.5 |  16M| 125 |   0 |1112 |1220 |1112 | 783 |1144 |  37 |2556 | 0.000000e+00 | 1.668900e+04 |    Inf 
20.29/20.33	c  20.3s| 20000 | 19990 | 20372 |   1.0 |  26M| 143 |   0 |1112 |1223 |1112 | 783 |1904 |  41 |2709 | 0.000000e+00 | 1.668900e+04 |    Inf 
26.79/26.86	c  26.9s| 30000 | 29990 | 25605 |   0.8 |  35M| 143 |   0 |1112 |1223 |1112 | 789 |2643 |  41 |2709 | 0.000000e+00 | 1.668900e+04 |    Inf 
33.19/33.25	c  33.2s| 40000 | 39990 | 29788 |   0.7 |  45M| 143 |   0 |1112 |1223 |1112 | 783 |3194 |  41 |2709 | 0.000000e+00 | 1.668900e+04 |    Inf 
39.89/39.94	c  39.9s| 50000 | 49990 | 37120 |   0.7 |  55M| 145 |   0 |1112 |1223 |1112 | 783 |3734 |  41 |2805 | 0.000000e+00 | 1.668900e+04 |    Inf 
46.50/46.53	c  46.5s| 60000 | 59990 | 44472 |   0.7 |  64M| 145 |   0 |1112 |1221 |1112 | 784 |4126 |  41 |2826 | 0.000000e+00 | 1.668900e+04 |    Inf 
53.09/53.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
53.09/53.12	c  53.1s| 70000 | 69990 | 51950 |   0.7 |  74M| 145 |   0 |1112 |1221 |1112 | 789 |4636 |  41 |2826 | 0.000000e+00 | 1.668900e+04 |    Inf 
59.59/59.65	c  59.6s| 80000 | 79990 | 58782 |   0.7 |  83M| 161 |   0 |1112 |1221 |1112 | 783 |5051 |  41 |2874 | 0.000000e+00 | 1.668900e+04 |    Inf 
65.90/65.92	c  65.9s| 90000 | 89990 | 63981 |   0.7 |  93M| 161 |   0 |1112 |1221 |1112 | 790 |5154 |  41 |2885 | 0.000000e+00 | 1.668900e+04 |    Inf 
72.20/72.23	c  72.2s|100000 | 99990 | 68875 |   0.7 | 102M| 161 |   0 |1112 |1221 |1112 | 783 |5340 |  41 |2897 | 0.000000e+00 | 1.668900e+04 |    Inf 
78.39/78.45	c  78.4s|110000 |109990 | 73182 |   0.7 | 112M| 161 |   0 |1112 |1221 |1112 | 784 |5464 |  41 |2905 | 0.000000e+00 | 1.668900e+04 |    Inf 
84.59/84.60	c  84.6s|120000 |119990 | 77110 |   0.6 | 121M| 177 |   0 |1112 |1221 |1112 | 783 |5634 |  41 |2917 | 0.000000e+00 | 1.668900e+04 |    Inf 
90.70/90.72	c  90.7s|130000 |129990 | 81316 |   0.6 | 131M| 177 |   0 |1112 |1221 |1112 | 789 |5796 |  41 |2918 | 0.000000e+00 | 1.668900e+04 |    Inf 
96.90/96.98	c  97.0s|140000 |139990 | 87054 |   0.6 | 140M| 177 |   0 |1112 |1221 |1112 | 794 |6039 |  41 |2918 | 0.000000e+00 | 1.668900e+04 |    Inf 
103.20/103.28	c   103s|150000 |149988 | 93273 |   0.6 | 149M| 177 |   0 |1112 |1222 |1112 | 784 |6320 |  42 |2918 | 0.000000e+00 | 1.668900e+04 |    Inf 
109.49/109.56	c   110s|160000 |159988 | 98846 |   0.6 | 159M| 177 |   2 |1112 |1222 |1112 | 789 |6589 |  42 |2919 | 0.000000e+00 | 1.668900e+04 |    Inf 
115.79/115.80	c   116s|170000 |169988 |104164 |   0.6 | 168M| 177 |   0 |1112 |1222 |1112 | 791 |6812 |  42 |2921 | 0.000000e+00 | 1.668900e+04 |    Inf 
122.00/122.00	c   122s|180000 |179988 |108904 |   0.6 | 178M| 177 |   0 |1112 |1222 |1112 | 790 |6987 |  42 |2923 | 0.000000e+00 | 1.668900e+04 |    Inf 
128.19/128.23	c   128s|190000 |189988 |113652 |   0.6 | 187M| 177 |   0 |1112 |1222 |1112 | 783 |7329 |  42 |2923 | 0.000000e+00 | 1.668900e+04 |    Inf 
134.39/134.49	c   134s|200000 |199988 |118299 |   0.6 | 197M| 177 |   0 |1112 |1222 |1112 | 790 |7641 |  42 |2925 | 0.000000e+00 | 1.668900e+04 |    Inf 
140.69/140.78	c   141s|210000 |209988 |123920 |   0.6 | 206M| 177 |   0 |1112 |1222 |1112 | 783 |7856 |  42 |2925 | 0.000000e+00 | 1.668900e+04 |    Inf 
147.00/147.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
147.00/147.04	c   147s|220000 |219988 |129335 |   0.6 | 216M| 177 |   0 |1112 |1222 |1112 | 789 |8086 |  42 |2928 | 0.000000e+00 | 1.668900e+04 |    Inf 
153.29/153.39	c   153s|230000 |229988 |134418 |   0.6 | 225M| 177 |   0 |1112 |1222 |1112 | 784 |8412 |  42 |2928 | 0.000000e+00 | 1.668900e+04 |    Inf 
159.80/159.82	c   160s|240000 |239988 |141246 |   0.6 | 235M| 177 |   0 |1112 |1222 |1112 | 783 |8714 |  42 |2928 | 0.000000e+00 | 1.668900e+04 |    Inf 
165.99/166.02	c   166s|250000 |249988 |146305 |   0.6 | 244M| 177 |   0 |1112 |1222 |1112 | 784 |8810 |  42 |2929 | 0.000000e+00 | 1.668900e+04 |    Inf 
172.40/172.46	c   172s|260000 |259988 |153312 |   0.6 | 254M| 177 |   0 |1112 |1222 |1112 | 783 |9079 |  42 |2930 | 0.000000e+00 | 1.668900e+04 |    Inf 
178.60/178.70	c   179s|270000 |269988 |158503 |   0.6 | 263M| 177 |   5 |1112 |1222 |1112 | 789 |9254 |  42 |2930 | 0.000000e+00 | 1.668900e+04 |    Inf 
184.90/184.95	c   185s|280000 |279988 |163172 |   0.6 | 273M| 177 |   0 |1112 |1222 |1112 | 792 |9550 |  42 |2930 | 0.000000e+00 | 1.668900e+04 |    Inf 
191.19/191.28	c   191s|290000 |289988 |168023 |   0.6 | 282M| 177 |   0 |1112 |1222 |1112 | 783 |9870 |  42 |2930 | 0.000000e+00 | 1.668900e+04 |    Inf 
197.50/197.57	c   198s|300000 |299988 |172703 |   0.6 | 292M| 177 |   0 |1112 |1222 |1112 | 783 |  10k|  42 |2930 | 0.000000e+00 | 1.668900e+04 |    Inf 
203.90/203.99	c   204s|310000 |309988 |177986 |   0.6 | 301M| 177 |   0 |1112 |1222 |1112 | 789 |  10k|  42 |2932 | 0.000000e+00 | 1.668900e+04 |    Inf 
210.30/210.34	c   210s|320000 |319988 |183179 |   0.6 | 311M| 177 |   0 |1112 |1222 |1112 | 783 |  10k|  42 |2934 | 0.000000e+00 | 1.668900e+04 |    Inf 
216.70/216.72	c   217s|330000 |329988 |188565 |   0.6 | 320M| 177 |   0 |1112 |1222 |1112 | 783 |  11k|  42 |2945 | 0.000000e+00 | 1.668900e+04 |    Inf 
223.09/223.15	c   223s|340000 |339988 |194487 |   0.6 | 330M| 177 |   0 |1112 |1222 |1112 | 790 |  11k|  42 |2945 | 0.000000e+00 | 1.668900e+04 |    Inf 
229.49/229.55	c   230s|350000 |349988 |199981 |   0.6 | 339M| 177 |   0 |1112 |1222 |1112 | 790 |  12k|  42 |2945 | 0.000000e+00 | 1.668900e+04 |    Inf 
235.90/235.97	c   236s|360000 |359988 |206899 |   0.6 | 348M| 177 |   0 |1112 |1222 |1112 | 789 |  12k|  42 |2948 | 0.000000e+00 | 1.668900e+04 |    Inf 
242.30/242.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
242.30/242.33	c   242s|370000 |369982 |212650 |   0.6 | 358M| 177 |   0 |1112 |1225 |1112 | 791 |  12k|  45 |2950 | 0.000000e+00 | 1.668900e+04 |    Inf 
248.50/248.57	c   249s|380000 |379982 |217488 |   0.6 | 367M| 177 |   0 |1112 |1225 |1112 | 794 |  13k|  45 |2950 | 0.000000e+00 | 1.668900e+04 |    Inf 
255.10/255.15	c   255s|390000 |389982 |225672 |   0.6 | 377M| 177 |   0 |1112 |1225 |1112 | 789 |  13k|  45 |2950 | 0.000000e+00 | 1.668900e+04 |    Inf 
261.70/261.70	c   262s|400000 |399982 |233430 |   0.6 | 386M| 177 |   0 |1112 |1225 |1112 | 789 |  13k|  45 |2995 | 0.000000e+00 | 1.668900e+04 |    Inf 
268.10/268.16	c   268s|410000 |409982 |240502 |   0.6 | 396M| 177 |   0 |1112 |1225 |1112 | 786 |  14k|  45 |2998 | 0.000000e+00 | 1.668900e+04 |    Inf 
274.50/274.52	c   275s|420000 |419982 |246073 |   0.6 | 405M| 177 |   0 |1112 |1225 |1112 | 792 |  14k|  45 |3000 | 0.000000e+00 | 1.668900e+04 |    Inf 
280.90/280.95	c   281s|430000 |429982 |251304 |   0.6 | 414M| 177 |   0 |1112 |1224 |1112 | 786 |  15k|  45 |3077 | 0.000000e+00 | 1.668900e+04 |    Inf 
287.20/287.29	c   287s|440000 |439982 |256118 |   0.6 | 424M| 177 |   0 |1112 |1224 |1112 | 783 |  15k|  45 |3087 | 0.000000e+00 | 1.668900e+04 |    Inf 
293.60/293.65	c   294s|450000 |449982 |261498 |   0.6 | 433M| 177 |   0 |1112 |1223 |1112 | 791 |  15k|  45 |3090 | 0.000000e+00 | 1.668900e+04 |    Inf 
300.00/300.09	c   300s|460000 |459982 |267179 |   0.6 | 443M| 177 |   0 |1112 |1222 |1112 | 792 |  16k|  45 |3156 | 0.000000e+00 | 1.668900e+04 |    Inf 
306.40/306.41	c   306s|470000 |469982 |271915 |   0.6 | 452M| 177 |   0 |1112 |1222 |1112 | 791 |  16k|  45 |3164 | 0.000000e+00 | 1.668900e+04 |    Inf 
312.60/312.67	c   313s|480000 |479982 |276503 |   0.6 | 462M| 177 |   0 |1112 |1222 |1112 | 791 |  16k|  45 |3167 | 0.000000e+00 | 1.668900e+04 |    Inf 
318.90/318.99	c   319s|490000 |489982 |281659 |   0.6 | 471M| 177 |   0 |1112 |1222 |1112 | 789 |  17k|  45 |3172 | 0.000000e+00 | 1.668900e+04 |    Inf 
325.40/325.48	c   325s|500000 |499982 |287770 |   0.6 | 481M| 177 |   0 |1112 |1222 |1112 | 789 |  17k|  45 |3245 | 0.000000e+00 | 1.668900e+04 |    Inf 
331.90/331.91	c   332s|510000 |509982 |294103 |   0.6 | 490M| 177 |   0 |1112 |1222 |1112 | 790 |  17k|  45 |3246 | 0.000000e+00 | 1.668900e+04 |    Inf 
338.91/338.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
338.91/338.93	c   339s|520000 |519982 |301617 |   0.6 | 500M| 177 |   0 |1112 |1222 |1112 | 786 |  18k|  45 |3718 | 0.000000e+00 | 1.668900e+04 |    Inf 
345.41/345.40	c   345s|530000 |529982 |308238 |   0.6 | 509M| 177 |   0 |1112 |1222 |1112 | 789 |  18k|  45 |3719 | 0.000000e+00 | 1.668900e+04 |    Inf 
351.71/351.77	c   352s|540000 |539982 |312885 |   0.6 | 518M| 177 |   0 |1112 |1222 |1112 | 789 |  19k|  45 |3719 | 0.000000e+00 | 1.668900e+04 |    Inf 
358.11/358.17	c   358s|550000 |549982 |318266 |   0.6 | 528M| 177 |   0 |1112 |1222 |1112 | 789 |  19k|  45 |3719 | 0.000000e+00 | 1.668900e+04 |    Inf 
364.60/364.65	c   365s|560000 |559982 |323864 |   0.6 | 537M| 177 |   0 |1112 |1222 |1112 | 792 |  20k|  45 |3769 | 0.000000e+00 | 1.668900e+04 |    Inf 
371.01/371.07	c   371s|570000 |569982 |329229 |   0.6 | 547M| 177 |   1 |1112 |1222 |1112 | 786 |  20k|  45 |3796 | 0.000000e+00 | 1.668900e+04 |    Inf 
377.41/377.47	c   377s|580000 |579982 |334882 |   0.6 | 556M| 177 |   0 |1112 |1222 |1112 | 790 |  20k|  45 |3798 | 0.000000e+00 | 1.668900e+04 |    Inf 
383.70/383.78	c   384s|590000 |589982 |340145 |   0.6 | 566M| 177 |   2 |1112 |1222 |1112 | 790 |  21k|  45 |3800 | 0.000000e+00 | 1.668900e+04 |    Inf 
390.20/390.23	c   390s|600000 |599982 |346000 |   0.6 | 575M| 177 |   0 |1112 |1222 |1112 | 787 |  21k|  45 |3870 | 0.000000e+00 | 1.668900e+04 |    Inf 
396.51/396.50	c   396s|610000 |609982 |350036 |   0.6 | 585M| 177 |   0 |1112 |1222 |1112 | 785 |  21k|  45 |3875 | 0.000000e+00 | 1.668900e+04 |    Inf 
402.91/402.90	c   403s|620000 |619982 |356283 |   0.6 | 594M| 177 |   0 |1112 |1222 |1112 | 790 |  22k|  45 |3875 | 0.000000e+00 | 1.668900e+04 |    Inf 
409.10/409.10	c   409s|630000 |629982 |360033 |   0.6 | 603M| 177 |   0 |1112 |1222 |1112 | 796 |  22k|  45 |3877 | 0.000000e+00 | 1.668900e+04 |    Inf 
415.40/415.40	c   415s|640000 |639982 |364798 |   0.6 | 613M| 177 |   0 |1112 |1222 |1112 | 791 |  22k|  45 |3930 | 0.000000e+00 | 1.668900e+04 |    Inf 
421.70/421.77	c   422s|650000 |649982 |370726 |   0.6 | 622M| 177 |   0 |1112 |1222 |1112 | 783 |  22k|  45 |3949 | 0.000000e+00 | 1.668900e+04 |    Inf 
428.01/428.09	c   428s|660000 |659982 |376286 |   0.6 | 632M| 177 |   0 |1112 |1222 |1112 | 791 |  23k|  45 |3955 | 0.000000e+00 | 1.668900e+04 |    Inf 
434.31/434.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
434.31/434.38	c   434s|670000 |669982 |381471 |   0.6 | 641M| 177 |   0 |1112 |1222 |1112 | 791 |  23k|  45 |3961 | 0.000000e+00 | 1.668900e+04 |    Inf 
440.81/440.88	c   441s|680000 |679982 |388123 |   0.6 | 651M| 177 |   0 |1112 |1222 |1112 | 790 |  23k|  45 |4033 | 0.000000e+00 | 1.668900e+04 |    Inf 
447.21/447.25	c   447s|690000 |689982 |393984 |   0.6 | 660M| 177 |   0 |1112 |1222 |1112 | 789 |  24k|  45 |4049 | 0.000000e+00 | 1.668900e+04 |    Inf 
453.70/453.78	c   454s|700000 |699982 |401907 |   0.6 | 670M| 177 |   0 |1112 |1222 |1112 | 785 |  24k|  45 |4052 | 0.000000e+00 | 1.668900e+04 |    Inf 
460.31/460.37	c   460s|710000 |709982 |410015 |   0.6 | 679M| 177 |   0 |1112 |1222 |1112 | 789 |  24k|  45 |4111 | 0.000000e+00 | 1.668900e+04 |    Inf 
466.81/466.87	c   467s|720000 |719982 |417663 |   0.6 | 688M| 177 |   0 |1112 |1222 |1112 | 790 |  25k|  45 |4123 | 0.000000e+00 | 1.668900e+04 |    Inf 
473.31/473.33	c   473s|730000 |729982 |424686 |   0.6 | 698M| 177 |   0 |1112 |1222 |1112 | 783 |  25k|  45 |4166 | 0.000000e+00 | 1.668900e+04 |    Inf 
479.81/479.87	c   480s|740000 |739982 |432651 |   0.6 | 707M| 177 |   8 |1112 |1222 |1112 | 784 |  25k|  45 |4203 | 0.000000e+00 | 1.668900e+04 |    Inf 
486.31/486.38	c   486s|750000 |749982 |440176 |   0.6 | 717M| 177 |   3 |1112 |1222 |1112 | 789 |  26k|  45 |4206 | 0.000000e+00 | 1.668900e+04 |    Inf 
492.91/492.90	c   493s|760000 |759982 |447247 |   0.6 | 726M| 177 |   7 |1112 |1222 |1112 | 784 |  26k|  45 |4268 | 0.000000e+00 | 1.668900e+04 |    Inf 
499.31/499.37	c   499s|770000 |769982 |454306 |   0.6 | 735M| 177 |   0 |1112 |1222 |1112 | 789 |  26k|  45 |4279 | 0.000000e+00 | 1.668900e+04 |    Inf 
505.81/505.86	c   506s|780000 |779982 |461695 |   0.6 | 745M| 177 |   0 |1112 |1222 |1112 | 793 |  27k|  45 |4285 | 0.000000e+00 | 1.668900e+04 |    Inf 
512.31/512.37	c   512s|790000 |789982 |468942 |   0.6 | 754M| 177 |   0 |1112 |1222 |1112 | 786 |  27k|  45 |4347 | 0.000000e+00 | 1.668900e+04 |    Inf 
518.81/518.80	c   519s|800000 |799982 |475655 |   0.6 | 764M| 177 |   0 |1112 |1222 |1112 | 783 |  27k|  45 |4361 | 0.000000e+00 | 1.668900e+04 |    Inf 
525.21/525.24	c   525s|810000 |809982 |482556 |   0.6 | 773M| 177 |   5 |1112 |1222 |1112 | 789 |  28k|  45 |4369 | 0.000000e+00 | 1.668900e+04 |    Inf 
531.71/531.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
531.71/531.76	c   532s|820000 |819982 |489671 |   0.6 | 783M| 177 |   0 |1112 |1222 |1112 | 795 |  28k|  45 |4425 | 0.000000e+00 | 1.668900e+04 |    Inf 
538.21/538.23	c   538s|830000 |829982 |496857 |   0.6 | 792M| 177 |   0 |1112 |1222 |1112 | 784 |  28k|  45 |4442 | 0.000000e+00 | 1.668900e+04 |    Inf 
544.71/544.71	c   545s|840000 |839982 |504273 |   0.6 | 801M| 177 |   0 |1112 |1222 |1112 | 791 |  29k|  45 |4462 | 0.000000e+00 | 1.668900e+04 |    Inf 
551.11/551.15	c   551s|850000 |849982 |511207 |   0.6 | 811M| 177 |   0 |1112 |1222 |1112 | 789 |  29k|  45 |4535 | 0.000000e+00 | 1.668900e+04 |    Inf 
557.52/557.55	c   558s|860000 |859982 |518165 |   0.6 | 820M| 177 |   0 |1112 |1222 |1112 | 786 |  29k|  45 |4551 | 0.000000e+00 | 1.668900e+04 |    Inf 
563.81/563.81	c   564s|870000 |869982 |523452 |   0.6 | 830M| 177 |   0 |1112 |1222 |1112 | 783 |  29k|  45 |4558 | 0.000000e+00 | 1.668900e+04 |    Inf 
570.01/570.05	c   570s|880000 |879982 |529039 |   0.6 | 839M| 177 |   0 |1112 |1222 |1112 | 791 |  29k|  45 |4565 | 0.000000e+00 | 1.668900e+04 |    Inf 
576.31/576.39	c   576s|890000 |889982 |534401 |   0.6 | 848M| 177 |   0 |1112 |1222 |1112 | 783 |  29k|  45 |4649 | 0.000000e+00 | 1.668900e+04 |    Inf 
582.71/582.79	c   583s|900000 |899982 |540723 |   0.6 | 858M| 177 |   0 |1112 |1222 |1112 | 793 |  30k|  45 |4668 | 0.000000e+00 | 1.668900e+04 |    Inf 
589.21/589.23	c   589s|910000 |909982 |547466 |   0.6 | 867M| 177 |   0 |1112 |1222 |1112 | 791 |  30k|  45 |4674 | 0.000000e+00 | 1.668900e+04 |    Inf 
595.61/595.67	c   596s|920000 |919982 |554258 |   0.6 | 877M| 177 |   0 |1112 |1222 |1112 | 786 |  30k|  45 |4731 | 0.000000e+00 | 1.668900e+04 |    Inf 
602.01/602.05	c   602s|930000 |929982 |559922 |   0.6 | 886M| 177 |   0 |1112 |1222 |1112 | 789 |  31k|  45 |4769 | 0.000000e+00 | 1.668900e+04 |    Inf 
608.21/608.28	c   608s|940000 |939982 |564882 |   0.6 | 896M| 177 |   0 |1112 |1222 |1112 | 789 |  31k|  45 |4772 | 0.000000e+00 | 1.668900e+04 |    Inf 
614.52/614.57	c   615s|950000 |949982 |569568 |   0.6 | 905M| 177 |   0 |1112 |1222 |1112 | 783 |  31k|  45 |4780 | 0.000000e+00 | 1.668900e+04 |    Inf 
620.81/620.82	c   621s|960000 |959982 |574567 |   0.6 | 915M| 177 |   0 |1112 |1222 |1112 | 787 |  32k|  45 |4791 | 0.000000e+00 | 1.668900e+04 |    Inf 
627.02/627.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
627.02/627.09	c   627s|970000 |969982 |579177 |   0.6 | 924M| 177 |   0 |1112 |1222 |1112 | 784 |  32k|  45 |4848 | 0.000000e+00 | 1.668900e+04 |    Inf 
633.32/633.31	c   633s|980000 |979982 |583825 |   0.6 | 934M| 177 |   0 |1112 |1222 |1112 | 783 |  32k|  45 |4855 | 0.000000e+00 | 1.668900e+04 |    Inf 
639.61/639.62	c   640s|990000 |989982 |588921 |   0.6 | 943M| 177 |   0 |1112 |1222 |1112 | 790 |  32k|  45 |4871 | 0.000000e+00 | 1.668900e+04 |    Inf 
645.82/645.88	c   646s|  1000k|999982 |593806 |   0.6 | 952M| 177 |   0 |1112 |1222 |1112 | 783 |  33k|  45 |4872 | 0.000000e+00 | 1.668900e+04 |    Inf 
652.21/652.22	c   652s|  1010k|  1009k|598877 |   0.6 | 962M| 177 |   0 |1112 |1222 |1112 | 789 |  33k|  45 |4900 | 0.000000e+00 | 1.668900e+04 |    Inf 
658.52/658.56	c   659s|  1020k|  1019k|603646 |   0.6 | 971M| 177 |   0 |1112 |1222 |1112 | 784 |  33k|  45 |4949 | 0.000000e+00 | 1.668900e+04 |    Inf 
664.82/664.81	c   665s|  1030k|  1029k|608286 |   0.6 | 981M| 177 |   0 |1112 |1222 |1112 | 783 |  34k|  45 |4959 | 0.000000e+00 | 1.668900e+04 |    Inf 
671.02/671.02	c   671s|  1040k|  1039k|612744 |   0.6 | 990M| 177 |   0 |1112 |1222 |1112 | 789 |  34k|  45 |4960 | 0.000000e+00 | 1.668900e+04 |    Inf 
677.32/677.33	c   677s|  1050k|  1049k|617685 |   0.6 |1000M| 177 |   0 |1112 |1222 |1112 | 789 |  34k|  45 |4963 | 0.000000e+00 | 1.668900e+04 |    Inf 
683.62/683.69	c   684s|  1060k|  1059k|622646 |   0.6 |1009M| 177 |   0 |1112 |1222 |1112 | 790 |  34k|  45 |5018 | 0.000000e+00 | 1.668900e+04 |    Inf 
690.02/690.04	c   690s|  1070k|  1069k|627481 |   0.6 |1019M| 177 |   0 |1112 |1222 |1112 | 786 |  35k|  45 |5073 | 0.000000e+00 | 1.668900e+04 |    Inf 
696.51/696.50	c   696s|  1080k|  1079k|634406 |   0.6 |1028M| 177 |   0 |1112 |1222 |1112 | 788 |  35k|  45 |5116 | 0.000000e+00 | 1.668900e+04 |    Inf 
702.82/702.80	c   703s|  1090k|  1089k|639575 |   0.6 |1038M| 177 |   0 |1112 |1223 |1112 | 790 |  35k|  46 |5120 | 0.000000e+00 | 1.668900e+04 |    Inf 
709.11/709.10	c   709s|  1100k|  1099k|644963 |   0.6 |1047M| 177 |   0 |1112 |1223 |1112 | 796 |  36k|  46 |5129 | 0.000000e+00 | 1.668900e+04 |    Inf 
715.42/715.46	c   715s|  1110k|  1109k|649929 |   0.6 |1057M| 177 |   0 |1112 |1223 |1112 | 790 |  36k|  46 |5186 | 0.000000e+00 | 1.668900e+04 |    Inf 
721.72/721.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
721.72/721.76	c   722s|  1120k|  1119k|654664 |   0.6 |1066M| 177 |   0 |1112 |1223 |1112 | 784 |  36k|  46 |5187 | 0.000000e+00 | 1.668900e+04 |    Inf 
728.02/728.03	c   728s|  1130k|  1129k|659428 |   0.6 |1075M| 177 |   0 |1112 |1224 |1112 | 790 |  36k|  47 |5213 | 0.000000e+00 | 1.668900e+04 |    Inf 
734.21/734.28	c   734s|  1140k|  1139k|664034 |   0.6 |1085M| 177 |   0 |1112 |1225 |1112 | 787 |  37k|  48 |5217 | 0.000000e+00 | 1.668900e+04 |    Inf 
740.52/740.54	c   741s|  1150k|  1149k|668764 |   0.6 |1094M| 177 |   0 |1112 |1226 |1112 | 791 |  37k|  49 |5217 | 0.000000e+00 | 1.668900e+04 |    Inf 
746.82/746.80	c   747s|  1160k|  1159k|673369 |   0.6 |1104M| 177 |   0 |1112 |1226 |1112 | 787 |  37k|  49 |5267 | 0.000000e+00 | 1.668900e+04 |    Inf 
753.01/753.06	c   753s|  1170k|  1169k|678053 |   0.6 |1113M| 177 |   0 |1112 |1227 |1112 | 795 |  38k|  50 |5275 | 0.000000e+00 | 1.668900e+04 |    Inf 
759.22/759.28	c   759s|  1180k|  1179k|682626 |   0.6 |1123M| 177 |   0 |1112 |1226 |1112 | 793 |  38k|  50 |5276 | 0.000000e+00 | 1.668900e+04 |    Inf 
765.41/765.45	c   765s|  1190k|  1189k|687068 |   0.6 |1132M| 177 |   0 |1112 |1224 |1112 | 787 |  38k|  50 |5282 | 0.000000e+00 | 1.668900e+04 |    Inf 
771.62/771.65	c   772s|  1200k|  1199k|691335 |   0.6 |1142M| 177 |   0 |1112 |1224 |1112 | 787 |  38k|  50 |5284 | 0.000000e+00 | 1.668900e+04 |    Inf 
777.92/777.95	c   778s|  1210k|  1209k|695984 |   0.6 |1151M| 177 |   0 |1112 |1224 |1112 | 792 |  39k|  50 |5344 | 0.000000e+00 | 1.668900e+04 |    Inf 
784.12/784.17	c   784s|  1220k|  1219k|700600 |   0.6 |1161M| 177 |   1 |1112 |1224 |1112 | 793 |  39k|  50 |5346 | 0.000000e+00 | 1.668900e+04 |    Inf 
790.42/790.40	c   790s|  1230k|  1229k|704883 |   0.6 |1170M| 177 |   0 |1112 |1224 |1112 | 783 |  39k|  50 |5357 | 0.000000e+00 | 1.668900e+04 |    Inf 
796.62/796.64	c   797s|  1240k|  1239k|708719 |   0.6 |1180M| 177 |   0 |1112 |1224 |1112 | 784 |  40k|  50 |5391 | 0.000000e+00 | 1.668900e+04 |    Inf 
802.82/802.88	c   803s|  1250k|  1249k|713270 |   0.6 |1189M| 177 |   0 |1112 |1224 |1112 | 783 |  40k|  50 |5391 | 0.000000e+00 | 1.668900e+04 |    Inf 
809.12/809.12	c   809s|  1260k|  1259k|717823 |   0.6 |1199M| 177 |   0 |1112 |1224 |1112 | 790 |  40k|  50 |5412 | 0.000000e+00 | 1.668900e+04 |    Inf 
815.33/815.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
815.33/815.33	c   815s|  1270k|  1269k|722168 |   0.6 |1208M| 177 |   0 |1112 |1224 |1112 | 794 |  41k|  50 |5443 | 0.000000e+00 | 1.668900e+04 |    Inf 
821.52/821.58	c   822s|  1280k|  1279k|726442 |   0.6 |1217M| 177 |   0 |1112 |1224 |1112 | 786 |  41k|  50 |5464 | 0.000000e+00 | 1.668900e+04 |    Inf 
827.72/827.78	c   828s|  1290k|  1289k|730804 |   0.6 |1227M| 177 |   0 |1112 |1224 |1112 | 794 |  41k|  50 |5467 | 0.000000e+00 | 1.668900e+04 |    Inf 
834.02/834.08	c   834s|  1300k|  1299k|736171 |   0.6 |1236M| 177 |   0 |1112 |1223 |1112 | 789 |  41k|  50 |5489 | 0.000000e+00 | 1.668900e+04 |    Inf 
840.32/840.30	c   840s|  1310k|  1309k|739991 |   0.6 |1246M| 177 |   0 |1112 |1223 |1112 | 790 |  42k|  50 |5492 | 0.000000e+00 | 1.668900e+04 |    Inf 
846.63/846.66	c   847s|  1320k|  1319k|745659 |   0.6 |1255M| 177 |   0 |1112 |1223 |1112 | 793 |  42k|  50 |5543 | 0.000000e+00 | 1.668900e+04 |    Inf 
852.92/852.96	c   853s|  1330k|  1329k|750470 |   0.6 |1265M| 177 |   0 |1112 |1224 |1112 | 791 |  42k|  51 |5559 | 0.000000e+00 | 1.668900e+04 |    Inf 
859.13/859.19	c   859s|  1340k|  1339k|755035 |   0.6 |1274M| 177 |   0 |1112 |1224 |1112 | 784 |  43k|  51 |5564 | 0.000000e+00 | 1.668900e+04 |    Inf 
865.32/865.35	c   865s|  1350k|  1349k|758784 |   0.6 |1284M| 177 |   0 |1112 |1224 |1112 | 789 |  43k|  51 |5565 | 0.000000e+00 | 1.668900e+04 |    Inf 
871.72/871.70	c   872s|  1360k|  1359k|763499 |   0.6 |1293M| 177 |   0 |1112 |1224 |1112 | 784 |  43k|  51 |5612 | 0.000000e+00 | 1.668900e+04 |    Inf 
878.12/878.15	c   878s|  1370k|  1369k|769378 |   0.6 |1302M| 177 |   0 |1112 |1223 |1112 | 792 |  44k|  51 |5692 | 0.000000e+00 | 1.668900e+04 |    Inf 
884.43/884.46	c   884s|  1380k|  1379k|774227 |   0.6 |1312M| 177 |   0 |1112 |1223 |1112 | 791 |  44k|  51 |5697 | 0.000000e+00 | 1.668900e+04 |    Inf 
890.72/890.73	c   891s|  1390k|  1389k|778614 |   0.6 |1321M| 177 |   0 |1112 |1223 |1112 | 787 |  44k|  51 |5730 | 0.000000e+00 | 1.668900e+04 |    Inf 
896.93/896.90	c   897s|  1400k|  1399k|782516 |   0.6 |1331M| 177 |   1 |1112 |1223 |1112 | 787 |  44k|  51 |5745 | 0.000000e+00 | 1.668900e+04 |    Inf 
903.13/903.17	c   903s|  1410k|  1409k|786721 |   0.6 |1340M| 177 |   0 |1112 |1223 |1112 | 796 |  44k|  51 |5768 | 0.000000e+00 | 1.668900e+04 |    Inf 
909.32/909.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
909.32/909.37	c   909s|  1420k|  1419k|790637 |   0.6 |1349M| 177 |   0 |1112 |1223 |1112 | 795 |  45k|  51 |5768 | 0.000000e+00 | 1.668900e+04 |    Inf 
915.72/915.71	c   916s|  1430k|  1429k|795872 |   0.6 |1359M| 177 |   0 |1112 |1223 |1112 | 786 |  45k|  51 |5783 | 0.000000e+00 | 1.668900e+04 |    Inf 
921.93/921.90	c   922s|  1440k|  1439k|799741 |   0.6 |1368M| 177 |   0 |1112 |1223 |1112 | 789 |  45k|  51 |5783 | 0.000000e+00 | 1.668900e+04 |    Inf 
928.12/928.17	c   928s|  1450k|  1449k|803880 |   0.6 |1377M| 177 |   0 |1112 |1223 |1112 | 796 |  45k|  51 |5841 | 0.000000e+00 | 1.668900e+04 |    Inf 
934.43/934.41	c   934s|  1460k|  1459k|807633 |   0.6 |1387M| 177 |   0 |1112 |1223 |1112 | 784 |  45k|  51 |5849 | 0.000000e+00 | 1.668900e+04 |    Inf 
940.53/940.57	c   941s|  1470k|  1469k|811082 |   0.6 |1396M| 177 |   0 |1112 |1223 |1112 | 796 |  46k|  51 |5854 | 0.000000e+00 | 1.668900e+04 |    Inf 
946.83/946.88	c   947s|  1480k|  1479k|815544 |   0.6 |1406M| 177 |   0 |1112 |1223 |1112 | 794 |  46k|  51 |5859 | 0.000000e+00 | 1.668900e+04 |    Inf 
953.13/953.12	c   953s|  1490k|  1489k|819633 |   0.5 |1415M| 177 |   0 |1112 |1223 |1112 | 791 |  46k|  51 |5861 | 0.000000e+00 | 1.668900e+04 |    Inf 
959.23/959.26	c   959s|  1500k|  1499k|822627 |   0.5 |1424M| 177 |   0 |1112 |1223 |1112 | 787 |  46k|  51 |5869 | 0.000000e+00 | 1.668900e+04 |    Inf 
965.43/965.43	c   965s|  1510k|  1509k|825720 |   0.5 |1434M| 177 |   0 |1112 |1223 |1112 | 792 |  46k|  51 |5891 | 0.000000e+00 | 1.668900e+04 |    Inf 
971.63/971.60	c   972s|  1520k|  1519k|828701 |   0.5 |1443M| 177 |   0 |1112 |1223 |1112 | 786 |  47k|  51 |5922 | 0.000000e+00 | 1.668900e+04 |    Inf 
977.83/977.85	c   978s|  1530k|  1529k|832547 |   0.5 |1453M| 177 |   0 |1112 |1223 |1112 | 787 |  47k|  51 |5934 | 0.000000e+00 | 1.668900e+04 |    Inf 
984.03/984.07	c   984s|  1540k|  1539k|835850 |   0.5 |1462M| 177 |   1 |1112 |1223 |1112 | 798 |  47k|  51 |5940 | 0.000000e+00 | 1.668900e+04 |    Inf 
990.23/990.25	c   990s|  1550k|  1549k|838864 |   0.5 |1471M| 177 |   0 |1112 |1223 |1112 | 798 |  47k|  51 |5940 | 0.000000e+00 | 1.668900e+04 |    Inf 
996.53/996.50	c   996s|  1560k|  1559k|842406 |   0.5 |1481M| 177 |   0 |1112 |1223 |1112 | 796 |  48k|  51 |5942 | 0.000000e+00 | 1.668900e+04 |    Inf 
1002.83/1002.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1002.83/1002.88	c  1003s|  1570k|  1569k|847457 |   0.5 |1490M| 177 |   0 |1112 |1223 |1112 | 791 |  48k|  51 |5960 | 0.000000e+00 | 1.668900e+04 |    Inf 
1009.23/1009.27	c  1009s|  1580k|  1579k|852344 |   0.5 |1500M| 177 |   0 |1112 |1223 |1112 | 793 |  48k|  51 |6017 | 0.000000e+00 | 1.668900e+04 |    Inf 
1015.73/1015.72	c  1016s|  1590k|  1589k|857850 |   0.5 |1509M| 177 |   0 |1112 |1223 |1112 | 792 |  49k|  51 |6054 | 0.000000e+00 | 1.668900e+04 |    Inf 
1022.13/1022.12	c  1022s|  1600k|  1599k|863392 |   0.5 |1519M| 177 |   0 |1112 |1222 |1112 | 793 |  49k|  51 |6059 | 0.000000e+00 | 1.668900e+04 |    Inf 
1028.43/1028.41	c  1028s|  1610k|  1609k|868487 |   0.5 |1528M| 177 |   0 |1112 |1222 |1112 | 786 |  50k|  51 |6060 | 0.000000e+00 | 1.668900e+04 |    Inf 
1034.73/1034.76	c  1035s|  1620k|  1619k|873739 |   0.5 |1538M| 177 |   0 |1112 |1221 |1112 | 786 |  50k|  51 |6060 | 0.000000e+00 | 1.668900e+04 |    Inf 
1041.03/1041.05	c  1041s|  1630k|  1629k|878228 |   0.5 |1547M| 177 |   0 |1112 |1221 |1112 | 796 |  50k|  51 |6135 | 0.000000e+00 | 1.668900e+04 |    Inf 
1047.43/1047.40	c  1047s|  1640k|  1639k|883210 |   0.5 |1556M| 177 |   0 |1112 |1222 |1112 | 790 |  51k|  52 |6155 | 0.000000e+00 | 1.668900e+04 |    Inf 
1053.63/1053.66	c  1054s|  1650k|  1649k|887824 |   0.5 |1566M| 177 |   0 |1112 |1222 |1112 | 788 |  51k|  52 |6161 | 0.000000e+00 | 1.668900e+04 |    Inf 
1059.83/1059.89	c  1060s|  1660k|  1659k|891831 |   0.5 |1575M| 177 |   0 |1112 |1222 |1112 | 787 |  51k|  52 |6166 | 0.000000e+00 | 1.668900e+04 |    Inf 
1066.13/1066.15	c  1066s|  1670k|  1669k|896063 |   0.5 |1585M| 177 |   0 |1112 |1222 |1112 | 792 |  51k|  52 |6178 | 0.000000e+00 | 1.668900e+04 |    Inf 
1072.33/1072.31	c  1072s|  1680k|  1679k|899813 |   0.5 |1594M| 177 |   0 |1112 |1222 |1112 | 792 |  52k|  52 |6188 | 0.000000e+00 | 1.668900e+04 |    Inf 
1078.63/1078.64	c  1079s|  1690k|  1689k|904397 |   0.5 |1604M| 177 |   0 |1112 |1222 |1112 | 783 |  52k|  52 |6229 | 0.000000e+00 | 1.668900e+04 |    Inf 
1084.83/1084.89	c  1085s|  1700k|  1699k|908795 |   0.5 |1613M| 177 |   0 |1112 |1222 |1112 | 795 |  52k|  52 |6261 | 0.000000e+00 | 1.668900e+04 |    Inf 
1091.13/1091.13	c  1091s|  1710k|  1709k|912673 |   0.5 |1623M| 177 |   0 |1112 |1222 |1112 | 794 |  52k|  52 |6283 | 0.000000e+00 | 1.668900e+04 |    Inf 
1097.33/1097.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1097.33/1097.32	c  1097s|  1720k|  1719k|916312 |   0.5 |1632M| 177 |   0 |1112 |1222 |1112 | 786 |  53k|  52 |6288 | 0.000000e+00 | 1.668900e+04 |    Inf 
1103.44/1103.48	c  1103s|  1730k|  1729k|919492 |   0.5 |1642M| 177 |   0 |1112 |1222 |1112 | 794 |  53k|  52 |6292 | 0.000000e+00 | 1.668900e+04 |    Inf 
1109.63/1109.68	c  1110s|  1740k|  1739k|922857 |   0.5 |1651M| 177 |   0 |1112 |1222 |1112 | 787 |  53k|  52 |6294 | 0.000000e+00 | 1.668900e+04 |    Inf 
1115.83/1115.86	c  1116s|  1750k|  1749k|926142 |   0.5 |1661M| 191 |   0 |1112 |1222 |1112 | 793 |  53k|  52 |6305 | 0.000000e+00 | 1.668900e+04 |    Inf 
1122.14/1122.10	c  1122s|  1760k|  1759k|930864 |   0.5 |1670M| 191 |   0 |1112 |1222 |1112 | 788 |  54k|  52 |6324 | 0.000000e+00 | 1.668900e+04 |    Inf 
1128.33/1128.33	c  1128s|  1770k|  1769k|935271 |   0.5 |1680M| 191 |   0 |1112 |1222 |1112 | 783 |  54k|  52 |6371 | 0.000000e+00 | 1.668900e+04 |    Inf 
1134.43/1134.47	c  1134s|  1780k|  1779k|938542 |   0.5 |1689M| 191 |   0 |1112 |1222 |1112 | 790 |  54k|  52 |6373 | 0.000000e+00 | 1.668900e+04 |    Inf 
1140.64/1140.65	c  1141s|  1790k|  1789k|942821 |   0.5 |1699M| 191 |   0 |1112 |1222 |1112 | 790 |  54k|  52 |6376 | 0.000000e+00 | 1.668900e+04 |    Inf 
1146.73/1146.78	c  1147s|  1800k|  1799k|946732 |   0.5 |1708M| 191 |   0 |1112 |1222 |1112 | 786 |  54k|  52 |6381 | 0.000000e+00 | 1.668900e+04 |    Inf 
1152.94/1152.97	c  1153s|  1810k|  1809k|951186 |   0.5 |1717M| 191 |   0 |1112 |1222 |1112 | 796 |  55k|  52 |6381 | 0.000000e+00 | 1.668900e+04 |    Inf 
1159.13/1159.18	c  1159s|  1820k|  1819k|955722 |   0.5 |1727M| 191 |   0 |1112 |1222 |1112 | 791 |  55k|  52 |6397 | 0.000000e+00 | 1.668900e+04 |    Inf 
1165.53/1165.56	c  1166s|  1830k|  1829k|961306 |   0.5 |1736M| 191 |   0 |1112 |1222 |1112 | 789 |  55k|  52 |6453 | 0.000000e+00 | 1.668900e+04 |    Inf 
1171.73/1171.77	c  1172s|  1840k|  1839k|966243 |   0.5 |1746M| 191 |   0 |1112 |1222 |1112 | 795 |  55k|  52 |6457 | 0.000000e+00 | 1.668900e+04 |    Inf 
1178.03/1178.02	c  1178s|  1850k|  1849k|970377 |   0.5 |1755M| 191 |   0 |1112 |1222 |1112 | 786 |  56k|  52 |6458 | 0.000000e+00 | 1.668900e+04 |    Inf 
1184.13/1184.19	c  1184s|  1860k|  1859k|974039 |   0.5 |1765M| 191 |   0 |1112 |1222 |1112 | 793 |  56k|  52 |6459 | 0.000000e+00 | 1.668900e+04 |    Inf 
1190.34/1190.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1190.34/1190.35	c  1190s|  1870k|  1869k|977830 |   0.5 |1774M| 191 |   0 |1112 |1222 |1112 | 793 |  56k|  52 |6464 | 0.000000e+00 | 1.668900e+04 |    Inf 
1196.64/1196.62	c  1197s|  1880k|  1879k|982133 |   0.5 |1783M| 191 |   0 |1112 |1222 |1112 | 785 |  56k|  52 |6495 | 0.000000e+00 | 1.668900e+04 |    Inf 
1202.83/1202.87	c  1203s|  1890k|  1889k|986543 |   0.5 |1793M| 191 |   0 |1112 |1222 |1112 | 793 |  56k|  52 |6536 | 0.000000e+00 | 1.668900e+04 |    Inf 
1209.04/1209.04	c  1209s|  1900k|  1899k|990657 |   0.5 |1802M| 191 |   0 |1112 |1222 |1112 | 793 |  57k|  52 |6539 | 0.000000e+00 | 1.668900e+04 |    Inf 
1215.24/1215.29	c  1215s|  1910k|  1909k|995367 |   0.5 |1812M| 191 |   0 |1112 |1222 |1112 | 796 |  57k|  52 |6539 | 0.000000e+00 | 1.668900e+04 |    Inf 
1221.43/1221.48	c  1221s|  1920k|  1919k|999698 |   0.5 |1821M| 191 |   0 |1112 |1222 |1112 | 789 |  57k|  52 |6548 | 0.000000e+00 | 1.668900e+04 |    Inf 
1227.83/1227.81	c  1228s|  1930k|  1929k|  1005k|   0.5 |1831M| 191 |   0 |1112 |1222 |1112 | 787 |  57k|  52 |6567 | 0.000000e+00 | 1.668900e+04 |    Inf 
1234.04/1234.09	c  1234s|  1940k|  1939k|  1010k|   0.5 |1840M| 191 |   0 |1112 |1222 |1112 | 793 |  57k|  52 |6618 | 0.000000e+00 | 1.668900e+04 |    Inf 
1240.34/1240.36	c  1240s|  1950k|  1949k|  1014k|   0.5 |1850M| 191 |   0 |1112 |1222 |1112 | 791 |  58k|  52 |6626 | 0.000000e+00 | 1.668900e+04 |    Inf 
1246.54/1246.59	c  1247s|  1960k|  1959k|  1020k|   0.5 |1859M| 191 |   0 |1112 |1222 |1112 | 783 |  58k|  52 |6662 | 0.000000e+00 | 1.668900e+04 |    Inf 
1252.94/1252.97	c  1253s|  1970k|  1969k|  1025k|   0.5 |1868M| 191 |   0 |1112 |1222 |1112 | 792 |  58k|  52 |6744 | 0.000000e+00 | 1.668900e+04 |    Inf 
1259.34/1259.34	c  1259s|  1980k|  1979k|  1033k|   0.5 |1878M| 191 |   0 |1112 |1222 |1112 | 786 |  58k|  52 |6744 | 0.000000e+00 | 1.668900e+04 |    Inf 
1265.74/1265.74	c  1266s|  1990k|  1989k|  1040k|   0.5 |1887M| 191 |   0 |1112 |1222 |1112 | 783 |  58k|  52 |6786 | 0.000000e+00 | 1.668900e+04 |    Inf 
1272.04/1272.06	c  1272s|  2000k|  1999k|  1045k|   0.5 |1897M| 191 |   0 |1112 |1222 |1112 | 783 |  58k|  52 |6816 | 0.000000e+00 | 1.668900e+04 |    Inf 
1278.34/1278.30	c  1278s|  2010k|  2009k|  1050k|   0.5 |1906M| 191 |   0 |1112 |1222 |1112 | 795 |  59k|  52 |6826 | 0.000000e+00 | 1.668900e+04 |    Inf 
1284.74/1284.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1284.74/1284.77	c  1285s|  2020k|  2019k|  1056k|   0.5 |1916M| 191 |   0 |1112 |1221 |1112 | 794 |  59k|  52 |6834 | 0.000000e+00 | 1.668900e+04 |    Inf 
1291.04/1291.02	c  1291s|  2030k|  2029k|  1061k|   0.5 |1925M| 191 |   0 |1112 |1222 |1112 | 791 |  59k|  53 |6836 | 0.000000e+00 | 1.668900e+04 |    Inf 
1297.34/1297.33	c  1297s|  2040k|  2039k|  1066k|   0.5 |1934M| 191 |   0 |1112 |1222 |1112 | 788 |  59k|  53 |6882 | 0.000000e+00 | 1.668900e+04 |    Inf 
1303.55/1303.59	c  1304s|  2050k|  2049k|  1070k|   0.5 |1944M| 191 |   0 |1112 |1222 |1112 | 800 |  60k|  53 |6923 | 0.000000e+00 | 1.668900e+04 |    Inf 
1309.84/1309.82	c  1310s|  2060k|  2059k|  1075k|   0.5 |1953M| 191 |   0 |1112 |1222 |1112 | 786 |  60k|  53 |6956 | 0.000000e+00 | 1.668900e+04 |    Inf 
1316.04/1316.02	c  1316s|  2070k|  2069k|  1079k|   0.5 |1963M| 191 |   0 |1112 |1222 |1112 | 788 |  60k|  53 |6958 | 0.000000e+00 | 1.668900e+04 |    Inf 
1322.25/1322.30	c  1322s|  2080k|  2079k|  1085k|   0.5 |1972M| 191 |   0 |1112 |1222 |1112 | 783 |  60k|  53 |6969 | 0.000000e+00 | 1.668900e+04 |    Inf 
1328.54/1328.50	c  1328s|  2090k|  2089k|  1089k|   0.5 |1982M| 193 |   0 |1112 |1223 |1112 | 791 |  60k|  54 |6973 | 0.000000e+00 | 1.668900e+04 |    Inf 
1334.74/1334.75	c  1335s|  2100k|  2099k|  1094k|   0.5 |1991M| 197 |   0 |1112 |1223 |1112 | 783 |  61k|  54 |6982 | 0.000000e+00 | 1.668900e+04 |    Inf 
1340.94/1340.95	c  1341s|  2110k|  2109k|  1098k|   0.5 |2000M| 197 |   0 |1112 |1223 |1112 | 797 |  61k|  54 |7024 | 0.000000e+00 | 1.668900e+04 |    Inf 
1347.24/1347.20	c  1347s|  2120k|  2119k|  1103k|   0.5 |2010M| 197 |   0 |1112 |1223 |1112 | 794 |  61k|  54 |7038 | 0.000000e+00 | 1.668900e+04 |    Inf 
1353.55/1353.52	c  1354s|  2130k|  2129k|  1109k|   0.5 |2019M| 197 |   1 |1112 |1224 |1112 | 791 |  61k|  55 |7055 | 0.000000e+00 | 1.668900e+04 |    Inf 
1359.65/1359.69	c  1360s|  2140k|  2139k|  1113k|   0.5 |2029M| 197 |   0 |1112 |1224 |1112 | 786 |  61k|  55 |7068 | 0.000000e+00 | 1.668900e+04 |    Inf 
1365.94/1365.90	c  1366s|  2150k|  2149k|  1118k|   0.5 |2038M| 197 |   0 |1112 |1224 |1112 | 794 |  62k|  55 |7071 | 0.000000e+00 | 1.668900e+04 |    Inf 
1372.24/1372.21	c  1372s|  2160k|  2159k|  1124k|   0.5 |2048M| 197 |   0 |1112 |1223 |1112 | 787 |  62k|  55 |7091 | 0.000000e+00 | 1.668900e+04 |    Inf 
1378.64/1378.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1378.64/1378.61	c  1379s|  2170k|  2169k|  1131k|   0.5 |2057M| 197 |   0 |1112 |1223 |1112 | 783 |  62k|  55 |7104 | 0.000000e+00 | 1.668900e+04 |    Inf 
1384.95/1384.93	c  1385s|  2180k|  2179k|  1137k|   0.5 |2067M| 197 |   0 |1112 |1223 |1112 | 796 |  62k|  55 |7164 | 0.000000e+00 | 1.668900e+04 |    Inf 
1391.25/1391.26	c  1391s|  2190k|  2189k|  1142k|   0.5 |2076M| 197 |   0 |1112 |1223 |1112 | 786 |  62k|  55 |7188 | 0.000000e+00 | 1.668900e+04 |    Inf 
1397.64/1397.63	c  1398s|  2200k|  2199k|  1149k|   0.5 |2085M| 197 |   0 |1112 |1223 |1112 | 788 |  63k|  55 |7190 | 0.000000e+00 | 1.668900e+04 |    Inf 
1403.75/1403.78	c  1404s|  2210k|  2209k|  1152k|   0.5 |2095M| 197 |   0 |1112 |1223 |1112 | 786 |  63k|  55 |7202 | 0.000000e+00 | 1.668900e+04 |    Inf 
1410.14/1410.10	c  1410s|  2220k|  2219k|  1157k|   0.5 |2104M| 197 |   0 |1112 |1223 |1112 | 798 |  63k|  55 |7231 | 0.000000e+00 | 1.668900e+04 |    Inf 
1416.35/1416.32	c  1416s|  2230k|  2229k|  1161k|   0.5 |2114M| 197 |   0 |1112 |1223 |1112 | 783 |  63k|  55 |7255 | 0.000000e+00 | 1.668900e+04 |    Inf 
1422.65/1422.66	c  1423s|  2240k|  2239k|  1167k|   0.5 |2123M| 197 |   0 |1112 |1223 |1112 | 795 |  64k|  56 |7263 | 0.000000e+00 | 1.668900e+04 |    Inf 
1428.95/1428.98	c  1429s|  2250k|  2249k|  1173k|   0.5 |2133M| 197 |   0 |1112 |1223 |1112 | 789 |  64k|  56 |7283 | 0.000000e+00 | 1.668900e+04 |    Inf 
1435.34/1435.32	c  1435s|  2260k|  2259k|  1178k|   0.5 |2142M| 197 |   0 |1112 |1223 |1112 | 789 |  64k|  56 |7299 | 0.000000e+00 | 1.668900e+04 |    Inf 
1441.55/1441.56	c  1442s|  2270k|  2269k|  1182k|   0.5 |2151M| 197 |   0 |1112 |1224 |1112 | 787 |  64k|  57 |7305 | 0.000000e+00 | 1.668900e+04 |    Inf 
1447.85/1447.80	c  1448s|  2280k|  2279k|  1186k|   0.5 |2161M| 197 |   0 |1112 |1224 |1112 | 795 |  65k|  57 |7343 | 0.000000e+00 | 1.668900e+04 |    Inf 
1454.04/1454.05	c  1454s|  2290k|  2289k|  1190k|   0.5 |2170M| 197 |   0 |1112 |1225 |1112 | 783 |  65k|  58 |7380 | 0.000000e+00 | 1.668900e+04 |    Inf 
1460.45/1460.47	c  1460s|  2300k|  2299k|  1197k|   0.5 |2180M| 197 |   0 |1112 |1224 |1112 | 791 |  65k|  58 |7421 | 0.000000e+00 | 1.668900e+04 |    Inf 
1466.74/1466.71	c  1467s|  2310k|  2309k|  1201k|   0.5 |2189M| 197 |   1 |1112 |1223 |1112 | 783 |  65k|  58 |7425 | 0.000000e+00 | 1.668900e+04 |    Inf 
1472.85/1472.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1472.85/1472.88	c  1473s|  2320k|  2319k|  1206k|   0.5 |2199M| 197 |   0 |1112 |1223 |1112 | 795 |  66k|  58 |7427 | 0.000000e+00 | 1.668900e+04 |    Inf 
1479.05/1479.10	c  1479s|  2330k|  2329k|  1210k|   0.5 |2208M| 197 |   0 |1112 |1225 |1112 | 791 |  66k|  60 |7431 | 0.000000e+00 | 1.668900e+04 |    Inf 
1485.25/1485.24	c  1485s|  2340k|  2339k|  1214k|   0.5 |2217M| 197 |   0 |1112 |1225 |1112 | 792 |  66k|  60 |7434 | 0.000000e+00 | 1.668900e+04 |    Inf 
1491.44/1491.45	c  1491s|  2350k|  2349k|  1217k|   0.5 |2227M| 197 |   0 |1112 |1226 |1112 | 790 |  66k|  61 |7474 | 0.000000e+00 | 1.668900e+04 |    Inf 
1497.64/1497.66	c  1498s|  2360k|  2359k|  1221k|   0.5 |2236M| 197 |   0 |1112 |1226 |1112 | 796 |  66k|  61 |7498 | 0.000000e+00 | 1.668900e+04 |    Inf 
1503.86/1503.85	c  1504s|  2370k|  2369k|  1225k|   0.5 |2246M| 197 |   0 |1112 |1226 |1112 | 783 |  67k|  61 |7504 | 0.000000e+00 | 1.668900e+04 |    Inf 
1510.14/1510.11	c  1510s|  2380k|  2379k|  1230k|   0.5 |2255M| 197 |   0 |1112 |1228 |1112 | 802 |  67k|  63 |7506 | 0.000000e+00 | 1.668900e+04 |    Inf 
1516.25/1516.21	c  1516s|  2390k|  2389k|  1233k|   0.5 |2264M| 197 |   0 |1112 |1228 |1112 | 790 |  67k|  64 |7506 | 0.000000e+00 | 1.668900e+04 |    Inf 
1522.35/1522.32	c  1522s|  2400k|  2399k|  1237k|   0.5 |2274M| 197 |   0 |1112 |1226 |1112 | 793 |  67k|  64 |7506 | 0.000000e+00 | 1.668900e+04 |    Inf 
1528.55/1528.55	c  1529s|  2410k|  2409k|  1242k|   0.5 |2283M| 197 |   0 |1112 |1224 |1112 | 786 |  67k|  64 |7527 | 0.000000e+00 | 1.668900e+04 |    Inf 
1534.85/1534.88	c  1535s|  2420k|  2419k|  1247k|   0.5 |2293M| 197 |   0 |1112 |1224 |1112 | 786 |  67k|  64 |7553 | 0.000000e+00 | 1.668900e+04 |    Inf 
1541.25/1541.25	c  1541s|  2430k|  2429k|  1252k|   0.5 |2302M| 197 |   0 |1112 |1223 |1112 | 788 |  68k|  64 |7564 | 0.000000e+00 | 1.668900e+04 |    Inf 
1547.44/1547.49	c  1547s|  2440k|  2439k|  1256k|   0.5 |2312M| 197 |   0 |1112 |1224 |1112 | 783 |  68k|  65 |7592 | 0.000000e+00 | 1.668900e+04 |    Inf 
1553.65/1553.67	c  1554s|  2450k|  2449k|  1260k|   0.5 |2321M| 197 |   0 |1112 |1224 |1112 | 786 |  68k|  66 |7593 | 0.000000e+00 | 1.668900e+04 |    Inf 
1559.95/1559.96	c  1560s|  2460k|  2459k|  1264k|   0.5 |2330M| 197 |   0 |1112 |1223 |1112 | 790 |  69k|  66 |7593 | 0.000000e+00 | 1.668900e+04 |    Inf 
1566.25/1566.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1566.25/1566.25	c  1566s|  2470k|  2469k|  1268k|   0.5 |2340M| 197 |   1 |1112 |1222 |1112 | 784 |  69k|  66 |7598 | 0.000000e+00 | 1.668900e+04 |    Inf 
1572.45/1572.47	c  1572s|  2480k|  2479k|  1272k|   0.5 |2349M| 197 |   0 |1112 |1222 |1112 | 783 |  69k|  66 |7632 | 0.000000e+00 | 1.668900e+04 |    Inf 
1578.75/1578.74	c  1579s|  2490k|  2489k|  1277k|   0.5 |2359M| 197 |   0 |1112 |1222 |1112 | 784 |  69k|  66 |7658 | 0.000000e+00 | 1.668900e+04 |    Inf 
1584.95/1584.90	c  1585s|  2500k|  2499k|  1281k|   0.5 |2368M| 197 |   0 |1112 |1222 |1112 | 796 |  70k|  66 |7658 | 0.000000e+00 | 1.668900e+04 |    Inf 
1591.15/1591.13	c  1591s|  2510k|  2509k|  1286k|   0.5 |2377M| 197 |   0 |1112 |1223 |1112 | 794 |  70k|  67 |7671 | 0.000000e+00 | 1.668900e+04 |    Inf 
1597.36/1597.39	c  1597s|  2520k|  2519k|  1290k|   0.5 |2387M| 197 |   0 |1112 |1223 |1112 | 797 |  70k|  67 |7675 | 0.000000e+00 | 1.668900e+04 |    Inf 
1603.65/1603.62	c  1604s|  2530k|  2529k|  1295k|   0.5 |2396M| 197 |   0 |1112 |1224 |1112 | 795 |  70k|  68 |7677 | 0.000000e+00 | 1.668900e+04 |    Inf 
1609.96/1609.91	c  1610s|  2540k|  2539k|  1300k|   0.5 |2405M| 197 |   0 |1112 |1224 |1112 | 783 |  70k|  68 |7733 | 0.000000e+00 | 1.668900e+04 |    Inf 
1616.15/1616.10	c  1616s|  2550k|  2549k|  1304k|   0.5 |2415M| 197 |   0 |1112 |1224 |1112 | 792 |  71k|  68 |7735 | 0.000000e+00 | 1.668900e+04 |    Inf 
1622.25/1622.28	c  1622s|  2560k|  2559k|  1309k|   0.5 |2424M| 197 |   0 |1112 |1224 |1112 | 791 |  71k|  68 |7735 | 0.000000e+00 | 1.668900e+04 |    Inf 
1628.55/1628.51	c  1628s|  2570k|  2569k|  1314k|   0.5 |2433M| 197 |   0 |1112 |1223 |1112 | 793 |  71k|  68 |7736 | 0.000000e+00 | 1.668900e+04 |    Inf 
1634.65/1634.70	c  1635s|  2580k|  2579k|  1318k|   0.5 |2443M| 197 |   0 |1112 |1223 |1112 | 789 |  71k|  68 |7737 | 0.000000e+00 | 1.668900e+04 |    Inf 
1640.85/1640.89	c  1641s|  2590k|  2589k|  1323k|   0.5 |2452M| 197 |   0 |1112 |1223 |1112 | 791 |  71k|  68 |7750 | 0.000000e+00 | 1.668900e+04 |    Inf 
1647.15/1647.10	c  1647s|  2600k|  2599k|  1327k|   0.5 |2461M| 197 |   0 |1112 |1224 |1112 | 787 |  71k|  69 |7764 | 0.000000e+00 | 1.668900e+04 |    Inf 
1653.36/1653.39	c  1653s|  2610k|  2609k|  1332k|   0.5 |2471M| 197 |   0 |1112 |1224 |1112 | 788 |  72k|  69 |7807 | 0.000000e+00 | 1.668900e+04 |    Inf 
1659.65/1659.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1659.65/1659.64	c  1660s|  2620k|  2619k|  1337k|   0.5 |2480M| 197 |   0 |1112 |1224 |1112 | 792 |  72k|  69 |7824 | 0.000000e+00 | 1.668900e+04 |    Inf 
1665.86/1665.81	c  1666s|  2630k|  2629k|  1342k|   0.5 |2490M| 197 |   0 |1112 |1224 |1112 | 793 |  72k|  69 |7824 | 0.000000e+00 | 1.668900e+04 |    Inf 
1672.06/1672.06	c  1672s|  2640k|  2639k|  1346k|   0.5 |2499M| 197 |   0 |1112 |1224 |1112 | 795 |  72k|  69 |7824 | 0.000000e+00 | 1.668900e+04 |    Inf 
1678.35/1678.33	c  1678s|  2650k|  2649k|  1351k|   0.5 |2508M| 197 |   0 |1112 |1224 |1112 | 796 |  72k|  69 |7833 | 0.000000e+00 | 1.668900e+04 |    Inf 
1684.46/1684.47	c  1684s|  2660k|  2659k|  1355k|   0.5 |2518M| 197 |   0 |1112 |1224 |1112 | 790 |  72k|  69 |7916 | 0.000000e+00 | 1.668900e+04 |    Inf 
1690.65/1690.62	c  1691s|  2670k|  2669k|  1359k|   0.5 |2527M| 197 |   0 |1112 |1223 |1112 | 795 |  72k|  70 |7930 | 0.000000e+00 | 1.668900e+04 |    Inf 
1696.86/1696.81	c  1697s|  2680k|  2679k|  1363k|   0.5 |2536M| 197 |   0 |1112 |1224 |1112 | 791 |  73k|  71 |7945 | 0.000000e+00 | 1.668900e+04 |    Inf 
1703.15/1703.14	c  1703s|  2690k|  2689k|  1367k|   0.5 |2546M| 197 |   0 |1112 |1224 |1112 | 790 |  73k|  71 |7958 | 0.000000e+00 | 1.668900e+04 |    Inf 
1709.46/1709.40	c  1709s|  2700k|  2699k|  1371k|   0.5 |2555M| 197 |   0 |1112 |1224 |1112 | 791 |  73k|  71 |7958 | 0.000000e+00 | 1.668900e+04 |    Inf 
1715.76/1715.73	c  1716s|  2710k|  2709k|  1376k|   0.5 |2564M| 197 |   0 |1112 |1224 |1112 | 793 |  73k|  71 |7962 | 0.000000e+00 | 1.668900e+04 |    Inf 
1722.05/1722.08	c  1722s|  2720k|  2719k|  1380k|   0.5 |2574M| 197 |   0 |1112 |1224 |1112 | 793 |  74k|  71 |7964 | 0.000000e+00 | 1.668900e+04 |    Inf 
1728.46/1728.46	c  1728s|  2730k|  2729k|  1385k|   0.5 |2583M| 197 |   0 |1112 |1224 |1112 | 794 |  74k|  71 |8002 | 0.000000e+00 | 1.668900e+04 |    Inf 
1734.76/1734.78	c  1735s|  2740k|  2739k|  1389k|   0.5 |2592M| 197 |   0 |1112 |1224 |1112 | 798 |  74k|  71 |8007 | 0.000000e+00 | 1.668900e+04 |    Inf 
1741.06/1741.08	c  1741s|  2750k|  2749k|  1393k|   0.5 |2602M| 197 |   0 |1112 |1224 |1112 | 785 |  74k|  71 |8011 | 0.000000e+00 | 1.668900e+04 |    Inf 
1747.26/1747.29	c  1747s|  2760k|  2759k|  1397k|   0.5 |2611M| 197 |   0 |1112 |1225 |1112 | 794 |  75k|  72 |8024 | 0.000000e+00 | 1.668900e+04 |    Inf 
1753.46/1753.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1753.46/1753.46	c  1753s|  2770k|  2769k|  1401k|   0.5 |2621M| 197 |   0 |1112 |1226 |1112 | 795 |  75k|  73 |8026 | 0.000000e+00 | 1.668900e+04 |    Inf 
1759.66/1759.60	c  1760s|  2780k|  2779k|  1405k|   0.5 |2630M| 197 |   0 |1112 |1226 |1112 | 786 |  75k|  73 |8035 | 0.000000e+00 | 1.668900e+04 |    Inf 
1765.86/1765.86	c  1766s|  2790k|  2789k|  1410k|   0.5 |2639M| 197 |   0 |1112 |1225 |1112 | 792 |  75k|  73 |8061 | 0.000000e+00 | 1.668900e+04 |    Inf 
1772.17/1772.19	c  1772s|  2800k|  2799k|  1415k|   0.5 |2649M| 197 |   0 |1112 |1225 |1112 | 788 |  75k|  73 |8082 | 0.000000e+00 | 1.668900e+04 |    Inf 
1778.36/1778.38	c  1778s|  2810k|  2809k|  1420k|   0.5 |2658M| 197 |   0 |1112 |1226 |1112 | 789 |  76k|  74 |8089 | 0.000000e+00 | 1.668900e+04 |    Inf 
1784.56/1784.52	c  1785s|  2820k|  2819k|  1424k|   0.5 |2667M| 197 |   0 |1112 |1226 |1112 | 794 |  76k|  74 |8090 | 0.000000e+00 | 1.668900e+04 |    Inf 
1790.06/1790.00	c 
1790.06/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.06/1790.00	c Solving Time (sec) : 1789.99
1790.06/1790.00	c Solving Nodes      : 2828883
1790.06/1790.00	c Primal Bound       : +1.66890000000000e+04 (181 solutions)
1790.06/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.06/1790.00	c Gap                : infinite
1790.06/1790.00	s SATISFIABLE
1790.06/1790.00	v x495 x494 x493 x492 x491 x490 x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 -x474 -x473 
1790.06/1790.00	v -x472 x471 x470 x469 x468 x467 -x466 -x465 -x464 x463 -x462 -x461 x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 x452 x451 x450 
1790.06/1790.00	v x449 x448 -x447 -x446 x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 
1790.06/1790.00	v -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 x410 x409 x408 x407 
1790.06/1790.00	v x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 x393 -x392 x391 x390 x389 x388 -x387 -x386 -x385 -x384 
1790.06/1790.00	v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 
1790.06/1790.00	v -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 
1790.06/1790.00	v -x341 -x340 -x339 -x338 x337 x336 x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 x321 x320 
1790.06/1790.00	v x319 x318 x317 -x316 -x315 x314 x313 x312 x311 x310 x309 -x308 x307 x306 -x305 x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 
1790.06/1790.00	v -x296 -x295 -x294 -x293 -x292 -x291 x290 x289 -x288 x287 -x286 x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 x275 
1790.06/1790.00	v -x274 x273 -x272 x271 -x270 -x269 -x268 -x267 x266 x265 -x264 -x263 x262 -x261 x260 -x259 -x258 x257 -x256 x255 -x254 -x253 
1790.06/1790.00	v x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 
1790.06/1790.00	v -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 x219 -x218 -x217 -x216 -x215 x214 x213 x212 -x211 -x210 -x209 
1790.06/1790.00	v -x208 -x207 x206 -x205 x204 x203 -x202 x201 -x200 x199 x198 x197 x196 x195 -x194 -x193 x192 x191 x190 x189 -x188 x187 x186 
1790.06/1790.00	v x185 -x184 x183 -x182 -x181 -x180 x179 -x178 -x177 x176 -x175 -x174 x173 x172 x171 x170 -x169 x168 x167 -x166 x165 -x164 x163 
1790.06/1790.00	v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 x148 x147 -x146 x145 x144 -x143 x142 x141 
1790.06/1790.00	v -x140 x139 x138 x137 x136 x135 x134 -x133 x132 x131 -x130 x129 x128 x127 x126 x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 
1790.06/1790.00	v x117 -x116 -x115 -x114 -x113 x112 x111 x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 
1790.06/1790.00	v -x95 -x94 x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 x85 -x84 -x83 x82 -x81 x80 -x79 -x78 x77 -x76 x75 -x74 x73 -x72 -x71 -x70 x69 
1790.06/1790.00	v -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 x58 -x57 x56 x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 
1790.06/1790.00	v x41 -x40 x39 x38 x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 x29 x28 x27 -x26 x25 -x24 -x23 -x22 x21 -x20 x19 -x18 -x17 -x16 -x15 
1790.06/1790.00	v -x14 x13 -x12 x11 -x10 -x9 -x8 -x7 x6 x5 x4 -x3 x2 -x1 
1790.06/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.06/1790.00	c Solving Time       :    1789.99
1790.06/1790.00	c Original Problem   :
1790.06/1790.00	c   Problem name     : HOME/instance-2705174-1278575076.wbo
1790.06/1790.00	c   Variables        : 1169 (832 binary, 0 integer, 337 implicit integer, 0 continuous)
1790.06/1790.00	c   Constraints      : 1278 initial, 1278 maximal
1790.06/1790.00	c Presolved Problem  :
1790.06/1790.00	c   Problem name     : t_HOME/instance-2705174-1278575076.wbo
1790.06/1790.00	c   Variables        : 1112 (783 binary, 0 integer, 329 implicit integer, 0 continuous)
1790.06/1790.00	c   Constraints      : 1183 initial, 1228 maximal
1790.06/1790.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.06/1790.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.00	c   dualfix          :       0.00         16          0          0          0          0          0          0          0
1790.06/1790.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.00	c   implics          :       0.00          0         22          0          0          0          0          0          0
1790.06/1790.00	c   probing          :       0.04          4         11          0          0          0          0          0          0
1790.06/1790.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.00	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.00	c   setppc           :       0.00          0          0          0          0          0         25          0          0
1790.06/1790.00	c   linear           :       0.02          1          3          0        337          0         60         71        141
1790.06/1790.00	c   indicator        :       0.00          0          0          0          0          0          8          0          0
1790.06/1790.00	c   logicor          :       0.00          0          0          0          0          0          2          0          0
1790.06/1790.00	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.06/1790.00	c   root node        :          -          0          -          -          0          -          -          -          -
1790.06/1790.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.06/1790.00	c   integral         :          0          0          0    2872761          0          0         33          0          0     400100
1790.06/1790.00	c   varbound         :          2          6    5399798    2669603          0          0      26578          1          0          0
1790.06/1790.00	c   knapsack         :         89          6    5404700    2672679          0         14     173940        334          0          0
1790.06/1790.00	c   setppc           :        288          6    5404686    2672679          0          1     747546          0          0          0
1790.06/1790.00	c   linear           :        327          6    5404685    2672679          0         19     936136      75859          0          0
1790.06/1790.00	c   indicator        :        329          0    5404666    2672679          0          0    1867792          0          0          0
1790.06/1790.00	c   logicor          :        148+         6     739362    2628758          0         44     401398          0          0          0
1790.06/1790.00	c   bounddisjunction :          0+         0      66789          0          0          0      29624          0          0          0
1790.06/1790.00	c   countsols        :          0          0          0    2628758          0          0          0          0          0          0
1790.06/1790.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.06/1790.00	c   integral         :      12.24       0.00       0.00      12.24       0.00
1790.06/1790.00	c   varbound         :       1.71       0.00       0.96       0.75       0.00
1790.06/1790.00	c   knapsack         :       9.82       0.00       6.59       3.22       0.00
1790.06/1790.00	c   setppc           :      11.28       0.00       7.40       3.88       0.00
1790.06/1790.00	c   linear           :      55.33       0.00      11.77      43.56       0.00
1790.06/1790.00	c   indicator        :      97.67       0.06      43.07      54.54       0.00
1790.06/1790.00	c   logicor          :       5.39       0.00       1.05       4.35       0.00
1790.06/1790.00	c   bounddisjunction :       0.10       0.00       0.10       0.00       0.00
1790.06/1790.00	c   countsols        :       0.34       0.00       0.00       0.34       0.00
1790.06/1790.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.06/1790.00	c   vbounds          :       4.70     581909          0     493872
1790.06/1790.00	c   rootredcost      :       0.86          1          0          0
1790.06/1790.00	c   pseudoobj        :      36.78    5403723          0          0
1790.06/1790.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.06/1790.00	c   propagation      :       0.00         76         40         59        9.7          0        0.0          -
1790.06/1790.00	c   infeasible LP    :       0.00         31         31         31        3.3          0        0.0          0
1790.06/1790.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.06/1790.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.06/1790.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.06/1790.00	c   applied globally :          -          -          -         75        6.7          -          -          -
1790.06/1790.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.06/1790.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.06/1790.00	c   cut pool         :       0.00          5          -          -        173          -    (maximal pool size: 925)
1790.06/1790.00	c   redcost          :      71.65    2872718          0          0          0          0
1790.06/1790.00	c   impliedbounds    :       0.00          6          0          0          1          0
1790.06/1790.00	c   intobj           :       0.00          0          0          0          0          0
1790.06/1790.00	c   cgmip            :       0.00          0          0          0          0          0
1790.06/1790.00	c   gomory           :       0.04          6          0          0        152          0
1790.06/1790.00	c   strongcg         :       0.03          6          0          0        191          0
1790.06/1790.00	c   cmir             :       0.07          6          0          0        354          0
1790.06/1790.00	c   flowcover        :       0.11          6          0          0        680          0
1790.06/1790.00	c   clique           :       0.00          6          0          0          4          0
1790.06/1790.00	c   zerohalf         :       0.00          0          0          0          0          0
1790.06/1790.00	c   mcf              :       0.00          1          0          0          0          0
1790.06/1790.00	c   rapidlearning    :       0.03          1          0          0          0          0
1790.06/1790.00	c Pricers            :       Time      Calls       Vars
1790.06/1790.00	c   problem variables:       0.00          0          0
1790.06/1790.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.06/1790.00	c   relpscost        :      11.38     200082          0         33          0          0     400100
1790.06/1790.00	c   pscost           :       0.00          0          0          0          0          0          0
1790.06/1790.00	c   inference        :     153.23    2628758          0          0          0          0    5257517
1790.06/1790.00	c   mostinf          :       0.00          0          0          0          0          0          0
1790.06/1790.00	c   leastinf         :       0.00          0          0          0          0          0          0
1790.06/1790.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.06/1790.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.06/1790.00	c   random           :       0.00          0          0          0          0          0          0
1790.06/1790.00	c Primal Heuristics  :       Time      Calls      Found
1790.06/1790.00	c   LP solutions     :       0.00          -          0
1790.06/1790.00	c   pseudo solutions :       0.00          -          0
1790.06/1790.00	c   intshifting      :       0.01          0          0
1790.06/1790.00	c   oneopt           :       0.61          1          0
1790.06/1790.00	c   feaspump         :       0.01          1          0
1790.06/1790.00	c   crossover        :       0.71         13          0
1790.06/1790.00	c   guideddiving     :       8.15      29163          0
1790.06/1790.00	c   pscostdiving     :       8.21      29163          0
1790.06/1790.00	c   linesearchdiving :       8.05      29164          0
1790.06/1790.00	c   coefdiving       :       8.27      29164          0
1790.06/1790.00	c   fracdiving       :       8.13      29164          0
1790.06/1790.00	c   veclendiving     :       8.10      29164          0
1790.06/1790.00	c   objpscostdiving  :       8.56      29160          0
1790.06/1790.00	c   rootsoldiving    :       8.73      29160          0
1790.06/1790.00	c   trivial          :       0.00          2          0
1790.06/1790.00	c   simplerounding   :       1.01     199687          0
1790.06/1790.00	c   zirounding       :       0.62       1000          0
1790.06/1790.00	c   rounding         :       0.84       6246          0
1790.06/1790.00	c   shifting         :       0.69       1919          0
1790.06/1790.00	c   twoopt           :       0.00          0          0
1790.06/1790.00	c   fixandinfer      :       0.00          0          0
1790.06/1790.00	c   intdiving        :       0.00          0          0
1790.06/1790.00	c   actconsdiving    :       0.00          0          0
1790.06/1790.00	c   octane           :       0.00          0          0
1790.06/1790.00	c   rens             :       0.03          1          0
1790.06/1790.00	c   rins             :       0.00          0          0
1790.06/1790.00	c   localbranching   :       0.00          0          0
1790.06/1790.00	c   mutation         :       0.00          0          0
1790.06/1790.00	c   dins             :       0.00          0          0
1790.06/1790.00	c   undercover       :       0.00          0          0
1790.06/1790.00	c   nlp              :       0.39          0          0
1790.06/1790.00	c   trysol           :       0.78      31304        181
1790.06/1790.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.06/1790.00	c   primal LP        :       0.00          0          0       0.00          -
1790.06/1790.00	c   dual LP          :     871.91     492718    1425919       2.89    1635.40
1790.06/1790.00	c   lex dual LP      :       0.00          0          0       0.00          -
1790.06/1790.00	c   barrier LP       :       0.00          0          0       0.00          -
1790.06/1790.00	c   diving/probing LP:       0.37        468       3072       6.56    8228.05
1790.06/1790.00	c   strong branching :      10.57       8092      80886      10.00    7650.76
1790.06/1790.00	c     (at root node) :          -         16        308      19.25          -
1790.06/1790.00	c   conflict analysis:       0.00          0          0       0.00          -
1790.06/1790.00	c B&B Tree           :
1790.06/1790.00	c   number of runs   :          1
1790.06/1790.00	c   nodes            :    2828883
1790.06/1790.00	c   nodes (total)    :    2828883
1790.06/1790.00	c   nodes left       :    2828735
1790.06/1790.00	c   max depth        :        197
1790.06/1790.00	c   max depth (total):        197
1790.06/1790.00	c   backtracks       :      29240 (1.0%)
1790.06/1790.00	c   delayed cutoffs  :          0
1790.06/1790.00	c   repropagations   :        419 (147 domain reductions, 0 cutoffs)
1790.06/1790.00	c   avg switch length:       2.17
1790.06/1790.00	c   switching time   :      64.40
1790.06/1790.00	c Solution           :
1790.06/1790.00	c   Solutions found  :        181 (1 improvements)
1790.06/1790.00	c   First Solution   : +1.66890000000000e+04   (in run 1, after 141 nodes, 5.44 seconds, depth 42, found by <trysol>)
1790.06/1790.00	c   Primal Bound     : +1.66890000000000e+04   (in run 1, after 141 nodes, 5.44 seconds, depth 42, found by <trysol>)
1790.06/1790.00	c   Dual Bound       : +0.00000000000000e+00
1790.06/1790.00	c   Gap              :   infinite
1790.06/1790.00	c   Root Dual Bound  : +0.00000000000000e+00
1790.06/1790.00	c   Root Iterations  :        920
1795.06/1795.05	c Time complete: 1795.11.

Verifier Data 

OK	1397

Watcher Data 

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

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

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 1.98 1.76 3/177 19356
/proc/meminfo: memFree=30278264/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=12196 CPUtime=0
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 1891 0 0 0 0 0 0 0 22 0 1 0 25654878 12488704 1810 4089446400 4194304 10345943 140737221372272 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19356/statm: 3049 1812 429 1502 0 1542 0

[startup+0.103069 s]
/proc/loadavg: 2.01 1.98 1.76 3/177 19356
/proc/meminfo: memFree=30278264/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=24728 CPUtime=0.09
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 5104 0 0 0 9 0 0 0 22 0 1 0 25654878 25321472 4669 4089446400 4194304 10345943 140737221372272 18446744073709551615 6196799 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19356/statm: 6182 4669 735 1502 0 4675 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24728

[startup+0.201021 s]
/proc/loadavg: 2.01 1.98 1.76 3/177 19356
/proc/meminfo: memFree=30278264/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=26524 CPUtime=0.19
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 8344 0 0 0 18 1 0 0 22 0 1 0 25654878 27160576 5231 4089446400 4194304 10345943 140737221372272 18446744073709551615 6518623 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19356/statm: 6631 5231 766 1502 0 5124 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26524

[startup+0.301005 s]
/proc/loadavg: 2.01 1.98 1.76 3/177 19356
/proc/meminfo: memFree=30278264/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=26720 CPUtime=0.29
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 8445 0 0 0 28 1 0 0 22 0 1 0 25654878 27361280 5332 4089446400 4194304 10345943 140737221372272 18446744073709551615 5822227 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19356/statm: 6680 5332 766 1502 0 5173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26720

[startup+0.700926 s]
/proc/loadavg: 2.01 1.98 1.76 3/177 19356
/proc/meminfo: memFree=30278264/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=29352 CPUtime=0.69
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 11708 0 0 0 66 3 0 0 24 0 1 0 25654878 30056448 5410 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19356/statm: 7338 5410 784 1502 0 5831 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29352

[startup+1.50085 s]
/proc/loadavg: 2.01 1.98 1.76 3/178 19357
/proc/meminfo: memFree=30259940/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=29164 CPUtime=1.5
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 12102 0 0 0 146 4 0 0 25 0 1 0 25654878 29863936 5439 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19356/statm: 7291 5439 784 1502 0 5784 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 29164

[startup+3.10052 s]
/proc/loadavg: 2.01 1.98 1.76 3/178 19357
/proc/meminfo: memFree=30259568/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=29040 CPUtime=3.09
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 12887 0 0 0 303 6 0 0 25 0 1 0 25654878 29736960 5440 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19356/statm: 7260 5440 788 1502 0 5753 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29040

[startup+6.30091 s]
/proc/loadavg: 2.01 1.98 1.76 3/178 19357
/proc/meminfo: memFree=30257672/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=30640 CPUtime=6.29
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 21023 0 0 0 619 10 0 0 25 0 1 0 25654878 31375360 5923 4089446400 4194304 10345943 140737221372272 18446744073709551615 7521323 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19356/statm: 7660 5923 790 1502 0 6153 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30640

[startup+12.7007 s]
/proc/loadavg: 2.01 1.98 1.76 3/178 19357
/proc/meminfo: memFree=30247396/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=39756 CPUtime=12.69
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 31571 0 0 0 1255 14 0 0 25 0 1 0 25654878 40710144 8266 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19356/statm: 9939 8266 790 1502 0 8432 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39756

[startup+25.5013 s]
/proc/loadavg: 2.01 1.98 1.76 3/178 19357
/proc/meminfo: memFree=30225608/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=58140 CPUtime=25.5
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 42059 0 0 0 2531 19 0 0 25 0 1 0 25654878 59535360 13019 4089446400 4194304 10345943 140737221372272 18446744073709551615 6120333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19356/statm: 14535 13019 793 1502 0 13028 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 58140

[startup+51.1004 s]
/proc/loadavg: 2.00 1.98 1.77 3/178 19357
/proc/meminfo: memFree=30184152/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=99036 CPUtime=51.09
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 54509 0 0 0 5084 25 0 0 25 0 1 0 25654878 101412864 22984 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19356/statm: 24759 22984 793 1502 0 23252 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99036

[startup+102.301 s]
/proc/loadavg: 2.00 1.98 1.78 3/178 19359
/proc/meminfo: memFree=30094620/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=177824 CPUtime=102.3
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 76625 0 0 0 10193 37 0 0 25 0 1 0 25654878 182091776 42807 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 44456 42807 793 1502 0 42949 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 177824

[startup+162.301 s]
/proc/loadavg: 2.00 1.98 1.79 3/178 19361
/proc/meminfo: memFree=29986936/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=273524 CPUtime=162.29
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 101725 0 0 0 16175 54 0 0 25 0 1 0 25654878 280088576 65907 4089446400 4194304 10345943 140737221372272 18446744073709551615 6756204 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 68381 65907 793 1502 0 66874 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 273524

[startup+222.307 s]
/proc/loadavg: 2.06 2.00 1.80 3/178 19363
/proc/meminfo: memFree=29868092/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=360008 CPUtime=222.3
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 123458 0 0 0 22160 70 0 0 25 0 1 0 25654878 368648192 87633 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 90002 87633 793 1502 0 88495 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 360008

[startup+282.301 s]
/proc/loadavg: 2.02 2.00 1.82 3/178 19364
/proc/meminfo: memFree=29740176/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=452324 CPUtime=282.3
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 148432 0 0 0 28141 89 0 0 25 0 1 0 25654878 463179776 110505 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 113081 110505 793 1502 0 111574 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 452324

[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.82 3/178 19365
/proc/meminfo: memFree=29608924/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=550436 CPUtime=342.3
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 170948 0 0 0 34124 106 0 0 25 0 1 0 25654878 563646464 132869 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 137609 132869 793 1502 0 136102 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 550436

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 19367
/proc/meminfo: memFree=29475448/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=638744 CPUtime=402.3
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 193013 0 0 0 40107 123 0 0 25 0 1 0 25654878 654073856 154774 4089446400 4194304 10345943 140737221372272 18446744073709551615 6777445 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 159686 154774 793 1502 0 158179 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 638744

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 19369
/proc/meminfo: memFree=29347904/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=726124 CPUtime=462.3
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 214902 0 0 0 46088 142 0 0 25 0 1 0 25654878 743550976 176454 4089446400 4194304 10345943 140737221372272 18446744073709551615 6518879 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 181531 176454 793 1502 0 180024 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 726124

[startup+522.301 s]
/proc/loadavg: 2.06 2.01 1.85 3/178 19371
/proc/meminfo: memFree=29219004/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=814288 CPUtime=522.31
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 237208 0 0 0 52067 164 0 0 25 0 1 0 25654878 833830912 198609 4089446400 4194304 10345943 140737221372272 18446744073709551615 6686912 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 203572 198609 793 1502 0 202065 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 814288

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.85 3/178 19372
/proc/meminfo: memFree=29089104/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=905004 CPUtime=582.31
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 262045 0 0 0 58049 182 0 0 25 0 1 0 25654878 926724096 221187 4089446400 4194304 10345943 140737221372272 18446744073709551615 6120234 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 226251 221187 793 1502 0 224744 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 905004

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 19373
/proc/meminfo: memFree=28965284/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=1010760 CPUtime=642.32
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 284868 0 0 0 64034 198 0 0 25 0 1 0 25654878 1035018240 243776 4089446400 4194304 10345943 140737221372272 18446744073709551615 6803295 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 252690 243776 793 1502 0 251183 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1010760

[startup+702.301 s]

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

/proc/meminfo: memFree=28118528/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=1644476 CPUtime=1062.33
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 445614 0 0 0 105930 303 0 0 25 0 1 0 25654878 1683943424 401331 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 411119 401331 793 1502 0 409612 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1644476

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 19396
/proc/meminfo: memFree=27997060/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=1737604 CPUtime=1122.33
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 468767 0 0 0 111916 317 0 0 25 0 1 0 25654878 1779306496 424453 4089446400 4194304 10345943 140737221372272 18446744073709551615 6715885 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 434401 424453 793 1502 0 432894 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1737604

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19397
/proc/meminfo: memFree=27876460/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=1826616 CPUtime=1182.33
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 491514 0 0 0 117901 332 0 0 25 0 1 0 25654878 1870454784 447178 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 456654 447178 794 1502 0 455147 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1826616

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19398
/proc/meminfo: memFree=27759816/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=1917740 CPUtime=1242.34
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 513999 0 0 0 123887 347 0 0 25 0 1 0 25654878 1963765760 469614 4089446400 4194304 10345943 140737221372272 18446744073709551615 9106088 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 479435 469614 793 1502 0 477928 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1917740

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/178 19400
/proc/meminfo: memFree=27643564/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2039272 CPUtime=1302.34
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 536635 0 0 0 129869 365 0 0 25 0 1 0 25654878 2088214528 491791 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 509818 491791 793 1502 0 508311 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2039272

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/178 19402
/proc/meminfo: memFree=27526556/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2130472 CPUtime=1362.34
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 559533 0 0 0 135856 378 0 0 25 0 1 0 25654878 2181603328 514548 4089446400 4194304 10345943 140737221372272 18446744073709551615 7522760 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 532618 514548 793 1502 0 531111 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2130472

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19404
/proc/meminfo: memFree=27410184/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2219308 CPUtime=1422.34
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 581854 0 0 0 141839 395 0 0 25 0 1 0 25654878 2272571392 536679 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 554827 536679 793 1502 0 553320 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2219308

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19432
/proc/meminfo: memFree=27886956/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2312592 CPUtime=1482.34
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 605517 0 0 0 147822 412 0 0 25 0 1 0 25654878 2368094208 560194 4089446400 4194304 10345943 140737221372272 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 578148 560194 793 1502 0 576641 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2312592

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19433
/proc/meminfo: memFree=27703592/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2403784 CPUtime=1542.36
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 628181 0 0 0 153807 429 0 0 25 0 1 0 25654878 2461474816 582844 4089446400 4194304 10345943 140737221372272 18446744073709551615 6120474 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 600946 582844 793 1502 0 599439 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 2403784

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19435
/proc/meminfo: memFree=27584712/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2495336 CPUtime=1602.35
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 651131 0 0 0 159788 447 0 0 25 0 1 0 25654878 2555224064 605727 4089446400 4194304 10345943 140737221372272 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 623834 605727 793 1502 0 622327 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 2495336

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19437
/proc/meminfo: memFree=27460780/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2584156 CPUtime=1662.36
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 673150 0 0 0 165773 463 0 0 25 0 1 0 25654878 2646175744 627667 4089446400 4194304 10345943 140737221372272 18446744073709551615 7582935 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 646039 627667 793 1502 0 644532 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 2584156

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19439
/proc/meminfo: memFree=27345888/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2674728 CPUtime=1722.35
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 695772 0 0 0 171757 478 0 0 25 0 1 0 25654878 2738921472 649922 4089446400 4194304 10345943 140737221372272 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 668682 649922 793 1502 0 667175 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2674728

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19440
/proc/meminfo: memFree=27227656/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2763252 CPUtime=1782.36
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 718136 0 0 0 177740 496 0 0 25 0 1 0 25654878 2829570048 672219 4089446400 4194304 10345943 140737221372272 18446744073709551615 6702877 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 690813 672219 793 1502 0 689306 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 2763252

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

[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19440
/proc/meminfo: memFree=27220708/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2768760 CPUtime=1785.66
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 719456 0 0 0 178069 497 0 0 25 0 1 0 25654878 2835210240 673539 4089446400 4194304 10345943 140737221372272 18446744073709551615 6777051 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19356/statm: 692190 673539 793 1502 0 690683 0
Current children cumulated CPU time (s) 1785.66
Current children cumulated vsize (KiB) 2768760

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19440
/proc/meminfo: memFree=27211652/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2774772 CPUtime=1792.06
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 720941 0 0 0 178708 498 0 0 21 0 1 0 25654878 2841366528 675024 4089446400 4194304 10345943 140737221372272 18446744073709551615 4665344 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19356/statm: 693693 675024 794 1502 0 692186 0
Current children cumulated CPU time (s) 1792.06
Current children cumulated vsize (KiB) 2774772

[startup+1793.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19441
/proc/meminfo: memFree=27211272/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2774772 CPUtime=1793.66
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 720941 0 0 0 178868 498 0 0 25 0 1 0 25654878 2841366528 675024 4089446400 4194304 10345943 140737221372272 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19356/statm: 693693 675024 794 1502 0 692186 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (KiB) 2774772

[startup+1794.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19441
/proc/meminfo: memFree=27210652/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2774772 CPUtime=1794.46
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 720941 0 0 0 178948 498 0 0 25 0 1 0 25654878 2841366528 675024 4089446400 4194304 10345943 140737221372272 18446744073709551615 6324989 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19356/statm: 693693 675024 794 1502 0 692186 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (KiB) 2774772

[startup+1794.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19441
/proc/meminfo: memFree=27210652/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=2774772 CPUtime=1794.86
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 720941 0 0 0 178988 498 0 0 25 0 1 0 25654878 2841366528 675024 4089446400 4194304 10345943 140737221372272 18446744073709551615 4221203 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19356/statm: 693693 675024 794 1502 0 692186 0
Current children cumulated CPU time (s) 1794.86
Current children cumulated vsize (KiB) 2774772

[startup+1795 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19441
/proc/meminfo: memFree=27210652/32950928 swapFree=67111528/67111528
[pid=19356] ppid=19354 vsize=1907224 CPUtime=1795.06
/proc/19356/stat : 19356 (pbscip.linux.x8) R 19354 19356 18986 0 -1 4202496 720941 0 0 0 179004 502 0 0 25 0 1 0 25654878 1952997376 409475 4089446400 4194304 10345943 140737221372272 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19356/statm: 476806 409475 794 1502 0 475299 0
Current children cumulated CPU time (s) 1795.06
Current children cumulated vsize (KiB) 1907224

Child status: 0
Real time (s): 1795.06
CPU time (s): 1795.12
CPU user time (s): 1790.05
CPU system time (s): 5.07523
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2774772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.05
system time used= 5.07523
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 720944
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= 5
involuntary context switches= 1648

runsolver used 2.70659 second user time and 5.53316 second system time

The end

Launcher Data 

Begin job on node115 at 2010-07-08 09:44:37
IDJOB=2705174
IDBENCH=79061
IDSOLVER=1214
FILE ID=node115/2705174-1278575076
PBS_JOBID= 11240224
Free space on /tmp= 73616 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-44s.smv--soft-66-100-0.wbo
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-2705174-1278575076/watcher-2705174-1278575076 -o /tmp/evaluation-result-2705174-1278575076/solver-2705174-1278575076 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705174-1278575076.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 8bd111ad23cbe0cb7f1571b060618f25
RANDOM SEED=361696858

node115.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.812
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30278916 kB
Buffers:        144072 kB
Cached:        2155544 kB
SwapCached:          0 kB
Active:        1126032 kB
Inactive:      1401740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30278916 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12824 kB
Writeback:           0 kB
AnonPages:      229072 kB
Mapped:          17716 kB
Slab:            79692 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   376988 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73600 MiB
End job on node115 at 2010-07-08 10:14:32