Trace number 2692376

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1802.15 1802.08

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-44s.smv--soft-33-100-0.wbo
MD5SUM3545a507d8022035a27eeba1d33d0d09
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 constraints612
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 31247
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 31246
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692376-1277914344.wbo>
0.00/0.01	c original problem has 1719 variables (1107 bin, 0 int, 0 impl, 612 cont) and 1553 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) 9 del vars, 4 del conss, 0 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 1260 impls, 0 clqs
0.00/0.02	c (round 2) 10 del vars, 20 del conss, 0 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 1260 impls, 0 clqs
0.00/0.03	c (round 3) 12 del vars, 21 del conss, 610 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 1260 impls, 0 clqs
0.00/0.04	c (round 4) 13 del vars, 21 del conss, 610 chg bounds, 70 chg sides, 140 chg coeffs, 313 upgd conss, 1260 impls, 0 clqs
0.00/0.06	c    (0.0s) probing: 101/1096 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06	c    (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06	c presolving (5 rounds):
0.00/0.06	c  13 deleted vars, 21 deleted constraints, 610 tightened bounds, 0 added holes, 70 changed sides, 140 changed coefficients
0.00/0.06	c  1261 implications, 0 cliques
0.00/0.06	c presolved problem has 1706 variables (1096 bin, 0 int, 0 impl, 610 cont) and 1532 constraints
0.00/0.06	c     610 constraints of type <indicator>
0.00/0.06	c       1 constraints of type <varbound>
0.00/0.06	c      51 constraints of type <knapsack>
0.00/0.06	c     609 constraints of type <linear>
0.00/0.06	c     261 constraints of type <logicor>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.04
0.00/0.06	c - non default parameters ----------------------------------------------------------------------
0.00/0.06	c # SCIP version 1.2.1.2
0.00/0.06	c 
0.00/0.06	c # frequency for displaying node information lines
0.00/0.06	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06	c display/freq = 10000
0.00/0.06	c 
0.00/0.06	c # maximal time in seconds to run
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/time = 1799.99
0.00/0.06	c 
0.00/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06	c limits/memory = 3420
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify inequalities
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/linear/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # should presolving try to simplify knapsacks
0.00/0.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06	c 
0.00/0.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06	c separating/rapidlearning/freq = 0
0.00/0.06	c 
0.00/0.06	c -----------------------------------------------------------------------------------------------
0.00/0.06	c start solving
0.00/0.06	c 
0.00/0.06	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.06	c   0.1s|     1 |     0 |    57 |     - |5980k|   0 |  30 |1706 |1532 |1706 | 312 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.07	o 31042
0.00/0.07	c y 0.1s|     1 |     0 |   149 |     - |6030k|   0 |  30 |1706 |1532 |1706 | 312 |   0 |   0 |   0 | 0.000000e+00 | 3.104200e+04 |    Inf 
0.00/0.09	c   0.1s|     1 |     0 |   289 |     - |6127k|   0 |  89 |1706 |1532 |1706 | 419 | 107 |   0 |   0 | 0.000000e+00 | 3.104200e+04 |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   524 |     - |6282k|   0 | 116 |1706 |1532 |1706 | 513 | 201 |   0 |   0 | 0.000000e+00 | 3.104200e+04 |    Inf 
0.09/0.16	c   0.1s|     1 |     0 |   649 |     - |6460k|   0 | 173 |1706 |1532 |1706 | 607 | 295 |   0 |   0 | 0.000000e+00 | 3.104200e+04 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |   823 |     - |6580k|   0 | 175 |1706 |1532 |1706 | 691 | 379 |   0 |   0 | 0.000000e+00 | 3.104200e+04 |    Inf 
0.30/0.31	c   0.3s|     1 |     0 |  1027 |     - |6760k|   0 | 181 |1706 |1532 |1706 | 769 | 457 |   0 |   0 | 0.000000e+00 | 3.104200e+04 |    Inf 
0.40/0.41	c   0.4s|     1 |     0 |  1227 |     - |6876k|   0 | 165 |1706 |1532 |1706 | 825 | 513 |   0 |   0 | 0.000000e+00 | 3.104200e+04 |    Inf 
0.69/0.78	c   0.8s|     1 |     2 |  1227 |     - |6939k|   0 | 165 |1706 |1532 |1706 | 825 | 513 |   0 |  24 | 0.000000e+00 | 3.104200e+04 |    Inf 
15.69/15.74	c  15.4s| 10000 |  9993 | 26770 |   2.6 |  20M| 219 |   4 |1706 |1546 |1706 | 629 |1384 |  17 |1705 | 0.000000e+00 | 3.104200e+04 |    Inf 
24.00/24.02	c  23.6s| 20000 | 19991 | 34906 |   1.7 |  30M| 219 |  15 |1706 |1546 |1706 | 629 |2083 |  18 |1719 | 0.000000e+00 | 3.104200e+04 |    Inf 
32.19/32.26	c  31.6s| 30000 | 29991 | 41588 |   1.3 |  41M| 221 |   0 |1706 |1544 |1706 | 639 |2734 |  18 |1747 | 0.000000e+00 | 3.104200e+04 |    Inf 
40.60/40.63	c  39.9s| 40000 | 39991 | 49935 |   1.2 |  52M| 221 |   0 |1706 |1544 |1706 | 639 |3559 |  18 |1769 | 0.000000e+00 | 3.104200e+04 |    Inf 
48.89/48.95	c  48.0s| 50000 | 49989 | 55583 |   1.1 |  63M| 223 |   0 |1706 |1545 |1706 | 640 |4393 |  19 |1808 | 0.000000e+00 | 3.104200e+04 |    Inf 
57.29/57.30	c  56.2s| 60000 | 59989 | 61548 |   1.0 |  74M| 225 |   0 |1706 |1545 |1706 | 640 |5297 |  19 |1809 | 0.000000e+00 | 3.104200e+04 |    Inf 
65.60/65.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
65.60/65.61	c  64.4s| 70000 | 69985 | 66329 |   0.9 |  84M| 225 |   0 |1706 |1548 |1706 | 641 |6185 |  22 |1816 | 0.000000e+00 | 3.104200e+04 |    Inf 
73.90/73.91	c  72.5s| 80000 | 79981 | 70380 |   0.9 |  95M| 225 |   0 |1706 |1550 |1706 | 639 |7058 |  24 |1816 | 0.000000e+00 | 3.104200e+04 |    Inf 
82.19/82.22	c  80.7s| 90000 | 89979 | 74252 |   0.8 | 106M| 225 |   0 |1706 |1551 |1706 | 639 |7932 |  25 |1817 | 0.000000e+00 | 3.104200e+04 |    Inf 
90.80/90.87	c  89.2s|100000 | 99977 | 81786 |   0.8 | 117M| 225 |   0 |1706 |1550 |1706 | 638 |8774 |  26 |1947 | 0.000000e+00 | 3.104200e+04 |    Inf 
99.40/99.47	c  97.6s|110000 |109977 | 91663 |   0.8 | 128M| 225 |   0 |1706 |1549 |1706 | 638 |9604 |  26 |1957 | 0.000000e+00 | 3.104200e+04 |    Inf 
107.81/107.81	c   106s|120000 |119971 | 97711 |   0.8 | 139M| 225 |   0 |1706 |1553 |1706 | 629 |  10k|  30 |1961 | 0.000000e+00 | 3.104200e+04 |    Inf 
116.10/116.11	c   114s|130000 |129963 |102890 |   0.8 | 149M| 225 |   0 |1706 |1558 |1706 | 639 |  11k|  36 |1961 | 0.000000e+00 | 3.104200e+04 |    Inf 
124.30/124.38	c   122s|140000 |139963 |106647 |   0.8 | 160M| 225 |   0 |1706 |1558 |1706 | 639 |  12k|  36 |1961 | 0.000000e+00 | 3.104200e+04 |    Inf 
132.60/132.67	c   130s|150000 |149963 |110772 |   0.7 | 171M| 225 |   0 |1706 |1558 |1706 | 638 |  13k|  36 |1961 | 0.000000e+00 | 3.104200e+04 |    Inf 
140.89/140.95	c   138s|160000 |159961 |114795 |   0.7 | 182M| 225 |   0 |1706 |1558 |1706 | 639 |  13k|  37 |1966 | 0.000000e+00 | 3.104200e+04 |    Inf 
149.20/149.23	c   146s|170000 |169961 |118449 |   0.7 | 193M| 225 |   0 |1706 |1557 |1706 | 639 |  14k|  37 |1966 | 0.000000e+00 | 3.104200e+04 |    Inf 
157.40/157.49	c   155s|180000 |179959 |122114 |   0.7 | 203M| 225 |   0 |1706 |1558 |1706 | 639 |  15k|  38 |1966 | 0.000000e+00 | 3.104200e+04 |    Inf 
165.69/165.75	c   163s|190000 |189959 |125319 |   0.7 | 214M| 225 |   0 |1706 |1558 |1706 | 640 |  16k|  38 |1966 | 0.000000e+00 | 3.104200e+04 |    Inf 
174.00/174.02	c   171s|200000 |199959 |128730 |   0.6 | 225M| 225 |   0 |1706 |1558 |1706 | 636 |  17k|  38 |1966 | 0.000000e+00 | 3.104200e+04 |    Inf 
182.30/182.31	c   179s|210000 |209957 |132496 |   0.6 | 236M| 225 |   2 |1706 |1559 |1706 | 638 |  18k|  39 |1966 | 0.000000e+00 | 3.104200e+04 |    Inf 
190.50/190.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
190.50/190.56	c   187s|220000 |219957 |135894 |   0.6 | 247M| 225 |   0 |1706 |1559 |1706 | 638 |  19k|  39 |1966 | 0.000000e+00 | 3.104200e+04 |    Inf 
198.80/198.82	c   195s|230000 |229957 |138926 |   0.6 | 257M| 225 |   0 |1706 |1559 |1706 | 639 |  19k|  39 |1966 | 0.000000e+00 | 3.104200e+04 |    Inf 
207.00/207.08	c   203s|240000 |239957 |142405 |   0.6 | 268M| 225 |   0 |1706 |1559 |1706 | 640 |  20k|  39 |1966 | 0.000000e+00 | 3.104200e+04 |    Inf 
215.40/215.42	c   211s|250000 |249955 |147562 |   0.6 | 279M| 225 |   0 |1706 |1559 |1706 | 638 |  21k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
223.70/223.74	c   220s|260000 |259955 |151103 |   0.6 | 290M| 225 |   0 |1706 |1559 |1706 | 641 |  22k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
232.00/232.06	c   228s|270000 |269955 |154524 |   0.6 | 301M| 225 |   0 |1706 |1559 |1706 | 638 |  23k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
240.30/240.39	c   236s|280000 |279955 |157894 |   0.6 | 311M| 225 |   0 |1706 |1559 |1706 | 638 |  24k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
248.70/248.70	c   244s|290000 |289955 |160968 |   0.6 | 322M| 225 |   0 |1706 |1559 |1706 | 641 |  25k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
256.91/256.99	c   252s|300000 |299955 |164176 |   0.5 | 333M| 225 |   0 |1706 |1559 |1706 | 639 |  26k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
265.20/265.28	c   260s|310000 |309955 |167365 |   0.5 | 344M| 225 |   0 |1706 |1559 |1706 | 639 |  27k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
273.50/273.57	c   269s|320000 |319955 |170696 |   0.5 | 355M| 225 |   0 |1706 |1559 |1706 | 638 |  28k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
281.80/281.87	c   277s|330000 |329955 |174126 |   0.5 | 365M| 225 |   0 |1706 |1559 |1706 | 639 |  29k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
290.10/290.19	c   285s|340000 |339955 |177965 |   0.5 | 376M| 225 |   0 |1706 |1559 |1706 | 640 |  30k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
298.50/298.53	c   293s|350000 |349955 |181627 |   0.5 | 387M| 225 |   0 |1706 |1559 |1706 | 639 |  31k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
306.81/306.85	c   301s|360000 |359955 |185127 |   0.5 | 398M| 225 |   0 |1706 |1559 |1706 | 639 |  32k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
315.11/315.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
315.11/315.19	c   309s|370000 |369955 |188336 |   0.5 | 409M| 225 |   0 |1706 |1559 |1706 | 640 |  32k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
323.50/323.54	c   318s|380000 |379955 |191739 |   0.5 | 419M| 225 |   0 |1706 |1559 |1706 | 638 |  33k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
331.80/331.86	c   326s|390000 |389955 |195075 |   0.5 | 430M| 225 |   0 |1706 |1559 |1706 | 639 |  34k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
340.10/340.15	c   334s|400000 |399955 |198442 |   0.5 | 441M| 225 |   0 |1706 |1559 |1706 | 640 |  35k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
348.40/348.45	c   342s|410000 |409955 |201592 |   0.5 | 452M| 225 |   0 |1706 |1559 |1706 | 638 |  36k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
356.70/356.73	c   350s|420000 |419955 |205067 |   0.5 | 463M| 225 |   0 |1706 |1559 |1706 | 638 |  37k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
365.00/365.01	c   358s|430000 |429955 |208251 |   0.5 | 473M| 227 |   0 |1706 |1559 |1706 | 638 |  38k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
373.31/373.33	c   367s|440000 |439955 |211473 |   0.5 | 484M| 227 |   0 |1706 |1559 |1706 | 639 |  39k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
381.61/381.65	c   375s|450000 |449955 |214683 |   0.5 | 495M| 231 |   0 |1706 |1559 |1706 | 642 |  40k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
389.91/389.97	c   383s|460000 |459955 |218005 |   0.5 | 506M| 231 |   0 |1706 |1559 |1706 | 639 |  41k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
398.22/398.27	c   391s|470000 |469955 |221579 |   0.5 | 517M| 231 |   0 |1706 |1559 |1706 | 639 |  42k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
406.50/406.57	c   399s|480000 |479955 |225017 |   0.5 | 527M| 231 |   0 |1706 |1559 |1706 | 639 |  43k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
414.81/414.87	c   407s|490000 |489955 |228284 |   0.5 | 538M| 231 |   0 |1706 |1559 |1706 | 639 |  44k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
423.10/423.14	c   415s|500000 |499955 |231445 |   0.5 | 549M| 231 |   2 |1706 |1559 |1706 | 629 |  44k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
431.31/431.39	c   424s|510000 |509955 |234799 |   0.5 | 560M| 231 |   0 |1706 |1559 |1706 | 639 |  45k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
439.61/439.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
439.61/439.69	c   432s|520000 |519955 |238219 |   0.5 | 570M| 231 |   0 |1706 |1559 |1706 | 640 |  46k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
447.91/447.98	c   440s|530000 |529955 |241871 |   0.5 | 581M| 231 |   0 |1706 |1559 |1706 | 639 |  47k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
456.21/456.26	c   448s|540000 |539955 |245133 |   0.5 | 592M| 231 |   0 |1706 |1559 |1706 | 638 |  48k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
464.51/464.56	c   456s|550000 |549955 |248723 |   0.4 | 603M| 231 |   1 |1706 |1559 |1706 | 629 |  49k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
472.81/472.84	c   464s|560000 |559955 |252324 |   0.4 | 613M| 231 |   0 |1706 |1559 |1706 | 639 |  50k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
481.11/481.11	c   472s|570000 |569955 |256007 |   0.4 | 624M| 231 |   0 |1706 |1559 |1706 | 640 |  50k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
489.31/489.36	c   480s|580000 |579955 |259198 |   0.4 | 635M| 231 |   0 |1706 |1559 |1706 | 639 |  51k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
497.61/497.62	c   489s|590000 |589955 |262570 |   0.4 | 646M| 231 |   0 |1706 |1559 |1706 | 639 |  52k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
505.81/505.89	c   497s|600000 |599955 |265820 |   0.4 | 657M| 231 |   0 |1706 |1559 |1706 | 638 |  53k|  40 |1967 | 0.000000e+00 | 3.104200e+04 |    Inf 
514.11/514.17	c   505s|610000 |609955 |269185 |   0.4 | 667M| 231 |   0 |1706 |1559 |1706 | 638 |  54k|  40 |1970 | 0.000000e+00 | 3.104200e+04 |    Inf 
522.42/522.43	c   513s|620000 |619955 |272566 |   0.4 | 678M| 231 |   0 |1706 |1559 |1706 | 640 |  55k|  40 |1970 | 0.000000e+00 | 3.104200e+04 |    Inf 
530.72/530.70	c   521s|630000 |629955 |275653 |   0.4 | 689M| 231 |   0 |1706 |1559 |1706 | 638 |  56k|  40 |1970 | 0.000000e+00 | 3.104200e+04 |    Inf 
538.92/538.97	c   529s|640000 |639955 |278903 |   0.4 | 700M| 231 |   0 |1706 |1559 |1706 | 639 |  56k|  40 |1970 | 0.000000e+00 | 3.104200e+04 |    Inf 
547.22/547.24	c   537s|650000 |649955 |281996 |   0.4 | 710M| 231 |   0 |1706 |1559 |1706 | 639 |  57k|  40 |1970 | 0.000000e+00 | 3.104200e+04 |    Inf 
555.52/555.50	c   545s|660000 |659955 |285188 |   0.4 | 721M| 231 |   0 |1706 |1559 |1706 | 639 |  58k|  40 |1972 | 0.000000e+00 | 3.104200e+04 |    Inf 
563.71/563.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
563.71/563.78	c   553s|670000 |669955 |288212 |   0.4 | 732M| 231 |   0 |1706 |1559 |1706 | 640 |  59k|  40 |1974 | 0.000000e+00 | 3.104200e+04 |    Inf 
572.02/572.07	c   562s|680000 |679955 |291398 |   0.4 | 743M| 231 |   0 |1706 |1559 |1706 | 639 |  60k|  40 |1975 | 0.000000e+00 | 3.104200e+04 |    Inf 
580.31/580.35	c   570s|690000 |689955 |294284 |   0.4 | 754M| 231 |   0 |1706 |1559 |1706 | 638 |  61k|  40 |1975 | 0.000000e+00 | 3.104200e+04 |    Inf 
588.62/588.63	c   578s|700000 |699955 |297375 |   0.4 | 764M| 231 |   0 |1706 |1559 |1706 | 639 |  61k|  40 |1975 | 0.000000e+00 | 3.104200e+04 |    Inf 
596.92/596.99	c   586s|710000 |709955 |300650 |   0.4 | 775M| 231 |   0 |1706 |1559 |1706 | 639 |  62k|  40 |2045 | 0.000000e+00 | 3.104200e+04 |    Inf 
605.22/605.26	c   594s|720000 |719955 |303909 |   0.4 | 786M| 231 |   0 |1706 |1559 |1706 | 641 |  63k|  40 |2045 | 0.000000e+00 | 3.104200e+04 |    Inf 
613.52/613.54	c   602s|730000 |729955 |306914 |   0.4 | 797M| 231 |   0 |1706 |1559 |1706 | 639 |  64k|  40 |2049 | 0.000000e+00 | 3.104200e+04 |    Inf 
621.82/621.83	c   610s|740000 |739955 |310306 |   0.4 | 807M| 231 |   0 |1706 |1559 |1706 | 640 |  65k|  40 |2050 | 0.000000e+00 | 3.104200e+04 |    Inf 
630.11/630.14	c   619s|750000 |749955 |313598 |   0.4 | 818M| 231 |   0 |1706 |1559 |1706 | 638 |  66k|  40 |2051 | 0.000000e+00 | 3.104200e+04 |    Inf 
638.41/638.49	c   627s|760000 |759953 |317634 |   0.4 | 829M| 231 |   0 |1706 |1560 |1706 | 638 |  67k|  41 |2104 | 0.000000e+00 | 3.104200e+04 |    Inf 
646.72/646.78	c   635s|770000 |769953 |320771 |   0.4 | 840M| 231 |   0 |1706 |1560 |1706 | 640 |  67k|  41 |2104 | 0.000000e+00 | 3.104200e+04 |    Inf 
655.01/655.07	c   643s|780000 |779953 |324213 |   0.4 | 851M| 231 |   0 |1706 |1560 |1706 | 639 |  68k|  41 |2104 | 0.000000e+00 | 3.104200e+04 |    Inf 
663.32/663.36	c   651s|790000 |789953 |327403 |   0.4 | 861M| 231 |   0 |1706 |1560 |1706 | 640 |  69k|  41 |2108 | 0.000000e+00 | 3.104200e+04 |    Inf 
671.62/671.66	c   659s|800000 |799953 |330862 |   0.4 | 872M| 231 |   0 |1706 |1560 |1706 | 639 |  70k|  41 |2109 | 0.000000e+00 | 3.104200e+04 |    Inf 
680.02/680.01	c   668s|810000 |809953 |335146 |   0.4 | 883M| 231 |   0 |1706 |1560 |1706 | 639 |  71k|  41 |2163 | 0.000000e+00 | 3.104200e+04 |    Inf 
688.22/688.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
688.22/688.29	c   676s|820000 |819953 |338639 |   0.4 | 894M| 231 |   0 |1706 |1560 |1706 | 640 |  72k|  41 |2167 | 0.000000e+00 | 3.104200e+04 |    Inf 
696.52/696.56	c   684s|830000 |829953 |341785 |   0.4 | 904M| 231 |   0 |1706 |1560 |1706 | 639 |  73k|  41 |2167 | 0.000000e+00 | 3.104200e+04 |    Inf 
704.82/704.82	c   692s|840000 |839953 |344766 |   0.4 | 915M| 231 |   0 |1706 |1560 |1706 | 639 |  74k|  41 |2167 | 0.000000e+00 | 3.104200e+04 |    Inf 
713.02/713.08	c   700s|850000 |849953 |348540 |   0.4 | 926M| 231 |   1 |1706 |1560 |1706 | 638 |  74k|  41 |2171 | 0.000000e+00 | 3.104200e+04 |    Inf 
721.31/721.35	c   708s|860000 |859953 |351996 |   0.4 | 937M| 231 |   0 |1706 |1560 |1706 | 639 |  75k|  41 |2172 | 0.000000e+00 | 3.104200e+04 |    Inf 
729.61/729.63	c   716s|870000 |869953 |355185 |   0.4 | 948M| 231 |   0 |1706 |1560 |1706 | 640 |  76k|  41 |2173 | 0.000000e+00 | 3.104200e+04 |    Inf 
737.92/737.90	c   724s|880000 |879953 |358591 |   0.4 | 958M| 231 |   0 |1706 |1560 |1706 | 639 |  77k|  41 |2173 | 0.000000e+00 | 3.104200e+04 |    Inf 
746.11/746.16	c   732s|890000 |889953 |362054 |   0.4 | 969M| 231 |   0 |1706 |1560 |1706 | 639 |  78k|  41 |2173 | 0.000000e+00 | 3.104200e+04 |    Inf 
754.42/754.42	c   741s|900000 |899953 |365200 |   0.4 | 980M| 231 |   6 |1706 |1560 |1706 | 637 |  79k|  41 |2173 | 0.000000e+00 | 3.104200e+04 |    Inf 
762.72/762.78	c   749s|910000 |909953 |369144 |   0.4 | 991M| 231 |   0 |1706 |1560 |1706 | 638 |  80k|  41 |2253 | 0.000000e+00 | 3.104200e+04 |    Inf 
771.12/771.11	c   757s|920000 |919953 |372811 |   0.4 |1001M| 231 |   0 |1706 |1560 |1706 | 640 |  80k|  41 |2292 | 0.000000e+00 | 3.104200e+04 |    Inf 
779.42/779.44	c   765s|930000 |929953 |377143 |   0.4 |1012M| 231 |   0 |1706 |1560 |1706 | 639 |  81k|  41 |2341 | 0.000000e+00 | 3.104200e+04 |    Inf 
787.83/787.80	c   773s|940000 |939949 |381515 |   0.4 |1023M| 231 |   0 |1706 |1563 |1706 | 639 |  82k|  44 |2395 | 0.000000e+00 | 3.104200e+04 |    Inf 
796.02/796.06	c   781s|950000 |949949 |386054 |   0.4 |1034M| 231 |   0 |1706 |1562 |1706 | 639 |  83k|  44 |2408 | 0.000000e+00 | 3.104200e+04 |    Inf 
804.32/804.33	c   790s|960000 |959949 |390197 |   0.4 |1044M| 231 |   0 |1706 |1562 |1706 | 639 |  84k|  44 |2414 | 0.000000e+00 | 3.104200e+04 |    Inf 
812.52/812.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
812.52/812.58	c   798s|970000 |969949 |394128 |   0.4 |1055M| 231 |   0 |1706 |1560 |1706 | 640 |  85k|  44 |2421 | 0.000000e+00 | 3.104200e+04 |    Inf 
820.93/820.92	c   806s|980000 |979949 |398310 |   0.4 |1066M| 231 |   0 |1706 |1559 |1706 | 639 |  86k|  44 |2487 | 0.000000e+00 | 3.104200e+04 |    Inf 
829.12/829.18	c   814s|990000 |989949 |401650 |   0.4 |1076M| 231 |   0 |1706 |1559 |1706 | 639 |  86k|  44 |2493 | 0.000000e+00 | 3.104200e+04 |    Inf 
837.43/837.49	c   822s|  1000k|999947 |405356 |   0.4 |1087M| 231 |   0 |1706 |1560 |1706 | 640 |  87k|  45 |2493 | 0.000000e+00 | 3.104200e+04 |    Inf 
846.13/846.15	c   831s|  1010k|  1009k|409710 |   0.4 |1098M| 231 |   0 |1706 |1560 |1706 | 638 |  88k|  45 |2697 | 0.000000e+00 | 3.104200e+04 |    Inf 
854.42/854.40	c   839s|  1020k|  1019k|413027 |   0.4 |1109M| 231 |   0 |1706 |1560 |1706 | 640 |  89k|  45 |2697 | 0.000000e+00 | 3.104200e+04 |    Inf 
862.63/862.65	c   847s|  1030k|  1029k|416366 |   0.4 |1119M| 231 |   0 |1706 |1560 |1706 | 639 |  90k|  45 |2697 | 0.000000e+00 | 3.104200e+04 |    Inf 
870.93/870.90	c   855s|  1040k|  1039k|419402 |   0.4 |1130M| 231 |   0 |1706 |1560 |1706 | 639 |  91k|  45 |2697 | 0.000000e+00 | 3.104200e+04 |    Inf 
879.33/879.38	c   863s|  1050k|  1049k|425703 |   0.4 |1141M| 231 |   0 |1706 |1559 |1706 | 639 |  92k|  45 |2797 | 0.000000e+00 | 3.104200e+04 |    Inf 
887.63/887.66	c   871s|  1060k|  1059k|429580 |   0.4 |1152M| 231 |   0 |1706 |1559 |1706 | 638 |  93k|  45 |2810 | 0.000000e+00 | 3.104200e+04 |    Inf 
896.02/896.09	c   880s|  1070k|  1069k|436667 |   0.4 |1162M| 231 |   0 |1706 |1558 |1706 | 639 |  93k|  45 |2851 | 0.000000e+00 | 3.104200e+04 |    Inf 
904.42/904.46	c   888s|  1080k|  1079k|442325 |   0.4 |1173M| 231 |   0 |1706 |1558 |1706 | 639 |  94k|  45 |2918 | 0.000000e+00 | 3.104200e+04 |    Inf 
912.73/912.75	c   896s|  1090k|  1089k|446849 |   0.4 |1184M| 231 |   0 |1706 |1558 |1706 | 639 |  95k|  45 |2932 | 0.000000e+00 | 3.104200e+04 |    Inf 
921.13/921.19	c   904s|  1100k|  1099k|454018 |   0.4 |1195M| 231 |   0 |1706 |1555 |1706 | 640 |  96k|  45 |2997 | 0.000000e+00 | 3.104200e+04 |    Inf 
929.43/929.48	c   912s|  1110k|  1109k|458258 |   0.4 |1205M| 231 |   0 |1706 |1555 |1706 | 639 |  97k|  45 |2998 | 0.000000e+00 | 3.104200e+04 |    Inf 
937.72/937.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
937.72/937.75	c   920s|  1120k|  1119k|462190 |   0.4 |1216M| 231 |   0 |1706 |1554 |1706 | 640 |  98k|  45 |2999 | 0.000000e+00 | 3.104200e+04 |    Inf 
946.13/946.13	c   929s|  1130k|  1129k|467864 |   0.4 |1227M| 231 |  32 |1706 |1556 |1706 | 629 |  99k|  47 |3086 | 0.000000e+00 | 3.104200e+04 |    Inf 
954.42/954.44	c   937s|  1140k|  1139k|471333 |   0.4 |1237M| 231 |   0 |1706 |1556 |1706 | 640 |  99k|  47 |3086 | 0.000000e+00 | 3.104200e+04 |    Inf 
962.73/962.74	c   945s|  1150k|  1149k|474978 |   0.4 |1248M| 231 |   0 |1706 |1556 |1706 | 639 | 100k|  47 |3086 | 0.000000e+00 | 3.104200e+04 |    Inf 
971.03/971.04	c   953s|  1160k|  1159k|478572 |   0.4 |1259M| 231 |   0 |1706 |1556 |1706 | 639 | 101k|  47 |3086 | 0.000000e+00 | 3.104200e+04 |    Inf 
979.33/979.35	c   961s|  1170k|  1169k|482118 |   0.4 |1270M| 231 |   0 |1706 |1556 |1706 | 640 | 102k|  47 |3087 | 0.000000e+00 | 3.104200e+04 |    Inf 
987.63/987.67	c   970s|  1180k|  1179k|485860 |   0.4 |1280M| 231 |   0 |1706 |1556 |1706 | 639 | 103k|  47 |3087 | 0.000000e+00 | 3.104200e+04 |    Inf 
995.93/995.99	c   978s|  1190k|  1189k|489863 |   0.4 |1291M| 231 |   0 |1706 |1556 |1706 | 640 | 104k|  47 |3095 | 0.000000e+00 | 3.104200e+04 |    Inf 
1004.53/1004.57	c   986s|  1200k|  1199k|496576 |   0.4 |1302M| 231 |   0 |1706 |1556 |1706 | 638 | 105k|  47 |3221 | 0.000000e+00 | 3.104200e+04 |    Inf 
1013.04/1013.02	c   994s|  1210k|  1209k|503857 |   0.4 |1312M| 231 |   0 |1706 |1556 |1706 | 641 | 106k|  48 |3254 | 0.000000e+00 | 3.104200e+04 |    Inf 
1021.33/1021.35	c  1003s|  1220k|  1219k|508338 |   0.4 |1323M| 231 |   1 |1706 |1556 |1706 | 629 | 107k|  48 |3254 | 0.000000e+00 | 3.104200e+04 |    Inf 
1029.63/1029.66	c  1011s|  1230k|  1229k|512333 |   0.4 |1334M| 231 |   0 |1706 |1556 |1706 | 639 | 108k|  48 |3254 | 0.000000e+00 | 3.104200e+04 |    Inf 
1037.93/1037.98	c  1019s|  1240k|  1239k|516096 |   0.4 |1344M| 231 |   0 |1706 |1556 |1706 | 642 | 108k|  48 |3254 | 0.000000e+00 | 3.104200e+04 |    Inf 
1046.33/1046.39	c  1027s|  1250k|  1249k|520730 |   0.4 |1355M| 231 |   0 |1706 |1556 |1706 | 639 | 109k|  48 |3297 | 0.000000e+00 | 3.104200e+04 |    Inf 
1054.84/1054.90	c  1035s|  1260k|  1259k|528130 |   0.4 |1366M| 231 |   0 |1706 |1554 |1706 | 639 | 110k|  48 |3394 | 0.000000e+00 | 3.104200e+04 |    Inf 
1063.13/1063.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1063.13/1063.18	c  1044s|  1270k|  1269k|532480 |   0.4 |1376M| 231 |   0 |1706 |1554 |1706 | 640 | 111k|  48 |3395 | 0.000000e+00 | 3.104200e+04 |    Inf 
1071.54/1071.52	c  1052s|  1280k|  1279k|538445 |   0.4 |1387M| 231 |   0 |1706 |1553 |1706 | 638 | 112k|  48 |3396 | 0.000000e+00 | 3.104200e+04 |    Inf 
1079.84/1079.81	c  1060s|  1290k|  1289k|543882 |   0.4 |1398M| 231 |   0 |1706 |1553 |1706 | 632 | 113k|  48 |3396 | 0.000000e+00 | 3.104200e+04 |    Inf 
1088.13/1088.13	c  1068s|  1300k|  1299k|548626 |   0.4 |1409M| 231 |   0 |1706 |1553 |1706 | 639 | 114k|  48 |3434 | 0.000000e+00 | 3.104200e+04 |    Inf 
1096.54/1096.52	c  1076s|  1310k|  1309k|552828 |   0.4 |1419M| 231 |   0 |1706 |1553 |1706 | 639 | 115k|  48 |3488 | 0.000000e+00 | 3.104200e+04 |    Inf 
1105.03/1105.06	c  1085s|  1320k|  1319k|559635 |   0.4 |1430M| 231 |   0 |1706 |1553 |1706 | 640 | 116k|  48 |3640 | 0.000000e+00 | 3.104200e+04 |    Inf 
1113.33/1113.37	c  1093s|  1330k|  1329k|564537 |   0.4 |1441M| 231 |   0 |1706 |1553 |1706 | 639 | 116k|  48 |3642 | 0.000000e+00 | 3.104200e+04 |    Inf 
1121.73/1121.72	c  1101s|  1340k|  1339k|570476 |   0.4 |1451M| 231 |   0 |1706 |1554 |1706 | 642 | 117k|  51 |3669 | 0.000000e+00 | 3.104200e+04 |    Inf 
1130.03/1130.00	c  1109s|  1350k|  1349k|575133 |   0.4 |1462M| 231 |   0 |1706 |1553 |1706 | 640 | 118k|  51 |3669 | 0.000000e+00 | 3.104200e+04 |    Inf 
1138.33/1138.36	c  1117s|  1360k|  1359k|581135 |   0.4 |1473M| 231 |   0 |1706 |1551 |1706 | 639 | 119k|  51 |3693 | 0.000000e+00 | 3.104200e+04 |    Inf 
1146.74/1146.71	c  1126s|  1370k|  1369k|586177 |   0.4 |1483M| 231 |   0 |1706 |1551 |1706 | 642 | 120k|  51 |3746 | 0.000000e+00 | 3.104200e+04 |    Inf 
1154.94/1155.00	c  1134s|  1380k|  1379k|589917 |   0.4 |1494M| 231 |   0 |1706 |1551 |1706 | 639 | 121k|  51 |3759 | 0.000000e+00 | 3.104200e+04 |    Inf 
1163.33/1163.30	c  1142s|  1390k|  1389k|594129 |   0.4 |1505M| 231 |   0 |1706 |1551 |1706 | 639 | 122k|  51 |3769 | 0.000000e+00 | 3.104200e+04 |    Inf 
1171.63/1171.64	c  1150s|  1400k|  1399k|600170 |   0.4 |1515M| 231 |   0 |1706 |1552 |1706 | 639 | 122k|  52 |3797 | 0.000000e+00 | 3.104200e+04 |    Inf 
1179.93/1179.92	c  1158s|  1410k|  1409k|605271 |   0.4 |1526M| 231 |   0 |1706 |1552 |1706 | 639 | 123k|  52 |3799 | 0.000000e+00 | 3.104200e+04 |    Inf 
1188.24/1188.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1188.24/1188.23	c  1166s|  1420k|  1419k|609895 |   0.4 |1537M| 231 |   0 |1706 |1552 |1706 | 639 | 124k|  52 |3804 | 0.000000e+00 | 3.104200e+04 |    Inf 
1196.64/1196.64	c  1175s|  1430k|  1429k|614259 |   0.4 |1548M| 231 |   0 |1706 |1551 |1706 | 640 | 125k|  52 |3869 | 0.000000e+00 | 3.104200e+04 |    Inf 
1204.94/1204.93	c  1183s|  1440k|  1439k|618821 |   0.4 |1558M| 231 |   0 |1706 |1551 |1706 | 639 | 126k|  52 |3881 | 0.000000e+00 | 3.104200e+04 |    Inf 
1213.24/1213.23	c  1191s|  1450k|  1449k|622773 |   0.4 |1569M| 231 |   0 |1706 |1551 |1706 | 633 | 127k|  52 |3890 | 0.000000e+00 | 3.104200e+04 |    Inf 
1221.54/1221.52	c  1199s|  1460k|  1459k|627181 |   0.4 |1580M| 231 |   0 |1706 |1551 |1706 | 639 | 128k|  52 |3892 | 0.000000e+00 | 3.104200e+04 |    Inf 
1229.85/1229.82	c  1207s|  1470k|  1469k|631671 |   0.4 |1590M| 231 |   0 |1706 |1551 |1706 | 640 | 129k|  52 |3893 | 0.000000e+00 | 3.104200e+04 |    Inf 
1238.13/1238.13	c  1215s|  1480k|  1479k|635771 |   0.4 |1601M| 231 |   0 |1706 |1551 |1706 | 639 | 129k|  52 |3894 | 0.000000e+00 | 3.104200e+04 |    Inf 
1246.54/1246.51	c  1224s|  1490k|  1489k|640502 |   0.4 |1612M| 231 |   0 |1706 |1550 |1706 | 639 | 130k|  52 |3949 | 0.000000e+00 | 3.104200e+04 |    Inf 
1254.84/1254.82	c  1232s|  1500k|  1499k|645034 |   0.4 |1622M| 231 |   0 |1706 |1550 |1706 | 640 | 131k|  52 |3983 | 0.000000e+00 | 3.104200e+04 |    Inf 
1263.14/1263.12	c  1240s|  1510k|  1509k|649170 |   0.4 |1633M| 231 |   0 |1706 |1550 |1706 | 639 | 132k|  52 |3984 | 0.000000e+00 | 3.104200e+04 |    Inf 
1271.44/1271.41	c  1248s|  1520k|  1519k|653300 |   0.4 |1644M| 231 |   2 |1706 |1550 |1706 | 629 | 133k|  52 |3990 | 0.000000e+00 | 3.104200e+04 |    Inf 
1279.75/1279.71	c  1256s|  1530k|  1529k|657472 |   0.4 |1655M| 231 |   0 |1706 |1550 |1706 | 640 | 134k|  52 |3992 | 0.000000e+00 | 3.104200e+04 |    Inf 
1287.94/1287.99	c  1264s|  1540k|  1539k|661194 |   0.4 |1665M| 231 |   0 |1706 |1550 |1706 | 639 | 135k|  52 |3992 | 0.000000e+00 | 3.104200e+04 |    Inf 
1296.24/1296.27	c  1272s|  1550k|  1549k|665070 |   0.4 |1676M| 231 |   0 |1706 |1550 |1706 | 639 | 136k|  52 |3996 | 0.000000e+00 | 3.104200e+04 |    Inf 
1304.54/1304.56	c  1281s|  1560k|  1559k|668576 |   0.4 |1687M| 231 |   0 |1706 |1550 |1706 | 640 | 136k|  52 |3997 | 0.000000e+00 | 3.104200e+04 |    Inf 
1312.94/1312.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1312.94/1312.93	c  1289s|  1570k|  1569k|672492 |   0.4 |1697M| 231 |   0 |1706 |1550 |1706 | 641 | 137k|  52 |4058 | 0.000000e+00 | 3.104200e+04 |    Inf 
1321.24/1321.22	c  1297s|  1580k|  1579k|677294 |   0.4 |1708M| 231 |   0 |1706 |1550 |1706 | 639 | 138k|  52 |4067 | 0.000000e+00 | 3.104200e+04 |    Inf 
1329.55/1329.51	c  1305s|  1590k|  1589k|680581 |   0.4 |1719M| 231 |   0 |1706 |1550 |1706 | 640 | 139k|  52 |4067 | 0.000000e+00 | 3.104200e+04 |    Inf 
1337.85/1337.80	c  1313s|  1600k|  1599k|684219 |   0.4 |1730M| 231 |   0 |1706 |1550 |1706 | 639 | 140k|  52 |4068 | 0.000000e+00 | 3.104200e+04 |    Inf 
1346.04/1346.07	c  1321s|  1610k|  1609k|688134 |   0.4 |1740M| 231 |   0 |1706 |1550 |1706 | 640 | 141k|  52 |4068 | 0.000000e+00 | 3.104200e+04 |    Inf 
1354.44/1354.45	c  1329s|  1620k|  1619k|692582 |   0.4 |1751M| 231 |   2 |1706 |1550 |1706 | 638 | 142k|  52 |4124 | 0.000000e+00 | 3.104200e+04 |    Inf 
1362.85/1362.85	c  1338s|  1630k|  1629k|699608 |   0.4 |1762M| 231 |   0 |1706 |1548 |1706 | 638 | 143k|  52 |4164 | 0.000000e+00 | 3.104200e+04 |    Inf 
1371.25/1371.24	c  1346s|  1640k|  1639k|704126 |   0.4 |1772M| 231 |   0 |1706 |1548 |1706 | 640 | 143k|  52 |4202 | 0.000000e+00 | 3.104200e+04 |    Inf 
1379.75/1379.72	c  1354s|  1650k|  1649k|710262 |   0.4 |1783M| 231 |   0 |1706 |1546 |1706 | 641 | 144k|  52 |4296 | 0.000000e+00 | 3.104200e+04 |    Inf 
1388.04/1388.06	c  1362s|  1660k|  1659k|716605 |   0.4 |1794M| 231 |   0 |1706 |1546 |1706 | 639 | 145k|  52 |4306 | 0.000000e+00 | 3.104200e+04 |    Inf 
1396.34/1396.36	c  1371s|  1670k|  1669k|721225 |   0.4 |1805M| 231 |   0 |1706 |1546 |1706 | 640 | 146k|  52 |4307 | 0.000000e+00 | 3.104200e+04 |    Inf 
1404.65/1404.64	c  1379s|  1680k|  1679k|725480 |   0.4 |1815M| 231 |   0 |1706 |1546 |1706 | 639 | 147k|  52 |4308 | 0.000000e+00 | 3.104200e+04 |    Inf 
1413.04/1413.08	c  1387s|  1690k|  1689k|731588 |   0.4 |1826M| 231 |   0 |1706 |1546 |1706 | 640 | 148k|  52 |4409 | 0.000000e+00 | 3.104200e+04 |    Inf 
1421.34/1421.40	c  1395s|  1700k|  1699k|736708 |   0.4 |1837M| 231 |   0 |1706 |1546 |1706 | 638 | 149k|  52 |4445 | 0.000000e+00 | 3.104200e+04 |    Inf 
1429.64/1429.66	c  1403s|  1710k|  1709k|740374 |   0.4 |1847M| 231 |   0 |1706 |1546 |1706 | 640 | 150k|  52 |4448 | 0.000000e+00 | 3.104200e+04 |    Inf 
1438.05/1438.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1438.05/1438.05	c  1412s|  1720k|  1719k|745112 |   0.4 |1858M| 231 |   0 |1706 |1546 |1706 | 639 | 150k|  52 |4501 | 0.000000e+00 | 3.104200e+04 |    Inf 
1446.35/1446.36	c  1420s|  1730k|  1729k|749208 |   0.4 |1869M| 231 |   0 |1706 |1546 |1706 | 639 | 151k|  52 |4503 | 0.000000e+00 | 3.104200e+04 |    Inf 
1454.74/1454.75	c  1428s|  1740k|  1739k|754513 |   0.4 |1879M| 231 |   0 |1706 |1546 |1706 | 638 | 152k|  52 |4587 | 0.000000e+00 | 3.104200e+04 |    Inf 
1463.05/1463.04	c  1436s|  1750k|  1749k|758107 |   0.4 |1890M| 231 |   0 |1706 |1546 |1706 | 640 | 153k|  52 |4589 | 0.000000e+00 | 3.104200e+04 |    Inf 
1471.45/1471.41	c  1444s|  1760k|  1759k|763884 |   0.4 |1901M| 231 |   0 |1706 |1547 |1706 | 639 | 154k|  54 |4617 | 0.000000e+00 | 3.104200e+04 |    Inf 
1479.85/1479.82	c  1452s|  1770k|  1769k|768819 |   0.4 |1911M| 231 |   0 |1706 |1547 |1706 | 642 | 155k|  54 |4715 | 0.000000e+00 | 3.104200e+04 |    Inf 
1488.15/1488.13	c  1461s|  1780k|  1779k|773326 |   0.4 |1922M| 231 |   0 |1706 |1547 |1706 | 639 | 156k|  54 |4737 | 0.000000e+00 | 3.104200e+04 |    Inf 
1496.55/1496.50	c  1469s|  1790k|  1789k|778141 |   0.4 |1933M| 231 |   0 |1706 |1548 |1706 | 639 | 157k|  55 |4794 | 0.000000e+00 | 3.104200e+04 |    Inf 
1504.75/1504.79	c  1477s|  1800k|  1799k|782748 |   0.4 |1944M| 231 |   0 |1706 |1548 |1706 | 640 | 158k|  55 |4797 | 0.000000e+00 | 3.104200e+04 |    Inf 
1513.05/1513.10	c  1485s|  1810k|  1809k|787260 |   0.4 |1954M| 231 |   0 |1706 |1548 |1706 | 639 | 159k|  55 |4800 | 0.000000e+00 | 3.104200e+04 |    Inf 
1521.45/1521.40	c  1493s|  1820k|  1819k|791512 |   0.4 |1965M| 231 |   0 |1706 |1548 |1706 | 639 | 159k|  55 |4800 | 0.000000e+00 | 3.104200e+04 |    Inf 
1529.75/1529.70	c  1501s|  1830k|  1829k|795987 |   0.4 |1976M| 231 |   0 |1706 |1548 |1706 | 641 | 160k|  55 |4807 | 0.000000e+00 | 3.104200e+04 |    Inf 
1537.95/1537.98	c  1510s|  1840k|  1839k|799733 |   0.4 |1986M| 231 |   0 |1706 |1548 |1706 | 640 | 161k|  55 |4809 | 0.000000e+00 | 3.104200e+04 |    Inf 
1546.25/1546.29	c  1518s|  1850k|  1849k|803424 |   0.4 |1997M| 231 |   0 |1706 |1548 |1706 | 639 | 162k|  55 |4813 | 0.000000e+00 | 3.104200e+04 |    Inf 
1554.75/1554.71	c  1526s|  1860k|  1859k|808720 |   0.4 |2008M| 231 |   0 |1706 |1548 |1706 | 639 | 163k|  55 |4890 | 0.000000e+00 | 3.104200e+04 |    Inf 
1563.05/1563.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1563.05/1563.01	c  1534s|  1870k|  1869k|813244 |   0.4 |2019M| 231 |   0 |1706 |1548 |1706 | 639 | 164k|  55 |4900 | 0.000000e+00 | 3.104200e+04 |    Inf 
1571.35/1571.32	c  1542s|  1880k|  1879k|817086 |   0.4 |2029M| 231 |   0 |1706 |1548 |1706 | 639 | 165k|  55 |4901 | 0.000000e+00 | 3.104200e+04 |    Inf 
1579.66/1579.64	c  1551s|  1890k|  1889k|822008 |   0.4 |2040M| 231 |   0 |1706 |1548 |1706 | 634 | 166k|  55 |4918 | 0.000000e+00 | 3.104200e+04 |    Inf 
1587.95/1587.96	c  1559s|  1900k|  1899k|825795 |   0.4 |2051M| 231 |   3 |1706 |1548 |1706 | 629 | 166k|  55 |4920 | 0.000000e+00 | 3.104200e+04 |    Inf 
1596.25/1596.26	c  1567s|  1910k|  1909k|829848 |   0.4 |2061M| 231 |   0 |1706 |1548 |1706 | 639 | 167k|  55 |4921 | 0.000000e+00 | 3.104200e+04 |    Inf 
1604.55/1604.52	c  1575s|  1920k|  1919k|834077 |   0.4 |2072M| 231 |   0 |1706 |1548 |1706 | 640 | 168k|  55 |4928 | 0.000000e+00 | 3.104200e+04 |    Inf 
1612.86/1612.85	c  1583s|  1930k|  1929k|838415 |   0.4 |2083M| 231 |   0 |1706 |1548 |1706 | 639 | 169k|  55 |4979 | 0.000000e+00 | 3.104200e+04 |    Inf 
1621.15/1621.13	c  1591s|  1940k|  1939k|842715 |   0.4 |2094M| 231 |   0 |1706 |1548 |1706 | 639 | 170k|  55 |4992 | 0.000000e+00 | 3.104200e+04 |    Inf 
1629.36/1629.39	c  1599s|  1950k|  1949k|846921 |   0.4 |2104M| 231 |   0 |1706 |1548 |1706 | 640 | 171k|  55 |4993 | 0.000000e+00 | 3.104200e+04 |    Inf 
1637.66/1637.65	c  1607s|  1960k|  1959k|851862 |   0.4 |2115M| 231 |   0 |1706 |1548 |1706 | 639 | 172k|  55 |4996 | 0.000000e+00 | 3.104200e+04 |    Inf 
1645.86/1645.90	c  1616s|  1970k|  1969k|856074 |   0.4 |2126M| 231 |   0 |1706 |1548 |1706 | 640 | 173k|  55 |4998 | 0.000000e+00 | 3.104200e+04 |    Inf 
1654.15/1654.15	c  1624s|  1980k|  1979k|860026 |   0.4 |2136M| 231 |   0 |1706 |1548 |1706 | 638 | 173k|  55 |4998 | 0.000000e+00 | 3.104200e+04 |    Inf 
1662.46/1662.42	c  1632s|  1990k|  1989k|863582 |   0.4 |2147M| 231 |   0 |1706 |1548 |1706 | 638 | 174k|  55 |5004 | 0.000000e+00 | 3.104200e+04 |    Inf 
1670.66/1670.67	c  1640s|  2000k|  1999k|868609 |   0.4 |2158M| 231 |   0 |1706 |1548 |1706 | 634 | 175k|  55 |5066 | 0.000000e+00 | 3.104200e+04 |    Inf 
1678.95/1678.90	c  1648s|  2010k|  2009k|871260 |   0.4 |2168M| 231 |   0 |1706 |1548 |1706 | 636 | 175k|  55 |5066 | 0.000000e+00 | 3.104200e+04 |    Inf 
1687.16/1687.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1687.16/1687.17	c  1656s|  2020k|  2019k|873284 |   0.4 |2179M| 231 |   0 |1706 |1548 |1706 | 634 | 175k|  55 |5066 | 0.000000e+00 | 3.104200e+04 |    Inf 
1695.46/1695.41	c  1664s|  2030k|  2029k|875377 |   0.4 |2190M| 231 |   0 |1706 |1548 |1706 | 634 | 175k|  55 |5066 | 0.000000e+00 | 3.104200e+04 |    Inf 
1703.65/1703.67	c  1672s|  2040k|  2039k|877449 |   0.4 |2200M| 231 |   0 |1706 |1548 |1706 | 634 | 176k|  55 |5066 | 0.000000e+00 | 3.104200e+04 |    Inf 
1711.95/1711.92	c  1680s|  2050k|  2049k|879554 |   0.4 |2211M| 231 |   0 |1706 |1548 |1706 | 635 | 176k|  55 |5066 | 0.000000e+00 | 3.104200e+04 |    Inf 
1720.16/1720.16	c  1688s|  2060k|  2059k|881736 |   0.4 |2222M| 231 |   0 |1706 |1548 |1706 | 634 | 176k|  55 |5066 | 0.000000e+00 | 3.104200e+04 |    Inf 
1728.56/1728.52	c  1697s|  2070k|  2069k|885674 |   0.4 |2232M| 231 |   0 |1706 |1548 |1706 | 639 | 177k|  55 |5146 | 0.000000e+00 | 3.104200e+04 |    Inf 
1736.76/1736.79	c  1705s|  2080k|  2079k|889525 |   0.4 |2243M| 231 |   0 |1706 |1548 |1706 | 632 | 177k|  55 |5166 | 0.000000e+00 | 3.104200e+04 |    Inf 
1745.06/1745.07	c  1713s|  2090k|  2089k|892907 |   0.4 |2254M| 231 |   0 |1706 |1548 |1706 | 634 | 177k|  55 |5186 | 0.000000e+00 | 3.104200e+04 |    Inf 
1753.36/1753.31	c  1721s|  2100k|  2099k|895641 |   0.4 |2264M| 231 |   0 |1706 |1550 |1706 | 634 | 177k|  57 |5190 | 0.000000e+00 | 3.104200e+04 |    Inf 
1762.06/1762.10	c  1730s|  2110k|  2109k|898303 |   0.4 |2275M| 231 |   0 |1706 |1550 |1706 | 635 | 178k|  57 |5582 | 0.000000e+00 | 3.104200e+04 |    Inf 
1770.66/1770.62	c  1738s|  2120k|  2119k|901139 |   0.4 |2285M| 231 |   0 |1706 |1550 |1706 | 637 | 178k|  57 |5689 | 0.000000e+00 | 3.104200e+04 |    Inf 
1779.16/1779.11	c  1746s|  2130k|  2129k|904008 |   0.4 |2296M| 231 |   0 |1706 |1550 |1706 | 641 | 179k|  57 |5771 | 0.000000e+00 | 3.104200e+04 |    Inf 
1787.56/1787.51	c  1755s|  2140k|  2139k|906895 |   0.4 |2307M| 231 |   0 |1706 |1550 |1706 | 640 | 179k|  57 |5774 | 0.000000e+00 | 3.104200e+04 |    Inf 
1795.96/1795.93	c  1763s|  2150k|  2149k|909799 |   0.4 |2318M| 231 |   0 |1706 |1550 |1706 | 640 | 180k|  57 |5776 | 0.000000e+00 | 3.104200e+04 |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00	c 
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time (sec) : 1766.85
1800.06/1800.00	c Solving Nodes      : 2154824
1800.06/1800.00	c Primal Bound       : +3.10420000000000e+04 (100 solutions)
1800.06/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.00	c Gap                : infinite
1800.06/1800.01	s SATISFIABLE
1800.06/1800.01	v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 
1800.06/1800.01	v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 
1800.06/1800.01	v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 
1800.06/1800.01	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 
1800.06/1800.01	v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 
1800.06/1800.01	v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 
1800.06/1800.01	v x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 
1800.06/1800.01	v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 
1800.06/1800.01	v -x327 -x326 -x325 -x324 x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 
1800.06/1800.01	v -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 
1800.06/1800.01	v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 x276 x275 -x274 x273 -x272 x271 -x270 -x269 x268 -x267 x266 -x265 -x264 
1800.06/1800.01	v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 x250 x249 -x248 x247 x246 -x245 -x244 -x243 -x242 
1800.06/1800.01	v -x241 -x240 x239 x238 x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 
1800.06/1800.01	v -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 
1800.06/1800.01	v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 x184 x183 x182 -x181 -x180 -x179 -x178 
1800.06/1800.01	v x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 
1800.06/1800.01	v -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 
1800.06/1800.01	v x134 -x133 -x132 -x131 -x130 x129 x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 
1800.06/1800.01	v -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 
1800.06/1800.01	v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 
1800.06/1800.01	v -x64 -x63 -x62 -x61 -x60 -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 
1800.06/1800.01	v -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 -x14 
1800.06/1800.01	v -x13 -x12 -x11 -x10 -x9 x8 x7 -x6 -x5 -x4 -x3 x2 x1 
1800.06/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.01	c Solving Time       :    1766.85
1800.06/1800.01	c Original Problem   :
1800.06/1800.01	c   Problem name     : HOME/instance-2692376-1277914344.wbo
1800.06/1800.01	c   Variables        : 1719 (1107 binary, 0 integer, 0 implicit integer, 612 continuous)
1800.06/1800.01	c   Constraints      : 1553 initial, 1553 maximal
1800.06/1800.01	c Presolved Problem  :
1800.06/1800.01	c   Problem name     : t_HOME/instance-2692376-1277914344.wbo
1800.06/1800.01	c   Variables        : 1706 (1096 binary, 0 integer, 0 implicit integer, 610 continuous)
1800.06/1800.01	c   Constraints      : 1532 initial, 1563 maximal
1800.06/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   dualfix          :       0.00          4          0          0          0          0          0          0          0
1800.06/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   implics          :       0.00          0          7          0          0          0          0          0          0
1800.06/1800.01	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.01	c   indicator        :       0.00          0          0          0          0          0          2          0          0
1800.06/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   linear           :       0.02          0          2          0        610          0         19         70        140
1800.06/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.01	c   integral         :          0          0          0    2211123          0          0          5          0          0     316302
1800.06/1800.01	c   indicator        :        610          0    4332049    2052967          0          0    1592694          0          0          0
1800.06/1800.01	c   varbound         :          1          6    1576125     606418          0          0      18399          1          0          0
1800.06/1800.01	c   knapsack         :         51          6    4332049    2052967          0         36      71066        217          0          0
1800.06/1800.01	c   linear           :        609          6    4332013    2052967          0          0    1464206     180047          0          0
1800.06/1800.01	c   logicor          :        261+         6    1375541    1996637          0          4    1243909          0          0          0
1800.06/1800.01	c   countsols        :          0          0          0    1996637          0          0          0          0          0          0
1800.06/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.01	c   integral         :      11.71       0.00       0.00      11.71       0.00
1800.06/1800.01	c   indicator        :     102.78       0.06      27.56      75.16       0.00
1800.06/1800.01	c   varbound         :       0.62       0.00       0.36       0.26       0.00
1800.06/1800.01	c   knapsack         :       5.80       0.00       4.51       1.29       0.00
1800.06/1800.01	c   linear           :      85.62       0.00      20.38      65.24       0.00
1800.06/1800.01	c   logicor          :       8.12       0.00       2.93       5.19       0.00
1800.06/1800.01	c   countsols        :       0.41       0.00       0.00       0.41       0.00
1800.06/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.01	c   vbounds          :       1.38      36805          0          0
1800.06/1800.01	c   rootredcost      :       0.97          1          0          0
1800.06/1800.01	c   pseudoobj        :      61.84    4331849          0          0
1800.06/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.01	c   propagation      :       0.00         40         40         68        9.2          0        0.0          -
1800.06/1800.01	c   infeasible LP    :       0.00          7          7          7        2.9          0        0.0          0
1800.06/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.01	c   applied globally :          -          -          -         57        8.0          -          -          -
1800.06/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.01	c   cut pool         :       0.00          5          -          -        279          -    (maximal pool size: 967)
1800.06/1800.01	c   redcost          :      78.28    2211128          0          0          0          0
1800.06/1800.01	c   impliedbounds    :       0.00          6          0          0          0          0
1800.06/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.01	c   gomory           :       0.02          6          0          0        196          0
1800.06/1800.01	c   strongcg         :       0.03          6          0          0         10          0
1800.06/1800.01	c   cmir             :       0.06          6          0          0        392          0
1800.06/1800.01	c   flowcover        :       0.12          6          0          0        777          0
1800.06/1800.01	c   clique           :       0.01          1          0          0          0          0
1800.06/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.06/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.01	c Pricers            :       Time      Calls       Vars
1800.06/1800.01	c   problem variables:       0.00          0          0
1800.06/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.01	c   relpscost        :      10.96     158156          0          5          0          0     316302
1800.06/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   inference        :     131.58    1996637          0          0          0          0    3993274
1800.06/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.01	c   LP solutions     :       0.00          -          0
1800.06/1800.01	c   pseudo solutions :       0.00          -          0
1800.06/1800.01	c   oneopt           :       1.43          1          0
1800.06/1800.01	c   feaspump         :       0.00          1          0
1800.06/1800.01	c   intshifting      :       0.02         12          0
1800.06/1800.01	c   crossover        :       0.95         13          0
1800.06/1800.01	c   coefdiving       :       7.69      18484          0
1800.06/1800.01	c   pscostdiving     :       8.02      18484          0
1800.06/1800.01	c   fracdiving       :       7.67      18484          0
1800.06/1800.01	c   veclendiving     :       7.90      18484          0
1800.06/1800.01	c   linesearchdiving :       7.96      18484          0
1800.06/1800.01	c   guideddiving     :       8.22      18485          0
1800.06/1800.01	c   objpscostdiving  :       8.95      18438          0
1800.06/1800.01	c   rootsoldiving    :       8.47      18438          0
1800.06/1800.01	c   trivial          :       0.01          2          0
1800.06/1800.01	c   simplerounding   :       0.66     142388          0
1800.06/1800.01	c   zirounding       :       0.54       1000          0
1800.06/1800.01	c   rounding         :       0.59       5272          0
1800.06/1800.01	c   shifting         :       0.75       1735          0
1800.06/1800.01	c   twoopt           :       0.00          0          0
1800.06/1800.01	c   fixandinfer      :       0.00          0          0
1800.06/1800.01	c   intdiving        :       0.00          0          0
1800.06/1800.01	c   actconsdiving    :       0.00          0          0
1800.06/1800.01	c   octane           :       0.00          0          0
1800.06/1800.01	c   rens             :       0.02          1          0
1800.06/1800.01	c   rins             :       0.00          0          0
1800.06/1800.01	c   localbranching   :       0.00          0          0
1800.06/1800.01	c   mutation         :       0.00          0          0
1800.06/1800.01	c   dins             :       0.00          0          0
1800.06/1800.01	c   undercover       :       0.00          0          0
1800.06/1800.01	c   nlp              :       0.49          0          0
1800.06/1800.01	c   trysol           :       0.95      20311        100
1800.06/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.01	c   dual LP          :     750.76     279829     908784       3.25    1210.49
1800.06/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.01	c   diving/probing LP:       0.47        709       2420       3.41    5148.94
1800.06/1800.01	c   strong branching :      10.05       5778      89559      15.50    8911.34
1800.06/1800.01	c     (at root node) :          -         24       2941     122.54          -
1800.06/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.01	c B&B Tree           :
1800.06/1800.01	c   number of runs   :          1
1800.06/1800.01	c   nodes            :    2154824
1800.06/1800.01	c   nodes (total)    :    2154824
1800.06/1800.01	c   nodes left       :    2154753
1800.06/1800.01	c   max depth        :        231
1800.06/1800.01	c   max depth (total):        231
1800.06/1800.01	c   backtracks       :      18514 (0.9%)
1800.06/1800.01	c   delayed cutoffs  :          0
1800.06/1800.01	c   repropagations   :        474 (58 domain reductions, 0 cutoffs)
1800.06/1800.01	c   avg switch length:       2.13
1800.06/1800.01	c   switching time   :      73.11
1800.06/1800.01	c Solution           :
1800.06/1800.01	c   Solutions found  :        100 (1 improvements)
1800.06/1800.01	c   First Solution   : +3.10420000000000e+04   (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trysol>)
1800.06/1800.01	c   Primal Bound     : +3.10420000000000e+04   (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trysol>)
1800.06/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.01	c   Gap              :   infinite
1800.06/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.01	c   Root Iterations  :       1227

Verifier Data 

OK	4202

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692376-1277914344/watcher-2692376-1277914344 -o /tmp/evaluation-result-2692376-1277914344/solver-2692376-1277914344 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692376-1277914344.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.12 2.04 2.01 4/178 25653
/proc/meminfo: memFree=31167796/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=9304 CPUtime=0
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 1651 0 0 0 0 0 0 0 25 0 1 0 167037515 9527296 1570 4089446400 4194304 8223781 140736870758368 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25653/statm: 2365 1570 369 984 0 1378 0

[startup+0.00830203 s]
/proc/loadavg: 2.12 2.04 2.01 4/178 25653
/proc/meminfo: memFree=31167796/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=10248 CPUtime=0
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 1858 0 0 0 0 0 0 0 25 0 1 0 167037515 10493952 1777 4089446400 4194304 8223781 140736870758368 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25653/statm: 2562 1777 369 984 0 1575 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10248

[startup+0.100299 s]
/proc/loadavg: 2.12 2.04 2.01 4/178 25653
/proc/meminfo: memFree=31167796/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=22776 CPUtime=0.09
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 7589 0 0 0 9 0 0 0 25 0 1 0 167037515 23322624 4820 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 5694 4820 585 984 0 4707 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22776

[startup+0.301247 s]
/proc/loadavg: 2.12 2.04 2.01 4/178 25653
/proc/meminfo: memFree=31167796/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=24700 CPUtime=0.3
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 8072 0 0 0 29 1 0 0 25 0 1 0 167037515 25292800 5296 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 6175 5296 589 984 0 5188 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 24700

[startup+0.701191 s]
/proc/loadavg: 2.12 2.04 2.01 4/178 25653
/proc/meminfo: memFree=31167796/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=28616 CPUtime=0.69
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 15827 0 0 0 68 1 0 0 25 0 1 0 167037515 29302784 6286 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 7154 6286 600 984 0 6167 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28616

[startup+1.50102 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 25654
/proc/meminfo: memFree=31143856/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=28616 CPUtime=1.49
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 15827 0 0 0 147 2 0 0 25 0 1 0 167037515 29302784 6286 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 7154 6286 600 984 0 6167 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28616

[startup+3.10072 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 25654
/proc/meminfo: memFree=31141624/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=28616 CPUtime=3.09
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 15827 0 0 0 305 4 0 0 25 0 1 0 167037515 29302784 6286 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 7154 6286 600 984 0 6167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28616

[startup+6.3011 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 25654
/proc/meminfo: memFree=31140516/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=28680 CPUtime=6.29
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 22924 0 0 0 619 10 0 0 25 0 1 0 167037515 29368320 6355 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 7170 6355 604 984 0 6183 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28680

[startup+12.7009 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 25654
/proc/meminfo: memFree=31133960/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=36488 CPUtime=12.69
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 47732 0 0 0 1246 23 0 0 25 0 1 0 167037515 37363712 8324 4089446400 4194304 8223781 140736870758368 18446744073709551615 6446984 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 9122 8324 605 984 0 8135 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36488

[startup+25.5005 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 25654
/proc/meminfo: memFree=31109960/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=53292 CPUtime=25.49
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 58006 0 0 0 2501 48 0 0 25 0 1 0 167037515 54571008 12583 4089446400 4194304 8223781 140736870758368 18446744073709551615 6446793 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 13323 12583 605 984 0 12336 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53292

[startup+51.1006 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 25655
/proc/meminfo: memFree=31066996/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=85236 CPUtime=51.09
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 77379 0 0 0 5014 95 0 0 25 0 1 0 167037515 87281664 20682 4089446400 4194304 8223781 140736870758368 18446744073709551615 7234143 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 21309 20682 605 984 0 20322 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 85236

[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 25660
/proc/meminfo: memFree=30974024/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=152740 CPUtime=102.3
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 101557 0 0 0 10043 187 0 0 25 0 1 0 167037515 156405760 37268 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 38185 37268 605 984 0 37198 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 152740

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 25661
/proc/meminfo: memFree=30864828/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=234152 CPUtime=162.3
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 122215 0 0 0 15933 297 0 0 25 0 1 0 167037515 239771648 57871 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 58538 57871 605 984 0 57551 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 234152

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 25663
/proc/meminfo: memFree=30756044/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=313204 CPUtime=222.3
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 149561 0 0 0 21825 405 0 0 25 0 1 0 167037515 320720896 76909 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 78301 76909 605 984 0 77314 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 313204

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25664
/proc/meminfo: memFree=30648620/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=390720 CPUtime=282.3
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 169283 0 0 0 27713 517 0 0 25 0 1 0 167037515 400097280 96555 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 97680 96555 605 984 0 96693 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 390720

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25666
/proc/meminfo: memFree=30539956/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=467032 CPUtime=342.31
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 188613 0 0 0 33607 624 0 0 25 0 1 0 167037515 478240768 115885 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 116758 115885 605 984 0 115771 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 467032

[startup+402.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 25667
/proc/meminfo: memFree=30438852/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=549772 CPUtime=402.31
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 213863 0 0 0 39496 735 0 0 25 0 1 0 167037515 562966528 134810 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 137443 134810 605 984 0 136456 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 549772

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25669
/proc/meminfo: memFree=30332664/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=627848 CPUtime=462.31
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 233681 0 0 0 45387 844 0 0 25 0 1 0 167037515 642916352 154604 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 156962 154604 605 984 0 155975 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 627848

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25671
/proc/meminfo: memFree=30222016/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=704836 CPUtime=522.32
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 253204 0 0 0 51277 955 0 0 25 0 1 0 167037515 721752064 174127 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 176209 174127 605 984 0 175222 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 704836

[startup+582.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25672
/proc/meminfo: memFree=30114348/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=782220 CPUtime=582.32
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 272823 0 0 0 57162 1070 0 0 25 0 1 0 167037515 800993280 193746 4089446400 4194304 8223781 140736870758368 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 195555 193746 605 984 0 194568 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 782220

[startup+642.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25674
/proc/meminfo: memFree=30008540/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=857844 CPUtime=642.32
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 291976 0 0 0 63052 1180 0 0 25 0 1 0 167037515 878432256 212899 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 214461 212899 605 984 0 213474 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 857844

[startup+702.301 s]

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

/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 414292 0 0 0 98390 1843 0 0 25 0 1 0 167037515 1363165184 328794 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 332804 328794 605 984 0 331817 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 1331216

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25685
/proc/meminfo: memFree=29268332/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=1403900 CPUtime=1062.34
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 433350 0 0 0 104278 1956 0 0 25 0 1 0 167037515 1437593600 347235 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 350975 347235 605 984 0 349988 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 1403900

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25687
/proc/meminfo: memFree=29162528/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=1480784 CPUtime=1122.33
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 453579 0 0 0 110168 2065 0 0 25 0 1 0 167037515 1516322816 366723 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 370196 366723 605 984 0 369209 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1480784

[startup+1182.3 s]
/proc/loadavg: 1.88 1.97 1.99 3/179 25963
/proc/meminfo: memFree=30035104/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=1556844 CPUtime=1182.34
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 473674 0 0 0 116058 2176 0 0 25 0 1 0 167037515 1594208256 386011 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 389211 386011 605 984 0 388224 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1556844

[startup+1242.3 s]
/proc/loadavg: 1.95 1.97 1.99 3/179 25965
/proc/meminfo: memFree=29877212/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=1633148 CPUtime=1242.34
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 493925 0 0 0 121938 2296 0 0 25 0 1 0 167037515 1672343552 405359 4089446400 4194304 8223781 140736870758368 18446744073709551615 6446995 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 408287 405359 605 984 0 407300 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1633148

[startup+1302.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/179 25967
/proc/meminfo: memFree=29718944/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=1706484 CPUtime=1302.35
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 512605 0 0 0 127830 2405 0 0 25 0 1 0 167037515 1747439616 423963 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 426621 423963 605 984 0 425634 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1706484

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 25968
/proc/meminfo: memFree=29555080/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=1785320 CPUtime=1362.35
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 532823 0 0 0 133719 2516 0 0 25 0 1 0 167037515 1828167680 443944 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 446330 443944 605 984 0 445343 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 1785320

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 25970
/proc/meminfo: memFree=29395076/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=1858288 CPUtime=1422.35
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 557149 0 0 0 139605 2630 0 0 25 0 1 0 167037515 1902886912 462452 4089446400 4194304 8223781 140736870758368 18446744073709551615 6446963 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 464572 462452 605 984 0 463585 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1858288

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 25971
/proc/meminfo: memFree=29235552/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=1934048 CPUtime=1482.35
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 576647 0 0 0 145494 2741 0 0 25 0 1 0 167037515 1980465152 481664 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 483512 481664 605 984 0 482525 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 1934048

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 25973
/proc/meminfo: memFree=29071576/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=2009308 CPUtime=1542.35
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 596167 0 0 0 151387 2848 0 0 25 0 1 0 167037515 2057531392 500749 4089446400 4194304 8223781 140736870758368 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 502327 500749 605 984 0 501340 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2009308

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 25974
/proc/meminfo: memFree=28906232/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=2087580 CPUtime=1602.35
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 616399 0 0 0 157276 2959 0 0 25 0 1 0 167037515 2137681920 520589 4089446400 4194304 8223781 140736870758368 18446744073709551615 6448564 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 521895 520589 605 984 0 520908 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 2087580

[startup+1662.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/179 25976
/proc/meminfo: memFree=28740504/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=2163472 CPUtime=1662.36
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 636199 0 0 0 163165 3071 0 0 25 0 1 0 167037515 2215395328 539836 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 540868 539836 605 984 0 539881 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 2163472

[startup+1722.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 25978
/proc/meminfo: memFree=28580468/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=2271540 CPUtime=1722.36
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 655447 0 0 0 169056 3180 0 0 25 0 1 0 167037515 2326056960 558910 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 567885 558910 605 984 0 566898 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 2271540

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 25979
/proc/meminfo: memFree=28414880/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=2345196 CPUtime=1782.36
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 674229 0 0 0 174947 3289 0 0 25 0 1 0 167037515 2401480704 577613 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 586299 577613 605 984 0 585312 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 2345196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 25980
/proc/meminfo: memFree=28367612/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=2367640 CPUtime=1800.06
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 679894 0 0 0 176685 3321 0 0 25 0 1 0 167037515 2424463360 583278 4089446400 4194304 8223781 140736870758368 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25653/statm: 591910 583278 605 984 0 590923 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2367640

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -25653

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

[startup+1801.4 s]
/proc/loadavg: 2.00 1.99 1.99 3/180 25981
/proc/meminfo: memFree=28367356/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=2367640 CPUtime=1801.46
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 679896 0 0 0 176825 3321 0 0 25 0 1 0 167037515 2424463360 583280 4089446400 4194304 8223781 140736870758368 18446744073709551615 6206530 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25653/statm: 591910 583280 607 984 0 590923 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 2367640

[startup+1801.81 s]
/proc/loadavg: 2.00 1.99 1.99 3/180 25981
/proc/meminfo: memFree=28365744/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=2366616 CPUtime=1801.87
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 679896 0 0 0 176866 3321 0 0 25 0 1 0 167037515 2423414784 583024 4089446400 4194304 8223781 140736870758368 18446744073709551615 4670017 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25653/statm: 591654 583024 607 984 0 590667 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 2366616

[startup+1802 s]
/proc/loadavg: 2.00 1.99 1.99 3/180 25981
/proc/meminfo: memFree=28365744/32950928 swapFree=67111528/67111528
[pid=25653] ppid=25651 vsize=2362520 CPUtime=1802.06
/proc/25653/stat : 25653 (pbscip.linux.x8) R 25651 25653 24708 0 -1 4202496 679896 0 0 0 176885 3321 0 0 25 0 1 0 167037515 2419220480 582000 4089446400 4194304 8223781 140736870758368 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25653/statm: 590630 582000 607 984 0 589643 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 2362520

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.15
CPU user time (s): 1768.86
CPU system time (s): 33.2899
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2367640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.86
system time used= 33.2899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679896
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= 1
involuntary context switches= 926

runsolver used 2.70959 second user time and 6.567 second system time

The end

Launcher Data 

Begin job on node115 at 2010-06-30 18:12:24
IDJOB=2692376
IDBENCH=79030
IDSOLVER=1204
FILE ID=node115/2692376-1277914344
PBS_JOBID= 11197259
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-44s.smv--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692376-1277914344/watcher-2692376-1277914344 -o /tmp/evaluation-result-2692376-1277914344/solver-2692376-1277914344 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692376-1277914344.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 3545a507d8022035a27eeba1d33d0d09
RANDOM SEED=1978810242

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.796
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.59
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.796
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	: 5226.08
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.796
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.796
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.76
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.796
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.82
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.796
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.796
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.75
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.796
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:      31168324 kB
Buffers:        200700 kB
Cached:         938304 kB
SwapCached:          0 kB
Active:         964568 kB
Inactive:       671888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31168324 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5176 kB
Writeback:           0 kB
AnonPages:      497668 kB
Mapped:          16896 kB
Slab:            79804 kB
PageTables:       5780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   642688 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= 74204 MiB
End job on node115 at 2010-06-30 18:42:27