Trace number 2663878

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)-19 1802.17 1802.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_1.opb
MD5SUM8c398fbb12ba7dbf676dd8375a76e0de
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-27
Best CPU time to get the best result obtained on this benchmark1789.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2496
Sum of products size (including duplicates)4992
Number of different products1248
Sum of products size2496

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.01	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2663878-1276670317.opb>
0.02/0.02	c original problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1549 constraints
0.02/0.02	c problem read
0.02/0.03	c presolving settings loaded
0.02/0.03	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.02/0.04	o 0
0.02/0.04	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.02/0.04	c presolving:
0.19/0.24	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10184 impls, 200 clqs
0.39/0.45	c    (0.2s) probing: 101/1448 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.45	c presolving (2 rounds):
0.39/0.45	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45	c  10184 implications, 200 cliques
0.39/0.45	c presolved problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1549 constraints
0.39/0.45	c     200 constraints of type <setppc>
0.39/0.45	c    1248 constraints of type <and>
0.39/0.45	c       1 constraints of type <linear>
0.39/0.45	c     100 constraints of type <logicor>
0.39/0.45	c transformed objective value is always integral (scale: 1)
0.39/0.45	c Presolving Time: 0.22
0.39/0.45	c - non default parameters ----------------------------------------------------------------------
0.39/0.45	c # SCIP version 1.2.1.2
0.39/0.45	c 
0.39/0.45	c # frequency for displaying node information lines
0.39/0.45	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45	c display/freq = 10000
0.39/0.45	c 
0.39/0.45	c # maximal time in seconds to run
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/time = 1799.98
0.39/0.45	c 
0.39/0.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/memory = 1620
0.39/0.45	c 
0.39/0.45	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.45	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.45	c lp/solvefreq = -1
0.39/0.45	c 
0.39/0.45	c # should presolving try to simplify inequalities
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c constraints/linear/simplifyinequalities = TRUE
0.39/0.45	c 
0.39/0.45	c # should presolving try to simplify knapsacks
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45	c 
0.39/0.45	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.45	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45	c heuristics/undercover/freq = 0
0.39/0.45	c 
0.39/0.45	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45	c separating/rapidlearning/freq = 0
0.39/0.45	c 
0.39/0.45	c -----------------------------------------------------------------------------------------------
0.39/0.45	c start solving
0.39/0.45	c 
0.39/0.45	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.45	c t 0.2s|     1 |     2 |     0 |     - |4340k|   0 |   - |1448 |1549 |   0 |   0 |   0 |   0 |   0 |-1.000000e+02 | 0.000000e+00 | 100.00%
2.29/2.30	o -9
2.29/2.30	c * 2.0s|  2953 |  2761 |     0 |   0.0 |7524k| 148 |   - |1448 |1668 |   0 |   0 |   0 | 119 |   0 |-9.900000e+01 |-9.000000e+00 |  90.91%
2.49/2.51	o -10
2.49/2.51	c * 2.2s|  3330 |  3136 |     0 |   0.0 |7924k| 148 |   - |1448 |1668 |   0 |   0 |   0 | 119 |   0 |-9.900000e+01 |-1.000000e+01 |  89.90%
4.69/4.72	o -12
4.69/4.72	c * 4.3s|  7156 |  6701 |     0 |   0.0 |  12M| 148 |   - |1448 |1810 |   0 |   0 |   0 | 346 |   0 |-9.900000e+01 |-1.200000e+01 |  87.88%
4.99/5.03	o -13
4.99/5.03	c * 4.6s|  7687 |  7185 |     0 |   0.0 |  13M| 148 |   - |1448 |1815 |   0 |   0 |   0 | 377 |   0 |-9.900000e+01 |-1.300000e+01 |  86.87%
5.29/5.38	o -14
5.29/5.38	c * 4.9s|  8244 |  7674 |     0 |   0.0 |  14M| 148 |   - |1448 |1824 |   0 |   0 |   0 | 428 |   0 |-9.900000e+01 |-1.400000e+01 |  85.86%
5.79/5.81	o -15
5.79/5.81	c * 5.3s|  8859 |  8207 |     0 |   0.0 |  15M| 148 |   - |1448 |1825 |   0 |   0 |   0 | 494 |   0 |-9.900000e+01 |-1.500000e+01 |  84.85%
6.60/6.62	c   6.1s| 10000 |  9159 |     0 |   0.0 |  16M| 148 |   - |1448 |1854 |   0 |   0 |   0 | 655 |   0 |-9.900000e+01 |-1.500000e+01 |  84.85%
7.89/7.93	o -16
7.89/7.93	c * 7.3s| 11767 | 10442 |     0 |   0.0 |  19M| 148 |   - |1448 |1907 |   0 |   0 |   0 |1096 |   0 |-9.900000e+01 |-1.600000e+01 |  83.84%
8.29/8.38	o -17
8.29/8.38	c * 7.8s| 12337 | 10789 |     0 |   0.0 |  20M| 148 |   - |1448 |1994 |   0 |   0 |   0 |1295 |   0 |-9.900000e+01 |-1.700000e+01 |  82.83%
15.78/15.82	c  14.9s| 20000 | 13429 |     0 |   0.0 |  28M| 148 |   - |1448 |2065 |   0 |   0 |   0 |5277 |   0 |-9.900000e+01 |-1.700000e+01 |  82.83%
22.09/22.11	o -19
22.09/22.11	c *20.9s| 27471 | 18613 |     0 |   0.0 |  39M| 148 |   - |1448 |2005 |   0 |   0 |   0 |6882 |   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
23.99/24.08	c  22.8s| 30000 | 20767 |     0 |   0.0 |  44M| 148 |   - |1448 |1992 |   0 |   0 |   0 |7211 |   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
31.49/31.53	c  29.9s| 40000 | 29098 |     0 |   0.0 |  63M| 148 |   - |1448 |2120 |   0 |   0 |   0 |8736 |   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
38.88/38.95	c  37.0s| 50000 | 37415 |     0 |   0.0 |  82M| 148 |   - |1448 |2234 |   0 |   0 |   0 |  10k|   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
46.19/46.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
46.19/46.26	c  44.0s| 60000 | 45511 |     0 |   0.0 |  99M| 148 |   - |1448 |2245 |   0 |   0 |   0 |  12k|   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
53.48/53.56	c  51.0s| 70000 | 53388 |     0 |   0.0 | 116M| 148 |   - |1448 |2285 |   0 |   0 |   0 |  14k|   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
60.87/60.95	c  58.0s| 80000 | 60920 |     0 |   0.0 | 132M| 148 |   - |1448 |2336 |   0 |   0 |   0 |  16k|   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
68.58/68.66	c  65.4s| 90000 | 68187 |     0 |   0.0 | 147M| 148 |   - |1448 |2369 |   0 |   0 |   0 |  19k|   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
76.47/76.55	c  73.0s|100000 | 75107 |     0 |   0.0 | 162M| 148 |   - |1448 |2477 |   0 |   0 |   0 |  21k|   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
84.67/84.77	c  80.9s|110000 | 81278 |     0 |   0.0 | 174M| 148 |   - |1448 |2607 |   0 |   0 |   0 |  25k|   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
93.67/93.75	c  89.5s|120000 | 86149 |     0 |   0.0 | 184M| 148 |   - |1448 |2756 |   0 |   0 |   0 |  30k|   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
102.46/102.52	c  97.9s|130000 | 92085 |     0 |   0.0 | 196M| 148 |   - |1448 |2683 |   0 |   0 |   0 |  33k|   0 |-9.800000e+01 |-1.900000e+01 |  80.61%
111.26/111.37	c   106s|140000 | 98028 |     0 |   0.0 | 209M| 148 |   - |1448 |2814 |   0 |   0 |   0 |  36k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
121.06/121.14	c   116s|150000 |102482 |     0 |   0.0 | 219M| 148 |   - |1448 |3184 |   0 |   0 |   0 |  40k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
132.26/132.30	c   127s|160000 |105703 |     0 |   0.0 | 226M| 148 |   - |1448 |3185 |   0 |   0 |   0 |  45k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
143.66/143.71	c   138s|170000 |108900 |     0 |   0.0 | 233M| 148 |   - |1448 |2761 |   0 |   0 |   0 |  49k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
151.66/151.77	c   145s|180000 |118206 |     0 |   0.0 | 257M| 148 |   - |1448 |2387 |   0 |   0 |   0 |  49k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
159.36/159.42	c   153s|190000 |127194 |     0 |   0.0 | 278M| 148 |   - |1448 |2553 |   0 |   0 |   0 |  50k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
167.05/167.12	c   160s|200000 |136239 |     0 |   0.0 | 300M| 148 |   - |1448 |2564 |   0 |   0 |   0 |  51k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
174.65/174.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
174.65/174.79	c   167s|210000 |145360 |     0 |   0.0 | 322M| 148 |   - |1448 |2600 |   0 |   0 |   0 |  52k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
182.14/182.27	c   175s|220000 |154472 |     0 |   0.0 | 343M| 148 |   - |1448 |2609 |   0 |   0 |   0 |  53k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
189.84/189.96	c   182s|230000 |163413 |     0 |   0.0 | 364M| 148 |   - |1448 |2767 |   0 |   0 |   0 |  54k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
197.34/197.49	c   189s|240000 |172367 |     0 |   0.0 | 385M| 148 |   - |1448 |2696 |   0 |   0 |   0 |  55k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
205.04/205.16	c   197s|250000 |181335 |     0 |   0.0 | 406M| 148 |   - |1448 |2726 |   0 |   0 |   0 |  56k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
212.53/212.64	c   204s|260000 |190337 |     0 |   0.0 | 426M| 148 |   - |1448 |2753 |   0 |   0 |   0 |  57k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
220.13/220.22	c   211s|270000 |199243 |     0 |   0.0 | 446M| 148 |   - |1448 |2747 |   0 |   0 |   0 |  58k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
227.64/227.79	c   218s|280000 |208146 |     0 |   0.0 | 467M| 148 |   - |1448 |2792 |   0 |   0 |   0 |  59k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
235.03/235.15	c   225s|290000 |217166 |     0 |   0.0 | 486M| 148 |   - |1448 |2828 |   0 |   0 |   0 |  60k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
242.43/242.58	c   232s|300000 |226198 |     0 |   0.0 | 507M| 148 |   - |1448 |2803 |   0 |   0 |   0 |  61k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
250.02/250.17	c   240s|310000 |235051 |     0 |   0.0 | 527M| 148 |   - |1448 |2804 |   0 |   0 |   0 |  62k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
257.72/257.80	c   247s|320000 |243812 |     0 |   0.0 | 546M| 148 |   - |1448 |2936 |   0 |   0 |   0 |  63k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
265.22/265.33	c   254s|330000 |252791 |     0 |   0.0 | 566M| 148 |   - |1448 |2852 |   0 |   0 |   0 |  64k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
273.02/273.11	c   262s|340000 |261575 |     0 |   0.0 | 585M| 148 |   - |1448 |2821 |   0 |   0 |   0 |  65k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
280.52/280.63	c   269s|350000 |270383 |     0 |   0.0 | 605M| 148 |   - |1448 |2921 |   0 |   0 |   0 |  66k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
288.03/288.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
288.03/288.13	c   276s|360000 |279303 |     0 |   0.0 | 624M| 148 |   - |1448 |2899 |   0 |   0 |   0 |  67k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
295.61/295.74	c   283s|370000 |288061 |     0 |   0.0 | 644M| 148 |   - |1448 |2955 |   0 |   0 |   0 |  68k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
303.11/303.23	c   290s|380000 |296647 |     0 |   0.0 | 662M| 148 |   - |1448 |3030 |   0 |   0 |   0 |  70k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
310.71/310.82	c   298s|390000 |305450 |     0 |   0.0 | 681M| 148 |   - |1448 |2928 |   0 |   0 |   0 |  71k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
318.40/318.58	c   305s|400000 |313996 |     0 |   0.0 | 700M| 148 |   - |1448 |2946 |   0 |   0 |   0 |  72k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
326.00/326.14	c   312s|410000 |322383 |     0 |   0.0 | 718M| 148 |   - |1448 |3182 |   0 |   0 |   0 |  74k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
333.50/333.68	c   320s|420000 |331071 |     0 |   0.0 | 736M| 148 |   - |1448 |3001 |   0 |   0 |   0 |  75k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
340.91/341.08	c   327s|430000 |339632 |     0 |   0.0 | 754M| 148 |   - |1448 |2980 |   0 |   0 |   0 |  76k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
348.51/348.65	c   334s|440000 |347836 |     0 |   0.0 | 771M| 148 |   - |1448 |3018 |   0 |   0 |   0 |  78k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
355.99/356.12	c   341s|450000 |356367 |     0 |   0.0 | 789M| 148 |   - |1448 |3271 |   0 |   0 |   0 |  79k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
363.49/363.62	c   348s|460000 |364861 |     0 |   0.0 | 806M| 148 |   - |1448 |3095 |   0 |   0 |   0 |  81k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
370.99/371.19	c   355s|470000 |373155 |     0 |   0.0 | 823M| 148 |   - |1448 |3116 |   0 |   0 |   0 |  82k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
378.79/378.97	c   363s|480000 |381047 |     0 |   0.0 | 839M| 148 |   - |1448 |3188 |   0 |   0 |   0 |  84k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
386.59/386.74	c   370s|490000 |388992 |     0 |   0.0 | 856M| 148 |   - |1448 |3467 |   0 |   0 |   0 |  86k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
394.39/394.58	c   378s|500000 |396773 |     0 |   0.0 | 872M| 148 |   - |1448 |3502 |   0 |   0 |   0 |  89k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
402.40/402.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
402.40/402.59	c   386s|510000 |404465 |     0 |   0.0 | 887M| 148 |   - |1448 |3355 |   0 |   0 |   0 |  91k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
410.28/410.47	c   393s|520000 |412007 |     0 |   0.0 | 903M| 148 |   - |1448 |3354 |   0 |   0 |   0 |  93k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
418.68/418.89	c   401s|530000 |418820 |     0 |   0.0 | 917M| 148 |   - |1448 |3704 |   0 |   0 |   0 |  96k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
427.27/427.46	c   410s|540000 |425551 |     0 |   0.0 | 931M| 148 |   - |1448 |3490 |   0 |   0 |   0 |  99k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
435.88/436.01	c   418s|550000 |432178 |     0 |   0.0 | 945M| 148 |   - |1448 |3503 |   0 |   0 |   0 | 102k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
444.48/444.64	c   426s|560000 |438688 |     0 |   0.0 | 958M| 148 |   - |1448 |3773 |   0 |   0 |   0 | 106k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
453.37/453.50	c   435s|570000 |444888 |     0 |   0.0 | 970M| 148 |   - |1448 |3953 |   0 |   0 |   0 | 109k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
462.47/462.66	c   443s|580000 |450776 |     0 |   0.0 | 983M| 148 |   - |1448 |3946 |   0 |   0 |   0 | 114k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
471.96/472.11	c   452s|590000 |456458 |     0 |   0.0 | 994M| 148 |   - |1448 |3937 |   0 |   0 |   0 | 118k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
481.77/481.92	c   462s|600000 |461510 |     0 |   0.0 |1005M| 148 |   - |1448 |4153 |   0 |   0 |   0 | 122k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
492.36/492.59	c   472s|610000 |466319 |     0 |   0.0 |1014M| 148 |   - |1448 |4315 |   0 |   0 |   0 | 126k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
503.05/503.26	c   483s|620000 |471201 |     0 |   0.0 |1024M| 148 |   - |1448 |4383 |   0 |   0 |   0 | 131k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
513.05/513.26	c   492s|630000 |476542 |     0 |   0.0 |1033M| 148 |   - |1448 |4101 |   0 |   0 |   0 | 136k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
522.45/522.62	c   501s|640000 |482005 |     0 |   0.0 |1043M| 148 |   - |1448 |4217 |   0 |   0 |   0 | 139k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
530.85/531.00	c   509s|650000 |490314 |     0 |   0.0 |1060M| 148 |   - |1448 |3711 |   0 |   0 |   0 | 140k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
539.25/539.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
539.25/539.42	c   517s|660000 |498779 |     0 |   0.0 |1079M| 148 |   - |1448 |3837 |   0 |   0 |   0 | 142k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
547.56/547.73	c   525s|670000 |507066 |     0 |   0.0 |1097M| 148 |   - |1448 |3858 |   0 |   0 |   0 | 143k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
556.04/556.26	c   534s|680000 |514670 |     0 |   0.0 |1113M| 148 |   - |1448 |4087 |   0 |   0 |   0 | 146k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
564.64/564.80	c   542s|690000 |522172 |     0 |   0.0 |1129M| 148 |   - |1448 |3975 |   0 |   0 |   0 | 148k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
573.04/573.26	c   550s|700000 |529614 |     0 |   0.0 |1145M| 148 |   - |1448 |4087 |   0 |   0 |   0 | 150k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
581.84/582.00	c   558s|710000 |536871 |     0 |   0.0 |1160M| 148 |   - |1448 |4049 |   0 |   0 |   0 | 153k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
590.73/590.94	c   567s|720000 |543541 |     0 |   0.0 |1174M| 148 |   - |1448 |4281 |   0 |   0 |   0 | 156k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
599.74/599.94	c   576s|730000 |550163 |     0 |   0.0 |1188M| 148 |   - |1448 |4199 |   0 |   0 |   0 | 158k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
608.83/609.05	c   584s|740000 |556566 |     0 |   0.0 |1201M| 148 |   - |1448 |4287 |   0 |   0 |   0 | 161k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
618.13/618.34	c   593s|750000 |562946 |     0 |   0.0 |1214M| 148 |   - |1448 |4260 |   0 |   0 |   0 | 164k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
627.62/627.86	c   603s|760000 |569139 |     0 |   0.0 |1226M| 148 |   - |1448 |4237 |   0 |   0 |   0 | 168k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
637.32/637.51	c   612s|770000 |575226 |     0 |   0.0 |1239M| 148 |   - |1448 |4256 |   0 |   0 |   0 | 171k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
647.02/647.28	c   621s|780000 |580974 |     0 |   0.0 |1251M| 148 |   - |1448 |4330 |   0 |   0 |   0 | 174k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
657.12/657.32	c   631s|790000 |586477 |     0 |   0.0 |1262M| 148 |   - |1448 |4484 |   0 |   0 |   0 | 178k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
667.22/667.42	c   641s|800000 |592143 |     0 |   0.0 |1274M| 148 |   - |1448 |4387 |   0 |   0 |   0 | 181k|   0 |-9.700000e+01 |-1.900000e+01 |  80.41%
677.91/678.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
677.91/678.10	c   651s|810000 |597134 |     0 |   0.0 |1285M| 148 |   - |1448 |4421 |   0 |   0 |   0 | 185k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
688.61/688.89	c   661s|820000 |602116 |     0 |   0.0 |1297M| 148 |   - |1448 |4567 |   0 |   0 |   0 | 189k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
699.42/699.67	c   672s|830000 |606875 |     0 |   0.0 |1308M| 148 |   - |1448 |4480 |   0 |   0 |   0 | 193k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
710.61/710.86	c   683s|840000 |611216 |     0 |   0.0 |1318M| 148 |   - |1448 |4859 |   0 |   0 |   0 | 197k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
721.80/722.05	c   694s|850000 |615602 |     0 |   0.0 |1328M| 148 |   - |1448 |4965 |   0 |   0 |   0 | 201k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
732.79/733.07	c   704s|860000 |620074 |     0 |   0.0 |1338M| 148 |   - |1448 |4747 |   0 |   0 |   0 | 205k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
744.00/744.21	c   715s|870000 |624664 |     0 |   0.0 |1349M| 148 |   - |1448 |4702 |   0 |   0 |   0 | 210k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
754.79/755.04	c (node 879462) switching to memory saving mode (mem: 1296.0M/1620.0M)
755.69/755.91	c   726s|880000 |628609 |     0 |   0.0 |1359M| 163 |   - |1448 |4990 |   0 |   0 |   0 | 214k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
768.49/768.75	c   738s|890000 |628582 |     0 |   0.0 |1360M| 187 |   - |1448 |6371 |   0 |   0 |   0 | 220k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
782.58/782.86	c   752s|900000 |628579 |     0 |   0.0 |1359M| 188 |   - |1448 |5591 |   0 |   0 |   0 | 226k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
796.58/796.86	c   765s|910000 |628577 |     0 |   0.0 |1361M| 188 |   - |1448 |7684 |   0 |   0 |   0 | 232k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
811.48/811.71	c   779s|920000 |628577 |     0 |   0.0 |1361M| 188 |   - |1448 |7774 |   0 |   0 |   0 | 239k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
826.27/826.58	c   793s|930000 |628577 |     0 |   0.0 |1361M| 197 |   - |1448 |7829 |   0 |   0 |   0 | 245k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
841.27/841.58	c   807s|940000 |628577 |     0 |   0.0 |1362M| 197 |   - |1448 |8433 |   0 |   0 |   0 | 250k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
857.07/857.31	c   822s|950000 |628578 |     0 |   0.0 |1363M| 197 |   - |1448 |  10k|   0 |   0 |   0 | 256k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
872.76/873.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
872.76/873.08	c   837s|960000 |628577 |     0 |   0.0 |1365M| 197 |   - |1448 |  11k|   0 |   0 |   0 | 261k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
889.56/889.83	c   853s|970000 |628576 |     0 |   0.0 |1364M| 197 |   - |1448 |  10k|   0 |   0 |   0 | 267k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
908.26/908.51	c   871s|980000 |628576 |     0 |   0.0 |1365M| 197 |   - |1448 |  11k|   0 |   0 |   0 | 273k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
924.94/925.20	c   887s|990000 |628577 |     0 |   0.0 |1363M| 197 |   - |1448 |9957 |   0 |   0 |   0 | 278k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
944.44/944.74	c   906s|  1000k|628577 |     0 |   0.0 |1364M| 197 |   - |1448 |  10k|   0 |   0 |   0 | 284k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
965.04/965.36	c   926s|  1010k|628577 |     0 |   0.0 |1365M| 197 |   - |1448 |  11k|   0 |   0 |   0 | 290k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
987.53/987.81	c   947s|  1020k|628577 |     0 |   0.0 |1365M| 197 |   - |1448 |  11k|   0 |   0 |   0 | 296k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1008.63/1008.93	c   968s|  1030k|628575 |     0 |   0.0 |1366M| 197 |   - |1448 |  13k|   0 |   0 |   0 | 301k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1029.51/1029.80	c   988s|  1040k|628576 |     0 |   0.0 |1367M| 197 |   - |1448 |  14k|   0 |   0 |   0 | 307k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1049.61/1049.90	c  1007s|  1050k|628575 |     0 |   0.0 |1368M| 197 |   - |1448 |  14k|   0 |   0 |   0 | 312k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1070.41/1070.77	c  1028s|  1060k|628575 |     0 |   0.0 |1369M| 197 |   - |1448 |  16k|   0 |   0 |   0 | 318k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1090.20/1090.52	c  1047s|  1070k|628575 |     0 |   0.0 |1369M| 197 |   - |1448 |  16k|   0 |   0 |   0 | 323k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1110.20/1110.52	c  1066s|  1080k|628577 |     0 |   0.0 |1370M| 197 |   - |1448 |  17k|   0 |   0 |   0 | 329k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1128.99/1129.38	c  1085s|  1090k|628563 |     0 |   0.0 |1363M| 197 |   - |1448 |8292 |   0 |   0 |   0 | 335k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1144.70/1145.08	c  1100s|  1100k|628563 |     0 |   0.0 |1363M| 197 |   - |1448 |9184 |   0 |   0 |   0 | 341k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1160.19/1160.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1160.19/1160.58	c  1114s|  1110k|628564 |     0 |   0.0 |1364M| 197 |   - |1448 |9642 |   0 |   0 |   0 | 347k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1177.18/1177.58	c  1131s|  1120k|628564 |     0 |   0.0 |1364M| 197 |   - |1448 |  10k|   0 |   0 |   0 | 353k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1194.77/1195.19	c  1148s|  1130k|628564 |     0 |   0.0 |1365M| 197 |   - |1448 |  11k|   0 |   0 |   0 | 358k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1211.67/1212.02	c  1164s|  1140k|628562 |     0 |   0.0 |1365M| 197 |   - |1448 |  11k|   0 |   0 |   0 | 364k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1232.36/1232.70	c  1184s|  1150k|628563 |     0 |   0.0 |1368M| 197 |   - |1448 |  14k|   0 |   0 |   0 | 370k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1251.55/1251.99	c  1202s|  1160k|628558 |     0 |   0.0 |1364M| 197 |   - |1448 |9805 |   0 |   0 |   0 | 378k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1271.05/1271.49	c  1221s|  1170k|628559 |     0 |   0.0 |1365M| 197 |   - |1448 |  10k|   0 |   0 |   0 | 384k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1291.65/1292.01	c  1241s|  1180k|628559 |     0 |   0.0 |1365M| 197 |   - |1448 |  10k|   0 |   0 |   0 | 391k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1311.55/1311.99	c  1260s|  1190k|628558 |     0 |   0.0 |1366M| 197 |   - |1448 |  11k|   0 |   0 |   0 | 397k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1332.24/1332.60	c  1280s|  1200k|628557 |     0 |   0.0 |1365M| 197 |   - |1448 |  11k|   0 |   0 |   0 | 403k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1353.92/1354.33	c  1301s|  1210k|628559 |     0 |   0.0 |1367M| 197 |   - |1448 |  13k|   0 |   0 |   0 | 409k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1374.63/1375.09	c  1321s|  1220k|628559 |     0 |   0.0 |1369M| 197 |   - |1448 |  15k|   0 |   0 |   0 | 414k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1395.91/1396.30	c  1342s|  1230k|628559 |     0 |   0.0 |1368M| 197 |   - |1448 |  14k|   0 |   0 |   0 | 420k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1420.30/1420.76	c  1366s|  1240k|628559 |     0 |   0.0 |1370M| 197 |   - |1448 |  16k|   0 |   0 |   0 | 426k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1442.89/1443.33	c  1387s|  1250k|628558 |     0 |   0.0 |1368M| 197 |   - |1448 |  14k|   0 |   0 |   0 | 433k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1468.89/1469.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1468.89/1469.31	c  1413s|  1260k|628559 |     0 |   0.0 |1369M| 197 |   - |1448 |  16k|   0 |   0 |   0 | 439k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1492.38/1492.84	c  1436s|  1270k|628559 |     0 |   0.0 |1371M| 197 |   - |1448 |  18k|   0 |   0 |   0 | 446k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1518.47/1518.90	c  1461s|  1280k|628557 |     0 |   0.0 |1372M| 197 |   - |1448 |  18k|   0 |   0 |   0 | 453k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1542.36/1542.83	c  1484s|  1290k|628558 |     0 |   0.0 |1366M| 197 |   - |1448 |  12k|   0 |   0 |   0 | 460k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1565.16/1565.62	c  1507s|  1300k|628557 |     0 |   0.0 |1367M| 197 |   - |1448 |  12k|   0 |   0 |   0 | 466k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1589.36/1589.88	c  1530s|  1310k|628558 |     0 |   0.0 |1367M| 197 |   - |1448 |  13k|   0 |   0 |   0 | 472k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1612.85/1613.38	c  1553s|  1320k|628560 |     0 |   0.0 |1366M| 197 |   - |1448 |  12k|   0 |   0 |   0 | 479k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1637.24/1637.79	c  1576s|  1330k|628559 |     0 |   0.0 |1367M| 197 |   - |1448 |  13k|   0 |   0 |   0 | 484k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1662.43/1662.98	c  1601s|  1340k|628559 |     0 |   0.0 |1368M| 197 |   - |1448 |  14k|   0 |   0 |   0 | 490k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1684.03/1684.51	c  1622s|  1350k|628560 |     0 |   0.0 |1370M| 197 |   - |1448 |  16k|   0 |   0 |   0 | 495k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1711.43/1711.92	c  1649s|  1360k|628558 |     0 |   0.0 |1369M| 197 |   - |1448 |  15k|   0 |   0 |   0 | 501k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1740.01/1740.50	c  1676s|  1370k|628559 |     0 |   0.0 |1370M| 197 |   - |1448 |  17k|   0 |   0 |   0 | 508k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1767.22/1767.75	c  1703s|  1380k|628559 |     0 |   0.0 |1369M| 197 |   - |1448 |  15k|   0 |   0 |   0 | 514k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1797.10/1797.67	c  1732s|  1390k|628558 |     0 |   0.0 |1370M| 197 |   - |1448 |  16k|   0 |   0 |   0 | 521k|   0 |-9.600000e+01 |-1.900000e+01 |  80.21%
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50	c 
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time (sec) : 1735.05
1800.01/1800.50	c Solving Nodes      : 1391041
1800.01/1800.50	c Primal Bound       : -1.90000000000000e+01 (12 solutions)
1800.01/1800.50	c Dual Bound         : -9.60000000000000e+01
1800.01/1800.50	c Gap                : 80.21 %
1800.01/1800.51	s SATISFIABLE
1800.01/1800.51	v -x162 -x134 x175 x180 -x186 -x172 -x132 -x166 -x142 -x153 -x118 -x129 x113 -x140 -x161 -x133 x200 -x152 -x195 -x119 -x189 -x177 
1800.01/1800.51	v -x109 x188 -x144 -x165 -x107 -x135 -x196 x106 x198 -x176 x146 -x139 -x182 -x197 -x105 -x158 -x147 -x145 -x126 -x121 -x181 -x192 
1800.01/1800.51	v -x114 -x171 -x125 -x199 -x138 -x104 -x151 -x149 -x115 -x108 -x185 -x120 -x174 -x143 x157 -x103 x190 x155 -x154 -x148 -x170 
1800.01/1800.51	v -x159 -x123 -x124 -x183 -x130 x168 x102 x111 x110 x169 x112 -x137 x173 -x141 -x127 -x164 -x191 -x128 -x101 -x179 -x167 -x160 
1800.01/1800.51	v -x156 x131 -x117 -x163 -x122 -x150 -x193 -x136 -x194 -x116 -x178 -x187 -x184 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
1800.01/1800.51	v x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 x70 -x69 -x68 -x67 -x66 
1800.01/1800.51	v -x65 -x64 -x63 x62 -x61 -x60 x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 
1800.01/1800.51	v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 x22 -x21 -x20 x19 -x18 -x17 -x16 x15 x14 -x13 
1800.01/1800.51	v -x12 -x11 -x10 -x9 x8 -x7 -x6 x5 -x4 -x3 -x2 x1 
1800.01/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.51	c Solving Time       :    1735.05
1800.01/1800.51	c Original Problem   :
1800.01/1800.51	c   Problem name     : HOME/instance-2663878-1276670317.opb
1800.01/1800.51	c   Variables        : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 1549 initial, 1549 maximal
1800.01/1800.51	c Presolved Problem  :
1800.01/1800.51	c   Problem name     : t_HOME/instance-2663878-1276670317.opb
1800.01/1800.51	c   Variables        : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51	c   Constraints      : 1549 initial, 21213 maximal
1800.01/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.01/1800.51	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   and              :       0.17          0          0          0          0          0          0          0          0
1800.01/1800.51	c   linear           :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.51	c   setppc           :        200          0    6699067          0    1023357       7120    1361604          0          0          0
1800.01/1800.51	c   and              :       1248          0    6705354          0    1023954        138   19793228          0          0          0
1800.01/1800.51	c   linear           :          1          0    6704227          0    1023979      46312   15913215          0          0          0
1800.01/1800.51	c   logicor          :        100+         0    1280631          0    1021638      64008    1330005          0          0          0
1800.01/1800.51	c   countsols        :          0          0          0          0    1023988          0          0          0          0          0
1800.01/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.51	c   setppc           :      70.01       0.00      15.57       0.00      54.44
1800.01/1800.51	c   and              :      94.64       0.00      82.17       0.00      12.47
1800.01/1800.51	c   linear           :     150.99       0.00     150.12       0.00       0.87
1800.01/1800.51	c   logicor          :     366.33       0.00     356.92       0.00       9.41
1800.01/1800.51	c   countsols        :       0.39       0.00       0.00       0.00       0.39
1800.01/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.51	c   vbounds          :       3.21          2          0          0
1800.01/1800.51	c   rootredcost      :       3.50          0          0          0
1800.01/1800.51	c   pseudoobj        :     462.53    6989446     276742     105776
1800.01/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.51	c   propagation      :     441.09     394320     383340    5333874       99.1        140       99.2          -
1800.01/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.51	c   applied globally :          -          -          -     521852       81.8          -          -          -
1800.01/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.51	c Pricers            :       Time      Calls       Vars
1800.01/1800.51	c   problem variables:       0.00          0          0
1800.01/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   inference        :     110.52    1023979          0          0          0          0    2047958
1800.01/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.51	c   LP solutions     :       0.00          -          0
1800.01/1800.51	c   pseudo solutions :       0.01          -          9
1800.01/1800.51	c   oneopt           :       1.03          0          0
1800.01/1800.51	c   trivial          :       0.00          2          3
1800.01/1800.51	c   simplerounding   :       0.00          0          0
1800.01/1800.51	c   zirounding       :       0.00          0          0
1800.01/1800.51	c   rounding         :       0.00          0          0
1800.01/1800.51	c   shifting         :       0.00          0          0
1800.01/1800.51	c   intshifting      :       0.00          0          0
1800.01/1800.51	c   twoopt           :       0.00          0          0
1800.01/1800.51	c   fixandinfer      :       0.00          0          0
1800.01/1800.51	c   feaspump         :       0.00          0          0
1800.01/1800.51	c   coefdiving       :       0.00          0          0
1800.01/1800.51	c   pscostdiving     :       0.00          0          0
1800.01/1800.51	c   fracdiving       :       0.00          0          0
1800.01/1800.51	c   veclendiving     :       0.00          0          0
1800.01/1800.51	c   intdiving        :       0.00          0          0
1800.01/1800.51	c   actconsdiving    :       0.00          0          0
1800.01/1800.51	c   objpscostdiving  :       0.00          0          0
1800.01/1800.51	c   rootsoldiving    :       0.00          0          0
1800.01/1800.51	c   linesearchdiving :       0.00          0          0
1800.01/1800.51	c   guideddiving     :       0.00          0          0
1800.01/1800.51	c   octane           :       0.00          0          0
1800.01/1800.51	c   rens             :       0.00          0          0
1800.01/1800.51	c   rins             :       0.00          0          0
1800.01/1800.51	c   localbranching   :       0.00          0          0
1800.01/1800.51	c   mutation         :       0.00          0          0
1800.01/1800.51	c   crossover        :       0.00          0          0
1800.01/1800.51	c   dins             :       0.00          0          0
1800.01/1800.51	c   undercover       :       0.00          0          0
1800.01/1800.51	c   nlp              :       0.66          0          0
1800.01/1800.51	c   trysol           :       0.75          0          0
1800.01/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.51	c B&B Tree           :
1800.01/1800.51	c   number of runs   :          1
1800.01/1800.51	c   nodes            :    1391041
1800.01/1800.51	c   nodes (total)    :    1391041
1800.01/1800.51	c   nodes left       :     628560
1800.01/1800.51	c   max depth        :        197
1800.01/1800.51	c   max depth (total):        197
1800.01/1800.51	c   backtracks       :      51167 (3.7%)
1800.01/1800.51	c   delayed cutoffs  :      28358
1800.01/1800.51	c   repropagations   :    3609100 (2192305 domain reductions, 27267 cutoffs)
1800.01/1800.51	c   avg switch length:       8.56
1800.01/1800.51	c   switching time   :     304.24
1800.01/1800.51	c Solution           :
1800.01/1800.51	c   Solutions found  :         12 (10 improvements)
1800.01/1800.51	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.01/1800.51	c   Primal Bound     : -1.90000000000000e+01   (in run 1, after 27471 nodes, 20.91 seconds, depth 49, found by <relaxation>)
1800.01/1800.51	c   Dual Bound       : -9.60000000000000e+01
1800.01/1800.51	c   Gap              :      80.21 %
1800.01/1800.51	c   Root Dual Bound  : -1.00000000000000e+02
1800.01/1800.51	c   Root Iterations  :          0

Verifier Data 

OK	-19

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663878-1276670317/watcher-2663878-1276670317 -o /tmp/evaluation-result-2663878-1276670317/solver-2663878-1276670317 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663878-1276670317.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.99 0.98 1.00 3/106 7384
/proc/meminfo: memFree=1768728/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=7612 CPUtime=0
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 1258 0 0 0 0 0 0 0 17 0 1 0 42633424 7794688 1181 1992294400 4194304 7136930 140736985516416 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7384/statm: 1903 1189 254 719 0 1182 0

[startup+0.0274879 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 7384
/proc/meminfo: memFree=1768728/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=9872 CPUtime=0.02
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 1944 0 0 0 2 0 0 0 17 0 1 0 42633424 10108928 1867 1992294400 4194304 7136930 140736985516416 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7384/statm: 2468 1867 272 719 0 1747 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9872

[startup+0.100496 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 7384
/proc/meminfo: memFree=1768728/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=14684 CPUtime=0.09
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 3588 0 0 0 5 4 0 0 17 0 1 0 42633424 15036416 2900 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 3671 2900 333 719 0 2950 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14684

[startup+0.300518 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 7384
/proc/meminfo: memFree=1768728/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=15704 CPUtime=0.29
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 5149 0 0 0 15 14 0 0 17 0 1 0 42633424 16080896 3176 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 3926 3176 361 719 0 3205 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15704

[startup+0.700562 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 7384
/proc/meminfo: memFree=1768728/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=17944 CPUtime=0.69
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 6011 0 0 0 48 21 0 0 17 0 1 0 42633424 18374656 3781 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 4486 3781 393 719 0 3765 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17944

[startup+1.50065 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7385
/proc/meminfo: memFree=1754088/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=19920 CPUtime=1.49
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 6506 0 0 0 124 25 0 0 18 0 1 0 42633424 20398080 4276 1992294400 4194304 7136930 140736985516416 18446744073709551615 6349892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 4980 4276 393 719 0 4259 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19920

[startup+3.10083 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7385
/proc/meminfo: memFree=1751360/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=23720 CPUtime=3.09
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 7450 0 0 0 277 32 0 0 21 0 1 0 42633424 24289280 5220 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 5930 5220 393 719 0 5209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23720

[startup+6.30118 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7387
/proc/meminfo: memFree=1741440/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=33564 CPUtime=6.29
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 9860 0 0 0 580 49 0 0 25 0 1 0 42633424 34369536 7630 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 8391 7630 393 719 0 7670 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33564

[startup+12.7009 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7387
/proc/meminfo: memFree=1725692/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=48088 CPUtime=12.69
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 13403 0 0 0 1193 76 0 0 25 0 1 0 42633424 49242112 11173 1992294400 4194304 7136930 140736985516416 18446744073709551615 5000135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 12022 11173 393 719 0 11301 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48088

[startup+25.5003 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7387
/proc/meminfo: memFree=1698412/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=77120 CPUtime=25.49
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 20444 0 0 0 2419 130 0 0 25 0 1 0 42633424 78970880 18214 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 19280 18214 393 719 0 18559 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77120

[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7387
/proc/meminfo: memFree=1623888/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=154420 CPUtime=51.08
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 38973 0 0 0 4864 244 0 0 25 0 1 0 42633424 158126080 36743 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 38605 36743 393 719 0 37884 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 154420

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7389
/proc/meminfo: memFree=1513900/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=270008 CPUtime=102.27
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 66300 0 0 0 9776 451 0 0 25 0 1 0 42633424 276488192 64070 1992294400 4194304 7136930 140736985516416 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 67502 64070 393 719 0 66781 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 270008

[startup+162.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7391
/proc/meminfo: memFree=1410236/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=379364 CPUtime=162.25
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 92008 0 0 0 15554 671 0 0 25 0 1 0 42633424 388468736 89778 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 94841 89778 393 719 0 94120 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 379364

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7391
/proc/meminfo: memFree=1228700/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=575128 CPUtime=222.24
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 137189 0 0 0 21292 932 0 0 25 0 1 0 42633424 588931072 134959 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 143782 134959 393 719 0 143061 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 575128

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7393
/proc/meminfo: memFree=1063036/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=748964 CPUtime=282.21
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 179255 0 0 0 27032 1189 0 0 25 0 1 0 42633424 766939136 177025 1992294400 4194304 7136930 140736985516416 18446744073709551615 4740383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 187241 177025 393 719 0 186520 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 748964

[startup+342.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7395
/proc/meminfo: memFree=902084/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=914552 CPUtime=342.2
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 218617 0 0 0 32783 1437 0 0 25 0 1 0 42633424 936501248 216387 1992294400 4194304 7136930 140736985516416 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 228638 216387 393 719 0 227917 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 914552

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7397
/proc/meminfo: memFree=782796/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1032780 CPUtime=402.19
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 249011 0 0 0 38531 1688 0 0 25 0 1 0 42633424 1057566720 246781 1992294400 4194304 7136930 140736985516416 18446744073709551615 4979353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 258195 246781 393 719 0 257474 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1032780

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7399
/proc/meminfo: memFree=684464/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1127128 CPUtime=462.17
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 272848 0 0 0 44302 1915 0 0 25 0 1 0 42633424 1154179072 270618 1992294400 4194304 7136930 140736985516416 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 281782 270618 393 719 0 281061 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1127128

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7399
/proc/meminfo: memFree=618744/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1203776 CPUtime=522.15
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 289228 0 0 0 50100 2115 0 0 25 0 1 0 42633424 1232666624 286998 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 300944 286998 393 719 0 300223 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1203776

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7401
/proc/meminfo: memFree=497100/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1326164 CPUtime=582.14
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 319919 0 0 0 55864 2350 0 0 25 0 1 0 42633424 1357991936 317689 1992294400 4194304 7136930 140736985516416 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 331541 317689 393 719 0 330820 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1326164

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7403
/proc/meminfo: memFree=419724/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1399364 CPUtime=642.13
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 338823 0 0 0 61643 2570 0 0 25 0 1 0 42633424 1432948736 336593 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 349841 336593 393 719 0 349120 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1399364

[startup+702.301 s]

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

/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 374887 0 0 0 96137 4065 0 0 25 0 1 0 42633424 1571991552 370117 1992294400 4194304 7136930 140736985516416 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 383787 370117 393 719 0 383066 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1535148

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7415
/proc/meminfo: memFree=282704/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1537284 CPUtime=1062.01
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 375424 0 0 0 101943 4258 0 0 25 0 1 0 42633424 1574178816 370654 1992294400 4194304 7136930 140736985516416 18446744073709551615 4998728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 384321 370654 393 719 0 383600 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1537284

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7415
/proc/meminfo: memFree=281216/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1538844 CPUtime=1122
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 375817 0 0 0 107789 4411 0 0 25 0 1 0 42633424 1575776256 371047 1992294400 4194304 7136930 140736985516416 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 384711 371047 393 719 0 383990 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1538844

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7417
/proc/meminfo: memFree=277124/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1542956 CPUtime=1181.98
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 376971 0 0 0 113514 4684 0 0 25 0 1 0 42633424 1579986944 372031 1992294400 4194304 7136930 140736985516416 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 385739 372031 393 719 0 385018 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1542956

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7419
/proc/meminfo: memFree=272784/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1547068 CPUtime=1241.96
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 377999 0 0 0 119309 4887 0 0 25 0 1 0 42633424 1584197632 373059 1992294400 4194304 7136930 140736985516416 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 386767 373059 393 719 0 386046 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1547068

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7421
/proc/meminfo: memFree=270552/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1549304 CPUtime=1301.95
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 378557 0 0 0 125081 5114 0 0 25 0 1 0 42633424 1586487296 373617 1992294400 4194304 7136930 140736985516416 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 387326 373617 393 719 0 386605 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1549304

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7432
/proc/meminfo: memFree=269560/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1549304 CPUtime=1361.91
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 378557 0 0 0 130882 5309 0 0 25 0 1 0 42633424 1586487296 373617 1992294400 4194304 7136930 140736985516416 18446744073709551615 4221373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 387326 373617 393 719 0 386605 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1549304

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7432
/proc/meminfo: memFree=269436/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1550064 CPUtime=1421.9
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 378747 0 0 0 136704 5486 0 0 25 0 1 0 42633424 1587265536 373807 1992294400 4194304 7136930 140736985516416 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 387516 373807 393 719 0 386795 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1550064

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7434
/proc/meminfo: memFree=268320/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1551088 CPUtime=1481.88
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 379004 0 0 0 142543 5645 0 0 25 0 1 0 42633424 1588314112 374064 1992294400 4194304 7136930 140736985516416 18446744073709551615 4210552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 387772 374064 393 719 0 387051 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1551088

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7436
/proc/meminfo: memFree=267948/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1551476 CPUtime=1541.87
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 379108 0 0 0 148398 5789 0 0 25 0 1 0 42633424 1588711424 374168 1992294400 4194304 7136930 140736985516416 18446744073709551615 4999890 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 387869 374168 393 719 0 387148 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1551476

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7438
/proc/meminfo: memFree=267824/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1551476 CPUtime=1601.85
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 379110 0 0 0 154209 5976 0 0 25 0 1 0 42633424 1588711424 374170 1992294400 4194304 7136930 140736985516416 18446744073709551615 4210585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 387869 374170 393 719 0 387148 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1551476

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7440
/proc/meminfo: memFree=267824/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1551476 CPUtime=1661.84
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 379111 0 0 0 160029 6155 0 0 25 0 1 0 42633424 1588711424 374171 1992294400 4194304 7136930 140736985516416 18446744073709551615 4210566 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 387869 374171 393 719 0 387148 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1551476

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7440
/proc/meminfo: memFree=267824/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1551476 CPUtime=1721.82
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 379111 0 0 0 165869 6313 0 0 25 0 1 0 42633424 1588711424 374171 1992294400 4194304 7136930 140736985516416 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 387869 374171 393 719 0 387148 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1551476

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7442
/proc/meminfo: memFree=267824/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1551476 CPUtime=1781.81
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 379111 0 0 0 171726 6455 0 0 25 0 1 0 42633424 1588711424 374171 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 387869 374171 393 719 0 387148 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1551476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 7442
/proc/meminfo: memFree=267824/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1551476 CPUtime=1800.01
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 379111 0 0 0 173507 6494 0 0 25 0 1 0 42633424 1588711424 374171 1992294400 4194304 7136930 140736985516416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7384/statm: 387869 374171 393 719 0 387148 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1551476

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -7384

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 7443
/proc/meminfo: memFree=267816/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1551476 CPUtime=1800.9
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 379116 0 0 0 173596 6494 0 0 25 0 1 0 42633424 1588711424 374176 1992294400 4194304 7136930 140736985516416 18446744073709551615 6166190 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7384/statm: 387869 374176 398 719 0 387148 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 1551476

[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 7443
/proc/meminfo: memFree=267816/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=1551476 CPUtime=1801.7
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4202496 379116 0 0 0 173676 6494 0 0 25 0 1 0 42633424 1588711424 374176 1992294400 4194304 7136930 140736985516416 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7384/statm: 387869 374176 398 719 0 387148 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 1551476

[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 7443
/proc/meminfo: memFree=267816/2059040 swapFree=4140260/4192956
[pid=7384] ppid=7382 vsize=0 CPUtime=1802.1
/proc/7384/stat : 7384 (pbscip.linux.x8) R 7382 7384 7022 0 -1 4203524 379116 0 0 0 173707 6503 0 0 25 0 1 0 42633424 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/7384/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.17
CPU user time (s): 1737.07
CPU system time (s): 65.0971
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1551476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1737.07
system time used= 65.0971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379116
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= 3
involuntary context switches= 2474

runsolver used 2.77958 second user time and 8.71867 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-16 08:38:37
IDJOB=2663878
IDBENCH=48251
IDSOLVER=1167
FILE ID=node009/2663878-1276670317
PBS_JOBID= 11172511
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663878-1276670317/watcher-2663878-1276670317 -o /tmp/evaluation-result-2663878-1276670317/solver-2663878-1276670317 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663878-1276670317.opb -t 1800 -m 1800

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

MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de
RANDOM SEED=599121378

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1769256 kB
Buffers:         66844 kB
Cached:         128416 kB
SwapCached:       6204 kB
Active:         102632 kB
Inactive:       105964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1769256 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:            3296 kB
Writeback:           0 kB
AnonPages:       11740 kB
Mapped:          13068 kB
Slab:            59432 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180496 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= 62552 MiB
End job on node009 at 2010-06-16 09:08:39