Trace number 2664148

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)26509 1802.19 1802.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUMf675f355e04fd5af6f49610fb88dbbd3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24973
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24674
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
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-2664148-1276399427.opb>
0.09/0.10	c original problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.09/0.10	c problem read
0.09/0.10	c presolving settings loaded
0.09/0.10	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.09/0.12	c presolving:
0.19/0.20	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.29/0.30	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 3360 chg sides, 5040 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.59/0.69	c    (0.6s) probing: 401/540 (74.3%) - 0 fixings, 0 aggregations, 1590 implications, 0 bound changes
0.59/0.69	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.69	c presolving (3 rounds):
0.59/0.69	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 3360 changed sides, 5040 changed coefficients
0.59/0.69	c  4440 implications, 210 cliques
0.59/0.69	c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.59/0.69	c    1734 constraints of type <knapsack>
0.59/0.69	c     210 constraints of type <setppc>
0.59/0.69	c    2532 constraints of type <logicor>
0.59/0.69	c transformed objective value is always integral (scale: 1)
0.59/0.69	c Presolving Time: 0.55
0.59/0.69	c - non default parameters ----------------------------------------------------------------------
0.59/0.69	c # SCIP version 1.2.1.2
0.59/0.69	c 
0.59/0.69	c # frequency for displaying node information lines
0.59/0.69	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.69	c display/freq = 10000
0.59/0.69	c 
0.59/0.69	c # maximal time in seconds to run
0.59/0.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69	c limits/time = 1799.9
0.59/0.69	c 
0.59/0.69	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69	c limits/memory = 1620
0.59/0.69	c 
0.59/0.69	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.69	c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69	c lp/solvefreq = -1
0.59/0.69	c 
0.59/0.69	c # should presolving try to simplify inequalities
0.59/0.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69	c constraints/linear/simplifyinequalities = TRUE
0.59/0.69	c 
0.59/0.69	c # should presolving try to simplify knapsacks
0.59/0.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.69	c 
0.59/0.69	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.69	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69	c separating/rapidlearning/freq = 0
0.59/0.69	c 
0.59/0.69	c -----------------------------------------------------------------------------------------------
0.59/0.69	c start solving
0.59/0.70	c 
0.69/0.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.69/0.70	c   0.6s|     1 |     2 |     0 |     - |6341k|   0 |   - | 540 |4476 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.39/1.45	o 32100
1.39/1.45	c * 1.3s|   757 |   658 |     0 |   0.0 |6828k|  66 |   - | 540 |4637 |   0 |   0 |   0 | 161 |   0 | 0.000000e+00 | 3.210000e+04 |    Inf 
6.39/6.40	o 31119
6.39/6.40	c * 6.1s|  5215 |  4747 |     0 |   0.0 |  10M|  66 |   - | 540 |4867 |   0 |   0 |   0 |1078 |   0 | 0.000000e+00 | 3.111900e+04 |    Inf 
9.49/9.56	o 30739
9.49/9.56	c * 9.2s|  7659 |  6846 |     0 |   0.0 |  12M|  66 |   - | 540 |5100 |   0 |   0 |   0 |2037 |   0 | 0.000000e+00 | 3.073900e+04 |    Inf 
10.18/10.23	o 30129
10.18/10.23	c * 9.9s|  8111 |  7201 |     0 |   0.0 |  12M|  66 |   - | 540 |5118 |   0 |   0 |   0 |2264 |   0 | 0.000000e+00 | 3.012900e+04 |    Inf 
12.89/12.92	o 29817
12.89/12.92	c *12.5s|  9850 |  8587 |     0 |   0.0 |  14M|  75 |   - | 540 |5277 |   0 |   0 |   0 |3280 |   0 | 0.000000e+00 | 2.981700e+04 |    Inf 
13.09/13.20	c  12.8s| 10000 |  8689 |     0 |   0.0 |  14M|  75 |   - | 540 |5298 |   0 |   0 |   0 |3399 |   0 | 0.000000e+00 | 2.981700e+04 |    Inf 
26.29/26.39	o 29691
26.29/26.39	c *25.7s| 19504 | 16906 |     0 |   0.0 |  22M|  77 |   - | 540 |4977 |   0 |   0 |   0 |6801 |   0 | 0.000000e+00 | 2.969100e+04 |    Inf 
27.08/27.17	c  26.4s| 20000 | 17363 |     0 |   0.0 |  23M|  77 |   - | 540 |4931 |   0 |   0 |   0 |6896 |   0 | 0.000000e+00 | 2.969100e+04 |    Inf 
31.28/31.30	o 29076
31.28/31.30	c *30.5s| 22820 | 19880 |     0 |   0.0 |  26M|  77 |   - | 540 |5028 |   0 |   0 |   0 |7754 |   0 | 0.000000e+00 | 2.907600e+04 |    Inf 
41.37/41.43	c  40.4s| 30000 | 26321 |     0 |   0.0 |  33M|  77 |   - | 540 |4993 |   0 |   0 |   0 |9640 |   0 | 0.000000e+00 | 2.907600e+04 |    Inf 
56.28/56.33	c  54.9s| 40000 | 34770 |     0 |   0.0 |  42M|  77 |   - | 540 |5258 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 | 2.907600e+04 |    Inf 
71.88/71.92	o 28870
71.88/71.92	c *70.2s| 49824 | 42629 |     0 |   0.0 |  52M|  77 |   - | 540 |5627 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 | 2.887000e+04 |    Inf 
72.07/72.18	c  70.5s| 50000 | 42779 |     0 |   0.0 |  52M|  77 |   - | 540 |5604 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 | 2.887000e+04 |    Inf 
77.37/77.41	o 27877
77.37/77.41	c *75.6s| 53151 | 45208 |     0 |   0.0 |  55M|  77 |   - | 540 |5629 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 | 2.787700e+04 |    Inf 
89.47/89.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
89.47/89.50	c  87.4s| 60000 | 50469 |     0 |   0.0 |  62M|  77 |   - | 540 |5803 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 | 2.787700e+04 |    Inf 
106.27/106.39	c   104s| 70000 | 58157 |     0 |   0.0 |  73M|  77 |   - | 540 |5713 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 | 2.787700e+04 |    Inf 
108.36/108.44	o 26977
108.36/108.44	c * 106s| 71184 | 59075 |     0 |   0.0 |  74M|  77 |   - | 540 |5742 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
122.36/122.49	c   120s| 80000 | 66070 |     0 |   0.0 |  82M|  77 |   - | 540 |5786 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
137.55/137.66	c   135s| 90000 | 74438 |     0 |   0.0 |  91M|  77 |   - | 540 |5841 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
150.76/150.90	c   148s|100000 | 82905 |     0 |   0.0 |  99M|  77 |   - | 540 |5719 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
164.75/164.83	c   161s|110000 | 91088 |     0 |   0.0 | 108M|  77 |   - | 540 |5899 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
179.35/179.44	c   175s|120000 | 98971 |     0 |   0.0 | 116M|  77 |   - | 540 |5860 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
193.84/193.91	c   190s|130000 |106892 |     0 |   0.0 | 125M|  77 |   - | 540 |5878 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
210.04/210.15	c   205s|140000 |115122 |     0 |   0.0 | 134M|  77 |   - | 540 |5587 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
224.43/224.51	c   220s|150000 |123553 |     0 |   0.0 | 144M|  77 |   - | 540 |5617 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
240.14/240.22	c   235s|160000 |131929 |     0 |   0.0 | 154M|  77 |   - | 540 |5627 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
256.14/256.27	c   251s|170000 |140422 |     0 |   0.0 | 164M|  77 |   - | 540 |5720 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
271.73/271.84	c   266s|180000 |148745 |     0 |   0.0 | 174M|  77 |   - | 540 |6115 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
288.72/288.84	c   283s|190000 |156487 |     0 |   0.0 | 183M|  77 |   - | 540 |6250 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
305.42/305.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
305.42/305.58	c   299s|200000 |164238 |     0 |   0.0 | 192M|  77 |   - | 540 |6071 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
322.51/322.68	c   316s|210000 |172231 |     0 |   0.0 | 202M|  77 |   - | 540 |5905 |   0 |   0 |   0 | 100k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
340.01/340.16	c   333s|220000 |180473 |     0 |   0.0 | 212M|  77 |   - | 540 |5765 |   0 |   0 |   0 | 104k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
355.71/355.88	c   348s|230000 |188761 |     0 |   0.0 | 223M|  77 |   - | 540 |5910 |   0 |   0 |   0 | 108k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
371.80/371.94	c   364s|240000 |196921 |     0 |   0.0 | 233M|  77 |   - | 540 |6058 |   0 |   0 |   0 | 112k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
388.11/388.20	c   380s|250000 |204911 |     0 |   0.0 | 243M|  77 |   - | 540 |6119 |   0 |   0 |   0 | 117k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
404.00/404.13	c   395s|260000 |213003 |     0 |   0.0 | 254M|  77 |   - | 540 |6089 |   0 |   0 |   0 | 122k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
421.79/421.94	c   413s|270000 |220943 |     0 |   0.0 | 265M|  77 |   - | 540 |6224 |   0 |   0 |   0 | 126k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
439.18/439.32	c   430s|280000 |228945 |     0 |   0.0 | 276M|  77 |   - | 540 |6112 |   0 |   0 |   0 | 131k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
456.29/456.42	c   447s|290000 |236894 |     0 |   0.0 | 286M|  77 |   - | 540 |6292 |   0 |   0 |   0 | 136k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
473.67/473.82	c   464s|300000 |244757 |     0 |   0.0 | 297M|  77 |   - | 540 |6209 |   0 |   0 |   0 | 141k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
490.78/490.96	c   481s|310000 |252653 |     0 |   0.0 | 308M|  77 |   - | 540 |6401 |   0 |   0 |   0 | 146k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
508.08/508.28	c   498s|320000 |260486 |     0 |   0.0 | 318M|  77 |   - | 540 |6171 |   0 |   0 |   0 | 152k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
526.06/526.26	c   515s|330000 |268224 |     0 |   0.0 | 330M|  77 |   - | 540 |6491 |   0 |   0 |   0 | 157k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
544.37/544.51	c   533s|340000 |275892 |     0 |   0.0 | 340M|  77 |   - | 540 |6649 |   0 |   0 |   0 | 163k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
562.86/563.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
562.86/563.05	c   551s|350000 |283234 |     0 |   0.0 | 350M|  77 |   - | 540 |6751 |   0 |   0 |   0 | 171k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
581.66/581.86	c   570s|360000 |290397 |     0 |   0.0 | 360M|  77 |   - | 540 |7372 |   0 |   0 |   0 | 179k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
596.95/597.18	c   585s|370000 |298133 |     0 |   0.0 | 368M|  77 |   - | 540 |6839 |   0 |   0 |   0 | 185k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
612.85/613.03	c   600s|380000 |305961 |     0 |   0.0 | 377M|  77 |   - | 540 |6837 |   0 |   0 |   0 | 191k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
627.54/627.76	c   615s|390000 |314206 |     0 |   0.0 | 386M|  77 |   - | 540 |6490 |   0 |   0 |   0 | 196k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
642.84/643.02	c   630s|400000 |322249 |     0 |   0.0 | 395M|  77 |   - | 540 |6632 |   0 |   0 |   0 | 202k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
658.53/658.73	c   645s|410000 |330193 |     0 |   0.0 | 404M|  77 |   - | 540 |6613 |   0 |   0 |   0 | 208k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
675.13/675.39	c   661s|420000 |338004 |     0 |   0.0 | 412M|  77 |   - | 540 |6889 |   0 |   0 |   0 | 214k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
692.22/692.40	c   678s|430000 |345575 |     0 |   0.0 | 421M|  77 |   - | 540 |6847 |   0 |   0 |   0 | 221k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
708.72/708.97	c   694s|440000 |353371 |     0 |   0.0 | 430M|  77 |   - | 540 |6936 |   0 |   0 |   0 | 228k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
724.51/724.72	c   710s|450000 |361040 |     0 |   0.0 | 438M|  77 |   - | 540 |6746 |   0 |   0 |   0 | 235k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
741.23/741.48	c   726s|460000 |368537 |     0 |   0.0 | 446M|  77 |   - | 540 |6623 |   0 |   0 |   0 | 242k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
757.31/757.50	c   742s|470000 |376339 |     0 |   0.0 | 455M|  77 |   - | 540 |6601 |   0 |   0 |   0 | 248k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
773.31/773.53	c   758s|480000 |384049 |     0 |   0.0 | 464M|  77 |   - | 540 |6731 |   0 |   0 |   0 | 255k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
789.51/789.71	c   773s|490000 |391970 |     0 |   0.0 | 472M|  77 |   - | 540 |6459 |   0 |   0 |   0 | 260k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
806.00/806.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
806.00/806.29	c   790s|500000 |399802 |     0 |   0.0 | 482M|  77 |   - | 540 |6741 |   0 |   0 |   0 | 266k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
822.50/822.70	c   806s|510000 |407394 |     0 |   0.0 | 490M|  77 |   - | 540 |6676 |   0 |   0 |   0 | 273k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
839.39/839.61	c   822s|520000 |415027 |     0 |   0.0 | 499M|  77 |   - | 540 |6923 |   0 |   0 |   0 | 280k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
856.89/857.10	c   839s|530000 |422697 |     0 |   0.0 | 508M|  77 |   - | 540 |6928 |   0 |   0 |   0 | 286k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
873.49/873.74	c   856s|540000 |430441 |     0 |   0.0 | 517M|  77 |   - | 540 |6903 |   0 |   0 |   0 | 292k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
890.28/890.52	c   872s|550000 |438363 |     0 |   0.0 | 527M|  77 |   - | 540 |6769 |   0 |   0 |   0 | 298k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
906.58/906.85	c   888s|560000 |446360 |     0 |   0.0 | 536M|  77 |   - | 540 |6616 |   0 |   0 |   0 | 304k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
924.07/924.34	c   905s|570000 |454587 |     0 |   0.0 | 545M|  77 |   - | 540 |6304 |   0 |   0 |   0 | 308k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
940.77/941.04	c   922s|580000 |463009 |     0 |   0.0 | 556M|  77 |   - | 540 |6367 |   0 |   0 |   0 | 312k|   0 | 0.000000e+00 | 2.697700e+04 |    Inf 
944.47/944.77	o 26509
944.47/944.77	c * 925s|582209 |464741 |     0 |   0.0 | 558M|  77 |   - | 540 |6550 |   0 |   0 |   0 | 313k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
957.46/957.79	c   938s|590000 |470961 |     0 |   0.0 | 566M|  77 |   - | 540 |6559 |   0 |   0 |   0 | 317k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
973.76/974.06	c   954s|600000 |479196 |     0 |   0.0 | 576M|  77 |   - | 540 |6494 |   0 |   0 |   0 | 321k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
990.15/990.40	c   970s|610000 |487494 |     0 |   0.0 | 587M|  77 |   - | 540 |6628 |   0 |   0 |   0 | 325k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1007.05/1007.33	c   987s|620000 |495695 |     0 |   0.0 | 597M|  77 |   - | 540 |6737 |   0 |   0 |   0 | 330k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1024.65/1024.95	c  1004s|630000 |503477 |     0 |   0.0 | 607M|  77 |   - | 540 |6700 |   0 |   0 |   0 | 337k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1042.34/1042.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1042.34/1042.66	c  1021s|640000 |511084 |     0 |   0.0 | 617M|  77 |   - | 540 |7195 |   0 |   0 |   0 | 343k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1059.94/1060.26	c  1039s|650000 |518745 |     0 |   0.0 | 626M|  77 |   - | 540 |6893 |   0 |   0 |   0 | 350k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1076.73/1077.09	c  1055s|660000 |526899 |     0 |   0.0 | 636M|  77 |   - | 540 |6274 |   0 |   0 |   0 | 354k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1093.93/1094.27	c  1072s|670000 |534794 |     0 |   0.0 | 646M|  77 |   - | 540 |6762 |   0 |   0 |   0 | 359k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1112.03/1112.37	c  1090s|680000 |542934 |     0 |   0.0 | 657M|  77 |   - | 540 |6935 |   0 |   0 |   0 | 363k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1130.22/1130.57	c  1108s|690000 |551238 |     0 |   0.0 | 668M|  77 |   - | 540 |6622 |   0 |   0 |   0 | 367k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1147.92/1148.27	c  1125s|700000 |559378 |     0 |   0.0 | 679M|  77 |   - | 540 |6652 |   0 |   0 |   0 | 372k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1166.12/1166.44	c  1143s|710000 |567363 |     0 |   0.0 | 689M|  77 |   - | 540 |6750 |   0 |   0 |   0 | 377k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1184.32/1184.67	c  1161s|720000 |575285 |     0 |   0.0 | 700M|  77 |   - | 540 |6853 |   0 |   0 |   0 | 382k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1202.11/1202.41	c  1178s|730000 |583567 |     0 |   0.0 | 711M|  77 |   - | 540 |6637 |   0 |   0 |   0 | 386k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1219.10/1219.46	c  1195s|740000 |591715 |     0 |   0.0 | 722M|  77 |   - | 540 |6519 |   0 |   0 |   0 | 390k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1237.10/1237.48	c  1212s|750000 |599548 |     0 |   0.0 | 732M|  77 |   - | 540 |6798 |   0 |   0 |   0 | 396k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1256.19/1256.55	c  1231s|760000 |607504 |     0 |   0.0 | 742M|  77 |   - | 540 |6918 |   0 |   0 |   0 | 401k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1274.19/1274.55	c  1249s|770000 |615514 |     0 |   0.0 | 753M|  77 |   - | 540 |6747 |   0 |   0 |   0 | 405k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1292.78/1293.14	c  1267s|780000 |623780 |     0 |   0.0 | 764M|  77 |   - | 540 |6685 |   0 |   0 |   0 | 410k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1311.38/1311.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1311.38/1311.75	c  1285s|790000 |630988 |     0 |   0.0 | 773M|  77 |   - | 540 |6819 |   0 |   0 |   0 | 417k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1329.88/1330.20	c  1303s|800000 |638297 |     0 |   0.0 | 782M|  77 |   - | 540 |7080 |   0 |   0 |   0 | 424k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1347.87/1348.23	c  1321s|810000 |645621 |     0 |   0.0 | 791M|  77 |   - | 540 |7097 |   0 |   0 |   0 | 432k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1366.37/1366.75	c  1339s|820000 |652949 |     0 |   0.0 | 801M|  77 |   - | 540 |7629 |   0 |   0 |   0 | 439k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1385.57/1386.00	c  1358s|830000 |660165 |     0 |   0.0 | 811M|  77 |   - | 540 |6779 |   0 |   0 |   0 | 446k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1404.36/1404.73	c  1376s|840000 |667449 |     0 |   0.0 | 820M|  77 |   - | 540 |6836 |   0 |   0 |   0 | 453k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1422.76/1423.13	c  1395s|850000 |674411 |     0 |   0.0 | 829M|  77 |   - | 540 |6989 |   0 |   0 |   0 | 462k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1441.05/1441.45	c  1413s|860000 |681734 |     0 |   0.0 | 837M|  77 |   - | 540 |7147 |   0 |   0 |   0 | 470k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1460.55/1460.95	c  1432s|870000 |689163 |     0 |   0.0 | 847M|  77 |   - | 540 |7467 |   0 |   0 |   0 | 477k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1479.54/1479.94	c  1450s|880000 |696368 |     0 |   0.0 | 857M|  77 |   - | 540 |7161 |   0 |   0 |   0 | 485k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1498.44/1498.86	c  1469s|890000 |703823 |     0 |   0.0 | 867M|  77 |   - | 540 |7312 |   0 |   0 |   0 | 492k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1517.73/1518.18	c  1488s|900000 |710997 |     0 |   0.0 | 876M|  77 |   - | 540 |7654 |   0 |   0 |   0 | 500k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1536.63/1537.09	c  1506s|910000 |718166 |     0 |   0.0 | 884M|  77 |   - | 540 |7117 |   0 |   0 |   0 | 508k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1555.82/1556.28	c  1525s|920000 |725439 |     0 |   0.0 | 894M|  77 |   - | 540 |6967 |   0 |   0 |   0 | 515k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1574.52/1574.97	c  1544s|930000 |732787 |     0 |   0.0 | 904M|  77 |   - | 540 |7460 |   0 |   0 |   0 | 523k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1593.42/1593.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1593.42/1593.85	c  1562s|940000 |740238 |     0 |   0.0 | 913M|  77 |   - | 540 |7416 |   0 |   0 |   0 | 530k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1612.31/1612.74	c  1581s|950000 |747571 |     0 |   0.0 | 922M|  77 |   - | 540 |7402 |   0 |   0 |   0 | 537k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1632.31/1632.77	c  1600s|960000 |754615 |     0 |   0.0 | 932M|  77 |   - | 540 |7184 |   0 |   0 |   0 | 545k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1651.00/1651.45	c  1619s|970000 |761890 |     0 |   0.0 | 941M|  77 |   - | 540 |7366 |   0 |   0 |   0 | 553k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1669.90/1670.36	c  1637s|980000 |769126 |     0 |   0.0 | 950M|  77 |   - | 540 |7231 |   0 |   0 |   0 | 561k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1688.49/1688.95	c  1656s|990000 |776234 |     0 |   0.0 | 960M|  77 |   - | 540 |7240 |   0 |   0 |   0 | 569k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1707.59/1708.06	c  1674s|  1000k|783403 |     0 |   0.0 | 969M|  77 |   - | 540 |7199 |   0 |   0 |   0 | 577k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1726.88/1727.37	c  1693s|  1010k|790737 |     0 |   0.0 | 979M|  77 |   - | 540 |7601 |   0 |   0 |   0 | 584k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1746.58/1747.09	c  1713s|  1020k|797750 |     0 |   0.0 | 988M|  77 |   - | 540 |7266 |   0 |   0 |   0 | 593k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1766.78/1767.21	c  1732s|  1030k|804700 |     0 |   0.0 | 998M|  77 |   - | 540 |7424 |   0 |   0 |   0 | 601k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1785.27/1785.71	c  1751s|  1040k|812434 |     0 |   0.0 |1008M|  77 |   - | 540 |7473 |   0 |   0 |   0 | 607k|   0 | 0.000000e+00 | 2.650900e+04 |    Inf 
1800.07/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.50	c 
1800.07/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.50	c Solving Time (sec) : 1765.08
1800.07/1800.50	c Solving Nodes      : 1047809
1800.07/1800.50	c Primal Bound       : +2.65090000000000e+04 (11 solutions)
1800.07/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.07/1800.50	c Gap                : infinite
1800.07/1800.51	s SATISFIABLE
1800.07/1800.51	v -x325 x289 x253 -x217 -x181 -x145 x109 x73 x37 -x1 x360 -x324 x288 x252 x216 -x180 -x144 -x108 x72 -x36 x353 -x317 -x281 -x245 
1800.07/1800.51	v x209 x173 x137 -x101 -x65 x29 x346 x310 -x274 -x238 -x202 x166 x130 x94 -x58 -x22 -x339 x303 x267 x231 -x195 -x159 -x123 x87 
1800.07/1800.51	v -x51 x15 -x332 -x296 -x260 x224 x188 x152 -x116 -x80 x44 x8 -x359 -x323 -x287 -x251 -x215 x179 -x143 -x107 -x71 -x35 -x358 x322 
1800.07/1800.51	v -x286 -x250 -x214 -x178 -x142 -x106 -x70 -x34 -x357 -x321 -x285 -x249 -x213 -x177 -x141 x105 -x69 -x33 -x356 -x320 -x284 -x248 
1800.07/1800.51	v -x212 -x176 -x140 -x104 -x68 x32 -x355 -x319 -x283 -x247 -x211 -x175 x139 -x103 -x67 -x31 -x354 -x318 -x282 -x246 -x210 
1800.07/1800.51	v -x174 -x138 -x102 x66 -x30 -x352 -x316 -x280 -x244 -x208 -x172 -x136 x100 -x64 -x28 -x351 -x315 x279 -x243 -x207 -x171 -x135 
1800.07/1800.51	v -x99 -x63 -x27 -x350 -x314 -x278 x242 -x206 -x170 -x134 -x98 -x62 -x26 -x349 x313 -x277 -x241 -x205 -x169 -x133 -x97 -x61 -x25 
1800.07/1800.51	v -x348 -x312 -x276 x240 -x204 -x168 -x132 -x96 -x60 -x24 -x347 -x311 -x275 -x239 x203 -x167 -x131 -x95 -x59 -x23 -x345 -x309 
1800.07/1800.51	v -x273 -x237 -x201 -x165 -x129 -x93 -x57 x21 -x344 -x308 -x272 -x236 -x200 -x164 -x128 -x92 x56 -x20 -x343 -x307 x271 -x235 -x199 
1800.07/1800.51	v -x163 -x127 -x91 -x55 -x19 -x342 -x306 -x270 -x234 x198 -x162 -x126 -x90 -x54 -x18 x341 -x305 -x269 -x233 -x197 -x161 -x125 
1800.07/1800.51	v -x89 -x53 -x17 -x340 -x304 -x268 -x232 -x196 -x160 x124 -x88 -x52 -x16 -x338 -x302 -x266 -x230 -x194 x158 -x122 -x86 -x50 
1800.07/1800.51	v -x14 -x337 -x301 -x265 -x229 -x193 -x157 -x121 -x85 x49 -x13 -x336 -x300 x264 -x228 -x192 -x156 -x120 -x84 -x48 -x12 -x335 -x299 
1800.07/1800.51	v -x263 -x227 -x191 -x155 x119 -x83 -x47 -x11 x334 -x298 -x262 -x226 -x190 -x154 -x118 -x82 -x46 -x10 -x333 x297 -x261 -x225 
1800.07/1800.51	v -x189 -x153 -x117 -x81 -x45 -x9 -x331 -x295 -x259 -x223 -x187 -x151 -x115 x79 -x43 -x7 x330 -x294 -x258 -x222 -x186 -x150 
1800.07/1800.51	v -x114 -x78 -x42 -x6 -x329 -x293 -x257 -x221 -x185 -x149 -x113 -x77 -x41 x5 -x328 -x292 -x256 -x220 -x184 x148 -x112 -x76 -x40 
1800.07/1800.51	v -x4 -x327 -x291 -x255 x219 -x183 -x147 -x111 -x75 -x39 -x3 -x326 -x290 -x254 -x218 x182 -x146 -x110 -x74 -x38 -x2 -x540 x539 
1800.07/1800.51	v x538 x537 -x536 x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 x521 x520 -x519 -x518 -x517 
1800.07/1800.51	v -x516 -x515 x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 x505 -x504 -x503 x502 -x501 -x500 x499 -x498 -x497 -x496 -x495 
1800.07/1800.51	v -x494 -x493 -x492 x491 -x490 -x489 -x488 x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 x475 -x474 
1800.07/1800.51	v -x473 -x472 -x471 -x470 x469 x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 x453 -x452 
1800.07/1800.51	v -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 x434 x433 -x432 x431 x430 
1800.07/1800.51	v -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 
1800.07/1800.51	v -x408 x407 -x406 -x405 -x404 x403 -x402 -x401 x400 -x399 -x398 -x397 x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 
1800.07/1800.51	v x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 x367 -x366 x365 
1800.07/1800.51	v x364 x363 -x362 -x361 
1800.07/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.51	c Solving Time       :    1765.08
1800.07/1800.51	c Original Problem   :
1800.07/1800.51	c   Problem name     : HOME/instance-2664148-1276399427.opb
1800.07/1800.51	c   Variables        : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.51	c   Constraints      : 4476 initial, 4476 maximal
1800.07/1800.51	c Presolved Problem  :
1800.07/1800.51	c   Problem name     : t_HOME/instance-2664148-1276399427.opb
1800.07/1800.51	c   Variables        : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.51	c   Constraints      : 4476 initial, 7755 maximal
1800.07/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.51	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.51	c   probing          :       0.33          0          0          0          0          0          0          0          0
1800.07/1800.51	c   knapsack         :       0.13          0          0          0          0          0          0       3360       5040
1800.07/1800.51	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.51	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.51	c   knapsack         :       1734          0    3136462          0     950784       3714    1779771          0          0          0
1800.07/1800.51	c   setppc           :        210          0    3132732          0     950773      99214   12558183          0          0          0
1800.07/1800.51	c   logicor          :       2532+         0    2351940          0     950784      25493    6254967          0          0          0
1800.07/1800.51	c   countsols        :          0          0          0          0     950784          0          0          0          0          0
1800.07/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.51	c   knapsack         :     663.69       0.00     542.75       0.00     120.94
1800.07/1800.51	c   setppc           :     139.32       0.00      93.21       0.00      46.11
1800.07/1800.51	c   logicor          :     510.30       0.00     198.84       0.00     311.46
1800.07/1800.51	c   countsols        :       0.63       0.00       0.00       0.00       0.63
1800.07/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.51	c   vbounds          :       1.75          2          0          0
1800.07/1800.51	c   rootredcost      :       1.40          0          0          0
1800.07/1800.51	c   pseudoobj        :      40.27    3138326       2943      17933
1800.07/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.51	c   propagation      :      18.92     131364     131300    1224760       36.1       8290       17.9          -
1800.07/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.51	c   applied globally :          -          -          -     611372       25.0          -          -          -
1800.07/1800.51	c   applied locally  :          -          -          -        148       95.6          -          -          -
1800.07/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.07/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.07/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.07/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.07/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.07/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.07/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.07/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.07/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.07/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.51	c Pricers            :       Time      Calls       Vars
1800.07/1800.51	c   problem variables:       0.00          0          0
1800.07/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   inference        :      93.95     950773          0          0          0          0    1901546
1800.07/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.51	c   LP solutions     :       0.00          -          0
1800.07/1800.51	c   pseudo solutions :       0.02          -         11
1800.07/1800.51	c   oneopt           :       1.50          0          0
1800.07/1800.51	c   trivial          :       0.00          2          0
1800.07/1800.51	c   simplerounding   :       0.00          0          0
1800.07/1800.51	c   zirounding       :       0.00          0          0
1800.07/1800.51	c   rounding         :       0.00          0          0
1800.07/1800.51	c   shifting         :       0.00          0          0
1800.07/1800.51	c   intshifting      :       0.00          0          0
1800.07/1800.51	c   twoopt           :       0.00          0          0
1800.07/1800.51	c   fixandinfer      :       0.00          0          0
1800.07/1800.51	c   feaspump         :       0.00          0          0
1800.07/1800.51	c   coefdiving       :       0.00          0          0
1800.07/1800.51	c   pscostdiving     :       0.00          0          0
1800.07/1800.51	c   fracdiving       :       0.00          0          0
1800.07/1800.51	c   veclendiving     :       0.00          0          0
1800.07/1800.51	c   intdiving        :       0.00          0          0
1800.07/1800.51	c   actconsdiving    :       0.00          0          0
1800.07/1800.51	c   objpscostdiving  :       0.00          0          0
1800.07/1800.51	c   rootsoldiving    :       0.00          0          0
1800.07/1800.51	c   linesearchdiving :       0.00          0          0
1800.07/1800.51	c   guideddiving     :       0.00          0          0
1800.07/1800.51	c   octane           :       0.00          0          0
1800.07/1800.51	c   rens             :       0.00          0          0
1800.07/1800.51	c   rins             :       0.00          0          0
1800.07/1800.51	c   localbranching   :       0.00          0          0
1800.07/1800.51	c   mutation         :       0.00          0          0
1800.07/1800.51	c   crossover        :       0.00          0          0
1800.07/1800.51	c   dins             :       0.00          0          0
1800.07/1800.51	c   undercover       :       0.00          0          0
1800.07/1800.51	c   nlp              :       0.60          0          0
1800.07/1800.51	c   trysol           :       0.76          0          0
1800.07/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.07/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.07/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.07/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.51	c B&B Tree           :
1800.07/1800.51	c   number of runs   :          1
1800.07/1800.51	c   nodes            :    1047809
1800.07/1800.51	c   nodes (total)    :    1047809
1800.07/1800.51	c   nodes left       :     818625
1800.07/1800.51	c   max depth        :         77
1800.07/1800.51	c   max depth (total):         77
1800.07/1800.51	c   backtracks       :      71378 (6.8%)
1800.07/1800.51	c   delayed cutoffs  :      35093
1800.07/1800.51	c   repropagations   :     153628 (2677929 domain reductions, 34339 cutoffs)
1800.07/1800.51	c   avg switch length:       5.24
1800.07/1800.51	c   switching time   :     220.65
1800.07/1800.51	c Solution           :
1800.07/1800.51	c   Solutions found  :         11 (11 improvements)
1800.07/1800.51	c   First Solution   : +3.21000000000000e+04   (in run 1, after 757 nodes, 1.29 seconds, depth 43, found by <relaxation>)
1800.07/1800.51	c   Primal Bound     : +2.65090000000000e+04   (in run 1, after 582209 nodes, 925.34 seconds, depth 43, found by <relaxation>)
1800.07/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.07/1800.51	c   Gap              :   infinite
1800.07/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.07/1800.51	c   Root Iterations  :          0

Verifier Data 

OK	26509

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664148-1276399427/watcher-2664148-1276399427 -o /tmp/evaluation-result-2664148-1276399427/solver-2664148-1276399427 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664148-1276399427.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: 0.97 1.00 1.00 3/106 20193
/proc/meminfo: memFree=1794564/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=7612 CPUtime=0
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 1173 0 0 0 0 0 0 0 20 0 1 0 13598072 7794688 1097 1992294400 4194304 7136930 140734009988624 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20193/statm: 1903 1105 254 719 0 1182 0

[startup+0.0277869 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 20193
/proc/meminfo: memFree=1794564/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=8964 CPUtime=0.01
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 1715 0 0 0 1 0 0 0 20 0 1 0 13598072 9179136 1638 1992294400 4194304 7136930 140734009988624 18446744073709551615 4240609 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20193/statm: 2241 1638 271 719 0 1520 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8964

[startup+0.100793 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 20193
/proc/meminfo: memFree=1794564/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=10504 CPUtime=0.09
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 2097 0 0 0 8 1 0 0 20 0 1 0 13598072 10756096 2020 1992294400 4194304 7136930 140734009988624 18446744073709551615 6176901 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20193/statm: 2626 2020 271 719 0 1905 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10504

[startup+0.300809 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 20193
/proc/meminfo: memFree=1794564/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=21124 CPUtime=0.29
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 6493 0 0 0 26 3 0 0 20 0 1 0 13598072 21630976 4520 1992294400 4194304 7136930 140734009988624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 5281 4520 361 719 0 4560 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21124

[startup+0.700841 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 20193
/proc/meminfo: memFree=1794564/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=22828 CPUtime=0.69
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 7708 0 0 0 65 4 0 0 21 0 1 0 13598072 23375872 4964 1992294400 4194304 7136930 140734009988624 18446744073709551615 5440587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 5707 4964 389 719 0 4986 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22828

[startup+1.5009 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 20194
/proc/meminfo: memFree=1776080/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=23096 CPUtime=1.49
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 7813 0 0 0 143 6 0 0 23 0 1 0 13598072 23650304 5069 1992294400 4194304 7136930 140734009988624 18446744073709551615 5005094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 5774 5069 397 719 0 5053 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23096

[startup+3.10103 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 20194
/proc/meminfo: memFree=1775088/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=24792 CPUtime=3.09
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 8224 0 0 0 299 10 0 0 25 0 1 0 13598072 25387008 5480 1992294400 4194304 7136930 140734009988624 18446744073709551615 5005044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 6198 5480 397 719 0 5477 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24792

[startup+6.30029 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 20194
/proc/meminfo: memFree=1771988/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=27204 CPUtime=6.29
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 8819 0 0 0 610 19 0 0 25 0 1 0 13598072 27856896 6075 1992294400 4194304 7136930 140734009988624 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 6801 6075 397 719 0 6080 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27204

[startup+12.7018 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 20194
/proc/meminfo: memFree=1765664/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=33988 CPUtime=12.69
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 10511 0 0 0 1236 33 0 0 25 0 1 0 13598072 34803712 7767 1992294400 4194304 7136930 140734009988624 18446744073709551615 4853712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 8497 7767 397 719 0 7776 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33988

[startup+25.5008 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 20194
/proc/meminfo: memFree=1754504/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=43936 CPUtime=25.49
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 13007 0 0 0 2490 59 0 0 25 0 1 0 13598072 44990464 10263 1992294400 4194304 7136930 140734009988624 18446744073709551615 4854160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 10984 10263 397 719 0 10263 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43936

[startup+51.1009 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 20194
/proc/meminfo: memFree=1730696/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=68004 CPUtime=51.07
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 18982 0 0 0 4990 117 0 0 25 0 1 0 13598072 69636096 16238 1992294400 4194304 7136930 140734009988624 18446744073709551615 4862062 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 17001 16238 397 719 0 16280 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68004

[startup+102.308 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20196
/proc/meminfo: memFree=1690024/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=108788 CPUtime=102.28
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 29078 0 0 0 10006 222 0 0 25 0 1 0 13598072 111398912 26334 1992294400 4194304 7136930 140734009988624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 27197 26334 397 719 0 26476 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 108788

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20198
/proc/meminfo: memFree=1648360/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=152464 CPUtime=162.25
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 39511 0 0 0 15876 349 0 0 25 0 1 0 13598072 156123136 36767 1992294400 4194304 7136930 140734009988624 18446744073709551615 4858896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 38116 36767 397 719 0 37395 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 152464

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20200
/proc/meminfo: memFree=1597892/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=202472 CPUtime=222.24
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 51995 0 0 0 21748 476 0 0 25 0 1 0 13598072 207331328 49251 1992294400 4194304 7136930 140734009988624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 50618 49251 397 719 0 49897 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 202472

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20200
/proc/meminfo: memFree=1561684/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=239836 CPUtime=282.22
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 61322 0 0 0 27623 599 0 0 25 0 1 0 13598072 245592064 58578 1992294400 4194304 7136930 140734009988624 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 59959 58578 397 719 0 59238 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 239836

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20202
/proc/meminfo: memFree=1517540/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=282480 CPUtime=342.21
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 72004 0 0 0 33500 721 0 0 25 0 1 0 13598072 289259520 69260 1992294400 4194304 7136930 140734009988624 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 70620 69260 397 719 0 69899 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 282480

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20204
/proc/meminfo: memFree=1473396/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=331408 CPUtime=402.19
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 83073 0 0 0 39377 842 0 0 25 0 1 0 13598072 339361792 80329 1992294400 4194304 7136930 140734009988624 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 82852 80329 397 719 0 82131 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 331408

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20206
/proc/meminfo: memFree=1431484/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=374844 CPUtime=462.18
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 93828 0 0 0 45256 962 0 0 25 0 1 0 13598072 383840256 91084 1992294400 4194304 7136930 140734009988624 18446744073709551615 4854160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 93711 91084 397 719 0 92990 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 374844

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20208
/proc/meminfo: memFree=1388332/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=416776 CPUtime=522.17
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 104212 0 0 0 51134 1083 0 0 25 0 1 0 13598072 426778624 101468 1992294400 4194304 7136930 140734009988624 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 104194 101468 397 719 0 103473 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 416776

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20208
/proc/meminfo: memFree=1357208/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=448480 CPUtime=582.15
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 112145 0 0 0 57021 1194 0 0 25 0 1 0 13598072 459243520 109401 1992294400 4194304 7136930 140734009988624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 112120 109401 397 719 0 111399 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 448480

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20210
/proc/meminfo: memFree=1318768/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=485408 CPUtime=642.14
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 121500 0 0 0 62897 1317 0 0 25 0 1 0 13598072 497057792 118756 1992294400 4194304 7136930 140734009988624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 121352 118756 397 719 0 120631 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 485408

[startup+702.301 s]

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

/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 173204 0 0 0 98180 2025 0 0 25 0 1 0 13598072 718696448 170460 1992294400 4194304 7136930 140734009988624 18446744073709551615 4854160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 175463 170460 397 719 0 174742 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 701852

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20225
/proc/meminfo: memFree=1079572/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=733004 CPUtime=1062.04
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 180999 0 0 0 104066 2138 0 0 25 0 1 0 13598072 750596096 178255 1992294400 4194304 7136930 140734009988624 18446744073709551615 4854160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 183251 178255 397 719 0 182530 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 733004

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20227
/proc/meminfo: memFree=1039644/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=773268 CPUtime=1122.03
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 191222 0 0 0 109946 2257 0 0 25 0 1 0 13598072 791826432 188478 1992294400 4194304 7136930 140734009988624 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 193317 188478 397 719 0 192596 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 773268

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20227
/proc/meminfo: memFree=1009016/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=804112 CPUtime=1182.01
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 198881 0 0 0 115830 2371 0 0 25 0 1 0 13598072 823410688 196137 1992294400 4194304 7136930 140734009988624 18446744073709551615 4854160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 201028 196137 397 719 0 200307 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 804112

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20229
/proc/meminfo: memFree=973056/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=839168 CPUtime=1242
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 207605 0 0 0 121713 2487 0 0 25 0 1 0 13598072 859308032 204861 1992294400 4194304 7136930 140734009988624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 209792 204861 397 719 0 209071 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 839168

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20231
/proc/meminfo: memFree=938708/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=873432 CPUtime=1301.99
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 216145 0 0 0 127599 2600 0 0 25 0 1 0 13598072 894394368 213401 1992294400 4194304 7136930 140734009988624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 218358 213401 397 719 0 217637 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 873432

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20233
/proc/meminfo: memFree=906840/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=905932 CPUtime=1361.97
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 224198 0 0 0 133487 2710 0 0 25 0 1 0 13598072 927674368 221454 1992294400 4194304 7136930 140734009988624 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 226483 221454 397 719 0 225762 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 905932

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20235
/proc/meminfo: memFree=877824/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=934232 CPUtime=1421.96
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 231343 0 0 0 139381 2815 0 0 25 0 1 0 13598072 956653568 228599 1992294400 4194304 7136930 140734009988624 18446744073709551615 4858882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 233558 228599 397 719 0 232837 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 934232

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20235
/proc/meminfo: memFree=850916/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=961692 CPUtime=1481.94
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 238209 0 0 0 145271 2923 0 0 25 0 1 0 13598072 984772608 235465 1992294400 4194304 7136930 140734009988624 18446744073709551615 4697566 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 240423 235465 397 719 0 239702 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 961692

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20237
/proc/meminfo: memFree=813344/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=998964 CPUtime=1541.93
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 247362 0 0 0 151165 3028 0 0 25 0 1 0 13598072 1022939136 244618 1992294400 4194304 7136930 140734009988624 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 249741 244618 397 719 0 249020 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 998964

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20239
/proc/meminfo: memFree=785444/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=1026676 CPUtime=1601.91
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 254320 0 0 0 157059 3132 0 0 25 0 1 0 13598072 1051316224 251576 1992294400 4194304 7136930 140734009988624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 256669 251576 397 719 0 255948 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1026676

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20241
/proc/meminfo: memFree=754568/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=1057208 CPUtime=1661.9
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 262015 0 0 0 162948 3242 0 0 25 0 1 0 13598072 1082580992 259271 1992294400 4194304 7136930 140734009988624 18446744073709551615 5122103 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 264302 259271 397 719 0 263581 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1057208

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20243
/proc/meminfo: memFree=725552/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=1088228 CPUtime=1721.88
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 269537 0 0 0 168841 3347 0 0 25 0 1 0 13598072 1114345472 266793 1992294400 4194304 7136930 140734009988624 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 272057 266793 397 719 0 271336 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1088228

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20243
/proc/meminfo: memFree=696412/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=1115964 CPUtime=1781.87
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 276477 0 0 0 174734 3453 0 0 25 0 1 0 13598072 1142747136 273733 1992294400 4194304 7136930 140734009988624 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 278991 273733 397 719 0 278270 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1115964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 20245
/proc/meminfo: memFree=686616/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=1125256 CPUtime=1800.07
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 278899 0 0 0 176517 3490 0 0 25 0 1 0 13598072 1152262144 276155 1992294400 4194304 7136930 140734009988624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20193/statm: 281314 276155 397 719 0 280593 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1125256

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20193

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

[startup+1801.4 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 20246
/proc/meminfo: memFree=686608/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=1125256 CPUtime=1800.97
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 278916 0 0 0 176607 3490 0 0 25 0 1 0 13598072 1152262144 276172 1992294400 4194304 7136930 140734009988624 18446744073709551615 4212430 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20193/statm: 281314 276172 402 719 0 280593 0
Current children cumulated CPU time (s) 1800.97
Current children cumulated vsize (KiB) 1125256

[startup+1802.2 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 20246
/proc/meminfo: memFree=686484/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=1125256 CPUtime=1801.77
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4202496 278916 0 0 0 176687 3490 0 0 25 0 1 0 13598072 1152262144 276172 1992294400 4194304 7136930 140734009988624 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20193/statm: 281314 276172 402 719 0 280593 0
Current children cumulated CPU time (s) 1801.77
Current children cumulated vsize (KiB) 1125256

[startup+1802.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 20246
/proc/meminfo: memFree=686484/2059040 swapFree=4136596/4192956
[pid=20193] ppid=20191 vsize=0 CPUtime=1802.16
/proc/20193/stat : 20193 (pbscip.linux.x8) R 20191 20193 13531 0 -1 4203524 278916 0 0 0 176717 3499 0 0 25 0 1 0 13598072 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/20193/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1802.19
CPU user time (s): 1767.18
CPU system time (s): 35.0117
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 1125256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.18
system time used= 35.0117
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278916
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 1854

runsolver used 3.16252 second user time and 8.33373 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-13 05:23:47
IDJOB=2664148
IDBENCH=2010
IDSOLVER=1167
FILE ID=node026/2664148-1276399427
PBS_JOBID= 11173257
Free space on /tmp= 62508 MiB

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

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

MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3
RANDOM SEED=144754980

node026.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.201
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.40
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.201
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1794968 kB
Buffers:         38436 kB
Cached:         143892 kB
SwapCached:      13316 kB
Active:         119968 kB
Inactive:        78612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1794968 kB
SwapTotal:     4192956 kB
SwapFree:      4136596 kB
Dirty:            3468 kB
Writeback:           0 kB
AnonPages:       10800 kB
Mapped:           9220 kB
Slab:            43684 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181328 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= 62508 MiB
End job on node026 at 2010-06-13 05:53:49