Trace number 2693501

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.14 1800.1

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554420--soft-66-100-0.wbo
MD5SUMb79c8ce52bbf55b2415ca4df8d18f0c8
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark53.7388
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 constraints906
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 44555
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44554
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: Clp 1.11.1] [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-2693501-1277907425.wbo>
0.00/0.02	c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.00/0.07	c (round 2) 0 del vars, 113 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1116 impls, 14 clqs
0.00/0.08	c (round 3) 52 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.09/0.10	c (round 4) 104 del vars, 165 del conss, 906 chg bounds, 52 chg sides, 0 chg coeffs, 1741 upgd conss, 1116 impls, 14 clqs
0.09/0.14	c    (0.1s) probing: 101/1085 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14	c presolving (5 rounds):
0.09/0.14	c  104 deleted vars, 165 deleted constraints, 906 tightened bounds, 0 added holes, 52 changed sides, 0 changed coefficients
0.09/0.14	c  1116 implications, 14 cliques
0.09/0.14	c presolved problem has 1939 variables (1085 bin, 0 int, 0 impl, 854 cont) and 3449 constraints
0.09/0.14	c     854 constraints of type <indicator>
0.09/0.14	c       1 constraints of type <knapsack>
0.09/0.14	c      14 constraints of type <setppc>
0.09/0.14	c     854 constraints of type <linear>
0.09/0.14	c    1726 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.09
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 1.2.1.2
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1799.98
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 3420
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.15	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.15	c   0.1s|     1 |     0 |    43 |     - |8748k|   0 |  25 |1939 |3449 |1939 |1741 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |   161 |     - |8967k|   0 |  59 |1939 |3449 |1939 |1753 |  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   181 |     - |9019k|   0 |  56 |1939 |3449 |1939 |1759 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.45	c   0.4s|     1 |     0 |   213 |     - |9030k|   0 |  53 |1939 |3449 |1939 |1765 |  24 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.59	c   0.5s|     1 |     0 |   302 |     - |9054k|   0 |  55 |1939 |3449 |1939 |1770 |  29 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.72	c   0.7s|     1 |     0 |   313 |     - |9055k|   0 |  54 |1939 |3449 |1939 |1773 |  32 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.79/3.88	c   3.8s|     1 |     2 |   313 |     - |9059k|   0 |  54 |1939 |3449 |1939 |1773 |  32 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
8.80/8.86	o 42102
8.80/8.86	c y 8.6s|     9 |     8 |  1530 | 152.1 |9152k|   8 |   1 |1939 |3449 |1939 |1769 |  32 |   0 | 201 | 0.000000e+00 | 4.210200e+04 |    Inf 
9.59/9.66	o 828
9.59/9.66	c * 9.4s|    45 |    40 |  1902 |  36.1 |9474k|  22 |   - |1939 |3457 |1939 |1773 |  47 |   8 | 273 | 0.000000e+00 | 8.280000e+02 |    Inf 
9.79/9.87	o 786
9.79/9.87	c * 9.6s|    50 |    41 |  2019 |  34.8 |9841k|  22 |   - |1939 |3461 |1939 |1777 |  55 |  12 | 293 | 0.000000e+00 | 7.860000e+02 |    Inf 
12.49/12.58	o 745
12.49/12.58	c *12.3s|    69 |    54 |  3414 |  45.6 |  10M|  22 |   - |1939 |3464 |1939 |1772 |  71 |  15 | 464 | 0.000000e+00 | 7.450000e+02 |    Inf 
12.49/12.60	o 685
12.49/12.60	c *12.3s|    75 |    54 |  3452 |  42.4 |  10M|  22 |   - |1939 |3466 |1939 |1773 |  72 |  17 | 464 | 0.000000e+00 | 6.850000e+02 |    Inf 
12.69/12.77	o 657
12.69/12.77	c *12.5s|    85 |    58 |  3767 |  41.1 |  10M|  22 |   - |1939 |3472 |1939 |1778 |  81 |  23 | 490 | 0.000000e+00 | 6.570000e+02 |    Inf 
13.09/13.16	o 599
13.09/13.16	c *12.8s|   123 |    67 |  4496 |  34.3 |  10M|  23 |   - |1939 |3499 |1939 |1782 | 118 |  50 | 527 | 0.000000e+00 | 5.990000e+02 |    Inf 
13.20/13.23	o 560
13.20/13.23	c *12.9s|   130 |    57 |  4662 |  33.7 |  10M|  23 |   - |1939 |3504 |1939 |1773 | 122 |  55 | 534 | 0.000000e+00 | 5.600000e+02 |    Inf 
13.59/13.65	o 516
13.59/13.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
13.59/13.65	c *13.3s|   203 |    80 |  5730 |  26.8 |  10M|  29 |   - |1939 |3586 |1939 |1778 | 167 | 137 | 581 | 0.000000e+00 | 5.160000e+02 |    Inf 
13.59/13.68	o 489
13.59/13.68	c *13.3s|   217 |    82 |  5792 |  25.4 |  11M|  29 |   - |1939 |3598 |1939 |1781 | 170 | 149 | 581 | 0.000000e+00 | 4.890000e+02 |    Inf 
14.39/14.40	o 467
14.39/14.40	c *14.0s|   317 |   132 |  7068 |  21.4 |  11M|  29 |   - |1939 |3668 |1939 |1773 | 202 | 222 | 652 | 0.000000e+00 | 4.670000e+02 |    Inf 
14.49/14.53	o 447
14.49/14.53	c *14.1s|   361 |   135 |  7422 |  19.7 |  11M|  29 |   - |1939 |3708 |1939 |1769 | 211 | 270 | 662 | 0.000000e+00 | 4.470000e+02 |    Inf 
14.59/14.60	o 432
14.59/14.60	c *14.2s|   397 |   136 |  7594 |  18.4 |  11M|  29 |   - |1939 |3758 |1939 |1773 | 215 | 327 | 663 | 0.000000e+00 | 4.320000e+02 |    Inf 
14.69/14.71	o 392
14.69/14.71	c *14.3s|   419 |   144 |  7877 |  18.1 |  11M|  29 |   - |1939 |3763 |1939 |1773 | 223 | 339 | 671 | 0.000000e+00 | 3.920000e+02 |    Inf 
14.69/14.71	o 384
14.69/14.71	c *14.3s|   420 |   142 |  7877 |  18.1 |  12M|  29 |   - |1939 |3763 |1939 |1773 | 223 | 339 | 671 | 0.000000e+00 | 3.840000e+02 |    Inf 
15.40/15.42	o 383
15.40/15.42	c *15.0s|   650 |   245 | 10179 |  15.2 |  12M|  39 |   - |1939 |3896 |1939 |1775 | 331 | 512 | 710 | 0.000000e+00 | 3.830000e+02 |    Inf 
15.90/15.98	o 367
15.90/15.98	c *15.5s|   826 |   307 | 12173 |  14.4 |  13M|  39 |   - |1939 |4024 |1939 |1776 | 370 | 680 | 747 | 0.000000e+00 | 3.670000e+02 |    Inf 
16.09/16.14	o 340
16.09/16.14	c *15.7s|   928 |   338 | 12523 |  13.2 |  13M|  39 |   - |1939 |4069 |1939 |1770 | 386 | 759 | 751 | 0.000000e+00 | 3.400000e+02 |    Inf 
16.19/16.22	o 333
16.19/16.22	c *15.7s|   980 |   342 | 12695 |  12.6 |  13M|  39 |   - |1939 |4124 |1939 |1776 | 396 | 826 | 751 | 0.000000e+00 | 3.330000e+02 |    Inf 
16.39/16.43	o 282
16.39/16.43	c *15.9s|  1114 |   334 | 13053 |  11.4 |  13M|  39 |   - |1939 |4209 |1939 |1769 | 412 | 940 | 758 | 0.000000e+00 | 2.820000e+02 |    Inf 
16.39/16.43	o 204
16.39/16.43	c *15.9s|  1115 |   263 | 13053 |  11.4 |  13M|  39 |   - |1939 |4209 |1939 |1769 | 412 | 940 | 758 | 0.000000e+00 | 2.040000e+02 |    Inf 
16.50/16.52	o 202
16.50/16.52	c *16.0s|  1148 |   263 | 13424 |  11.4 |  13M|  39 |   - |1939 |4228 |1939 |1772 | 415 | 973 | 761 | 0.000000e+00 | 2.020000e+02 |    Inf 
19.59/19.68	o 185
19.59/19.68	c *19.0s|  2550 |   538 | 25114 |   9.7 |  15M|  61 |   - |1939 |5126 |1939 |1777 | 744 |2618 | 892 | 0.000000e+00 | 1.850000e+02 |    Inf 
20.49/20.50	o 153
20.49/20.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
20.49/20.50	c *19.8s|  2715 |   538 | 30581 |  11.2 |  15M|  61 |   - |1939 |4998 |1939 |1769 | 761 |2774 | 898 | 0.000000e+00 | 1.530000e+02 |    Inf 
31.09/31.10	o 133
31.09/31.10	c *29.9s|  7128 |  1102 | 85483 |  12.0 |  18M|  61 |   - |1939 |6342 |1939 |1781 |1621 |7820 |1005 | 0.000000e+00 | 1.330000e+02 |    Inf 
33.39/33.41	o 129
33.39/33.41	c *32.0s|  8378 |  1217 | 92874 |  11.0 |  19M|  61 |   - |1939 |7267 |1939 |1769 |1873 |9296 |1054 | 0.000000e+00 | 1.290000e+02 |    Inf 
36.20/36.23	c  34.7s| 10000 |  1470 |100726 |  10.0 |  20M|  63 |   4 |1939 |6766 |1939 |1774 |2211 |  11k|1095 | 0.000000e+00 | 1.290000e+02 |    Inf 
38.79/38.80	o 93
38.79/38.80	c *37.1s| 11359 |  1497 |110729 |   9.7 |  21M|  63 |   - |1939 |6946 |1939 |1773 |2466 |  12k|1110 | 0.000000e+00 | 9.300000e+01 |    Inf 
59.30/59.30	c  56.5s| 20000 |  1999 |209798 |  10.5 |  27M|  63 |   - |1939 |6962 |   0 |   0 |3892 |  22k|1298 | 0.000000e+00 | 9.300000e+01 |    Inf 
62.49/62.57	o 81
62.49/62.57	c *59.6s| 21393 |  2046 |224564 |  10.5 |  28M|  63 |   - |1939 |7921 |1939 |1784 |4179 |  24k|1319 | 0.000000e+00 | 8.100000e+01 |    Inf 
79.10/79.18	c  75.3s| 30000 |  2376 |284856 |   9.5 |  32M|  63 |   3 |1939 |8808 |1939 |1769 |6001 |  36k|1371 | 0.000000e+00 | 8.100000e+01 |    Inf 
100.30/100.30	c  95.2s| 40000 |  2660 |374605 |   9.4 |  37M|  63 |  27 |1939 |7249 |1939 |1769 |7856 |  49k|1395 | 0.000000e+00 | 8.100000e+01 |    Inf 
102.39/102.48	o 66
102.39/102.48	c *97.3s| 41077 |  2498 |383654 |   9.3 |  34M|  63 |   - |1939 |7648 |1939 |1785 |8080 |  51k|1395 | 0.000000e+00 | 6.600000e+01 |    Inf 
122.10/122.14	c   116s| 50000 |  2668 |478751 |   9.6 |  38M|  63 |   1 |1939 |9658 |1939 |1775 |9741 |  62k|1395 | 0.000000e+00 | 6.600000e+01 |    Inf 
128.90/128.99	o 58
128.90/128.99	c * 122s| 53060 |  2655 |509670 |   9.6 |  38M|  63 |   - |1939 |9273 |1939 |1769 |  10k|  66k|1395 | 0.000000e+00 | 5.800000e+01 |    Inf 
129.10/129.10	o 33
129.10/129.10	c * 122s| 53107 |  2381 |510187 |   9.6 |  34M|  63 |   - |1939 |9060 |1939 |1775 |  10k|  66k|1395 | 0.000000e+00 | 3.300000e+01 |    Inf 
148.80/148.82	c   141s| 60000 |  2807 |633113 |  10.5 |  37M|  65 |   - |1939 |9310 |   0 |   0 |  10k|  75k|1558 | 0.000000e+00 | 3.300000e+01 |    Inf 
173.39/173.49	o 21
173.39/173.49	c * 165s| 69738 |  2648 |775058 |  11.1 |  35M|  65 |   - |1939 |9946 |1939 |1771 |  11k|  88k|1763 | 0.000000e+00 | 2.100000e+01 |    Inf 
174.10/174.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
174.10/174.12	c   165s| 70000 |  2642 |777811 |  11.1 |  35M|  65 |   1 |1939 |8909 |1939 |1769 |  11k|  88k|1774 | 0.000000e+00 | 2.100000e+01 |    Inf 
180.89/180.92	o 17
180.89/180.92	c * 172s| 73278 |  2502 |811787 |  11.1 |  35M|  65 |   - |1939 |9910 |1939 |1769 |  12k|  92k|1893 | 0.000000e+00 | 1.700000e+01 |    Inf 
190.50/190.50	o 11
190.50/190.50	c * 181s| 77690 |  2390 |864259 |  11.1 |  34M|  65 |   - |1939 |9833 |1939 |1769 |  12k|  98k|2029 | 0.000000e+00 | 1.100000e+01 |    Inf 
196.09/196.15	c   186s| 80000 |  2437 |898262 |  11.2 |  34M|  65 |   - |1939 |  10k|   0 |   0 |  12k| 101k|2050 | 0.000000e+00 | 1.100000e+01 |    Inf 
218.30/218.32	c   207s| 90000 |  2599 |  1023k|  11.4 |  37M|  65 |  18 |1939 |  12k|1939 |1769 |  13k| 115k|2248 | 0.000000e+00 | 1.100000e+01 |    Inf 
239.71/239.74	c   227s|100000 |  2462 |  1135k|  11.4 |  36M|  65 |   - |1939 |  10k|1939 |1769 |  14k| 128k|2446 | 0.000000e+00 | 1.100000e+01 |    Inf 
261.50/261.53	c   248s|110000 |  2274 |  1259k|  11.4 |  36M|  65 |  14 |1939 |  10k|1939 |1779 |  15k| 142k|2606 | 0.000000e+00 | 1.100000e+01 |    Inf 
283.80/283.84	c   269s|120000 |  2133 |  1384k|  11.5 |  37M|  65 |  20 |1939 |  13k|1939 |1769 |  16k| 156k|2810 | 0.000000e+00 | 1.100000e+01 |    Inf 
305.20/305.25	c   289s|130000 |  2207 |  1496k|  11.5 |  39M|  65 |  10 |1939 |  18k|1939 |1769 |  16k| 170k|2935 | 0.000000e+00 | 1.100000e+01 |    Inf 
327.50/327.52	c   310s|140000 |  2128 |  1604k|  11.5 |  38M|  65 |   - |1939 |  15k|   0 |   0 |  17k| 184k|3074 | 0.000000e+00 | 1.100000e+01 |    Inf 
351.10/351.18	c   332s|150000 |  2110 |  1731k|  11.5 |  40M|  65 |   - |1939 |  18k|   0 |   0 |  19k| 198k|3332 | 0.000000e+00 | 1.100000e+01 |    Inf 
375.90/375.99	c   356s|160000 |  2302 |  1865k|  11.7 |  42M|  65 |   - |1939 |  20k|   0 |   0 |  20k| 212k|3527 | 0.000000e+00 | 1.100000e+01 |    Inf 
400.00/400.05	c   379s|170000 |  2321 |  1993k|  11.7 |  43M|  65 |  13 |1939 |  22k|1939 |1769 |  21k| 227k|3648 | 0.000000e+00 | 1.100000e+01 |    Inf 
424.60/424.64	c   402s|180000 |  2308 |  2121k|  11.8 |  43M|  65 |   - |1939 |  22k|   0 |   0 |  22k| 241k|3834 | 0.000000e+00 | 1.100000e+01 |    Inf 
448.60/448.64	c   425s|190000 |  2397 |  2244k|  11.8 |  44M|  65 |   - |1939 |  22k|   0 |   0 |  23k| 255k|4005 | 0.000000e+00 | 1.100000e+01 |    Inf 
475.00/475.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
475.00/475.10	c   450s|200000 |  2542 |  2383k|  11.9 |  46M|  65 |  23 |1939 |  24k|1939 |1769 |  24k| 269k|4183 | 0.000000e+00 | 1.100000e+01 |    Inf 
502.50/502.60	c   476s|210000 |  2588 |  2530k|  12.0 |  48M|  68 |  12 |1939 |  27k|1939 |1769 |  25k| 283k|4289 | 0.000000e+00 | 1.100000e+01 |    Inf 
527.60/527.62	c   500s|220000 |  2678 |  2649k|  12.0 |  50M|  73 |  14 |1939 |  31k|1939 |1769 |  26k| 297k|4413 | 0.000000e+00 | 1.100000e+01 |    Inf 
554.20/554.23	c   525s|230000 |  2730 |  2776k|  12.1 |  50M|  73 |  21 |1939 |  27k|1939 |1769 |  27k| 311k|4536 | 0.000000e+00 | 1.100000e+01 |    Inf 
584.11/584.15	c   554s|240000 |  2757 |  2935k|  12.2 |  50M|  73 |   - |1939 |  24k|   0 |   0 |  28k| 325k|4723 | 0.000000e+00 | 1.100000e+01 |    Inf 
609.01/609.09	c   578s|250000 |  2883 |  3058k|  12.2 |  51M|  73 |   - |1939 |  26k|1939 |1769 |  28k| 339k|4856 | 0.000000e+00 | 1.100000e+01 |    Inf 
637.11/637.11	c   604s|260000 |  3092 |  3201k|  12.3 |  53M|  75 |  17 |1939 |  29k|1939 |1769 |  29k| 353k|4993 | 0.000000e+00 | 1.100000e+01 |    Inf 
663.71/663.76	c   630s|270000 |  3060 |  3333k|  12.3 |  53M|  75 |  12 |1939 |  27k|1939 |1769 |  30k| 368k|5120 | 0.000000e+00 | 1.100000e+01 |    Inf 
690.30/690.34	c   655s|280000 |  3024 |  3471k|  12.4 |  52M|  75 |   - |1939 |  23k|   0 |   0 |  31k| 382k|5261 | 0.000000e+00 | 1.100000e+01 |    Inf 
715.30/715.39	c   679s|290000 |  3097 |  3601k|  12.4 |  53M|  75 |  21 |1939 |  24k|1939 |1769 |  32k| 397k|5373 | 0.000000e+00 | 1.100000e+01 |    Inf 
739.81/739.81	c   702s|300000 |  3070 |  3722k|  12.4 |  53M|  75 |   - |1939 |  22k|1939 |1769 |  33k| 411k|5515 | 0.000000e+00 | 1.100000e+01 |    Inf 
764.80/764.85	c   726s|310000 |  3127 |  3859k|  12.4 |  55M|  75 |   - |1939 |  25k|   0 |   0 |  34k| 425k|5617 | 0.000000e+00 | 1.100000e+01 |    Inf 
790.60/790.64	c   750s|320000 |  3284 |  3987k|  12.5 |  54M|  75 |   - |1939 |  22k|   0 |   0 |  34k| 439k|5800 | 0.000000e+00 | 1.100000e+01 |    Inf 
813.81/813.83	c   772s|330000 |  3550 |  4102k|  12.4 |  56M|  75 |  30 |1939 |  22k|1939 |1769 |  35k| 454k|5861 | 0.000000e+00 | 1.100000e+01 |    Inf 
836.31/836.37	c   794s|340000 |  3614 |  4212k|  12.4 |  56M|  75 |  26 |1939 |  20k|1939 |1769 |  36k| 469k|5956 | 0.000000e+00 | 1.100000e+01 |    Inf 
858.71/858.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
858.71/858.78	c   815s|350000 |  3676 |  4320k|  12.3 |  57M|  75 |  17 |1939 |  20k|1939 |1769 |  36k| 484k|6061 | 0.000000e+00 | 1.100000e+01 |    Inf 
881.81/881.86	c   837s|360000 |  3741 |  4433k|  12.3 |  58M|  75 |   - |1939 |  18k|   0 |   0 |  37k| 499k|6156 | 0.000000e+00 | 1.100000e+01 |    Inf 
903.21/903.20	c   857s|370000 |  3757 |  4539k|  12.3 |  58M|  75 |  24 |1939 |  19k|1939 |1780 |  38k| 514k|6193 | 0.000000e+00 | 1.100000e+01 |    Inf 
925.21/925.21	c   878s|380000 |  3762 |  4647k|  12.2 |  59M|  75 |  24 |1939 |  18k|1939 |1769 |  38k| 528k|6296 | 0.000000e+00 | 1.100000e+01 |    Inf 
948.31/948.31	c   900s|390000 |  3813 |  4768k|  12.2 |  59M|  75 |  24 |1939 |  18k|1939 |1769 |  39k| 542k|6394 | 0.000000e+00 | 1.100000e+01 |    Inf 
971.01/971.08	c   921s|400000 |  3847 |  4886k|  12.2 |  61M|  75 |   - |1939 |  20k|1939 |1769 |  40k| 557k|6492 | 0.000000e+00 | 1.100000e+01 |    Inf 
993.22/993.30	c   942s|410000 |  3838 |  4997k|  12.2 |  61M|  75 |   - |1939 |  19k|   0 |   0 |  41k| 571k|6555 | 0.000000e+00 | 1.100000e+01 |    Inf 
1015.02/1015.07	c   963s|420000 |  3828 |  5106k|  12.2 |  62M|  75 |  29 |1939 |  21k|1939 |1769 |  42k| 585k|6633 | 0.000000e+00 | 1.100000e+01 |    Inf 
1038.32/1038.31	c   985s|430000 |  3862 |  5224k|  12.1 |  62M|  75 |   9 |1939 |  20k|1939 |1769 |  43k| 599k|6744 | 0.000000e+00 | 1.100000e+01 |    Inf 
1062.52/1062.56	c  1008s|440000 |  3947 |  5351k|  12.2 |  64M|  75 |   - |1939 |  23k|   0 |   0 |  44k| 613k|6846 | 0.000000e+00 | 1.100000e+01 |    Inf 
1086.82/1086.86	c  1031s|450000 |  3885 |  5475k|  12.2 |  64M|  75 |   - |1939 |  23k|   0 |   0 |  45k| 627k|6913 | 0.000000e+00 | 1.100000e+01 |    Inf 
1112.02/1112.05	c  1055s|460000 |  3926 |  5599k|  12.2 |  65M|  75 |  19 |1939 |  26k|1939 |1777 |  46k| 642k|7023 | 0.000000e+00 | 1.100000e+01 |    Inf 
1136.81/1136.86	c  1079s|470000 |  3917 |  5717k|  12.2 |  64M|  75 |  24 |1939 |  22k|1939 |1769 |  47k| 656k|7133 | 0.000000e+00 | 1.100000e+01 |    Inf 
1160.42/1160.44	c  1101s|480000 |  3883 |  5824k|  12.1 |  64M|  75 |   1 |1939 |  21k|1939 |1769 |  48k| 671k|7177 | 0.000000e+00 | 1.100000e+01 |    Inf 
1183.12/1183.17	c  1123s|490000 |  3920 |  5930k|  12.1 |  65M|  75 |  14 |1939 |  22k|1939 |1769 |  49k| 685k|7251 | 0.000000e+00 | 1.100000e+01 |    Inf 
1207.22/1207.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1207.22/1207.24	c  1146s|500000 |  3983 |  6042k|  12.1 |  65M|  75 |  14 |1939 |  21k|1939 |1769 |  50k| 700k|7330 | 0.000000e+00 | 1.100000e+01 |    Inf 
1232.42/1232.46	c  1170s|510000 |  3961 |  6167k|  12.1 |  66M|  75 |   - |1939 |  23k|   0 |   0 |  51k| 715k|7400 | 0.000000e+00 | 1.100000e+01 |    Inf 
1258.42/1258.43	c  1195s|520000 |  3972 |  6302k|  12.1 |  64M|  75 |  17 |1939 |  17k|1939 |1769 |  52k| 729k|7485 | 0.000000e+00 | 1.100000e+01 |    Inf 
1280.52/1280.56	c  1216s|530000 |  3913 |  6411k|  12.1 |  64M|  75 |   - |1939 |  17k|   0 |   0 |  53k| 744k|7583 | 0.000000e+00 | 1.100000e+01 |    Inf 
1306.21/1306.29	c  1240s|540000 |  3866 |  6558k|  12.1 |  64M|  75 |  23 |1939 |  18k|1939 |1775 |  54k| 758k|7667 | 0.000000e+00 | 1.100000e+01 |    Inf 
1328.02/1328.09	o 8
1328.02/1328.09	c *1261s|548814 |  3792 |  6678k|  12.2 |  62M|  75 |   - |1939 |  17k|1939 |1777 |  55k| 769k|7716 | 0.000000e+00 | 8.000000e+00 |    Inf 
1330.62/1330.66	c  1263s|550000 |  3794 |  6692k|  12.2 |  62M|  75 |  14 |1939 |  17k|1939 |1769 |  55k| 771k|7716 | 0.000000e+00 | 8.000000e+00 |    Inf 
1354.62/1354.62	c  1286s|560000 |  3857 |  6819k|  12.2 |  63M|  75 |   - |1939 |  17k|   0 |   0 |  56k| 785k|7800 | 0.000000e+00 | 8.000000e+00 |    Inf 
1368.02/1368.00	o 1
1368.02/1368.00	c *1299s|565755 |  2382 |  6888k|  12.2 |  48M|  75 |   - |1939 |  18k|1939 |1773 |  56k| 793k|7842 | 0.000000e+00 | 1.000000e-00 |    Inf 
1377.82/1377.85	c  1308s|570000 |  2381 |  6938k|  12.2 |  47M|  75 |   - |1939 |  15k|1939 |1769 |  56k| 798k|7898 | 0.000000e+00 | 1.000000e-00 |    Inf 
1400.02/1400.07	c  1329s|580000 |  2302 |  7060k|  12.2 |  47M|  75 |   - |1939 |  16k|   0 |   0 |  57k| 813k|7931 | 0.000000e+00 | 1.000000e-00 |    Inf 
1424.53/1424.52	c  1352s|590000 |  2297 |  7189k|  12.2 |  49M|  75 |  22 |1939 |  19k|1939 |1769 |  58k| 827k|8027 | 0.000000e+00 | 1.000000e-00 |    Inf 
1449.42/1449.44	c  1376s|600000 |  2249 |  7319k|  12.2 |  48M|  75 |   1 |1939 |  17k|1939 |1769 |  58k| 840k|8137 | 0.000000e+00 | 1.000000e-00 |    Inf 
1473.82/1473.84	c  1399s|610000 |  2222 |  7456k|  12.2 |  48M|  75 |   - |1939 |  19k|   0 |   0 |  59k| 854k|8186 | 0.000000e+00 | 1.000000e-00 |    Inf 
1500.12/1500.18	c  1424s|620000 |  2203 |  7592k|  12.2 |  50M|  75 |  15 |1939 |  23k|1939 |1779 |  60k| 867k|8242 | 0.000000e+00 | 1.000000e-00 |    Inf 
1528.62/1528.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1528.62/1528.66	c  1452s|630000 |  2194 |  7735k|  12.3 |  51M|  75 |  33 |1939 |  27k|1939 |1774 |  61k| 881k|8346 | 0.000000e+00 | 1.000000e-00 |    Inf 
1555.72/1555.74	c  1478s|640000 |  2234 |  7864k|  12.3 |  52M|  75 |   - |1939 |  27k|   0 |   0 |  61k| 895k|8429 | 0.000000e+00 | 1.000000e-00 |    Inf 
1587.13/1587.16	c  1508s|650000 |  2251 |  8019k|  12.3 |  52M|  75 |  24 |1939 |  29k|1939 |1769 |  62k| 908k|8485 | 0.000000e+00 | 1.000000e-00 |    Inf 
1618.43/1618.47	c  1538s|660000 |  2248 |  8172k|  12.4 |  53M|  75 |  28 |1939 |  31k|1939 |1774 |  62k| 922k|8542 | 0.000000e+00 | 1.000000e-00 |    Inf 
1651.23/1651.28	c  1569s|670000 |  2275 |  8332k|  12.4 |  52M|  75 |   - |1939 |  26k|   0 |   0 |  63k| 937k|8655 | 0.000000e+00 | 1.000000e-00 |    Inf 
1683.83/1683.85	c  1601s|680000 |  2425 |  8501k|  12.5 |  53M|  75 |  16 |1939 |  29k|1939 |1769 |  63k| 951k|8742 | 0.000000e+00 | 1.000000e-00 |    Inf 
1714.13/1714.12	c  1630s|690000 |  2430 |  8643k|  12.5 |  54M|  75 |  26 |1939 |  30k|1939 |1769 |  63k| 964k|8793 | 0.000000e+00 | 1.000000e-00 |    Inf 
1742.93/1742.96	c  1657s|700000 |  2381 |  8780k|  12.5 |  54M|  75 |   - |1939 |  31k|   0 |   0 |  64k| 978k|8827 | 0.000000e+00 | 1.000000e-00 |    Inf 
1779.43/1779.45	c  1693s|710000 |  2490 |  8974k|  12.6 |  55M|  75 |  26 |1939 |  31k|1939 |1778 |  64k| 992k|8929 | 0.000000e+00 | 1.000000e-00 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1712.43
1800.03/1800.00	c Solving Nodes      : 716799
1800.03/1800.00	c Primal Bound       : +1.00000000000000e-00 (302 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.01	s SATISFIABLE
1800.03/1800.01	v x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 x211 -x210 
1800.03/1800.01	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 
1800.03/1800.01	v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.03/1800.01	v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 
1800.03/1800.01	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.03/1800.01	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.03/1800.01	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.03/1800.01	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.03/1800.01	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.03/1800.01	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.03/1800.01	v -x1 
1800.03/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.01	c Solving Time       :    1712.43
1800.03/1800.01	c Original Problem   :
1800.03/1800.01	c   Problem name     : HOME/instance-2693501-1277907425.wbo
1800.03/1800.01	c   Variables        : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.03/1800.01	c   Constraints      : 3614 initial, 3614 maximal
1800.03/1800.01	c Presolved Problem  :
1800.03/1800.01	c   Problem name     : t_HOME/instance-2693501-1277907425.wbo
1800.03/1800.01	c   Variables        : 1939 (1085 binary, 0 integer, 0 implicit integer, 854 continuous)
1800.03/1800.01	c   Constraints      : 3449 initial, 33880 maximal
1800.03/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.01	c   trivial          :       0.00         52          0          0          0          0          0          0          0
1800.03/1800.01	c   dualfix          :       0.00         52          0          0          0          0          0          0          0
1800.03/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.01	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.01	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.03/1800.01	c   indicator        :       0.00          0          0          0          0          0         52          0          0
1800.03/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.01	c   linear           :       0.02          0          0          0        906          0        113         52          0
1800.03/1800.01	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.01	c   root node        :          -        854          -          -       1708          -          -          -          -
1800.03/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.01	c   integral         :          0          0          0     397318          0        225       2074          0          0     764664
1800.03/1800.01	c   indicator        :        854          0    2770171      11800          0        783    2793332          0          0          0
1800.03/1800.01	c   knapsack         :          1          6    3536883      13165          0      42932    7756373          2          0          0
1800.03/1800.01	c   setppc           :         14          6    3501605      13141          0      76855    2061787          0          0          0
1800.03/1800.01	c   linear           :        854          6    3426807      13254          0      62333    3595965      65030          0          0
1800.03/1800.01	c   logicor          :       1726+         6    1607243       2114          0     107122    5891496          0          0          0
1800.03/1800.01	c   bounddisjunction :          0+         0      57567          0          0         28        436          0          0          0
1800.03/1800.01	c   countsols        :          0          0          0       2114          0          0          0          0          0          0
1800.03/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.01	c   integral         :      43.98       0.00       0.00      43.98       0.00
1800.03/1800.01	c   indicator        :       6.64       0.00       6.30       0.34       0.00
1800.03/1800.01	c   knapsack         :      34.59       0.00      34.59       0.00       0.00
1800.03/1800.01	c   setppc           :      12.45       0.00      12.45       0.00       0.00
1800.03/1800.01	c   linear           :      43.19       0.01      42.69       0.49       0.00
1800.03/1800.01	c   logicor          :     208.22       0.00     208.22       0.00       0.00
1800.03/1800.01	c   bounddisjunction :       0.05       0.00       0.05       0.00       0.00
1800.03/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.01	c   vbounds          :       0.00          2          0          0
1800.03/1800.01	c   rootredcost      :       0.01         36          0        854
1800.03/1800.01	c   pseudoobj        :      60.00    3554005       6650    2345676
1800.03/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.01	c   propagation      :      11.88     295920     295526    1791079       28.3       9813       22.6          -
1800.03/1800.01	c   infeasible LP    :      14.88      80026      80020     623978       45.7        917       14.0          0
1800.03/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.01	c   pseudo solution  :       0.00         41         41        245       20.0          5       10.0          -
1800.03/1800.01	c   applied globally :          -          -          -    1002963       26.6          -          -          -
1800.03/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.01	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 133)
1800.03/1800.01	c   redcost          :      11.19     400474          0     417588          0          0
1800.03/1800.01	c   impliedbounds    :       0.00          6          0          0          0          0
1800.03/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.01	c   gomory           :       0.30          6          0          0        700          0
1800.03/1800.01	c   strongcg         :       0.23          6          0          0        500          0
1800.03/1800.01	c   cmir             :       0.02          6          0          0          1          0
1800.03/1800.01	c   flowcover        :       0.06          6          0          0          1          0
1800.03/1800.01	c   clique           :       0.00          6          0          0          0          0
1800.03/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.01	c Pricers            :       Time      Calls       Vars
1800.03/1800.01	c   problem variables:       0.00          0          0
1800.03/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.01	c   relpscost        :      43.88     384043        225       2074          0          0     764664
1800.03/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.01	c   inference        :       0.16       2079          0          0          0          0       4158
1800.03/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.01	c   LP solutions     :       0.02          -         35
1800.03/1800.01	c   pseudo solutions :       0.00          -          0
1800.03/1800.01	c   feaspump         :       0.01          1          0
1800.03/1800.01	c   oneopt           :       0.14         34          0
1800.03/1800.01	c   intshifting      :       0.00         16          0
1800.03/1800.01	c   crossover        :       0.48         26          0
1800.03/1800.01	c   veclendiving     :       0.33         95          0
1800.03/1800.01	c   linesearchdiving :       0.25         95          0
1800.03/1800.01	c   objpscostdiving  :       0.31         48          0
1800.03/1800.01	c   rootsoldiving    :       0.52         48          0
1800.03/1800.01	c   pscostdiving     :       0.27         96          0
1800.03/1800.01	c   guideddiving     :       0.36         96          0
1800.03/1800.01	c   coefdiving       :       0.39         96          0
1800.03/1800.01	c   fracdiving       :       0.39         96          0
1800.03/1800.01	c   trivial          :       0.00          2          0
1800.03/1800.01	c   simplerounding   :       0.43     385085          0
1800.03/1800.01	c   zirounding       :       0.21       1000          0
1800.03/1800.01	c   rounding         :       1.14       8746          0
1800.03/1800.01	c   shifting         :       0.96       2741          0
1800.03/1800.01	c   twoopt           :       0.00          0          0
1800.03/1800.01	c   fixandinfer      :       0.00          0          0
1800.03/1800.01	c   intdiving        :       0.00          0          0
1800.03/1800.01	c   actconsdiving    :       0.00          0          0
1800.03/1800.01	c   octane           :       0.00          0          0
1800.03/1800.01	c   rens             :       0.02          1          0
1800.03/1800.01	c   rins             :       0.00          0          0
1800.03/1800.01	c   localbranching   :       0.00          0          0
1800.03/1800.01	c   mutation         :       0.00          0          0
1800.03/1800.01	c   dins             :       0.00          0          0
1800.03/1800.01	c   undercover       :       0.00          0          0
1800.03/1800.01	c   nlp              :       0.01          0          0
1800.03/1800.01	c   trysol           :       0.44       2631        267
1800.03/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.01	c   dual LP          :     957.24     475790    9057363      19.04    9461.96
1800.03/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.01	c   diving/probing LP:       2.08       1277      13040      10.21    6269.23
1800.03/1800.01	c   strong branching :      40.05       8991     406436      45.20   10148.21
1800.03/1800.01	c     (at root node) :          -         33      23081     699.42          -
1800.03/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.01	c B&B Tree           :
1800.03/1800.01	c   number of runs   :          1
1800.03/1800.01	c   nodes            :     716799
1800.03/1800.01	c   nodes (total)    :     716799
1800.03/1800.01	c   nodes left       :       2454
1800.03/1800.01	c   max depth        :         75
1800.03/1800.01	c   max depth (total):         75
1800.03/1800.01	c   backtracks       :      82430 (11.5%)
1800.03/1800.01	c   delayed cutoffs  :      46253
1800.03/1800.01	c   repropagations   :    1525026 (4126580 domain reductions, 43513 cutoffs)
1800.03/1800.01	c   avg switch length:       5.73
1800.03/1800.01	c   switching time   :     178.10
1800.03/1800.01	c Solution           :
1800.03/1800.01	c   Solutions found  :        302 (36 improvements)
1800.03/1800.01	c   First Solution   : +4.21020000000000e+04   (in run 1, after 9 nodes, 8.64 seconds, depth 8, found by <trysol>)
1800.03/1800.01	c   Primal Bound     : +1.00000000000000e-00   (in run 1, after 565755 nodes, 1298.61 seconds, depth 31, found by <relaxation>)
1800.03/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.01	c   Gap              :   infinite
1800.03/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.01	c   Root Iterations  :        313
1800.03/1800.09	c Time complete: 1800.13.

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-2693501-1277907425/watcher-2693501-1277907425 -o /tmp/evaluation-result-2693501-1277907425/solver-2693501-1277907425 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693501-1277907425.wbo -t 1800 -m 3800 

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


[startup+0 s]
/proc/loadavg: 2.06 2.02 2.03 3/178 12838
/proc/meminfo: memFree=30620488/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=10868 CPUtime=0
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 1666 0 0 0 0 0 0 0 22 0 1 0 132039482 11128832 1586 4089446400 4194304 9819077 140733956564912 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12838/statm: 2717 1586 392 1374 0 1338 0

[startup+0.094204 s]
/proc/loadavg: 2.06 2.02 2.03 3/178 12838
/proc/meminfo: memFree=30620488/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=24788 CPUtime=0.08
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 7405 0 0 0 6 2 0 0 22 0 1 0 132039482 25382912 4915 4089446400 4194304 9819077 140733956564912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 6197 4915 512 1374 0 4818 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24788

[startup+0.100201 s]
/proc/loadavg: 2.06 2.02 2.03 3/178 12838
/proc/meminfo: memFree=30620488/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=25816 CPUtime=0.09
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 7920 0 0 0 7 2 0 0 23 0 1 0 132039482 26435584 4916 4089446400 4194304 9819077 140733956564912 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 6454 4936 512 1374 0 5075 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25816

[startup+0.300166 s]
/proc/loadavg: 2.06 2.02 2.03 3/178 12838
/proc/meminfo: memFree=30620488/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=33632 CPUtime=0.29
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 10606 0 0 0 25 4 0 0 24 0 1 0 132039482 34439168 6727 4089446400 4194304 9819077 140733956564912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 8408 6727 690 1374 0 7029 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33632

[startup+0.700095 s]
/proc/loadavg: 2.06 2.02 2.03 3/178 12838
/proc/meminfo: memFree=30620488/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=39744 CPUtime=0.69
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 12251 0 0 0 64 5 0 0 25 0 1 0 132039482 40697856 8170 4089446400 4194304 9819077 140733956564912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 9936 8170 691 1374 0 8557 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39744

[startup+1.50095 s]
/proc/loadavg: 2.06 2.02 2.03 3/179 12839
/proc/meminfo: memFree=30586628/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=45096 CPUtime=1.49
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 24603 0 0 0 142 7 0 0 25 0 1 0 132039482 46178304 8827 4089446400 4194304 9819077 140733956564912 18446744073709551615 6192298 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 11274 8827 720 1374 0 9895 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45096

[startup+3.10067 s]
/proc/loadavg: 2.06 2.02 2.03 3/179 12839
/proc/meminfo: memFree=30585388/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=45100 CPUtime=3.09
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 33499 0 0 0 300 9 0 0 25 0 1 0 132039482 46182400 8796 4089446400 4194304 9819077 140733956564912 18446744073709551615 6656765 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 11275 8796 720 1374 0 9896 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45100

[startup+6.30011 s]
/proc/loadavg: 2.06 2.02 2.03 3/179 12839
/proc/meminfo: memFree=30582256/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=45004 CPUtime=6.29
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 53315 0 0 0 614 15 0 0 25 0 1 0 132039482 46084096 8803 4089446400 4194304 9819077 140733956564912 18446744073709551615 6192567 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 11251 8803 720 1374 0 9872 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45004

[startup+12.701 s]
/proc/loadavg: 2.05 2.01 2.03 3/179 12839
/proc/meminfo: memFree=30576676/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=46056 CPUtime=12.69
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 115596 0 0 0 1241 28 0 0 25 0 1 0 132039482 47161344 8968 4089446400 4194304 9819077 140733956564912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 11514 8968 724 1374 0 10135 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46056

[startup+25.5007 s]
/proc/loadavg: 2.04 2.01 2.03 3/179 12839
/proc/meminfo: memFree=30540668/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=57756 CPUtime=25.5
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 239876 0 0 0 2461 89 0 0 25 0 1 0 132039482 59142144 12149 4089446400 4194304 9819077 140733956564912 18446744073709551615 6192269 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 14439 12149 740 1374 0 13060 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 57756

[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.03 3/179 12840
/proc/meminfo: memFree=30490596/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=76180 CPUtime=51.09
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 538310 0 0 0 4875 234 0 0 25 0 1 0 132039482 78008320 16901 4089446400 4194304 9819077 140733956564912 18446744073709551615 7226083 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 19045 16902 742 1374 0 17666 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76180

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.02 3/179 12841
/proc/meminfo: memFree=30384488/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=116396 CPUtime=102.3
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 1043808 0 0 0 9712 518 0 0 25 0 1 0 132039482 119189504 26279 4089446400 4194304 9819077 140733956564912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 29099 26279 744 1374 0 27720 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 116396

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 12843
/proc/meminfo: memFree=30288356/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=129520 CPUtime=162.29
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 1640615 0 0 0 15399 830 0 0 25 0 1 0 132039482 132628480 29463 4089446400 4194304 9819077 140733956564912 18446744073709551615 4925543 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 32380 29463 744 1374 0 31001 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 129520

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 12845
/proc/meminfo: memFree=30162316/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=134020 CPUtime=222.29
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 2282262 0 0 0 21074 1155 0 0 25 0 1 0 132039482 137236480 30640 4089446400 4194304 9819077 140733956564912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 33505 30640 744 1374 0 32126 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 134020

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12846
/proc/meminfo: memFree=30083416/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=136176 CPUtime=282.3
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 2946461 0 0 0 26727 1503 0 0 25 0 1 0 132039482 139444224 31125 4089446400 4194304 9819077 140733956564912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 34044 31125 744 1374 0 32665 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 136176

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12848
/proc/meminfo: memFree=30048508/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=141988 CPUtime=342.3
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 3575029 0 0 0 32396 1834 0 0 25 0 1 0 132039482 145395712 32548 4089446400 4194304 9819077 140733956564912 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 35497 32548 744 1374 0 34118 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 141988

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12849
/proc/meminfo: memFree=30027140/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=142860 CPUtime=402.3
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 4205457 0 0 0 38083 2147 0 0 25 0 1 0 132039482 146288640 32732 4089446400 4194304 9819077 140733956564912 18446744073709551615 6723346 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 35715 32732 744 1374 0 34336 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 142860

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12851
/proc/meminfo: memFree=30006768/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=145936 CPUtime=462.31
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 4797404 0 0 0 43774 2457 0 0 25 0 1 0 132039482 149438464 33509 4089446400 4194304 9819077 140733956564912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 36484 33509 744 1374 0 35105 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 145936

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12853
/proc/meminfo: memFree=29999044/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=150112 CPUtime=522.3
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 5325010 0 0 0 49490 2740 0 0 25 0 1 0 132039482 153714688 34603 4089446400 4194304 9819077 140733956564912 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 37629 34605 744 1374 0 36250 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 150112

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12854
/proc/meminfo: memFree=29980900/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=152196 CPUtime=582.3
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 5825902 0 0 0 55217 3013 0 0 25 0 1 0 132039482 155848704 35065 4089446400 4194304 9819077 140733956564912 18446744073709551615 5004488 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 38049 35065 744 1374 0 36670 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 152196

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12856
/proc/meminfo: memFree=29898264/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=154836 CPUtime=642.31
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 6356872 0 0 0 60945 3286 0 0 25 0 1 0 132039482 158552064 35712 4089446400 4194304 9819077 140733956564912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 38709 35712 744 1374 0 37330 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 154836

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12861
/proc/meminfo: memFree=29713240/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=160416 CPUtime=822.3
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 8012997 0 0 0 78040 4190 0 0 25 0 1 0 132039482 164265984 36903 4089446400 4194304 9819077 140733956564912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 40104 36903 744 1374 0 38725 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 160416

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12865
/proc/meminfo: memFree=29691096/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=161988 CPUtime=882.31
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 8557753 0 0 0 83727 4504 0 0 25 0 1 0 132039482 165875712 37320 4089446400 4194304 9819077 140733956564912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 40497 37320 744 1374 0 39118 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 161988

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12867
/proc/meminfo: memFree=29594868/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=163772 CPUtime=942.31
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 9115829 0 0 0 89411 4820 0 0 25 0 1 0 132039482 167702528 37731 4089446400 4194304 9819077 140733956564912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 40943 37731 744 1374 0 39564 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 163772

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12868
/proc/meminfo: memFree=29512616/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=165032 CPUtime=1002.31
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 9685583 0 0 0 95103 5128 0 0 25 0 1 0 132039482 168992768 38091 4089446400 4194304 9819077 140733956564912 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 41258 38091 744 1374 0 39879 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 165032

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12870
/proc/meminfo: memFree=29446604/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=167204 CPUtime=1062.32
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 10263757 0 0 0 100792 5440 0 0 25 0 1 0 132039482 171216896 38772 4089446400 4194304 9819077 140733956564912 18446744073709551615 7263154 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 41801 38772 744 1374 0 40422 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 167204

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12872
/proc/meminfo: memFree=29386172/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=169808 CPUtime=1122.32
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 10834768 0 0 0 106492 5740 0 0 25 0 1 0 132039482 173883392 39253 4089446400 4194304 9819077 140733956564912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 42452 39253 744 1374 0 41073 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 169808

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12901
/proc/meminfo: memFree=31425172/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=169996 CPUtime=1182.32
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 11369191 0 0 0 112197 6035 0 0 25 0 1 0 132039482 174075904 39307 4089446400 4194304 9819077 140733956564912 18446744073709551615 4923070 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 42499 39307 744 1374 0 41120 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 169996

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12903
/proc/meminfo: memFree=31393800/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=171808 CPUtime=1242.32
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 11890627 0 0 0 117920 6312 0 0 25 0 1 0 132039482 175931392 39767 4089446400 4194304 9819077 140733956564912 18446744073709551615 4431658 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 42952 39767 744 1374 0 41573 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 171808

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12904
/proc/meminfo: memFree=31386060/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=171152 CPUtime=1302.32
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 12465130 0 0 0 123622 6610 0 0 25 0 1 0 132039482 175259648 39808 4089446400 4194304 9819077 140733956564912 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 42788 39798 744 1374 0 41409 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 171152

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12906
/proc/meminfo: memFree=31375868/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=172476 CPUtime=1362.32
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 13028434 0 0 0 129324 6908 0 0 25 0 1 0 132039482 176615424 39958 4089446400 4194304 9819077 140733956564912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 43119 39958 744 1374 0 41740 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 172476

[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 12908
/proc/meminfo: memFree=31373572/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=172440 CPUtime=1422.33
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 13619862 0 0 0 135025 7208 0 0 25 0 1 0 132039482 176578560 39959 4089446400 4194304 9819077 140733956564912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 43110 39959 744 1374 0 41731 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 172440

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12909
/proc/meminfo: memFree=31368692/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=173004 CPUtime=1482.32
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 14183436 0 0 0 140737 7495 0 0 25 0 1 0 132039482 177156096 40050 4089446400 4194304 9819077 140733956564912 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 43251 40050 744 1374 0 41872 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 173004

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12911
/proc/meminfo: memFree=31366412/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=173092 CPUtime=1542.32
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 14686057 0 0 0 146475 7757 0 0 25 0 1 0 132039482 177246208 40110 4089446400 4194304 9819077 140733956564912 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 43273 40110 744 1374 0 41894 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 173092

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12912
/proc/meminfo: memFree=31360416/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=172684 CPUtime=1602.32
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 15132437 0 0 0 152233 7999 0 0 25 0 1 0 132039482 176828416 40170 4089446400 4194304 9819077 140733956564912 18446744073709551615 7286958 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 43238 40173 744 1374 0 41859 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 172684

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12914
/proc/meminfo: memFree=31357524/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=173976 CPUtime=1662.33
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 15563218 0 0 0 158009 8224 0 0 25 0 1 0 132039482 178151424 40257 4089446400 4194304 9819077 140733956564912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 43494 40257 744 1374 0 42115 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 173976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12916
/proc/meminfo: memFree=31354880/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=173976 CPUtime=1722.33
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 16007790 0 0 0 163764 8469 0 0 25 0 1 0 132039482 178151424 40254 4089446400 4194304 9819077 140733956564912 18446744073709551615 6723472 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12838/statm: 43494 40254 744 1374 0 42115 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 173976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12917
/proc/meminfo: memFree=31350348/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=174000 CPUtime=1782.33
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 16437726 0 0 0 169544 8689 0 0 25 0 1 0 132039482 178176000 40283 4089446400 4194304 9819077 140733956564912 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12838/statm: 43500 40283 744 1374 0 42121 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 174000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12918
/proc/meminfo: memFree=31349228/32950928 swapFree=67111528/67111528
[pid=12838] ppid=12836 vsize=174772 CPUtime=1800.03
/proc/12838/stat : 12838 (pbscip.linux.x8) R 12836 12838 11688 0 -1 4202496 16570322 0 0 0 171245 8758 0 0 25 0 1 0 132039482 178966528 40479 4089446400 4194304 9819077 140733956564912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12838/statm: 43693 40479 744 1374 0 42314 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 174772

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

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

Child status: 0
Real time (s): 1800.1
CPU time (s): 1800.14
CPU user time (s): 1712.54
CPU system time (s): 87.5957
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 176308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.54
system time used= 87.5957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16570371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3357

runsolver used 3.15552 second user time and 6.15006 second system time

The end

Launcher Data 

Begin job on node120 at 2010-06-30 16:17:05
IDJOB=2693501
IDBENCH=78949
IDSOLVER=1205
FILE ID=node120/2693501-1277907425
PBS_JOBID= 11197208
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554420--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693501-1277907425/watcher-2693501-1277907425 -o /tmp/evaluation-result-2693501-1277907425/solver-2693501-1277907425 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693501-1277907425.wbo -t 1800 -m 3800

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

MD5SUM BENCH= b79c8ce52bbf55b2415ca4df8d18f0c8
RANDOM SEED=333758229

node120.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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
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.820
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.80
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.820
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.74
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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.68
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.820
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.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30621388 kB
Buffers:        192640 kB
Cached:         938412 kB
SwapCached:          0 kB
Active:        1594936 kB
Inactive:       589156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30621388 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6252 kB
Writeback:           0 kB
AnonPages:     1053448 kB
Mapped:          16300 kB
Slab:            78120 kB
PageTables:       7164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1219048 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= 74200 MiB
End job on node120 at 2010-06-30 16:47:07