Trace number 2663537

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 776.378 776.633

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-B.opb
MD5SUM8b00ea770361f301179000d52beb4a25
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 benchmark20.3299
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 variables243
Total number of constraints19
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 constraints19
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)729
Sum of products size (including duplicates)1458
Number of different products729
Sum of products size1458

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-2663537-1276646664.opb>
0.00/0.01	c original problem has 972 variables (972 bin, 0 int, 0 impl, 0 cont) and 748 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.19/0.20	c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 70 chg coeffs, 0 upgd conss, 4356 impls, 0 clqs
0.19/0.21	c (round 2) 27 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 86 chg coeffs, 10 upgd conss, 6660 impls, 0 clqs
0.19/0.21	c (round 3) 45 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8676 impls, 0 clqs
0.19/0.22	c (round 4) 63 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 118 chg coeffs, 10 upgd conss, 10404 impls, 0 clqs
0.19/0.22	c (round 5) 81 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 134 chg coeffs, 10 upgd conss, 11844 impls, 0 clqs
0.19/0.23	c (round 6) 99 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 150 chg coeffs, 10 upgd conss, 12996 impls, 0 clqs
0.19/0.24	c (round 7) 117 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 166 chg coeffs, 10 upgd conss, 13860 impls, 0 clqs
0.19/0.24	c (round 8) 135 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 182 chg coeffs, 10 upgd conss, 14436 impls, 0 clqs
0.19/0.25	c (round 9) 153 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 198 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs
0.19/0.25	c (round 10) 171 del vars, 144 del conss, 0 chg bounds, 0 chg sides, 214 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs
0.39/0.42	c    (0.2s) probing: 238/801 (29.7%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.39/0.42	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.42	c presolving (11 rounds):
0.39/0.42	c  171 deleted vars, 144 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 214 changed coefficients
0.39/0.42	c  14760 implications, 0 cliques
0.39/0.42	c presolved problem has 801 variables (801 bin, 0 int, 0 impl, 0 cont) and 595 constraints
0.39/0.42	c     576 constraints of type <and>
0.39/0.42	c       9 constraints of type <linear>
0.39/0.42	c      10 constraints of type <logicor>
0.39/0.42	c transformed objective value is always integral (scale: 2)
0.39/0.42	c Presolving Time: 0.21
0.39/0.42	c - non default parameters ----------------------------------------------------------------------
0.39/0.42	c # SCIP version 1.2.1.2
0.39/0.42	c 
0.39/0.42	c # frequency for displaying node information lines
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42	c display/freq = 10000
0.39/0.42	c 
0.39/0.42	c # maximal time in seconds to run
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/time = 1800
0.39/0.42	c 
0.39/0.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/memory = 1620
0.39/0.42	c 
0.39/0.42	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c lp/solvefreq = -1
0.39/0.42	c 
0.39/0.42	c # should presolving try to simplify inequalities
0.39/0.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42	c constraints/linear/simplifyinequalities = TRUE
0.39/0.42	c 
0.39/0.42	c # should presolving try to simplify knapsacks
0.39/0.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c heuristics/undercover/freq = 0
0.39/0.42	c 
0.39/0.42	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c separating/rapidlearning/freq = 0
0.39/0.42	c 
0.39/0.42	c -----------------------------------------------------------------------------------------------
0.39/0.42	c start solving
0.39/0.43	c 
0.39/0.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.43	c   0.2s|     1 |     2 |     0 |     - |2551k|   0 |   - | 801 | 595 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
3.58/3.68	c   3.2s| 10000 |  8003 |     0 |   0.0 |8241k| 545 |   - | 801 | 806 |   0 |   0 |   0 |1428 |   0 | 1.000000e+00 |      --      |    Inf 
7.39/7.43	c   6.7s| 20000 | 15456 |     0 |   0.0 |  13M| 545 |   - | 801 |1033 |   0 |   0 |   0 |3381 |   0 | 1.000000e+00 |      --      |    Inf 
11.38/11.46	c  10.5s| 30000 | 22124 |     0 |   0.0 |  18M| 545 |   - | 801 | 954 |   0 |   0 |   0 |5835 |   0 | 1.000000e+00 |      --      |    Inf 
15.29/15.34	c  14.2s| 40000 | 29222 |     0 |   0.0 |  24M| 545 |   - | 801 |1032 |   0 |   0 |   0 |8081 |   0 | 1.000000e+00 |      --      |    Inf 
19.69/19.76	c  18.3s| 50000 | 35855 |     0 |   0.0 |  29M| 545 |   - | 801 |1378 |   0 |   0 |   0 |  10k|   0 | 1.000000e+00 |      --      |    Inf 
23.98/24.05	c  22.4s| 60000 | 42918 |     0 |   0.0 |  34M| 545 |   - | 801 |1144 |   0 |   0 |   0 |  13k|   0 | 1.000000e+00 |      --      |    Inf 
28.18/28.24	c  26.3s| 70000 | 50511 |     0 |   0.0 |  40M| 545 |   - | 801 |1167 |   0 |   0 |   0 |  14k|   0 | 1.000000e+00 |      --      |    Inf 
32.68/32.74	c  30.6s| 80000 | 57541 |     0 |   0.0 |  45M| 545 |   - | 801 |1125 |   0 |   0 |   0 |  17k|   0 | 1.000000e+00 |      --      |    Inf 
36.98/37.08	c  34.6s| 90000 | 64406 |     0 |   0.0 |  50M| 545 |   - | 801 |1211 |   0 |   0 |   0 |  20k|   0 | 1.000000e+00 |      --      |    Inf 
41.57/41.65	c  39.0s|100000 | 70590 |     0 |   0.0 |  55M| 545 |   - | 801 |1310 |   0 |   0 |   0 |  23k|   0 | 1.000000e+00 |      --      |    Inf 
46.47/46.51	c  43.5s|110000 | 75957 |     0 |   0.0 |  60M| 545 |   - | 801 |1038 |   0 |   0 |   0 |  26k|   0 | 1.000000e+00 |      --      |    Inf 
50.98/51.09	c  47.9s|120000 | 82881 |     0 |   0.0 |  65M| 545 |   - | 801 |1137 |   0 |   0 |   0 |  28k|   0 | 1.000000e+00 |      --      |    Inf 
55.68/55.72	c  52.2s|130000 | 89456 |     0 |   0.0 |  70M| 545 |   - | 801 |1153 |   0 |   0 |   0 |  31k|   0 | 1.000000e+00 |      --      |    Inf 
59.97/60.08	c  56.4s|140000 | 96329 |     0 |   0.0 |  75M| 545 |   - | 801 |1143 |   0 |   0 |   0 |  33k|   0 | 1.000000e+00 |      --      |    Inf 
64.47/64.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
64.47/64.54	c  60.6s|150000 |102968 |     0 |   0.0 |  80M| 545 |   - | 801 |1086 |   0 |   0 |   0 |  36k|   0 | 1.000000e+00 |      --      |    Inf 
69.07/69.12	c  64.9s|160000 |108896 |     0 |   0.0 |  85M| 545 |   - | 801 | 929 |   0 |   0 |   0 |  39k|   0 | 1.000000e+00 |      --      |    Inf 
69.47/69.54	o 9
69.47/69.54	c *65.2s|160763 | 67073 |     0 |   0.0 |  59M| 545 |   - | 801 | 934 |   0 |   0 |   0 |  39k|   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
73.57/73.61	c  69.1s|170000 | 72908 |     0 |   0.0 |  64M| 545 |   - | 801 |1294 |   0 |   0 |   0 |  42k|   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
78.56/78.60	c  73.8s|180000 | 79642 |     0 |   0.0 |  69M| 545 |   - | 801 |1609 |   0 |   0 |   0 |  44k|   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
83.76/83.80	c  78.8s|190000 | 85890 |     0 |   0.0 |  74M| 545 |   - | 801 |1656 |   0 |   0 |   0 |  47k|   0 | 1.000000e+00 | 9.000000e+00 | 800.00%
88.86/88.96	c  83.7s|200000 | 92576 |     0 |   0.0 |  79M| 545 |   - | 801 |1564 |   0 |   0 |   0 |  50k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
94.16/94.24	c  88.7s|210000 | 99190 |     0 |   0.0 |  84M| 545 |   - | 801 |1696 |   0 |   0 |   0 |  53k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
99.66/99.77	c  93.9s|220000 |105959 |     0 |   0.0 |  90M| 545 |   - | 801 |1467 |   0 |   0 |   0 |  56k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
104.85/104.91	c  98.8s|230000 |112988 |     0 |   0.0 |  95M| 545 |   - | 801 |1457 |   0 |   0 |   0 |  59k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
109.87/109.91	c   104s|240000 |119741 |     0 |   0.0 | 100M| 545 |   - | 801 |1334 |   0 |   0 |   0 |  62k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
114.95/115.00	c   108s|250000 |126398 |     0 |   0.0 | 106M| 545 |   - | 801 |1269 |   0 |   0 |   0 |  64k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
120.05/120.18	c   113s|260000 |133104 |     0 |   0.0 | 111M| 545 |   - | 801 |1344 |   0 |   0 |   0 |  67k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
125.05/125.12	c   118s|270000 |140195 |     0 |   0.0 | 117M| 545 |   - | 801 |1317 |   0 |   0 |   0 |  70k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
130.45/130.52	c   123s|280000 |146750 |     0 |   0.0 | 123M| 545 |   - | 801 |1371 |   0 |   0 |   0 |  73k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
135.75/135.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
135.75/135.82	c   128s|290000 |153442 |     0 |   0.0 | 128M| 545 |   - | 801 |1357 |   0 |   0 |   0 |  76k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
140.15/140.23	c   132s|300000 |160956 |     0 |   0.0 | 134M| 545 |   - | 801 |1342 |   0 |   0 |   0 |  78k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
145.75/145.89	c   138s|310000 |167345 |     0 |   0.0 | 139M| 545 |   - | 801 |1453 |   0 |   0 |   0 |  81k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
151.76/151.86	c   144s|320000 |173383 |     0 |   0.0 | 144M| 545 |   - | 801 |1382 |   0 |   0 |   0 |  84k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
158.35/158.43	c   150s|330000 |178506 |     0 |   0.0 | 149M| 545 |   - | 801 |1220 |   0 |   0 |   0 |  87k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
163.94/164.07	c   155s|340000 |184388 |     0 |   0.0 | 154M| 545 |   - | 801 |1272 |   0 |   0 |   0 |  91k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
169.44/169.51	c   160s|350000 |190355 |     0 |   0.0 | 159M| 545 |   - | 801 |1410 |   0 |   0 |   0 |  94k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
175.13/175.23	c   166s|360000 |196295 |     0 |   0.0 | 164M| 545 |   - | 801 |1224 |   0 |   0 |   0 |  97k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
180.83/180.95	c   171s|370000 |202349 |     0 |   0.0 | 169M| 545 |   - | 801 |1408 |   0 |   0 |   0 | 101k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
186.44/186.55	c   177s|380000 |208065 |     0 |   0.0 | 174M| 545 |   - | 801 |1208 |   0 |   0 |   0 | 104k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
191.63/191.77	c   182s|390000 |214200 |     0 |   0.0 | 179M| 545 |   - | 801 |1149 |   0 |   0 |   0 | 107k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
197.03/197.19	c   187s|400000 |220065 |     0 |   0.0 | 184M| 545 |   - | 801 |1131 |   0 |   0 |   0 | 111k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
202.52/202.68	c   192s|410000 |225946 |     0 |   0.0 | 190M| 545 |   - | 801 |1133 |   0 |   0 |   0 | 114k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
208.02/208.10	c   197s|420000 |231785 |     0 |   0.0 | 195M| 545 |   - | 801 |1248 |   0 |   0 |   0 | 118k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
214.22/214.34	c   203s|430000 |236931 |     0 |   0.0 | 200M| 545 |   - | 801 |1394 |   0 |   0 |   0 | 122k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
222.22/222.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
222.22/222.39	c   211s|440000 |240711 |     0 |   0.0 | 205M| 545 |   - | 801 |1360 |   0 |   0 |   0 | 126k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
226.92/227.07	c   215s|450000 |248111 |     0 |   0.0 | 211M| 545 |   - | 801 |1454 |   0 |   0 |   0 | 128k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
232.11/232.22	c   220s|460000 |254992 |     0 |   0.0 | 217M| 545 |   - | 801 |1541 |   0 |   0 |   0 | 131k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
237.53/237.63	c   225s|470000 |261678 |     0 |   0.0 | 222M| 545 |   - | 801 |1632 |   0 |   0 |   0 | 134k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
242.42/242.53	c   230s|480000 |269153 |     0 |   0.0 | 228M| 545 |   - | 801 |1504 |   0 |   0 |   0 | 136k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
247.32/247.49	c   235s|490000 |276486 |     0 |   0.0 | 234M| 545 |   - | 801 |1614 |   0 |   0 |   0 | 139k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
252.51/252.69	c   240s|500000 |283712 |     0 |   0.0 | 239M| 545 |   - | 801 |1401 |   0 |   0 |   0 | 141k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
258.32/258.41	c   245s|510000 |289963 |     0 |   0.0 | 245M| 545 |   - | 801 |1332 |   0 |   0 |   0 | 144k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
264.11/264.24	c   251s|520000 |296224 |     0 |   0.0 | 250M| 545 |   - | 801 |1389 |   0 |   0 |   0 | 148k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
269.81/269.96	c   256s|530000 |302804 |     0 |   0.0 | 256M| 545 |   - | 801 |1307 |   0 |   0 |   0 | 150k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
275.40/275.58	c   262s|540000 |309160 |     0 |   0.0 | 261M| 545 |   - | 801 |1274 |   0 |   0 |   0 | 154k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
280.70/280.89	c   267s|550000 |315737 |     0 |   0.0 | 267M| 545 |   - | 801 |1452 |   0 |   0 |   0 | 157k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
286.20/286.39	c   272s|560000 |322279 |     0 |   0.0 | 272M| 545 |   - | 801 |1331 |   0 |   0 |   0 | 160k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
292.00/292.18	c   277s|570000 |328321 |     0 |   0.0 | 278M| 545 |   - | 801 |1452 |   0 |   0 |   0 | 164k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
297.60/297.74	c   283s|580000 |334077 |     0 |   0.0 | 283M| 545 |   - | 801 |1453 |   0 |   0 |   0 | 167k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
302.70/302.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
302.70/302.89	c   288s|590000 |340635 |     0 |   0.0 | 289M| 545 |   - | 801 |1367 |   0 |   0 |   0 | 170k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
307.90/308.09	c   292s|600000 |347030 |     0 |   0.0 | 294M| 545 |   - | 801 |1510 |   0 |   0 |   0 | 173k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
313.30/313.43	c   298s|610000 |353305 |     0 |   0.0 | 300M| 545 |   - | 801 |1469 |   0 |   0 |   0 | 176k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
318.90/319.07	c   303s|620000 |359089 |     0 |   0.0 | 305M| 545 |   - | 801 |1576 |   0 |   0 |   0 | 180k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
325.29/325.46	c   309s|630000 |364564 |     0 |   0.0 | 311M| 545 |   - | 801 |1485 |   0 |   0 |   0 | 183k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
331.00/331.13	c   314s|640000 |369949 |     0 |   0.0 | 315M| 545 |   - | 801 |1532 |   0 |   0 |   0 | 186k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
335.49/335.60	c   319s|650000 |377214 |     0 |   0.0 | 321M| 545 |   - | 801 |1634 |   0 |   0 |   0 | 188k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
340.09/340.23	c   323s|660000 |384517 |     0 |   0.0 | 326M| 545 |   - | 801 |1773 |   0 |   0 |   0 | 191k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
345.09/345.21	c   328s|670000 |391471 |     0 |   0.0 | 331M| 545 |   - | 801 |1803 |   0 |   0 |   0 | 193k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
350.09/350.28	c   333s|680000 |398402 |     0 |   0.0 | 337M| 545 |   - | 801 |1937 |   0 |   0 |   0 | 196k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
355.48/355.64	c   338s|690000 |405094 |     0 |   0.0 | 342M| 545 |   - | 801 |1965 |   0 |   0 |   0 | 199k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
360.88/361.00	c   343s|700000 |411874 |     0 |   0.0 | 347M| 545 |   - | 801 |1987 |   0 |   0 |   0 | 202k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
366.58/366.72	c   348s|710000 |418349 |     0 |   0.0 | 353M| 545 |   - | 801 |2106 |   0 |   0 |   0 | 205k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
372.27/372.44	c   354s|720000 |425081 |     0 |   0.0 | 358M| 545 |   - | 801 |2149 |   0 |   0 |   0 | 209k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
378.08/378.26	c   359s|730000 |431629 |     0 |   0.0 | 363M| 545 |   - | 801 |2177 |   0 |   0 |   0 | 212k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
383.87/384.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
383.87/384.09	c   365s|740000 |438237 |     0 |   0.0 | 368M| 545 |   - | 801 |2189 |   0 |   0 |   0 | 215k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
389.87/390.00	c   370s|750000 |444792 |     0 |   0.0 | 373M| 545 |   - | 801 |2261 |   0 |   0 |   0 | 218k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
395.57/395.76	c   376s|760000 |451568 |     0 |   0.0 | 378M| 545 |   - | 801 |2246 |   0 |   0 |   0 | 221k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
401.07/401.24	c   381s|770000 |458727 |     0 |   0.0 | 384M| 545 |   - | 801 |2095 |   0 |   0 |   0 | 224k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
406.87/407.02	c   387s|780000 |465661 |     0 |   0.0 | 389M| 545 |   - | 801 |2192 |   0 |   0 |   0 | 227k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
412.56/412.78	c   392s|790000 |472539 |     0 |   0.0 | 394M| 545 |   - | 801 |2351 |   0 |   0 |   0 | 230k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
418.26/418.45	c   398s|800000 |479518 |     0 |   0.0 | 399M| 545 |   - | 801 |2590 |   0 |   0 |   0 | 233k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
423.66/423.85	c   403s|810000 |486613 |     0 |   0.0 | 405M| 545 |   - | 801 |2455 |   0 |   0 |   0 | 236k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
429.56/429.75	c   408s|820000 |493627 |     0 |   0.0 | 410M| 545 |   - | 801 |2345 |   0 |   0 |   0 | 239k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
435.16/435.39	c   414s|830000 |500687 |     0 |   0.0 | 415M| 545 |   - | 801 |2612 |   0 |   0 |   0 | 241k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
440.86/441.04	c   419s|840000 |507764 |     0 |   0.0 | 420M| 545 |   - | 801 |2744 |   0 |   0 |   0 | 244k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
446.65/446.89	c   425s|850000 |514669 |     0 |   0.0 | 425M| 545 |   - | 801 |2439 |   0 |   0 |   0 | 247k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
452.85/453.04	c   431s|860000 |521270 |     0 |   0.0 | 430M| 545 |   - | 801 |2543 |   0 |   0 |   0 | 250k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
459.15/459.35	c   437s|870000 |527852 |     0 |   0.0 | 435M| 545 |   - | 801 |2769 |   0 |   0 |   0 | 253k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
465.25/465.48	c   443s|880000 |534666 |     0 |   0.0 | 441M| 545 |   - | 801 |2737 |   0 |   0 |   0 | 256k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
471.55/471.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
471.55/471.75	c   449s|890000 |541441 |     0 |   0.0 | 446M| 545 |   - | 801 |2697 |   0 |   0 |   0 | 259k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
477.75/477.99	c   455s|900000 |548061 |     0 |   0.0 | 450M| 545 |   - | 801 |2490 |   0 |   0 |   0 | 263k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
483.85/484.06	c   461s|910000 |554865 |     0 |   0.0 | 455M| 545 |   - | 801 |2399 |   0 |   0 |   0 | 265k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
490.04/490.27	c   467s|920000 |561603 |     0 |   0.0 | 460M| 545 |   - | 801 |2397 |   0 |   0 |   0 | 269k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
496.03/496.22	c   472s|930000 |568567 |     0 |   0.0 | 466M| 545 |   - | 801 |2387 |   0 |   0 |   0 | 271k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
501.94/502.14	c   478s|940000 |575456 |     0 |   0.0 | 471M| 545 |   - | 801 |2267 |   0 |   0 |   0 | 274k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
507.84/508.09	c   484s|950000 |582312 |     0 |   0.0 | 475M| 545 |   - | 801 |2090 |   0 |   0 |   0 | 277k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
513.83/514.03	c   489s|960000 |589087 |     0 |   0.0 | 480M| 545 |   - | 801 |2063 |   0 |   0 |   0 | 280k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
519.83/520.02	c   495s|970000 |595777 |     0 |   0.0 | 485M| 545 |   - | 801 |2081 |   0 |   0 |   0 | 283k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
525.53/525.73	c   500s|980000 |602771 |     0 |   0.0 | 490M| 545 |   - | 801 |1980 |   0 |   0 |   0 | 286k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
530.92/531.17	c   506s|990000 |609874 |     0 |   0.0 | 495M| 545 |   - | 801 |1951 |   0 |   0 |   0 | 288k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
536.23/536.45	c   511s|  1000k|617065 |     0 |   0.0 | 501M| 545 |   - | 801 |1847 |   0 |   0 |   0 | 291k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
541.43/541.68	c   516s|  1010k|624242 |     0 |   0.0 | 506M| 545 |   - | 801 |1931 |   0 |   0 |   0 | 293k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
546.72/546.99	c   521s|  1020k|631166 |     0 |   0.0 | 511M| 545 |   - | 801 |2013 |   0 |   0 |   0 | 296k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
551.62/551.86	c   525s|  1030k|638231 |     0 |   0.0 | 516M| 545 |   - | 801 |1903 |   0 |   0 |   0 | 298k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
556.72/556.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
556.72/556.94	c   530s|  1040k|645106 |     0 |   0.0 | 521M| 545 |   - | 801 |1828 |   0 |   0 |   0 | 301k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
561.61/561.88	c   535s|  1050k|652227 |     0 |   0.0 | 527M| 545 |   - | 801 |2023 |   0 |   0 |   0 | 303k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
566.81/567.00	c   540s|  1060k|658891 |     0 |   0.0 | 532M| 545 |   - | 801 |2149 |   0 |   0 |   0 | 306k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
572.31/572.56	c   545s|  1070k|665465 |     0 |   0.0 | 537M| 545 |   - | 801 |1877 |   0 |   0 |   0 | 309k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
577.40/577.69	c   550s|  1080k|672055 |     0 |   0.0 | 542M| 545 |   - | 801 |2057 |   0 |   0 |   0 | 312k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
582.61/582.85	c   555s|  1090k|678962 |     0 |   0.0 | 548M| 545 |   - | 801 |1874 |   0 |   0 |   0 | 314k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
588.41/588.66	c   560s|  1100k|685149 |     0 |   0.0 | 553M| 545 |   - | 801 |2111 |   0 |   0 |   0 | 317k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
594.40/594.60	c   566s|  1110k|691385 |     0 |   0.0 | 558M| 545 |   - | 801 |1861 |   0 |   0 |   0 | 321k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
600.31/600.59	c   572s|  1120k|697620 |     0 |   0.0 | 563M| 545 |   - | 801 |2059 |   0 |   0 |   0 | 324k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
606.00/606.28	c   577s|  1130k|704172 |     0 |   0.0 | 568M| 545 |   - | 801 |2054 |   0 |   0 |   0 | 327k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
611.89/612.10	c   583s|  1140k|710497 |     0 |   0.0 | 573M| 545 |   - | 801 |2065 |   0 |   0 |   0 | 331k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
617.40/617.65	c   588s|  1150k|717146 |     0 |   0.0 | 578M| 545 |   - | 801 |2179 |   0 |   0 |   0 | 333k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
623.79/624.09	c   594s|  1160k|723236 |     0 |   0.0 | 584M| 545 |   - | 801 |2146 |   0 |   0 |   0 | 337k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
630.29/630.58	c   601s|  1170k|729273 |     0 |   0.0 | 589M| 545 |   - | 801 |2084 |   0 |   0 |   0 | 341k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
636.79/637.09	c   607s|  1180k|735395 |     0 |   0.0 | 594M| 545 |   - | 801 |2025 |   0 |   0 |   0 | 344k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
643.28/643.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
643.28/643.53	c   613s|  1190k|741565 |     0 |   0.0 | 599M| 545 |   - | 801 |1992 |   0 |   0 |   0 | 348k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
649.57/649.87	c   619s|  1200k|747953 |     0 |   0.0 | 604M| 545 |   - | 801 |1955 |   0 |   0 |   0 | 351k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
655.47/655.79	c   625s|  1210k|754561 |     0 |   0.0 | 610M| 545 |   - | 801 |1925 |   0 |   0 |   0 | 354k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
661.48/661.76	c   630s|  1220k|761191 |     0 |   0.0 | 615M| 545 |   - | 801 |1841 |   0 |   0 |   0 | 357k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
667.17/667.41	c   636s|  1230k|767890 |     0 |   0.0 | 620M| 545 |   - | 801 |2039 |   0 |   0 |   0 | 360k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
673.37/673.62	c   642s|  1240k|774382 |     0 |   0.0 | 625M| 545 |   - | 801 |1874 |   0 |   0 |   0 | 364k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
679.78/680.03	c   648s|  1250k|780741 |     0 |   0.0 | 630M| 545 |   - | 801 |1962 |   0 |   0 |   0 | 367k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
686.67/686.91	c   655s|  1260k|786799 |     0 |   0.0 | 635M| 545 |   - | 801 |2126 |   0 |   0 |   0 | 371k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
693.57/693.87	c   661s|  1270k|792711 |     0 |   0.0 | 640M| 545 |   - | 801 |2047 |   0 |   0 |   0 | 375k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
700.77/701.04	c   668s|  1280k|798612 |     0 |   0.0 | 644M| 545 |   - | 801 |1945 |   0 |   0 |   0 | 378k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
707.96/708.25	c   675s|  1290k|804228 |     0 |   0.0 | 649M| 545 |   - | 801 |2235 |   0 |   0 |   0 | 382k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
714.56/714.82	c   681s|  1300k|810130 |     0 |   0.0 | 654M| 545 |   - | 801 |1985 |   0 |   0 |   0 | 386k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
720.06/720.40	c   687s|  1310k|816680 |     0 |   0.0 | 659M| 545 |   - | 801 |2050 |   0 |   0 |   0 | 389k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
725.56/725.81	c   692s|  1320k|823625 |     0 |   0.0 | 664M| 545 |   - | 801 |1801 |   0 |   0 |   0 | 391k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
730.45/730.72	c   697s|  1330k|830498 |     0 |   0.0 | 669M| 545 |   - | 801 |1568 |   0 |   0 |   0 | 393k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
735.15/735.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
735.15/735.42	c   701s|  1340k|837245 |     0 |   0.0 | 674M| 545 |   - | 801 |1614 |   0 |   0 |   0 | 396k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
740.16/740.42	c   706s|  1350k|844166 |     0 |   0.0 | 680M| 545 |   - | 801 |1804 |   0 |   0 |   0 | 398k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
745.65/745.95	c   711s|  1360k|850992 |     0 |   0.0 | 685M| 545 |   - | 801 |1846 |   0 |   0 |   0 | 401k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
751.15/751.44	c   716s|  1370k|857642 |     0 |   0.0 | 690M| 545 |   - | 801 |2049 |   0 |   0 |   0 | 404k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
756.85/757.19	c   722s|  1380k|864194 |     0 |   0.0 | 696M| 545 |   - | 801 |2198 |   0 |   0 |   0 | 407k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
763.04/763.35	c   728s|  1390k|870557 |     0 |   0.0 | 701M| 545 |   - | 801 |2133 |   0 |   0 |   0 | 410k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
768.74/769.09	c   733s|  1400k|877153 |     0 |   0.0 | 706M| 545 |   - | 801 |2137 |   0 |   0 |   0 | 413k|   0 | 3.000000e+00 | 9.000000e+00 | 200.00%
776.25/776.54	o 3
776.25/776.54	c * 740s|  1404k|     0 |     0 |   0.0 |5267k| 545 |   - | 801 |2241 |   0 |   0 |   0 | 415k|   0 | 3.000000e+00 | 3.000000e+00 |   0.00%
776.25/776.55	c 
776.25/776.55	c SCIP Status        : problem is solved [optimal solution found]
776.25/776.55	c Solving Time (sec) : 740.41
776.25/776.55	c Solving Nodes      : 1404894
776.25/776.55	c Primal Bound       : +3.00000000000000e+00 (2 solutions)
776.25/776.55	c Dual Bound         : +3.00000000000000e+00
776.25/776.55	c Gap                : 0.00 %
776.25/776.55	s OPTIMUM FOUND
776.25/776.55	v -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x162 x161 x160 -x159 
776.25/776.55	v x158 -x157 x156 -x155 x154 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x153 x152 -x151 -x150 -x149 -x148 x147 -x146 
776.25/776.55	v x145 -x216 -x215 x214 -x213 -x212 x211 -x210 -x209 -x208 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 x136 -x207 -x206 -x205 
776.25/776.55	v -x204 x203 x202 -x201 -x200 x199 -x135 x134 x133 x132 -x131 -x130 x129 -x128 x127 -x198 -x197 -x196 -x195 -x194 -x193 -x192 
776.25/776.55	v x191 -x190 -x126 -x125 x124 x123 -x122 -x121 x120 -x119 x118 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x117 x116 
776.25/776.55	v x115 x114 -x113 -x112 -x111 -x110 x109 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x108 -x107 -x106 x105 -x104 
776.25/776.55	v x103 x102 -x101 x100 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 x91 -x90 -x89 
776.25/776.55	v -x88 -x87 -x86 x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 
776.25/776.55	v x62 -x61 x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 x37 
776.25/776.55	v -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 
776.25/776.55	v x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1 
776.25/776.55	c SCIP Status        : problem is solved [optimal solution found]
776.25/776.55	c Solving Time       :     740.41
776.25/776.55	c Original Problem   :
776.25/776.55	c   Problem name     : HOME/instance-2663537-1276646664.opb
776.25/776.55	c   Variables        : 972 (972 binary, 0 integer, 0 implicit integer, 0 continuous)
776.25/776.55	c   Constraints      : 748 initial, 748 maximal
776.25/776.55	c Presolved Problem  :
776.25/776.55	c   Problem name     : t_HOME/instance-2663537-1276646664.opb
776.25/776.55	c   Variables        : 801 (801 binary, 0 integer, 0 implicit integer, 0 continuous)
776.25/776.55	c   Constraints      : 595 initial, 2878 maximal
776.25/776.55	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
776.25/776.55	c   trivial          :       0.00          0          0          0          0          0          0          0          0
776.25/776.55	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
776.25/776.55	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
776.25/776.55	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
776.25/776.55	c   implics          :       0.00          0          0          0          0          0          0          0          0
776.25/776.55	c   probing          :       0.04          0          0          0          0          0          0          0          0
776.25/776.55	c   and              :       0.17         18        144          0          0          0        144          0        144
776.25/776.55	c   linear           :       0.00          1          8          0          0          0          0          0         70
776.25/776.55	c   logicor          :       0.00          0          0          0          0          0          0          0          0
776.25/776.55	c   root node        :          -          0          -          -          0          -          -          -          -
776.25/776.55	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
776.25/776.55	c   integral         :          0          0          0          0          0          0          0          0          0          0
776.25/776.55	c   and              :        576          0    3291512          0    1233489      29687    7626504          0          0          0
776.25/776.55	c   linear           :          9          0    3261825          0    1233489     240173    2422700          0          0          0
776.25/776.55	c   logicor          :         10+         0    1237558          0    1233260      10158     322307          0          0          0
776.25/776.55	c   countsols        :          0          0          0          0    1233491          0          0          0          0          0
776.25/776.55	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
776.25/776.55	c   integral         :       0.00       0.00       0.00       0.00       0.00
776.25/776.55	c   and              :     110.47       0.00      70.99       0.00      39.48
776.25/776.55	c   linear           :     263.38       0.00     262.37       0.00       1.01
776.25/776.55	c   logicor          :      52.88       0.00      49.70       0.00       3.18
776.25/776.55	c   countsols        :       0.48       0.00       0.00       0.00       0.48
776.25/776.55	c Propagators        :       Time      Calls    Cutoffs    DomReds
776.25/776.55	c   vbounds          :       1.59          2          0          0
776.25/776.55	c   rootredcost      :       1.62          0          0          0
776.25/776.55	c   pseudoobj        :       4.16    3291027          4      23286
776.25/776.55	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
776.25/776.55	c   propagation      :     205.78     280022     278430    5346420       92.1      27943       65.0          -
776.25/776.55	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
776.25/776.55	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
776.25/776.55	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
776.25/776.55	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
776.25/776.55	c   applied globally :          -          -          -     412292       46.2          -          -          -
776.25/776.55	c   applied locally  :          -          -          -       2731      100.0          -          -          -
776.25/776.55	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
776.25/776.55	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
776.25/776.55	c   redcost          :       0.00          0          0          0          0          0
776.25/776.55	c   impliedbounds    :       0.00          0          0          0          0          0
776.25/776.55	c   intobj           :       0.00          0          0          0          0          0
776.25/776.55	c   cgmip            :       0.00          0          0          0          0          0
776.25/776.55	c   gomory           :       0.00          0          0          0          0          0
776.25/776.55	c   strongcg         :       0.00          0          0          0          0          0
776.25/776.55	c   cmir             :       0.00          0          0          0          0          0
776.25/776.55	c   flowcover        :       0.00          0          0          0          0          0
776.25/776.55	c   clique           :       0.00          0          0          0          0          0
776.25/776.55	c   zerohalf         :       0.00          0          0          0          0          0
776.25/776.55	c   mcf              :       0.00          0          0          0          0          0
776.25/776.55	c   rapidlearning    :       0.00          0          0          0          0          0
776.25/776.55	c Pricers            :       Time      Calls       Vars
776.25/776.55	c   problem variables:       0.00          0          0
776.25/776.55	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
776.25/776.55	c   relpscost        :       0.00          0          0          0          0          0          0
776.25/776.55	c   pscost           :       0.00          0          0          0          0          0          0
776.25/776.55	c   inference        :     111.86    1233489          0          0          0          0    2466978
776.25/776.55	c   mostinf          :       0.00          0          0          0          0          0          0
776.25/776.55	c   leastinf         :       0.00          0          0          0          0          0          0
776.25/776.55	c   fullstrong       :       0.00          0          0          0          0          0          0
776.25/776.55	c   allfullstrong    :       0.00          0          0          0          0          0          0
776.25/776.55	c   random           :       0.00          0          0          0          0          0          0
776.25/776.55	c Primal Heuristics  :       Time      Calls      Found
776.25/776.55	c   LP solutions     :       0.00          -          0
776.25/776.55	c   pseudo solutions :       4.02          -          2
776.25/776.55	c   oneopt           :       1.03          0          0
776.25/776.55	c   trivial          :       0.00          2          0
776.25/776.55	c   simplerounding   :       0.00          0          0
776.25/776.55	c   zirounding       :       0.00          0          0
776.25/776.55	c   rounding         :       0.00          0          0
776.25/776.55	c   shifting         :       0.00          0          0
776.25/776.55	c   intshifting      :       0.00          0          0
776.25/776.55	c   twoopt           :       0.00          0          0
776.25/776.55	c   fixandinfer      :       0.00          0          0
776.25/776.55	c   feaspump         :       0.00          0          0
776.25/776.55	c   coefdiving       :       0.00          0          0
776.25/776.55	c   pscostdiving     :       0.00          0          0
776.25/776.55	c   fracdiving       :       0.00          0          0
776.25/776.55	c   veclendiving     :       0.00          0          0
776.25/776.55	c   intdiving        :       0.00          0          0
776.25/776.55	c   actconsdiving    :       0.00          0          0
776.25/776.55	c   objpscostdiving  :       0.00          0          0
776.25/776.55	c   rootsoldiving    :       0.00          0          0
776.25/776.55	c   linesearchdiving :       0.00          0          0
776.25/776.55	c   guideddiving     :       0.00          0          0
776.25/776.55	c   octane           :       0.00          0          0
776.25/776.55	c   rens             :       0.00          0          0
776.25/776.55	c   rins             :       0.00          0          0
776.25/776.55	c   localbranching   :       0.00          0          0
776.25/776.55	c   mutation         :       0.00          0          0
776.25/776.55	c   crossover        :       0.00          0          0
776.25/776.55	c   dins             :       0.00          0          0
776.25/776.55	c   undercover       :       0.00          0          0
776.25/776.55	c   nlp              :       0.73          0          0
776.25/776.55	c   trysol           :       0.71          0          0
776.25/776.55	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
776.25/776.55	c   primal LP        :       0.00          0          0       0.00          -
776.25/776.55	c   dual LP          :       0.00          0          0       0.00          -
776.25/776.55	c   lex dual LP      :       0.00          0          0       0.00          -
776.25/776.55	c   barrier LP       :       0.00          0          0       0.00          -
776.25/776.55	c   diving/probing LP:       0.00          0          0       0.00          -
776.25/776.55	c   strong branching :       0.00          0          0       0.00          -
776.25/776.55	c     (at root node) :          -          0          0       0.00          -
776.25/776.55	c   conflict analysis:       0.00          0          0       0.00          -
776.25/776.55	c B&B Tree           :
776.25/776.55	c   number of runs   :          1
776.25/776.55	c   nodes            :    1404894
776.25/776.55	c   nodes (total)    :    1404894
776.25/776.55	c   nodes left       :          0
776.25/776.55	c   max depth        :        545
776.25/776.55	c   max depth (total):        545
776.25/776.55	c   backtracks       :     120225 (8.6%)
776.25/776.55	c   delayed cutoffs  :     139722
776.25/776.55	c   repropagations   :     275033 (1443994 domain reductions, 108619 cutoffs)
776.25/776.55	c   avg switch length:       8.71
776.25/776.55	c   switching time   :     127.64
776.25/776.55	c Solution           :
776.25/776.55	c   Solutions found  :          2 (2 improvements)
776.25/776.55	c   First Solution   : +9.00000000000000e+00   (in run 1, after 160763 nodes, 65.14 seconds, depth 116, found by <relaxation>)
776.25/776.55	c   Primal Bound     : +3.00000000000000e+00   (in run 1, after 1404894 nodes, 736.50 seconds, depth 131, found by <relaxation>)
776.25/776.55	c   Dual Bound       : +3.00000000000000e+00
776.25/776.55	c   Gap              :       0.00 %
776.25/776.55	c   Root Dual Bound  : +1.00000000000000e+00
776.25/776.55	c   Root Iterations  :          0
776.34/776.63	c Time complete: 776.36.

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-2663537-1276646664/watcher-2663537-1276646664 -o /tmp/evaluation-result-2663537-1276646664/solver-2663537-1276646664 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663537-1276646664.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.12 1.51 1.70 3/106 4946
/proc/meminfo: memFree=1813884/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=6584 CPUtime=0
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 1030 0 0 0 0 0 0 0 25 0 1 0 40270142 6742016 952 1992294400 4194304 7136930 140737240903760 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4946/statm: 1646 962 254 719 0 925 0

[startup+0.045838 s]
/proc/loadavg: 1.12 1.51 1.70 3/106 4946
/proc/meminfo: memFree=1813884/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=12828 CPUtime=0.03
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 3118 0 0 0 2 1 0 0 25 0 1 0 40270142 13135872 2430 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 3207 2430 328 719 0 2486 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12828

[startup+0.100844 s]
/proc/loadavg: 1.12 1.51 1.70 3/106 4946
/proc/meminfo: memFree=1813884/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=12828 CPUtime=0.09
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 3118 0 0 0 5 4 0 0 25 0 1 0 40270142 13135872 2430 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 3207 2430 328 719 0 2486 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12828

[startup+0.300866 s]
/proc/loadavg: 1.12 1.51 1.70 3/106 4946
/proc/meminfo: memFree=1813884/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=13972 CPUtime=0.29
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 8812 0 0 0 14 15 0 0 25 0 1 0 40270142 14307328 2727 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 3493 2727 360 719 0 2772 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13972

[startup+0.70091 s]
/proc/loadavg: 1.12 1.51 1.70 3/106 4946
/proc/meminfo: memFree=1813884/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=15976 CPUtime=0.69
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 9369 0 0 0 47 22 0 0 25 0 1 0 40270142 16359424 3284 1992294400 4194304 7136930 140737240903760 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 3994 3284 394 719 0 3273 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15976

[startup+1.501 s]
/proc/loadavg: 1.12 1.51 1.70 2/107 4947
/proc/meminfo: memFree=1801352/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=18568 CPUtime=1.49
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 10000 0 0 0 122 27 0 0 25 0 1 0 40270142 19013632 3915 1992294400 4194304 7136930 140737240903760 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 4642 3915 394 719 0 3921 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18568

[startup+3.10118 s]
/proc/loadavg: 1.11 1.51 1.70 2/107 4947
/proc/meminfo: memFree=1798252/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=21640 CPUtime=3.09
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 10797 0 0 0 270 39 0 0 25 0 1 0 40270142 22159360 4712 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 5410 4712 394 719 0 4689 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21640

[startup+6.30153 s]
/proc/loadavg: 1.11 1.51 1.70 2/107 4947
/proc/meminfo: memFree=1791432/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=28184 CPUtime=6.28
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 12443 0 0 0 568 60 0 0 25 0 1 0 40270142 28860416 6358 1992294400 4194304 7136930 140737240903760 18446744073709551615 5918820 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 7046 6358 394 719 0 6325 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28184

[startup+12.7012 s]
/proc/loadavg: 1.09 1.49 1.69 2/107 4947
/proc/meminfo: memFree=1780148/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=38596 CPUtime=12.68
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 15082 0 0 0 1167 101 0 0 25 0 1 0 40270142 39522304 8997 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 9649 8997 394 719 0 8928 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38596

[startup+25.5017 s]
/proc/loadavg: 1.08 1.47 1.68 2/107 4949
/proc/meminfo: memFree=1760680/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=56964 CPUtime=25.48
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 19754 0 0 0 2372 176 0 0 25 0 1 0 40270142 58331136 13669 1992294400 4194304 7136930 140737240903760 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 14241 13669 394 719 0 13520 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56964

[startup+51.1015 s]
/proc/loadavg: 1.05 1.43 1.66 2/107 4949
/proc/meminfo: memFree=1727448/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=91568 CPUtime=51.08
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 28030 0 0 0 4787 321 0 0 25 0 1 0 40270142 93765632 21945 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 22892 21945 394 719 0 22171 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 91568

[startup+102.309 s]
/proc/loadavg: 1.02 1.36 1.62 2/107 4951
/proc/meminfo: memFree=1695952/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=121964 CPUtime=102.26
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 35728 0 0 0 9635 591 0 0 25 0 1 0 40270142 124891136 29643 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 30491 29643 394 719 0 29770 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 121964

[startup+162.302 s]
/proc/loadavg: 1.00 1.29 1.58 2/107 4951
/proc/meminfo: memFree=1632588/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=185580 CPUtime=162.24
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 51916 0 0 0 15353 871 0 0 25 0 1 0 40270142 190033920 45831 1992294400 4194304 7136930 140737240903760 18446744073709551615 4213868 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 46395 45831 394 719 0 45674 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 185580

[startup+222.302 s]
/proc/loadavg: 1.00 1.23 1.54 2/107 4953
/proc/meminfo: memFree=1570960/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=248576 CPUtime=222.22
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 66856 0 0 0 21079 1143 0 0 25 0 1 0 40270142 254541824 60771 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 62144 60771 394 719 0 61423 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 248576

[startup+282.3 s]
/proc/loadavg: 1.00 1.19 1.51 2/107 4955
/proc/meminfo: memFree=1501272/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=317124 CPUtime=282.2
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 84293 0 0 0 26788 1432 0 0 25 0 1 0 40270142 324734976 78208 1992294400 4194304 7136930 140737240903760 18446744073709551615 4976461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 79281 78208 394 719 0 78560 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 317124

[startup+342.301 s]
/proc/loadavg: 1.00 1.15 1.47 2/107 4957
/proc/meminfo: memFree=1432080/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=385012 CPUtime=342.18
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 101529 0 0 0 32497 1721 0 0 25 0 1 0 40270142 394252288 95444 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 96253 95444 394 719 0 95532 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 385012

[startup+402.3 s]
/proc/loadavg: 1.00 1.12 1.44 3/107 4959
/proc/meminfo: memFree=1377396/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=446460 CPUtime=402.17
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 115106 0 0 0 38225 1992 0 0 25 0 1 0 40270142 457175040 109021 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 111615 109021 394 719 0 110894 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 446460

[startup+462.3 s]
/proc/loadavg: 1.00 1.10 1.41 2/107 4959
/proc/meminfo: memFree=1320356/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=503008 CPUtime=462.15
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 129534 0 0 0 43966 2249 0 0 25 0 1 0 40270142 515080192 123449 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 125752 123449 394 719 0 125031 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 503008

[startup+522.301 s]
/proc/loadavg: 1.00 1.08 1.38 2/107 4961
/proc/meminfo: memFree=1271500/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=550376 CPUtime=522.13
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 141650 0 0 0 49719 2494 0 0 25 0 1 0 40270142 563585024 135565 1992294400 4194304 7136930 140737240903760 18446744073709551615 5955506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 137594 135565 394 719 0 136873 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 550376

[startup+582.3 s]
/proc/loadavg: 1.06 1.08 1.36 2/107 4966
/proc/meminfo: memFree=1209748/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=609324 CPUtime=582.1
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 156689 0 0 0 55436 2774 0 0 25 0 1 0 40270142 623947776 150604 1992294400 4194304 7136930 140737240903760 18446744073709551615 4407800 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 152331 150604 394 719 0 151610 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 609324

[startup+642.301 s]
/proc/loadavg: 1.02 1.06 1.33 2/107 4968
/proc/meminfo: memFree=1155064/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=663248 CPUtime=642.09
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 170395 0 0 0 61179 3030 0 0 25 0 1 0 40270142 679165952 164310 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 165812 164310 394 719 0 165091 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 663248

[startup+702.301 s]
/proc/loadavg: 1.00 1.05 1.31 2/107 4970
/proc/meminfo: memFree=1110052/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=707176 CPUtime=702.06
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 181591 0 0 0 66937 3269 0 0 25 0 1 0 40270142 724148224 175506 1992294400 4194304 7136930 140737240903760 18446744073709551615 5909168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 176794 175506 394 719 0 176073 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 707176

[startup+762.308 s]
/proc/loadavg: 1.00 1.04 1.29 2/107 4970
/proc/meminfo: memFree=1052020/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=763988 CPUtime=762.05
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 196096 0 0 0 72662 3543 0 0 25 0 1 0 40270142 782323712 190011 1992294400 4194304 7136930 140737240903760 18446744073709551615 5905992 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 190997 190011 394 719 0 190276 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 763988

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

[startup+767.901 s]
/proc/loadavg: 1.00 1.03 1.29 2/107 4970
/proc/meminfo: memFree=1049788/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=766156 CPUtime=767.64
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 196632 0 0 0 73196 3568 0 0 25 0 1 0 40270142 784543744 190547 1992294400 4194304 7136930 140737240903760 18446744073709551615 4780261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 191539 190547 394 719 0 190818 0
Current children cumulated CPU time (s) 767.64
Current children cumulated vsize (KiB) 766156

[startup+771.108 s]
/proc/loadavg: 1.00 1.03 1.29 2/107 4970
/proc/meminfo: memFree=1047432/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=768624 CPUtime=770.85
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 197230 0 0 0 73505 3580 0 0 25 0 1 0 40270142 787070976 191145 1992294400 4194304 7136930 140737240903760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 192156 191145 394 719 0 191435 0
Current children cumulated CPU time (s) 770.85
Current children cumulated vsize (KiB) 768624

[startup+774.301 s]
/proc/loadavg: 1.00 1.03 1.28 3/107 4970
/proc/meminfo: memFree=1046564/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=769400 CPUtime=774.05
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 197428 0 0 0 73820 3585 0 0 25 0 1 0 40270142 787865600 191343 1992294400 4194304 7136930 140737240903760 18446744073709551615 4212411 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 192350 191343 394 719 0 191629 0
Current children cumulated CPU time (s) 774.05
Current children cumulated vsize (KiB) 769400

[startup+775.901 s]
/proc/loadavg: 1.00 1.03 1.28 2/107 4972
/proc/meminfo: memFree=1046564/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=760400 CPUtime=775.64
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 197428 0 0 0 73979 3585 0 0 25 0 1 0 40270142 778649600 189093 1992294400 4194304 7136930 140737240903760 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 190100 189093 394 719 0 189379 0
Current children cumulated CPU time (s) 775.64
Current children cumulated vsize (KiB) 760400

[startup+776.301 s]
/proc/loadavg: 1.00 1.03 1.28 2/107 4972
/proc/meminfo: memFree=1046564/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=641688 CPUtime=776.04
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 197428 0 0 0 74018 3586 0 0 25 0 1 0 40270142 657088512 159415 1992294400 4194304 7136930 140737240903760 18446744073709551615 6360983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 160422 159322 394 719 0 159701 0
Current children cumulated CPU time (s) 776.04
Current children cumulated vsize (KiB) 641688

[startup+776.501 s]
/proc/loadavg: 1.00 1.03 1.28 2/107 4972
/proc/meminfo: memFree=1243104/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=571196 CPUtime=776.25
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 197428 0 0 0 74038 3587 0 0 25 0 1 0 40270142 584904704 141792 1992294400 4194304 7136930 140737240903760 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4946/statm: 142799 141792 394 719 0 142078 0
Current children cumulated CPU time (s) 776.25
Current children cumulated vsize (KiB) 571196

[startup+776.609 s]
/proc/loadavg: 1.00 1.03 1.28 2/107 4972
/proc/meminfo: memFree=1243104/2059040 swapFree=4140468/4192956
[pid=4946] ppid=4944 vsize=182956 CPUtime=776.34
/proc/4946/stat : 4946 (pbscip.linux.x8) R 4944 4946 3937 0 -1 4202496 197434 0 0 0 74043 3591 0 0 25 0 1 0 40270142 187346944 45119 1992294400 4194304 7136930 140737240903760 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4946/statm: 45649 45008 400 719 0 44928 0
Current children cumulated CPU time (s) 776.34
Current children cumulated vsize (KiB) 182956

Child status: 0
Real time (s): 776.633
CPU time (s): 776.378
CPU user time (s): 740.438
CPU system time (s): 35.9395
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 769400

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

runsolver used 1.3038 second user time and 3.66244 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-16 02:04:24
IDJOB=2663537
IDBENCH=47910
IDSOLVER=1167
FILE ID=node005/2663537-1276646664
PBS_JOBID= 11172399
Free space on /tmp= 62564 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=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-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-2663537-1276646664/watcher-2663537-1276646664 -o /tmp/evaluation-result-2663537-1276646664/solver-2663537-1276646664 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663537-1276646664.opb -t 1800 -m 1800

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

MD5SUM BENCH= 8b00ea770361f301179000d52beb4a25
RANDOM SEED=1256980216

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1814288 kB
Buffers:         65812 kB
Cached:          97612 kB
SwapCached:       6288 kB
Active:          93820 kB
Inactive:        83432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1814288 kB
SwapTotal:     4192956 kB
SwapFree:      4140468 kB
Dirty:            3472 kB
Writeback:           0 kB
AnonPages:       11772 kB
Mapped:          13116 kB
Slab:            45716 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183156 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= 62564 MiB
End job on node005 at 2010-06-16 02:17:21