Trace number 2664213

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 solverSAT (TO)3 1801.06 1801.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_1.opb
MD5SUMfb11ff2665aef67f0842a460a5ea3114
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark182.966
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 851
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3063
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2664213-1276617205.opb>
0.00/0.01	c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 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.01	c presolving:
0.00/0.01	c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c presolving (2 rounds):
0.00/0.02	c  0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  0 implications, 0 cliques
0.00/0.02	c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02	c       4 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c - non default parameters ----------------------------------------------------------------------
0.00/0.02	c # SCIP version 1.2.1.2
0.00/0.02	c 
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = 10000
0.00/0.02	c 
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = 1800
0.00/0.02	c 
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = 1620
0.00/0.02	c 
0.00/0.02	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02	c lp/solvefreq = -1
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify inequalities
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/linear/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify knapsacks
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02	c separating/rapidlearning/freq = 0
0.00/0.02	c 
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     2 |     0 |     - | 314k|   0 |   - |  94 |   4 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.65	o 165
0.59/0.65	c * 0.5s|  6970 |  5266 |     0 |   0.0 |1962k|  54 |   - |  94 |   6 |   0 |   0 |   0 |   7 |   0 | 0.000000e+00 | 1.650000e+02 |    Inf 
0.79/0.88	o 44
0.79/0.88	c * 0.7s|  8820 |  4782 |     0 |   0.0 |1905k|  54 |   - |  94 | 247 |   0 |   0 |   0 | 262 |   0 | 0.000000e+00 | 4.400000e+01 |    Inf 
1.09/1.13	c   1.0s| 10000 |  5109 |     0 |   0.0 |2394k|  54 |   - |  94 | 705 |   0 |   0 |   0 | 728 |   0 | 0.000000e+00 | 4.400000e+01 |    Inf 
1.09/1.17	o 39
1.09/1.17	c * 1.0s| 10181 |  5120 |     0 |   0.0 |2448k|  54 |   - |  94 | 776 |   0 |   0 |   0 | 802 |   0 | 0.000000e+00 | 3.900000e+01 |    Inf 
3.69/3.72	c   3.4s| 20000 |  9029 |     0 |   0.0 |5803k|  54 |   - |  94 |2385 |   0 |   0 |   0 |4048 |   0 | 0.000000e+00 | 3.900000e+01 |    Inf 
3.99/4.02	o 20
3.99/4.02	c * 3.7s| 21283 |  8919 |     0 |   0.0 |5803k|  54 |   - |  94 |2401 |   0 |   0 |   0 |4412 |   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
6.50/6.52	c   6.0s| 30000 | 11523 |     0 |   0.0 |8251k|  54 |   - |  94 |2612 |   0 |   0 |   0 |7582 |   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
10.90/10.91	c  10.2s| 40000 | 12373 |     0 |   0.0 |  11M|  54 |   - |  94 |4812 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
15.29/15.31	c  14.4s| 50000 | 14940 |     0 |   0.0 |  13M|  54 |   - |  94 |3842 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
18.29/18.36	c  17.3s| 60000 | 18799 |     0 |   0.0 |  15M|  54 |   - |  94 |2560 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
18.60/18.68	o 19
18.60/18.68	c *17.6s| 61403 | 19437 |     0 |   0.0 |  15M|  54 |   - |  94 |2680 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
19.19/19.20	o 17
19.19/19.20	c *18.1s| 63525 | 20239 |     0 |   0.0 |  16M|  54 |   - |  94 |2737 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 | 1.700000e+01 |    Inf 
20.89/20.95	c  19.7s| 70000 | 22912 |     0 |   0.0 |  17M|  54 |   - |  94 |3011 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 | 1.700000e+01 |    Inf 
23.98/24.09	c  22.7s| 80000 | 26282 |     0 |   0.0 |  19M|  54 |   - |  94 |3391 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 | 1.700000e+01 |    Inf 
27.58/27.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
27.58/27.61	c  26.0s| 90000 | 28992 |     0 |   0.0 |  21M|  54 |   - |  94 |3985 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 | 1.700000e+01 |    Inf 
31.69/31.78	c  29.9s|100000 | 31199 |     0 |   0.0 |  23M|  54 |   - |  94 |4464 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 | 1.700000e+01 |    Inf 
34.69/34.72	o 15
34.69/34.72	c *32.8s|106116 | 31290 |     0 |   0.0 |  23M|  54 |   - |  94 |4825 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 | 1.500000e+01 |    Inf 
36.78/36.84	c  34.8s|110000 | 31613 |     0 |   0.0 |  24M|  54 |   - |  94 |5111 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 | 1.500000e+01 |    Inf 
42.78/42.87	c  40.6s|120000 | 32173 |     0 |   0.0 |  26M|  54 |   - |  94 |6628 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 | 1.500000e+01 |    Inf 
45.67/45.74	o 14
45.67/45.74	c *43.4s|125779 | 34114 |     0 |   0.0 |  26M|  54 |   - |  94 |3521 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 | 1.400000e+01 |    Inf 
47.18/47.21	c  44.8s|130000 | 35518 |     0 |   0.0 |  27M|  54 |   - |  94 |3527 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 | 1.400000e+01 |    Inf 
51.58/51.67	c  49.0s|140000 | 37530 |     0 |   0.0 |  29M|  54 |   - |  94 |4238 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 | 1.400000e+01 |    Inf 
55.98/56.01	c  53.2s|150000 | 40128 |     0 |   0.0 |  31M|  54 |   - |  94 |4036 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 | 1.400000e+01 |    Inf 
59.77/59.82	o 7
59.77/59.82	c *56.9s|158372 | 41231 |     0 |   0.0 |  32M|  54 |   - |  94 |4961 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
60.49/60.53	c  57.6s|160000 | 41817 |     0 |   0.0 |  33M|  54 |   - |  94 |3623 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
63.37/63.46	c  60.3s|170000 | 45744 |     0 |   0.0 |  35M|  54 |   - |  94 |3936 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
66.57/66.63	c  63.3s|180000 | 49464 |     0 |   0.0 |  37M|  54 |   - |  94 |4385 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
70.27/70.33	c  66.8s|190000 | 52690 |     0 |   0.0 |  39M|  54 |   - |  94 |4991 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 | 7.000000e+00 |    Inf 
73.97/74.01	o 3
73.97/74.01	c *70.4s|198610 | 52702 |     0 |   0.0 |  40M|  54 |   - |  94 |5718 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
74.57/74.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
74.57/74.66	c  71.0s|200000 | 53075 |     0 |   0.0 |  40M|  54 |   - |  94 |5574 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
79.37/79.42	c  75.6s|210000 | 55328 |     0 |   0.0 |  43M|  54 |   - |  94 |6227 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
84.68/84.77	c  80.7s|220000 | 57549 |     0 |   0.0 |  45M|  54 |   - |  94 |6550 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
90.57/90.61	c  86.4s|230000 | 59139 |     0 |   0.0 |  47M|  54 |   - |  94 |7002 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
96.96/97.05	c  92.6s|240000 | 60869 |     0 |   0.0 |  50M|  54 |   - |  94 |7649 |   0 |   0 |   0 |  86k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
104.16/104.22	c  99.6s|250000 | 62257 |     0 |   0.0 |  52M|  54 |   - |  94 |7614 |   0 |   0 |   0 |  90k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
111.76/111.88	c   107s|260000 | 63371 |     0 |   0.0 |  55M|  54 |   - |  94 |8589 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
119.95/120.03	c   115s|270000 | 64869 |     0 |   0.0 |  57M|  54 |   - |  94 |8708 |   0 |   0 |   0 |  98k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
129.65/129.73	c   124s|280000 | 65299 |     0 |   0.0 |  59M|  54 |   - |  94 |9748 |   0 |   0 |   0 | 103k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
139.75/139.88	c   134s|290000 | 66253 |     0 |   0.0 |  62M|  54 |   - |  94 |  10k|   0 |   0 |   0 | 108k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
152.45/152.58	c   147s|300000 | 66265 |     0 |   0.0 |  64M|  54 |   - |  94 |  11k|   0 |   0 |   0 | 113k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
165.64/165.76	c   160s|310000 | 66434 |     0 |   0.0 |  65M|  54 |   - |  94 |  12k|   0 |   0 |   0 | 117k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
178.44/178.59	c   173s|320000 | 66445 |     0 |   0.0 |  67M|  54 |   - |  94 |  12k|   0 |   0 |   0 | 123k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
189.14/189.22	c   183s|330000 | 68174 |     0 |   0.0 |  66M|  54 |   - |  94 |6158 |   0 |   0 |   0 | 127k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
194.03/194.13	c   188s|340000 | 71756 |     0 |   0.0 |  68M|  54 |   - |  94 |4942 |   0 |   0 |   0 | 130k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
199.33/199.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
199.33/199.47	c   193s|350000 | 74227 |     0 |   0.0 |  71M|  54 |   - |  94 |5630 |   0 |   0 |   0 | 133k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
206.03/206.14	c   199s|360000 | 76074 |     0 |   0.0 |  74M|  54 |   - |  94 |6807 |   0 |   0 |   0 | 137k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
214.62/214.77	c   208s|370000 | 77066 |     0 |   0.0 |  77M|  54 |   - |  94 |7888 |   0 |   0 |   0 | 141k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
223.32/223.40	c   216s|380000 | 78265 |     0 |   0.0 |  79M|  54 |   - |  94 |9363 |   0 |   0 |   0 | 146k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
229.72/229.86	c   222s|390000 | 81822 |     0 |   0.0 |  82M|  54 |   - |  94 |7933 |   0 |   0 |   0 | 149k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
236.91/237.09	c   230s|400000 | 83832 |     0 |   0.0 |  85M|  54 |   - |  94 |8875 |   0 |   0 |   0 | 152k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
244.92/245.00	c   237s|410000 | 85370 |     0 |   0.0 |  87M|  54 |   - |  94 |9565 |   0 |   0 |   0 | 156k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
252.41/252.53	c   245s|420000 | 88037 |     0 |   0.0 |  89M|  54 |   - |  94 |8596 |   0 |   0 |   0 | 160k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
257.51/257.68	c   250s|430000 | 92283 |     0 |   0.0 |  91M|  54 |   - |  94 |9059 |   0 |   0 |   0 | 163k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
263.31/263.42	c   255s|440000 | 96007 |     0 |   0.0 |  93M|  54 |   - |  94 |9697 |   0 |   0 |   0 | 165k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
269.21/269.38	c   261s|450000 | 99461 |     0 |   0.0 |  95M|  54 |   - |  94 |9381 |   0 |   0 |   0 | 168k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
275.80/275.98	c   267s|460000 |102412 |     0 |   0.0 |  97M|  54 |   - |  94 |  10k|   0 |   0 |   0 | 172k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
282.51/282.60	c   274s|470000 |105470 |     0 |   0.0 |  98M|  54 |   - |  94 |  10k|   0 |   0 |   0 | 175k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
289.60/289.78	c   281s|480000 |108016 |     0 |   0.0 | 100M|  54 |   - |  94 |  10k|   0 |   0 |   0 | 178k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
297.30/297.41	c   288s|490000 |110288 |     0 |   0.0 | 101M|  54 |   - |  94 |  11k|   0 |   0 |   0 | 182k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
305.19/305.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
305.19/305.30	c   296s|500000 |112926 |     0 |   0.0 | 103M|  54 |   - |  94 |  10k|   0 |   0 |   0 | 186k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
313.30/313.46	c   304s|510000 |115091 |     0 |   0.0 | 104M|  54 |   - |  94 |  10k|   0 |   0 |   0 | 189k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
321.89/322.03	c   312s|520000 |116692 |     0 |   0.0 | 105M|  54 |   - |  94 |  11k|   0 |   0 |   0 | 193k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
330.89/331.02	c   321s|530000 |118439 |     0 |   0.0 | 107M|  54 |   - |  94 |  11k|   0 |   0 |   0 | 197k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
339.69/339.84	c   330s|540000 |120457 |     0 |   0.0 | 108M|  54 |   - |  94 |  11k|   0 |   0 |   0 | 201k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
348.28/348.49	c   338s|550000 |122597 |     0 |   0.0 | 109M|  54 |   - |  94 |  12k|   0 |   0 |   0 | 205k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
358.68/358.83	c   348s|560000 |123563 |     0 |   0.0 | 110M|  54 |   - |  94 |  12k|   0 |   0 |   0 | 209k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
369.49/369.63	c   359s|570000 |124517 |     0 |   0.0 | 111M|  54 |   - |  94 |  12k|   0 |   0 |   0 | 213k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
379.78/379.90	c   369s|580000 |125987 |     0 |   0.0 | 112M|  54 |   - |  94 |  12k|   0 |   0 |   0 | 217k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
389.97/390.14	c   379s|590000 |127646 |     0 |   0.0 | 114M|  54 |   - |  94 |  13k|   0 |   0 |   0 | 221k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
400.47/400.69	c   390s|600000 |129252 |     0 |   0.0 | 115M|  54 |   - |  94 |  13k|   0 |   0 |   0 | 225k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
411.76/411.92	c   401s|610000 |130889 |     0 |   0.0 | 116M|  54 |   - |  94 |  13k|   0 |   0 |   0 | 230k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
425.06/425.21	c   414s|620000 |131516 |     0 |   0.0 | 117M|  54 |   - |  94 |  14k|   0 |   0 |   0 | 234k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
438.56/438.74	c   427s|630000 |132394 |     0 |   0.0 | 118M|  54 |   - |  94 |  14k|   0 |   0 |   0 | 239k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
451.76/451.95	c   440s|640000 |133626 |     0 |   0.0 | 119M|  54 |   - |  94 |  15k|   0 |   0 |   0 | 243k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
464.64/464.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
464.64/464.80	c   453s|650000 |135022 |     0 |   0.0 | 120M|  54 |   - |  94 |  15k|   0 |   0 |   0 | 247k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
477.33/477.59	c   465s|660000 |136609 |     0 |   0.0 | 121M|  54 |   - |  94 |  16k|   0 |   0 |   0 | 252k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
494.62/494.80	c   482s|670000 |136894 |     0 |   0.0 | 122M|  54 |   - |  94 |  16k|   0 |   0 |   0 | 256k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
511.62/511.86	c   499s|680000 |137114 |     0 |   0.0 | 123M|  54 |   - |  94 |  17k|   0 |   0 |   0 | 261k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
528.52/528.72	c   516s|690000 |137773 |     0 |   0.0 | 124M|  54 |   - |  94 |  18k|   0 |   0 |   0 | 266k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
546.20/546.43	c   533s|700000 |138265 |     0 |   0.0 | 124M|  54 |   - |  94 |  18k|   0 |   0 |   0 | 271k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
564.90/565.17	c   552s|710000 |138030 |     0 |   0.0 | 125M|  54 |   - |  94 |  19k|   0 |   0 |   0 | 276k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
586.10/586.34	c   573s|720000 |138032 |     0 |   0.0 | 125M|  54 |   - |  94 |  20k|   0 |   0 |   0 | 281k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
607.39/607.65	c   594s|730000 |137663 |     0 |   0.0 | 126M|  54 |   - |  94 |  20k|   0 |   0 |   0 | 287k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
627.68/627.97	c   614s|740000 |137191 |     0 |   0.0 | 126M|  54 |   - |  94 |  21k|   0 |   0 |   0 | 292k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
641.09/641.31	c   627s|750000 |140026 |     0 |   0.0 | 123M|  54 |   - |  94 |7593 |   0 |   0 |   0 | 296k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
647.08/647.30	c   633s|760000 |143881 |     0 |   0.0 | 124M|  54 |   - |  94 |7150 |   0 |   0 |   0 | 299k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
653.48/653.76	c   639s|770000 |146945 |     0 |   0.0 | 126M|  54 |   - |  94 |7737 |   0 |   0 |   0 | 302k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
660.67/660.98	c   646s|780000 |149550 |     0 |   0.0 | 127M|  54 |   - |  94 |7798 |   0 |   0 |   0 | 305k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
668.48/668.75	c   654s|790000 |151872 |     0 |   0.0 | 129M|  54 |   - |  94 |8783 |   0 |   0 |   0 | 309k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
677.28/677.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
677.28/677.56	c   662s|800000 |153836 |     0 |   0.0 | 130M|  54 |   - |  94 |8968 |   0 |   0 |   0 | 312k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
686.67/686.99	c   672s|810000 |155697 |     0 |   0.0 | 132M|  54 |   - |  94 |  10k|   0 |   0 |   0 | 316k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
697.36/697.66	c   682s|820000 |157042 |     0 |   0.0 | 133M|  54 |   - |  94 |  10k|   0 |   0 |   0 | 320k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
708.96/709.22	c   694s|830000 |158552 |     0 |   0.0 | 135M|  54 |   - |  94 |  12k|   0 |   0 |   0 | 324k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
722.05/722.31	c   706s|840000 |159392 |     0 |   0.0 | 136M|  54 |   - |  94 |  12k|   0 |   0 |   0 | 328k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
736.76/737.05	c   721s|850000 |160154 |     0 |   0.0 | 137M|  54 |   - |  94 |  13k|   0 |   0 |   0 | 333k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
751.25/751.51	c   735s|860000 |161006 |     0 |   0.0 | 138M|  54 |   - |  94 |  14k|   0 |   0 |   0 | 337k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
764.84/765.18	c   749s|870000 |162093 |     0 |   0.0 | 139M|  54 |   - |  94 |  14k|   0 |   0 |   0 | 342k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
775.44/775.72	c   759s|880000 |165291 |     0 |   0.0 | 140M|  54 |   - |  94 |  13k|   0 |   0 |   0 | 345k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
784.64/784.91	c   768s|890000 |168991 |     0 |   0.0 | 142M|  54 |   - |  94 |  13k|   0 |   0 |   0 | 348k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
794.23/794.54	c   778s|900000 |171665 |     0 |   0.0 | 143M|  54 |   - |  94 |  13k|   0 |   0 |   0 | 351k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
804.53/804.80	c   788s|910000 |173682 |     0 |   0.0 | 145M|  54 |   - |  94 |  14k|   0 |   0 |   0 | 354k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
815.43/815.72	c   798s|920000 |175431 |     0 |   0.0 | 146M|  54 |   - |  94 |  14k|   0 |   0 |   0 | 358k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
826.83/827.10	c   810s|930000 |177041 |     0 |   0.0 | 148M|  54 |   - |  94 |  16k|   0 |   0 |   0 | 362k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
838.93/839.24	c   822s|940000 |178440 |     0 |   0.0 | 149M|  54 |   - |  94 |  16k|   0 |   0 |   0 | 366k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
852.41/852.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
852.41/852.73	c   835s|950000 |179538 |     0 |   0.0 | 150M|  54 |   - |  94 |  17k|   0 |   0 |   0 | 370k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
865.51/865.80	c   848s|960000 |180674 |     0 |   0.0 | 150M|  54 |   - |  94 |  16k|   0 |   0 |   0 | 375k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
873.60/873.92	c   856s|970000 |185405 |     0 |   0.0 | 151M|  54 |   - |  94 |  15k|   0 |   0 |   0 | 377k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
882.70/883.01	c   865s|980000 |189645 |     0 |   0.0 | 153M|  54 |   - |  94 |  15k|   0 |   0 |   0 | 380k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
892.10/892.42	c   874s|990000 |193395 |     0 |   0.0 | 154M|  54 |   - |  94 |  15k|   0 |   0 |   0 | 382k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
901.80/902.18	c   883s|  1000k|196962 |     0 |   0.0 | 156M|  54 |   - |  94 |  16k|   0 |   0 |   0 | 385k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
911.51/911.82	c   893s|  1010k|200438 |     0 |   0.0 | 157M|  54 |   - |  94 |  16k|   0 |   0 |   0 | 388k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
922.90/923.25	c   904s|  1020k|203365 |     0 |   0.0 | 158M|  54 |   - |  94 |  16k|   0 |   0 |   0 | 391k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
934.09/934.40	c   915s|  1030k|206215 |     0 |   0.0 | 160M|  54 |   - |  94 |  17k|   0 |   0 |   0 | 394k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
945.08/945.47	c   926s|  1040k|209108 |     0 |   0.0 | 161M|  54 |   - |  94 |  17k|   0 |   0 |   0 | 397k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
956.59/956.98	c   937s|  1050k|212010 |     0 |   0.0 | 162M|  54 |   - |  94 |  18k|   0 |   0 |   0 | 401k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
969.58/969.94	c   950s|  1060k|214464 |     0 |   0.0 | 163M|  54 |   - |  94 |  17k|   0 |   0 |   0 | 404k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
982.37/982.77	c   963s|  1070k|216601 |     0 |   0.0 | 164M|  54 |   - |  94 |  17k|   0 |   0 |   0 | 407k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
995.08/995.42	c   975s|  1080k|218743 |     0 |   0.0 | 165M|  54 |   - |  94 |  17k|   0 |   0 |   0 | 411k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1007.67/1008.04	c   988s|  1090k|220895 |     0 |   0.0 | 166M|  54 |   - |  94 |  18k|   0 |   0 |   0 | 415k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1020.76/1021.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1020.76/1021.18	c  1001s|  1100k|223277 |     0 |   0.0 | 167M|  54 |   - |  94 |  18k|   0 |   0 |   0 | 418k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1033.45/1033.89	c  1013s|  1110k|225597 |     0 |   0.0 | 168M|  54 |   - |  94 |  19k|   0 |   0 |   0 | 422k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1046.95/1047.36	c  1026s|  1120k|227910 |     0 |   0.0 | 169M|  54 |   - |  94 |  19k|   0 |   0 |   0 | 425k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1062.35/1062.73	c  1042s|  1130k|229936 |     0 |   0.0 | 170M|  54 |   - |  94 |  19k|   0 |   0 |   0 | 429k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1078.34/1078.75	c  1057s|  1140k|231165 |     0 |   0.0 | 171M|  54 |   - |  94 |  19k|   0 |   0 |   0 | 433k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1094.15/1094.52	c  1073s|  1150k|232450 |     0 |   0.0 | 171M|  54 |   - |  94 |  19k|   0 |   0 |   0 | 437k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1109.94/1110.32	c  1089s|  1160k|233968 |     0 |   0.0 | 172M|  54 |   - |  94 |  20k|   0 |   0 |   0 | 441k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1125.94/1126.32	c  1104s|  1170k|235592 |     0 |   0.0 | 173M|  54 |   - |  94 |  20k|   0 |   0 |   0 | 445k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1141.93/1142.31	c  1120s|  1180k|237188 |     0 |   0.0 | 174M|  54 |   - |  94 |  20k|   0 |   0 |   0 | 449k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1158.92/1159.35	c  1137s|  1190k|238982 |     0 |   0.0 | 175M|  54 |   - |  94 |  20k|   0 |   0 |   0 | 453k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1175.72/1176.15	c  1154s|  1200k|240517 |     0 |   0.0 | 176M|  54 |   - |  94 |  20k|   0 |   0 |   0 | 457k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1192.21/1192.67	c  1170s|  1210k|242379 |     0 |   0.0 | 177M|  54 |   - |  94 |  20k|   0 |   0 |   0 | 461k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1208.30/1208.77	c  1186s|  1220k|244276 |     0 |   0.0 | 178M|  54 |   - |  94 |  21k|   0 |   0 |   0 | 465k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1227.60/1228.07	c  1205s|  1230k|245554 |     0 |   0.0 | 178M|  54 |   - |  94 |  21k|   0 |   0 |   0 | 469k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1249.29/1249.78	c  1227s|  1240k|245907 |     0 |   0.0 | 179M|  54 |   - |  94 |  21k|   0 |   0 |   0 | 474k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1270.68/1271.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1270.68/1271.14	c  1248s|  1250k|246319 |     0 |   0.0 | 179M|  54 |   - |  94 |  21k|   0 |   0 |   0 | 479k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1291.18/1291.63	c  1268s|  1260k|247032 |     0 |   0.0 | 180M|  54 |   - |  94 |  21k|   0 |   0 |   0 | 483k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1312.07/1312.57	c  1289s|  1270k|247780 |     0 |   0.0 | 180M|  54 |   - |  94 |  21k|   0 |   0 |   0 | 487k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1332.17/1332.62	c  1309s|  1280k|248879 |     0 |   0.0 | 181M|  54 |   - |  94 |  22k|   0 |   0 |   0 | 492k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1352.96/1353.42	c  1329s|  1290k|249860 |     0 |   0.0 | 182M|  54 |   - |  94 |  22k|   0 |   0 |   0 | 496k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1372.66/1373.12	c  1349s|  1300k|251138 |     0 |   0.0 | 182M|  54 |   - |  94 |  23k|   0 |   0 |   0 | 501k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1393.05/1393.50	c  1369s|  1310k|252432 |     0 |   0.0 | 183M|  54 |   - |  94 |  23k|   0 |   0 |   0 | 505k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1413.44/1413.95	c  1389s|  1320k|253761 |     0 |   0.0 | 184M|  54 |   - |  94 |  23k|   0 |   0 |   0 | 509k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1432.64/1433.10	c  1408s|  1330k|255320 |     0 |   0.0 | 185M|  54 |   - |  94 |  24k|   0 |   0 |   0 | 513k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1452.13/1452.66	c  1427s|  1340k|256990 |     0 |   0.0 | 186M|  54 |   - |  94 |  24k|   0 |   0 |   0 | 518k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1473.63/1474.16	c  1449s|  1350k|258164 |     0 |   0.0 | 187M|  54 |   - |  94 |  25k|   0 |   0 |   0 | 522k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1495.53/1496.07	c  1470s|  1360k|259371 |     0 |   0.0 | 188M|  54 |   - |  94 |  26k|   0 |   0 |   0 | 527k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1522.31/1522.84	c  1497s|  1370k|259884 |     0 |   0.0 | 189M|  54 |   - |  94 |  26k|   0 |   0 |   0 | 532k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1549.41/1549.99	c  1524s|  1380k|259807 |     0 |   0.0 | 189M|  54 |   - |  94 |  25k|   0 |   0 |   0 | 537k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1576.09/1576.64	c  1550s|  1390k|259903 |     0 |   0.0 | 189M|  54 |   - |  94 |  25k|   0 |   0 |   0 | 542k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1602.48/1603.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1602.48/1603.04	c  1577s|  1400k|260412 |     0 |   0.0 | 190M|  54 |   - |  94 |  26k|   0 |   0 |   0 | 547k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1630.78/1631.36	c  1605s|  1410k|260917 |     0 |   0.0 | 191M|  54 |   - |  94 |  26k|   0 |   0 |   0 | 551k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1658.57/1659.19	c  1632s|  1420k|261603 |     0 |   0.0 | 191M|  54 |   - |  94 |  27k|   0 |   0 |   0 | 556k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1686.16/1686.75	c  1660s|  1430k|262295 |     0 |   0.0 | 192M|  54 |   - |  94 |  28k|   0 |   0 |   0 | 561k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1713.05/1713.68	c  1686s|  1440k|263286 |     0 |   0.0 | 193M|  54 |   - |  94 |  28k|   0 |   0 |   0 | 565k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1740.54/1741.11	c  1714s|  1450k|264026 |     0 |   0.0 | 194M|  54 |   - |  94 |  29k|   0 |   0 |   0 | 570k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1772.73/1773.31	c  1746s|  1460k|264406 |     0 |   0.0 | 194M|  54 |   - |  94 |  29k|   0 |   0 |   0 | 575k|   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
1800.03/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.62	c 
1800.03/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.62	c Solving Time (sec) : 1772.77
1800.03/1800.62	c Solving Nodes      : 1468041
1800.03/1800.62	c Primal Bound       : +3.00000000000000e+00 (10 solutions)
1800.03/1800.62	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.62	c Gap                : infinite
1800.03/1800.62	s SATISFIABLE
1800.03/1800.62	v x94 -x93 x92 x91 -x90 x89 -x88 -x87 -x86 x85 x84 -x83 -x82 x81 -x80 -x79 x78 -x77 -x76 -x75 x74 x73 -x72 x71 x70 -x69 -x68 -x67 
1800.03/1800.62	v x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 
1800.03/1800.62	v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 
1800.03/1800.62	v -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.03/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.62	c Solving Time       :    1772.77
1800.03/1800.62	c Original Problem   :
1800.03/1800.62	c   Problem name     : HOME/instance-2664213-1276617205.opb
1800.03/1800.62	c   Variables        : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62	c   Constraints      : 8 initial, 8 maximal
1800.03/1800.62	c Presolved Problem  :
1800.03/1800.62	c   Problem name     : t_HOME/instance-2664213-1276617205.opb
1800.03/1800.62	c   Variables        : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62	c   Constraints      : 4 initial, 29787 maximal
1800.03/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.62	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.62	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.62	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.62	c   linear           :       0.00          0          0          0          0          0          4          0          0
1800.03/1800.62	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.62	c   linear           :          4          0    2971596          0     949498     655233    4729830          0          0          0
1800.03/1800.62	c   logicor          :          0+         0     975824          0          0        306     464940          0          0          0
1800.03/1800.62	c   countsols        :          0          0          0          0     949501          0          0          0          0          0
1800.03/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.62	c   linear           :     159.32       0.00     158.40       0.00       0.92
1800.03/1800.62	c   logicor          :     843.27       0.00     843.27       0.00       0.00
1800.03/1800.62	c   countsols        :       0.37       0.00       0.00       0.00       0.37
1800.03/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.62	c   vbounds          :       1.67          2          0          0
1800.03/1800.62	c   rootredcost      :       1.34          0          0          0
1800.03/1800.62	c   pseudoobj        :      18.59    2992152      20741    1404550
1800.03/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.62	c   propagation      :      63.32     676280     574363    2849253       33.4         44       36.4          -
1800.03/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.62	c   applied globally :          -          -          -     549524       22.4          -          -          -
1800.03/1800.62	c   applied locally  :          -          -          -      30360       41.6          -          -          -
1800.03/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.62	c Pricers            :       Time      Calls       Vars
1800.03/1800.62	c   problem variables:       0.00          0          0
1800.03/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   inference        :       9.98     949491          0          0          0          0    1898982
1800.03/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.62	c   LP solutions     :       0.00          -          0
1800.03/1800.62	c   pseudo solutions :       0.03          -         10
1800.03/1800.62	c   oneopt           :       1.35          0          0
1800.03/1800.62	c   trivial          :       0.00          2          0
1800.03/1800.62	c   simplerounding   :       0.00          0          0
1800.03/1800.62	c   zirounding       :       0.00          0          0
1800.03/1800.62	c   rounding         :       0.00          0          0
1800.03/1800.62	c   shifting         :       0.00          0          0
1800.03/1800.62	c   intshifting      :       0.00          0          0
1800.03/1800.62	c   twoopt           :       0.00          0          0
1800.03/1800.62	c   fixandinfer      :       0.00          0          0
1800.03/1800.62	c   feaspump         :       0.00          0          0
1800.03/1800.62	c   coefdiving       :       0.00          0          0
1800.03/1800.62	c   pscostdiving     :       0.00          0          0
1800.03/1800.62	c   fracdiving       :       0.00          0          0
1800.03/1800.62	c   veclendiving     :       0.00          0          0
1800.03/1800.62	c   intdiving        :       0.00          0          0
1800.03/1800.62	c   actconsdiving    :       0.00          0          0
1800.03/1800.62	c   objpscostdiving  :       0.00          0          0
1800.03/1800.62	c   rootsoldiving    :       0.00          0          0
1800.03/1800.62	c   linesearchdiving :       0.00          0          0
1800.03/1800.62	c   guideddiving     :       0.00          0          0
1800.03/1800.62	c   octane           :       0.00          0          0
1800.03/1800.62	c   rens             :       0.00          0          0
1800.03/1800.62	c   rins             :       0.00          0          0
1800.03/1800.62	c   localbranching   :       0.00          0          0
1800.03/1800.62	c   mutation         :       0.00          0          0
1800.03/1800.62	c   crossover        :       0.00          0          0
1800.03/1800.62	c   dins             :       0.00          0          0
1800.03/1800.62	c   undercover       :       0.00          0          0
1800.03/1800.62	c   nlp              :       0.77          0          0
1800.03/1800.62	c   trysol           :       0.77          0          0
1800.03/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.62	c B&B Tree           :
1800.03/1800.62	c   number of runs   :          1
1800.03/1800.62	c   nodes            :    1468041
1800.03/1800.62	c   nodes (total)    :    1468041
1800.03/1800.62	c   nodes left       :     264444
1800.03/1800.62	c   max depth        :         54
1800.03/1800.62	c   max depth (total):         54
1800.03/1800.62	c   backtracks       :     184792 (12.6%)
1800.03/1800.62	c   delayed cutoffs  :     158524
1800.03/1800.62	c   repropagations   :     723220 (1578342 domain reductions, 157740 cutoffs)
1800.03/1800.62	c   avg switch length:       6.41
1800.03/1800.62	c   switching time   :     491.89
1800.03/1800.62	c Solution           :
1800.03/1800.62	c   Solutions found  :         10 (10 improvements)
1800.03/1800.62	c   First Solution   : +1.65000000000000e+02   (in run 1, after 6970 nodes, 0.53 seconds, depth 46, found by <relaxation>)
1800.03/1800.62	c   Primal Bound     : +3.00000000000000e+00   (in run 1, after 198610 nodes, 70.36 seconds, depth 28, found by <relaxation>)
1800.03/1800.62	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.62	c   Gap              :   infinite
1800.03/1800.62	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.62	c   Root Iterations  :          0
1801.03/1801.62	c Time complete: 1801.05.

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-2664213-1276617205/watcher-2664213-1276617205 -o /tmp/evaluation-result-2664213-1276617205/solver-2664213-1276617205 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664213-1276617205.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 12061
/proc/meminfo: memFree=1399040/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=6584 CPUtime=0
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 1077 0 0 0 0 0 0 0 25 0 1 0 3014305 6742016 999 1992294400 4194304 7136930 140735744473744 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12061/statm: 1646 1010 254 719 0 925 0

[startup+0.064748 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 12061
/proc/meminfo: memFree=1399040/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=11148 CPUtime=0.06
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 2745 0 0 0 4 2 0 0 18 0 1 0 3014305 11415552 2057 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 2787 2057 383 719 0 2066 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11148

[startup+0.101754 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 12061
/proc/meminfo: memFree=1399040/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=11308 CPUtime=0.09
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 2782 0 0 0 7 2 0 0 18 0 1 0 3014305 11579392 2094 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 2827 2094 383 719 0 2106 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11308

[startup+0.300775 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 12061
/proc/meminfo: memFree=1399040/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=12140 CPUtime=0.29
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 3013 0 0 0 24 5 0 0 18 0 1 0 3014305 12431360 2325 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 3035 2325 383 719 0 2314 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12140

[startup+0.70082 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 12061
/proc/meminfo: memFree=1399040/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=14132 CPUtime=0.69
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 3524 0 0 0 57 12 0 0 18 0 1 0 3014305 14471168 2836 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 3533 2836 383 719 0 2812 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14132

[startup+1.50091 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12062
/proc/meminfo: memFree=1388616/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=15608 CPUtime=1.49
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 3867 0 0 0 132 17 0 0 20 0 1 0 3014305 15982592 3179 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 3902 3179 383 719 0 3181 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15608

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12062
/proc/meminfo: memFree=1386632/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=18392 CPUtime=3.09
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 4553 0 0 0 281 28 0 0 25 0 1 0 3014305 18833408 3865 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 4598 3865 383 719 0 3877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18392

[startup+6.30145 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12062
/proc/meminfo: memFree=1382168/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=21892 CPUtime=6.29
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 5465 0 0 0 581 48 0 0 25 0 1 0 3014305 22417408 4777 1992294400 4194304 7136930 140735744473744 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 5473 4777 383 719 0 4752 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21892

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12062
/proc/meminfo: memFree=1376464/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=27492 CPUtime=12.69
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 6794 0 0 0 1192 77 0 0 25 0 1 0 3014305 28151808 6106 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 6873 6106 383 719 0 6152 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27492

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12064
/proc/meminfo: memFree=1365800/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=37104 CPUtime=25.48
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 9255 0 0 0 2400 148 0 0 25 0 1 0 3014305 37994496 8567 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 9276 8567 383 719 0 8555 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37104

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12064
/proc/meminfo: memFree=1354516/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=48504 CPUtime=51.08
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 12098 0 0 0 4849 259 0 0 25 0 1 0 3014305 49668096 11410 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 12126 11410 383 719 0 11405 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48504

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12066
/proc/meminfo: memFree=1328724/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=74052 CPUtime=102.27
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 18492 0 0 0 9774 453 0 0 25 0 1 0 3014305 75829248 17804 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 18513 17804 383 719 0 17792 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 74052

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12066
/proc/meminfo: memFree=1312480/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=92496 CPUtime=162.24
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 22511 0 0 0 15652 572 0 0 25 0 1 0 3014305 94715904 21823 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 23124 21823 383 719 0 22403 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 92496

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12068
/proc/meminfo: memFree=1295120/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=109788 CPUtime=222.22
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 26824 0 0 0 21515 707 0 0 25 0 1 0 3014305 112422912 26136 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 27447 26136 383 719 0 26726 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 109788

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12070
/proc/meminfo: memFree=1275776/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=128588 CPUtime=282.21
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 31652 0 0 0 27350 871 0 0 25 0 1 0 3014305 131674112 30964 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 32147 30964 383 719 0 31426 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 128588

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12072
/proc/meminfo: memFree=1265236/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=138664 CPUtime=342.19
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 34224 0 0 0 33219 1000 0 0 25 0 1 0 3014305 141991936 33536 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 34666 33536 383 719 0 33945 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 138664

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12074
/proc/meminfo: memFree=1257176/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=146404 CPUtime=402.17
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 36220 0 0 0 39111 1106 0 0 25 0 1 0 3014305 149917696 35532 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 36601 35532 383 719 0 35880 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 146404

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12083
/proc/meminfo: memFree=1251224/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=151616 CPUtime=462.14
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 37566 0 0 0 45019 1195 0 0 25 0 1 0 3014305 155254784 36878 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 37904 36878 383 719 0 37183 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 151616

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12085
/proc/meminfo: memFree=1249116/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=154068 CPUtime=522.12
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 38120 0 0 0 50940 1272 0 0 25 0 1 0 3014305 157765632 37432 1992294400 4194304 7136930 140735744473744 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 38517 37432 383 719 0 37796 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 154068

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12087
/proc/meminfo: memFree=1244900/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=159212 CPUtime=582.1
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 39157 0 0 0 56870 1340 0 0 25 0 1 0 3014305 163033088 38469 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 39803 38469 383 719 0 39082 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 159212

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12089
/proc/meminfo: memFree=1243164/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=160944 CPUtime=642.08
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 39621 0 0 0 62804 1404 0 0 25 0 1 0 3014305 164806656 38933 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 40236 38933 383 719 0 39515 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 160944

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12097
/proc/meminfo: memFree=1205468/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=201916 CPUtime=941.98
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 48997 0 0 0 92281 1917 0 0 25 0 1 0 3014305 206761984 48309 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 50479 48309 383 719 0 49758 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 201916

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 12099
/proc/meminfo: memFree=1199888/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=207084 CPUtime=1001.97
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 50340 0 0 0 98198 1999 0 0 25 0 1 0 3014305 212054016 49652 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 51771 49652 383 719 0 51050 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 207084

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 12099
/proc/meminfo: memFree=1195548/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=211160 CPUtime=1061.95
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 51404 0 0 0 104115 2080 0 0 25 0 1 0 3014305 216227840 50716 1992294400 4194304 7136930 140735744473744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 52790 50716 383 719 0 52069 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 211160

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12101
/proc/meminfo: memFree=1193316/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=213232 CPUtime=1121.93
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 51946 0 0 0 110043 2150 0 0 25 0 1 0 3014305 218349568 51258 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 53308 51258 383 719 0 52587 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 213232

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12103
/proc/meminfo: memFree=1190712/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=215824 CPUtime=1181.91
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 52621 0 0 0 115971 2220 0 0 25 0 1 0 3014305 221003776 51933 1992294400 4194304 7136930 140735744473744 18446744073709551615 4221380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 53956 51933 383 719 0 53235 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 215824

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12105
/proc/meminfo: memFree=1188480/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=217412 CPUtime=1241.89
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 53075 0 0 0 121909 2280 0 0 25 0 1 0 3014305 222629888 52387 1992294400 4194304 7136930 140735744473744 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 54353 52387 383 719 0 53632 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 217412

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12107
/proc/meminfo: memFree=1186372/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=219416 CPUtime=1301.88
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 53585 0 0 0 127852 2336 0 0 25 0 1 0 3014305 224681984 52897 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 54854 52897 383 719 0 54133 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 219416

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12107
/proc/meminfo: memFree=1184884/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=220840 CPUtime=1361.86
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 53958 0 0 0 133793 2393 0 0 25 0 1 0 3014305 226140160 53270 1992294400 4194304 7136930 140735744473744 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 55210 53270 383 719 0 54489 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 220840

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12109
/proc/meminfo: memFree=1182900/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=222524 CPUtime=1421.85
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 54415 0 0 0 139738 2447 0 0 25 0 1 0 3014305 227864576 53727 1992294400 4194304 7136930 140735744473744 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 55631 53727 383 719 0 54910 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 222524

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12111
/proc/meminfo: memFree=1178808/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=226204 CPUtime=1481.82
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 55400 0 0 0 145680 2502 0 0 25 0 1 0 3014305 231632896 54712 1992294400 4194304 7136930 140735744473744 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 56551 54712 383 719 0 55830 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 226204

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12113
/proc/meminfo: memFree=1176824/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=229044 CPUtime=1541.81
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 55919 0 0 0 151634 2547 0 0 25 0 1 0 3014305 234541056 55231 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 57261 55231 383 719 0 56540 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 229044

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12115
/proc/meminfo: memFree=1175708/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=230080 CPUtime=1601.79
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 56184 0 0 0 157587 2592 0 0 25 0 1 0 3014305 235601920 55496 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 57520 55496 383 719 0 56799 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 230080

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12115
/proc/meminfo: memFree=1172732/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=232648 CPUtime=1661.77
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 56896 0 0 0 163544 2633 0 0 25 0 1 0 3014305 238231552 56208 1992294400 4194304 7136930 140735744473744 18446744073709551615 5000091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 58162 56208 383 719 0 57441 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 232648

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12117
/proc/meminfo: memFree=1171244/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=234036 CPUtime=1721.75
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 57271 0 0 0 169498 2677 0 0 25 0 1 0 3014305 239652864 56583 1992294400 4194304 7136930 140735744473744 18446744073709551615 4409098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 58509 56583 383 719 0 57788 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 234036

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12119
/proc/meminfo: memFree=1170128/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=235376 CPUtime=1781.73
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 57478 0 0 0 175458 2715 0 0 25 0 1 0 3014305 241025024 56790 1992294400 4194304 7136930 140735744473744 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 58844 56790 383 719 0 58123 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 235376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12119
/proc/meminfo: memFree=1169756/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=235764 CPUtime=1800.03
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 57575 0 0 0 177276 2727 0 0 25 0 1 0 3014305 241422336 56887 1992294400 4194304 7136930 140735744473744 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12061/statm: 58941 56887 383 719 0 58220 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 235764

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12119
/proc/meminfo: memFree=1169756/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=226556 CPUtime=1800.82
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 57599 0 0 0 177355 2727 0 0 25 0 1 0 3014305 231993344 54589 1992294400 4194304 7136930 140735744473744 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12061/statm: 56639 54589 389 719 0 55918 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 226556

[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12119
/proc/meminfo: memFree=1169756/2059040 swapFree=4192956/4192956
[pid=12061] ppid=12059 vsize=184864 CPUtime=1801.03
/proc/12061/stat : 12061 (pbscip.linux.x8) R 12059 12061 11957 0 -1 4202496 57599 0 0 0 177375 2728 0 0 25 0 1 0 3014305 189300736 44166 1992294400 4194304 7136930 140735744473744 18446744073709551615 4383954 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12061/statm: 46216 44166 389 719 0 45495 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 184864

Child status: 0
Real time (s): 1801.63
CPU time (s): 1801.06
CPU user time (s): 1773.76
CPU system time (s): 27.2978
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 235844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.76
system time used= 27.2979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57608
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= 3031

runsolver used 2.88556 second user time and 8.61869 second system time

The end

Launcher Data 

Begin job on node085 at 2010-06-15 17:53:25
IDJOB=2664213
IDBENCH=2927
IDSOLVER=1167
FILE ID=node085/2664213-1276617205
PBS_JOBID= 11172305
Free space on /tmp= 121872 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.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-2664213-1276617205/watcher-2664213-1276617205 -o /tmp/evaluation-result-2664213-1276617205/solver-2664213-1276617205 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664213-1276617205.opb -t 1800 -m 1800

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

MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114
RANDOM SEED=1675277919

node085.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.221
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.44
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.221
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.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1399692 kB
Buffers:         79228 kB
Cached:         439188 kB
SwapCached:          0 kB
Active:         223664 kB
Inactive:       354156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1399692 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3228 kB
Writeback:           0 kB
AnonPages:       59404 kB
Mapped:          15376 kB
Slab:            59996 kB
PageTables:       3964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180548 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= 121868 MiB
End job on node085 at 2010-06-15 18:23:27