Trace number 2692302

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.34 1800.28

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo
MD5SUM571d61a5ea635d7d5a6801ae351f1515
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark458.346
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 constraints1848
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 94973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
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-2692302-1277911839.wbo>
0.00/0.03	c original problem has 3927 variables (2079 bin, 0 int, 0 impl, 1848 cont) and 4556 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.05	c presolving:
0.00/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.06/0.09	c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.10	c (round 3) 46 del vars, 159 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.11	c (round 4) 124 del vars, 193 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.12	c (round 5) 158 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.13	c (round 6) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.18	c    (0.1s) probing: 101/1999 (5.1%) - 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 (7 rounds):
0.09/0.18	c  160 deleted vars, 195 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.18	c  1972 implications, 8 cliques
0.09/0.18	c presolved problem has 3767 variables (1999 bin, 0 int, 0 impl, 1768 cont) and 4361 constraints
0.09/0.18	c    1768 constraints of type <indicator>
0.09/0.18	c       8 constraints of type <setppc>
0.09/0.18	c    1768 constraints of type <linear>
0.09/0.18	c     817 constraints of type <logicor>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.14
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.09/0.19	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.19	c   0.2s|     1 |     0 |    35 |     - |  14M|   0 |  32 |3767 |4361 |3767 | 825 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	o 91089
0.19/0.20	c y 0.2s|     1 |     0 |   174 |     - |  14M|   0 |  32 |3767 |4361 |3767 | 825 |   0 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   241 |     - |  14M|   0 |  41 |3767 |4361 |3767 | 865 |  40 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   300 |     - |  14M|   0 |  49 |3767 |4361 |3767 | 874 |  49 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.29/0.37	c   0.3s|     1 |     0 |   320 |     - |  14M|   0 |  49 |3767 |4361 |3767 | 883 |  58 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   334 |     - |  14M|   0 |  53 |3767 |4361 |3767 | 887 |  62 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.49/0.51	c   0.5s|     1 |     0 |   342 |     - |  14M|   0 |  53 |3767 |4361 |3767 | 891 |  66 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.59/0.60	c   0.6s|     1 |     0 |   357 |     - |  14M|   0 |  52 |3767 |4361 |3767 | 893 |  68 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.89/0.98	c   0.9s|     1 |     2 |   357 |     - |  15M|   0 |  52 |3767 |4361 |3767 | 893 |  68 |   0 |  33 | 0.000000e+00 | 9.108900e+04 |    Inf 
8.39/8.44	o 149
8.39/8.44	c * 8.3s|  3279 |   233 |  5163 |   1.5 |  20M| 189 |   - |3767 |4364 |3767 | 920 |1023 |   3 | 929 | 0.000000e+00 | 1.490000e+02 |    Inf 
8.49/8.55	o 135
8.49/8.55	c * 8.4s|  3306 |   226 |  5332 |   1.5 |  21M| 189 |   - |3767 |4375 |3767 | 905 |1031 |  14 | 943 | 0.000000e+00 | 1.350000e+02 |    Inf 
8.99/9.03	o 94
8.99/9.03	c * 8.9s|  3436 |   152 |  5977 |   1.6 |  21M| 189 |   - |3767 |4394 |3767 | 900 |1106 |  33 |1014 | 0.000000e+00 | 9.400000e+01 |    Inf 
11.89/11.95	o 91
11.89/11.95	c *11.8s|  4241 |   189 |  9113 |   2.1 |  22M| 189 |   - |3767 |4902 |3767 | 898 |1241 | 705 |1314 | 0.000000e+00 | 9.100000e+01 |    Inf 
12.19/12.23	o 38
12.19/12.23	c *12.0s|  4326 |   141 |  9449 |   2.1 |  22M| 189 |   - |3767 |4913 |3767 | 901 |1345 | 787 |1324 | 0.000000e+00 | 3.800000e+01 |    Inf 
15.30/15.30	o 31
15.30/15.30	c *15.1s|  5445 |   188 | 15600 |   2.8 |  23M| 189 |   - |3767 |4482 |3767 | 893 |1492 |1993 |1617 | 0.000000e+00 | 3.100000e+01 |    Inf 
20.79/20.86	o 30
20.79/20.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
20.79/20.86	c *20.5s|  8747 |   253 | 24474 |   2.8 |  25M| 189 |   - |3767 |6567 |3767 | 908 |2019 |6126 |1727 | 0.000000e+00 | 3.000000e+01 |    Inf 
20.89/20.99	o 29
20.89/20.99	c *20.6s|  8825 |   255 | 24617 |   2.7 |  25M| 189 |   - |3767 |6582 |3767 | 896 |2022 |6219 |1728 | 0.000000e+00 | 2.900000e+01 |    Inf 
23.19/23.21	c  22.9s| 10000 |   302 | 29155 |   2.9 |  25M| 189 |   - |3767 |5960 |   0 |   0 |2240 |7582 |1781 | 0.000000e+00 | 2.900000e+01 |    Inf 
26.09/26.19	o 28
26.09/26.19	c *25.8s| 11786 |   380 | 35477 |   3.0 |  27M| 189 |   - |3767 |7107 |3767 | 898 |2758 |9860 |1799 | 0.000000e+00 | 2.800000e+01 |    Inf 
27.89/27.92	o 26
27.89/27.92	c *27.5s| 12773 |   412 | 38695 |   3.0 |  27M| 189 |   - |3767 |7021 |3767 | 902 |2938 |  11k|1799 | 0.000000e+00 | 2.600000e+01 |    Inf 
39.60/39.64	c  39.0s| 20000 |   657 | 61793 |   3.1 |  30M| 189 |   1 |3767 |7619 |3767 | 893 |4049 |  20k|1801 | 0.000000e+00 | 2.600000e+01 |    Inf 
56.00/56.07	c  55.2s| 30000 |   933 | 91657 |   3.0 |  33M| 189 |   1 |3767 |9286 |3767 | 893 |5891 |  33k|1801 | 0.000000e+00 | 2.600000e+01 |    Inf 
60.50/60.56	o 21
60.50/60.56	c *59.6s| 32770 |   950 | 99657 |   3.0 |  34M| 189 |   - |3767 |  10k|3767 | 907 |6382 |  37k|1801 | 0.000000e+00 | 2.100000e+01 |    Inf 
72.19/72.21	c  71.1s| 40000 |   984 |120588 |   3.0 |  34M| 189 |   1 |3767 |8410 |3767 | 893 |7679 |  46k|1801 | 0.000000e+00 | 2.100000e+01 |    Inf 
72.60/72.62	o 20
72.60/72.62	c *71.5s| 40253 |   985 |121384 |   3.0 |  34M| 189 |   - |3767 |8580 |3767 | 901 |7714 |  47k|1801 | 0.000000e+00 | 2.000000e+01 |    Inf 
88.09/88.10	c  86.7s| 50000 |  1044 |147608 |   2.9 |  37M| 189 |   - |3767 |9988 |   0 |   0 |9396 |  59k|1894 | 0.000000e+00 | 2.000000e+01 |    Inf 
104.10/104.18	c   103s| 60000 |  1139 |173130 |   2.9 |  38M| 189 |   8 |3767 |9898 |3767 | 893 |  10k|  73k|2041 | 0.000000e+00 | 2.000000e+01 |    Inf 
120.60/120.60	c   119s| 70000 |  1207 |201094 |   2.9 |  40M| 189 |  18 |3767 |9180 |3767 | 893 |  11k|  86k|2215 | 0.000000e+00 | 2.000000e+01 |    Inf 
137.70/137.76	c   136s| 80000 |  1279 |231150 |   2.9 |  44M| 189 |   - |3767 |  14k|   0 |   0 |  12k| 100k|2379 | 0.000000e+00 | 2.000000e+01 |    Inf 
155.70/155.78	c   153s| 90000 |  1267 |261261 |   2.9 |  44M| 189 |  13 |3767 |  12k|3767 | 893 |  14k| 113k|2528 | 0.000000e+00 | 2.000000e+01 |    Inf 
172.50/172.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
172.50/172.59	c   170s|100000 |  1460 |288108 |   2.9 |  47M| 189 |   - |3767 |  15k|   0 |   0 |  15k| 127k|2721 | 0.000000e+00 | 2.000000e+01 |    Inf 
189.59/189.68	c   187s|110000 |  1642 |311803 |   2.8 |  51M| 189 |   1 |3767 |  18k|3767 | 893 |  16k| 141k|2800 | 0.000000e+00 | 2.000000e+01 |    Inf 
207.20/207.25	c   204s|120000 |  1826 |337747 |   2.8 |  54M| 189 |   7 |3767 |  17k|3767 | 901 |  18k| 155k|2961 | 0.000000e+00 | 2.000000e+01 |    Inf 
224.50/224.50	c   221s|130000 |  2062 |362188 |   2.8 |  58M| 189 |   - |3767 |  19k|   0 |   0 |  19k| 170k|3032 | 0.000000e+00 | 2.000000e+01 |    Inf 
242.10/242.17	c   239s|140000 |  2302 |386073 |   2.8 |  61M| 189 |   4 |3767 |  18k|3767 | 899 |  20k| 184k|3135 | 0.000000e+00 | 2.000000e+01 |    Inf 
260.20/260.24	c   256s|150000 |  2464 |411400 |   2.7 |  65M| 189 |   - |3767 |  19k|   0 |   0 |  22k| 198k|3234 | 0.000000e+00 | 2.000000e+01 |    Inf 
278.00/278.02	c   274s|160000 |  2515 |436473 |   2.7 |  66M| 189 |  12 |3767 |  16k|3767 | 893 |  23k| 213k|3357 | 0.000000e+00 | 2.000000e+01 |    Inf 
295.60/295.68	o 17
295.60/295.68	c * 291s|169870 |  2500 |462832 |   2.7 |  66M| 189 |   - |3767 |  15k|3767 | 902 |  24k| 226k|3452 | 0.000000e+00 | 1.700000e+01 |    Inf 
295.91/295.98	c   292s|170000 |  2500 |463177 |   2.7 |  66M| 189 |   3 |3767 |  13k|3767 | 893 |  24k| 227k|3452 | 0.000000e+00 | 1.700000e+01 |    Inf 
312.01/312.08	c   307s|180000 |  2479 |488246 |   2.7 |  66M| 189 |   - |3767 |  12k|   0 |   0 |  26k| 241k|3589 | 0.000000e+00 | 1.700000e+01 |    Inf 
328.80/328.89	c   324s|190000 |  2558 |516897 |   2.7 |  67M| 189 |   1 |3767 |  10k|3767 | 893 |  27k| 255k|3675 | 0.000000e+00 | 1.700000e+01 |    Inf 
346.10/346.17	c   341s|200000 |  2692 |545788 |   2.7 |  70M| 189 |  21 |3767 |  12k|3767 | 893 |  28k| 269k|3753 | 0.000000e+00 | 1.700000e+01 |    Inf 
363.40/363.46	c   358s|210000 |  2673 |574160 |   2.7 |  71M| 189 |   - |3767 |  10k|   0 |   0 |  30k| 284k|3894 | 0.000000e+00 | 1.700000e+01 |    Inf 
380.00/380.02	c   374s|220000 |  2725 |600548 |   2.7 |  72M| 189 |   5 |3767 |  12k|3767 | 893 |  31k| 297k|4003 | 0.000000e+00 | 1.700000e+01 |    Inf 
397.30/397.34	c   391s|230000 |  2756 |627895 |   2.7 |  74M| 189 |   9 |3767 |  12k|3767 | 893 |  33k| 311k|4114 | 0.000000e+00 | 1.700000e+01 |    Inf 
414.91/414.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
414.91/414.90	c   409s|240000 |  2783 |655525 |   2.7 |  76M| 189 |   - |3767 |  15k|   0 |   0 |  34k| 325k|4192 | 0.000000e+00 | 1.700000e+01 |    Inf 
432.51/432.59	c   426s|250000 |  2792 |684064 |   2.7 |  77M| 189 |  13 |3767 |  15k|3767 | 893 |  35k| 338k|4286 | 0.000000e+00 | 1.700000e+01 |    Inf 
449.71/449.78	c   443s|260000 |  2844 |709049 |   2.7 |  79M| 189 |  11 |3767 |  17k|3767 | 893 |  37k| 352k|4368 | 0.000000e+00 | 1.700000e+01 |    Inf 
467.81/467.87	c   461s|270000 |  2848 |733012 |   2.7 |  80M| 189 |   - |3767 |  17k|   0 |   0 |  38k| 365k|4453 | 0.000000e+00 | 1.700000e+01 |    Inf 
486.11/486.13	c   479s|280000 |  2891 |759694 |   2.7 |  81M| 189 |   - |3767 |  18k|   0 |   0 |  40k| 379k|4496 | 0.000000e+00 | 1.700000e+01 |    Inf 
504.60/504.67	c   497s|290000 |  2847 |788561 |   2.7 |  80M| 189 |  15 |3767 |  15k|3767 | 893 |  41k| 393k|4620 | 0.000000e+00 | 1.700000e+01 |    Inf 
523.11/523.11	c   516s|300000 |  2932 |817154 |   2.7 |  82M| 189 |   1 |3767 |  18k|3767 | 893 |  42k| 407k|4698 | 0.000000e+00 | 1.700000e+01 |    Inf 
541.51/541.58	c   534s|310000 |  3009 |844349 |   2.7 |  84M| 189 |   - |3767 |  17k|   0 |   0 |  44k| 420k|4775 | 0.000000e+00 | 1.700000e+01 |    Inf 
559.82/559.84	c   552s|320000 |  3089 |870199 |   2.7 |  86M| 189 |   8 |3767 |  18k|3767 | 893 |  45k| 434k|4851 | 0.000000e+00 | 1.700000e+01 |    Inf 
578.91/578.97	c   571s|330000 |  3192 |898437 |   2.7 |  87M| 189 |   6 |3767 |  17k|3767 | 893 |  46k| 448k|4931 | 0.000000e+00 | 1.700000e+01 |    Inf 
597.51/597.59	c   589s|340000 |  3188 |925690 |   2.7 |  89M| 189 |   - |3767 |  18k|   0 |   0 |  47k| 462k|5015 | 0.000000e+00 | 1.700000e+01 |    Inf 
616.11/616.17	c   607s|350000 |  3266 |953363 |   2.7 |  90M| 189 |   - |3767 |  17k|3767 | 893 |  49k| 475k|5092 | 0.000000e+00 | 1.700000e+01 |    Inf 
633.92/633.97	c   625s|360000 |  3269 |979056 |   2.7 |  92M| 189 |   - |3767 |  18k|   0 |   0 |  50k| 489k|5166 | 0.000000e+00 | 1.700000e+01 |    Inf 
653.21/653.20	c   644s|370000 |  3333 |  1007k|   2.7 |  93M| 189 |   6 |3767 |  17k|3767 | 910 |  51k| 502k|5241 | 0.000000e+00 | 1.700000e+01 |    Inf 
672.51/672.51	c   663s|380000 |  3371 |  1036k|   2.7 |  94M| 189 |   5 |3767 |  18k|3767 | 893 |  53k| 516k|5329 | 0.000000e+00 | 1.700000e+01 |    Inf 
692.02/692.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
692.02/692.02	c   682s|390000 |  3406 |  1066k|   2.7 |  96M| 189 |   - |3767 |  20k|   0 |   0 |  55k| 530k|5402 | 0.000000e+00 | 1.700000e+01 |    Inf 
711.62/711.63	c   702s|400000 |  3340 |  1097k|   2.7 |  95M| 189 |   - |3767 |  16k|   0 |   0 |  56k| 543k|5476 | 0.000000e+00 | 1.700000e+01 |    Inf 
730.12/730.12	c   720s|410000 |  3456 |  1124k|   2.7 |  98M| 189 |   - |3767 |  20k|   0 |   0 |  57k| 556k|5535 | 0.000000e+00 | 1.700000e+01 |    Inf 
748.92/748.96	c   738s|420000 |  3507 |  1149k|   2.7 | 100M| 189 |  16 |3767 |  20k|3767 | 893 |  58k| 569k|5573 | 0.000000e+00 | 1.700000e+01 |    Inf 
768.02/768.03	c   757s|430000 |  3471 |  1179k|   2.7 | 100M| 189 |   5 |3767 |  16k|3767 | 893 |  59k| 583k|5684 | 0.000000e+00 | 1.700000e+01 |    Inf 
786.82/786.83	c   776s|440000 |  3686 |  1208k|   2.7 | 103M| 189 |   8 |3767 |  18k|3767 | 893 |  60k| 597k|5763 | 0.000000e+00 | 1.700000e+01 |    Inf 
806.52/806.59	c   795s|450000 |  3858 |  1242k|   2.8 | 105M| 189 |  11 |3767 |  16k|3767 | 893 |  62k| 610k|5842 | 0.000000e+00 | 1.700000e+01 |    Inf 
825.32/825.36	c   814s|460000 |  4012 |  1276k|   2.8 | 107M| 189 |   1 |3767 |  15k|3767 | 893 |  63k| 625k|5917 | 0.000000e+00 | 1.700000e+01 |    Inf 
844.22/844.28	c   832s|470000 |  4312 |  1312k|   2.8 | 111M| 189 |   8 |3767 |  18k|3767 | 893 |  65k| 639k|5990 | 0.000000e+00 | 1.700000e+01 |    Inf 
863.12/863.12	c   851s|480000 |  4425 |  1346k|   2.8 | 113M| 189 |   - |3767 |  17k|   0 |   0 |  66k| 655k|6057 | 0.000000e+00 | 1.700000e+01 |    Inf 
881.93/881.90	c   870s|490000 |  4502 |  1378k|   2.8 | 116M| 189 |  18 |3767 |  18k|3767 | 893 |  68k| 670k|6128 | 0.000000e+00 | 1.700000e+01 |    Inf 
900.83/900.85	c   888s|500000 |  4521 |  1411k|   2.8 | 117M| 189 |   - |3767 |  19k|   0 |   0 |  70k| 685k|6207 | 0.000000e+00 | 1.700000e+01 |    Inf 
919.53/919.56	c   907s|510000 |  4647 |  1438k|   2.8 | 120M| 189 |   5 |3767 |  21k|3767 | 893 |  71k| 701k|6275 | 0.000000e+00 | 1.700000e+01 |    Inf 
938.53/938.57	c   925s|520000 |  4760 |  1466k|   2.8 | 123M| 189 |   - |3767 |  21k|   0 |   0 |  73k| 717k|6327 | 0.000000e+00 | 1.700000e+01 |    Inf 
957.23/957.26	c   944s|530000 |  4821 |  1493k|   2.8 | 124M| 189 |   1 |3767 |  20k|3767 | 909 |  74k| 732k|6363 | 0.000000e+00 | 1.700000e+01 |    Inf 
976.03/976.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
976.03/976.01	c   962s|540000 |  4859 |  1523k|   2.8 | 125M| 189 |   - |3767 |  17k|   0 |   0 |  76k| 748k|6427 | 0.000000e+00 | 1.700000e+01 |    Inf 
995.32/995.35	c   981s|550000 |  5000 |  1556k|   2.8 | 128M| 189 |   - |3767 |  19k|   0 |   0 |  77k| 762k|6486 | 0.000000e+00 | 1.700000e+01 |    Inf 
1013.73/1013.79	c  1000s|560000 |  5097 |  1585k|   2.8 | 131M| 189 |   - |3767 |  20k|   0 |   0 |  79k| 779k|6553 | 0.000000e+00 | 1.700000e+01 |    Inf 
1032.23/1032.20	c  1018s|570000 |  5172 |  1612k|   2.8 | 132M| 189 |  14 |3767 |  18k|3767 | 893 |  80k| 795k|6627 | 0.000000e+00 | 1.700000e+01 |    Inf 
1050.54/1050.51	c  1036s|580000 |  5249 |  1639k|   2.8 | 135M| 189 |  11 |3767 |  21k|3767 | 893 |  82k| 810k|6676 | 0.000000e+00 | 1.700000e+01 |    Inf 
1069.14/1069.15	c  1054s|590000 |  5272 |  1668k|   2.8 | 135M| 189 |   - |3767 |  19k|   0 |   0 |  83k| 825k|6718 | 0.000000e+00 | 1.700000e+01 |    Inf 
1087.93/1087.96	c  1073s|600000 |  5287 |  1697k|   2.8 | 137M| 189 |   - |3767 |  19k|   0 |   0 |  84k| 840k|6784 | 0.000000e+00 | 1.700000e+01 |    Inf 
1107.33/1107.31	c  1092s|610000 |  5310 |  1725k|   2.8 | 139M| 189 |   - |3767 |  21k|   0 |   0 |  86k| 855k|6842 | 0.000000e+00 | 1.700000e+01 |    Inf 
1126.53/1126.54	c  1111s|620000 |  5373 |  1756k|   2.8 | 141M| 189 |   9 |3767 |  23k|3767 | 893 |  88k| 872k|6902 | 0.000000e+00 | 1.700000e+01 |    Inf 
1146.73/1146.72	c  1131s|630000 |  5455 |  1788k|   2.8 | 142M| 189 |  10 |3767 |  21k|3767 | 893 |  89k| 888k|6957 | 0.000000e+00 | 1.700000e+01 |    Inf 
1166.23/1166.29	c  1150s|640000 |  5428 |  1818k|   2.8 | 143M| 189 |   - |3767 |  18k|   0 |   0 |  90k| 903k|7024 | 0.000000e+00 | 1.700000e+01 |    Inf 
1185.84/1185.89	c  1170s|650000 |  5510 |  1847k|   2.8 | 145M| 189 |   1 |3767 |  19k|3767 | 893 |  91k| 917k|7102 | 0.000000e+00 | 1.700000e+01 |    Inf 
1206.03/1206.00	c  1189s|660000 |  5550 |  1876k|   2.8 | 146M| 189 |   8 |3767 |  21k|3767 | 893 |  92k| 930k|7152 | 0.000000e+00 | 1.700000e+01 |    Inf 
1225.44/1225.47	c  1209s|670000 |  5630 |  1903k|   2.8 | 148M| 189 |   - |3767 |  23k|   0 |   0 |  94k| 945k|7183 | 0.000000e+00 | 1.700000e+01 |    Inf 
1245.24/1245.27	c  1228s|680000 |  5663 |  1932k|   2.8 | 150M| 189 |   - |3767 |  25k|   0 |   0 |  96k| 961k|7242 | 0.000000e+00 | 1.700000e+01 |    Inf 
1264.64/1264.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1264.64/1264.62	c  1247s|690000 |  5897 |  1956k|   2.8 | 153M| 189 |   - |3767 |  24k|   0 |   0 |  97k| 976k|7298 | 0.000000e+00 | 1.700000e+01 |    Inf 
1283.64/1283.67	c  1266s|700000 |  6074 |  1980k|   2.8 | 155M| 189 |   1 |3767 |  21k|3767 | 893 |  99k| 991k|7315 | 0.000000e+00 | 1.700000e+01 |    Inf 
1302.24/1302.20	c  1284s|710000 |  6111 |  2005k|   2.8 | 157M| 189 |  14 |3767 |  22k|3767 | 893 | 100k|1007k|7378 | 0.000000e+00 | 1.700000e+01 |    Inf 
1321.84/1321.87	c  1304s|720000 |  6223 |  2032k|   2.8 | 159M| 189 |   - |3767 |  21k|   0 |   0 | 101k|1021k|7430 | 0.000000e+00 | 1.700000e+01 |    Inf 
1340.44/1340.49	c  1322s|730000 |  6194 |  2058k|   2.8 | 159M| 189 |  19 |3767 |  20k|3767 | 893 | 102k|1036k|7456 | 0.000000e+00 | 1.700000e+01 |    Inf 
1359.24/1359.28	c  1341s|740000 |  6267 |  2086k|   2.8 | 161M| 189 |  15 |3767 |  21k|3767 | 893 | 104k|1051k|7522 | 0.000000e+00 | 1.700000e+01 |    Inf 
1378.34/1378.33	c  1360s|750000 |  6245 |  2113k|   2.8 | 163M| 189 |   - |3767 |  22k|   0 |   0 | 105k|1066k|7579 | 0.000000e+00 | 1.700000e+01 |    Inf 
1399.04/1399.08	c  1380s|760000 |  6307 |  2140k|   2.8 | 164M| 189 |   1 |3767 |  21k|3767 | 893 | 107k|1079k|7604 | 0.000000e+00 | 1.700000e+01 |    Inf 
1421.53/1421.57	c  1402s|770000 |  6415 |  2166k|   2.8 | 166M| 189 |  24 |3767 |  21k|3767 | 893 | 108k|1092k|7664 | 0.000000e+00 | 1.700000e+01 |    Inf 
1443.74/1443.74	c  1423s|780000 |  6473 |  2192k|   2.8 | 168M| 189 |   8 |3767 |  21k|3767 | 893 | 109k|1106k|7706 | 0.000000e+00 | 1.700000e+01 |    Inf 
1465.34/1465.35	c  1444s|790000 |  6570 |  2220k|   2.8 | 170M| 189 |  16 |3767 |  20k|3767 | 904 | 110k|1121k|7761 | 0.000000e+00 | 1.700000e+01 |    Inf 
1485.84/1485.87	c  1463s|800000 |  6559 |  2245k|   2.8 | 172M| 189 |   9 |3767 |  21k|3767 | 893 | 111k|1135k|7819 | 0.000000e+00 | 1.700000e+01 |    Inf 
1508.05/1508.02	c  1485s|810000 |  6518 |  2272k|   2.8 | 171M| 189 |   - |3767 |  19k|   0 |   0 | 113k|1149k|7862 | 0.000000e+00 | 1.700000e+01 |    Inf 
1529.74/1529.74	c  1506s|820000 |  6551 |  2300k|   2.8 | 173M| 189 |   - |3767 |  20k|   0 |   0 | 114k|1164k|7929 | 0.000000e+00 | 1.700000e+01 |    Inf 
1550.64/1550.66	c  1526s|830000 |  6586 |  2326k|   2.8 | 175M| 189 |  11 |3767 |  22k|3767 | 893 | 115k|1178k|7944 | 0.000000e+00 | 1.700000e+01 |    Inf 
1573.74/1573.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1573.74/1573.71	c  1548s|840000 |  6655 |  2350k|   2.8 | 177M| 189 |   1 |3767 |  22k|3767 | 893 | 116k|1191k|8000 | 0.000000e+00 | 1.700000e+01 |    Inf 
1596.15/1596.19	c  1569s|850000 |  6630 |  2377k|   2.8 | 177M| 189 |   - |3767 |  20k|   0 |   0 | 117k|1205k|8053 | 0.000000e+00 | 1.700000e+01 |    Inf 
1618.15/1618.11	c  1591s|860000 |  6628 |  2405k|   2.8 | 178M| 189 |   - |3767 |  20k|   0 |   0 | 119k|1218k|8077 | 0.000000e+00 | 1.700000e+01 |    Inf 
1639.95/1639.90	c  1611s|870000 |  6656 |  2433k|   2.8 | 180M| 189 |  15 |3767 |  20k|3767 | 893 | 120k|1233k|8152 | 0.000000e+00 | 1.700000e+01 |    Inf 
1662.74/1662.76	c  1633s|880000 |  6595 |  2460k|   2.8 | 179M| 189 |   - |3767 |  18k|   0 |   0 | 121k|1248k|8173 | 0.000000e+00 | 1.700000e+01 |    Inf 
1683.45/1683.49	c  1653s|890000 |  6657 |  2486k|   2.8 | 181M| 189 |   - |3767 |  20k|   0 |   0 | 122k|1261k|8240 | 0.000000e+00 | 1.700000e+01 |    Inf 
1705.55/1705.50	c  1675s|900000 |  6697 |  2512k|   2.8 | 183M| 189 |   - |3767 |  23k|   0 |   0 | 123k|1275k|8270 | 0.000000e+00 | 1.700000e+01 |    Inf 
1714.25/1714.22	o 16
1714.25/1714.22	c *1683s|903835 |  6310 |  2522k|   2.8 | 170M| 189 |   - |3767 |  22k|3767 | 893 | 124k|1280k|8302 | 0.000000e+00 | 1.600000e+01 |    Inf 
1727.75/1727.71	c  1696s|910000 |  6350 |  2538k|   2.8 | 169M| 189 |   9 |3767 |  19k|3767 | 893 | 125k|1288k|8320 | 0.000000e+00 | 1.600000e+01 |    Inf 
1750.16/1750.17	c  1717s|920000 |  6406 |  2568k|   2.8 | 170M| 189 |  21 |3767 |  20k|3767 | 900 | 126k|1302k|8381 | 0.000000e+00 | 1.600000e+01 |    Inf 
1771.25/1771.20	c  1738s|930000 |  6424 |  2596k|   2.8 | 171M| 189 |   - |3767 |  20k|   0 |   0 | 127k|1316k|8408 | 0.000000e+00 | 1.600000e+01 |    Inf 
1792.85/1792.87	c  1759s|940000 |  6501 |  2622k|   2.8 | 174M| 189 |   8 |3767 |  22k|3767 | 893 | 129k|1330k|8469 | 0.000000e+00 | 1.600000e+01 |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00	c 
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time (sec) : 1765.39
1800.06/1800.00	c Solving Nodes      : 943292
1800.06/1800.00	c Primal Bound       : +1.60000000000000e+01 (187 solutions)
1800.06/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.00	c Gap                : infinite
1800.06/1800.04	s SATISFIABLE
1800.06/1800.04	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.06/1800.04	v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.06/1800.04	v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 
1800.06/1800.04	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.06/1800.04	v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 
1800.06/1800.04	v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 
1800.06/1800.04	v -x104 -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.06/1800.04	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 
1800.06/1800.04	v -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 
1800.06/1800.04	v x29 -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 
1800.06/1800.04	v -x2 x1 
1800.06/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.04	c Solving Time       :    1765.39
1800.06/1800.04	c Original Problem   :
1800.06/1800.04	c   Problem name     : HOME/instance-2692302-1277911839.wbo
1800.06/1800.04	c   Variables        : 3927 (2079 binary, 0 integer, 0 implicit integer, 1848 continuous)
1800.06/1800.04	c   Constraints      : 4556 initial, 4556 maximal
1800.06/1800.04	c Presolved Problem  :
1800.06/1800.04	c   Problem name     : t_HOME/instance-2692302-1277911839.wbo
1800.06/1800.04	c   Variables        : 3767 (1999 binary, 0 integer, 0 implicit integer, 1768 continuous)
1800.06/1800.04	c   Constraints      : 4361 initial, 26069 maximal
1800.06/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.04	c   trivial          :       0.00         80          0          0          0          0          0          0          0
1800.06/1800.04	c   dualfix          :       0.00         80          0          0          0          0          0          0          0
1800.06/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.06/1800.04	c   indicator        :       0.00          0          0          0          0          0         80          0          0
1800.06/1800.04	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   linear           :       0.05          0          0          0       1882          0        115        101          0
1800.06/1800.04	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.06/1800.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.04	c   root node        :          -       1516          -          -       3032          -          -          -          -
1800.06/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.04	c   integral         :          0          0          0     534281          0         11        452          0          0    1029642
1800.06/1800.04	c   indicator        :       1768          0    5138049      18867          0       1391    5864243          0          0          0
1800.06/1800.04	c   setppc           :          8          6    5170061      17992          0      27136    1127747          0          0          0
1800.06/1800.04	c   linear           :       1768          6    5151442      19047          0     209633   22357706     129869          0          0
1800.06/1800.04	c   logicor          :        817+         6    1831120       3285          0     241213    4187396          0          0          0
1800.06/1800.04	c   bounddisjunction :          0+         0      47465          0          0         12       1259          0          0          0
1800.06/1800.04	c   countsols        :          0          0          0       3285          0          0          0          0          0          0
1800.06/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.04	c   integral         :      21.53       0.00       0.00      21.53       0.00
1800.06/1800.04	c   indicator        :      26.19       0.01      25.26       0.92       0.00
1800.06/1800.04	c   setppc           :       9.16       0.00       9.13       0.03       0.00
1800.06/1800.04	c   linear           :     160.93       0.00     159.99       0.94       0.00
1800.06/1800.04	c   logicor          :     262.92       0.00     262.91       0.01       0.00
1800.06/1800.04	c   bounddisjunction :       0.10       0.00       0.10       0.00       0.00
1800.06/1800.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.04	c   vbounds          :       0.97          2          0          0
1800.06/1800.04	c   rootredcost      :       1.10         15          0       1516
1800.06/1800.04	c   pseudoobj        :     191.04    5194723      14799    4865341
1800.06/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.04	c   propagation      :      27.41     492793     492682    3225516       30.4      19077       23.6          -
1800.06/1800.04	c   infeasible LP    :       2.28       8677       8677      74200       41.2        122       19.9          0
1800.06/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.04	c   pseudo solution  :       0.01         51         51        283       20.6          5       13.0          -
1800.06/1800.04	c   applied globally :          -          -          -    1335198       23.0          -          -          -
1800.06/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.04	c   cut pool         :       0.01          5          -          -         82          -    (maximal pool size: 216)
1800.06/1800.04	c   redcost          :      28.04     541418          0     894261          0          0
1800.06/1800.04	c   impliedbounds    :       0.00          6          0          0          0          0
1800.06/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.04	c   gomory           :       0.15          6          0          0        670          0
1800.06/1800.04	c   strongcg         :       0.11          6          0          0        255          0
1800.06/1800.04	c   cmir             :       0.02          6          0          0          0          0
1800.06/1800.04	c   flowcover        :       0.07          6          0          0          0          0
1800.06/1800.04	c   clique           :       0.00          6          0          0          0          0
1800.06/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.04	c   mcf              :       0.00          1          0          0          0          0
1800.06/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.04	c Pricers            :       Time      Calls       Vars
1800.06/1800.04	c   problem variables:       0.00          0          0
1800.06/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.04	c   relpscost        :      21.10     515226         11        452          0          0    1029642
1800.06/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   inference        :       0.48       3271          0          0          0          0       6542
1800.06/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.04	c   LP solutions     :       0.01          -         14
1800.06/1800.04	c   pseudo solutions :       0.00          -          0
1800.06/1800.04	c   oneopt           :       0.20         15          0
1800.06/1800.04	c   feaspump         :       0.01          1          0
1800.06/1800.04	c   intshifting      :       0.00          5          0
1800.06/1800.04	c   crossover        :       0.58         14          0
1800.06/1800.04	c   pscostdiving     :       0.07         45          0
1800.06/1800.04	c   fracdiving       :       0.08         45          0
1800.06/1800.04	c   veclendiving     :       0.06         45          0
1800.06/1800.04	c   linesearchdiving :       0.10         45          0
1800.06/1800.04	c   guideddiving     :       0.07         45          0
1800.06/1800.04	c   coefdiving       :       0.06         46          0
1800.06/1800.04	c   rootsoldiving    :       0.33         39          0
1800.06/1800.04	c   objpscostdiving  :       0.04         40          0
1800.06/1800.04	c   trivial          :       0.01          2          0
1800.06/1800.04	c   simplerounding   :       0.65     518837          0
1800.06/1800.04	c   zirounding       :       0.47       1000          0
1800.06/1800.04	c   rounding         :       2.61      10082          0
1800.06/1800.04	c   shifting         :       1.35       3164          0
1800.06/1800.04	c   twoopt           :       0.00          0          0
1800.06/1800.04	c   fixandinfer      :       0.00          0          0
1800.06/1800.04	c   intdiving        :       0.00          0          0
1800.06/1800.04	c   actconsdiving    :       0.00          0          0
1800.06/1800.04	c   octane           :       0.00          0          0
1800.06/1800.04	c   rens             :       0.02          1          0
1800.06/1800.04	c   rins             :       0.00          0          0
1800.06/1800.04	c   localbranching   :       0.00          0          0
1800.06/1800.04	c   mutation         :       0.00          0          0
1800.06/1800.04	c   dins             :       0.00          0          0
1800.06/1800.04	c   undercover       :       0.00          0          0
1800.06/1800.04	c   nlp              :       0.28          0          0
1800.06/1800.04	c   trysol           :       3.73       8472        173
1800.06/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.04	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.04	c   dual LP          :     491.56     543104    2629853       4.84    5350.01
1800.06/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.04	c   diving/probing LP:       0.25        176       1078       6.12    4312.00
1800.06/1800.04	c   strong branching :      17.32       8485      93607      11.03    5404.56
1800.06/1800.04	c     (at root node) :          -         33       3001      90.94          -
1800.06/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.04	c B&B Tree           :
1800.06/1800.04	c   number of runs   :          1
1800.06/1800.04	c   nodes            :     943292
1800.06/1800.04	c   nodes (total)    :     943292
1800.06/1800.04	c   nodes left       :       6492
1800.06/1800.04	c   max depth        :        189
1800.06/1800.04	c   max depth (total):        189
1800.06/1800.04	c   backtracks       :      85658 (9.1%)
1800.06/1800.04	c   delayed cutoffs  :      82659
1800.06/1800.04	c   repropagations   :    2478921 (8527195 domain reductions, 77575 cutoffs)
1800.06/1800.04	c   avg switch length:       6.95
1800.06/1800.04	c   switching time   :     281.54
1800.06/1800.04	c Solution           :
1800.06/1800.04	c   Solutions found  :        187 (15 improvements)
1800.06/1800.04	c   First Solution   : +9.10890000000000e+04   (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1800.06/1800.04	c   Primal Bound     : +1.60000000000000e+01   (in run 1, after 903835 nodes, 1682.90 seconds, depth 51, found by <relaxation>)
1800.06/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.04	c   Gap              :   infinite
1800.06/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.04	c   Root Iterations  :        357
1800.25/1800.27	c Time complete: 1800.33.

Verifier Data 

OK	16

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692302-1277911839/watcher-2692302-1277911839 -o /tmp/evaluation-result-2692302-1277911839/solver-2692302-1277911839 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692302-1277911839.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 1.99 4/178 15028
/proc/meminfo: memFree=31177236/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=9548 CPUtime=0
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 1669 0 0 0 0 0 0 0 23 0 1 0 132478132 9777152 1589 4089446400 4194304 8223781 140734144667152 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/15028/statm: 2387 1601 369 984 0 1400 0

[startup+0.0729301 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15028
/proc/meminfo: memFree=31177236/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=29656 CPUtime=0.06
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 7321 0 0 0 6 0 0 0 23 0 1 0 132478132 30367744 6363 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15028/statm: 7414 6363 446 984 0 6427 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29656

[startup+0.100932 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15028
/proc/meminfo: memFree=31177236/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=29656 CPUtime=0.09
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 7590 0 0 0 9 0 0 0 23 0 1 0 132478132 30367744 6375 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15028/statm: 7414 6375 452 984 0 6427 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29656

[startup+0.300897 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15028
/proc/meminfo: memFree=31177236/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=37300 CPUtime=0.29
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 12475 0 0 0 29 0 0 0 23 0 1 0 132478132 38195200 8408 4089446400 4194304 8223781 140734144667152 18446744073709551615 4866079 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15028/statm: 9325 8408 572 984 0 8338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37300

[startup+0.700817 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 15028
/proc/meminfo: memFree=31177236/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=42968 CPUtime=0.69
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 22989 0 0 0 66 3 0 0 25 0 1 0 132478132 43999232 9793 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15028/statm: 10742 9793 596 984 0 9755 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42968

[startup+1.50067 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 15029
/proc/meminfo: memFree=31139532/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=42968 CPUtime=1.49
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 23025 0 0 0 146 3 0 0 25 0 1 0 132478132 43999232 9829 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15028/statm: 10742 9829 598 984 0 9755 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42968

[startup+3.10035 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 15029
/proc/meminfo: memFree=31139652/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=43136 CPUtime=3.09
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 30196 0 0 0 304 5 0 0 25 0 1 0 132478132 44171264 9926 4089446400 4194304 8223781 140734144667152 18446744073709551615 4241189 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15028/statm: 10784 9926 602 984 0 9797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43136

[startup+6.30074 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 15029
/proc/meminfo: memFree=31136676/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=47848 CPUtime=6.29
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 47140 0 0 0 620 9 0 0 25 0 1 0 132478132 48996352 10799 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15028/statm: 11962 10799 602 984 0 10975 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47848

[startup+12.7005 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 15029
/proc/meminfo: memFree=31125372/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=58840 CPUtime=12.69
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 67487 0 0 0 1250 19 0 0 25 0 1 0 132478132 60252160 13659 4089446400 4194304 8223781 140734144667152 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15028/statm: 14710 13659 603 984 0 13723 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58840

[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 15030
/proc/meminfo: memFree=31111144/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=71648 CPUtime=25.5
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 84999 0 0 0 2512 38 0 0 25 0 1 0 132478132 73367552 16851 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15028/statm: 17912 16851 603 984 0 16925 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 71648

[startup+51.1011 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 15030
/proc/meminfo: memFree=31097440/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=84556 CPUtime=51.09
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 106913 0 0 0 5029 80 0 0 25 0 1 0 132478132 86585344 19999 4089446400 4194304 8223781 140734144667152 18446744073709551615 6003108 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 21139 19999 603 984 0 20152 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84556

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15035
/proc/meminfo: memFree=31085544/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=95732 CPUtime=102.3
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 140745 0 0 0 10069 161 0 0 25 0 1 0 132478132 98029568 22750 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 23933 22750 603 984 0 22946 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 95732

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15036
/proc/meminfo: memFree=31075184/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=105452 CPUtime=162.3
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 151658 0 0 0 15978 252 0 0 25 0 1 0 132478132 107982848 25076 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 26363 25076 603 984 0 25376 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 105452

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 15038
/proc/meminfo: memFree=31061348/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=119016 CPUtime=222.3
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 157170 0 0 0 21892 338 0 0 25 0 1 0 132478132 121872384 28375 4089446400 4194304 8223781 140734144667152 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 29754 28375 605 984 0 28767 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 119016

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15039
/proc/meminfo: memFree=31044924/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=131908 CPUtime=282.3
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 167627 0 0 0 27812 418 0 0 25 0 1 0 132478132 135073792 31578 4089446400 4194304 8223781 140734144667152 18446744073709551615 4223026 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 32977 31578 605 984 0 31990 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 131908

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15041
/proc/meminfo: memFree=31036820/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=138584 CPUtime=342.3
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 184062 0 0 0 33720 510 0 0 25 0 1 0 132478132 141910016 33163 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 34646 33163 605 984 0 33659 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 138584

[startup+402.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 15043
/proc/meminfo: memFree=31027076/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=146160 CPUtime=402.3
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 195683 0 0 0 39633 597 0 0 25 0 1 0 132478132 149667840 35018 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 36540 35018 605 984 0 35553 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 146160

[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15044
/proc/meminfo: memFree=31021172/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=151724 CPUtime=462.3
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 197587 0 0 0 45553 677 0 0 25 0 1 0 132478132 155365376 36410 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 37931 36410 605 984 0 36944 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 151724

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15046
/proc/meminfo: memFree=31015300/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=157012 CPUtime=522.31
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 201433 0 0 0 51475 756 0 0 25 0 1 0 132478132 160780288 37631 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 39253 37631 605 984 0 38266 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 157012

[startup+582.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15047
/proc/meminfo: memFree=31006920/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=164668 CPUtime=582.31
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 205610 0 0 0 57390 841 0 0 25 0 1 0 132478132 168620032 39407 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 41167 39407 605 984 0 40180 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 164668

[startup+642.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15049
/proc/meminfo: memFree=31003520/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=168232 CPUtime=642.32
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 206685 0 0 0 63310 922 0 0 25 0 1 0 132478132 172269568 40264 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 42058 40264 605 984 0 41071 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 168232

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15055
/proc/meminfo: memFree=30972368/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=199260 CPUtime=882.32
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 215374 0 0 0 86996 1236 0 0 25 0 1 0 132478132 204042240 47100 4089446400 4194304 8223781 140734144667152 18446744073709551615 6446940 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 49815 47100 605 984 0 48828 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 199260

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15057
/proc/meminfo: memFree=30966628/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=205096 CPUtime=942.32
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 216665 0 0 0 92917 1315 0 0 25 0 1 0 132478132 210018304 48339 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 51274 48339 605 984 0 50287 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 205096

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15059
/proc/meminfo: memFree=30954888/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=214700 CPUtime=1002.33
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 218918 0 0 0 98835 1398 0 0 25 0 1 0 132478132 219852800 50451 4089446400 4194304 8223781 140734144667152 18446744073709551615 6446764 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 53675 50451 605 984 0 52688 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 214700

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15060
/proc/meminfo: memFree=30946656/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=223256 CPUtime=1062.33
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 224947 0 0 0 104754 1479 0 0 25 0 1 0 132478132 228614144 52306 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 55814 52306 605 984 0 54827 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 223256

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15062
/proc/meminfo: memFree=30936084/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=232488 CPUtime=1122.33
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 227488 0 0 0 110680 1553 0 0 25 0 1 0 132478132 238067712 54314 4089446400 4194304 8223781 140734144667152 18446744073709551615 4660042 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 58122 54314 605 984 0 57135 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 232488

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15063
/proc/meminfo: memFree=30927972/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=239596 CPUtime=1182.34
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 229296 0 0 0 116609 1625 0 0 25 0 1 0 132478132 245346304 55919 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 59899 55919 605 984 0 58912 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 239596

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15065
/proc/meminfo: memFree=30920116/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=245068 CPUtime=1242.33
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 230412 0 0 0 122531 1702 0 0 25 0 1 0 132478132 250949632 57011 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 61267 57011 605 984 0 60280 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 245068

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15067
/proc/meminfo: memFree=30911020/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=253488 CPUtime=1302.34
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 232090 0 0 0 128458 1776 0 0 25 0 1 0 132478132 259571712 58669 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 63372 58669 605 984 0 62385 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 253488

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15068
/proc/meminfo: memFree=30906264/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=258380 CPUtime=1362.34
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 233858 0 0 0 134381 1853 0 0 25 0 1 0 132478132 264581120 59801 4089446400 4194304 8223781 140734144667152 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15028/statm: 64595 59801 605 984 0 63608 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 258380

[startup+1422.31 s]
/proc/loadavg: 1.82 1.95 1.98 4/179 15287
/proc/meminfo: memFree=30998744/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=263368 CPUtime=1422.34
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 234892 0 0 0 140229 2005 0 0 25 0 1 0 132478132 269688832 60808 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15028/statm: 65842 60808 605 984 0 64855 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 263368

[startup+1482.3 s]
/proc/loadavg: 1.93 1.96 1.98 4/179 15288
/proc/meminfo: memFree=30956340/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=269868 CPUtime=1482.34
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 236161 0 0 0 146001 2233 0 0 25 0 1 0 132478132 276344832 62056 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15028/statm: 67467 62056 605 984 0 66480 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 269868

[startup+1542.3 s]
/proc/loadavg: 1.97 1.96 1.98 3/179 15363
/proc/meminfo: memFree=30950644/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=272860 CPUtime=1542.34
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 236840 0 0 0 151768 2466 0 0 25 0 1 0 132478132 279408640 62722 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15028/statm: 68215 62722 605 984 0 67228 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 272860

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 15365
/proc/meminfo: memFree=30935140/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=278776 CPUtime=1602.34
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 238182 0 0 0 157536 2698 0 0 25 0 1 0 132478132 285466624 64057 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15028/statm: 69694 64057 605 984 0 68707 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 278776

[startup+1662.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/179 15366
/proc/meminfo: memFree=30919848/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=283744 CPUtime=1662.34
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 239466 0 0 0 163304 2930 0 0 25 0 1 0 132478132 290553856 65079 4089446400 4194304 8223781 140734144667152 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15028/statm: 70936 65079 605 984 0 69949 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 283744

[startup+1722.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 15368
/proc/meminfo: memFree=30907164/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=289804 CPUtime=1722.35
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 247335 0 0 0 169069 3166 0 0 25 0 1 0 132478132 296759296 66010 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15028/statm: 72451 66010 605 984 0 71464 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 289804

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 15369
/proc/meminfo: memFree=30894708/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=291900 CPUtime=1782.35
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 258186 0 0 0 174836 3399 0 0 25 0 1 0 132478132 298905600 66464 4089446400 4194304 8223781 140734144667152 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15028/statm: 72975 66464 605 984 0 71988 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 291900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 15370
/proc/meminfo: memFree=30891724/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=292160 CPUtime=1800.06
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 258460 0 0 0 176541 3465 0 0 25 0 1 0 132478132 299171840 66525 4089446400 4194304 8223781 140734144667152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15028/statm: 73040 66525 605 984 0 72053 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 292160

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 15370
/proc/meminfo: memFree=30891724/32950928 swapFree=67111528/67111528
[pid=15028] ppid=15026 vsize=292160 CPUtime=1800.25
/proc/15028/stat : 15028 (pbscip.linux.x8) R 15026 15028 15003 0 -1 4202496 258462 0 0 0 176560 3465 0 0 18 0 1 0 132478132 299171840 66527 4089446400 4194304 8223781 140734144667152 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15028/statm: 73040 66527 607 984 0 72053 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 292160

Child status: 0
Real time (s): 1800.28
CPU time (s): 1800.34
CPU user time (s): 1765.67
CPU system time (s): 34.6707
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 292256

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

runsolver used 3.19151 second user time and 6.61799 second system time

The end

Launcher Data 

Begin job on node148 at 2010-06-30 17:30:39
IDJOB=2692302
IDBENCH=78991
IDSOLVER=1204
FILE ID=node148/2692302-1277911839
PBS_JOBID= 11197282
Free space on /tmp= 74172 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.1900557574--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-2692302-1277911839/watcher-2692302-1277911839 -o /tmp/evaluation-result-2692302-1277911839/solver-2692302-1277911839 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692302-1277911839.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 571d61a5ea635d7d5a6801ae351f1515
RANDOM SEED=826780749

node148.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.836
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.836
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.75
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.836
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	: 5415.14
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.836
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.836
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.78
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.836
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.79
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.836
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.836
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31177764 kB
Buffers:        195576 kB
Cached:        1274856 kB
SwapCached:          0 kB
Active:         637184 kB
Inactive:       992432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31177764 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4996 kB
Writeback:           0 kB
AnonPages:      159376 kB
Mapped:          16924 kB
Slab:            80952 kB
PageTables:       4916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   308120 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= 74168 MiB
End job on node148 at 2010-06-30 18:00:41