Trace number 2692855

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.17 1800.12

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo
MD5SUMb0bcd9e760e7f0ffa9653d41066a148b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark278.087
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1785
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 88246
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 88245
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
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: SoPlex 1.4.2] [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-2692855-1277907198.wbo>
0.00/0.03	c original problem has 3801 variables (2016 bin, 0 int, 0 impl, 1785 cont) and 4493 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.05	c presolving:
0.04/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.04/0.09	c (round 2) 0 del vars, 75 del conss, 1785 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.04/0.10	c (round 3) 52 del vars, 171 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.09/0.11	c (round 4) 128 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.12	c (round 5) 152 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.17	c    (0.1s) probing: 101/1940 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (6 rounds):
0.09/0.17	c  152 deleted vars, 195 deleted constraints, 1809 tightened bounds, 0 added holes, 96 changed sides, 0 changed coefficients
0.09/0.17	c  1937 implications, 11 cliques
0.09/0.17	c presolved problem has 3649 variables (1940 bin, 0 int, 0 impl, 1709 cont) and 4298 constraints
0.09/0.17	c    1709 constraints of type <indicator>
0.09/0.17	c      11 constraints of type <setppc>
0.09/0.17	c    1709 constraints of type <linear>
0.09/0.17	c     869 constraints of type <logicor>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.12
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 1.2.1.2
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1799.98
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 3420
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c separating/rapidlearning/freq = 0
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.18	c   0.1s|     1 |     0 |     7 |     - |  13M|   0 |   0 |3649 |4298 |3649 | 880 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	c   0.1s|     1 |     0 |    41 |     - |  13M|   0 |  29 |3649 |4298 |3649 | 896 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	o 83962
0.09/0.19	c y 0.1s|     1 |     0 |    41 |     - |  13M|   0 |  29 |3649 |4298 |3649 | 896 |  16 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    66 |     - |  13M|   0 |  41 |3649 |4298 |3649 | 931 |  51 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |   137 |     - |  13M|   0 |  44 |3649 |4298 |3649 | 941 |  61 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |   150 |     - |  14M|   0 |  49 |3649 |4298 |3649 | 946 |  66 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.39/0.42	c   0.4s|     1 |     0 |   170 |     - |  14M|   0 |  61 |3649 |4298 |3649 | 957 |  77 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.50/0.50	c   0.4s|     1 |     0 |   186 |     - |  14M|   0 |  61 |3649 |4298 |3649 | 961 |  81 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.69/0.74	c   0.7s|     1 |     2 |   186 |     - |  14M|   0 |  61 |3649 |4298 |3649 | 961 |  81 |   0 |  33 | 0.000000e+00 | 8.396200e+04 |    Inf 
9.39/9.43	o 412
9.39/9.43	c * 9.1s|  2395 |  1974 |  8047 |   3.3 |  23M|  77 |   - |3649 |4298 |3649 | 980 |1191 |   0 |1373 | 0.000000e+00 | 4.120000e+02 |    Inf 
9.39/9.48	o 406
9.39/9.48	c * 9.1s|  2412 |  1972 |  8098 |   3.3 |  23M|  77 |   - |3649 |4308 |3649 | 976 |1193 |  10 |1374 | 0.000000e+00 | 4.060000e+02 |    Inf 
9.39/9.50	o 399
9.39/9.50	c * 9.2s|  2414 |  1950 |  8112 |   3.3 |  23M|  77 |   - |3649 |4308 |3649 | 976 |1193 |  10 |1374 | 0.000000e+00 | 3.990000e+02 |    Inf 
11.69/11.74	o 381
11.69/11.74	c *11.3s|  3376 |  2805 | 10674 |   3.1 |  26M|  81 |   - |3649 |4422 |3649 | 987 |1915 | 124 |1468 | 0.000000e+00 | 3.810000e+02 |    Inf 
11.90/11.97	o 327
11.90/11.97	c *11.6s|  3485 |  2616 | 10902 |   3.1 |  25M|  81 |   - |3649 |4460 |3649 | 987 |1979 | 162 |1468 | 0.000000e+00 | 3.270000e+02 |    Inf 
12.00/12.01	o 326
12.00/12.01	c *11.6s|  3498 |  2619 | 10959 |   3.1 |  25M|  81 |   - |3649 |4460 |3649 | 988 |1993 | 162 |1468 | 0.000000e+00 | 3.260000e+02 |    Inf 
12.00/12.05	o 320
12.00/12.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.00/12.05	c *11.6s|  3513 |  2588 | 10996 |   3.1 |  25M|  81 |   - |3649 |4460 |3649 | 988 |1995 | 162 |1468 | 0.000000e+00 | 3.200000e+02 |    Inf 
12.00/12.06	o 297
12.00/12.06	c *11.6s|  3514 |  2410 | 10996 |   3.1 |  24M|  81 |   - |3649 |4460 |3649 | 988 |1995 | 162 |1468 | 0.000000e+00 | 2.970000e+02 |    Inf 
12.10/12.20	o 286
12.10/12.20	c *11.8s|  3590 |  2409 | 11068 |   3.0 |  25M|  81 |   - |3649 |4460 |3649 | 987 |2005 | 162 |1468 | 0.000000e+00 | 2.860000e+02 |    Inf 
12.39/12.41	o 277
12.39/12.41	c *12.0s|  3694 |  2434 | 11190 |   3.0 |  25M|  81 |   - |3649 |4471 |3649 | 992 |2035 | 173 |1468 | 0.000000e+00 | 2.770000e+02 |    Inf 
12.39/12.41	o 273
12.39/12.41	c *12.0s|  3695 |  2410 | 11196 |   3.0 |  25M|  81 |   - |3649 |4471 |3649 | 992 |2035 | 173 |1468 | 0.000000e+00 | 2.730000e+02 |    Inf 
12.39/12.46	o 267
12.39/12.46	c *12.0s|  3714 |  2378 | 11225 |   3.0 |  25M|  81 |   - |3649 |4476 |3649 |1005 |2047 | 178 |1468 | 0.000000e+00 | 2.670000e+02 |    Inf 
12.59/12.66	o 254
12.59/12.66	c *12.2s|  3794 |  2348 | 11481 |   3.0 |  25M|  81 |   - |3649 |4507 |3649 | 984 |2104 | 209 |1468 | 0.000000e+00 | 2.540000e+02 |    Inf 
12.59/12.69	o 244
12.59/12.69	c *12.2s|  3798 |  2268 | 11523 |   3.0 |  25M|  81 |   - |3649 |4512 |3649 | 982 |2112 | 214 |1469 | 0.000000e+00 | 2.440000e+02 |    Inf 
12.69/12.74	o 225
12.69/12.74	c *12.3s|  3813 |  2090 | 11603 |   3.0 |  24M|  81 |   - |3649 |4528 |3649 | 985 |2116 | 230 |1469 | 0.000000e+00 | 2.250000e+02 |    Inf 
12.69/12.75	o 216
12.69/12.75	c *12.3s|  3814 |  1996 | 11603 |   3.0 |  24M|  81 |   - |3649 |4528 |3649 | 985 |2116 | 230 |1469 | 0.000000e+00 | 2.160000e+02 |    Inf 
12.69/12.78	o 209
12.69/12.78	c *12.3s|  3821 |  1931 | 11667 |   3.0 |  24M|  81 |   - |3649 |4528 |3649 | 982 |2124 | 230 |1470 | 0.000000e+00 | 2.090000e+02 |    Inf 
12.69/12.78	o 186
12.69/12.78	c *12.3s|  3822 |  1701 | 11667 |   3.0 |  23M|  81 |   - |3649 |4528 |3649 | 982 |2124 | 230 |1470 | 0.000000e+00 | 1.860000e+02 |    Inf 
12.80/12.82	o 164
12.80/12.82	c *12.4s|  3832 |  1459 | 11733 |   3.0 |  23M|  81 |   - |3649 |4531 |3649 | 985 |2135 | 233 |1470 | 0.000000e+00 | 1.640000e+02 |    Inf 
12.89/12.90	o 155
12.89/12.90	c *12.5s|  3858 |  1378 | 11842 |   3.0 |  23M|  81 |   - |3649 |4556 |3649 | 985 |2159 | 259 |1471 | 0.000000e+00 | 1.550000e+02 |    Inf 
12.89/12.91	o 146
12.89/12.91	c *12.5s|  3859 |  1283 | 11842 |   3.0 |  23M|  81 |   - |3649 |4556 |3649 | 985 |2159 | 259 |1471 | 0.000000e+00 | 1.460000e+02 |    Inf 
12.89/12.96	o 135
12.89/12.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.89/12.96	c *12.5s|  3873 |  1148 | 11897 |   3.0 |  22M|  81 |   - |3649 |4566 |3649 | 989 |2167 | 269 |1472 | 0.000000e+00 | 1.350000e+02 |    Inf 
12.89/12.99	o 134
12.89/12.99	c *12.5s|  3882 |  1141 | 11910 |   3.0 |  23M|  81 |   - |3649 |4574 |3649 | 984 |2167 | 278 |1472 | 0.000000e+00 | 1.340000e+02 |    Inf 
13.10/13.13	o 125
13.10/13.13	c *12.7s|  3940 |  1057 | 12060 |   3.0 |  23M|  81 |   - |3649 |4624 |3649 | 982 |2199 | 330 |1472 | 0.000000e+00 | 1.250000e+02 |    Inf 
13.20/13.20	o 113
13.20/13.20	c *12.8s|  3952 |   927 | 12167 |   3.0 |  22M|  81 |   - |3649 |4635 |3649 | 980 |2205 | 342 |1476 | 0.000000e+00 | 1.130000e+02 |    Inf 
13.20/13.22	o 112
13.20/13.22	c *12.8s|  3957 |   910 | 12185 |   3.0 |  22M|  81 |   - |3649 |4641 |3649 | 974 |2205 | 348 |1476 | 0.000000e+00 | 1.120000e+02 |    Inf 
13.29/13.35	o 107
13.29/13.35	c *12.9s|  3990 |   865 | 12352 |   3.0 |  23M|  81 |   - |3649 |4682 |3649 | 989 |2235 | 395 |1481 | 0.000000e+00 | 1.070000e+02 |    Inf 
13.29/13.36	o 84
13.29/13.36	c *12.9s|  3991 |   583 | 12352 |   3.0 |  22M|  81 |   - |3649 |4682 |3649 | 989 |2235 | 395 |1481 | 0.000000e+00 | 8.400000e+01 |    Inf 
13.39/13.48	o 72
13.39/13.48	c *13.0s|  4043 |   546 | 12439 |   3.0 |  22M|  81 |   - |3649 |4403 |3649 | 988 |2251 | 415 |1482 | 0.000000e+00 | 7.200000e+01 |    Inf 
13.49/13.52	o 71
13.49/13.52	c *13.1s|  4061 |   548 | 12474 |   3.0 |  22M|  81 |   - |3649 |4224 |3649 | 975 |2252 | 419 |1482 | 0.000000e+00 | 7.100000e+01 |    Inf 
13.49/13.53	o 59
13.49/13.53	c *13.1s|  4062 |   475 | 12474 |   3.0 |  21M|  81 |   - |3649 |4224 |3649 | 975 |2252 | 419 |1482 | 0.000000e+00 | 5.900000e+01 |    Inf 
13.49/13.55	o 49
13.49/13.55	c *13.1s|  4064 |   429 | 12488 |   3.0 |  21M|  81 |   - |3649 |3983 |3649 | 974 |2252 | 419 |1482 | 0.000000e+00 | 4.900000e+01 |    Inf 
13.59/13.66	o 32
13.59/13.66	c *13.2s|  4114 |   364 | 12563 |   3.0 |  21M|  81 |   - |3649 |3812 |3649 | 977 |2264 | 433 |1482 | 0.000000e+00 | 3.200000e+01 |    Inf 
13.59/13.66	o 9
13.59/13.66	c *13.2s|  4115 |   140 | 12563 |   3.0 |  20M|  81 |   - |3649 |3812 |3649 | 977 |2264 | 433 |1482 | 0.000000e+00 | 9.000000e+00 |    Inf 
15.39/15.44	o 6
15.39/15.44	c *14.9s|  4733 |   178 | 17223 |   3.6 |  20M|  81 |   - |3649 |3641 |3649 | 973 |2706 |1159 |1735 | 0.000000e+00 | 6.000000e+00 |    Inf 
15.50/15.55	o 2
15.50/15.55	c *15.0s|  4805 |   118 | 17445 |   3.6 |  20M|  81 |   - |3649 |3671 |3649 | 973 |2706 |1265 |1741 | 0.000000e+00 | 2.000000e+00 |    Inf 
23.49/23.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.49/23.52	c  22.6s| 10000 |   207 | 42317 |   4.2 |  22M|  81 |  10 |3649 |7759 |3649 | 969 |3995 |8008 |1862 | 0.000000e+00 | 2.000000e+00 |    Inf 
40.00/40.01	c  38.2s| 20000 |   312 | 95829 |   4.8 |  25M|  81 |   - |3649 |  11k|   0 |   0 |7609 |  21k|1862 | 0.000000e+00 | 2.000000e+00 |    Inf 
57.20/57.29	c  54.7s| 30000 |   463 |146917 |   4.9 |  28M|  81 |  10 |3649 |  16k|3649 | 973 |  12k|  34k|1862 | 0.000000e+00 | 2.000000e+00 |    Inf 
77.30/77.32	c  73.9s| 40000 |   528 |204325 |   5.1 |  30M|  81 |   - |3649 |  18k|   0 |   0 |  18k|  47k|2097 | 0.000000e+00 | 2.000000e+00 |    Inf 
83.09/83.17	o 1
83.09/83.17	c *79.5s| 42740 |   486 |221053 |   5.2 |  30M|  81 |   - |3649 |  19k|3649 | 980 |  20k|  51k|2208 | 0.000000e+00 | 1.000000e+00 |    Inf 
97.90/97.99	c  93.7s| 50000 |   571 |264349 |   5.3 |  29M|  81 |   - |3649 |  14k|   0 |   0 |  25k|  60k|2449 | 0.000000e+00 | 1.000000e+00 |    Inf 
119.10/119.11	c   114s| 60000 |   959 |328530 |   5.5 |  34M|  81 |  17 |3649 |  18k|3649 | 969 |  34k|  74k|2733 | 0.000000e+00 | 1.000000e+00 |    Inf 
140.50/140.52	c   135s| 70000 |  1044 |389531 |   5.6 |  36M|  81 |  10 |3649 |  22k|3649 | 970 |  42k|  88k|2985 | 0.000000e+00 | 1.000000e+00 |    Inf 
162.49/162.52	c   156s| 80000 |   999 |451441 |   5.6 |  36M|  81 |   - |3649 |  21k|   0 |   0 |  50k| 102k|3245 | 0.000000e+00 | 1.000000e+00 |    Inf 
184.30/184.33	c   177s| 90000 |   927 |512048 |   5.7 |  37M|  81 |   1 |3649 |  23k|3649 | 972 |  57k| 117k|3474 | 0.000000e+00 | 1.000000e+00 |    Inf 
207.90/207.92	c   199s|100000 |   994 |575988 |   5.8 |  39M|  81 |   - |3649 |  25k|   0 |   0 |  66k| 130k|3701 | 0.000000e+00 | 1.000000e+00 |    Inf 
231.69/231.75	c   223s|110000 |   901 |640318 |   5.8 |  37M|  81 |   - |3649 |  22k|   0 |   0 |  74k| 144k|3906 | 0.000000e+00 | 1.000000e+00 |    Inf 
253.70/253.76	c   244s|120000 |  1080 |700625 |   5.8 |  40M|  81 |  12 |3649 |  27k|3649 | 974 |  82k| 157k|4088 | 0.000000e+00 | 1.000000e+00 |    Inf 
276.80/276.87	c   266s|130000 |  1054 |762681 |   5.9 |  41M|  81 |   9 |3649 |  29k|3649 | 973 |  89k| 171k|4271 | 0.000000e+00 | 1.000000e+00 |    Inf 
300.10/300.13	c   289s|140000 |  1018 |825615 |   5.9 |  41M|  81 |   - |3649 |  30k|   0 |   0 |  96k| 184k|4445 | 0.000000e+00 | 1.000000e+00 |    Inf 
325.10/325.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
325.10/325.15	c   313s|150000 |  1038 |889630 |   5.9 |  42M|  81 |  20 |3649 |  32k|3649 | 981 | 104k| 197k|4614 | 0.000000e+00 | 1.000000e+00 |    Inf 
350.60/350.64	c   338s|160000 |  1043 |951534 |   5.9 |  45M|  81 |   - |3649 |  37k|   0 |   0 | 111k| 211k|4764 | 0.000000e+00 | 1.000000e+00 |    Inf 
375.20/375.24	c   362s|170000 |  1204 |  1013k|   6.0 |  45M|  81 |   - |3649 |  34k|   0 |   0 | 120k| 225k|4952 | 0.000000e+00 | 1.000000e+00 |    Inf 
399.80/399.81	c   386s|180000 |  1385 |  1071k|   6.0 |  48M|  81 |   - |3649 |  40k|   0 |   0 | 128k| 239k|5105 | 0.000000e+00 | 1.000000e+00 |    Inf 
425.30/425.31	c   410s|190000 |  1345 |  1132k|   6.0 |  48M|  81 |   - |3649 |  40k|   0 |   0 | 134k| 253k|5248 | 0.000000e+00 | 1.000000e+00 |    Inf 
450.80/450.90	c   435s|200000 |  1238 |  1191k|   6.0 |  48M|  81 |   - |3649 |  40k|   0 |   0 | 142k| 268k|5368 | 0.000000e+00 | 1.000000e+00 |    Inf 
476.61/476.63	c   460s|210000 |  1085 |  1250k|   6.0 |  47M|  81 |  18 |3649 |  40k|3649 | 970 | 149k| 282k|5525 | 0.000000e+00 | 1.000000e+00 |    Inf 
502.40/502.41	c   485s|220000 |  1155 |  1310k|   6.0 |  47M|  81 |   - |3649 |  40k|   0 |   0 | 158k| 296k|5641 | 0.000000e+00 | 1.000000e+00 |    Inf 
528.31/528.38	c   510s|230000 |  1110 |  1364k|   5.9 |  49M|  81 |  23 |3649 |  43k|3649 | 982 | 165k| 311k|5776 | 0.000000e+00 | 1.000000e+00 |    Inf 
556.11/556.12	c   537s|240000 |  1122 |  1426k|   5.9 |  48M|  81 |  17 |3649 |  43k|3649 | 968 | 174k| 324k|5890 | 0.000000e+00 | 1.000000e+00 |    Inf 
584.61/584.63	c   565s|250000 |  1035 |  1490k|   6.0 |  49M|  81 |   - |3649 |  45k|   0 |   0 | 182k| 339k|6047 | 0.000000e+00 | 1.000000e+00 |    Inf 
611.52/611.57	c   591s|260000 |   954 |  1548k|   6.0 |  45M|  81 |   - |3649 |  35k|   0 |   0 | 189k| 352k|6162 | 0.000000e+00 | 1.000000e+00 |    Inf 
636.71/636.74	c   615s|270000 |  1044 |  1612k|   6.0 |  47M|  81 |   - |3649 |  38k|   0 |   0 | 198k| 366k|6275 | 0.000000e+00 | 1.000000e+00 |    Inf 
662.22/662.28	c   640s|280000 |   936 |  1671k|   6.0 |  45M|  81 |   - |3649 |  34k|   0 |   0 | 204k| 379k|6406 | 0.000000e+00 | 1.000000e+00 |    Inf 
685.11/685.16	c   662s|290000 |   997 |  1717k|   5.9 |  47M|  81 |  10 |3649 |  38k|3649 | 979 | 205k| 393k|6484 | 0.000000e+00 | 1.000000e+00 |    Inf 
708.72/708.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
708.72/708.78	c   685s|300000 |  1077 |  1769k|   5.9 |  49M|  81 |   8 |3649 |  43k|3649 | 979 | 206k| 407k|6592 | 0.000000e+00 | 1.000000e+00 |    Inf 
734.12/734.14	c   709s|310000 |  1134 |  1818k|   5.9 |  52M|  81 |   - |3649 |  49k|   0 |   0 | 208k| 421k|6668 | 0.000000e+00 | 1.000000e+00 |    Inf 
760.62/760.68	c   735s|320000 |  1104 |  1866k|   5.8 |  52M|  81 |   - |3649 |  48k|   0 |   0 | 209k| 435k|6742 | 0.000000e+00 | 1.000000e+00 |    Inf 
788.12/788.13	c   762s|330000 |  1132 |  1916k|   5.8 |  52M|  81 |   - |3649 |  47k|   0 |   0 | 210k| 450k|6808 | 0.000000e+00 | 1.000000e+00 |    Inf 
814.02/814.09	c   787s|340000 |  1187 |  1965k|   5.8 |  55M|  81 |   1 |3649 |  55k|3649 | 979 | 212k| 464k|6882 | 0.000000e+00 | 1.000000e+00 |    Inf 
841.52/841.56	c   814s|350000 |  1162 |  2011k|   5.7 |  55M|  81 |   - |3649 |  54k|   0 |   0 | 213k| 480k|6948 | 0.000000e+00 | 1.000000e+00 |    Inf 
868.52/868.58	c   840s|360000 |  1151 |  2059k|   5.7 |  55M|  81 |  11 |3649 |  54k|3649 | 988 | 214k| 495k|7008 | 0.000000e+00 | 1.000000e+00 |    Inf 
896.02/896.10	c   867s|370000 |  1157 |  2107k|   5.7 |  54M|  81 |  17 |3649 |  53k|3649 | 979 | 215k| 509k|7080 | 0.000000e+00 | 1.000000e+00 |    Inf 
925.03/925.02	c   895s|380000 |  1298 |  2156k|   5.7 |  57M|  81 |  22 |3649 |  57k|3649 | 979 | 216k| 523k|7146 | 0.000000e+00 | 1.000000e+00 |    Inf 
955.12/955.11	c   924s|390000 |  1314 |  2202k|   5.6 |  58M|  81 |  19 |3649 |  60k|3649 | 979 | 218k| 538k|7214 | 0.000000e+00 | 1.000000e+00 |    Inf 
987.63/987.61	c   956s|400000 |  1358 |  2251k|   5.6 |  60M|  81 |  31 |3649 |  63k|3649 | 979 | 219k| 552k|7283 | 0.000000e+00 | 1.000000e+00 |    Inf 
1018.63/1018.64	c   987s|410000 |  1388 |  2299k|   5.6 |  60M|  81 |   - |3649 |  62k|   0 |   0 | 220k| 568k|7362 | 0.000000e+00 | 1.000000e+00 |    Inf 
1049.33/1049.36	c  1017s|420000 |  1431 |  2347k|   5.6 |  59M|  81 |   - |3649 |  59k|   0 |   0 | 221k| 583k|7427 | 0.000000e+00 | 1.000000e+00 |    Inf 
1078.53/1078.51	c  1045s|430000 |  1341 |  2394k|   5.6 |  59M|  81 |   - |3649 |  58k|   0 |   0 | 223k| 598k|7492 | 0.000000e+00 | 1.000000e+00 |    Inf 
1107.63/1107.64	c  1073s|440000 |  1251 |  2440k|   5.5 |  57M|  81 |  27 |3649 |  56k|3649 | 979 | 224k| 613k|7556 | 0.000000e+00 | 1.000000e+00 |    Inf 
1137.83/1137.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1137.83/1137.82	c  1103s|450000 |  1229 |  2491k|   5.5 |  59M|  81 |   8 |3649 |  60k|3649 | 979 | 225k| 629k|7617 | 0.000000e+00 | 1.000000e+00 |    Inf 
1168.14/1168.15	c  1132s|460000 |  1138 |  2539k|   5.5 |  55M|  81 |   1 |3649 |  53k|3649 | 979 | 227k| 643k|7695 | 0.000000e+00 | 1.000000e+00 |    Inf 
1196.03/1196.09	c  1160s|470000 |  1115 |  2585k|   5.5 |  57M|  81 |   1 |3649 |  57k|3649 | 979 | 228k| 658k|7751 | 0.000000e+00 | 1.000000e+00 |    Inf 
1224.53/1224.56	c  1187s|480000 |  1089 |  2633k|   5.5 |  56M|  81 |   1 |3649 |  56k|3649 | 979 | 229k| 673k|7802 | 0.000000e+00 | 1.000000e+00 |    Inf 
1255.23/1255.21	c  1217s|490000 |  1107 |  2680k|   5.5 |  58M|  81 |   - |3649 |  60k|   0 |   0 | 230k| 687k|7859 | 0.000000e+00 | 1.000000e+00 |    Inf 
1286.94/1286.96	c  1248s|500000 |  1071 |  2727k|   5.5 |  58M|  81 |  18 |3649 |  60k|3649 | 979 | 232k| 701k|7915 | 0.000000e+00 | 1.000000e+00 |    Inf 
1316.13/1316.19	c  1277s|510000 |  1037 |  2774k|   5.4 |  57M|  81 |   - |3649 |  57k|3649 | 979 | 233k| 715k|7964 | 0.000000e+00 | 1.000000e+00 |    Inf 
1344.94/1344.91	c  1305s|520000 |   946 |  2824k|   5.4 |  52M|  81 |   - |3649 |  48k|   0 |   0 | 234k| 730k|8024 | 0.000000e+00 | 1.000000e+00 |    Inf 
1374.43/1374.48	c  1333s|530000 |   848 |  2882k|   5.4 |  47M|  81 |   - |3649 |  36k|   0 |   0 | 239k| 744k|8122 | 0.000000e+00 | 1.000000e+00 |    Inf 
1398.73/1398.73	c  1357s|540000 |   901 |  2940k|   5.4 |  47M|  81 |   - |3649 |  35k|   0 |   0 | 245k| 758k|8200 | 0.000000e+00 | 1.000000e+00 |    Inf 
1422.94/1422.91	c  1380s|550000 |  1035 |  2999k|   5.5 |  49M|  81 |  17 |3649 |  37k|3649 | 981 | 253k| 772k|8287 | 0.000000e+00 | 1.000000e+00 |    Inf 
1448.14/1448.19	c  1405s|560000 |  1034 |  3060k|   5.5 |  50M|  81 |  23 |3649 |  39k|3649 | 982 | 259k| 788k|8380 | 0.000000e+00 | 1.000000e+00 |    Inf 
1474.05/1474.04	c  1430s|570000 |   992 |  3122k|   5.5 |  50M|  81 |   - |3649 |  40k|   0 |   0 | 267k| 802k|8460 | 0.000000e+00 | 1.000000e+00 |    Inf 
1499.74/1499.78	c  1455s|580000 |  1003 |  3183k|   5.5 |  51M|  81 |   - |3649 |  43k|   0 |   0 | 274k| 817k|8530 | 0.000000e+00 | 1.000000e+00 |    Inf 
1526.85/1526.83	c  1482s|590000 |   913 |  3242k|   5.5 |  51M|  81 |  12 |3649 |  44k|3649 | 976 | 281k| 831k|8603 | 0.000000e+00 | 1.000000e+00 |    Inf 
1553.84/1553.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1553.84/1553.89	c  1508s|600000 |   946 |  3303k|   5.5 |  54M|  81 |  15 |3649 |  50k|3649 | 967 | 289k| 846k|8668 | 0.000000e+00 | 1.000000e+00 |    Inf 
1581.94/1581.95	c  1535s|610000 |   848 |  3363k|   5.5 |  52M|  81 |  16 |3649 |  46k|3649 | 960 | 296k| 861k|8749 | 0.000000e+00 | 1.000000e+00 |    Inf 
1607.95/1607.90	c  1561s|620000 |   872 |  3418k|   5.5 |  53M|  81 |   1 |3649 |  50k|3649 | 980 | 302k| 876k|8814 | 0.000000e+00 | 1.000000e+00 |    Inf 
1636.04/1636.00	c  1588s|630000 |   871 |  3480k|   5.5 |  53M|  81 |  22 |3649 |  49k|3649 | 978 | 311k| 891k|8881 | 0.000000e+00 | 1.000000e+00 |    Inf 
1665.75/1665.78	c  1617s|640000 |   810 |  3538k|   5.5 |  51M|  81 |   - |3649 |  45k|   0 |   0 | 317k| 906k|8953 | 0.000000e+00 | 1.000000e+00 |    Inf 
1692.74/1692.73	c  1643s|650000 |   855 |  3592k|   5.5 |  53M|  81 |   8 |3649 |  49k|3649 | 977 | 324k| 920k|9021 | 0.000000e+00 | 1.000000e+00 |    Inf 
1722.35/1722.35	c  1672s|660000 |   794 |  3656k|   5.5 |  52M|  81 |   - |3649 |  46k|   0 |   0 | 332k| 934k|9113 | 0.000000e+00 | 1.000000e+00 |    Inf 
1750.35/1750.34	c  1699s|670000 |   704 |  3719k|   5.6 |  49M|  81 |  15 |3649 |  42k|3649 | 976 | 338k| 947k|9250 | 0.000000e+00 | 1.000000e+00 |    Inf 
1775.55/1775.59	c  1724s|680000 |   762 |  3772k|   5.5 |  51M|  81 |   8 |3649 |  47k|3649 | 976 | 339k| 961k|9297 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1747.24
1800.05/1800.00	c Solving Nodes      : 689124
1800.05/1800.00	c Primal Bound       : +1.00000000000000e+00 (142 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.03	s SATISFIABLE
1800.05/1800.03	v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 
1800.05/1800.03	v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 
1800.05/1800.03	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.05/1800.03	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 x151 -x150 -x149 -x148 -x147 
1800.05/1800.03	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 
1800.05/1800.03	v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.05/1800.03	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 
1800.05/1800.03	v -x79 -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 
1800.05/1800.03	v -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 
1800.05/1800.03	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 x4 -x3 -x2 
1800.05/1800.03	v -x1 
1800.05/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.03	c Solving Time       :    1747.24
1800.05/1800.03	c Original Problem   :
1800.05/1800.03	c   Problem name     : HOME/instance-2692855-1277907198.wbo
1800.05/1800.03	c   Variables        : 3801 (2016 binary, 0 integer, 0 implicit integer, 1785 continuous)
1800.05/1800.03	c   Constraints      : 4493 initial, 4493 maximal
1800.05/1800.03	c Presolved Problem  :
1800.05/1800.03	c   Problem name     : t_HOME/instance-2692855-1277907198.wbo
1800.05/1800.03	c   Variables        : 3649 (1940 binary, 0 integer, 0 implicit integer, 1709 continuous)
1800.05/1800.03	c   Constraints      : 4298 initial, 65553 maximal
1800.05/1800.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.03	c   trivial          :       0.00         76          0          0          0          0          0          0          0
1800.05/1800.03	c   dualfix          :       0.00         76          0          0          0          0          0          0          0
1800.05/1800.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.03	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.03	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.05/1800.03	c   indicator        :       0.00          0          0          0          0          0         76          0          0
1800.05/1800.03	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.03	c   linear           :       0.04          0          0          0       1809          0        119         96          0
1800.05/1800.03	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.03	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.03	c   root node        :          -       1709          -          -       3418          -          -          -          -
1800.05/1800.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.03	c   integral         :          0          0          0     441554          0         17        840          0          0     768944
1800.05/1800.03	c   indicator        :       1709          0     177963       6086          0          1     105816          0          0          0
1800.05/1800.03	c   setppc           :         11          6    3107716      54991          0      18586    1714782          0          0          0
1800.05/1800.03	c   linear           :       1709          6    3093005      56359          0     213689   16128842     340792          0          0
1800.05/1800.03	c   logicor          :        869+         6    1441353       3362          0     118373    3550434          0          0          0
1800.05/1800.03	c   bounddisjunction :          0+         0       2373          0          0          0          0          0          0          0
1800.05/1800.03	c   countsols        :          0          0          0       3362          0          0          0          0          0          0
1800.05/1800.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.03	c   integral         :      22.83       0.00       0.00      22.83       0.00
1800.05/1800.03	c   indicator        :       0.60       0.00       0.28       0.32       0.00
1800.05/1800.03	c   setppc           :      11.48       0.00      11.47       0.01       0.00
1800.05/1800.03	c   linear           :     125.45       0.00     123.19       2.26       0.00
1800.05/1800.03	c   logicor          :     393.83       0.00     393.80       0.03       0.00
1800.05/1800.03	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.03	c   vbounds          :       0.00          2          0          0
1800.05/1800.03	c   rootredcost      :       0.00         38          0       1709
1800.05/1800.03	c   pseudoobj        :      97.80    3111514         65      49546
1800.05/1800.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.03	c   propagation      :      17.07     350713     350175    2245840       27.4      10042       25.4          -
1800.05/1800.03	c   infeasible LP    :       8.33      31368      31368     255485       45.5        172       21.8          0
1800.05/1800.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.03	c   pseudo solution  :       0.00          7          7         41       18.0          6        3.3          -
1800.05/1800.03	c   applied globally :          -          -          -     974225       22.9          -          -          -
1800.05/1800.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.03	c   cut pool         :       0.00          4          -          -         14          -    (maximal pool size: 84)
1800.05/1800.03	c   redcost          :      19.00     441776          0      49637          0          0
1800.05/1800.03	c   impliedbounds    :       0.00          5          0          0          0          0
1800.05/1800.03	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.03	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.03	c   gomory           :       0.12          5          0          0        576          0
1800.05/1800.03	c   strongcg         :       0.07          5          0          0          0          0
1800.05/1800.03	c   cmir             :       0.02          5          0          0          0          0
1800.05/1800.03	c   flowcover        :       0.06          5          0          0          0          0
1800.05/1800.03	c   clique           :       0.00          5          0          0          0          0
1800.05/1800.03	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.03	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.03	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.03	c Pricers            :       Time      Calls       Vars
1800.05/1800.03	c   problem variables:       0.00          0          0
1800.05/1800.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.03	c   relpscost        :      22.64     385160         17        840          0          0     768944
1800.05/1800.03	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.03	c   inference        :       0.40       3325          0          0          0          0       6650
1800.05/1800.03	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.03	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.03	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.03	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.03	c   LP solutions     :       0.02          -         37
1800.05/1800.03	c   pseudo solutions :       0.00          -          0
1800.05/1800.03	c   feaspump         :       0.00          0          0
1800.05/1800.03	c   oneopt           :       0.10         30          0
1800.05/1800.03	c   intshifting      :       0.00          6          0
1800.05/1800.03	c   crossover        :       0.25         11          0
1800.05/1800.03	c   guideddiving     :       0.32        150          0
1800.05/1800.03	c   coefdiving       :       0.23        150          0
1800.05/1800.03	c   pscostdiving     :       0.20        150          0
1800.05/1800.03	c   fracdiving       :       0.23        150          0
1800.05/1800.03	c   linesearchdiving :       0.15        150          0
1800.05/1800.03	c   veclendiving     :       0.14        151          0
1800.05/1800.03	c   objpscostdiving  :       0.23        133          0
1800.05/1800.03	c   rootsoldiving    :       0.48        133          0
1800.05/1800.03	c   trivial          :       0.00          2          0
1800.05/1800.03	c   simplerounding   :       0.48     385118          0
1800.05/1800.03	c   zirounding       :       0.10       1000          0
1800.05/1800.03	c   rounding         :       0.92       8744          0
1800.05/1800.03	c   shifting         :       0.89       2757          0
1800.05/1800.03	c   twoopt           :       0.00          0          0
1800.05/1800.03	c   fixandinfer      :       0.00          0          0
1800.05/1800.03	c   intdiving        :       0.00          0          0
1800.05/1800.03	c   actconsdiving    :       0.00          0          0
1800.05/1800.03	c   octane           :       0.00          0          0
1800.05/1800.03	c   rens             :       0.02          1          0
1800.05/1800.03	c   rins             :       0.00          0          0
1800.05/1800.03	c   localbranching   :       0.00          0          0
1800.05/1800.03	c   mutation         :       0.00          0          0
1800.05/1800.03	c   dins             :       0.00          0          0
1800.05/1800.03	c   undercover       :       0.00          0          0
1800.05/1800.03	c   nlp              :       0.01          0          0
1800.05/1800.03	c   trysol           :       0.33       1424        105
1800.05/1800.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.03	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.03	c   dual LP          :     499.02     468621    3816904       8.14    7648.80
1800.05/1800.03	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.03	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.03	c   diving/probing LP:       0.42        525       2518       4.80    5995.24
1800.05/1800.03	c   strong branching :      19.10       9330     126082      13.51    6601.15
1800.05/1800.03	c     (at root node) :          -         33       1769      53.61          -
1800.05/1800.03	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.03	c B&B Tree           :
1800.05/1800.03	c   number of runs   :          1
1800.05/1800.03	c   nodes            :     689124
1800.05/1800.03	c   nodes (total)    :     689124
1800.05/1800.03	c   nodes left       :        737
1800.05/1800.03	c   max depth        :         81
1800.05/1800.03	c   max depth (total):         81
1800.05/1800.03	c   backtracks       :      99754 (14.5%)
1800.05/1800.03	c   delayed cutoffs  :      81896
1800.05/1800.03	c   repropagations   :    1171017 (4943441 domain reductions, 80567 cutoffs)
1800.05/1800.03	c   avg switch length:       4.84
1800.05/1800.03	c   switching time   :     308.41
1800.05/1800.03	c Solution           :
1800.05/1800.03	c   Solutions found  :        142 (38 improvements)
1800.05/1800.03	c   First Solution   : +8.39620000000000e+04   (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.05/1800.03	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 42740 nodes, 79.52 seconds, depth 28, found by <relaxation>)
1800.05/1800.03	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.03	c   Gap              :   infinite
1800.05/1800.03	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.03	c   Root Iterations  :        186
1800.15/1800.11	c Time complete: 1800.17.

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-2692855-1277907198/watcher-2692855-1277907198 -o /tmp/evaluation-result-2692855-1277907198/solver-2692855-1277907198 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692855-1277907198.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: 1.92 1.98 2.04 4/196 17367
/proc/meminfo: memFree=30892556/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=9288 CPUtime=0
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 1647 0 0 0 0 0 0 0 25 0 1 0 132014928 9510912 1566 4089446400 4194304 8223781 140737474338496 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17367/statm: 2322 1566 369 984 0 1335 0

[startup+0.058162 s]
/proc/loadavg: 1.92 1.98 2.04 4/196 17367
/proc/meminfo: memFree=30892556/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=30216 CPUtime=0.04
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 6726 0 0 0 4 0 0 0 25 0 1 0 132014928 30941184 6281 4089446400 4194304 8223781 140737474338496 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 7554 6344 442 984 0 6567 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30216

[startup+0.101165 s]
/proc/loadavg: 1.92 1.98 2.04 4/196 17367
/proc/meminfo: memFree=30892556/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=29188 CPUtime=0.09
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 7732 0 0 0 8 1 0 0 25 0 1 0 132014928 29888512 6259 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 7297 6259 452 984 0 6310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29188

[startup+0.301125 s]
/proc/loadavg: 1.92 1.98 2.04 4/196 17367
/proc/meminfo: memFree=30892556/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=35612 CPUtime=0.29
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 11541 0 0 0 26 3 0 0 25 0 1 0 132014928 36466688 7986 4089446400 4194304 8223781 140737474338496 18446744073709551615 4414571 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 8903 7986 570 984 0 7916 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35612

[startup+0.701022 s]
/proc/loadavg: 1.92 1.98 2.04 4/196 17367
/proc/meminfo: memFree=30892556/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=36248 CPUtime=0.69
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 18924 0 0 0 64 5 0 0 25 0 1 0 132014928 37117952 8138 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 9062 8138 587 984 0 8075 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36248

[startup+1.50086 s]
/proc/loadavg: 1.92 1.98 2.04 3/197 17368
/proc/meminfo: memFree=30851504/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=36248 CPUtime=1.49
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 18990 0 0 0 141 8 0 0 25 0 1 0 132014928 37117952 8139 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 9062 8139 588 984 0 8075 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36248

[startup+3.1006 s]
/proc/loadavg: 1.92 1.98 2.04 3/197 17368
/proc/meminfo: memFree=30830436/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=37208 CPUtime=3.09
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 20291 0 0 0 296 13 0 0 25 0 1 0 132014928 38100992 8306 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 9302 8306 589 984 0 8315 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37208

[startup+6.30102 s]
/proc/loadavg: 1.93 1.98 2.04 3/197 17369
/proc/meminfo: memFree=30820400/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=43728 CPUtime=6.29
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 33696 0 0 0 605 24 0 0 25 0 1 0 132014928 44777472 9777 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 10932 9777 591 984 0 9945 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43728

[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 2.04 3/197 17369
/proc/meminfo: memFree=30799732/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=52456 CPUtime=12.69
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 55359 0 0 0 1228 41 0 0 25 0 1 0 132014928 53714944 12023 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 13114 12023 596 984 0 12127 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52456

[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 2.04 3/197 17370
/proc/meminfo: memFree=30786436/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=58548 CPUtime=25.49
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 78947 0 0 0 2445 104 0 0 25 0 1 0 132014928 59953152 13544 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 14637 13544 597 984 0 13650 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58548

[startup+51.1008 s]
/proc/loadavg: 1.96 1.98 2.04 3/197 17370
/proc/meminfo: memFree=30765452/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=62548 CPUtime=51.09
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 87113 0 0 0 4880 229 0 0 25 0 1 0 132014928 64049152 14556 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 15637 14556 597 984 0 14650 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 62548

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 2.03 3/197 17372
/proc/meminfo: memFree=30730448/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=69592 CPUtime=102.3
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 107743 0 0 0 9787 443 0 0 25 0 1 0 132014928 71262208 16248 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 17398 16248 597 984 0 16411 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 69592

[startup+162.3 s]
/proc/loadavg: 2.38 2.11 2.08 3/197 17373
/proc/meminfo: memFree=30698920/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=76416 CPUtime=162.3
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 131840 0 0 0 15561 669 0 0 25 0 1 0 132014928 78249984 17944 4089446400 4194304 8223781 140737474338496 18446744073709551615 6483669 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 19104 17944 597 984 0 18117 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 76416

[startup+222.301 s]
/proc/loadavg: 2.14 2.09 2.07 3/197 17374
/proc/meminfo: memFree=30684244/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=78048 CPUtime=222.3
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 145011 0 0 0 21346 884 0 0 25 0 1 0 132014928 79921152 18362 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 19550 18364 599 984 0 18563 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 78048

[startup+282.301 s]
/proc/loadavg: 2.05 2.07 2.06 3/197 17376
/proc/meminfo: memFree=30664880/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=81016 CPUtime=282.3
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 163013 0 0 0 27172 1058 0 0 25 0 1 0 132014928 82960384 19119 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 20254 19119 599 984 0 19267 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 81016

[startup+342.301 s]
/proc/loadavg: 2.02 2.06 2.06 3/197 17378
/proc/meminfo: memFree=30640036/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=85740 CPUtime=342.3
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 168517 0 0 0 32981 1249 0 0 25 0 1 0 132014928 87797760 20225 4089446400 4194304 8223781 140737474338496 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 21435 20225 599 984 0 20448 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 85740

[startup+402.301 s]
/proc/loadavg: 2.04 2.06 2.06 3/197 17380
/proc/meminfo: memFree=30617064/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=89852 CPUtime=402.31
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 173959 0 0 0 38818 1413 0 0 25 0 1 0 132014928 92008448 21100 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 22463 21100 599 984 0 21476 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 89852

[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.05 3/197 17381
/proc/meminfo: memFree=30594092/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=91236 CPUtime=462.3
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 182662 0 0 0 44622 1608 0 0 25 0 1 0 132014928 93425664 21447 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 22809 21447 599 984 0 21822 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 91236

[startup+522.301 s]
/proc/loadavg: 2.06 2.05 2.05 3/197 17382
/proc/meminfo: memFree=30565540/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=92296 CPUtime=522.31
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 194708 0 0 0 50427 1804 0 0 25 0 1 0 132014928 94511104 21680 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 23074 21680 599 984 0 22087 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 92296

[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.05 3/197 17384
/proc/meminfo: memFree=30543920/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=94980 CPUtime=582.31
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 211348 0 0 0 56236 1995 0 0 25 0 1 0 132014928 97259520 22361 4089446400 4194304 8223781 140737474338496 18446744073709551615 4212294 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 23745 22361 606 984 0 22758 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 94980

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.04 3/197 17386
/proc/meminfo: memFree=30525292/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=95020 CPUtime=642.31
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 216150 0 0 0 62042 2189 0 0 25 0 1 0 132014928 97300480 22402 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 23755 22402 606 984 0 22768 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 95020

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.47 2.12 2.05 3/197 17392
/proc/meminfo: memFree=30445892/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=101004 CPUtime=882.32
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 235774 0 0 0 85342 2890 0 0 25 0 1 0 132014928 103428096 23853 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 25251 23853 606 984 0 24264 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 101004

[startup+942.3 s]
/proc/loadavg: 2.23 2.11 2.05 3/197 17394
/proc/meminfo: memFree=30426884/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=101908 CPUtime=942.32
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 236042 0 0 0 91193 3039 0 0 25 0 1 0 132014928 104353792 24119 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 25477 24119 606 984 0 24490 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 101908

[startup+1002.3 s]
/proc/loadavg: 2.08 2.09 2.05 3/197 17396
/proc/meminfo: memFree=30414204/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=105324 CPUtime=1002.32
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 237189 0 0 0 97055 3177 0 0 25 0 1 0 132014928 107851776 24955 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 26331 24955 606 984 0 25344 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 105324

[startup+1062.3 s]
/proc/loadavg: 2.03 2.07 2.04 3/197 17397
/proc/meminfo: memFree=30413792/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=105372 CPUtime=1062.33
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 239659 0 0 0 102931 3302 0 0 25 0 1 0 132014928 107900928 24979 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 26343 24979 606 984 0 25356 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 105372

[startup+1122.3 s]
/proc/loadavg: 2.01 2.05 2.04 3/197 17401
/proc/meminfo: memFree=30412364/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=105636 CPUtime=1122.33
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 244140 0 0 0 108769 3464 0 0 25 0 1 0 132014928 108171264 25045 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 26409 25045 606 984 0 25422 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 105636

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/197 17403
/proc/meminfo: memFree=30411404/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=105828 CPUtime=1182.33
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 248272 0 0 0 114615 3618 0 0 25 0 1 0 132014928 108367872 25111 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 26457 25111 606 984 0 25470 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 105828

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/197 17405
/proc/meminfo: memFree=30410620/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=107520 CPUtime=1242.34
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 252466 0 0 0 120456 3778 0 0 25 0 1 0 132014928 110100480 25252 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 26880 25252 606 984 0 25893 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 107520

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/197 17407
/proc/meminfo: memFree=30409824/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=108252 CPUtime=1302.34
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 260218 0 0 0 126309 3925 0 0 25 0 1 0 132014928 110850048 25466 4089446400 4194304 8223781 140737474338496 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 27063 25466 606 984 0 26076 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 108252

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/197 17408
/proc/meminfo: memFree=30409056/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=109504 CPUtime=1362.33
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 268431 0 0 0 132157 4076 0 0 25 0 1 0 132014928 112132096 25622 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 27376 25622 606 984 0 26389 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 109504

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.01 3/197 17409
/proc/meminfo: memFree=30406408/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=110076 CPUtime=1422.35
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 272240 0 0 0 137974 4261 0 0 25 0 1 0 132014928 112717824 25686 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 27519 25686 606 984 0 26532 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 110076

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 17411
/proc/meminfo: memFree=30392472/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=110368 CPUtime=1482.34
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 276648 0 0 0 143819 4415 0 0 25 0 1 0 132014928 113016832 25720 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 27592 25720 606 984 0 26605 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 110368

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 17413
/proc/meminfo: memFree=30377136/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=110480 CPUtime=1542.34
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277280 0 0 0 149673 4561 0 0 25 0 1 0 132014928 113131520 25745 4089446400 4194304 8223781 140737474338496 18446744073709551615 4999667 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 27620 25745 606 984 0 26633 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 110480

[startup+1602.3 s]
/proc/loadavg: 2.37 2.11 2.04 3/197 17415
/proc/meminfo: memFree=30357016/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=110480 CPUtime=1602.34
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277292 0 0 0 155515 4719 0 0 25 0 1 0 132014928 113131520 25753 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 27620 25753 606 984 0 26633 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 110480

[startup+1662.3 s]
/proc/loadavg: 2.12 2.08 2.03 3/197 17416
/proc/meminfo: memFree=30333788/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=110480 CPUtime=1662.35
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277310 0 0 0 161349 4886 0 0 25 0 1 0 132014928 113131520 25770 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 27620 25770 606 984 0 26633 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 110480

[startup+1722.3 s]
/proc/loadavg: 2.29 2.12 2.04 4/200 17484
/proc/meminfo: memFree=30734056/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=110480 CPUtime=1722.35
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277358 0 0 0 167172 5063 0 0 25 0 1 0 132014928 113131520 25816 4089446400 4194304 8223781 140737474338496 18446744073709551615 4210345 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 27620 25816 606 984 0 26633 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 110480

[startup+1782.3 s]
/proc/loadavg: 2.65 2.26 2.09 3/200 17486
/proc/meminfo: memFree=30715384/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=110480 CPUtime=1782.34
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277452 0 0 0 173003 5231 0 0 25 0 1 0 132014928 113131520 25842 4089446400 4194304 8223781 140737474338496 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 27620 25842 606 984 0 26633 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 110480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.65 2.28 2.10 4/200 17486
/proc/meminfo: memFree=30711640/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=110480 CPUtime=1800.05
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277452 0 0 0 174725 5280 0 0 25 0 1 0 132014928 113131520 25842 4089446400 4194304 8223781 140737474338496 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17367/statm: 27620 25842 606 984 0 26633 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 110480

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

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

[startup+1800.11 s]
/proc/loadavg: 2.65 2.28 2.10 4/200 17486
/proc/meminfo: memFree=30711640/32951124 swapFree=67111528/67111528
[pid=17367] ppid=17365 vsize=99028 CPUtime=1800.15
/proc/17367/stat : 17367 (pbscip.linux.x8) R 17365 17367 15765 0 -1 4202496 277454 0 0 0 174735 5280 0 0 18 0 1 0 132014928 101404672 23005 4089446400 4194304 8223781 140737474338496 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17367/statm: 24757 23005 608 984 0 23770 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 99028

Child status: 0
Real time (s): 1800.12
CPU time (s): 1800.17
CPU user time (s): 1747.36
CPU system time (s): 52.811
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 111320

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

runsolver used 2.78858 second user time and 5.68214 second system time

The end

Launcher Data 

Begin job on node147 at 2010-06-30 16:13:18
IDJOB=2692855
IDBENCH=78946
IDSOLVER=1204
FILE ID=node147/2692855-1277907198
PBS_JOBID= 11197162
Free space on /tmp= 74200 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692855-1277907198/watcher-2692855-1277907198 -o /tmp/evaluation-result-2692855-1277907198/solver-2692855-1277907198 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692855-1277907198.wbo -t 1800 -m 3800

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

MD5SUM BENCH= b0bcd9e760e7f0ffa9653d41066a148b
RANDOM SEED=1139368891

node147.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.822
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.64
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.822
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.15
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.822
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.75
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.822
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.84
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.822
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.74
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.822
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.822
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.822
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:      30893084 kB
Buffers:        192796 kB
Cached:        1500772 kB
SwapCached:          0 kB
Active:         701792 kB
Inactive:      1210912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30893084 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5108 kB
Writeback:           0 kB
AnonPages:      219576 kB
Mapped:          20276 kB
Slab:            81152 kB
PageTables:       4976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1657924 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= 74192 MiB
End job on node147 at 2010-06-30 16:43:20