Trace number 2693918

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 NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverOPTIMUM 27.9577 27.9617

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-37s.smv--soft-0-100-0.wbo
MD5SUM8107d1e691d339cac74f8b03fb8a2735
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.018996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1190
Total number of constraints3183
Number of soft constraints3183
Number of constraints which are clauses3055
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints128
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 160956
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 160955
Biggest number in a constraint 43
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 136
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693918-1277932382.wbo>
0.02/0.04	c original problem has 7556 variables (4373 bin, 0 int, 0 impl, 3183 cont) and 6367 constraints
0.02/0.04	c problem read
0.02/0.04	c presolving settings loaded
0.02/0.04	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.17	o 160955
0.09/0.17	c feasible solution found by trivial heuristic, objective value  1.609550e+05
0.09/0.17	c presolving:
0.09/0.18	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.09/0.19	c (round 2) 0 del vars, 1 del conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.18/0.21	c (round 3) 0 del vars, 1 del conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 1 upgd conss, 3183 impls, 0 clqs
0.18/0.26	c    (0.2s) probing: 101/4373 (2.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.18/0.26	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.18/0.26	c presolving (4 rounds):
0.18/0.26	c  0 deleted vars, 1 deleted constraints, 3183 tightened bounds, 0 added holes, 64 changed sides, 128 changed coefficients
0.18/0.26	c  3184 implications, 0 cliques
0.18/0.26	c presolved problem has 7556 variables (4373 bin, 0 int, 0 impl, 3183 cont) and 6366 constraints
0.18/0.26	c    3183 constraints of type <indicator>
0.18/0.26	c       1 constraints of type <varbound>
0.18/0.26	c    3182 constraints of type <linear>
0.18/0.26	c transformed objective value is always integral (scale: 1)
0.18/0.26	c Presolving Time: 0.18
0.18/0.26	c - non default parameters ----------------------------------------------------------------------
0.18/0.26	c # SCIP version 1.2.1.2
0.18/0.26	c 
0.18/0.26	c # frequency for displaying node information lines
0.18/0.26	c # [type: int, range: [-1,2147483647], default: 100]
0.18/0.26	c display/freq = 10000
0.18/0.26	c 
0.18/0.26	c # maximal time in seconds to run
0.18/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.26	c limits/time = 1799.97
0.18/0.26	c 
0.18/0.26	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.26	c limits/memory = 3420
0.18/0.26	c 
0.18/0.26	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.18/0.26	c # [type: int, range: [-1,2147483647], default: 1]
0.18/0.26	c lp/solvefreq = -1
0.18/0.26	c 
0.18/0.26	c # should presolving try to simplify inequalities
0.18/0.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.26	c constraints/linear/simplifyinequalities = TRUE
0.18/0.26	c 
0.18/0.26	c # should presolving try to simplify knapsacks
0.18/0.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.26	c constraints/knapsack/simplifyinequalities = TRUE
0.18/0.26	c 
0.18/0.26	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.18/0.26	c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.26	c separating/rapidlearning/freq = 0
0.18/0.26	c 
0.18/0.26	c -----------------------------------------------------------------------------------------------
0.18/0.26	c start solving
0.18/0.26	c 
0.18/0.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.18/0.27	c t 0.2s|     1 |     2 |     0 |     - |  21M|   0 |   - |7556 |6366 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.609550e+05 |    Inf 
4.98/5.08	c   4.8s| 10000 |  9959 |     0 |   0.0 |  28M|3220 |   - |7556 |6544 |   0 |   0 |   0 | 178 |   0 | 0.000000e+00 | 1.609550e+05 |    Inf 
9.08/9.18	c   8.8s| 20000 | 19953 |     0 |   0.0 |  32M|3220 |   - |7556 |6570 |   0 |   0 |   0 | 204 |   0 | 0.000000e+00 | 1.609550e+05 |    Inf 
12.39/12.47	c  11.9s| 30000 | 29949 |     0 |   0.0 |  36M|3220 |   - |7556 |6582 |   0 |   0 |   0 | 216 |   0 | 0.000000e+00 | 1.609550e+05 |    Inf 
13.89/13.98	o 1030
13.89/13.98	c *13.3s| 35802 |  7830 |     0 |   0.0 |  28M|3289 |   - |7556 |6625 |   0 |   0 |   0 | 259 |   0 | 0.000000e+00 | 1.030000e+03 |    Inf 
14.48/14.53	o 141
14.48/14.53	c *13.8s| 37474 |  4320 |     0 |   0.0 |  27M|3289 |   - |7556 |6706 |   0 |   0 |   0 | 340 |   0 | 0.000000e+00 | 1.410000e+02 |    Inf 
15.08/15.19	o 140
15.08/15.19	c *14.4s| 38061 |  4469 |     0 |   0.0 |  29M|3289 |   - |7556 |8475 |   0 |   0 |   0 |2109 |   0 | 0.000000e+00 | 1.400000e+02 |    Inf 
15.29/15.33	o 139
15.29/15.33	c *14.6s| 38239 |  4603 |     0 |   0.0 |  30M|3289 |   - |7556 |8488 |   0 |   0 |   0 |2122 |   0 | 0.000000e+00 | 1.390000e+02 |    Inf 
15.39/15.40	o 138
15.39/15.40	c *14.7s| 38336 |  4679 |     0 |   0.0 |  30M|3289 |   - |7556 |8508 |   0 |   0 |   0 |2142 |   0 | 0.000000e+00 | 1.380000e+02 |    Inf 
15.49/15.59	o 137
15.49/15.59	c *14.8s| 38529 |  4823 |     0 |   0.0 |  31M|3289 |   - |7556 |8528 |   0 |   0 |   0 |2164 |   0 | 0.000000e+00 | 1.370000e+02 |    Inf 
15.79/15.85	o 135
15.79/15.85	c *15.1s| 38843 |  5103 |     0 |   0.0 |  31M|3289 |   - |7556 |8560 |   0 |   0 |   0 |2196 |   0 | 0.000000e+00 | 1.350000e+02 |    Inf 
15.89/15.91	o 133
15.89/15.91	c *15.2s| 38962 |  5147 |     0 |   0.0 |  32M|3289 |   - |7556 |8560 |   0 |   0 |   0 |2196 |   0 | 0.000000e+00 | 1.330000e+02 |    Inf 
15.89/15.95	o 132
15.89/15.95	c *15.2s| 39026 |  5072 |     0 |   0.0 |  32M|3289 |   - |7556 |8560 |   0 |   0 |   0 |2196 |   0 | 0.000000e+00 | 1.320000e+02 |    Inf 
16.09/16.10	o 130
16.09/16.10	c *15.3s| 39217 |  5209 |     0 |   0.0 |  32M|3289 |   - |7556 |8591 |   0 |   0 |   0 |2229 |   0 | 0.000000e+00 | 1.300000e+02 |    Inf 
16.18/16.23	o 129
16.18/16.23	c *15.4s| 39376 |  5325 |     0 |   0.0 |  32M|3289 |   - |7556 |8618 |   0 |   0 |   0 |2258 |   0 | 0.000000e+00 | 1.290000e+02 |    Inf 
16.18/16.29	o 128
16.18/16.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.18/16.29	c *15.5s| 39455 |  5356 |     0 |   0.0 |  32M|3289 |   - |7556 |8618 |   0 |   0 |   0 |2258 |   0 | 0.000000e+00 | 1.280000e+02 |    Inf 
16.29/16.34	o 127
16.29/16.34	c *15.6s| 39533 |  5366 |     0 |   0.0 |  33M|3289 |   - |7556 |8624 |   0 |   0 |   0 |2265 |   0 | 0.000000e+00 | 1.270000e+02 |    Inf 
16.69/16.70	o 126
16.69/16.70	c *15.9s| 39840 |  5602 |     0 |   0.0 |  34M|3289 |   - |7556 |8708 |   0 |   0 |   0 |2352 |   0 | 0.000000e+00 | 1.260000e+02 |    Inf 
16.88/16.90	c  16.1s| 40000 |  5727 |     0 |   0.0 |  34M|3289 |   - |7556 |8824 |   0 |   0 |   0 |2468 |   0 | 0.000000e+00 | 1.260000e+02 |    Inf 
16.88/16.93	o 123
16.88/16.93	c *16.1s| 40091 |  5723 |     0 |   0.0 |  34M|3289 |   - |7556 |8844 |   0 |   0 |   0 |2488 |   0 | 0.000000e+00 | 1.230000e+02 |    Inf 
16.99/17.02	o 116
16.99/17.02	c *16.2s| 40325 |  5663 |     0 |   0.0 |  34M|3289 |   - |7556 |8880 |   0 |   0 |   0 |2524 |   0 | 0.000000e+00 | 1.160000e+02 |    Inf 
17.19/17.23	o 115
17.19/17.23	c *16.4s| 40580 |  5841 |     0 |   0.0 |  35M|3289 |   - |7556 |8991 |   0 |   0 |   0 |2637 |   0 | 0.000000e+00 | 1.150000e+02 |    Inf 
17.28/17.32	o 112
17.28/17.32	c *16.5s| 40717 |  5878 |     0 |   0.0 |  35M|3289 |   - |7556 |9035 |   0 |   0 |   0 |2682 |   0 | 0.000000e+00 | 1.120000e+02 |    Inf 
17.28/17.38	o 103
17.28/17.38	c *16.6s| 40861 |  5570 |     0 |   0.0 |  35M|3289 |   - |7556 |9034 |   0 |   0 |   0 |2682 |   0 | 0.000000e+00 | 1.030000e+02 |    Inf 
17.39/17.43	o 99
17.39/17.43	c *16.6s| 40958 |  5512 |     0 |   0.0 |  35M|3289 |   - |7556 |9031 |   0 |   0 |   0 |2682 |   0 | 0.000000e+00 | 9.900000e+01 |    Inf 
17.39/17.47	o 98
17.39/17.47	c *16.6s| 41013 |  5485 |     0 |   0.0 |  35M|3289 |   - |7556 |9040 |   0 |   0 |   0 |2691 |   0 | 0.000000e+00 | 9.800000e+01 |    Inf 
17.59/17.67	o 96
17.59/17.67	c *16.8s| 41251 |  5550 |     0 |   0.0 |  37M|3289 |   - |7556 |9100 |   0 |   0 |   0 |2758 |   0 | 0.000000e+00 | 9.600000e+01 |    Inf 
17.68/17.74	o 93
17.68/17.74	c *16.9s| 41373 |  5387 |     0 |   0.0 |  36M|3289 |   - |7556 |9108 |   0 |   0 |   0 |2767 |   0 | 0.000000e+00 | 9.300000e+01 |    Inf 
17.98/18.02	o 87
17.98/18.02	c *17.2s| 41660 |  5220 |     0 |   0.0 |  38M|3289 |   - |7556 |9238 |   0 |   0 |   0 |2903 |   0 | 0.000000e+00 | 8.700000e+01 |    Inf 
17.98/18.09	o 86
17.98/18.09	c *17.2s| 41743 |  5154 |     0 |   0.0 |  37M|3289 |   - |7556 |9262 |   0 |   0 |   0 |2933 |   0 | 0.000000e+00 | 8.600000e+01 |    Inf 
18.09/18.17	o 75
18.09/18.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.09/18.17	c *17.3s| 41916 |  4615 |     0 |   0.0 |  35M|3289 |   - |7556 |9290 |   0 |   0 |   0 |2962 |   0 | 0.000000e+00 | 7.500000e+01 |    Inf 
18.19/18.24	o 74
18.19/18.24	c *17.4s| 41998 |  4632 |     0 |   0.0 |  36M|3289 |   - |7556 |9305 |   0 |   0 |   0 |2982 |   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
18.19/18.29	o 73
18.19/18.29	c *17.4s| 42066 |  4642 |     0 |   0.0 |  36M|3289 |   - |7556 |9304 |   0 |   0 |   0 |2982 |   0 | 0.000000e+00 | 7.300000e+01 |    Inf 
18.29/18.34	o 72
18.29/18.34	c *17.5s| 42115 |  4623 |     0 |   0.0 |  37M|3289 |   - |7556 |9313 |   0 |   0 |   0 |2992 |   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
18.59/18.64	o 71
18.59/18.64	c *17.8s| 42411 |  4797 |     0 |   0.0 |  38M|3289 |   - |7556 |9370 |   0 |   0 |   0 |3057 |   0 | 0.000000e+00 | 7.100000e+01 |    Inf 
18.59/18.70	o 70
18.59/18.70	c *17.8s| 42467 |  4795 |     0 |   0.0 |  39M|3289 |   - |7556 |9371 |   0 |   0 |   0 |3062 |   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
18.59/18.70	o 69
18.59/18.70	c *17.8s| 42468 |  4710 |     0 |   0.0 |  38M|3289 |   - |7556 |9371 |   0 |   0 |   0 |3062 |   0 | 0.000000e+00 | 6.900000e+01 |    Inf 
18.69/18.73	o 68
18.69/18.73	c *17.9s| 42524 |  4688 |     0 |   0.0 |  38M|3289 |   - |7556 |9368 |   0 |   0 |   0 |3062 |   0 | 0.000000e+00 | 6.800000e+01 |    Inf 
18.69/18.73	o 67
18.69/18.73	c *17.9s| 42525 |  4609 |     0 |   0.0 |  38M|3289 |   - |7556 |9368 |   0 |   0 |   0 |3062 |   0 | 0.000000e+00 | 6.700000e+01 |    Inf 
18.79/18.80	o 66
18.79/18.80	c *17.9s| 42605 |  4422 |     0 |   0.0 |  37M|3289 |   - |7556 |9373 |   0 |   0 |   0 |3072 |   0 | 0.000000e+00 | 6.600000e+01 |    Inf 
18.79/18.88	o 65
18.79/18.88	c *18.0s| 42662 |  4353 |     0 |   0.0 |  37M|3289 |   - |7556 |9397 |   0 |   0 |   0 |3096 |   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
18.89/18.92	o 64
18.89/18.92	c *18.0s| 42702 |  4330 |     0 |   0.0 |  38M|3289 |   - |7556 |9409 |   0 |   0 |   0 |3113 |   0 | 0.000000e+00 | 6.400000e+01 |    Inf 
19.09/19.13	o 55
19.09/19.13	c *18.2s| 43060 |  3970 |     0 |   0.0 |  37M|3289 |   - |7556 |9509 |   0 |   0 |   0 |3220 |   0 | 0.000000e+00 | 5.500000e+01 |    Inf 
19.09/19.13	o 54
19.09/19.13	c *18.2s| 43061 |  3900 |     0 |   0.0 |  38M|3289 |   - |7556 |9509 |   0 |   0 |   0 |3220 |   0 | 0.000000e+00 | 5.400000e+01 |    Inf 
19.09/19.16	o 53
19.09/19.16	c *18.3s| 43109 |  3867 |     0 |   0.0 |  38M|3289 |   - |7556 |9508 |   0 |   0 |   0 |3220 |   0 | 0.000000e+00 | 5.300000e+01 |    Inf 
19.09/19.20	o 52
19.09/19.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.09/19.20	c *18.3s| 43160 |  3877 |     0 |   0.0 |  38M|3289 |   - |7556 |9504 |   0 |   0 |   0 |3220 |   0 | 0.000000e+00 | 5.200000e+01 |    Inf 
19.19/19.20	o 51
19.19/19.20	c *18.3s| 43161 |  3695 |     0 |   0.0 |  38M|3289 |   - |7556 |9504 |   0 |   0 |   0 |3220 |   0 | 0.000000e+00 | 5.100000e+01 |    Inf 
19.19/19.23	o 50
19.19/19.23	c *18.3s| 43211 |  3626 |     0 |   0.0 |  37M|3289 |   - |7556 |9513 |   0 |   0 |   0 |3230 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
19.19/19.28	o 49
19.19/19.28	c *18.4s| 43262 |  3580 |     0 |   0.0 |  38M|3289 |   - |7556 |9518 |   0 |   0 |   0 |3248 |   0 | 0.000000e+00 | 4.900000e+01 |    Inf 
19.29/19.35	o 43
19.29/19.35	c *18.4s| 43455 |  3370 |     0 |   0.0 |  37M|3289 |   - |7556 |9506 |   0 |   0 |   0 |3249 |   0 | 0.000000e+00 | 4.300000e+01 |    Inf 
19.29/19.35	o 42
19.29/19.35	c *18.4s| 43456 |  3268 |     0 |   0.0 |  37M|3289 |   - |7556 |9506 |   0 |   0 |   0 |3249 |   0 | 0.000000e+00 | 4.200000e+01 |    Inf 
19.29/19.39	o 41
19.29/19.39	c *18.5s| 43506 |  3240 |     0 |   0.0 |  37M|3289 |   - |7556 |9503 |   0 |   0 |   0 |3249 |   0 | 0.000000e+00 | 4.100000e+01 |    Inf 
19.38/19.41	o 40
19.38/19.41	c *18.5s| 43557 |  3216 |     0 |   0.0 |  38M|3289 |   - |7556 |9500 |   0 |   0 |   0 |3249 |   0 | 0.000000e+00 | 4.000000e+01 |    Inf 
19.59/19.62	o 39
19.59/19.62	c *18.7s| 43731 |  3275 |     0 |   0.0 |  39M|3289 |   - |7556 |9185 |   0 |   0 |   0 |3326 |   0 | 0.000000e+00 | 3.900000e+01 |    Inf 
19.59/19.66	o 38
19.59/19.66	c *18.8s| 43786 |  3279 |     0 |   0.0 |  39M|3289 |   - |7556 |9176 |   0 |   0 |   0 |3326 |   0 | 0.000000e+00 | 3.800000e+01 |    Inf 
19.59/19.66	o 37
19.59/19.66	c *18.8s| 43787 |  3208 |     0 |   0.0 |  39M|3289 |   - |7556 |9176 |   0 |   0 |   0 |3326 |   0 | 0.000000e+00 | 3.700000e+01 |    Inf 
19.69/19.78	o 27
19.69/19.78	c *18.9s| 44182 |  2682 |     0 |   0.0 |  38M|3289 |   - |7556 |9187 |   0 |   0 |   0 |3340 |   0 | 0.000000e+00 | 2.700000e+01 |    Inf 
19.79/19.82	o 23
19.79/19.82	c *18.9s| 44295 |  2428 |     0 |   0.0 |  38M|3289 |   - |7556 |9179 |   0 |   0 |   0 |3340 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
19.79/19.84	o 22
19.79/19.84	c *18.9s| 44349 |  2378 |     0 |   0.0 |  38M|3289 |   - |7556 |9185 |   0 |   0 |   0 |3350 |   0 | 0.000000e+00 | 2.200000e+01 |    Inf 
19.79/19.86	o 21
19.79/19.86	c *18.9s| 44395 |  2314 |     0 |   0.0 |  38M|3289 |   - |7556 |9051 |   0 |   0 |   0 |3350 |   0 | 0.000000e+00 | 2.100000e+01 |    Inf 
19.79/19.87	o 20
19.79/19.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.79/19.87	c *18.9s| 44437 |  2191 |     0 |   0.0 |  38M|3289 |   - |7556 |9051 |   0 |   0 |   0 |3350 |   0 | 0.000000e+00 | 2.000000e+01 |    Inf 
19.88/19.90	o 16
19.88/19.90	c *19.0s| 44573 |  2098 |     0 |   0.0 |  38M|3289 |   - |7556 |9050 |   0 |   0 |   0 |3350 |   0 | 0.000000e+00 | 1.600000e+01 |    Inf 
19.88/19.96	o 15
19.88/19.96	c *19.0s| 44627 |  2048 |     0 |   0.0 |  38M|3289 |   - |7556 |8896 |   0 |   0 |   0 |3364 |   0 | 0.000000e+00 | 1.500000e+01 |    Inf 
19.88/19.99	o 14
19.88/19.99	c *19.1s| 44681 |  1940 |     0 |   0.0 |  37M|3289 |   - |7556 |8900 |   0 |   0 |   0 |3368 |   0 | 0.000000e+00 | 1.400000e+01 |    Inf 
20.09/20.12	o 13
20.09/20.12	c *19.2s| 44848 |  1914 |     0 |   0.0 |  37M|3289 |   - |7556 |8804 |   0 |   0 |   0 |3521 |   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
20.19/20.26	o 12
20.19/20.26	c *19.3s| 44970 |  1919 |     0 |   0.0 |  38M|3289 |   - |7556 |8602 |   0 |   0 |   0 |3620 |   0 | 0.000000e+00 | 1.200000e+01 |    Inf 
20.29/20.30	o 10
20.29/20.30	c *19.3s| 45011 |  1802 |     0 |   0.0 |  39M|3289 |   - |7556 |8477 |   0 |   0 |   0 |3632 |   0 | 0.000000e+00 | 1.000000e+01 |    Inf 
20.29/20.35	o 3
20.29/20.35	c *19.4s| 45184 |  1422 |     0 |   0.0 |  39M|3289 |   - |7556 |8482 |   0 |   0 |   0 |3642 |   0 | 0.000000e+00 | 3.000000e+00 |    Inf 
20.39/20.48	o 2
20.39/20.48	c *19.5s| 45274 |  1225 |     0 |   0.0 |  38M|3289 |   - |7556 |8465 |   0 |   0 |   0 |3697 |   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
20.69/20.71	o 1
20.69/20.71	c *19.7s| 45377 |   274 |     0 |   0.0 |  33M|3289 |   - |7556 |8434 |   0 |   0 |   0 |3802 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
27.89/27.92	c 
27.89/27.92	c SCIP Status        : problem is solved [optimal solution found]
27.89/27.92	c Solving Time (sec) : 26.76
27.89/27.92	c Solving Nodes      : 48572
27.89/27.92	c Primal Bound       : +1.00000000000000e+00 (67 solutions)
27.89/27.92	c Dual Bound         : +1.00000000000000e+00
27.89/27.92	c Gap                : 0.00 %
27.89/27.92	s OPTIMUM FOUND
27.89/27.92	v -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 
27.89/27.92	v -x1171 x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 x1156 -x1155 x1154 
27.89/27.92	v x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 
27.89/27.92	v -x1135 x1134 x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 x1125 x1124 x1123 x1122 x1121 x1120 x1119 x1118 x1117 x1116 
27.89/27.92	v x1115 x1114 x1113 -x1112 -x1111 x1110 -x1109 -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 
27.89/27.92	v -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 
27.89/27.92	v -x1078 -x1077 -x1076 -x1075 x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 
27.89/27.92	v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 
27.89/27.92	v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 
27.89/27.92	v -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 
27.89/27.92	v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 
27.89/27.92	v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 x966 
27.89/27.92	v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 
27.89/27.92	v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 
27.89/27.92	v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 
27.89/27.92	v -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 
27.89/27.92	v -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 
27.89/27.92	v -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 x849 -x848 -x847 x846 x845 x844 -x843 -x842 -x841 -x840 
27.89/27.92	v -x839 -x838 x837 x836 x835 -x834 -x833 -x832 -x831 -x830 -x829 x828 x827 x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 x818 
27.89/27.92	v x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 x809 x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 x800 x799 -x798 -x797 -x796 
27.89/27.92	v -x795 -x794 -x793 x792 x791 x790 -x789 -x788 -x787 -x786 -x785 -x784 x783 x782 x781 -x780 -x779 -x778 x777 -x776 -x775 -x774 
27.89/27.92	v -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 
27.89/27.92	v -x751 -x750 -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 
27.89/27.92	v -x730 -x729 x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 
27.89/27.92	v -x709 x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 -x695 -x694 x693 -x692 -x691 x690 -x689 
27.89/27.92	v -x688 -x687 -x686 -x685 x684 x683 x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 x669 x668 x667 x666 
27.89/27.92	v x665 x664 x663 x662 x661 x660 x659 x658 x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 x648 -x647 -x646 -x645 x644 -x643 
27.89/27.92	v -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 
27.89/27.92	v -x621 -x620 -x619 x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 
27.89/27.92	v -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 
27.89/27.92	v -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 
27.89/27.92	v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 
27.89/27.92	v -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 
27.89/27.92	v -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 
27.89/27.92	v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 
27.89/27.92	v -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 
27.89/27.92	v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 
27.89/27.92	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 x418 x417 x416 -x415 -x414 -x413 -x412 -x411 
27.89/27.92	v -x410 x409 x408 x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 x390 x389 
27.89/27.92	v -x388 -x387 -x386 -x385 -x384 -x383 x382 x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 x372 x371 -x370 -x369 -x368 -x367 
27.89/27.92	v -x366 -x365 x364 x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 x354 x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 
27.89/27.92	v -x344 x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 
27.89/27.92	v -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 
27.89/27.92	v x301 -x300 -x299 -x298 -x297 x296 -x295 x294 -x293 -x292 -x291 x290 x289 x288 -x287 x286 -x285 x284 x283 -x282 -x281 -x280 
27.89/27.92	v -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 
27.89/27.92	v x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 
27.89/27.92	v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 x218 x217 x216 
27.89/27.92	v x215 x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 
27.89/27.92	v x193 x192 -x191 -x190 x189 x188 x187 x186 x185 x184 -x183 -x182 -x181 x180 x179 x178 -x177 -x176 x175 x174 x173 x172 -x171 
27.89/27.92	v -x170 x169 x168 -x167 x166 -x165 -x164 x163 x162 -x161 x160 -x159 -x158 x157 x156 -x155 x154 -x153 -x152 -x151 x150 -x149 -x148 
27.89/27.92	v -x147 -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 x138 -x137 -x136 x135 x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 x126 
27.89/27.92	v -x125 -x124 x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 x112 x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 
27.89/27.92	v -x103 x102 -x101 -x100 -x99 -x98 x97 x96 -x95 x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 
27.89/27.92	v x78 -x77 -x76 -x75 x74 -x73 x72 -x71 -x70 x69 -x68 x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 
27.89/27.92	v -x52 x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 x43 x42 x41 -x40 x39 x38 x37 -x36 -x35 x34 x33 x32 -x31 -x30 x29 x28 x27 -x26 -x25 
27.89/27.92	v x24 x23 x22 -x21 -x20 x19 x18 -x17 x16 -x15 x14 x13 x12 -x11 -x10 x9 x8 -x7 x6 -x5 x4 x3 -x2 -x1 
27.89/27.92	c SCIP Status        : problem is solved [optimal solution found]
27.89/27.92	c Solving Time       :      26.76
27.89/27.92	c Original Problem   :
27.89/27.92	c   Problem name     : HOME/instance-2693918-1277932382.wbo
27.89/27.92	c   Variables        : 7556 (4373 binary, 0 integer, 0 implicit integer, 3183 continuous)
27.89/27.92	c   Constraints      : 6367 initial, 6367 maximal
27.89/27.92	c Presolved Problem  :
27.89/27.92	c   Problem name     : t_HOME/instance-2693918-1277932382.wbo
27.89/27.92	c   Variables        : 7556 (4373 binary, 0 integer, 0 implicit integer, 3183 continuous)
27.89/27.92	c   Constraints      : 6366 initial, 18243 maximal
27.89/27.92	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
27.89/27.92	c   trivial          :       0.00          0          0          0          0          0          0          0          0
27.89/27.92	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
27.89/27.92	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
27.89/27.92	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
27.89/27.92	c   implics          :       0.00          0          0          0          0          0          0          0          0
27.89/27.92	c   probing          :       0.04          0          0          0          0          0          0          0          0
27.89/27.92	c   indicator        :       0.00          0          0          0          0          0          0          0          0
27.89/27.92	c   varbound         :       0.00          0          0          0          0          0          0          0          0
27.89/27.92	c   linear           :       0.03          0          0          0       3183          0          1         64        128
27.89/27.92	c   logicor          :       0.00          0          0          0          0          0          0          0          0
27.89/27.92	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
27.89/27.92	c   root node        :          -          0          -          -          0          -          -          -          -
27.89/27.92	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
27.89/27.92	c   integral         :          0          0          0          0          0          0          0          0          0          0
27.89/27.92	c   indicator        :       3183          0      77978          0      44283          2     282065          0          0          0
27.89/27.92	c   varbound         :          1          0       2639          0       1910          0         13          0          0          0
27.89/27.92	c   linear           :       3182          0     117583          0      46824       1652     494064          0          0          0
27.89/27.92	c   logicor          :          0+         0      32336          0          0        304      30760          0          0          0
27.89/27.92	c   bounddisjunction :          0+         0        839          0          0          0          1          0          0          0
27.89/27.92	c   countsols        :          0          0          0          0      46854          0          0          0          0          0
27.89/27.92	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
27.89/27.92	c   integral         :       0.00       0.00       0.00       0.00       0.00
27.89/27.92	c   indicator        :       4.81       0.00       1.22       0.00       3.59
27.89/27.92	c   varbound         :       0.00       0.00       0.00       0.00       0.00
27.89/27.92	c   linear           :       5.03       0.00       5.02       0.00       0.01
27.89/27.92	c   logicor          :       0.76       0.00       0.76       0.00       0.00
27.89/27.92	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
27.89/27.92	c   countsols        :       0.00       0.00       0.00       0.00       0.00
27.89/27.92	c Propagators        :       Time      Calls    Cutoffs    DomReds
27.89/27.92	c   vbounds          :       0.00         27          0          0
27.89/27.92	c   rootredcost      :       0.00          0          0          0
27.89/27.92	c   pseudoobj        :       7.47     117524        112     245918
27.89/27.92	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
27.89/27.92	c   propagation      :       2.62       2068       2068       8752      215.5      23663        5.7          -
27.89/27.92	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
27.89/27.92	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
27.89/27.92	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
27.89/27.92	c   pseudo solution  :       0.00          5          5          6        5.5         21        3.5          -
27.89/27.92	c   applied globally :          -          -          -      17926       15.7          -          -          -
27.89/27.92	c   applied locally  :          -          -          -         73      655.1          -          -          -
27.89/27.92	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
27.89/27.92	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
27.89/27.92	c   redcost          :       0.00          0          0          0          0          0
27.89/27.92	c   impliedbounds    :       0.00          0          0          0          0          0
27.89/27.92	c   intobj           :       0.00          0          0          0          0          0
27.89/27.92	c   cgmip            :       0.00          0          0          0          0          0
27.89/27.92	c   gomory           :       0.00          0          0          0          0          0
27.89/27.92	c   strongcg         :       0.00          0          0          0          0          0
27.89/27.92	c   cmir             :       0.00          0          0          0          0          0
27.89/27.92	c   flowcover        :       0.00          0          0          0          0          0
27.89/27.92	c   clique           :       0.00          0          0          0          0          0
27.89/27.92	c   zerohalf         :       0.00          0          0          0          0          0
27.89/27.92	c   mcf              :       0.00          0          0          0          0          0
27.89/27.92	c   rapidlearning    :       0.00          0          0          0          0          0
27.89/27.92	c Pricers            :       Time      Calls       Vars
27.89/27.92	c   problem variables:       0.00          0          0
27.89/27.92	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
27.89/27.92	c   relpscost        :       0.00          0          0          0          0          0          0
27.89/27.92	c   pscost           :       0.00          0          0          0          0          0          0
27.89/27.92	c   inference        :       5.89      46789          0          0          0          0      93578
27.89/27.92	c   mostinf          :       0.00          0          0          0          0          0          0
27.89/27.92	c   leastinf         :       0.00          0          0          0          0          0          0
27.89/27.92	c   fullstrong       :       0.00          0          0          0          0          0          0
27.89/27.92	c   allfullstrong    :       0.00          0          0          0          0          0          0
27.89/27.92	c   random           :       0.00          0          0          0          0          0          0
27.89/27.92	c Primal Heuristics  :       Time      Calls      Found
27.89/27.92	c   LP solutions     :       0.00          -          0
27.89/27.92	c   pseudo solutions :       0.08          -         65
27.89/27.92	c   oneopt           :       0.00          0          0
27.89/27.92	c   trivial          :       0.12          2          2
27.89/27.92	c   simplerounding   :       0.00          0          0
27.89/27.92	c   zirounding       :       0.00          0          0
27.89/27.92	c   rounding         :       0.00          0          0
27.89/27.92	c   shifting         :       0.00          0          0
27.89/27.92	c   intshifting      :       0.00          0          0
27.89/27.92	c   twoopt           :       0.00          0          0
27.89/27.92	c   fixandinfer      :       0.00          0          0
27.89/27.92	c   feaspump         :       0.00          0          0
27.89/27.92	c   coefdiving       :       0.00          0          0
27.89/27.92	c   pscostdiving     :       0.00          0          0
27.89/27.92	c   fracdiving       :       0.00          0          0
27.89/27.92	c   veclendiving     :       0.00          0          0
27.89/27.92	c   intdiving        :       0.00          0          0
27.89/27.92	c   actconsdiving    :       0.00          0          0
27.89/27.92	c   objpscostdiving  :       0.00          0          0
27.89/27.92	c   rootsoldiving    :       0.00          0          0
27.89/27.92	c   linesearchdiving :       0.00          0          0
27.89/27.92	c   guideddiving     :       0.00          0          0
27.89/27.92	c   octane           :       0.00          0          0
27.89/27.92	c   rens             :       0.00          0          0
27.89/27.92	c   rins             :       0.00          0          0
27.89/27.92	c   localbranching   :       0.00          0          0
27.89/27.92	c   mutation         :       0.00          0          0
27.89/27.92	c   crossover        :       0.00          0          0
27.89/27.92	c   dins             :       0.00          0          0
27.89/27.92	c   undercover       :       0.00          0          0
27.89/27.92	c   nlp              :       0.00          0          0
27.89/27.92	c   trysol           :       0.00          1          0
27.89/27.92	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
27.89/27.92	c   primal LP        :       0.00          0          0       0.00          -
27.89/27.92	c   dual LP          :       0.00          0          0       0.00          -
27.89/27.92	c   lex dual LP      :       0.00          0          0       0.00          -
27.89/27.92	c   barrier LP       :       0.00          0          0       0.00          -
27.89/27.92	c   diving/probing LP:       0.00          0          0       0.00          -
27.89/27.92	c   strong branching :       0.00          0          0       0.00          -
27.89/27.92	c     (at root node) :          -          0          0       0.00          -
27.89/27.92	c   conflict analysis:       0.00          0          0       0.00          -
27.89/27.92	c B&B Tree           :
27.89/27.92	c   number of runs   :          1
27.89/27.92	c   nodes            :      48572
27.89/27.92	c   nodes (total)    :      48572
27.89/27.92	c   nodes left       :          0
27.89/27.92	c   max depth        :       3289
27.89/27.92	c   max depth (total):       3289
27.89/27.92	c   backtracks       :       1047 (2.2%)
27.89/27.92	c   delayed cutoffs  :       1222
27.89/27.92	c   repropagations   :       5964 (134437 domain reductions, 357 cutoffs)
27.89/27.92	c   avg switch length:       4.08
27.89/27.92	c   switching time   :       2.03
27.89/27.92	c Solution           :
27.89/27.92	c   Solutions found  :         67 (66 improvements)
27.89/27.92	c   First Solution   : +1.60955000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
27.89/27.92	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 45377 nodes, 19.74 seconds, depth 1418, found by <relaxation>)
27.89/27.92	c   Dual Bound       : +1.00000000000000e+00
27.89/27.92	c   Gap              :       0.00 %
27.89/27.92	c   Root Dual Bound  : +0.00000000000000e+00
27.89/27.92	c   Root Iterations  :          0
27.89/27.96	c Time complete: 27.94.

Verifier Data 

OK	1

Watcher Data 

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

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

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.17 2.20 2.25 3/196 17710
/proc/meminfo: memFree=30574516/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=8408 CPUtime=0
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 1552 0 0 0 0 0 0 0 24 0 1 0 134532854 8609792 1474 4089446400 4194304 7136930 140735872033984 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17710/statm: 2102 1490 275 719 0 1381 0

[startup+0.0339579 s]
/proc/loadavg: 2.17 2.20 2.25 3/196 17710
/proc/meminfo: memFree=30574516/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=17372 CPUtime=0.02
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 3848 0 0 0 2 0 0 0 24 0 1 0 134532854 17788928 3770 4089446400 4194304 7136930 140735872033984 18446744073709551615 5960099 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17710/statm: 4343 3771 275 719 0 3622 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17372

[startup+0.100943 s]
/proc/loadavg: 2.17 2.20 2.25 3/196 17710
/proc/meminfo: memFree=30574516/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=37368 CPUtime=0.09
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 8820 0 0 0 8 1 0 0 24 0 1 0 134532854 38264832 8388 4089446400 4194304 7136930 140735872033984 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17710/statm: 9342 8388 323 719 0 8621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37368

[startup+0.300908 s]
/proc/loadavg: 2.17 2.20 2.25 3/196 17710
/proc/meminfo: memFree=30574516/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=40528 CPUtime=0.28
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 10447 0 0 0 26 2 0 0 25 0 1 0 134532854 41500672 9244 4089446400 4194304 7136930 140735872033984 18446744073709551615 4414517 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17710/statm: 10132 9244 389 719 0 9411 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 40528

[startup+0.700837 s]
/proc/loadavg: 2.17 2.20 2.25 3/196 17710
/proc/meminfo: memFree=30574516/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=41108 CPUtime=0.69
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 10569 0 0 0 65 4 0 0 25 0 1 0 134532854 42094592 9366 4089446400 4194304 7136930 140735872033984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17710/statm: 10277 9366 389 719 0 9556 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41108

[startup+1.50069 s]
/proc/loadavg: 2.16 2.20 2.25 3/197 17711
/proc/meminfo: memFree=30537568/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=44196 CPUtime=1.49
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 11345 0 0 0 142 7 0 0 25 0 1 0 134532854 45256704 10142 4089446400 4194304 7136930 140735872033984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17710/statm: 11049 10142 395 719 0 10328 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44196

[startup+3.10039 s]
/proc/loadavg: 2.16 2.20 2.25 3/197 17711
/proc/meminfo: memFree=30531740/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=47456 CPUtime=3.09
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 12169 0 0 0 296 13 0 0 25 0 1 0 134532854 48594944 10966 4089446400 4194304 7136930 140735872033984 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17710/statm: 11864 10966 395 719 0 11143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47456

[startup+6.30082 s]
/proc/loadavg: 2.16 2.20 2.25 3/197 17711
/proc/meminfo: memFree=30526336/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=50156 CPUtime=6.29
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 12868 0 0 0 604 25 0 0 25 0 1 0 134532854 51359744 11665 4089446400 4194304 7136930 140735872033984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17710/statm: 12539 11665 395 719 0 11818 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50156

[startup+12.7006 s]
/proc/loadavg: 2.13 2.19 2.25 3/197 17711
/proc/meminfo: memFree=30515544/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=57308 CPUtime=12.69
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 14728 0 0 0 1215 54 0 0 25 0 1 0 134532854 58683392 13525 4089446400 4194304 7136930 140735872033984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17710/statm: 14327 13525 395 719 0 13606 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57308

[startup+25.5003 s]
/proc/loadavg: 2.11 2.19 2.24 3/197 17712
/proc/meminfo: memFree=30462280/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=111704 CPUtime=25.48
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 27804 0 0 0 2442 106 0 0 25 0 1 0 134532854 114384896 26093 4089446400 4194304 7136930 140735872033984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17710/statm: 27926 26093 398 719 0 27205 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 111704

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

[startup+27.101 s]
/proc/loadavg: 2.10 2.18 2.24 3/197 17712
/proc/meminfo: memFree=30460792/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=114280 CPUtime=27.09
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 28429 0 0 0 2599 110 0 0 25 0 1 0 134532854 117022720 26718 4089446400 4194304 7136930 140735872033984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17710/statm: 28570 26718 398 719 0 27849 0
Current children cumulated CPU time (s) 27.09
Current children cumulated vsize (KiB) 114280

[startup+27.5069 s]
/proc/loadavg: 2.10 2.18 2.24 3/197 17712
/proc/meminfo: memFree=30457816/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=115888 CPUtime=27.49
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 28799 0 0 0 2638 111 0 0 25 0 1 0 134532854 118669312 27088 4089446400 4194304 7136930 140735872033984 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17710/statm: 28972 27088 398 719 0 28251 0
Current children cumulated CPU time (s) 27.49
Current children cumulated vsize (KiB) 115888

[startup+27.9009 s]
/proc/loadavg: 2.10 2.18 2.24 3/197 17712
/proc/meminfo: memFree=30457816/32951124 swapFree=67111528/67111528
[pid=17710] ppid=17708 vsize=116320 CPUtime=27.89
/proc/17710/stat : 17710 (pbscip.linux.x8) R 17708 17710 17108 0 -1 4202496 28897 0 0 0 2677 112 0 0 25 0 1 0 134532854 119111680 27186 4089446400 4194304 7136930 140735872033984 18446744073709551615 5909879 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17710/statm: 29080 27186 398 719 0 28359 0
Current children cumulated CPU time (s) 27.89
Current children cumulated vsize (KiB) 116320

Child status: 0
Real time (s): 27.9617
CPU time (s): 27.9577
CPU user time (s): 26.8279
CPU system time (s): 1.12983
CPU usage (%): 99.9859
Max. virtual memory (cumulated for all children) (KiB): 116320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.8279
system time used= 1.12983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 22

runsolver used 0.051992 second user time and 0.103984 second system time

The end

Launcher Data 

Begin job on node142 at 2010-06-30 23:13:02
IDJOB=2693918
IDBENCH=79339
IDSOLVER=1206
FILE ID=node142/2693918-1277932382
PBS_JOBID= 11197406
Free space on /tmp= 74180 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-37s.smv--soft-0-100-0.wbo
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-2693918-1277932382/watcher-2693918-1277932382 -o /tmp/evaluation-result-2693918-1277932382/solver-2693918-1277932382 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693918-1277932382.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 8107d1e691d339cac74f8b03fb8a2735
RANDOM SEED=999667628

node142.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.827
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30575168 kB
Buffers:        212632 kB
Cached:        1074380 kB
SwapCached:          0 kB
Active:        1369276 kB
Inactive:       860064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30575168 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3736 kB
Writeback:           0 kB
AnonPages:      942144 kB
Mapped:          20364 kB
Slab:            81148 kB
PageTables:       7040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1657008 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74176 MiB
End job on node142 at 2010-06-30 23:13:30