Trace number 2663639

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverOPT3 1202.45 1202.78

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb
MD5SUM0f5232be892543458d8a9fd6fc4fb56e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark6.01608
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables162
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663639-1276648867.opb>
0.00/0.01	c original problem has 648 variables (648 bin, 0 int, 0 impl, 0 cont) and 499 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02	c presolving:
0.09/0.12	c (round 1) 6 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 49 chg coeffs, 0 upgd conss, 2544 impls, 0 clqs
0.09/0.12	c (round 2) 24 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 65 chg coeffs, 7 upgd conss, 3984 impls, 0 clqs
0.09/0.13	c (round 3) 42 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 81 chg coeffs, 7 upgd conss, 5136 impls, 0 clqs
0.09/0.13	c (round 4) 60 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 97 chg coeffs, 7 upgd conss, 6000 impls, 0 clqs
0.09/0.14	c (round 5) 78 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 113 chg coeffs, 7 upgd conss, 6576 impls, 0 clqs
0.09/0.14	c (round 6) 96 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 129 chg coeffs, 7 upgd conss, 6864 impls, 0 clqs
0.09/0.14	c (round 7) 114 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 145 chg coeffs, 7 upgd conss, 6864 impls, 0 clqs
0.09/0.17	c    (0.1s) probing: 190/534 (35.6%) - 0 fixings, 0 aggregations, 12 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (8 rounds):
0.09/0.17	c  114 deleted vars, 96 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 145 changed coefficients
0.09/0.17	c  6888 implications, 0 cliques
0.09/0.17	c presolved problem has 534 variables (534 bin, 0 int, 0 impl, 0 cont) and 397 constraints
0.09/0.17	c     384 constraints of type <and>
0.09/0.17	c       6 constraints of type <linear>
0.09/0.17	c       7 constraints of type <logicor>
0.09/0.17	c transformed objective value is always integral (scale: 2)
0.09/0.17	c Presolving Time: 0.09
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 1.2.1.2
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1800
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 1620
0.09/0.17	c 
0.09/0.17	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17	c lp/solvefreq = -1
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c heuristics/undercover/freq = 0
0.09/0.17	c 
0.09/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c separating/rapidlearning/freq = 0
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.17	c   0.1s|     1 |     2 |     0 |     - |1704k|   0 |   - | 534 | 397 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
2.59/2.69	c   2.4s| 10000 |  7824 |     0 |   0.0 |7745k| 344 |   - | 534 | 794 |   0 |   0 |   0 |1425 |   0 | 1.000000e+00 |      --      |    Inf 
5.19/5.26	c   4.7s| 20000 | 16000 |     0 |   0.0 |  13M| 344 |   - | 534 | 924 |   0 |   0 |   0 |2723 |   0 | 1.000000e+00 |      --      |    Inf 
8.09/8.17	c   7.4s| 30000 | 23490 |     0 |   0.0 |  19M| 344 |   - | 534 |1167 |   0 |   0 |   0 |4623 |   0 | 1.000000e+00 |      --      |    Inf 
10.99/11.06	c  10.0s| 40000 | 30701 |     0 |   0.0 |  24M| 344 |   - | 534 |1486 |   0 |   0 |   0 |6389 |   0 | 1.000000e+00 |      --      |    Inf 
14.09/14.13	c  12.9s| 50000 | 37264 |     0 |   0.0 |  29M| 344 |   - | 534 |1511 |   0 |   0 |   0 |8415 |   0 | 1.000000e+00 |      --      |    Inf 
17.49/17.52	c  16.0s| 60000 | 42893 |     0 |   0.0 |  34M| 344 |   - | 534 |1153 |   0 |   0 |   0 |  10k|   0 | 1.000000e+00 |      --      |    Inf 
20.38/20.42	c  18.7s| 70000 | 50279 |     0 |   0.0 |  39M| 344 |   - | 534 | 919 |   0 |   0 |   0 |  12k|   0 | 1.000000e+00 |      --      |    Inf 
23.69/23.74	c  21.7s| 80000 | 56859 |     0 |   0.0 |  44M| 344 |   - | 534 |1141 |   0 |   0 |   0 |  15k|   0 | 1.000000e+00 |      --      |    Inf 
26.98/27.05	c  24.8s| 90000 | 63728 |     0 |   0.0 |  49M| 344 |   - | 534 |1221 |   0 |   0 |   0 |  17k|   0 | 1.000000e+00 |      --      |    Inf 
30.08/30.18	c  27.7s|100000 | 70949 |     0 |   0.0 |  54M| 344 |   - | 534 |1300 |   0 |   0 |   0 |  19k|   0 | 1.000000e+00 |      --      |    Inf 
33.18/33.20	c  30.5s|110000 | 78535 |     0 |   0.0 |  60M| 344 |   - | 534 |1206 |   0 |   0 |   0 |  21k|   0 | 1.000000e+00 |      --      |    Inf 
36.28/36.37	c  33.5s|120000 | 85829 |     0 |   0.0 |  65M| 344 |   - | 534 |1133 |   0 |   0 |   0 |  23k|   0 | 1.000000e+00 |      --      |    Inf 
39.59/39.61	c  36.5s|130000 | 92989 |     0 |   0.0 |  71M| 344 |   - | 534 |1307 |   0 |   0 |   0 |  25k|   0 | 1.000000e+00 |      --      |    Inf 
42.98/43.02	c  39.7s|140000 | 99952 |     0 |   0.0 |  76M| 344 |   - | 534 |1413 |   0 |   0 |   0 |  27k|   0 | 1.000000e+00 |      --      |    Inf 
46.48/46.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
46.48/46.52	c  42.9s|150000 |106889 |     0 |   0.0 |  81M| 344 |   - | 534 |1111 |   0 |   0 |   0 |  29k|   0 | 1.000000e+00 |      --      |    Inf 
49.98/50.05	c  46.2s|160000 |113648 |     0 |   0.0 |  86M| 344 |   - | 534 |1419 |   0 |   0 |   0 |  31k|   0 | 1.000000e+00 |      --      |    Inf 
53.58/53.61	c  49.5s|170000 |120462 |     0 |   0.0 |  91M| 344 |   - | 534 |1307 |   0 |   0 |   0 |  33k|   0 | 1.000000e+00 |      --      |    Inf 
57.18/57.28	c  53.0s|180000 |127186 |     0 |   0.0 |  96M| 344 |   - | 534 |1573 |   0 |   0 |   0 |  36k|   0 | 1.000000e+00 |      --      |    Inf 
60.77/60.84	c  56.3s|190000 |134096 |     0 |   0.0 | 101M| 344 |   - | 534 |1515 |   0 |   0 |   0 |  38k|   0 | 1.000000e+00 |      --      |    Inf 
64.38/64.49	c  59.7s|200000 |140963 |     0 |   0.0 | 106M| 344 |   - | 534 |1707 |   0 |   0 |   0 |  40k|   0 | 1.000000e+00 |      --      |    Inf 
67.97/68.06	c  63.0s|210000 |148015 |     0 |   0.0 | 111M| 344 |   - | 534 |1642 |   0 |   0 |   0 |  43k|   0 | 1.000000e+00 |      --      |    Inf 
71.77/71.83	c  66.6s|220000 |154811 |     0 |   0.0 | 116M| 344 |   - | 534 |1620 |   0 |   0 |   0 |  45k|   0 | 1.000000e+00 |      --      |    Inf 
75.47/75.59	c  70.1s|230000 |161650 |     0 |   0.0 | 121M| 344 |   - | 534 |1860 |   0 |   0 |   0 |  47k|   0 | 1.000000e+00 |      --      |    Inf 
79.27/79.33	c  73.6s|240000 |168552 |     0 |   0.0 | 126M| 344 |   - | 534 |1973 |   0 |   0 |   0 |  49k|   0 | 1.000000e+00 |      --      |    Inf 
82.87/82.99	c  77.1s|250000 |175568 |     0 |   0.0 | 131M| 344 |   - | 534 |2195 |   0 |   0 |   0 |  51k|   0 | 1.000000e+00 |      --      |    Inf 
86.78/86.86	c  80.7s|260000 |182386 |     0 |   0.0 | 136M| 344 |   - | 534 |2241 |   0 |   0 |   0 |  54k|   0 | 1.000000e+00 |      --      |    Inf 
90.67/90.73	c  84.3s|270000 |189250 |     0 |   0.0 | 141M| 344 |   - | 534 |2291 |   0 |   0 |   0 |  56k|   0 | 1.000000e+00 |      --      |    Inf 
94.66/94.71	c  88.1s|280000 |195947 |     0 |   0.0 | 146M| 344 |   - | 534 |2304 |   0 |   0 |   0 |  58k|   0 | 1.000000e+00 |      --      |    Inf 
98.46/98.56	c  91.7s|290000 |202810 |     0 |   0.0 | 151M| 344 |   - | 534 |2235 |   0 |   0 |   0 |  60k|   0 | 1.000000e+00 |      --      |    Inf 
102.46/102.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
102.46/102.55	c  95.5s|300000 |209019 |     0 |   0.0 | 156M| 344 |   - | 534 |2329 |   0 |   0 |   0 |  62k|   0 | 1.000000e+00 |      --      |    Inf 
106.26/106.39	c  99.1s|310000 |215643 |     0 |   0.0 | 161M| 344 |   - | 534 |2198 |   0 |   0 |   0 |  64k|   0 | 1.000000e+00 |      --      |    Inf 
110.06/110.10	c   103s|320000 |222139 |     0 |   0.0 | 166M| 344 |   - | 534 |2340 |   0 |   0 |   0 |  66k|   0 | 1.000000e+00 |      --      |    Inf 
113.96/114.06	c   106s|330000 |228192 |     0 |   0.0 | 171M| 344 |   - | 534 |2481 |   0 |   0 |   0 |  69k|   0 | 1.000000e+00 |      --      |    Inf 
117.76/117.80	c   110s|340000 |234510 |     0 |   0.0 | 175M| 344 |   - | 534 |2531 |   0 |   0 |   0 |  71k|   0 | 1.000000e+00 |      --      |    Inf 
121.66/121.79	c   113s|350000 |240614 |     0 |   0.0 | 181M| 344 |   - | 534 |2530 |   0 |   0 |   0 |  73k|   0 | 1.000000e+00 |      --      |    Inf 
126.06/126.16	c   118s|360000 |246131 |     0 |   0.0 | 186M| 344 |   - | 534 |2574 |   0 |   0 |   0 |  76k|   0 | 1.000000e+00 |      --      |    Inf 
130.65/130.74	c   122s|370000 |251001 |     0 |   0.0 | 190M| 344 |   - | 534 |2594 |   0 |   0 |   0 |  79k|   0 | 1.000000e+00 |      --      |    Inf 
135.45/135.55	c   126s|380000 |254976 |     0 |   0.0 | 194M| 344 |   - | 534 |2670 |   0 |   0 |   0 |  82k|   0 | 1.000000e+00 |      --      |    Inf 
140.25/140.32	c   131s|390000 |258782 |     0 |   0.0 | 198M| 344 |   - | 534 |2575 |   0 |   0 |   0 |  86k|   0 | 1.000000e+00 |      --      |    Inf 
144.85/144.94	c   135s|400000 |263533 |     0 |   0.0 | 202M| 344 |   - | 534 |2472 |   0 |   0 |   0 |  89k|   0 | 1.000000e+00 |      --      |    Inf 
149.46/149.51	c   140s|410000 |268497 |     0 |   0.0 | 207M| 344 |   - | 534 |2452 |   0 |   0 |   0 |  92k|   0 | 1.000000e+00 |      --      |    Inf 
153.75/153.84	c   144s|420000 |273372 |     0 |   0.0 | 211M| 344 |   - | 534 |2381 |   0 |   0 |   0 |  95k|   0 | 1.000000e+00 |      --      |    Inf 
157.35/157.48	c   147s|430000 |279873 |     0 |   0.0 | 216M| 344 |   - | 534 | 711 |   0 |   0 |   0 |  97k|   0 | 1.000000e+00 |      --      |    Inf 
160.15/160.28	c   150s|440000 |288022 |     0 |   0.0 | 222M| 344 |   - | 534 | 730 |   0 |   0 |   0 |  99k|   0 | 1.000000e+00 |      --      |    Inf 
163.05/163.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
163.05/163.12	c   152s|450000 |295910 |     0 |   0.0 | 228M| 344 |   - | 534 | 713 |   0 |   0 |   0 | 100k|   0 | 1.000000e+00 |      --      |    Inf 
165.84/165.98	c   155s|460000 |303559 |     0 |   0.0 | 233M| 344 |   - | 534 | 700 |   0 |   0 |   0 | 102k|   0 | 1.000000e+00 |      --      |    Inf 
168.85/168.94	c   158s|470000 |311180 |     0 |   0.0 | 239M| 344 |   - | 534 | 843 |   0 |   0 |   0 | 103k|   0 | 1.000000e+00 |      --      |    Inf 
172.15/172.22	c   161s|480000 |318192 |     0 |   0.0 | 244M| 344 |   - | 534 | 811 |   0 |   0 |   0 | 105k|   0 | 1.000000e+00 |      --      |    Inf 
175.54/175.62	c   164s|490000 |325019 |     0 |   0.0 | 249M| 344 |   - | 534 | 892 |   0 |   0 |   0 | 107k|   0 | 1.000000e+00 |      --      |    Inf 
179.15/179.23	c   167s|500000 |331050 |     0 |   0.0 | 254M| 344 |   - | 534 |1000 |   0 |   0 |   0 | 110k|   0 | 1.000000e+00 |      --      |    Inf 
183.04/183.11	c   171s|510000 |336422 |     0 |   0.0 | 257M| 344 |   - | 534 |1321 |   0 |   0 |   0 | 113k|   0 | 1.000000e+00 |      --      |    Inf 
187.34/187.43	c   175s|520000 |341289 |     0 |   0.0 | 261M| 344 |   - | 534 |1475 |   0 |   0 |   0 | 117k|   0 | 1.000000e+00 |      --      |    Inf 
191.64/191.79	c   179s|530000 |346702 |     0 |   0.0 | 265M| 344 |   - | 534 |1656 |   0 |   0 |   0 | 120k|   0 | 1.000000e+00 |      --      |    Inf 
196.04/196.11	c   183s|540000 |352416 |     0 |   0.0 | 269M| 344 |   - | 534 |1834 |   0 |   0 |   0 | 123k|   0 | 1.000000e+00 |      --      |    Inf 
200.14/200.26	c   187s|550000 |358658 |     0 |   0.0 | 274M| 344 |   - | 534 |1903 |   0 |   0 |   0 | 126k|   0 | 1.000000e+00 |      --      |    Inf 
204.34/204.49	c   191s|560000 |364931 |     0 |   0.0 | 279M| 344 |   - | 534 |2042 |   0 |   0 |   0 | 129k|   0 | 1.000000e+00 |      --      |    Inf 
208.54/208.69	c   195s|570000 |371294 |     0 |   0.0 | 283M| 344 |   - | 534 |2093 |   0 |   0 |   0 | 133k|   0 | 1.000000e+00 |      --      |    Inf 
212.93/213.02	c   199s|580000 |377613 |     0 |   0.0 | 288M| 344 |   - | 534 |1906 |   0 |   0 |   0 | 136k|   0 | 1.000000e+00 |      --      |    Inf 
217.14/217.22	c   203s|590000 |383932 |     0 |   0.0 | 292M| 344 |   - | 534 |1850 |   0 |   0 |   0 | 139k|   0 | 1.000000e+00 |      --      |    Inf 
221.43/221.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
221.43/221.54	c   207s|600000 |390045 |     0 |   0.0 | 296M| 344 |   - | 534 |2021 |   0 |   0 |   0 | 143k|   0 | 1.000000e+00 |      --      |    Inf 
225.73/225.86	c   211s|610000 |396238 |     0 |   0.0 | 301M| 344 |   - | 534 |2156 |   0 |   0 |   0 | 146k|   0 | 1.000000e+00 |      --      |    Inf 
230.03/230.16	c   215s|620000 |402512 |     0 |   0.0 | 305M| 344 |   - | 534 |1768 |   0 |   0 |   0 | 149k|   0 | 1.000000e+00 |      --      |    Inf 
234.63/234.76	c   220s|630000 |408357 |     0 |   0.0 | 309M| 344 |   - | 534 |1968 |   0 |   0 |   0 | 153k|   0 | 1.000000e+00 |      --      |    Inf 
239.22/239.30	c   224s|640000 |414310 |     0 |   0.0 | 314M| 344 |   - | 534 |2059 |   0 |   0 |   0 | 156k|   0 | 1.000000e+00 |      --      |    Inf 
243.82/243.95	c   228s|650000 |420155 |     0 |   0.0 | 318M| 344 |   - | 534 |2116 |   0 |   0 |   0 | 160k|   0 | 1.000000e+00 |      --      |    Inf 
248.33/248.47	c   233s|660000 |426184 |     0 |   0.0 | 323M| 344 |   - | 534 |2061 |   0 |   0 |   0 | 163k|   0 | 1.000000e+00 |      --      |    Inf 
252.53/252.60	c   237s|670000 |432822 |     0 |   0.0 | 328M| 344 |   - | 534 |1533 |   0 |   0 |   0 | 165k|   0 | 1.000000e+00 |      --      |    Inf 
256.62/256.73	c   240s|680000 |439079 |     0 |   0.0 | 332M| 344 |   - | 534 |1694 |   0 |   0 |   0 | 168k|   0 | 1.000000e+00 |      --      |    Inf 
260.42/260.58	c   244s|690000 |445726 |     0 |   0.0 | 337M| 344 |   - | 534 |1631 |   0 |   0 |   0 | 171k|   0 | 1.000000e+00 |      --      |    Inf 
264.53/264.61	c   248s|700000 |452294 |     0 |   0.0 | 342M| 344 |   - | 534 |1408 |   0 |   0 |   0 | 173k|   0 | 1.000000e+00 |      --      |    Inf 
268.62/268.72	c   252s|710000 |458563 |     0 |   0.0 | 346M| 344 |   - | 534 |1464 |   0 |   0 |   0 | 176k|   0 | 1.000000e+00 |      --      |    Inf 
272.32/272.46	c   255s|720000 |465542 |     0 |   0.0 | 352M| 344 |   - | 534 |1407 |   0 |   0 |   0 | 178k|   0 | 1.000000e+00 |      --      |    Inf 
276.42/276.54	c   259s|730000 |471814 |     0 |   0.0 | 356M| 344 |   - | 534 |1252 |   0 |   0 |   0 | 181k|   0 | 1.000000e+00 |      --      |    Inf 
280.22/280.38	c   263s|740000 |478607 |     0 |   0.0 | 361M| 344 |   - | 534 |1124 |   0 |   0 |   0 | 183k|   0 | 1.000000e+00 |      --      |    Inf 
284.12/284.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
284.12/284.23	c   266s|750000 |485117 |     0 |   0.0 | 366M| 344 |   - | 534 |1395 |   0 |   0 |   0 | 186k|   0 | 1.000000e+00 |      --      |    Inf 
287.91/288.04	c   270s|760000 |491853 |     0 |   0.0 | 371M| 344 |   - | 534 |1188 |   0 |   0 |   0 | 188k|   0 | 1.000000e+00 |      --      |    Inf 
291.82/291.97	c   274s|770000 |498339 |     0 |   0.0 | 376M| 344 |   - | 534 |1726 |   0 |   0 |   0 | 190k|   0 | 1.000000e+00 |      --      |    Inf 
295.82/295.94	c   277s|780000 |505031 |     0 |   0.0 | 381M| 344 |   - | 534 |1597 |   0 |   0 |   0 | 193k|   0 | 1.000000e+00 |      --      |    Inf 
299.72/299.82	c   281s|790000 |511505 |     0 |   0.0 | 386M| 344 |   - | 534 |1744 |   0 |   0 |   0 | 195k|   0 | 1.000000e+00 |      --      |    Inf 
303.81/303.97	c   285s|800000 |518117 |     0 |   0.0 | 390M| 344 |   - | 534 |1647 |   0 |   0 |   0 | 197k|   0 | 1.000000e+00 |      --      |    Inf 
307.82/307.94	c   289s|810000 |524663 |     0 |   0.0 | 395M| 344 |   - | 534 |1557 |   0 |   0 |   0 | 200k|   0 | 1.000000e+00 |      --      |    Inf 
312.21/312.39	c   293s|820000 |530873 |     0 |   0.0 | 400M| 344 |   - | 534 |1971 |   0 |   0 |   0 | 202k|   0 | 1.000000e+00 |      --      |    Inf 
316.31/316.49	c   297s|830000 |537513 |     0 |   0.0 | 405M| 344 |   - | 534 |1191 |   0 |   0 |   0 | 205k|   0 | 1.000000e+00 |      --      |    Inf 
320.81/320.95	c   301s|840000 |543478 |     0 |   0.0 | 409M| 344 |   - | 534 |2074 |   0 |   0 |   0 | 207k|   0 | 1.000000e+00 |      --      |    Inf 
325.01/325.16	c   305s|850000 |550132 |     0 |   0.0 | 414M| 344 |   - | 534 |1654 |   0 |   0 |   0 | 210k|   0 | 1.000000e+00 |      --      |    Inf 
329.11/329.28	c   309s|860000 |556284 |     0 |   0.0 | 419M| 344 |   - | 534 |2075 |   0 |   0 |   0 | 212k|   0 | 1.000000e+00 |      --      |    Inf 
333.80/333.92	c   313s|870000 |562443 |     0 |   0.0 | 424M| 344 |   - | 534 |2098 |   0 |   0 |   0 | 215k|   0 | 1.000000e+00 |      --      |    Inf 
338.00/338.15	c   317s|880000 |568770 |     0 |   0.0 | 428M| 344 |   - | 534 |1741 |   0 |   0 |   0 | 217k|   0 | 1.000000e+00 |      --      |    Inf 
342.80/342.95	c   322s|890000 |574651 |     0 |   0.0 | 433M| 344 |   - | 534 |2169 |   0 |   0 |   0 | 220k|   0 | 1.000000e+00 |      --      |    Inf 
347.00/347.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
347.00/347.12	c   326s|900000 |581275 |     0 |   0.0 | 438M| 344 |   - | 534 |1287 |   0 |   0 |   0 | 223k|   0 | 1.000000e+00 |      --      |    Inf 
351.70/351.82	c   330s|910000 |586939 |     0 |   0.0 | 442M| 344 |   - | 534 |2324 |   0 |   0 |   0 | 225k|   0 | 1.000000e+00 |      --      |    Inf 
356.09/356.28	c   334s|920000 |593266 |     0 |   0.0 | 447M| 344 |   - | 534 |1794 |   0 |   0 |   0 | 228k|   0 | 1.000000e+00 |      --      |    Inf 
360.61/360.76	c   339s|930000 |599227 |     0 |   0.0 | 451M| 344 |   - | 534 |2135 |   0 |   0 |   0 | 231k|   0 | 1.000000e+00 |      --      |    Inf 
365.40/365.50	c   343s|940000 |605270 |     0 |   0.0 | 456M| 344 |   - | 534 |1860 |   0 |   0 |   0 | 233k|   0 | 1.000000e+00 |      --      |    Inf 
369.40/369.59	c   347s|950000 |611726 |     0 |   0.0 | 460M| 344 |   - | 534 |1503 |   0 |   0 |   0 | 236k|   0 | 1.000000e+00 |      --      |    Inf 
374.09/374.26	c   351s|960000 |617650 |     0 |   0.0 | 465M| 344 |   - | 534 |2295 |   0 |   0 |   0 | 239k|   0 | 1.000000e+00 |      --      |    Inf 
378.69/378.87	c   356s|970000 |623786 |     0 |   0.0 | 469M| 344 |   - | 534 |1884 |   0 |   0 |   0 | 241k|   0 | 1.000000e+00 |      --      |    Inf 
383.09/383.27	c   360s|980000 |629951 |     0 |   0.0 | 474M| 344 |   - | 534 |2256 |   0 |   0 |   0 | 244k|   0 | 1.000000e+00 |      --      |    Inf 
388.20/388.34	c   365s|990000 |635837 |     0 |   0.0 | 479M| 344 |   - | 534 |2265 |   0 |   0 |   0 | 247k|   0 | 1.000000e+00 |      --      |    Inf 
392.60/392.79	c   369s|  1000k|642285 |     0 |   0.0 | 483M| 344 |   - | 534 |1914 |   0 |   0 |   0 | 249k|   0 | 1.000000e+00 |      --      |    Inf 
397.59/397.79	c   374s|  1010k|648084 |     0 |   0.0 | 488M| 344 |   - | 534 |2564 |   0 |   0 |   0 | 252k|   0 | 1.000000e+00 |      --      |    Inf 
402.58/402.71	c   378s|  1020k|654153 |     0 |   0.0 | 492M| 344 |   - | 534 |2257 |   0 |   0 |   0 | 255k|   0 | 1.000000e+00 |      --      |    Inf 
407.18/407.38	c   383s|  1030k|660224 |     0 |   0.0 | 497M| 344 |   - | 534 |2642 |   0 |   0 |   0 | 258k|   0 | 1.000000e+00 |      --      |    Inf 
412.29/412.45	c   388s|  1040k|666250 |     0 |   0.0 | 501M| 344 |   - | 534 |2729 |   0 |   0 |   0 | 260k|   0 | 1.000000e+00 |      --      |    Inf 
416.88/417.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
416.88/417.07	c   392s|  1050k|672662 |     0 |   0.0 | 506M| 344 |   - | 534 |2190 |   0 |   0 |   0 | 263k|   0 | 1.000000e+00 |      --      |    Inf 
421.88/422.01	c   397s|  1060k|678576 |     0 |   0.0 | 510M| 344 |   - | 534 |3018 |   0 |   0 |   0 | 266k|   0 | 1.000000e+00 |      --      |    Inf 
426.88/427.08	c   401s|  1070k|684715 |     0 |   0.0 | 515M| 344 |   - | 534 |2657 |   0 |   0 |   0 | 268k|   0 | 1.000000e+00 |      --      |    Inf 
431.58/431.75	c   406s|  1080k|691046 |     0 |   0.0 | 519M| 344 |   - | 534 |2764 |   0 |   0 |   0 | 271k|   0 | 1.000000e+00 |      --      |    Inf 
436.48/436.65	c   411s|  1090k|697267 |     0 |   0.0 | 524M| 344 |   - | 534 |2931 |   0 |   0 |   0 | 273k|   0 | 1.000000e+00 |      --      |    Inf 
441.37/441.58	c   415s|  1100k|703536 |     0 |   0.0 | 528M| 344 |   - | 534 |2292 |   0 |   0 |   0 | 276k|   0 | 1.000000e+00 |      --      |    Inf 
446.18/446.31	c   420s|  1110k|709743 |     0 |   0.0 | 533M| 344 |   - | 534 |2956 |   0 |   0 |   0 | 279k|   0 | 1.000000e+00 |      --      |    Inf 
451.27/451.43	c   425s|  1120k|715764 |     0 |   0.0 | 537M| 344 |   - | 534 |2836 |   0 |   0 |   0 | 281k|   0 | 1.000000e+00 |      --      |    Inf 
456.07/456.27	c   429s|  1130k|721992 |     0 |   0.0 | 542M| 344 |   - | 534 |2749 |   0 |   0 |   0 | 284k|   0 | 1.000000e+00 |      --      |    Inf 
461.47/461.68	c   434s|  1140k|727958 |     0 |   0.0 | 546M| 344 |   - | 534 |3243 |   0 |   0 |   0 | 287k|   0 | 1.000000e+00 |      --      |    Inf 
466.67/466.81	c   439s|  1150k|734089 |     0 |   0.0 | 551M| 344 |   - | 534 |2737 |   0 |   0 |   0 | 290k|   0 | 1.000000e+00 |      --      |    Inf 
471.37/471.56	c   444s|  1160k|740458 |     0 |   0.0 | 555M| 344 |   - | 534 |3091 |   0 |   0 |   0 | 292k|   0 | 1.000000e+00 |      --      |    Inf 
476.87/477.05	c   449s|  1170k|746339 |     0 |   0.0 | 560M| 344 |   - | 534 |3195 |   0 |   0 |   0 | 295k|   0 | 1.000000e+00 |      --      |    Inf 
481.77/481.97	c   454s|  1180k|752644 |     0 |   0.0 | 564M| 344 |   - | 534 |2444 |   0 |   0 |   0 | 298k|   0 | 1.000000e+00 |      --      |    Inf 
486.97/487.10	c   459s|  1190k|758603 |     0 |   0.0 | 569M| 344 |   - | 534 |3173 |   0 |   0 |   0 | 300k|   0 | 1.000000e+00 |      --      |    Inf 
491.57/491.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
491.57/491.72	c   463s|  1200k|765154 |     0 |   0.0 | 573M| 344 |   - | 534 |2517 |   0 |   0 |   0 | 303k|   0 | 1.000000e+00 |      --      |    Inf 
495.46/495.67	c   467s|  1210k|772197 |     0 |   0.0 | 578M| 344 |   - | 534 |1705 |   0 |   0 |   0 | 305k|   0 | 1.000000e+00 |      --      |    Inf 
499.86/500.03	c   471s|  1220k|778484 |     0 |   0.0 | 582M| 344 |   - | 534 |1717 |   0 |   0 |   0 | 308k|   0 | 1.000000e+00 |      --      |    Inf 
503.76/503.93	c   475s|  1230k|785370 |     0 |   0.0 | 587M| 344 |   - | 534 |1650 |   0 |   0 |   0 | 310k|   0 | 1.000000e+00 |      --      |    Inf 
507.66/507.84	c   478s|  1240k|792294 |     0 |   0.0 | 591M| 344 |   - | 534 |1599 |   0 |   0 |   0 | 312k|   0 | 1.000000e+00 |      --      |    Inf 
511.96/512.10	c   482s|  1250k|798774 |     0 |   0.0 | 596M| 344 |   - | 534 |1593 |   0 |   0 |   0 | 315k|   0 | 1.000000e+00 |      --      |    Inf 
515.86/516.06	c   486s|  1260k|805588 |     0 |   0.0 | 600M| 344 |   - | 534 |1536 |   0 |   0 |   0 | 317k|   0 | 1.000000e+00 |      --      |    Inf 
519.95/520.13	c   490s|  1270k|812361 |     0 |   0.0 | 605M| 344 |   - | 534 |1634 |   0 |   0 |   0 | 319k|   0 | 1.000000e+00 |      --      |    Inf 
524.16/524.33	c   494s|  1280k|818941 |     0 |   0.0 | 609M| 344 |   - | 534 |1547 |   0 |   0 |   0 | 322k|   0 | 1.000000e+00 |      --      |    Inf 
528.16/528.32	c   497s|  1290k|825737 |     0 |   0.0 | 614M| 344 |   - | 534 |1647 |   0 |   0 |   0 | 324k|   0 | 1.000000e+00 |      --      |    Inf 
532.25/532.44	c   501s|  1300k|832397 |     0 |   0.0 | 619M| 344 |   - | 534 |1702 |   0 |   0 |   0 | 326k|   0 | 1.000000e+00 |      --      |    Inf 
536.35/536.54	c   505s|  1310k|839073 |     0 |   0.0 | 623M| 344 |   - | 534 |1673 |   0 |   0 |   0 | 329k|   0 | 1.000000e+00 |      --      |    Inf 
540.34/540.50	c   509s|  1320k|845892 |     0 |   0.0 | 628M| 344 |   - | 534 |1682 |   0 |   0 |   0 | 331k|   0 | 1.000000e+00 |      --      |    Inf 
544.55/544.71	c   513s|  1330k|852385 |     0 |   0.0 | 633M| 344 |   - | 534 |1799 |   0 |   0 |   0 | 334k|   0 | 1.000000e+00 |      --      |    Inf 
548.55/548.76	c   517s|  1340k|859043 |     0 |   0.0 | 637M| 344 |   - | 534 |1884 |   0 |   0 |   0 | 336k|   0 | 1.000000e+00 |      --      |    Inf 
552.55/552.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
552.55/552.72	c   520s|  1350k|865993 |     0 |   0.0 | 642M| 344 |   - | 534 |1712 |   0 |   0 |   0 | 338k|   0 | 1.000000e+00 |      --      |    Inf 
556.74/556.98	c   524s|  1360k|872400 |     0 |   0.0 | 646M| 344 |   - | 534 |1803 |   0 |   0 |   0 | 341k|   0 | 1.000000e+00 |      --      |    Inf 
560.75/560.96	c   528s|  1370k|879267 |     0 |   0.0 | 651M| 344 |   - | 534 |1716 |   0 |   0 |   0 | 343k|   0 | 1.000000e+00 |      --      |    Inf 
564.54/564.79	c   532s|  1380k|886343 |     0 |   0.0 | 656M| 344 |   - | 534 |1613 |   0 |   0 |   0 | 345k|   0 | 1.000000e+00 |      --      |    Inf 
569.64/569.82	c   537s|  1390k|892053 |     0 |   0.0 | 660M| 344 |   - | 534 |2470 |   0 |   0 |   0 | 348k|   0 | 1.000000e+00 |      --      |    Inf 
574.34/574.53	c   541s|  1400k|898441 |     0 |   0.0 | 665M| 344 |   - | 534 |2662 |   0 |   0 |   0 | 351k|   0 | 1.000000e+00 |      --      |    Inf 
579.45/579.65	c   546s|  1410k|904286 |     0 |   0.0 | 669M| 344 |   - | 534 |2760 |   0 |   0 |   0 | 353k|   0 | 1.000000e+00 |      --      |    Inf 
584.64/584.85	c   551s|  1420k|910338 |     0 |   0.0 | 674M| 344 |   - | 534 |2845 |   0 |   0 |   0 | 356k|   0 | 1.000000e+00 |      --      |    Inf 
589.03/589.20	c   555s|  1430k|917153 |     0 |   0.0 | 678M| 344 |   - | 534 |2090 |   0 |   0 |   0 | 358k|   0 | 1.000000e+00 |      --      |    Inf 
594.54/594.71	c   560s|  1440k|922714 |     0 |   0.0 | 682M| 344 |   - | 534 |2600 |   0 |   0 |   0 | 361k|   0 | 1.000000e+00 |      --      |    Inf 
599.14/599.36	c   565s|  1450k|929193 |     0 |   0.0 | 687M| 344 |   - | 534 |2433 |   0 |   0 |   0 | 364k|   0 | 1.000000e+00 |      --      |    Inf 
603.64/603.89	c   569s|  1460k|935624 |     0 |   0.0 | 691M| 344 |   - | 534 |2506 |   0 |   0 |   0 | 366k|   0 | 1.000000e+00 |      --      |    Inf 
608.43/608.64	c   573s|  1470k|941840 |     0 |   0.0 | 696M| 344 |   - | 534 |2707 |   0 |   0 |   0 | 369k|   0 | 1.000000e+00 |      --      |    Inf 
612.73/612.98	c   578s|  1480k|948491 |     0 |   0.0 | 700M| 344 |   - | 534 |2345 |   0 |   0 |   0 | 371k|   0 | 1.000000e+00 |      --      |    Inf 
617.53/617.73	c   582s|  1490k|954742 |     0 |   0.0 | 705M| 344 |   - | 534 |2721 |   0 |   0 |   0 | 374k|   0 | 1.000000e+00 |      --      |    Inf 
622.23/622.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
622.23/622.47	c   587s|  1500k|961162 |     0 |   0.0 | 709M| 344 |   - | 534 |2588 |   0 |   0 |   0 | 376k|   0 | 1.000000e+00 |      --      |    Inf 
626.62/626.87	c   591s|  1510k|967902 |     0 |   0.0 | 714M| 344 |   - | 534 |2406 |   0 |   0 |   0 | 379k|   0 | 1.000000e+00 |      --      |    Inf 
631.72/631.93	c   596s|  1520k|973899 |     0 |   0.0 | 718M| 344 |   - | 534 |2954 |   0 |   0 |   0 | 381k|   0 | 1.000000e+00 |      --      |    Inf 
636.32/636.59	c   600s|  1530k|980427 |     0 |   0.0 | 723M| 344 |   - | 534 |2999 |   0 |   0 |   0 | 384k|   0 | 1.000000e+00 |      --      |    Inf 
640.92/641.12	c   604s|  1540k|987005 |     0 |   0.0 | 727M| 344 |   - | 534 |2918 |   0 |   0 |   0 | 386k|   0 | 1.000000e+00 |      --      |    Inf 
645.82/646.00	c   609s|  1550k|993299 |     0 |   0.0 | 732M| 344 |   - | 534 |3169 |   0 |   0 |   0 | 389k|   0 | 1.000000e+00 |      --      |    Inf 
650.22/650.40	c   613s|  1560k|  1000k|     0 |   0.0 | 737M| 344 |   - | 534 |2771 |   0 |   0 |   0 | 391k|   0 | 1.000000e+00 |      --      |    Inf 
655.02/655.22	c   618s|  1570k|  1006k|     0 |   0.0 | 741M| 344 |   - | 534 |2647 |   0 |   0 |   0 | 393k|   0 | 1.000000e+00 |      --      |    Inf 
659.02/659.22	c   621s|  1580k|  1013k|     0 |   0.0 | 746M| 344 |   - | 534 |2578 |   0 |   0 |   0 | 395k|   0 | 1.000000e+00 |      --      |    Inf 
663.51/663.71	c   626s|  1590k|  1020k|     0 |   0.0 | 751M| 344 |   - | 534 |2451 |   0 |   0 |   0 | 398k|   0 | 1.000000e+00 |      --      |    Inf 
667.81/668.03	c   630s|  1600k|  1026k|     0 |   0.0 | 755M| 344 |   - | 534 |2218 |   0 |   0 |   0 | 400k|   0 | 1.000000e+00 |      --      |    Inf 
672.11/672.38	c   634s|  1610k|  1033k|     0 |   0.0 | 760M| 344 |   - | 534 |2813 |   0 |   0 |   0 | 402k|   0 | 1.000000e+00 |      --      |    Inf 
677.02/677.29	c   639s|  1620k|  1039k|     0 |   0.0 | 764M| 344 |   - | 534 |2833 |   0 |   0 |   0 | 405k|   0 | 1.000000e+00 |      --      |    Inf 
681.72/681.96	c   643s|  1630k|  1046k|     0 |   0.0 | 769M| 344 |   - | 534 |2743 |   0 |   0 |   0 | 407k|   0 | 1.000000e+00 |      --      |    Inf 
686.22/686.46	c   647s|  1640k|  1052k|     0 |   0.0 | 774M| 344 |   - | 534 |2581 |   0 |   0 |   0 | 409k|   0 | 1.000000e+00 |      --      |    Inf 
691.11/691.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
691.11/691.35	c   652s|  1650k|  1058k|     0 |   0.0 | 778M| 344 |   - | 534 |2610 |   0 |   0 |   0 | 412k|   0 | 1.000000e+00 |      --      |    Inf 
695.41/695.68	c   656s|  1660k|  1065k|     0 |   0.0 | 783M| 344 |   - | 534 |2625 |   0 |   0 |   0 | 414k|   0 | 1.000000e+00 |      --      |    Inf 
700.00/700.23	c   660s|  1670k|  1072k|     0 |   0.0 | 787M| 344 |   - | 534 |2674 |   0 |   0 |   0 | 417k|   0 | 1.000000e+00 |      --      |    Inf 
705.00/705.28	c   665s|  1680k|  1078k|     0 |   0.0 | 792M| 344 |   - | 534 |2954 |   0 |   0 |   0 | 419k|   0 | 1.000000e+00 |      --      |    Inf 
709.80/710.01	c   670s|  1690k|  1084k|     0 |   0.0 | 796M| 344 |   - | 534 |2733 |   0 |   0 |   0 | 422k|   0 | 1.000000e+00 |      --      |    Inf 
714.60/714.85	c   674s|  1700k|  1090k|     0 |   0.0 | 801M| 344 |   - | 534 |2741 |   0 |   0 |   0 | 424k|   0 | 1.000000e+00 |      --      |    Inf 
719.40/719.69	c   679s|  1710k|  1097k|     0 |   0.0 | 806M| 344 |   - | 534 |3009 |   0 |   0 |   0 | 427k|   0 | 1.000000e+00 |      --      |    Inf 
724.10/724.35	c   683s|  1720k|  1103k|     0 |   0.0 | 810M| 344 |   - | 534 |2807 |   0 |   0 |   0 | 429k|   0 | 1.000000e+00 |      --      |    Inf 
729.11/729.37	c   688s|  1730k|  1109k|     0 |   0.0 | 815M| 344 |   - | 534 |2898 |   0 |   0 |   0 | 432k|   0 | 1.000000e+00 |      --      |    Inf 
733.69/733.96	c   692s|  1740k|  1116k|     0 |   0.0 | 819M| 344 |   - | 534 |2706 |   0 |   0 |   0 | 434k|   0 | 1.000000e+00 |      --      |    Inf 
738.39/738.66	c   697s|  1750k|  1122k|     0 |   0.0 | 824M| 344 |   - | 534 |2639 |   0 |   0 |   0 | 436k|   0 | 1.000000e+00 |      --      |    Inf 
743.40/743.64	c   701s|  1760k|  1128k|     0 |   0.0 | 828M| 344 |   - | 534 |2850 |   0 |   0 |   0 | 439k|   0 | 1.000000e+00 |      --      |    Inf 
748.19/748.42	c   706s|  1770k|  1134k|     0 |   0.0 | 833M| 344 |   - | 534 |2705 |   0 |   0 |   0 | 441k|   0 | 1.000000e+00 |      --      |    Inf 
753.30/753.55	c   711s|  1780k|  1140k|     0 |   0.0 | 838M| 344 |   - | 534 |3002 |   0 |   0 |   0 | 444k|   0 | 1.000000e+00 |      --      |    Inf 
758.19/758.49	c   716s|  1790k|  1146k|     0 |   0.0 | 842M| 344 |   - | 534 |2872 |   0 |   0 |   0 | 447k|   0 | 1.000000e+00 |      --      |    Inf 
763.20/763.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
763.20/763.47	c   720s|  1800k|  1152k|     0 |   0.0 | 847M| 344 |   - | 534 |2911 |   0 |   0 |   0 | 449k|   0 | 1.000000e+00 |      --      |    Inf 
768.09/768.37	c   725s|  1810k|  1158k|     0 |   0.0 | 851M| 344 |   - | 534 |2982 |   0 |   0 |   0 | 452k|   0 | 1.000000e+00 |      --      |    Inf 
772.88/773.16	c   730s|  1820k|  1164k|     0 |   0.0 | 856M| 344 |   - | 534 |2598 |   0 |   0 |   0 | 454k|   0 | 1.000000e+00 |      --      |    Inf 
778.49/778.73	c   735s|  1830k|  1169k|     0 |   0.0 | 860M| 344 |   - | 534 |3326 |   0 |   0 |   0 | 457k|   0 | 1.000000e+00 |      --      |    Inf 
783.48/783.76	c   740s|  1840k|  1176k|     0 |   0.0 | 864M| 344 |   - | 534 |2922 |   0 |   0 |   0 | 460k|   0 | 1.000000e+00 |      --      |    Inf 
788.98/789.29	c   745s|  1850k|  1181k|     0 |   0.0 | 869M| 344 |   - | 534 |3098 |   0 |   0 |   0 | 463k|   0 | 1.000000e+00 |      --      |    Inf 
793.99/794.23	c   750s|  1860k|  1187k|     0 |   0.0 | 873M| 344 |   - | 534 |2863 |   0 |   0 |   0 | 465k|   0 | 1.000000e+00 |      --      |    Inf 
798.69/798.98	c   754s|  1870k|  1193k|     0 |   0.0 | 878M| 344 |   - | 534 |2700 |   0 |   0 |   0 | 468k|   0 | 1.000000e+00 |      --      |    Inf 
803.88/804.11	c   759s|  1880k|  1198k|     0 |   0.0 | 883M| 344 |   - | 534 |2846 |   0 |   0 |   0 | 470k|   0 | 1.000000e+00 |      --      |    Inf 
808.78/809.03	c   764s|  1890k|  1204k|     0 |   0.0 | 887M| 344 |   - | 534 |2787 |   0 |   0 |   0 | 473k|   0 | 1.000000e+00 |      --      |    Inf 
813.68/813.90	c   768s|  1900k|  1210k|     0 |   0.0 | 892M| 344 |   - | 534 |2858 |   0 |   0 |   0 | 475k|   0 | 1.000000e+00 |      --      |    Inf 
818.58/818.83	c   773s|  1910k|  1216k|     0 |   0.0 | 897M| 344 |   - | 534 |2650 |   0 |   0 |   0 | 478k|   0 | 1.000000e+00 |      --      |    Inf 
823.77/824.01	c   778s|  1920k|  1221k|     0 |   0.0 | 901M| 344 |   - | 534 |2813 |   0 |   0 |   0 | 481k|   0 | 1.000000e+00 |      --      |    Inf 
828.77/829.01	c   783s|  1930k|  1226k|     0 |   0.0 | 906M| 344 |   - | 534 |2996 |   0 |   0 |   0 | 483k|   0 | 1.000000e+00 |      --      |    Inf 
833.77/834.00	c   788s|  1940k|  1232k|     0 |   0.0 | 910M| 344 |   - | 534 |2762 |   0 |   0 |   0 | 486k|   0 | 1.000000e+00 |      --      |    Inf 
838.87/839.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
838.87/839.12	c   792s|  1950k|  1237k|     0 |   0.0 | 915M| 344 |   - | 534 |2973 |   0 |   0 |   0 | 489k|   0 | 1.000000e+00 |      --      |    Inf 
844.16/844.41	c   798s|  1960k|  1242k|     0 |   0.0 | 919M| 344 |   - | 534 |2921 |   0 |   0 |   0 | 492k|   0 | 1.000000e+00 |      --      |    Inf 
848.88/849.14	c   802s|  1970k|  1248k|     0 |   0.0 | 924M| 344 |   - | 534 |2674 |   0 |   0 |   0 | 494k|   0 | 1.000000e+00 |      --      |    Inf 
853.76/854.06	c   807s|  1980k|  1253k|     0 |   0.0 | 928M| 344 |   - | 534 |2840 |   0 |   0 |   0 | 497k|   0 | 1.000000e+00 |      --      |    Inf 
858.77/859.08	c   811s|  1990k|  1259k|     0 |   0.0 | 933M| 344 |   - | 534 |2882 |   0 |   0 |   0 | 500k|   0 | 1.000000e+00 |      --      |    Inf 
863.66/863.96	c   816s|  2000k|  1265k|     0 |   0.0 | 937M| 344 |   - | 534 |2523 |   0 |   0 |   0 | 502k|   0 | 1.000000e+00 |      --      |    Inf 
868.87/869.16	c   821s|  2010k|  1270k|     0 |   0.0 | 942M| 344 |   - | 534 |2775 |   0 |   0 |   0 | 505k|   0 | 1.000000e+00 |      --      |    Inf 
873.96/874.21	c   826s|  2020k|  1275k|     0 |   0.0 | 946M| 344 |   - | 534 |2929 |   0 |   0 |   0 | 508k|   0 | 1.000000e+00 |      --      |    Inf 
878.86/879.16	c   831s|  2030k|  1281k|     0 |   0.0 | 951M| 344 |   - | 534 |2672 |   0 |   0 |   0 | 511k|   0 | 1.000000e+00 |      --      |    Inf 
883.86/884.18	c   835s|  2040k|  1286k|     0 |   0.0 | 955M| 344 |   - | 534 |2696 |   0 |   0 |   0 | 514k|   0 | 1.000000e+00 |      --      |    Inf 
889.15/889.41	c   840s|  2050k|  1291k|     0 |   0.0 | 959M| 344 |   - | 534 |2736 |   0 |   0 |   0 | 516k|   0 | 1.000000e+00 |      --      |    Inf 
894.45/894.78	c   845s|  2060k|  1296k|     0 |   0.0 | 964M| 344 |   - | 534 |2830 |   0 |   0 |   0 | 519k|   0 | 1.000000e+00 |      --      |    Inf 
899.85/900.11	c   850s|  2070k|  1301k|     0 |   0.0 | 968M| 344 |   - | 534 |2909 |   0 |   0 |   0 | 522k|   0 | 1.000000e+00 |      --      |    Inf 
904.96/905.25	c   855s|  2080k|  1306k|     0 |   0.0 | 972M| 344 |   - | 534 |2903 |   0 |   0 |   0 | 525k|   0 | 1.000000e+00 |      --      |    Inf 
910.16/910.45	c   860s|  2090k|  1311k|     0 |   0.0 | 976M| 344 |   - | 534 |2940 |   0 |   0 |   0 | 528k|   0 | 1.000000e+00 |      --      |    Inf 
915.35/915.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
915.35/915.60	c   865s|  2100k|  1316k|     0 |   0.0 | 981M| 344 |   - | 534 |2904 |   0 |   0 |   0 | 530k|   0 | 1.000000e+00 |      --      |    Inf 
920.95/921.20	c   871s|  2110k|  1321k|     0 |   0.0 | 985M| 344 |   - | 534 |3068 |   0 |   0 |   0 | 533k|   0 | 1.000000e+00 |      --      |    Inf 
926.45/926.78	c   876s|  2120k|  1325k|     0 |   0.0 | 989M| 344 |   - | 534 |2905 |   0 |   0 |   0 | 536k|   0 | 1.000000e+00 |      --      |    Inf 
932.24/932.51	c   881s|  2130k|  1330k|     0 |   0.0 | 993M| 344 |   - | 534 |3214 |   0 |   0 |   0 | 539k|   0 | 1.000000e+00 |      --      |    Inf 
938.14/938.41	c   887s|  2140k|  1334k|     0 |   0.0 | 997M| 344 |   - | 534 |3317 |   0 |   0 |   0 | 542k|   0 | 1.000000e+00 |      --      |    Inf 
943.74/944.02	c   892s|  2150k|  1339k|     0 |   0.0 |1001M| 344 |   - | 534 |3468 |   0 |   0 |   0 | 545k|   0 | 1.000000e+00 |      --      |    Inf 
949.05/949.34	c   898s|  2160k|  1344k|     0 |   0.0 |1005M| 344 |   - | 534 |3160 |   0 |   0 |   0 | 548k|   0 | 1.000000e+00 |      --      |    Inf 
954.14/954.47	c   902s|  2170k|  1349k|     0 |   0.0 |1009M| 344 |   - | 534 |3100 |   0 |   0 |   0 | 551k|   0 | 1.000000e+00 |      --      |    Inf 
959.44/959.79	c   907s|  2180k|  1355k|     0 |   0.0 |1013M| 344 |   - | 534 |3149 |   0 |   0 |   0 | 554k|   0 | 1.000000e+00 |      --      |    Inf 
964.74/965.06	c   912s|  2190k|  1360k|     0 |   0.0 |1017M| 344 |   - | 534 |3097 |   0 |   0 |   0 | 557k|   0 | 1.000000e+00 |      --      |    Inf 
970.04/970.35	c   918s|  2200k|  1365k|     0 |   0.0 |1022M| 344 |   - | 534 |3287 |   0 |   0 |   0 | 560k|   0 | 1.000000e+00 |      --      |    Inf 
975.54/975.86	c   923s|  2210k|  1370k|     0 |   0.0 |1026M| 344 |   - | 534 |3378 |   0 |   0 |   0 | 563k|   0 | 1.000000e+00 |      --      |    Inf 
981.34/981.66	c   928s|  2220k|  1374k|     0 |   0.0 |1031M| 344 |   - | 534 |3332 |   0 |   0 |   0 | 566k|   0 | 1.000000e+00 |      --      |    Inf 
986.83/987.16	c   934s|  2230k|  1379k|     0 |   0.0 |1035M| 344 |   - | 534 |3327 |   0 |   0 |   0 | 569k|   0 | 1.000000e+00 |      --      |    Inf 
992.83/993.11	c   939s|  2240k|  1384k|     0 |   0.0 |1040M| 344 |   - | 534 |3268 |   0 |   0 |   0 | 572k|   0 | 1.000000e+00 |      --      |    Inf 
998.33/998.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
998.33/998.62	c   945s|  2250k|  1389k|     0 |   0.0 |1044M| 344 |   - | 534 |3147 |   0 |   0 |   0 | 575k|   0 | 1.000000e+00 |      --      |    Inf 
1004.23/1004.51	c   950s|  2260k|  1394k|     0 |   0.0 |1048M| 344 |   - | 534 |3190 |   0 |   0 |   0 | 579k|   0 | 1.000000e+00 |      --      |    Inf 
1010.32/1010.64	c   956s|  2270k|  1398k|     0 |   0.0 |1052M| 344 |   - | 534 |3109 |   0 |   0 |   0 | 582k|   0 | 1.000000e+00 |      --      |    Inf 
1016.13/1016.46	c   962s|  2280k|  1403k|     0 |   0.0 |1056M| 344 |   - | 534 |3105 |   0 |   0 |   0 | 586k|   0 | 1.000000e+00 |      --      |    Inf 
1022.63/1022.95	c   968s|  2290k|  1406k|     0 |   0.0 |1060M| 344 |   - | 534 |3116 |   0 |   0 |   0 | 589k|   0 | 1.000000e+00 |      --      |    Inf 
1029.52/1029.81	c   974s|  2300k|  1409k|     0 |   0.0 |1063M| 344 |   - | 534 |3133 |   0 |   0 |   0 | 594k|   0 | 1.000000e+00 |      --      |    Inf 
1036.71/1037.06	c   981s|  2310k|  1412k|     0 |   0.0 |1066M| 344 |   - | 534 |3146 |   0 |   0 |   0 | 598k|   0 | 1.000000e+00 |      --      |    Inf 
1043.11/1043.47	c   988s|  2320k|  1415k|     0 |   0.0 |1069M| 344 |   - | 534 |3185 |   0 |   0 |   0 | 602k|   0 | 1.000000e+00 |      --      |    Inf 
1049.32/1049.62	c   994s|  2330k|  1418k|     0 |   0.0 |1072M| 344 |   - | 534 |2978 |   0 |   0 |   0 | 605k|   0 | 1.000000e+00 |      --      |    Inf 
1055.51/1055.89	c  1000s|  2340k|  1422k|     0 |   0.0 |1076M| 344 |   - | 534 |2917 |   0 |   0 |   0 | 609k|   0 | 1.000000e+00 |      --      |    Inf 
1062.41/1062.72	c  1006s|  2350k|  1424k|     0 |   0.0 |1079M| 344 |   - | 534 |2847 |   0 |   0 |   0 | 613k|   0 | 1.000000e+00 |      --      |    Inf 
1069.21/1069.51	c  1013s|  2360k|  1427k|     0 |   0.0 |1082M| 344 |   - | 534 |2820 |   0 |   0 |   0 | 618k|   0 | 1.000000e+00 |      --      |    Inf 
1075.61/1075.91	c  1019s|  2370k|  1431k|     0 |   0.0 |1086M| 344 |   - | 534 |2822 |   0 |   0 |   0 | 622k|   0 | 1.000000e+00 |      --      |    Inf 
1082.21/1082.52	c  1025s|  2380k|  1434k|     0 |   0.0 |1091M| 344 |   - | 534 |2843 |   0 |   0 |   0 | 625k|   0 | 1.000000e+00 |      --      |    Inf 
1089.60/1089.97	c  1032s|  2390k|  1437k|     0 |   0.0 |1095M| 344 |   - | 534 |2875 |   0 |   0 |   0 | 629k|   0 | 1.000000e+00 |      --      |    Inf 
1096.41/1096.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1096.41/1096.75	c  1039s|  2400k|  1440k|     0 |   0.0 |1099M| 344 |   - | 534 |2810 |   0 |   0 |   0 | 633k|   0 | 1.000000e+00 |      --      |    Inf 
1103.01/1103.35	c  1045s|  2410k|  1444k|     0 |   0.0 |1103M| 344 |   - | 534 |2798 |   0 |   0 |   0 | 637k|   0 | 1.000000e+00 |      --      |    Inf 
1109.51/1109.82	c  1051s|  2420k|  1447k|     0 |   0.0 |1108M| 344 |   - | 534 |2781 |   0 |   0 |   0 | 641k|   0 | 1.000000e+00 |      --      |    Inf 
1115.40/1115.77	c  1057s|  2430k|  1452k|     0 |   0.0 |1112M| 344 |   - | 534 |2768 |   0 |   0 |   0 | 645k|   0 | 1.000000e+00 |      --      |    Inf 
1122.20/1122.59	c  1064s|  2440k|  1455k|     0 |   0.0 |1116M| 344 |   - | 534 |2791 |   0 |   0 |   0 | 649k|   0 | 1.000000e+00 |      --      |    Inf 
1126.39/1126.72	c  1067s|  2450k|  1461k|     0 |   0.0 |1120M| 344 |   - | 534 | 747 |   0 |   0 |   0 | 651k|   0 | 1.000000e+00 |      --      |    Inf 
1129.59/1129.92	c  1070s|  2460k|  1469k|     0 |   0.0 |1126M| 344 |   - | 534 | 906 |   0 |   0 |   0 | 652k|   0 | 1.000000e+00 |      --      |    Inf 
1132.70/1133.06	c  1073s|  2470k|  1477k|     0 |   0.0 |1131M| 344 |   - | 534 | 908 |   0 |   0 |   0 | 654k|   0 | 1.000000e+00 |      --      |    Inf 
1135.90/1136.24	c  1076s|  2480k|  1484k|     0 |   0.0 |1137M| 344 |   - | 534 | 808 |   0 |   0 |   0 | 655k|   0 | 1.000000e+00 |      --      |    Inf 
1138.99/1139.35	c  1079s|  2490k|  1492k|     0 |   0.0 |1142M| 344 |   - | 534 | 814 |   0 |   0 |   0 | 657k|   0 | 1.000000e+00 |      --      |    Inf 
1142.09/1142.44	c  1082s|  2500k|  1500k|     0 |   0.0 |1148M| 344 |   - | 534 | 759 |   0 |   0 |   0 | 658k|   0 | 1.000000e+00 |      --      |    Inf 
1145.29/1145.64	c  1085s|  2510k|  1507k|     0 |   0.0 |1154M| 344 |   - | 534 | 840 |   0 |   0 |   0 | 660k|   0 | 1.000000e+00 |      --      |    Inf 
1148.39/1148.73	c  1088s|  2520k|  1515k|     0 |   0.0 |1159M| 344 |   - | 534 | 677 |   0 |   0 |   0 | 661k|   0 | 1.000000e+00 |      --      |    Inf 
1151.59/1151.95	c  1091s|  2530k|  1522k|     0 |   0.0 |1164M| 344 |   - | 534 | 764 |   0 |   0 |   0 | 663k|   0 | 1.000000e+00 |      --      |    Inf 
1154.89/1155.27	c  1094s|  2540k|  1529k|     0 |   0.0 |1169M| 344 |   - | 534 | 882 |   0 |   0 |   0 | 665k|   0 | 1.000000e+00 |      --      |    Inf 
1158.29/1158.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1158.29/1158.66	c  1097s|  2550k|  1536k|     0 |   0.0 |1175M| 344 |   - | 534 | 914 |   0 |   0 |   0 | 667k|   0 | 1.000000e+00 |      --      |    Inf 
1161.69/1162.02	c  1100s|  2560k|  1543k|     0 |   0.0 |1180M| 344 |   - | 534 | 926 |   0 |   0 |   0 | 669k|   0 | 1.000000e+00 |      --      |    Inf 
1165.08/1165.46	c  1104s|  2570k|  1550k|     0 |   0.0 |1185M| 344 |   - | 534 | 930 |   0 |   0 |   0 | 670k|   0 | 1.000000e+00 |      --      |    Inf 
1168.48/1168.83	c  1107s|  2580k|  1557k|     0 |   0.0 |1190M| 344 |   - | 534 |1007 |   0 |   0 |   0 | 672k|   0 | 1.000000e+00 |      --      |    Inf 
1171.88/1172.22	c  1110s|  2590k|  1565k|     0 |   0.0 |1195M| 344 |   - | 534 |1010 |   0 |   0 |   0 | 674k|   0 | 1.000000e+00 |      --      |    Inf 
1175.39/1175.72	c  1113s|  2600k|  1572k|     0 |   0.0 |1200M| 344 |   - | 534 |1053 |   0 |   0 |   0 | 676k|   0 | 1.000000e+00 |      --      |    Inf 
1178.98/1179.38	c  1117s|  2610k|  1578k|     0 |   0.0 |1205M| 344 |   - | 534 | 890 |   0 |   0 |   0 | 678k|   0 | 1.000000e+00 |      --      |    Inf 
1179.89/1180.27	o 3
1179.89/1180.27	c *1117s|  2610k|  1419k|     0 |   0.0 |1090M| 344 |   - | 534 | 970 |   0 |   0 |   0 | 678k|   0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1202.26/1202.69	c 
1202.26/1202.69	c SCIP Status        : problem is solved [optimal solution found]
1202.26/1202.69	c Solving Time (sec) : 1138.11
1202.26/1202.69	c Solving Nodes      : 2610526
1202.26/1202.69	c Primal Bound       : +3.00000000000000e+00 (1 solutions)
1202.26/1202.69	c Dual Bound         : +3.00000000000000e+00
1202.26/1202.69	c Gap                : 0.00 %
1202.26/1202.69	s OPTIMUM FOUND
1202.26/1202.69	v -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x108 -x107 -x106 -x105 
1202.26/1202.69	v -x104 -x103 -x102 x101 x100 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
1202.26/1202.69	v x91 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 x82 -x126 -x125 x124 x123 -x122 
1202.26/1202.69	v -x121 -x120 -x119 x118 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 
1202.26/1202.69	v -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 x63 x62 -x61 -x60 x59 x58 -x57 x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 x46 
1202.26/1202.69	v -x45 x44 x43 -x42 -x41 x40 x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 x28 x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 
1202.26/1202.69	v -x18 -x17 -x16 x15 -x14 x13 -x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1 
1202.26/1202.69	c SCIP Status        : problem is solved [optimal solution found]
1202.26/1202.69	c Solving Time       :    1138.11
1202.26/1202.69	c Original Problem   :
1202.26/1202.69	c   Problem name     : HOME/instance-2663639-1276648867.opb
1202.26/1202.69	c   Variables        : 648 (648 binary, 0 integer, 0 implicit integer, 0 continuous)
1202.26/1202.69	c   Constraints      : 499 initial, 499 maximal
1202.26/1202.69	c Presolved Problem  :
1202.26/1202.69	c   Problem name     : t_HOME/instance-2663639-1276648867.opb
1202.26/1202.69	c   Variables        : 534 (534 binary, 0 integer, 0 implicit integer, 0 continuous)
1202.26/1202.69	c   Constraints      : 397 initial, 3521 maximal
1202.26/1202.69	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1202.26/1202.69	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1202.26/1202.69	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1202.26/1202.69	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1202.26/1202.69	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1202.26/1202.69	c   implics          :       0.00          0          0          0          0          0          0          0          0
1202.26/1202.69	c   probing          :       0.02          0          0          0          0          0          0          0          0
1202.26/1202.69	c   and              :       0.06         12         96          0          0          0         96          0         96
1202.26/1202.69	c   linear           :       0.00          1          5          0          0          0          0          0         49
1202.26/1202.69	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1202.26/1202.69	c   root node        :          -         81          -          -         81          -          -          -          -
1202.26/1202.69	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1202.26/1202.69	c   integral         :          0          0          0          0          0          0          0          0          0          0
1202.26/1202.69	c   and              :        384          0    6209064          0    2247286      67683   11128717          0          0          0
1202.26/1202.69	c   linear           :          6          0    6141380          0    2247286     521756    4807057          0          0          0
1202.26/1202.69	c   logicor          :          7+         0    2392307          0    2247138      21799     727281          0          0          0
1202.26/1202.69	c   countsols        :          0          0          0          0    2247287          0          0          0          0          0
1202.26/1202.69	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1202.26/1202.69	c   integral         :       0.00       0.00       0.00       0.00       0.00
1202.26/1202.69	c   and              :     124.89       0.00      89.04       0.00      35.85
1202.26/1202.69	c   linear           :     367.68       0.00     365.58       0.00       2.10
1202.26/1202.69	c   logicor          :     110.46       0.00     106.82       0.00       3.64
1202.26/1202.69	c   countsols        :       1.03       0.00       0.00       0.00       1.03
1202.26/1202.69	c Propagators        :       Time      Calls    Cutoffs    DomReds
1202.26/1202.69	c   vbounds          :       2.96          2          0          0
1202.26/1202.69	c   rootredcost      :       2.52          0          0          0
1202.26/1202.69	c   pseudoobj        :       7.97    6208674          0         16
1202.26/1202.69	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1202.26/1202.69	c   propagation      :     246.65     611228     607131    8870451       79.1      38757       70.6          -
1202.26/1202.69	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1202.26/1202.69	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1202.26/1202.69	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1202.26/1202.69	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1202.26/1202.69	c   applied globally :          -          -          -     537475       30.3          -          -          -
1202.26/1202.69	c   applied locally  :          -          -          -     141464       70.4          -          -          -
1202.26/1202.69	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1202.26/1202.69	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1202.26/1202.69	c   redcost          :       0.00          0          0          0          0          0
1202.26/1202.69	c   impliedbounds    :       0.00          0          0          0          0          0
1202.26/1202.69	c   intobj           :       0.00          0          0          0          0          0
1202.26/1202.69	c   cgmip            :       0.00          0          0          0          0          0
1202.26/1202.69	c   gomory           :       0.00          0          0          0          0          0
1202.26/1202.69	c   strongcg         :       0.00          0          0          0          0          0
1202.26/1202.69	c   cmir             :       0.00          0          0          0          0          0
1202.26/1202.69	c   flowcover        :       0.00          0          0          0          0          0
1202.26/1202.69	c   clique           :       0.00          0          0          0          0          0
1202.26/1202.69	c   zerohalf         :       0.00          0          0          0          0          0
1202.26/1202.69	c   mcf              :       0.00          0          0          0          0          0
1202.26/1202.69	c   rapidlearning    :       0.00          0          0          0          0          0
1202.26/1202.69	c Pricers            :       Time      Calls       Vars
1202.26/1202.69	c   problem variables:       0.00          0          0
1202.26/1202.69	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1202.26/1202.69	c   relpscost        :       0.00          0          0          0          0          0          0
1202.26/1202.69	c   pscost           :       0.00          0          0          0          0          0          0
1202.26/1202.69	c   inference        :     112.38    2247286          0          0          0          0    4494572
1202.26/1202.69	c   mostinf          :       0.00          0          0          0          0          0          0
1202.26/1202.69	c   leastinf         :       0.00          0          0          0          0          0          0
1202.26/1202.69	c   fullstrong       :       0.00          0          0          0          0          0          0
1202.26/1202.69	c   allfullstrong    :       0.00          0          0          0          0          0          0
1202.26/1202.69	c   random           :       0.00          0          0          0          0          0          0
1202.26/1202.69	c Primal Heuristics  :       Time      Calls      Found
1202.26/1202.69	c   LP solutions     :       0.00          -          0
1202.26/1202.69	c   pseudo solutions :       0.67          -          1
1202.26/1202.69	c   oneopt           :       1.20          0          0
1202.26/1202.69	c   trivial          :       0.00          2          0
1202.26/1202.69	c   simplerounding   :       0.00          0          0
1202.26/1202.69	c   zirounding       :       0.00          0          0
1202.26/1202.69	c   rounding         :       0.00          0          0
1202.26/1202.69	c   shifting         :       0.00          0          0
1202.26/1202.69	c   intshifting      :       0.00          0          0
1202.26/1202.69	c   twoopt           :       0.00          0          0
1202.26/1202.69	c   fixandinfer      :       0.00          0          0
1202.26/1202.69	c   feaspump         :       0.00          0          0
1202.26/1202.69	c   coefdiving       :       0.00          0          0
1202.26/1202.69	c   pscostdiving     :       0.00          0          0
1202.26/1202.69	c   fracdiving       :       0.00          0          0
1202.26/1202.69	c   veclendiving     :       0.00          0          0
1202.26/1202.69	c   intdiving        :       0.00          0          0
1202.26/1202.69	c   actconsdiving    :       0.00          0          0
1202.26/1202.69	c   objpscostdiving  :       0.00          0          0
1202.26/1202.69	c   rootsoldiving    :       0.00          0          0
1202.26/1202.69	c   linesearchdiving :       0.00          0          0
1202.26/1202.69	c   guideddiving     :       0.00          0          0
1202.26/1202.69	c   octane           :       0.00          0          0
1202.26/1202.69	c   rens             :       0.00          0          0
1202.26/1202.69	c   rins             :       0.00          0          0
1202.26/1202.69	c   localbranching   :       0.00          0          0
1202.26/1202.69	c   mutation         :       0.00          0          0
1202.26/1202.69	c   crossover        :       0.00          0          0
1202.26/1202.69	c   dins             :       0.00          0          0
1202.26/1202.69	c   undercover       :       0.00          0          0
1202.26/1202.69	c   nlp              :       1.47          0          0
1202.26/1202.69	c   trysol           :       1.08          0          0
1202.26/1202.69	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1202.26/1202.69	c   primal LP        :       0.00          0          0       0.00          -
1202.26/1202.69	c   dual LP          :       0.00          0          0       0.00          -
1202.26/1202.69	c   lex dual LP      :       0.00          0          0       0.00          -
1202.26/1202.69	c   barrier LP       :       0.00          0          0       0.00          -
1202.26/1202.69	c   diving/probing LP:       0.00          0          0       0.00          -
1202.26/1202.69	c   strong branching :       0.00          0          0       0.00          -
1202.26/1202.69	c     (at root node) :          -          0          0       0.00          -
1202.26/1202.69	c   conflict analysis:       0.00          0          0       0.00          -
1202.26/1202.69	c B&B Tree           :
1202.26/1202.69	c   number of runs   :          1
1202.26/1202.69	c   nodes            :    2610526
1202.26/1202.69	c   nodes (total)    :    2610526
1202.26/1202.69	c   nodes left       :          0
1202.26/1202.69	c   max depth        :        344
1202.26/1202.69	c   max depth (total):        344
1202.26/1202.69	c   backtracks       :     270506 (10.4%)
1202.26/1202.69	c   delayed cutoffs  :    1724476
1202.26/1202.69	c   repropagations   :     538081 (2452409 domain reductions, 247999 cutoffs)
1202.26/1202.69	c   avg switch length:       7.53
1202.26/1202.69	c   switching time   :     297.44
1202.26/1202.69	c Solution           :
1202.26/1202.69	c   Solutions found  :          1 (1 improvements)
1202.26/1202.69	c   First Solution   : +3.00000000000000e+00   (in run 1, after 2610525 nodes, 1116.74 seconds, depth 76, found by <relaxation>)
1202.26/1202.69	c   Primal Bound     : +3.00000000000000e+00   (in run 1, after 2610525 nodes, 1116.74 seconds, depth 76, found by <relaxation>)
1202.26/1202.69	c   Dual Bound       : +3.00000000000000e+00
1202.26/1202.69	c   Gap              :       0.00 %
1202.26/1202.69	c   Root Dual Bound  : +1.00000000000000e+00
1202.26/1202.69	c   Root Iterations  :          0
1202.37/1202.78	c Time complete: 1202.45.

Verifier Data 

OK	3

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.02 3/105 14276
/proc/meminfo: memFree=1782848/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=6584 CPUtime=0
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 1087 0 0 0 0 0 0 0 25 0 1 0 6180430 6742016 1010 1992294400 4194304 7136930 140735660757152 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14276/statm: 1646 1020 254 719 0 925 0

[startup+0.013384 s]
/proc/loadavg: 1.00 1.00 1.02 3/105 14276
/proc/meminfo: memFree=1782848/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=8468 CPUtime=0
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 1592 0 0 0 0 0 0 0 25 0 1 0 6180430 8671232 1515 1992294400 4194304 7136930 140735660757152 18446744073709551615 6341065 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14276/statm: 2117 1515 272 719 0 1396 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8468

[startup+0.101393 s]
/proc/loadavg: 1.00 1.00 1.02 3/105 14276
/proc/meminfo: memFree=1782848/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=11948 CPUtime=0.09
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 2870 0 0 0 5 4 0 0 25 0 1 0 6180430 12234752 2183 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 2987 2183 328 719 0 2266 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11948

[startup+0.301415 s]
/proc/loadavg: 1.00 1.00 1.02 3/105 14276
/proc/meminfo: memFree=1782848/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=13924 CPUtime=0.29
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 7048 0 0 0 21 8 0 0 25 0 1 0 6180430 14258176 2763 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 3481 2763 394 719 0 2760 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13924

[startup+0.701458 s]
/proc/loadavg: 1.00 1.00 1.02 3/105 14276
/proc/meminfo: memFree=1782848/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=15552 CPUtime=0.69
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 7468 0 0 0 57 12 0 0 25 0 1 0 6180430 15925248 3183 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 3888 3183 394 719 0 3167 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15552

[startup+1.50155 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 14277
/proc/meminfo: memFree=1770316/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=18948 CPUtime=1.49
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 8333 0 0 0 129 20 0 0 25 0 1 0 6180430 19402752 4048 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 4737 4048 394 719 0 4016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18948

[startup+3.10172 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 14277
/proc/meminfo: memFree=1766348/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=22960 CPUtime=3.09
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 9333 0 0 0 274 35 0 0 25 0 1 0 6180430 23511040 5048 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 5740 5048 394 719 0 5019 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22960

[startup+6.30108 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 14277
/proc/meminfo: memFree=1756924/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=31224 CPUtime=6.29
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 11421 0 0 0 569 60 0 0 25 0 1 0 6180430 31973376 7136 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 7806 7136 394 719 0 7085 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31224

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 14277
/proc/meminfo: memFree=1742664/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=44708 CPUtime=12.69
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 14878 0 0 0 1156 113 0 0 25 0 1 0 6180430 45780992 10593 1992294400 4194304 7136930 140735660757152 18446744073709551615 5957410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 11177 10593 394 719 0 10456 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44708

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 14279
/proc/meminfo: memFree=1717368/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=68496 CPUtime=25.49
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 20915 0 0 0 2339 210 0 0 25 0 1 0 6180430 70139904 16630 1992294400 4194304 7136930 140735660757152 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 17124 16630 394 719 0 16403 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68496

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 14279
/proc/meminfo: memFree=1673844/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=113164 CPUtime=51.08
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 31756 0 0 0 4720 388 0 0 25 0 1 0 6180430 115879936 27471 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 28291 27471 394 719 0 27570 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 113164

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 14281
/proc/meminfo: memFree=1601056/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=188768 CPUtime=102.27
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 50018 0 0 0 9525 702 0 0 25 0 1 0 6180430 193298432 45733 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 47192 45733 394 719 0 46471 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 188768

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 14281
/proc/meminfo: memFree=1523556/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=265272 CPUtime=162.25
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 69428 0 0 0 15156 1069 0 0 25 0 1 0 6180430 271638528 65143 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 66318 65143 394 719 0 65597 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 265272

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14283
/proc/meminfo: memFree=1448040/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=338192 CPUtime=222.23
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 88046 0 0 0 20791 1432 0 0 25 0 1 0 6180430 346308608 83761 1992294400 4194304 7136930 140735660757152 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 84548 83761 394 719 0 83827 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 338192

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14285
/proc/meminfo: memFree=1381824/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=410856 CPUtime=282.21
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 104527 0 0 0 26450 1771 0 0 25 0 1 0 6180430 420716544 100242 1992294400 4194304 7136930 140735660757152 18446744073709551615 4648604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 102714 100242 394 719 0 101993 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 410856

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14287
/proc/meminfo: memFree=1309788/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=482328 CPUtime=342.2
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 122745 0 0 0 32106 2114 0 0 25 0 1 0 6180430 493903872 118460 1992294400 4194304 7136930 140735660757152 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 120582 118460 394 719 0 119861 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 482328

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14289
/proc/meminfo: memFree=1246052/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=544036 CPUtime=402.18
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 138471 0 0 0 37798 2420 0 0 25 0 1 0 6180430 557092864 134186 1992294400 4194304 7136930 140735660757152 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 136009 134186 394 719 0 135288 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 544036

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14289
/proc/meminfo: memFree=1190996/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=598940 CPUtime=462.17
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 152490 0 0 0 43499 2718 0 0 25 0 1 0 6180430 613314560 148205 1992294400 4194304 7136930 140735660757152 18446744073709551615 4227218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 149735 148205 394 719 0 149014 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 598940

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14291
/proc/meminfo: memFree=1132964/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=654196 CPUtime=522.15
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 166639 0 0 0 49179 3036 0 0 25 0 1 0 6180430 669896704 162354 1992294400 4194304 7136930 140735660757152 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 163549 162354 394 719 0 162828 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 654196

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14293
/proc/meminfo: memFree=1063524/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=722024 CPUtime=582.14
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 183967 0 0 0 54850 3364 0 0 25 0 1 0 6180430 739352576 179682 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 180506 179682 394 719 0 179785 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 722024

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14295
/proc/meminfo: memFree=1004252/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=795812 CPUtime=642.13
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 198613 0 0 0 60538 3675 0 0 25 0 1 0 6180430 814911488 194328 1992294400 4194304 7136930 140735660757152 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 198953 194328 394 719 0 198232 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 795812

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14297
/proc/meminfo: memFree=940392/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=858324 CPUtime=702.11
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 214564 0 0 0 66222 3989 0 0 25 0 1 0 6180430 878923776 210279 1992294400 4194304 7136930 140735660757152 18446744073709551615 4704780 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 214581 210279 394 719 0 213860 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 858324

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14297
/proc/meminfo: memFree=878888/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=918260 CPUtime=762.1
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 229823 0 0 0 71923 4287 0 0 25 0 1 0 6180430 940298240 225538 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 229565 225538 394 719 0 228844 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 918260

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14299
/proc/meminfo: memFree=822964/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=973732 CPUtime=822.08
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 243983 0 0 0 77641 4567 0 0 25 0 1 0 6180430 997101568 239698 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 243433 239698 394 719 0 242712 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 973732

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14301
/proc/meminfo: memFree=769520/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=1025212 CPUtime=882.05
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 257079 0 0 0 83353 4852 0 0 25 0 1 0 6180430 1049817088 252794 1992294400 4194304 7136930 140735660757152 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 256303 252794 394 719 0 255582 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1025212

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14303
/proc/meminfo: memFree=724880/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=1068804 CPUtime=942.04
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 268208 0 0 0 89077 5127 0 0 25 0 1 0 6180430 1094455296 263923 1992294400 4194304 7136930 140735660757152 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 267201 263923 394 719 0 266480 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1068804

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14305
/proc/meminfo: memFree=676892/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=1116564 CPUtime=1002.03
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 280381 0 0 0 94810 5393 0 0 25 0 1 0 6180430 1143361536 276096 1992294400 4194304 7136930 140735660757152 18446744073709551615 6123181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 279141 276096 394 719 0 278420 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1116564

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14305
/proc/meminfo: memFree=644652/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=1147700 CPUtime=1062.01
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 288225 0 0 0 100569 5632 0 0 25 0 1 0 6180430 1175244800 283940 1992294400 4194304 7136930 140735660757152 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 286925 283940 394 719 0 286204 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1147700

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14307
/proc/meminfo: memFree=603484/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=1188288 CPUtime=1121.99
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 298501 0 0 0 106329 5870 0 0 25 0 1 0 6180430 1216806912 294216 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 297072 294216 394 719 0 296351 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1188288

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14309
/proc/meminfo: memFree=516436/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=1272580 CPUtime=1181.98
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 320102 0 0 0 111925 6273 0 0 25 0 1 0 6180430 1303121920 315817 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 318145 315817 394 719 0 317424 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1272580

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

[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14309
/proc/meminfo: memFree=516436/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=1272580 CPUtime=1189.97
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 320102 0 0 0 112654 6343 0 0 25 0 1 0 6180430 1303121920 315817 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 318145 315817 394 719 0 317424 0
Current children cumulated CPU time (s) 1189.97
Current children cumulated vsize (KiB) 1272580

[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14318
/proc/meminfo: memFree=515196/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=1272580 CPUtime=1196.37
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 320102 0 0 0 113246 6391 0 0 25 0 1 0 6180430 1303121920 315817 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 318145 315817 394 719 0 317424 0
Current children cumulated CPU time (s) 1196.37
Current children cumulated vsize (KiB) 1272580

[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14318
/proc/meminfo: memFree=516188/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=1271556 CPUtime=1199.57
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 320102 0 0 0 113549 6408 0 0 25 0 1 0 6180430 1302073344 315561 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 317889 315561 394 719 0 317168 0
Current children cumulated CPU time (s) 1199.57
Current children cumulated vsize (KiB) 1271556

[startup+1201.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14318
/proc/meminfo: memFree=517676/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=1270016 CPUtime=1201.16
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 320102 0 0 0 113701 6415 0 0 25 0 1 0 6180430 1300496384 315176 1992294400 4194304 7136930 140735660757152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 317504 315176 394 719 0 316783 0
Current children cumulated CPU time (s) 1201.16
Current children cumulated vsize (KiB) 1270016

[startup+1202.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14318
/proc/meminfo: memFree=523132/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=1262016 CPUtime=1201.98
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 320102 0 0 0 113780 6418 0 0 25 0 1 0 6180430 1292304384 313176 1992294400 4194304 7136930 140735660757152 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14276/statm: 315504 313176 394 719 0 314783 0
Current children cumulated CPU time (s) 1201.98
Current children cumulated vsize (KiB) 1262016

[startup+1202.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14318
/proc/meminfo: memFree=523132/2059040 swapFree=4192956/4192956
[pid=14276] ppid=14274 vsize=692584 CPUtime=1202.37
/proc/14276/stat : 14276 (pbscip.linux.x8) R 14274 14276 13474 0 -1 4202496 320108 0 0 0 113812 6425 0 0 18 0 1 0 6180430 709206016 170825 1992294400 4194304 7136930 140735660757152 18446744073709551615 6166364 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14276/statm: 173146 170760 400 719 0 172425 0
Current children cumulated CPU time (s) 1202.37
Current children cumulated vsize (KiB) 692584

Child status: 0
Real time (s): 1202.78
CPU time (s): 1202.45
CPU user time (s): 1138.13
CPU system time (s): 64.3212
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1272580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1138.13
system time used= 64.3212
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320114
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 13813

runsolver used 2.16067 second user time and 5.52416 second system time

The end

Launcher Data 

Begin job on node086 at 2010-06-16 02:41:07
IDJOB=2663639
IDBENCH=48012
IDSOLVER=1167
FILE ID=node086/2663639-1276648867
PBS_JOBID= 11172419
Free space on /tmp= 62576 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663639-1276648867/watcher-2663639-1276648867 -o /tmp/evaluation-result-2663639-1276648867/solver-2663639-1276648867 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663639-1276648867.opb -t 1800 -m 1800

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

MD5SUM BENCH= 0f5232be892543458d8a9fd6fc4fb56e
RANDOM SEED=1033010177

node086.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1783376 kB
Buffers:         32028 kB
Cached:         108284 kB
SwapCached:          0 kB
Active:         120532 kB
Inactive:        79148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1783376 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3308 kB
Writeback:           0 kB
AnonPages:       59404 kB
Mapped:          15396 kB
Slab:            54380 kB
PageTables:       3944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180668 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62572 MiB
End job on node086 at 2010-06-16 03:01:10