Trace number 2663734

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)30 1802.24 1802.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_1.opb
MD5SUM7c4476530a00e5609896ce3ef5260c8d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark1789.56
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
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)2482
Sum of products size (including duplicates)4964
Number of different products2482
Sum of products size4964

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-2663734-1276651391.opb>
0.00/0.03	c original problem has 2682 variables (2682 bin, 0 int, 0 impl, 0 cont) and 2682 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/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.00/0.06	c presolving:
0.19/0.30	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 71030 impls, 0 clqs
0.49/0.53	c    (0.3s) probing: 101/2682 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.53	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.53	c presolving (2 rounds):
0.49/0.53	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.53	c  71030 implications, 0 cliques
0.49/0.53	c presolved problem has 2682 variables (2682 bin, 0 int, 0 impl, 0 cont) and 2682 constraints
0.49/0.53	c    2482 constraints of type <and>
0.49/0.53	c     200 constraints of type <logicor>
0.49/0.53	c transformed objective value is always integral (scale: 1)
0.49/0.53	c Presolving Time: 0.30
0.49/0.53	c - non default parameters ----------------------------------------------------------------------
0.49/0.53	c # SCIP version 1.2.1.2
0.49/0.53	c 
0.49/0.53	c # frequency for displaying node information lines
0.49/0.53	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.53	c display/freq = 10000
0.49/0.53	c 
0.49/0.53	c # maximal time in seconds to run
0.49/0.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53	c limits/time = 1799.98
0.49/0.53	c 
0.49/0.53	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53	c limits/memory = 1620
0.49/0.53	c 
0.49/0.53	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.53	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.53	c lp/solvefreq = -1
0.49/0.53	c 
0.49/0.53	c # should presolving try to simplify inequalities
0.49/0.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.53	c constraints/linear/simplifyinequalities = TRUE
0.49/0.53	c 
0.49/0.53	c # should presolving try to simplify knapsacks
0.49/0.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.53	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.53	c 
0.49/0.53	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.53	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.53	c heuristics/undercover/freq = 0
0.49/0.53	c 
0.49/0.53	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.53	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.53	c separating/rapidlearning/freq = 0
0.49/0.53	c 
0.49/0.53	c -----------------------------------------------------------------------------------------------
0.49/0.53	c start solving
0.49/0.53	c 
0.49/0.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.53	c   0.3s|     1 |     2 |     0 |     - |8779k|   0 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
15.49/15.55	c  15.1s| 10000 | 10001 |     0 |   0.0 |  18M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
29.98/30.01	c  29.3s| 20000 | 20001 |     0 |   0.0 |  28M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
43.68/43.75	c  42.8s| 30000 | 30001 |     0 |   0.0 |  38M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
56.87/56.94	c  55.7s| 40000 | 40001 |     0 |   0.0 |  48M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
69.47/69.58	c  68.0s| 50000 | 50001 |     0 |   0.0 |  58M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
81.66/81.73	c  79.9s| 60000 | 60001 |     0 |   0.0 |  68M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
93.38/93.47	c  91.4s| 70000 | 70001 |     0 |   0.0 |  78M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
104.76/104.88	c   103s| 80000 | 80001 |     0 |   0.0 |  88M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
115.77/115.88	c   113s| 90000 | 90001 |     0 |   0.0 |  98M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
126.65/126.76	c   124s|100000 |100001 |     0 |   0.0 | 109M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
137.56/137.67	c   135s|110000 |110001 |     0 |   0.0 | 120M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
148.46/148.53	c   145s|120000 |120001 |     0 |   0.0 | 130M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
159.15/159.20	c   156s|130000 |130001 |     0 |   0.0 | 141M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
169.05/169.17	c   165s|140000 |140001 |     0 |   0.0 | 152M| 146 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
179.15/179.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
179.15/179.27	c   175s|150000 |150001 |     0 |   0.0 | 164M| 150 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
192.35/192.45	c   188s|160000 |160001 |     0 |   0.0 | 173M| 150 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
207.54/207.62	c   203s|170000 |170001 |     0 |   0.0 | 182M| 150 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
222.43/222.59	c   218s|180000 |180001 |     0 |   0.0 | 190M| 150 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
236.93/237.08	c   232s|190000 |190001 |     0 |   0.0 | 199M| 150 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
251.43/251.58	c   246s|200000 |200001 |     0 |   0.0 | 209M| 150 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
265.83/265.97	c   261s|210000 |210001 |     0 |   0.0 | 218M| 150 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
280.02/280.14	c   274s|220000 |220001 |     0 |   0.0 | 228M| 150 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
294.23/294.34	c   288s|230000 |230001 |     0 |   0.0 | 237M| 150 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
308.33/308.45	c   302s|240000 |240001 |     0 |   0.0 | 245M| 150 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
321.81/321.93	c   316s|250000 |250001 |     0 |   0.0 | 255M| 150 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
334.91/335.09	c   329s|260000 |260001 |     0 |   0.0 | 264M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
348.11/348.25	c   341s|270000 |270001 |     0 |   0.0 | 274M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
361.20/361.36	c   354s|280000 |280001 |     0 |   0.0 | 284M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
374.31/374.46	c   367s|290000 |290001 |     0 |   0.0 | 294M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
387.50/387.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
387.50/387.60	c   380s|300000 |300001 |     0 |   0.0 | 304M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
400.30/400.48	c   393s|310000 |310001 |     0 |   0.0 | 314M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
413.51/413.67	c   406s|320000 |320001 |     0 |   0.0 | 324M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
426.40/426.56	c   418s|330000 |330001 |     0 |   0.0 | 334M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
439.30/439.40	c   431s|340000 |340001 |     0 |   0.0 | 344M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
451.90/452.00	c   443s|350000 |350001 |     0 |   0.0 | 354M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
464.48/464.62	c   456s|360000 |360001 |     0 |   0.0 | 364M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
477.09/477.21	c   468s|370000 |370001 |     0 |   0.0 | 374M| 152 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
489.48/489.63	c   480s|380000 |380001 |     0 |   0.0 | 384M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
501.88/502.06	c   492s|390000 |390001 |     0 |   0.0 | 394M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
514.27/514.48	c   504s|400000 |400001 |     0 |   0.0 | 404M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
526.57/526.79	c   516s|410000 |410001 |     0 |   0.0 | 413M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
538.87/539.04	c   528s|420000 |420001 |     0 |   0.0 | 423M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
551.06/551.22	c   540s|430000 |430001 |     0 |   0.0 | 433M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
563.36/563.57	c   552s|440000 |440001 |     0 |   0.0 | 443M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
575.56/575.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
575.56/575.76	c   564s|450000 |450001 |     0 |   0.0 | 453M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
587.76/587.96	c   576s|460000 |460001 |     0 |   0.0 | 462M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
599.86/600.05	c   588s|470000 |470001 |     0 |   0.0 | 472M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
611.76/611.98	c   600s|480000 |480001 |     0 |   0.0 | 482M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
623.75/623.95	c   612s|490000 |490001 |     0 |   0.0 | 492M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
635.75/635.90	c   623s|500000 |500001 |     0 |   0.0 | 501M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
647.44/647.69	c   635s|510000 |510001 |     0 |   0.0 | 511M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
659.35/659.56	c   646s|520000 |520001 |     0 |   0.0 | 521M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
671.23/671.48	c   658s|530000 |530001 |     0 |   0.0 | 531M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
683.14/683.39	c   670s|540000 |540001 |     0 |   0.0 | 540M| 155 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
694.94/695.18	c   681s|550000 |550001 |     0 |   0.0 | 550M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
706.83/707.07	c   693s|560000 |560001 |     0 |   0.0 | 560M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
718.83/719.05	c   705s|570000 |570001 |     0 |   0.0 | 570M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
730.62/730.88	c   716s|580000 |580001 |     0 |   0.0 | 580M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
742.43/742.69	c   728s|590000 |590001 |     0 |   0.0 | 590M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
754.12/754.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
754.12/754.35	c   739s|600000 |600001 |     0 |   0.0 | 600M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
765.82/766.08	c   751s|610000 |610001 |     0 |   0.0 | 610M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
777.52/777.73	c   762s|620000 |620001 |     0 |   0.0 | 620M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
789.21/789.43	c   773s|630000 |630001 |     0 |   0.0 | 630M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
800.91/801.13	c   785s|640000 |640001 |     0 |   0.0 | 640M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
812.41/812.68	c   796s|650000 |650001 |     0 |   0.0 | 650M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
823.90/824.11	c   807s|660000 |660001 |     0 |   0.0 | 660M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
835.40/835.63	c   819s|670000 |670001 |     0 |   0.0 | 670M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
846.90/847.16	c   830s|680000 |680001 |     0 |   0.0 | 680M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
858.40/858.64	c   841s|690000 |690001 |     0 |   0.0 | 690M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
869.70/869.99	c   852s|700000 |700001 |     0 |   0.0 | 699M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
881.19/881.42	c   863s|710000 |710001 |     0 |   0.0 | 709M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
892.49/892.70	c   875s|720000 |720001 |     0 |   0.0 | 719M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
903.69/903.99	c   886s|730000 |730001 |     0 |   0.0 | 729M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
915.08/915.32	c   897s|740000 |740001 |     0 |   0.0 | 739M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
926.38/926.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
926.38/926.61	c   908s|750000 |750001 |     0 |   0.0 | 749M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
937.58/937.87	c   919s|760000 |760001 |     0 |   0.0 | 759M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
948.77/949.03	c   930s|770000 |770001 |     0 |   0.0 | 769M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
959.98/960.26	c   941s|780000 |780001 |     0 |   0.0 | 779M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
971.17/971.46	c   951s|790000 |790001 |     0 |   0.0 | 789M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
982.38/982.70	c   962s|800000 |800001 |     0 |   0.0 | 799M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
993.57/993.84	c   973s|810000 |810001 |     0 |   0.0 | 809M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
1004.76/1005.00	c   984s|820000 |820001 |     0 |   0.0 | 819M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
1015.86/1016.14	c   995s|830000 |830001 |     0 |   0.0 | 828M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
1026.96/1027.22	c  1006s|840000 |840001 |     0 |   0.0 | 838M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
1038.07/1038.36	c  1017s|850000 |850001 |     0 |   0.0 | 848M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
1049.17/1049.47	c  1028s|860000 |860001 |     0 |   0.0 | 858M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
1060.26/1060.52	c  1038s|870000 |870001 |     0 |   0.0 | 868M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
1071.45/1071.70	c  1049s|880000 |880001 |     0 |   0.0 | 878M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
1082.45/1082.74	c  1060s|890000 |890001 |     0 |   0.0 | 887M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
1093.55/1093.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1093.55/1093.81	c  1071s|900000 |900001 |     0 |   0.0 | 897M| 157 |   - |2682 |2682 |   0 |   0 |   0 |   0 |   0 | 2.000000e+00 |      --      |    Inf 
1104.54/1104.85	c  1082s|910000 |909999 |     0 |   0.0 | 907M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1115.55/1115.81	c  1093s|920000 |919999 |     0 |   0.0 | 917M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1126.54/1126.84	c  1103s|930000 |929999 |     0 |   0.0 | 927M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1137.54/1137.81	c  1114s|940000 |939999 |     0 |   0.0 | 937M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1148.43/1148.77	c  1125s|950000 |949999 |     0 |   0.0 | 947M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1159.43/1159.70	c  1135s|960000 |959999 |     0 |   0.0 | 957M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1170.33/1170.60	c  1146s|970000 |969999 |     0 |   0.0 | 968M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1181.23/1181.52	c  1157s|980000 |979999 |     0 |   0.0 | 978M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1192.03/1192.33	c  1167s|990000 |989999 |     0 |   0.0 | 987M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1202.82/1203.11	c  1178s|  1000k|999999 |     0 |   0.0 | 997M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1213.63/1213.90	c  1188s|  1010k|  1009k|     0 |   0.0 |1007M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1224.32/1224.67	c  1199s|  1020k|  1019k|     0 |   0.0 |1016M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1235.12/1235.45	c  1209s|  1030k|  1029k|     0 |   0.0 |1026M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1245.92/1246.23	c  1220s|  1040k|  1039k|     0 |   0.0 |1036M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1256.61/1256.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1256.61/1256.95	c  1230s|  1050k|  1049k|     0 |   0.0 |1046M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1267.31/1267.60	c  1241s|  1060k|  1059k|     0 |   0.0 |1055M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1277.92/1278.28	c  1251s|  1070k|  1069k|     0 |   0.0 |1065M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1288.61/1288.99	c  1262s|  1080k|  1079k|     0 |   0.0 |1075M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1299.30/1299.62	c  1272s|  1090k|  1089k|     0 |   0.0 |1085M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1310.00/1310.32	c  1283s|  1100k|  1099k|     0 |   0.0 |1095M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1320.60/1320.90	c  1293s|  1110k|  1109k|     0 |   0.0 |1105M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1331.09/1331.43	c  1303s|  1120k|  1119k|     0 |   0.0 |1114M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1341.60/1341.96	c  1313s|  1130k|  1129k|     0 |   0.0 |1124M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1352.19/1352.52	c  1324s|  1140k|  1139k|     0 |   0.0 |1134M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1362.69/1363.04	c  1334s|  1150k|  1149k|     0 |   0.0 |1144M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1373.29/1373.60	c  1344s|  1160k|  1159k|     0 |   0.0 |1154M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1383.78/1384.15	c  1355s|  1170k|  1169k|     0 |   0.0 |1164M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1394.39/1394.70	c  1365s|  1180k|  1179k|     0 |   0.0 |1175M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1404.88/1405.23	c  1375s|  1190k|  1189k|     0 |   0.0 |1185M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1415.38/1415.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1415.38/1415.71	c  1385s|  1200k|  1199k|     0 |   0.0 |1195M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1425.88/1426.23	c  1396s|  1210k|  1209k|     0 |   0.0 |1205M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1436.38/1436.76	c  1406s|  1220k|  1219k|     0 |   0.0 |1215M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1446.87/1447.29	c  1416s|  1230k|  1229k|     0 |   0.0 |1226M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1457.37/1457.77	c  1426s|  1240k|  1239k|     0 |   0.0 |1236M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1467.87/1468.25	c  1437s|  1250k|  1249k|     0 |   0.0 |1246M| 157 |   - |2682 |2683 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 |      --      |    Inf 
1478.37/1478.75	c  1447s|  1260k|  1259k|     0 |   0.0 |1257M| 157 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 |      --      |    Inf 
1488.77/1489.10	c  1457s|  1270k|  1269k|     0 |   0.0 |1267M| 157 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 |      --      |    Inf 
1499.16/1499.51	c  1467s|  1280k|  1279k|     0 |   0.0 |1277M| 157 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 |      --      |    Inf 
1509.46/1509.84	c  1477s|  1290k|  1289k|     0 |   0.0 |1288M| 157 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 |      --      |    Inf 
1519.86/1520.27	c  1487s|  1300k|  1299k|     0 |   0.0 |1298M| 157 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 |      --      |    Inf 
1530.25/1530.68	c  1498s|  1310k|  1309k|     0 |   0.0 |1308M| 157 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 |      --      |    Inf 
1540.75/1541.16	c  1508s|  1320k|  1319k|     0 |   0.0 |1319M| 157 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 |      --      |    Inf 
1551.25/1551.61	c  1518s|  1330k|  1329k|     0 |   0.0 |1329M| 157 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 |      --      |    Inf 
1561.45/1561.88	c  1528s|  1340k|  1339k|     0 |   0.0 |1339M| 157 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 |      --      |    Inf 
1571.75/1572.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1571.75/1572.17	c  1538s|  1350k|  1349k|     0 |   0.0 |1349M| 157 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 |      --      |    Inf 
1581.35/1581.71	c (node 1359445) switching to memory saving mode (mem: 1296.0M/1620.0M)
1581.75/1582.12	o 41
1581.75/1582.12	c *1548s|  1359k|  1359k|     0 |   0.0 |1359M| 182 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 | 4.100000e+01 |1950.00%
1581.75/1582.17	o 40
1581.75/1582.17	c *1548s|  1359k|  1359k|     0 |   0.0 |1359M| 182 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 | 4.000000e+01 |1900.00%
1581.85/1582.22	o 39
1581.85/1582.22	c *1548s|  1359k|  1359k|     0 |   0.0 |1359M| 182 |   - |2682 |2684 |   0 |   0 |   0 |   2 |   0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1581.85/1582.28	o 38
1581.85/1582.28	c *1548s|  1359k|  1359k|     0 |   0.0 |1359M| 182 |   - |2682 |2694 |   0 |   0 |   0 |  12 |   0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1583.65/1584.09	o 37
1583.65/1584.09	c *1550s|  1359k|  1359k|     0 |   0.0 |1360M| 182 |   - |2682 |3286 |   0 |   0 |   0 | 858 |   0 | 2.000000e+00 | 3.700000e+01 |1750.00%
1583.94/1584.32	o 36
1583.94/1584.32	c *1550s|  1359k|  1359k|     0 |   0.0 |1360M| 182 |   - |2682 |3325 |   0 |   0 |   0 | 918 |   0 | 2.000000e+00 | 3.600000e+01 |1700.00%
1584.45/1584.87	o 35
1584.45/1584.87	c *1550s|  1359k|  1359k|     0 |   0.0 |1360M| 182 |   - |2682 |3347 |   0 |   0 |   0 |1016 |   0 | 2.000000e+00 | 3.500000e+01 |1650.00%
1585.74/1586.18	c  1552s|  1360k|  1359k|     0 |   0.0 |1360M| 182 |   - |2682 |3610 |   0 |   0 |   0 |1456 |   0 | 2.000000e+00 | 3.500000e+01 |1650.00%
1585.85/1586.23	o 34
1585.85/1586.23	c *1552s|  1360k|  1359k|     0 |   0.0 |1360M| 182 |   - |2682 |3610 |   0 |   0 |   0 |1456 |   0 | 2.000000e+00 | 3.400000e+01 |1600.00%
1601.43/1601.88	o 32
1601.43/1601.88	c *1567s|  1361k|  1359k|     0 |   0.0 |1361M| 182 |   - |2682 |4307 |   0 |   0 |   0 |5045 |   0 | 2.000000e+00 | 3.200000e+01 |1500.00%
1660.63/1661.02	o 31
1660.63/1661.02	c *1626s|  1367k|  1359k|     0 |   0.0 |1365M| 182 |   - |2682 |6765 |   0 |   0 |   0 |  15k|   0 | 2.000000e+00 | 3.100000e+01 |1450.00%
1687.62/1688.08	o 30
1687.62/1688.08	c *1653s|  1369k|  1359k|     0 |   0.0 |1366M| 182 |   - |2682 |6875 |   0 |   0 |   0 |  20k|   0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1689.71/1690.11	c  1655s|  1370k|  1359k|     0 |   0.0 |1366M| 182 |   - |2682 |7071 |   0 |   0 |   0 |  21k|   0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1781.20/1781.61	c  1746s|  1380k|  1359k|     0 |   0.0 |1372M| 187 |   - |2682 |  11k|   0 |   0 |   0 |  39k|   0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1800.10/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.50	c 
1800.10/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.50	c Solving Time (sec) : 1765.08
1800.10/1800.50	c Solving Nodes      : 1382156
1800.10/1800.50	c Primal Bound       : +3.00000000000000e+01 (11 solutions)
1800.10/1800.50	c Dual Bound         : +2.00000000000000e+00
1800.10/1800.50	c Gap                : 1400.00 %
1800.10/1800.51	s SATISFIABLE
1800.10/1800.51	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1800.10/1800.51	v -x178 -x177 x176 -x175 x174 -x173 -x172 -x171 x170 -x169 -x168 x167 -x166 x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 
1800.10/1800.51	v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 x140 -x139 x138 -x137 -x136 
1800.10/1800.51	v -x135 -x134 -x133 x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 
1800.10/1800.51	v x114 -x113 x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
1800.10/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.10/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 -x39 
1800.10/1800.51	v -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 
1800.10/1800.51	v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.10/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.51	c Solving Time       :    1765.08
1800.10/1800.51	c Original Problem   :
1800.10/1800.51	c   Problem name     : HOME/instance-2663734-1276651391.opb
1800.10/1800.51	c   Variables        : 2682 (2682 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.51	c   Constraints      : 2682 initial, 2682 maximal
1800.10/1800.51	c Presolved Problem  :
1800.10/1800.51	c   Problem name     : t_HOME/instance-2663734-1276651391.opb
1800.10/1800.51	c   Variables        : 2682 (2682 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.51	c   Constraints      : 2682 initial, 11969 maximal
1800.10/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.51	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.10/1800.51	c   and              :       0.22          0          0          0          0          0          0          0          0
1800.10/1800.51	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.10/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.10/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.51	c   and              :       2482          0    3927970          0    1375288       2706   18696941          0          0          0
1800.10/1800.51	c   logicor          :        200+         0     605414          0    1375299       7404     130575          0          0          0
1800.10/1800.51	c   countsols        :          0          0          0          0    1375299          0          0          0          0          0
1800.10/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.51	c   and              :     384.12       0.00     359.21       0.00      24.91
1800.10/1800.51	c   logicor          :     352.96       0.00     115.58       0.00     237.38
1800.10/1800.51	c   countsols        :       0.84       0.00       0.00       0.00       0.84
1800.10/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.51	c   vbounds          :       2.07          2          0          0
1800.10/1800.51	c   rootredcost      :       1.84          0          0          0
1800.10/1800.51	c   pseudoobj        :     101.71    3930898       3106     132396
1800.10/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.51	c   propagation      :     189.32      13216      13216    1511964      278.5         39       95.8          -
1800.10/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.51	c   pseudo solution  :       0.01          1          1        115      294.5          0        0.0          -
1800.10/1800.51	c   applied globally :          -          -          -      42776      125.0          -          -          -
1800.10/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.10/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.10/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.10/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.10/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.10/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.10/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.10/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.10/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.10/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.10/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.10/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.10/1800.51	c Pricers            :       Time      Calls       Vars
1800.10/1800.51	c   problem variables:       0.00          0          0
1800.10/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.10/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.51	c   inference        :     772.85    1375288          0          0          0          0    2750576
1800.10/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.51	c   LP solutions     :       0.00          -          0
1800.10/1800.51	c   pseudo solutions :       0.55          -         11
1800.10/1800.51	c   oneopt           :       0.77          0          0
1800.10/1800.51	c   trivial          :       0.01          2          0
1800.10/1800.51	c   simplerounding   :       0.00          0          0
1800.10/1800.51	c   zirounding       :       0.00          0          0
1800.10/1800.51	c   rounding         :       0.00          0          0
1800.10/1800.51	c   shifting         :       0.00          0          0
1800.10/1800.51	c   intshifting      :       0.00          0          0
1800.10/1800.51	c   twoopt           :       0.00          0          0
1800.10/1800.51	c   fixandinfer      :       0.00          0          0
1800.10/1800.51	c   feaspump         :       0.00          0          0
1800.10/1800.51	c   coefdiving       :       0.00          0          0
1800.10/1800.51	c   pscostdiving     :       0.00          0          0
1800.10/1800.51	c   fracdiving       :       0.00          0          0
1800.10/1800.51	c   veclendiving     :       0.00          0          0
1800.10/1800.51	c   intdiving        :       0.00          0          0
1800.10/1800.51	c   actconsdiving    :       0.00          0          0
1800.10/1800.51	c   objpscostdiving  :       0.00          0          0
1800.10/1800.51	c   rootsoldiving    :       0.00          0          0
1800.10/1800.51	c   linesearchdiving :       0.00          0          0
1800.10/1800.51	c   guideddiving     :       0.00          0          0
1800.10/1800.51	c   octane           :       0.00          0          0
1800.10/1800.51	c   rens             :       0.00          0          0
1800.10/1800.51	c   rins             :       0.00          0          0
1800.10/1800.51	c   localbranching   :       0.00          0          0
1800.10/1800.51	c   mutation         :       0.00          0          0
1800.10/1800.51	c   crossover        :       0.00          0          0
1800.10/1800.51	c   dins             :       0.00          0          0
1800.10/1800.51	c   undercover       :       0.00          0          0
1800.10/1800.51	c   nlp              :       1.55          0          0
1800.10/1800.51	c   trysol           :       0.59          0          0
1800.10/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.10/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.10/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.10/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.10/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.10/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.10/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.51	c B&B Tree           :
1800.10/1800.51	c   number of runs   :          1
1800.10/1800.51	c   nodes            :    1382156
1800.10/1800.51	c   nodes (total)    :    1382156
1800.10/1800.51	c   nodes left       :    1359496
1800.10/1800.51	c   max depth        :        187
1800.10/1800.51	c   max depth (total):        187
1800.10/1800.51	c   backtracks       :      25295 (1.8%)
1800.10/1800.51	c   delayed cutoffs  :       8903
1800.10/1800.51	c   repropagations   :      23855 (1067959 domain reductions, 6360 cutoffs)
1800.10/1800.51	c   avg switch length:       2.89
1800.10/1800.51	c   switching time   :      77.04
1800.10/1800.51	c Solution           :
1800.10/1800.51	c   Solutions found  :         11 (11 improvements)
1800.10/1800.51	c   First Solution   : +4.10000000000000e+01   (in run 1, after 1359522 nodes, 1547.64 seconds, depth 182, found by <relaxation>)
1800.10/1800.51	c   Primal Bound     : +3.00000000000000e+01   (in run 1, after 1369761 nodes, 1653.14 seconds, depth 175, found by <relaxation>)
1800.10/1800.51	c   Dual Bound       : +2.00000000000000e+00
1800.10/1800.51	c   Gap              :    1400.00 %
1800.10/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.10/1800.51	c   Root Iterations  :          0

Verifier Data 

OK	30

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.10 1.98 1.89 3/106 13063
/proc/meminfo: memFree=1801700/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=6584 CPUtime=0
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 999 0 0 0 0 0 0 0 20 0 1 0 6434476 6742016 921 1992294400 4194304 7136930 140733623103600 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13063/statm: 1646 931 254 719 0 925 0

[startup+0.0857501 s]
/proc/loadavg: 1.10 1.98 1.89 3/106 13063
/proc/meminfo: memFree=1801700/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=20316 CPUtime=0.08
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 4678 0 0 0 7 1 0 0 20 0 1 0 6434476 20803584 4246 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 5079 4246 328 719 0 4358 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20316

[startup+0.10175 s]
/proc/loadavg: 1.10 1.98 1.89 3/106 13063
/proc/meminfo: memFree=1801700/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=21080 CPUtime=0.09
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 4869 0 0 0 8 1 0 0 20 0 1 0 6434476 21585920 4437 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 5270 4437 328 719 0 4549 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21080

[startup+0.301764 s]
/proc/loadavg: 1.10 1.98 1.89 3/106 13063
/proc/meminfo: memFree=1801700/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=22760 CPUtime=0.29
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 6100 0 0 0 19 10 0 0 20 0 1 0 6434476 23306240 4897 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 5690 4897 348 719 0 4969 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22760

[startup+0.701791 s]
/proc/loadavg: 1.10 1.98 1.89 3/106 13063
/proc/meminfo: memFree=1801700/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=24948 CPUtime=0.7
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 6963 0 0 0 50 20 0 0 21 0 1 0 6434476 25546752 5503 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 6237 5503 381 719 0 5516 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 24948

[startup+1.50184 s]
/proc/loadavg: 1.10 1.98 1.89 2/107 13064
/proc/meminfo: memFree=1780860/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=25364 CPUtime=1.49
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 7079 0 0 0 129 20 0 0 23 0 1 0 6434476 25972736 5619 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 6341 5619 381 719 0 5620 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25364

[startup+3.10094 s]
/proc/loadavg: 1.09 1.97 1.89 2/107 13064
/proc/meminfo: memFree=1779620/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=26788 CPUtime=3.09
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 7425 0 0 0 286 23 0 0 25 0 1 0 6434476 27430912 5965 1992294400 4194304 7136930 140733623103600 18446744073709551615 4436495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 6697 5965 381 719 0 5976 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26788

[startup+6.30115 s]
/proc/loadavg: 1.09 1.97 1.89 2/107 13064
/proc/meminfo: memFree=1776520/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=29496 CPUtime=6.29
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 8108 0 0 0 600 29 0 0 25 0 1 0 6434476 30203904 6648 1992294400 4194304 7136930 140733623103600 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 7374 6648 381 719 0 6653 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29496

[startup+12.7006 s]
/proc/loadavg: 1.08 1.93 1.88 2/107 13064
/proc/meminfo: memFree=1770940/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=34688 CPUtime=12.69
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 9402 0 0 0 1230 39 0 0 25 0 1 0 6434476 35520512 7942 1992294400 4194304 7136930 140733623103600 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 8672 7942 381 719 0 7951 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34688

[startup+25.5014 s]
/proc/loadavg: 1.07 1.90 1.87 2/107 13064
/proc/meminfo: memFree=1762508/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=42892 CPUtime=25.48
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 11488 0 0 0 2489 59 0 0 25 0 1 0 6434476 43921408 10028 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 10723 10028 381 719 0 10002 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42892

[startup+51.101 s]
/proc/loadavg: 1.04 1.83 1.84 2/107 13064
/proc/meminfo: memFree=1740188/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=65328 CPUtime=51.08
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 17198 0 0 0 5001 107 0 0 25 0 1 0 6434476 66895872 15738 1992294400 4194304 7136930 140733623103600 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 16332 15738 381 719 0 15611 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 65328

[startup+102.308 s]
/proc/loadavg: 1.02 1.69 1.79 2/107 13066
/proc/meminfo: memFree=1696788/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=109400 CPUtime=102.27
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 27869 0 0 0 10009 218 0 0 25 0 1 0 6434476 112025600 26409 1992294400 4194304 7136930 140733623103600 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 27350 26409 381 719 0 26629 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 109400

[startup+162.301 s]
/proc/loadavg: 1.00 1.57 1.74 2/107 13068
/proc/meminfo: memFree=1634168/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=172024 CPUtime=162.25
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 43732 0 0 0 15867 358 0 0 25 0 1 0 6434476 176152576 42272 1992294400 4194304 7136930 140733623103600 18446744073709551615 5892251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 43006 42272 381 719 0 42285 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 172024

[startup+222.301 s]
/proc/loadavg: 1.00 1.45 1.69 2/107 13070
/proc/meminfo: memFree=1585188/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=219232 CPUtime=222.24
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 55696 0 0 0 21760 464 0 0 25 0 1 0 6434476 224493568 54236 1992294400 4194304 7136930 140733623103600 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 54808 54236 381 719 0 54087 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 219232

[startup+282.301 s]
/proc/loadavg: 1.00 1.38 1.65 2/107 13070
/proc/meminfo: memFree=1542284/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=265428 CPUtime=282.23
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 66383 0 0 0 27662 561 0 0 25 0 1 0 6434476 271798272 64923 1992294400 4194304 7136930 140733623103600 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 66357 64923 381 719 0 65636 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 265428

[startup+342.301 s]
/proc/loadavg: 1.00 1.30 1.60 2/107 13072
/proc/meminfo: memFree=1503100/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=303816 CPUtime=342.21
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 76145 0 0 0 33559 662 0 0 25 0 1 0 6434476 311107584 74685 1992294400 4194304 7136930 140733623103600 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 75954 74685 381 719 0 75233 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 303816

[startup+402.302 s]
/proc/loadavg: 1.00 1.25 1.56 2/107 13074
/proc/meminfo: memFree=1456600/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=349588 CPUtime=402.2
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 87754 0 0 0 39441 779 0 0 25 0 1 0 6434476 357978112 86294 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 87397 86294 381 719 0 86676 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 349588

[startup+462.302 s]
/proc/loadavg: 1.07 1.21 1.53 2/107 13076
/proc/meminfo: memFree=1411960/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=393132 CPUtime=462.18
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 98845 0 0 0 45326 892 0 0 25 0 1 0 6434476 402567168 97385 1992294400 4194304 7136930 140733623103600 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 98283 97385 381 719 0 97562 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 393132

[startup+522.301 s]
/proc/loadavg: 1.10 1.19 1.50 2/107 13081
/proc/meminfo: memFree=1363600/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=440200 CPUtime=522.17
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 110768 0 0 0 51207 1010 0 0 25 0 1 0 6434476 450764800 109308 1992294400 4194304 7136930 140733623103600 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 110050 109308 381 719 0 109329 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 440200

[startup+582.301 s]
/proc/loadavg: 1.03 1.15 1.47 2/107 13081
/proc/meminfo: memFree=1314868/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=488268 CPUtime=582.16
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 123007 0 0 0 57083 1133 0 0 25 0 1 0 6434476 499986432 121547 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 122067 121547 381 719 0 121346 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 488268

[startup+642.301 s]
/proc/loadavg: 1.01 1.12 1.43 2/107 13083
/proc/meminfo: memFree=1265516/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=544632 CPUtime=642.15
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 135221 0 0 0 62955 1260 0 0 25 0 1 0 6434476 557703168 133761 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 136158 133761 381 719 0 135437 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 544632

[startup+702.301 s]

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

/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 212623 0 0 0 98166 2040 0 0 25 0 1 0 6434476 869740544 211163 1992294400 4194304 7136930 140733623103600 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 212339 211163 381 719 0 211618 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 849356

[startup+1062.3 s]
/proc/loadavg: 1.02 1.04 1.27 2/107 13095
/proc/meminfo: memFree=901328/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=904012 CPUtime=1062.06
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 226499 0 0 0 104023 2183 0 0 25 0 1 0 6434476 925708288 225039 1992294400 4194304 7136930 140733623103600 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 226003 225039 381 719 0 225282 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 904012

[startup+1122.3 s]
/proc/loadavg: 1.01 1.03 1.25 2/107 13097
/proc/meminfo: memFree=849868/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=953952 CPUtime=1122.04
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 239188 0 0 0 109890 2314 0 0 25 0 1 0 6434476 976846848 237728 1992294400 4194304 7136930 140733623103600 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 238488 237728 387 719 0 237767 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 953952

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.23 2/107 13097
/proc/meminfo: memFree=793696/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1010196 CPUtime=1182.03
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 253475 0 0 0 115751 2452 0 0 25 0 1 0 6434476 1034440704 252015 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 252549 252015 387 719 0 251828 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1010196

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.21 2/107 13099
/proc/meminfo: memFree=736904/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1080120 CPUtime=1242.02
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 267060 0 0 0 121614 2588 0 0 25 0 1 0 6434476 1106042880 265600 1992294400 4194304 7136930 140733623103600 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 270030 265600 387 719 0 269309 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1080120

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/107 13101
/proc/meminfo: memFree=679244/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1136608 CPUtime=1302.01
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 281411 0 0 0 127477 2724 0 0 25 0 1 0 6434476 1163886592 279951 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 284152 279951 387 719 0 283431 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1136608

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/107 13103
/proc/meminfo: memFree=623072/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1191864 CPUtime=1361.99
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 295446 0 0 0 133334 2865 0 0 25 0 1 0 6434476 1220468736 293986 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 297966 293986 387 719 0 297245 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1191864

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 13105
/proc/meminfo: memFree=563924/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1250036 CPUtime=1421.98
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 310211 0 0 0 139187 3011 0 0 25 0 1 0 6434476 1280036864 308751 1992294400 4194304 7136930 140733623103600 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 312509 308751 387 719 0 311788 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1250036

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 13105
/proc/meminfo: memFree=508992/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1305052 CPUtime=1481.97
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 324149 0 0 0 145035 3162 0 0 25 0 1 0 6434476 1336373248 322689 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 326263 322689 387 719 0 325542 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1305052

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 13107
/proc/meminfo: memFree=446744/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1365160 CPUtime=1541.95
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 339434 0 0 0 150887 3308 0 0 25 0 1 0 6434476 1397923840 337974 1992294400 4194304 7136930 140733623103600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 341290 337974 387 719 0 340569 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1365160

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 13109
/proc/meminfo: memFree=399996/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1411616 CPUtime=1601.94
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 356415 0 0 0 156777 3417 0 0 25 0 1 0 6434476 1445494784 349643 1992294400 4194304 7136930 140733623103600 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 352904 349643 388 719 0 352183 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1411616

[startup+1662.3 s]
/proc/loadavg: 1.05 1.01 1.13 2/107 13111
/proc/meminfo: memFree=391688/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1419776 CPUtime=1661.92
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 358440 0 0 0 162753 3439 0 0 25 0 1 0 6434476 1453850624 351668 1992294400 4194304 7136930 140733623103600 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 354944 351668 388 719 0 354223 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1419776

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.12 2/107 13113
/proc/meminfo: memFree=386976/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1424444 CPUtime=1721.91
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 359612 0 0 0 168726 3465 0 0 25 0 1 0 6434476 1458630656 352840 1992294400 4194304 7136930 140733623103600 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 356111 352840 388 719 0 355390 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1424444

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 13113
/proc/meminfo: memFree=380280/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1430872 CPUtime=1781.89
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 361194 0 0 0 174697 3492 0 0 25 0 1 0 6434476 1465212928 354422 1992294400 4194304 7136930 140733623103600 18446744073709551615 5909078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 357718 354422 388 719 0 356997 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1430872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 13115
/proc/meminfo: memFree=379288/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1431792 CPUtime=1800.1
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 361444 0 0 0 176510 3500 0 0 25 0 1 0 6434476 1466155008 354672 1992294400 4194304 7136930 140733623103600 18446744073709551615 5923189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13063/statm: 357948 354672 388 719 0 357227 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1431792

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13063

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 13116
/proc/meminfo: memFree=379156/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1431932 CPUtime=1801
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 361487 0 0 0 176599 3501 0 0 25 0 1 0 6434476 1466298368 354715 1992294400 4194304 7136930 140733623103600 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13063/statm: 357983 354715 394 719 0 357262 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (KiB) 1431932

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 13116
/proc/meminfo: memFree=379156/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=1427552 CPUtime=1801.8
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4202496 361487 0 0 0 176679 3501 0 0 25 0 1 0 6434476 1461813248 353620 1992294400 4194304 7136930 140733623103600 18446744073709551615 4670197 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13063/statm: 356888 353620 394 719 0 356167 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 1427552

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 13116
/proc/meminfo: memFree=379156/2059040 swapFree=4192956/4192956
[pid=13063] ppid=13061 vsize=0 CPUtime=1802.2
/proc/13063/stat : 13063 (pbscip.linux.x8) R 13061 13063 12166 0 -1 4203524 361487 0 0 0 176710 3510 0 0 25 0 1 0 6434476 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13063/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.24
CPU user time (s): 1767.1
CPU system time (s): 35.1397
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 1434264

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

runsolver used 3.09453 second user time and 8.40672 second system time

The end

Launcher Data 

Begin job on node030 at 2010-06-16 03:23:11
IDJOB=2663734
IDBENCH=48107
IDSOLVER=1167
FILE ID=node030/2663734-1276651391
PBS_JOBID= 11172424
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/mds/normalized-mds_200_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-2663734-1276651391/watcher-2663734-1276651391 -o /tmp/evaluation-result-2663734-1276651391/solver-2663734-1276651391 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663734-1276651391.opb -t 1800 -m 1800

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

MD5SUM BENCH= 7c4476530a00e5609896ce3ef5260c8d
RANDOM SEED=594085624

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1802352 kB
Buffers:         30004 kB
Cached:         102964 kB
SwapCached:          0 kB
Active:         119736 kB
Inactive:        72888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1802352 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3268 kB
Writeback:           0 kB
AnonPages:       59744 kB
Mapped:          15516 kB
Slab:            42268 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180232 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= 62556 MiB
End job on node030 at 2010-06-16 03:53:14