Trace number 2692371

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.23 1800.21

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo
MD5SUM85ba7bcc847457eeeb822d6fc8af8950
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 benchmark254.891
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 constraints2707
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 138262
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 138261
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 641
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-2692371-1277928650.wbo>
0.00/0.03	c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.09/0.12	o 138261
0.09/0.12	c feasible solution found by trivial heuristic, objective value  1.382610e+05
0.09/0.12	c presolving:
0.09/0.13	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14	c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18	c presolving (3 rounds):
0.09/0.18	c  0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18	c  2707 implications, 0 cliques
0.09/0.18	c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18	c    2707 constraints of type <indicator>
0.09/0.18	c    2707 constraints of type <linear>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.13
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 1.2.1.2
0.09/0.18	c 
0.09/0.18	c # frequency for displaying node information lines
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18	c display/freq = 10000
0.09/0.18	c 
0.09/0.18	c # maximal time in seconds to run
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/time = 1799.98
0.09/0.18	c 
0.09/0.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/memory = 3420
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify inequalities
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/linear/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify knapsacks
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c separating/rapidlearning/freq = 0
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.18	c 
0.19/0.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.20	c t 0.2s|     1 |     0 |     0 |     - |  19M|   0 |   0 |5645 |5414 |5645 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.382610e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    22 |     - |  19M|   0 |   0 |5645 |5414 |5645 |  22 |  22 |   0 |   0 | 0.000000e+00 | 1.382610e+05 |    Inf 
0.19/0.20	c   0.2s|     1 |     0 |    43 |     - |  19M|   0 |   7 |5645 |5414 |5645 |  53 |  53 |   0 |   0 | 0.000000e+00 | 1.382610e+05 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    65 |     - |  19M|   0 |  19 |5645 |5414 |5645 |  89 |  89 |   0 |   0 | 0.000000e+00 | 1.382610e+05 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    85 |     - |  19M|   0 |  30 |5645 |5414 |5645 | 113 | 113 |   0 |   0 | 0.000000e+00 | 1.382610e+05 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    98 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 127 | 127 |   0 |   0 | 0.000000e+00 | 1.382610e+05 |    Inf 
0.19/0.27	c   0.2s|     1 |     0 |   106 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |   0 | 0.000000e+00 | 1.382610e+05 |    Inf 
0.39/0.40	c   0.4s|     1 |     2 |   185 |     - |  19M|   0 |  32 |5645 |5414 |5645 | 137 | 137 |   0 |  32 | 0.000000e+00 | 1.382610e+05 |    Inf 
28.99/29.08	c  28.7s| 10000 | 10001 | 44366 |   4.4 |  51M|  95 |   0 |5645 |5414 |5645 | 230 |  17k|   0 |1777 | 0.000000e+00 | 1.382610e+05 |    Inf 
46.69/46.73	c  46.2s| 20000 | 20001 | 52476 |   2.6 |  72M|1487 |   0 |5645 |5414 |5645 | 249 |  21k|   0 |1782 | 0.000000e+00 | 1.382610e+05 |    Inf 
59.29/59.38	o 526
59.29/59.38	c *58.7s| 27634 | 11533 | 54092 |   2.0 |  55M|1487 |   - |5645 |5414 |5645 | 218 |  22k|   0 |1782 | 0.000000e+00 | 5.260000e+02 |    Inf 
61.89/61.99	o 523
61.89/61.99	c *61.3s| 28857 | 12593 | 55583 |   1.9 |  59M|1487 |   - |5645 |5619 |5645 | 240 |  22k| 205 |1782 | 0.000000e+00 | 5.230000e+02 |    Inf 
62.39/62.48	o 480
62.39/62.48	c *61.8s| 29069 | 11624 | 55943 |   1.9 |  56M|1487 |   - |5645 |5635 |5645 | 245 |  22k| 221 |1782 | 0.000000e+00 | 4.800000e+02 |    Inf 
63.49/63.55	o 477
63.49/63.55	c *62.8s| 29508 | 11919 | 56672 |   1.9 |  58M|1487 |   - |5645 |5713 |5645 | 277 |  22k| 299 |1782 | 0.000000e+00 | 4.770000e+02 |    Inf 
63.59/63.62	o 475
63.59/63.62	c *62.9s| 29535 | 11889 | 56733 |   1.9 |  57M|1487 |   - |5645 |5723 |5645 | 232 |  22k| 309 |1782 | 0.000000e+00 | 4.750000e+02 |    Inf 
64.69/64.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
64.69/64.71	c  64.0s| 30000 | 12319 | 57803 |   1.9 |  58M|1487 |   0 |5645 |5796 |5645 | 166 |  23k| 382 |1785 | 0.000000e+00 | 4.750000e+02 |    Inf 
66.29/66.38	o 467
66.29/66.38	c *65.6s| 30740 | 12634 | 59003 |   1.9 |  60M|1487 |   - |5645 |5993 |5645 | 211 |  23k| 579 |1785 | 0.000000e+00 | 4.670000e+02 |    Inf 
66.49/66.57	o 418
66.49/66.57	c *65.8s| 30823 | 10809 | 59078 |   1.9 |  55M|1487 |   - |5645 |5996 |5645 | 204 |  23k| 582 |1785 | 0.000000e+00 | 4.180000e+02 |    Inf 
66.59/66.68	o 362
66.59/66.68	c *65.9s| 30862 |  8361 | 59122 |   1.9 |  49M|1487 |   - |5645 |6006 |5645 | 180 |  23k| 592 |1785 | 0.000000e+00 | 3.620000e+02 |    Inf 
66.79/66.84	o 311
66.79/66.84	c *66.1s| 30918 |  6340 | 59268 |   1.9 |  45M|1487 |   - |5645 |6011 |5645 | 220 |  23k| 597 |1785 | 0.000000e+00 | 3.110000e+02 |    Inf 
66.89/66.90	o 305
66.89/66.90	c *66.1s| 30930 |  6185 | 59332 |   1.9 |  45M|1487 |   - |5645 |6012 |5645 | 173 |  23k| 598 |1785 | 0.000000e+00 | 3.050000e+02 |    Inf 
66.89/66.91	o 277
66.89/66.91	c *66.1s| 30931 |  5548 | 59334 |   1.9 |  43M|1487 |   - |5645 |6012 |5645 | 175 |  23k| 598 |1785 | 0.000000e+00 | 2.770000e+02 |    Inf 
66.99/67.02	o 229
66.99/67.02	c *66.2s| 30970 |  4549 | 59426 |   1.9 |  40M|1487 |   - |5645 |6012 |5645 | 194 |  23k| 598 |1785 | 0.000000e+00 | 2.290000e+02 |    Inf 
67.10/67.16	o 199
67.10/67.16	c *66.4s| 31010 |  4132 | 59749 |   1.9 |  39M|1487 |   - |5645 |6016 |5645 | 183 |  23k| 602 |1785 | 0.000000e+00 | 1.990000e+02 |    Inf 
67.29/67.30	o 198
67.29/67.30	c *66.5s| 31050 |  4148 | 59855 |   1.9 |  39M|1487 |   - |5645 |6030 |5645 | 211 |  23k| 616 |1785 | 0.000000e+00 | 1.980000e+02 |    Inf 
67.29/67.31	o 181
67.29/67.31	c *66.5s| 31051 |  3879 | 59855 |   1.9 |  39M|1487 |   - |5645 |6030 |5645 | 211 |  23k| 616 |1785 | 0.000000e+00 | 1.810000e+02 |    Inf 
67.29/67.38	o 158
67.29/67.38	c *66.6s| 31068 |  3514 | 59965 |   1.9 |  38M|1487 |   - |5645 |6036 |5645 | 204 |  23k| 622 |1785 | 0.000000e+00 | 1.580000e+02 |    Inf 
67.39/67.47	o 142
67.39/67.47	c *66.7s| 31105 |  3180 | 60066 |   1.9 |  37M|1487 |   - |5645 |6037 |5645 | 182 |  23k| 623 |1785 | 0.000000e+00 | 1.420000e+02 |    Inf 
67.49/67.53	o 125
67.49/67.53	c *66.8s| 31132 |  2800 | 60127 |   1.9 |  36M|1487 |   - |5645 |6038 |5645 | 180 |  23k| 624 |1785 | 0.000000e+00 | 1.250000e+02 |    Inf 
67.59/67.67	o 124
67.59/67.67	c *66.9s| 31154 |  2781 | 60340 |   1.9 |  36M|1487 |   - |5645 |6046 |5645 | 203 |  24k| 632 |1785 | 0.000000e+00 | 1.240000e+02 |    Inf 
67.79/67.80	o 117
67.79/67.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
67.79/67.80	c *67.0s| 31181 |  2639 | 60579 |   1.9 |  36M|1487 |   - |5645 |6071 |5645 | 215 |  24k| 657 |1785 | 0.000000e+00 | 1.170000e+02 |    Inf 
67.89/67.94	o 105
67.89/67.94	c *67.2s| 31211 |  2425 | 60720 |   1.9 |  36M|1487 |   - |5645 |6084 |5645 | 222 |  24k| 670 |1785 | 0.000000e+00 | 1.050000e+02 |    Inf 
67.89/67.99	o 104
67.89/67.99	c *67.2s| 31220 |  2405 | 60800 |   1.9 |  36M|1487 |   - |5645 |6091 |5645 | 216 |  24k| 677 |1785 | 0.000000e+00 | 1.040000e+02 |    Inf 
68.30/68.35	o 97
68.30/68.35	c *67.6s| 31306 |  2258 | 61384 |   2.0 |  36M|1487 |   - |5645 |6172 |5645 | 216 |  24k| 758 |1785 | 0.000000e+00 | 9.700000e+01 |    Inf 
68.30/68.39	o 95
68.30/68.39	c *67.6s| 31309 |  2164 | 61398 |   2.0 |  36M|1487 |   - |5645 |6030 |5645 | 164 |  24k| 760 |1785 | 0.000000e+00 | 9.500000e+01 |    Inf 
69.19/69.27	o 89
69.19/69.27	c *68.5s| 31493 |  1993 | 61884 |   2.0 |  37M|1487 |   - |5645 |6149 |5645 | 181 |  24k| 940 |1787 | 0.000000e+00 | 8.900000e+01 |    Inf 
69.30/69.33	o 82
69.30/69.33	c *68.5s| 31498 |  1773 | 61918 |   2.0 |  36M|1487 |   - |5645 |5987 |5645 | 184 |  24k| 945 |1787 | 0.000000e+00 | 8.200000e+01 |    Inf 
69.30/69.36	o 72
69.30/69.36	c *68.6s| 31500 |  1249 | 61969 |   2.0 |  34M|1487 |   - |5645 |5773 |5645 | 180 |  24k| 945 |1787 | 0.000000e+00 | 7.200000e+01 |    Inf 
73.99/74.07	o 71
73.99/74.07	c *73.2s| 33047 |  1347 | 65122 |   2.0 |  37M|1487 |   - |5645 |6437 |5645 | 163 |  25k|2502 |1787 | 0.000000e+00 | 7.100000e+01 |    Inf 
96.09/96.13	c  95.0s| 40000 |  2056 | 86415 |   2.2 |  49M|1487 |   1 |5645 |6995 |5645 | 161 |  31k|  10k|1791 | 0.000000e+00 | 7.100000e+01 |    Inf 
122.59/122.69	c   121s| 50000 |  2357 |106825 |   2.1 |  57M|1487 |   3 |5645 |7631 |5645 | 177 |  37k|  22k|1820 | 0.000000e+00 | 7.100000e+01 |    Inf 
150.09/150.14	c   148s| 60000 |  2754 |129429 |   2.2 |  67M|1487 |   0 |5645 |8220 |5645 | 171 |  44k|  35k|1910 | 0.000000e+00 | 7.100000e+01 |    Inf 
181.89/181.93	c   180s| 70000 |  3302 |162070 |   2.3 |  81M|1487 |   - |5645 |9632 |   0 |   0 |  56k|  48k|2063 | 0.000000e+00 | 7.100000e+01 |    Inf 
211.30/211.36	c   209s| 80000 |  3562 |188081 |   2.3 |  90M|1487 |   1 |5645 |9714 |5645 | 173 |  66k|  62k|2232 | 0.000000e+00 | 7.100000e+01 |    Inf 
233.00/233.06	o 51
233.00/233.06	c * 230s| 86506 |  3471 |209939 |   2.4 |  95M|1487 |   - |5645 |8891 |5645 | 148 |  74k|  71k|2364 | 0.000000e+00 | 5.100000e+01 |    Inf 
240.60/240.62	o 47
240.60/240.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
240.60/240.62	c * 238s| 89292 |  3173 |216067 |   2.4 |  94M|1487 |   - |5645 |7579 |5645 | 148 |  76k|  75k|2410 | 0.000000e+00 | 4.700000e+01 |    Inf 
240.60/240.66	o 40
240.60/240.66	c * 238s| 89297 |  2943 |216078 |   2.4 |  91M|1487 |   - |5645 |7344 |5645 | 150 |  76k|  75k|2410 | 0.000000e+00 | 4.000000e+01 |    Inf 
242.39/242.50	c   239s| 90000 |  2880 |217505 |   2.4 |  90M|1487 |   1 |5645 |5922 |5645 | 150 |  76k|  76k|2439 | 0.000000e+00 | 4.000000e+01 |    Inf 
251.20/251.24	o 36
251.20/251.24	c * 248s| 93731 |  2850 |227507 |   2.4 |  91M|1487 |   - |5645 |7985 |5645 | 152 |  78k|  80k|2479 | 0.000000e+00 | 3.600000e+01 |    Inf 
261.29/261.31	o 25
261.29/261.31	c * 258s| 97993 |  2587 |237634 |   2.4 |  87M|1487 |   - |5645 |6379 |5645 | 183 |  80k|  86k|2518 | 0.000000e+00 | 2.500000e+01 |    Inf 
265.59/265.67	c   262s|100000 |  2502 |242649 |   2.4 |  87M|1487 |   - |5645 |5778 |   0 |   0 |  81k|  89k|2586 | 0.000000e+00 | 2.500000e+01 |    Inf 
285.60/285.69	o 15
285.60/285.69	c * 282s|109899 |  1959 |264942 |   2.4 |  75M|1487 |   - |5645 |6690 |5645 | 163 |  85k| 101k|2692 | 0.000000e+00 | 1.500000e+01 |    Inf 
286.00/286.01	c   282s|110000 |  1946 |265394 |   2.4 |  75M|1487 |   1 |5645 |6043 |5645 | 150 |  85k| 102k|2726 | 0.000000e+00 | 1.500000e+01 |    Inf 
306.49/306.53	o 13
306.49/306.53	c * 302s|119767 |  1890 |302670 |   2.5 |  69M|1487 |   - |5645 |9057 |5645 | 170 |  95k| 113k|2902 | 0.000000e+00 | 1.300000e+01 |    Inf 
307.00/307.07	c   303s|120000 |  1892 |303796 |   2.5 |  69M|1487 |   - |5645 |8880 |   0 |   0 |  95k| 113k|2902 | 0.000000e+00 | 1.300000e+01 |    Inf 
309.40/309.48	o 12
309.40/309.48	c * 305s|121134 |  1882 |308289 |   2.5 |  69M|1487 |   - |5645 |9524 |5645 | 171 |  96k| 115k|2916 | 0.000000e+00 | 1.200000e+01 |    Inf 
309.80/309.84	o 8
309.80/309.84	c * 306s|121298 |  1399 |308917 |   2.5 |  57M|1487 |   - |5645 |9568 |5645 | 167 |  96k| 115k|2924 | 0.000000e+00 | 8.000000e+00 |    Inf 
311.30/311.39	o 5
311.30/311.39	c * 307s|121970 |  1231 |312198 |   2.6 |  54M|1487 |   - |5645 |8873 |5645 | 195 |  97k| 116k|2944 | 0.000000e+00 | 5.000000e+00 |    Inf 
328.29/328.32	c   324s|130000 |  1253 |354969 |   2.7 |  55M|1487 |   - |5645 |9952 |   0 |   0 | 110k| 126k|3056 | 0.000000e+00 | 5.000000e+00 |    Inf 
348.81/348.87	c   344s|140000 |  1273 |404100 |   2.9 |  56M|1487 |   - |5645 |  10k|   0 |   0 | 122k| 139k|3242 | 0.000000e+00 | 5.000000e+00 |    Inf 
369.70/369.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
369.70/369.71	c   365s|150000 |  1295 |452517 |   3.0 |  57M|1487 |   - |5645 |  11k|   0 |   0 | 134k| 151k|3422 | 0.000000e+00 | 5.000000e+00 |    Inf 
390.20/390.27	c   385s|160000 |  1215 |497240 |   3.1 |  58M|1487 |   1 |5645 |  12k|5645 | 177 | 144k| 165k|3584 | 0.000000e+00 | 5.000000e+00 |    Inf 
410.40/410.44	c   405s|170000 |  1214 |540170 |   3.2 |  58M|1487 |   - |5645 |  12k|   0 |   0 | 154k| 177k|3773 | 0.000000e+00 | 5.000000e+00 |    Inf 
432.31/432.34	c   426s|180000 |  1357 |582748 |   3.2 |  61M|1487 |  10 |5645 |  17k|5645 | 181 | 167k| 191k|3865 | 0.000000e+00 | 5.000000e+00 |    Inf 
454.60/454.69	c   448s|190000 |  1325 |626273 |   3.3 |  61M|1487 |  17 |5645 |  14k|5645 | 167 | 179k| 204k|3963 | 0.000000e+00 | 5.000000e+00 |    Inf 
477.10/477.11	c   471s|200000 |  1310 |671508 |   3.4 |  62M|1487 |   6 |5645 |  17k|5645 | 169 | 192k| 218k|4057 | 0.000000e+00 | 5.000000e+00 |    Inf 
499.70/499.79	c   493s|210000 |  1230 |714298 |   3.4 |  62M|1487 |   1 |5645 |  17k|5645 | 143 | 203k| 231k|4151 | 0.000000e+00 | 5.000000e+00 |    Inf 
519.90/519.91	c   513s|220000 |  1205 |743713 |   3.4 |  62M|1487 |   - |5645 |  17k|   0 |   0 | 210k| 245k|4192 | 0.000000e+00 | 5.000000e+00 |    Inf 
540.80/540.86	c   533s|230000 |  1266 |781280 |   3.4 |  62M|1487 |   1 |5645 |  14k|5645 | 179 | 219k| 257k|4499 | 0.000000e+00 | 5.000000e+00 |    Inf 
542.19/542.24	o 2
542.19/542.24	c * 535s|230689 |  1123 |782748 |   3.4 |  59M|1487 |   - |5645 |  15k|5645 | 185 | 219k| 258k|4499 | 0.000000e+00 | 2.000000e+00 |    Inf 
563.40/563.45	c   556s|240000 |  1133 |828727 |   3.5 |  60M|1487 |   - |5645 |  16k|   0 |   0 | 233k| 271k|4578 | 0.000000e+00 | 2.000000e+00 |    Inf 
586.90/586.98	c   579s|250000 |  1281 |881173 |   3.5 |  62M|1487 |   7 |5645 |  18k|5645 | 171 | 248k| 285k|4720 | 0.000000e+00 | 2.000000e+00 |    Inf 
609.41/609.48	c   601s|260000 |  1462 |927218 |   3.6 |  65M|1487 |   - |5645 |  21k|   0 |   0 | 261k| 298k|4807 | 0.000000e+00 | 2.000000e+00 |    Inf 
633.80/633.82	c   625s|270000 |  1678 |978019 |   3.6 |  67M|1487 |   - |5645 |  21k|   0 |   0 | 278k| 311k|4921 | 0.000000e+00 | 2.000000e+00 |    Inf 
659.00/659.08	c   650s|280000 |  1854 |  1032k|   3.7 |  70M|1487 |   8 |5645 |  24k|5645 | 171 | 295k| 324k|5031 | 0.000000e+00 | 2.000000e+00 |    Inf 
684.90/684.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
684.90/684.97	c   676s|290000 |  1973 |  1087k|   3.8 |  71M|1487 |  20 |5645 |  26k|5645 | 212 | 312k| 338k|5148 | 0.000000e+00 | 2.000000e+00 |    Inf 
709.10/709.19	c   699s|300000 |  1831 |  1131k|   3.8 |  70M|1487 |   - |5645 |  24k|   0 |   0 | 324k| 352k|5230 | 0.000000e+00 | 2.000000e+00 |    Inf 
732.20/732.27	c   722s|310000 |  1762 |  1176k|   3.8 |  70M|1487 |   - |5645 |  24k|   0 |   0 | 336k| 366k|5297 | 0.000000e+00 | 2.000000e+00 |    Inf 
755.81/755.88	c   745s|320000 |  1721 |  1222k|   3.8 |  70M|1487 |   - |5645 |  23k|   0 |   0 | 347k| 381k|5384 | 0.000000e+00 | 2.000000e+00 |    Inf 
780.60/780.64	c   770s|330000 |  1675 |  1270k|   3.8 |  69M|1487 |   - |5645 |  22k|   0 |   0 | 361k| 395k|5473 | 0.000000e+00 | 2.000000e+00 |    Inf 
804.21/804.20	c   793s|340000 |  1641 |  1316k|   3.9 |  70M|1487 |  15 |5645 |  23k|5645 | 158 | 373k| 409k|5563 | 0.000000e+00 | 2.000000e+00 |    Inf 
814.70/814.78	o 1
814.70/814.78	c * 804s|344257 |  1550 |  1337k|   3.9 |  68M|1487 |   - |5645 |  22k|5645 | 199 | 378k| 416k|5609 | 0.000000e+00 | 1.000000e+00 |    Inf 
827.71/827.78	c   816s|350000 |  1507 |  1365k|   3.9 |  67M|1487 |  11 |5645 |  19k|5645 | 171 | 384k| 423k|5656 | 0.000000e+00 | 1.000000e+00 |    Inf 
850.31/850.36	c   839s|360000 |  1499 |  1408k|   3.9 |  68M|1487 |   - |5645 |  23k|5645 | 212 | 395k| 437k|5733 | 0.000000e+00 | 1.000000e+00 |    Inf 
873.91/873.99	c   862s|370000 |  1420 |  1454k|   3.9 |  67M|1487 |   - |5645 |  21k|   0 |   0 | 406k| 451k|5812 | 0.000000e+00 | 1.000000e+00 |    Inf 
897.72/897.77	c   886s|380000 |  1343 |  1504k|   4.0 |  67M|1487 |   - |5645 |  22k|   0 |   0 | 418k| 465k|5901 | 0.000000e+00 | 1.000000e+00 |    Inf 
923.91/923.92	c   911s|390000 |  1257 |  1554k|   4.0 |  65M|1487 |   1 |5645 |  21k|5645 | 189 | 431k| 480k|5995 | 0.000000e+00 | 1.000000e+00 |    Inf 
949.80/949.82	c   936s|400000 |  1269 |  1602k|   4.0 |  64M|1487 |   1 |5645 |  20k|5645 | 180 | 444k| 493k|6074 | 0.000000e+00 | 1.000000e+00 |    Inf 
976.10/976.11	c   962s|410000 |  1082 |  1648k|   4.0 |  60M|1487 |   - |5645 |  15k|   0 |   0 | 456k| 507k|6501 | 0.000000e+00 | 1.000000e+00 |    Inf 
1002.51/1002.59	c   988s|420000 |  1073 |  1697k|   4.0 |  61M|1487 |   9 |5645 |  17k|5645 | 159 | 471k| 520k|6511 | 0.000000e+00 | 1.000000e+00 |    Inf 
1027.51/1027.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1027.51/1027.56	c  1012s|430000 |  1093 |  1746k|   4.1 |  63M|1487 |   - |5645 |  20k|   0 |   0 | 485k| 533k|6518 | 0.000000e+00 | 1.000000e+00 |    Inf 
1053.50/1053.52	c  1038s|440000 |  1162 |  1796k|   4.1 |  64M|1487 |   - |5645 |  22k|   0 |   0 | 499k| 546k|6609 | 0.000000e+00 | 1.000000e+00 |    Inf 
1083.20/1083.21	c  1067s|450000 |  1208 |  1850k|   4.1 |  66M|1487 |   - |5645 |  26k|   0 |   0 | 513k| 560k|6685 | 0.000000e+00 | 1.000000e+00 |    Inf 
1110.90/1110.92	c  1094s|460000 |  1208 |  1895k|   4.1 |  66M|1487 |   - |5645 |  25k|   0 |   0 | 523k| 573k|6789 | 0.000000e+00 | 1.000000e+00 |    Inf 
1141.71/1141.75	c  1124s|470000 |  1393 |  1947k|   4.1 |  67M|1487 |   - |5645 |  25k|   0 |   0 | 538k| 586k|6872 | 0.000000e+00 | 1.000000e+00 |    Inf 
1171.91/1171.96	c  1153s|480000 |  1521 |  1996k|   4.2 |  70M|1487 |   - |5645 |  29k|   0 |   0 | 554k| 600k|6960 | 0.000000e+00 | 1.000000e+00 |    Inf 
1205.31/1205.37	c  1186s|490000 |  1712 |  2050k|   4.2 |  73M|1487 |   - |5645 |  32k|   0 |   0 | 571k| 613k|7026 | 0.000000e+00 | 1.000000e+00 |    Inf 
1242.20/1242.23	c  1223s|500000 |  2121 |  2104k|   4.2 |  76M|1487 |   4 |5645 |  34k|5645 | 153 | 591k| 626k|7103 | 0.000000e+00 | 1.000000e+00 |    Inf 
1278.11/1278.17	c  1258s|510000 |  2408 |  2157k|   4.2 |  79M|1487 |   - |5645 |  36k|   0 |   0 | 610k| 640k|7189 | 0.000000e+00 | 1.000000e+00 |    Inf 
1314.71/1314.74	c  1294s|520000 |  2471 |  2212k|   4.3 |  80M|1487 |   - |5645 |  35k|   0 |   0 | 628k| 654k|7276 | 0.000000e+00 | 1.000000e+00 |    Inf 
1350.51/1350.58	c  1329s|530000 |  2313 |  2264k|   4.3 |  80M|1487 |  13 |5645 |  35k|5645 | 190 | 644k| 669k|7325 | 0.000000e+00 | 1.000000e+00 |    Inf 
1384.51/1384.55	c  1362s|540000 |  2159 |  2312k|   4.3 |  78M|1487 |   - |5645 |  32k|   0 |   0 | 658k| 683k|7403 | 0.000000e+00 | 1.000000e+00 |    Inf 
1417.80/1417.87	c  1395s|550000 |  2229 |  2365k|   4.3 |  79M|1487 |   - |5645 |  34k|   0 |   0 | 674k| 696k|7479 | 0.000000e+00 | 1.000000e+00 |    Inf 
1451.01/1451.02	c  1427s|560000 |  2230 |  2415k|   4.3 |  80M|1487 |   9 |5645 |  34k|5645 | 171 | 688k| 710k|7525 | 0.000000e+00 | 1.000000e+00 |    Inf 
1484.51/1484.53	c  1460s|570000 |  2295 |  2460k|   4.3 |  81M|1487 |   1 |5645 |  36k|5645 | 168 | 701k| 724k|7603 | 0.000000e+00 | 1.000000e+00 |    Inf 
1518.21/1518.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1518.21/1518.22	c  1493s|580000 |  2293 |  2507k|   4.3 |  81M|1487 |  24 |5645 |  34k|5645 | 214 | 714k| 738k|7654 | 0.000000e+00 | 1.000000e+00 |    Inf 
1551.21/1551.22	c  1526s|590000 |  2184 |  2553k|   4.3 |  79M|1487 |   6 |5645 |  31k|5645 | 164 | 726k| 752k|7730 | 0.000000e+00 | 1.000000e+00 |    Inf 
1586.51/1586.52	c  1560s|600000 |  2108 |  2605k|   4.3 |  79M|1487 |   - |5645 |  31k|   0 |   0 | 743k| 766k|7782 | 0.000000e+00 | 1.000000e+00 |    Inf 
1620.41/1620.44	c  1594s|610000 |  2211 |  2661k|   4.4 |  81M|1487 |   8 |5645 |  35k|5645 | 204 | 761k| 780k|7858 | 0.000000e+00 | 1.000000e+00 |    Inf 
1654.11/1654.16	c  1627s|620000 |  2027 |  2710k|   4.4 |  78M|1487 |   - |5645 |  31k|   0 |   0 | 773k| 795k|7918 | 0.000000e+00 | 1.000000e+00 |    Inf 
1687.31/1687.33	c  1659s|630000 |  1986 |  2759k|   4.4 |  78M|1487 |  17 |5645 |  31k|5645 | 185 | 787k| 809k|7996 | 0.000000e+00 | 1.000000e+00 |    Inf 
1721.41/1721.44	c  1693s|640000 |  1943 |  2811k|   4.4 |  79M|1487 |  19 |5645 |  33k|5645 | 199 | 802k| 823k|8040 | 0.000000e+00 | 1.000000e+00 |    Inf 
1756.11/1756.10	c  1727s|650000 |  1840 |  2865k|   4.4 |  77M|1487 |   9 |5645 |  31k|5645 | 210 | 817k| 837k|8123 | 0.000000e+00 | 1.000000e+00 |    Inf 
1786.72/1786.80	c  1757s|660000 |  1708 |  2908k|   4.4 |  76M|1487 |  17 |5645 |  31k|5645 | 173 | 827k| 851k|8164 | 0.000000e+00 | 1.000000e+00 |    Inf 
1800.02/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00	c 
1800.02/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.00	c Solving Time (sec) : 1769.71
1800.02/1800.00	c Solving Nodes      : 663936
1800.02/1800.00	c Primal Bound       : +1.00000000000000e+00 (238 solutions)
1800.02/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.00	c Gap                : infinite
1800.02/1800.08	s SATISFIABLE
1800.02/1800.08	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 
1800.02/1800.08	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 
1800.02/1800.08	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 
1800.02/1800.08	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.02/1800.08	v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 
1800.02/1800.08	v -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.02/1800.08	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.02/1800.08	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.02/1800.08	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.02/1800.08	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.02/1800.08	v -x1 
1800.02/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.08	c Solving Time       :    1769.71
1800.02/1800.08	c Original Problem   :
1800.02/1800.08	c   Problem name     : HOME/instance-2692371-1277928650.wbo
1800.02/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.08	c   Constraints      : 5415 initial, 5415 maximal
1800.02/1800.08	c Presolved Problem  :
1800.02/1800.08	c   Problem name     : t_HOME/instance-2692371-1277928650.wbo
1800.02/1800.08	c   Variables        : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.08	c   Constraints      : 5414 initial, 37654 maximal
1800.02/1800.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.08	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.08	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.08	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.08	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.02/1800.08	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.08	c   linear           :       0.01          0          0          0       2707          0          1          0          0
1800.02/1800.08	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.08	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.08	c   root node        :          -       2707          -          -       5414          -          -          -          -
1800.02/1800.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.08	c   integral         :          0          0          0     485960          0          2        221          0          0     700424
1800.02/1800.08	c   indicator        :       2707          0    1822801      78076          0        580    7817886          0          0          0
1800.02/1800.08	c   linear           :       2707          6    3427654     133490          0     260912   17548196     835285          0          0
1800.02/1800.08	c   logicor          :          0+         0    1184932          0          0      42530    1080633          0          0          0
1800.02/1800.08	c   bounddisjunction :          0+         0      18760          0          0          7         64          0          0          0
1800.02/1800.08	c   countsols        :          0          0          0      31550          0          0          0          0          0          0
1800.02/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.08	c   integral         :      16.99       0.00       0.00      16.99       0.00
1800.02/1800.08	c   indicator        :      29.92       0.00      21.38       8.54       0.00
1800.02/1800.08	c   linear           :     197.70       0.00     188.54       9.16       0.00
1800.02/1800.08	c   logicor          :     279.89       0.00     279.89       0.00       0.00
1800.02/1800.08	c   bounddisjunction :       0.05       0.00       0.05       0.00       0.00
1800.02/1800.08	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1800.02/1800.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.08	c   vbounds          :       0.49          2          0          0
1800.02/1800.08	c   rootredcost      :       0.43         40          0       2707
1800.02/1800.08	c   pseudoobj        :     176.37    3449121      18650    5770814
1800.02/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.08	c   propagation      :      21.21     322099     321559    2128244       30.7      12425       21.7          -
1800.02/1800.08	c   infeasible LP    :       8.45      22214      22214     184068       45.2        309       17.2          0
1800.02/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.08	c   pseudo solution  :       0.03        171        171        763       18.2         89       10.8          -
1800.02/1800.08	c   applied globally :          -          -          -     856998       24.7          -          -          -
1800.02/1800.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.08	c   cut pool         :       0.00          3          -          -         30          -    (maximal pool size: 86)
1800.02/1800.08	c   redcost          :      38.44     490843          0    1937223          0          0
1800.02/1800.08	c   impliedbounds    :       0.00          4          0          0          0          0
1800.02/1800.08	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.08	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.08	c   gomory           :       0.01          4          0          0         86          0
1800.02/1800.08	c   strongcg         :       0.00          4          0          0          0          0
1800.02/1800.08	c   cmir             :       0.00          4          0          0          0          0
1800.02/1800.08	c   flowcover        :       0.03          4          0          0          0          0
1800.02/1800.08	c   clique           :       0.00          1          0          0          0          0
1800.02/1800.08	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.08	c   mcf              :       0.00          1          0          0          0          0
1800.02/1800.08	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.08	c Pricers            :       Time      Calls       Vars
1800.02/1800.08	c   problem variables:       0.00          0          0
1800.02/1800.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.08	c   relpscost        :      16.58     350390          2        221          0          0     700424
1800.02/1800.08	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.08	c   inference        :       6.49      31510          0          0          0          0      63020
1800.02/1800.08	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.08	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.08	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.08	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.08	c   LP solutions     :       0.11          -         40
1800.02/1800.08	c   pseudo solutions :       0.00          -          0
1800.02/1800.08	c   feaspump         :       0.00          0          0
1800.02/1800.08	c   oneopt           :       0.35         38          0
1800.02/1800.08	c   guideddiving     :       0.03         17          0
1800.02/1800.08	c   crossover        :       1.16         36          0
1800.02/1800.08	c   fracdiving       :       0.49        314          0
1800.02/1800.08	c   veclendiving     :       0.43        314          0
1800.02/1800.08	c   coefdiving       :       0.54        315          0
1800.02/1800.08	c   pscostdiving     :       0.51        315          0
1800.02/1800.08	c   linesearchdiving :       0.55        315          0
1800.02/1800.08	c   objpscostdiving  :       0.63        313          0
1800.02/1800.08	c   rootsoldiving    :       0.55        313          0
1800.02/1800.08	c   trivial          :       0.08          2          2
1800.02/1800.08	c   simplerounding   :       0.88     351789          0
1800.02/1800.08	c   zirounding       :       0.26       1000          0
1800.02/1800.08	c   rounding         :       2.91       8303          0
1800.02/1800.08	c   shifting         :       1.68       2637          0
1800.02/1800.08	c   intshifting      :       0.03          5          0
1800.02/1800.08	c   twoopt           :       0.00          0          0
1800.02/1800.08	c   fixandinfer      :       0.00          0          0
1800.02/1800.08	c   intdiving        :       0.00          0          0
1800.02/1800.08	c   actconsdiving    :       0.00          0          0
1800.02/1800.08	c   octane           :       0.00          0          0
1800.02/1800.08	c   rens             :       0.02          1          0
1800.02/1800.08	c   rins             :       0.00          0          0
1800.02/1800.08	c   localbranching   :       0.00          0          0
1800.02/1800.08	c   mutation         :       0.00          0          0
1800.02/1800.08	c   dins             :       0.00          0          0
1800.02/1800.08	c   undercover       :       0.00          0          0
1800.02/1800.08	c   nlp              :       0.04          0          0
1800.02/1800.08	c   trysol           :       2.87       5462        196
1800.02/1800.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.08	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.08	c   dual LP          :     428.62     480641    2929771       6.10    6835.36
1800.02/1800.08	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.08	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.08	c   diving/probing LP:       0.18        168       1153       6.86    6405.56
1800.02/1800.08	c   strong branching :      13.40       8195      77121       9.41    5755.30
1800.02/1800.08	c     (at root node) :          -         32       1061      33.16          -
1800.02/1800.08	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.08	c B&B Tree           :
1800.02/1800.08	c   number of runs   :          1
1800.02/1800.08	c   nodes            :     663936
1800.02/1800.08	c   nodes (total)    :     663936
1800.02/1800.08	c   nodes left       :       1803
1800.02/1800.08	c   max depth        :       1487
1800.02/1800.08	c   max depth (total):       1487
1800.02/1800.08	c   backtracks       :      77478 (11.7%)
1800.02/1800.08	c   delayed cutoffs  :      64981
1800.02/1800.08	c   repropagations   :    1372109 (6425829 domain reductions, 62888 cutoffs)
1800.02/1800.08	c   avg switch length:       5.77
1800.02/1800.08	c   switching time   :     280.99
1800.02/1800.08	c Solution           :
1800.02/1800.08	c   Solutions found  :        238 (41 improvements)
1800.02/1800.08	c   First Solution   : +1.38261000000000e+05   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.02/1800.08	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 344257 nodes, 803.57 seconds, depth 43, found by <relaxation>)
1800.02/1800.08	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.08	c   Gap              :   infinite
1800.02/1800.08	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.08	c   Root Iterations  :        106
1800.21/1800.21	c Time complete: 1800.23.

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-2692371-1277928650/watcher-2692371-1277928650 -o /tmp/evaluation-result-2692371-1277928650/solver-2692371-1277928650 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692371-1277928650.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.99 2.00 2.00 4/178 14488
/proc/meminfo: memFree=31429392/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=9740 CPUtime=0
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 1730 0 0 0 0 0 0 0 25 0 1 0 134161414 9973760 1649 4089446400 4194304 8223781 140733235320800 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14488/statm: 2435 1650 369 984 0 1448 0

[startup+0.104947 s]
/proc/loadavg: 1.99 2.00 2.00 4/178 14488
/proc/meminfo: memFree=31429392/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=35140 CPUtime=0.09
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 8089 0 0 0 9 0 0 0 25 0 1 0 134161414 35983360 7644 4089446400 4194304 8223781 140733235320800 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 8785 7644 422 984 0 7798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35140

[startup+0.200933 s]
/proc/loadavg: 1.99 2.00 2.00 4/178 14488
/proc/meminfo: memFree=31429392/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=41212 CPUtime=0.19
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 9976 0 0 0 18 1 0 0 25 0 1 0 134161414 42201088 9016 4089446400 4194304 8223781 140733235320800 18446744073709551615 6224288 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 10348 9028 494 984 0 9361 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41212

[startup+0.300917 s]
/proc/loadavg: 1.99 2.00 2.00 4/178 14488
/proc/meminfo: memFree=31429392/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=59032 CPUtime=0.29
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 14628 0 0 0 28 1 0 0 25 0 1 0 134161414 60448768 13570 4089446400 4194304 8223781 140733235320800 18446744073709551615 4563759 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 14758 13573 564 984 0 13771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59032

[startup+0.700848 s]
/proc/loadavg: 1.99 2.00 2.00 4/178 14488
/proc/meminfo: memFree=31429392/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=43080 CPUtime=0.69
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 15656 0 0 0 67 2 0 0 25 0 1 0 134161414 44113920 9710 4089446400 4194304 8223781 140733235320800 18446744073709551615 6446791 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 10770 9710 575 984 0 9783 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43080

[startup+1.50072 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 14489
/proc/meminfo: memFree=31392060/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=43280 CPUtime=1.49
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 15775 0 0 0 145 4 0 0 25 0 1 0 134161414 44318720 9818 4089446400 4194304 8223781 140733235320800 18446744073709551615 6591939 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 10820 9818 578 984 0 9833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43280

[startup+3.10044 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 14489
/proc/meminfo: memFree=31390572/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=48292 CPUtime=3.09
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 21946 0 0 0 304 5 0 0 25 0 1 0 134161414 49451008 10930 4089446400 4194304 8223781 140733235320800 18446744073709551615 6482446 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 12073 10930 579 984 0 11086 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48292

[startup+6.30091 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 14489
/proc/meminfo: memFree=31381892/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=54468 CPUtime=6.29
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 28574 0 0 0 620 9 0 0 25 0 1 0 134161414 55775232 12471 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 13617 12471 579 984 0 12630 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54468

[startup+12.7008 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 14489
/proc/meminfo: memFree=31376128/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=59292 CPUtime=12.69
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 42028 0 0 0 1253 16 0 0 25 0 1 0 134161414 60715008 13699 4089446400 4194304 8223781 140733235320800 18446744073709551615 5813855 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 14823 13699 579 984 0 13836 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59292

[startup+25.5007 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 14489
/proc/meminfo: memFree=31362556/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=72992 CPUtime=25.49
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 50707 0 0 0 2518 31 0 0 25 0 1 0 134161414 74743808 17134 4089446400 4194304 8223781 140733235320800 18446744073709551615 6482443 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 18248 17134 579 984 0 17261 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72992

[startup+51.1004 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 14491
/proc/meminfo: memFree=31330888/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=104632 CPUtime=51.09
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 63982 0 0 0 5054 55 0 0 25 0 1 0 134161414 107143168 25080 4089446400 4194304 8223781 140733235320800 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 26158 25080 579 984 0 25171 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 104632

[startup+102.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 14491
/proc/meminfo: memFree=31262400/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=173924 CPUtime=102.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 139818 0 0 0 10106 124 0 0 25 0 1 0 134161414 178098176 42102 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 43481 42102 590 984 0 42494 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 173924

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 14493
/proc/meminfo: memFree=31188092/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=250828 CPUtime=162.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 164572 0 0 0 16028 202 0 0 25 0 1 0 134161414 256847872 60433 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 62707 60433 590 984 0 61720 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 250828

[startup+222.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 14495
/proc/meminfo: memFree=31129032/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=313244 CPUtime=222.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 178681 0 0 0 21954 276 0 0 25 0 1 0 134161414 320761856 74541 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 78311 74541 590 984 0 77324 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 313244

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 14497
/proc/meminfo: memFree=31104672/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=336992 CPUtime=282.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 229175 0 0 0 27865 365 0 0 25 0 1 0 134161414 345079808 79793 4089446400 4194304 8223781 140733235320800 18446744073709551615 6505975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 84248 79793 592 984 0 83261 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 336992

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 14497
/proc/meminfo: memFree=31101040/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=338544 CPUtime=342.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 268178 0 0 0 33773 457 0 0 25 0 1 0 134161414 346669056 80031 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 84636 80031 592 984 0 83649 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 338544

[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 14499
/proc/meminfo: memFree=31100756/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=338220 CPUtime=402.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 275683 0 0 0 39679 551 0 0 25 0 1 0 134161414 346337280 79951 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 84555 79951 593 984 0 83568 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 338220

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14501
/proc/meminfo: memFree=31099412/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=340320 CPUtime=462.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 283056 0 0 0 45596 634 0 0 25 0 1 0 134161414 348487680 80461 4089446400 4194304 8223781 140733235320800 18446744073709551615 6445638 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 85080 80461 593 984 0 84093 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 340320

[startup+522.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14503
/proc/meminfo: memFree=31098276/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=341156 CPUtime=522.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 283271 0 0 0 51510 720 0 0 25 0 1 0 134161414 349343744 80676 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 85289 80676 593 984 0 84302 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 341156

[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14505
/proc/meminfo: memFree=31096140/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=342076 CPUtime=582.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 306990 0 0 0 57424 806 0 0 25 0 1 0 134161414 350285824 80915 4089446400 4194304 8223781 140733235320800 18446744073709551615 6446791 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 85519 80915 593 984 0 84532 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 342076

[startup+642.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14505
/proc/meminfo: memFree=31092292/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=346548 CPUtime=642.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 312568 0 0 0 63346 884 0 0 25 0 1 0 134161414 354865152 82010 4089446400 4194304 8223781 140733235320800 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14488/statm: 86637 82010 593 984 0 85650 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 346548

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 14562
/proc/meminfo: memFree=31257836/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=349760 CPUtime=942.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 341344 0 0 0 92911 1319 0 0 25 0 1 0 134161414 358154240 82832 4089446400 4194304 8223781 140733235320800 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14488/statm: 87440 82832 594 984 0 86453 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 349760

[startup+1002.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 14564
/proc/meminfo: memFree=31256384/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=349912 CPUtime=1002.31
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 341369 0 0 0 98763 1468 0 0 25 0 1 0 134161414 358309888 82857 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14488/statm: 87478 82857 594 984 0 86491 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 349912

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14566
/proc/meminfo: memFree=31255852/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=349912 CPUtime=1062.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 341388 0 0 0 104615 1615 0 0 25 0 1 0 134161414 358309888 82876 4089446400 4194304 8223781 140733235320800 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 87478 82876 594 984 0 86491 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 349912

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14568
/proc/meminfo: memFree=31255316/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=350668 CPUtime=1122.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 345905 0 0 0 110483 1747 0 0 25 0 1 0 134161414 359084032 83038 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 87667 83038 594 984 0 86680 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 350668

[startup+1182.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 14570
/proc/meminfo: memFree=31254648/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=351532 CPUtime=1182.31
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 346052 0 0 0 116359 1872 0 0 25 0 1 0 134161414 359968768 83185 4089446400 4194304 8223781 140733235320800 18446744073709551615 4999847 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 87883 83185 594 984 0 86896 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 351532

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14573
/proc/meminfo: memFree=31250380/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=355268 CPUtime=1242.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 346974 0 0 0 122259 1971 0 0 25 0 1 0 134161414 363794432 84107 4089446400 4194304 8223781 140733235320800 18446744073709551615 6003375 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 88817 84107 594 984 0 87830 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 355268

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14575
/proc/meminfo: memFree=31245572/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=360056 CPUtime=1302.3
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 348171 0 0 0 128153 2077 0 0 25 0 1 0 134161414 368697344 85304 4089446400 4194304 8223781 140733235320800 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 90014 85304 594 984 0 89027 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 360056

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14577
/proc/meminfo: memFree=31245408/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=360208 CPUtime=1362.31
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 348209 0 0 0 134043 2188 0 0 25 0 1 0 134161414 368852992 85342 4089446400 4194304 8223781 140733235320800 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 90052 85342 594 984 0 89065 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 360208

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14579
/proc/meminfo: memFree=31244752/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=360348 CPUtime=1422.31
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 354968 0 0 0 139928 2303 0 0 25 0 1 0 134161414 368996352 85375 4089446400 4194304 8223781 140733235320800 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 90087 85375 594 984 0 89100 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 360348

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14608
/proc/meminfo: memFree=31151412/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=360772 CPUtime=1482.31
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 355091 0 0 0 145812 2419 0 0 25 0 1 0 134161414 369430528 85498 4089446400 4194304 8223781 140733235320800 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 90193 85498 594 984 0 89206 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 360772

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14608
/proc/meminfo: memFree=31023304/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=361060 CPUtime=1542.31
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 355176 0 0 0 151699 2532 0 0 25 0 1 0 134161414 369725440 85583 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 90265 85583 594 984 0 89278 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 361060

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14610
/proc/meminfo: memFree=30941916/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=361208 CPUtime=1602.31
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 355208 0 0 0 157587 2644 0 0 25 0 1 0 134161414 369876992 85615 4089446400 4194304 8223781 140733235320800 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 90302 85615 594 984 0 89315 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 361208

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14612
/proc/meminfo: memFree=30828648/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=361264 CPUtime=1662.31
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 355220 0 0 0 163473 2758 0 0 25 0 1 0 134161414 369934336 85627 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 90316 85627 594 984 0 89329 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 361264

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14614
/proc/meminfo: memFree=30709684/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=361440 CPUtime=1722.31
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 355271 0 0 0 169357 2874 0 0 25 0 1 0 134161414 370114560 85678 4089446400 4194304 8223781 140733235320800 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 90360 85678 594 984 0 89373 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 361440

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14616
/proc/meminfo: memFree=30598396/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=361468 CPUtime=1782.31
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 355282 0 0 0 175237 2994 0 0 25 0 1 0 134161414 370143232 85689 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 90367 85689 594 984 0 89380 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 361468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14616
/proc/meminfo: memFree=30557212/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=361468 CPUtime=1800.02
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 355282 0 0 0 176973 3029 0 0 25 0 1 0 134161414 370143232 85689 4089446400 4194304 8223781 140733235320800 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14488/statm: 90367 85689 594 984 0 89380 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 361468

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.00 2.00 2.00 3/179 14616
/proc/meminfo: memFree=30557212/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=360008 CPUtime=1800.12
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 355331 0 0 0 176983 3029 0 0 18 0 1 0 134161414 368648192 85353 4089446400 4194304 8223781 140733235320800 18446744073709551615 4212431 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14488/statm: 90002 85353 596 984 0 89015 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 360008

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14616
/proc/meminfo: memFree=30557212/32950928 swapFree=67111528/67111528
[pid=14488] ppid=14486 vsize=107996 CPUtime=1800.21
/proc/14488/stat : 14488 (pbscip.linux.x8) R 14486 14488 14426 0 -1 4202496 355331 0 0 0 176991 3030 0 0 18 0 1 0 134161414 110587904 26242 4089446400 4194304 8223781 140733235320800 18446744073709551615 4692677 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14488/statm: 26999 26242 596 984 0 26012 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 107996

Child status: 0
Real time (s): 1800.21
CPU time (s): 1800.23
CPU user time (s): 1769.92
CPU system time (s): 30.3114
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 375964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.92
system time used= 30.3114
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355335
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= 5
involuntary context switches= 4600

runsolver used 3.19651 second user time and 6.63199 second system time

The end

Launcher Data 

Begin job on node126 at 2010-06-30 22:10:50
IDJOB=2692371
IDBENCH=79290
IDSOLVER=1204
FILE ID=node126/2692371-1277928650
PBS_JOBID= 11197418
Free space on /tmp= 74188 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/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320--soft-0-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-2692371-1277928650/watcher-2692371-1277928650 -o /tmp/evaluation-result-2692371-1277928650/solver-2692371-1277928650 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692371-1277928650.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 85ba7bcc847457eeeb822d6fc8af8950
RANDOM SEED=229777287

node126.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.835
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.67
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.835
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	: 5332.83
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.835
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.835
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.83
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.835
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.72
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.835
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.82
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.835
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.835
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31429920 kB
Buffers:        208892 kB
Cached:         929712 kB
SwapCached:          0 kB
Active:         708428 kB
Inactive:       670000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31429920 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4696 kB
Writeback:           0 kB
AnonPages:      239404 kB
Mapped:          16908 kB
Slab:            79008 kB
PageTables:       5036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   386916 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= 74184 MiB
End job on node126 at 2010-06-30 22:40:53