Trace number 2705655

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.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.11 1790.06

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
MD5SUMe5d1aa875e736e237b742aec181b44f0
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 benchmark21.8457
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 constraints937
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 46894
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46893
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 667
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705655-1278574745.wbo>
0.00/0.02	c original problem has 2105 variables (1168 bin, 0 int, 937 impl, 0 cont) and 3645 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.03	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, 214 impls, 14 clqs
0.00/0.07	c (round 2) 0 del vars, 113 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs
0.00/0.08	c (round 3) 49 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 214 impls, 14 clqs
0.00/0.09	c (round 4) 98 del vars, 221 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 214 impls, 14 clqs
0.09/0.12	c    (0.1s) probing: 101/1119 (9.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12	c presolving (5 rounds):
0.09/0.12	c  98 deleted vars, 221 deleted constraints, 937 tightened bounds, 0 added holes, 49 changed sides, 0 changed coefficients
0.09/0.12	c  1981 implications, 14 cliques
0.09/0.12	c presolved problem has 2007 variables (1119 bin, 0 int, 888 impl, 0 cont) and 3424 constraints
0.09/0.12	c      62 constraints of type <setppc>
0.09/0.12	c     888 constraints of type <linear>
0.09/0.12	c     888 constraints of type <indicator>
0.09/0.12	c    1586 constraints of type <logicor>
0.09/0.12	c transformed objective value is always integral (scale: 1)
0.09/0.13	c Presolving Time: 0.09
0.09/0.13	c - non default parameters ----------------------------------------------------------------------
0.09/0.13	c # SCIP version 1.2.1.3
0.09/0.13	c 
0.09/0.13	c # frequency for displaying node information lines
0.09/0.13	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13	c display/freq = 10000
0.09/0.13	c 
0.09/0.13	c # maximal time in seconds to run
0.09/0.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13	c limits/time = 1789.98
0.09/0.13	c 
0.09/0.13	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13	c limits/memory = 3420
0.09/0.13	c 
0.09/0.13	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.13	c # [type: int, range: [1,2], default: 1]
0.09/0.13	c timing/clocktype = 2
0.09/0.13	c 
0.09/0.13	c # should presolving try to simplify inequalities
0.09/0.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13	c constraints/linear/simplifyinequalities = TRUE
0.09/0.13	c 
0.09/0.13	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13	c constraints/indicator/addCouplingCons = TRUE
0.09/0.13	c 
0.09/0.13	c # should presolving try to simplify knapsacks
0.09/0.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13	c 
0.09/0.13	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.13	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13	c separating/rapidlearning/freq = 0
0.09/0.13	c 
0.09/0.13	c -----------------------------------------------------------------------------------------------
0.09/0.13	c start solving
0.09/0.13	c 
0.09/0.13	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.13	c   0.1s|     1 |     0 |    25 |     - |9045k|   0 |  23 |2007 |3424 |2007 |1648 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    50 |     - |9125k|   0 |  12 |2007 |3424 |2007 |1666 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    72 |     - |9278k|   0 |  14 |2007 |3424 |2007 |1672 |  24 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.28	c   0.3s|     1 |     0 |    84 |     - |9366k|   0 |  14 |2007 |3424 |2007 |1673 |  25 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.31	c   0.3s|     1 |     0 |   100 |     - |9532k|   0 |   5 |2007 |3424 |2007 |1676 |  28 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   127 |     - |9675k|   0 |  18 |2007 |3424 |2007 |1680 |  32 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   242 |     - |9970k|   0 |  18 |2007 |3424 |2007 |1682 |  34 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.47	c   0.5s|     1 |     0 |   358 |     - |  10M|   0 |  63 |2007 |3424 |2007 |1686 |  38 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.58	c   0.6s|     1 |     0 |   388 |     - |  10M|   0 |  43 |2007 |3424 |2007 |1691 |  43 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.67	c   0.6s|     1 |     0 |   427 |     - |  10M|   0 |  24 |2007 |3424 |2007 |1693 |  45 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.79/1.89	c   1.9s|     1 |     2 |   427 |     - |  10M|   0 |  24 |2007 |3424 |2007 |1693 |  45 |   0 |  16 | 0.000000e+00 |      --      |    Inf 
15.99/16.09	o 44536
15.99/16.09	c y16.1s|    73 |    72 |  8562 | 113.0 |  10M|  31 |   - |2007 |3442 |   0 |   0 |  55 |  18 | 358 | 0.000000e+00 | 4.453600e+04 |    Inf 
16.59/16.60	o 308
16.59/16.60	c *16.6s|   193 |   156 | 12037 |  60.5 |  11M|  43 |   - |2007 |3474 |2007 |1699 | 115 |  50 | 358 | 0.000000e+00 | 3.080000e+02 |    Inf 
16.69/16.79	o 300
16.69/16.79	c *16.8s|   307 |   246 | 12341 |  38.9 |  12M|  43 |   - |2007 |3525 |2007 |1701 | 137 | 101 | 363 | 0.000000e+00 | 3.000000e+02 |    Inf 
16.79/16.82	o 279
16.79/16.82	c *16.8s|   313 |   233 | 12358 |  38.2 |  12M|  43 |   - |2007 |3527 |2007 |1702 | 138 | 103 | 368 | 0.000000e+00 | 2.790000e+02 |    Inf 
16.79/16.82	o 250
16.79/16.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.79/16.82	c *16.8s|   314 |   220 | 12359 |  38.1 |  12M|  43 |   - |2007 |3527 |2007 |1702 | 138 | 103 | 368 | 0.000000e+00 | 2.500000e+02 |    Inf 
17.29/17.31	o 237
17.29/17.31	c *17.3s|   465 |   279 | 14021 |  29.3 |  12M|  43 |   - |2007 |3723 |2007 |1694 | 221 | 299 | 384 | 0.000000e+00 | 2.370000e+02 |    Inf 
17.39/17.45	o 220
17.39/17.45	c *17.4s|   553 |   303 | 14286 |  25.1 |  12M|  43 |   - |2007 |3866 |2007 |1698 | 247 | 444 | 384 | 0.000000e+00 | 2.200000e+02 |    Inf 
17.50/17.55	o 198
17.50/17.55	c *17.5s|   610 |   307 | 14534 |  23.2 |  12M|  43 |   - |2007 |3936 |2007 |1698 | 270 | 515 | 384 | 0.000000e+00 | 1.980000e+02 |    Inf 
17.89/17.92	o 167
17.89/17.92	c *17.9s|   644 |   288 | 15802 |  23.9 |  12M|  43 |   - |2007 |3959 |2007 |1693 | 278 | 541 | 393 | 0.000000e+00 | 1.670000e+02 |    Inf 
17.89/17.92	o 159
17.89/17.92	c *17.9s|   645 |   280 | 15802 |  23.9 |  13M|  43 |   - |2007 |3959 |2007 |1693 | 278 | 541 | 393 | 0.000000e+00 | 1.590000e+02 |    Inf 
17.99/18.03	o 135
17.99/18.03	c *18.0s|   703 |   271 | 16193 |  22.5 |  13M|  43 |   - |2007 |4011 |2007 |1682 | 280 | 601 | 393 | 0.000000e+00 | 1.350000e+02 |    Inf 
18.09/18.15	o 124
18.09/18.15	c *18.1s|   763 |   263 | 16649 |  21.3 |  13M|  43 |   - |2007 |4078 |2007 |1695 | 306 | 676 | 393 | 0.000000e+00 | 1.240000e+02 |    Inf 
18.49/18.58	o 121
18.49/18.58	c *18.6s|   809 |   265 | 18823 |  22.8 |  13M|  43 |   - |2007 |4136 |2007 |1694 | 333 | 737 | 402 | 0.000000e+00 | 1.210000e+02 |    Inf 
18.59/18.65	o 109
18.59/18.65	c *18.6s|   842 |   267 | 19069 |  22.2 |  13M|  43 |   - |2007 |4156 |2007 |1682 | 339 | 757 | 402 | 0.000000e+00 | 1.090000e+02 |    Inf 
18.69/18.70	o 94
18.69/18.70	c *18.7s|   866 |   240 | 19339 |  21.9 |  13M|  43 |   - |2007 |4177 |2007 |1681 | 339 | 780 | 402 | 0.000000e+00 | 9.400000e+01 |    Inf 
18.79/18.87	o 64
18.79/18.87	c *18.9s|   922 |   208 | 19969 |  21.2 |  13M|  43 |   - |2007 |4162 |2007 |1687 | 357 | 850 | 409 | 0.000000e+00 | 6.400000e+01 |    Inf 
18.89/18.90	o 35
18.89/18.90	c *18.9s|   927 |   175 | 20053 |  21.2 |  13M|  43 |   - |2007 |3873 |2007 |1685 | 361 | 853 | 411 | 0.000000e+00 | 3.500000e+01 |    Inf 
18.89/18.98	o 30
18.89/18.98	c *19.0s|   950 |   121 | 20408 |  21.1 |  13M|  43 |   - |2007 |3601 |2007 |1681 | 364 | 874 | 417 | 0.000000e+00 | 3.000000e+01 |    Inf 
23.49/23.50	o 24
23.49/23.50	c *23.5s|  2943 |   210 | 46816 |  15.8 |  14M|  43 |   - |2007 |5327 |2007 |1681 | 803 |3510 | 514 | 0.000000e+00 | 2.400000e+01 |    Inf 
36.90/36.90	o 14
36.90/36.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.90/36.90	c *36.9s|  8415 |   616 |137279 |  16.3 |  17M|  43 |   - |2007 |7000 |2007 |1689 |1849 |  10k| 746 | 0.000000e+00 | 1.400000e+01 |    Inf 
40.99/41.08	c  41.1s| 10000 |   716 |165659 |  16.5 |  17M|  43 |   - |2007 |6548 |   0 |   0 |2202 |  12k| 821 | 0.000000e+00 | 1.400000e+01 |    Inf 
41.39/41.47	o 6
41.39/41.47	c *41.4s| 10145 |   660 |168125 |  16.5 |  16M|  43 |   - |2007 |6704 |2007 |1693 |2241 |  12k| 839 | 0.000000e+00 | 6.000000e+00 |    Inf 
62.39/62.43	c  62.4s| 20000 |   864 |312425 |  15.6 |  19M|  44 |   - |2007 |9974 |2007 |1690 |4576 |  25k|1123 | 0.000000e+00 | 6.000000e+00 |    Inf 
83.09/83.11	c  83.1s| 30000 |  1030 |451507 |  15.0 |  20M|  50 |   9 |2007 |9434 |2007 |1690 |6609 |  38k|1276 | 0.000000e+00 | 6.000000e+00 |    Inf 
106.10/106.12	c   106s| 40000 |  1187 |615971 |  15.4 |  22M|  54 |   - |2007 |  10k|   0 |   0 |8437 |  50k|1349 | 0.000000e+00 | 6.000000e+00 |    Inf 
128.19/128.20	c   128s| 50000 |  1149 |767688 |  15.3 |  23M|  54 |   - |2007 |  11k|2007 |1681 |9883 |  64k|1582 | 0.000000e+00 | 6.000000e+00 |    Inf 
151.29/151.37	c   151s| 60000 |  1437 |925422 |  15.4 |  26M|  54 |  24 |2007 |  14k|2007 |1681 |  11k|  77k|1899 | 0.000000e+00 | 6.000000e+00 |    Inf 
173.49/173.57	c   174s| 70000 |  1446 |  1072k|  15.3 |  27M|  54 |   7 |2007 |  15k|2007 |1681 |  12k|  91k|2134 | 0.000000e+00 | 6.000000e+00 |    Inf 
196.29/196.34	c   196s| 80000 |  1541 |  1224k|  15.3 |  27M|  57 |  14 |2007 |  15k|2007 |1681 |  13k| 105k|2358 | 0.000000e+00 | 6.000000e+00 |    Inf 
219.29/219.38	c   219s| 90000 |  1761 |  1379k|  15.3 |  30M|  63 |  17 |2007 |  18k|2007 |1681 |  15k| 119k|2560 | 0.000000e+00 | 6.000000e+00 |    Inf 
242.00/242.09	c   242s|100000 |  1830 |  1528k|  15.3 |  31M|  64 |  16 |2007 |  18k|2007 |1681 |  16k| 133k|2742 | 0.000000e+00 | 6.000000e+00 |    Inf 
264.90/264.97	c   265s|110000 |  1856 |  1672k|  15.2 |  31M|  64 |  34 |2007 |  15k|2007 |1689 |  18k| 146k|2979 | 0.000000e+00 | 6.000000e+00 |    Inf 
287.70/287.75	c   288s|120000 |  1816 |  1818k|  15.2 |  31M|  64 |   - |2007 |  16k|2007 |1681 |  20k| 160k|3154 | 0.000000e+00 | 6.000000e+00 |    Inf 
311.50/311.56	c   312s|130000 |  1784 |  1974k|  15.2 |  30M|  64 |   - |2007 |  14k|   0 |   0 |  22k| 174k|3325 | 0.000000e+00 | 6.000000e+00 |    Inf 
334.10/334.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
334.10/334.16	c   334s|140000 |  1694 |  2119k|  15.1 |  30M|  64 |   - |2007 |  15k|2007 |1692 |  23k| 188k|3535 | 0.000000e+00 | 6.000000e+00 |    Inf 
357.10/357.19	c   357s|150000 |  1911 |  2267k|  15.1 |  31M|  64 |   1 |2007 |  14k|2007 |1685 |  24k| 201k|3709 | 0.000000e+00 | 6.000000e+00 |    Inf 
378.50/378.57	c   379s|160000 |  1875 |  2403k|  15.0 |  31M|  64 |  20 |2007 |  12k|2007 |1688 |  26k| 215k|3832 | 0.000000e+00 | 6.000000e+00 |    Inf 
400.51/400.56	c   401s|170000 |  1887 |  2547k|  15.0 |  32M|  64 |  15 |2007 |  13k|2007 |1681 |  28k| 229k|4023 | 0.000000e+00 | 6.000000e+00 |    Inf 
423.00/423.08	c   423s|180000 |  1849 |  2693k|  15.0 |  32M|  66 |   1 |2007 |  13k|2007 |1690 |  29k| 243k|4202 | 0.000000e+00 | 6.000000e+00 |    Inf 
444.60/444.67	c   445s|190000 |  1832 |  2834k|  14.9 |  33M|  66 |   - |2007 |  16k|2007 |1687 |  31k| 257k|4312 | 0.000000e+00 | 6.000000e+00 |    Inf 
466.41/466.48	c   466s|200000 |  1793 |  2969k|  14.8 |  33M|  66 |  17 |2007 |  16k|2007 |1687 |  33k| 270k|4427 | 0.000000e+00 | 6.000000e+00 |    Inf 
488.31/488.36	c   488s|210000 |  1784 |  3103k|  14.8 |  33M|  66 |  13 |2007 |  17k|2007 |1690 |  35k| 284k|4669 | 0.000000e+00 | 6.000000e+00 |    Inf 
510.00/510.07	c   510s|220000 |  1897 |  3233k|  14.7 |  36M|  66 |  36 |2007 |  22k|2007 |1681 |  37k| 297k|4749 | 0.000000e+00 | 6.000000e+00 |    Inf 
531.71/531.72	c   532s|230000 |  1893 |  3359k|  14.6 |  36M|  66 |  29 |2007 |  20k|2007 |1681 |  39k| 310k|4837 | 0.000000e+00 | 6.000000e+00 |    Inf 
554.21/554.28	c   554s|240000 |  1922 |  3494k|  14.6 |  37M|  66 |  21 |2007 |  21k|2007 |1681 |  41k| 325k|4953 | 0.000000e+00 | 6.000000e+00 |    Inf 
578.00/578.07	c   578s|250000 |  2013 |  3634k|  14.5 |  38M|  66 |   - |2007 |  23k|2007 |1691 |  43k| 339k|5105 | 0.000000e+00 | 6.000000e+00 |    Inf 
601.11/601.18	c   601s|260000 |  1955 |  3768k|  14.5 |  37M|  67 |  19 |2007 |  21k|2007 |1681 |  45k| 353k|5243 | 0.000000e+00 | 6.000000e+00 |    Inf 
622.41/622.48	c   622s|270000 |  1881 |  3887k|  14.4 |  37M|  67 |  20 |2007 |  20k|2007 |1681 |  46k| 366k|5356 | 0.000000e+00 | 6.000000e+00 |    Inf 
645.41/645.47	c   645s|280000 |  1925 |  4030k|  14.4 |  36M|  67 |   - |2007 |  18k|   0 |   0 |  49k| 380k|5475 | 0.000000e+00 | 6.000000e+00 |    Inf 
666.91/666.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
666.91/666.97	c   667s|290000 |  1820 |  4160k|  14.3 |  35M|  67 |   - |2007 |  16k|   0 |   0 |  51k| 393k|5583 | 0.000000e+00 | 6.000000e+00 |    Inf 
689.01/689.04	c   689s|300000 |  1842 |  4298k|  14.3 |  35M|  67 |   - |2007 |  14k|   0 |   0 |  53k| 406k|5706 | 0.000000e+00 | 6.000000e+00 |    Inf 
711.81/711.86	c   712s|310000 |  1877 |  4442k|  14.3 |  36M|  67 |  37 |2007 |  16k|2007 |1689 |  55k| 420k|5816 | 0.000000e+00 | 6.000000e+00 |    Inf 
733.42/733.43	c   733s|320000 |  1909 |  4578k|  14.3 |  37M|  67 |   - |2007 |  16k|2007 |1681 |  56k| 433k|5911 | 0.000000e+00 | 6.000000e+00 |    Inf 
755.01/755.05	c   755s|330000 |  1851 |  4709k|  14.3 |  36M|  67 |   - |2007 |  17k|2007 |1689 |  58k| 447k|6015 | 0.000000e+00 | 6.000000e+00 |    Inf 
777.02/777.02	c   777s|340000 |  1862 |  4841k|  14.2 |  38M|  67 |  12 |2007 |  20k|2007 |1685 |  60k| 460k|6115 | 0.000000e+00 | 6.000000e+00 |    Inf 
799.42/799.41	c   799s|350000 |  1858 |  4970k|  14.2 |  37M|  67 |   - |2007 |  17k|   0 |   0 |  61k| 473k|6197 | 0.000000e+00 | 6.000000e+00 |    Inf 
820.12/820.11	c   820s|360000 |  1766 |  5086k|  14.1 |  36M|  67 |   - |2007 |  16k|   0 |   0 |  63k| 487k|6286 | 0.000000e+00 | 6.000000e+00 |    Inf 
843.62/843.68	c   844s|370000 |  1758 |  5237k|  14.2 |  37M|  67 |  21 |2007 |  17k|2007 |1681 |  65k| 500k|6392 | 0.000000e+00 | 6.000000e+00 |    Inf 
866.41/866.47	c   866s|380000 |  1718 |  5377k|  14.1 |  35M|  67 |  21 |2007 |  14k|2007 |1688 |  67k| 513k|6489 | 0.000000e+00 | 6.000000e+00 |    Inf 
888.61/888.63	c   889s|390000 |  1832 |  5519k|  14.2 |  38M|  67 |  15 |2007 |  18k|2007 |1681 |  69k| 526k|6568 | 0.000000e+00 | 6.000000e+00 |    Inf 
911.92/911.92	c   912s|400000 |  1827 |  5666k|  14.2 |  37M|  67 |   - |2007 |  16k|2007 |1687 |  71k| 540k|6668 | 0.000000e+00 | 6.000000e+00 |    Inf 
934.72/934.72	c   935s|410000 |  1882 |  5809k|  14.2 |  38M|  67 |   - |2007 |  16k|2007 |1681 |  72k| 554k|6760 | 0.000000e+00 | 6.000000e+00 |    Inf 
955.52/955.52	c   956s|420000 |  1839 |  5934k|  14.1 |  38M|  67 |   - |2007 |  16k|   0 |   0 |  74k| 567k|6846 | 0.000000e+00 | 6.000000e+00 |    Inf 
977.22/977.29	c   977s|430000 |  1913 |  6071k|  14.1 |  39M|  67 |   2 |2007 |  18k|2007 |1688 |  76k| 581k|6938 | 0.000000e+00 | 6.000000e+00 |    Inf 
994.22/994.24	o 3
994.22/994.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
994.22/994.24	c * 994s|437067 |   905 |  6178k|  14.1 |  30M|  67 |   - |2007 |  19k|2007 |1683 |  77k| 591k|6967 | 0.000000e+00 | 3.000000e+00 |    Inf 
1000.52/1000.51	c  1000s|440000 |   890 |  6216k|  14.1 |  30M|  67 |   - |2007 |  18k|2007 |1681 |  78k| 595k|7031 | 0.000000e+00 | 3.000000e+00 |    Inf 
1020.62/1020.61	c  1021s|450000 |   983 |  6337k|  14.1 |  30M|  67 |   1 |2007 |  18k|2007 |1681 |  79k| 609k|7077 | 0.000000e+00 | 3.000000e+00 |    Inf 
1041.12/1041.20	c  1041s|460000 |  1001 |  6458k|  14.0 |  31M|  67 |  19 |2007 |  17k|2007 |1681 |  81k| 623k|7132 | 0.000000e+00 | 3.000000e+00 |    Inf 
1062.13/1062.18	c  1062s|470000 |  1052 |  6582k|  14.0 |  31M|  67 |  16 |2007 |  19k|2007 |1681 |  82k| 637k|7202 | 0.000000e+00 | 3.000000e+00 |    Inf 
1082.62/1082.64	c  1083s|480000 |  1043 |  6698k|  14.0 |  32M|  67 |  15 |2007 |  19k|2007 |1681 |  84k| 651k|7287 | 0.000000e+00 | 3.000000e+00 |    Inf 
1103.33/1103.37	c  1103s|490000 |  1029 |  6820k|  13.9 |  32M|  67 |   - |2007 |  19k|   0 |   0 |  86k| 664k|7369 | 0.000000e+00 | 3.000000e+00 |    Inf 
1124.42/1124.44	c  1124s|500000 |  1032 |  6942k|  13.9 |  33M|  67 |   1 |2007 |  22k|2007 |1681 |  88k| 678k|7434 | 0.000000e+00 | 3.000000e+00 |    Inf 
1146.03/1146.03	c  1146s|510000 |  1102 |  7067k|  13.9 |  34M|  67 |   6 |2007 |  22k|2007 |1681 |  89k| 693k|7505 | 0.000000e+00 | 3.000000e+00 |    Inf 
1168.62/1168.65	c  1169s|520000 |  1167 |  7202k|  13.9 |  34M|  67 |   - |2007 |  23k|2007 |1681 |  91k| 707k|7552 | 0.000000e+00 | 3.000000e+00 |    Inf 
1192.43/1192.45	c  1192s|530000 |  1161 |  7347k|  13.9 |  35M|  67 |   - |2007 |  23k|   0 |   0 |  93k| 721k|7618 | 0.000000e+00 | 3.000000e+00 |    Inf 
1215.53/1215.53	c  1216s|540000 |  1110 |  7488k|  13.9 |  34M|  67 |  27 |2007 |  22k|2007 |1681 |  94k| 735k|7686 | 0.000000e+00 | 3.000000e+00 |    Inf 
1237.53/1237.53	c  1238s|550000 |  1016 |  7617k|  13.8 |  32M|  67 |  23 |2007 |  20k|2007 |1681 |  96k| 750k|7771 | 0.000000e+00 | 3.000000e+00 |    Inf 
1258.62/1258.65	c  1259s|560000 |   949 |  7739k|  13.8 |  32M|  67 |   - |2007 |  19k|2007 |1681 |  97k| 764k|7851 | 0.000000e+00 | 3.000000e+00 |    Inf 
1279.83/1279.84	c  1280s|570000 |   730 |  7864k|  13.8 |  27M|  67 |   - |2007 |  11k|   0 |   0 |  99k| 778k|7957 | 0.000000e+00 | 3.000000e+00 |    Inf 
1300.83/1300.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1300.83/1300.81	c  1301s|580000 |   733 |  8000k|  13.8 |  28M|  67 |  25 |2007 |  16k|2007 |1681 | 101k| 792k|8007 | 0.000000e+00 | 3.000000e+00 |    Inf 
1322.93/1322.96	c  1323s|590000 |   681 |  8141k|  13.8 |  28M|  67 |   - |2007 |  17k|   0 |   0 | 103k| 805k|8068 | 0.000000e+00 | 3.000000e+00 |    Inf 
1346.23/1346.29	c  1346s|600000 |   570 |  8283k|  13.8 |  26M|  67 |   - |2007 |  13k|   0 |   0 | 106k| 818k|8159 | 0.000000e+00 | 3.000000e+00 |    Inf 
1366.14/1366.11	c  1366s|610000 |   377 |  8406k|  13.8 |  23M|  67 |   - |2007 |  10k|   0 |   0 | 107k| 832k|8267 | 0.000000e+00 | 3.000000e+00 |    Inf 
1386.13/1386.17	c  1386s|620000 |   488 |  8534k|  13.8 |  26M|  67 |   - |2007 |  15k|   0 |   0 | 109k| 845k|8333 | 0.000000e+00 | 3.000000e+00 |    Inf 
1406.63/1406.67	c  1407s|630000 |   269 |  8661k|  13.7 |  24M|  67 |  11 |2007 |  13k|2007 |1681 | 111k| 859k|8366 | 0.000000e+00 | 3.000000e+00 |    Inf 
1429.74/1429.77	c  1430s|640000 |   352 |  8810k|  13.8 |  26M|  67 |  20 |2007 |  18k|2007 |1681 | 113k| 872k|8439 | 0.000000e+00 | 3.000000e+00 |    Inf 
1453.03/1453.06	c  1453s|650000 |   294 |  8950k|  13.8 |  27M|  67 |   - |2007 |  20k|   0 |   0 | 114k| 887k|8517 | 0.000000e+00 | 3.000000e+00 |    Inf 
1456.94/1456.92	o 1
1456.94/1456.92	c *1457s|651676 |   272 |  8973k|  13.8 |  26M|  67 |   - |2007 |  19k|2007 |1681 | 114k| 890k|8518 | 0.000000e+00 | 1.000000e+00 |    Inf 
1475.93/1475.94	c  1476s|660000 |   251 |  9090k|  13.8 |  24M|  67 |   - |2007 |  16k|   0 |   0 | 116k| 901k|8624 | 0.000000e+00 | 1.000000e+00 |    Inf 
1498.74/1498.70	c  1499s|670000 |   195 |  9230k|  13.8 |  24M|  67 |   - |2007 |  14k|2007 |1681 | 118k| 914k|8686 | 0.000000e+00 | 1.000000e+00 |    Inf 
1521.34/1521.36	c  1521s|680000 |   224 |  9365k|  13.8 |  26M|  67 |  19 |2007 |  20k|2007 |1687 | 120k| 928k|8728 | 0.000000e+00 | 1.000000e+00 |    Inf 
1544.23/1544.27	c  1544s|690000 |   149 |  9495k|  13.8 |  24M|  67 |   - |2007 |  16k|2007 |1681 | 122k| 941k|8805 | 0.000000e+00 | 1.000000e+00 |    Inf 
1566.34/1566.34	c  1566s|700000 |   336 |  9625k|  13.7 |  26M|  67 |   - |2007 |  20k|2007 |1691 | 124k| 954k|8864 | 0.000000e+00 | 1.000000e+00 |    Inf 
1589.55/1589.59	c  1590s|710000 |   143 |  9755k|  13.7 |  25M|  67 |  25 |2007 |  19k|2007 |1681 | 126k| 967k|8950 | 0.000000e+00 | 1.000000e+00 |    Inf 
1612.24/1612.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1612.24/1612.22	c  1612s|720000 |   173 |  9892k|  13.7 |  26M|  67 |  26 |2007 |  22k|2007 |1681 | 127k| 980k|8993 | 0.000000e+00 | 1.000000e+00 |    Inf 
1636.54/1636.57	c  1637s|730000 |   140 | 10037k|  13.7 |  25M|  67 |  24 |2007 |  19k|2007 |1681 | 129k| 994k|9079 | 0.000000e+00 | 1.000000e+00 |    Inf 
1660.44/1660.41	c  1660s|740000 |   242 | 10182k|  13.8 |  28M|  67 |  12 |2007 |  26k|2007 |1685 | 131k|1009k|9143 | 0.000000e+00 | 1.000000e+00 |    Inf 
1684.34/1684.32	c  1684s|750000 |   109 | 10314k|  13.8 |  26M|  67 |   - |2007 |  22k|2007 |1692 | 132k|1023k|9218 | 0.000000e+00 | 1.000000e+00 |    Inf 
1708.54/1708.50	c  1708s|760000 |    71 | 10463k|  13.8 |  25M|  67 |  21 |2007 |  20k|2007 |1681 | 134k|1036k|9263 | 0.000000e+00 | 1.000000e+00 |    Inf 
1734.04/1734.03	c  1734s|770000 |   160 | 10634k|  13.8 |  25M|  67 |   - |2007 |  21k|   0 |   0 | 136k|1049k|9322 | 0.000000e+00 | 1.000000e+00 |    Inf 
1760.65/1760.69	c  1761s|780000 |   214 | 10813k|  13.9 |  27M|  67 |  28 |2007 |  23k|2007 |1681 | 137k|1062k|9381 | 0.000000e+00 | 1.000000e+00 |    Inf 
1788.65/1788.62	c  1789s|790000 |   157 | 11009k|  13.9 |  26M|  67 |  22 |2007 |  22k|2007 |1681 | 138k|1076k|9467 | 0.000000e+00 | 1.000000e+00 |    Inf 
1790.05/1790.00	c 
1790.05/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.00	c Solving Time (sec) : 1789.98
1790.05/1790.00	c Solving Nodes      : 790485
1790.05/1790.00	c Primal Bound       : +1.00000000000000e+00 (50 solutions)
1790.05/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.05/1790.00	c Gap                : infinite
1790.05/1790.01	s SATISFIABLE
1790.05/1790.01	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 
1790.05/1790.01	v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 
1790.05/1790.01	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 
1790.05/1790.01	v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 
1790.05/1790.01	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 
1790.05/1790.01	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
1790.05/1790.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 
1790.05/1790.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 
1790.05/1790.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 
1790.05/1790.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 
1790.05/1790.01	v -x1 
1790.05/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.01	c Solving Time       :    1789.98
1790.05/1790.01	c Original Problem   :
1790.05/1790.01	c   Problem name     : HOME/instance-2705655-1278574745.wbo
1790.05/1790.01	c   Variables        : 2105 (1168 binary, 0 integer, 937 implicit integer, 0 continuous)
1790.05/1790.01	c   Constraints      : 3645 initial, 3645 maximal
1790.05/1790.01	c Presolved Problem  :
1790.05/1790.01	c   Problem name     : t_HOME/instance-2705655-1278574745.wbo
1790.05/1790.01	c   Variables        : 2007 (1119 binary, 0 integer, 888 implicit integer, 0 continuous)
1790.05/1790.01	c   Constraints      : 3424 initial, 27250 maximal
1790.05/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.05/1790.01	c   trivial          :       0.00         49          0          0          0          0          0          0          0
1790.05/1790.01	c   dualfix          :       0.00         49          0          0          0          0          0          0          0
1790.05/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1790.05/1790.01	c   setppc           :       0.00          0          0          0          0          0         59          0          0
1790.05/1790.01	c   linear           :       0.05          0          0          0        937          0        113         49          0
1790.05/1790.01	c   indicator        :       0.00          0          0          0          0          0         49          0          0
1790.05/1790.01	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.05/1790.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.05/1790.01	c   root node        :          -       1776          -          -       1776          -          -          -          -
1790.05/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.05/1790.01	c   integral         :          0          0          0     449428          0        234       2446          0          0     842348
1790.05/1790.01	c   setppc           :         62          9    3430114      26072          1      54382    2634116          0          0          0
1790.05/1790.01	c   linear           :        888          9    3376631      26192          1     109530   11640997     138345          0          0
1790.05/1790.01	c   indicator        :        888          0    2667273      21493          0         27     202273          0          0          0
1790.05/1790.01	c   logicor          :       1586+         9    1717531        337          1     117500    6310308          0          0          0
1790.05/1790.01	c   bounddisjunction :          0+         0     323010          0          0         31        372          0          0          0
1790.05/1790.01	c   countsols        :          0          0          0        337          1          0          0          0          0          0
1790.05/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.05/1790.01	c   integral         :      47.40       0.00       0.00      47.40       0.00
1790.05/1790.01	c   setppc           :      14.72       0.00      14.70       0.02       0.00
1790.05/1790.01	c   linear           :      61.56       0.00      60.86       0.70       0.00
1790.05/1790.01	c   indicator        :       3.98       0.01       3.82       0.15       0.00
1790.05/1790.01	c   logicor          :     167.35       0.00     167.35       0.00       0.00
1790.05/1790.01	c   bounddisjunction :       0.66       0.00       0.66       0.00       0.00
1790.05/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.05/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.05/1790.01	c   vbounds          :       0.54       2194          0         31
1790.05/1790.01	c   rootredcost      :       0.52         23          0        888
1790.05/1790.01	c   pseudoobj        :      44.16    3431156        280     201029
1790.05/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.05/1790.01	c   propagation      :      11.58     281723     281058    1736754       27.2       7428       24.6          -
1790.05/1790.01	c   infeasible LP    :      23.12     137094     137094    1062496       45.1        995       16.8          0
1790.05/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.05/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.05/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.05/1790.01	c   applied globally :          -          -          -    1077378       28.8          -          -          -
1790.05/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.05/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.05/1790.01	c   cut pool         :       0.00          8          -          -        185          -    (maximal pool size: 562)
1790.05/1790.01	c   redcost          :      15.13     449852          0       6766          0          0
1790.05/1790.01	c   impliedbounds    :       0.00          9          0          0          0          0
1790.05/1790.01	c   intobj           :       0.00          0          0          0          0          0
1790.05/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1790.05/1790.01	c   gomory           :       0.17          9          0          0       1706          0
1790.05/1790.01	c   strongcg         :       0.15          9          0          0       1938          0
1790.05/1790.01	c   cmir             :       0.03          9          0          0          6          0
1790.05/1790.01	c   flowcover        :       0.07          9          0          0          9          0
1790.05/1790.01	c   clique           :       0.00          9          0          0          0          0
1790.05/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1790.05/1790.01	c   mcf              :       0.00          1          0          0          0          0
1790.05/1790.01	c   rapidlearning    :       0.05          1          0          0          0          0
1790.05/1790.01	c Pricers            :       Time      Calls       Vars
1790.05/1790.01	c   problem variables:       0.00          0          0
1790.05/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.05/1790.01	c   relpscost        :      47.11     423227        234       2446          0          0     842348
1790.05/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1790.05/1790.01	c   inference        :       0.04        316          0          0          0          0        663
1790.05/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1790.05/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1790.05/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.05/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.05/1790.01	c   random           :       0.00          0          0          0          0          0          0
1790.05/1790.01	c Primal Heuristics  :       Time      Calls      Found
1790.05/1790.01	c   LP solutions     :       0.01          -         22
1790.05/1790.01	c   pseudo solutions :       0.00          -          0
1790.05/1790.01	c   feaspump         :       0.03          1          0
1790.05/1790.01	c   oneopt           :       0.31         21          0
1790.05/1790.01	c   crossover        :       0.54         16          0
1790.05/1790.01	c   pscostdiving     :       0.24         62          0
1790.05/1790.01	c   fracdiving       :       0.29         62          0
1790.05/1790.01	c   veclendiving     :       0.24         62          0
1790.05/1790.01	c   linesearchdiving :       0.18         62          0
1790.05/1790.01	c   guideddiving     :       0.24         63          0
1790.05/1790.01	c   coefdiving       :       0.30         63          0
1790.05/1790.01	c   objpscostdiving  :       0.24         32          0
1790.05/1790.01	c   rootsoldiving    :       0.35         32          0
1790.05/1790.01	c   trivial          :       0.00          2          0
1790.05/1790.01	c   simplerounding   :       0.53     423203          0
1790.05/1790.01	c   zirounding       :       0.23       1000          0
1790.05/1790.01	c   rounding         :       0.84       9187          0
1790.05/1790.01	c   shifting         :       0.78       2787          0
1790.05/1790.01	c   intshifting      :       0.01          0          0
1790.05/1790.01	c   twoopt           :       0.00          0          0
1790.05/1790.01	c   fixandinfer      :       0.00          0          0
1790.05/1790.01	c   intdiving        :       0.00          0          0
1790.05/1790.01	c   actconsdiving    :       0.00          0          0
1790.05/1790.01	c   octane           :       0.00          0          0
1790.05/1790.01	c   rens             :       0.02          1          0
1790.05/1790.01	c   rins             :       0.00          0          0
1790.05/1790.01	c   localbranching   :       0.00          0          0
1790.05/1790.01	c   mutation         :       0.00          0          0
1790.05/1790.01	c   dins             :       0.00          0          0
1790.05/1790.01	c   undercover       :       0.00          0          0
1790.05/1790.01	c   nlp              :       0.11          0          0
1790.05/1790.01	c   trysol           :       0.19         69         28
1790.05/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.05/1790.01	c   primal LP        :       0.00          0          0       0.00          -
1790.05/1790.01	c   dual LP          :    1099.74     583947   11007411      18.85   10009.14
1790.05/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1790.05/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1790.05/1790.01	c   diving/probing LP:       1.51        990      10134      10.24    6707.34
1790.05/1790.01	c   strong branching :      43.04       9479     410059      43.26    9526.86
1790.05/1790.01	c     (at root node) :          -         16       8265     516.56          -
1790.05/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1790.05/1790.01	c B&B Tree           :
1790.05/1790.01	c   number of runs   :          1
1790.05/1790.01	c   nodes            :     790485
1790.05/1790.01	c   nodes (total)    :     790485
1790.05/1790.01	c   nodes left       :        141
1790.05/1790.01	c   max depth        :         67
1790.05/1790.01	c   max depth (total):         67
1790.05/1790.01	c   backtracks       :     115053 (14.6%)
1790.05/1790.01	c   delayed cutoffs  :      50834
1790.05/1790.01	c   repropagations   :    1277980 (3931570 domain reductions, 49348 cutoffs)
1790.05/1790.01	c   avg switch length:       4.86
1790.05/1790.01	c   switching time   :     160.33
1790.05/1790.01	c Solution           :
1790.05/1790.01	c   Solutions found  :         50 (23 improvements)
1790.05/1790.01	c   First Solution   : +4.45360000000000e+04   (in run 1, after 72 nodes, 16.06 seconds, depth 32, found by <trysol>)
1790.05/1790.01	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 651676 nodes, 1456.90 seconds, depth 43, found by <relaxation>)
1790.05/1790.01	c   Dual Bound       : +0.00000000000000e+00
1790.05/1790.01	c   Gap              :   infinite
1790.05/1790.01	c   Root Dual Bound  : +0.00000000000000e+00
1790.05/1790.01	c   Root Iterations  :        427
1790.05/1790.05	c Time complete: 1790.1.

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-2705655-1278574745/watcher-2705655-1278574745 -o /tmp/evaluation-result-2705655-1278574745/solver-2705655-1278574745 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705655-1278574745.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.97 1.67 2/173 22373
/proc/meminfo: memFree=30140696/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=12336 CPUtime=0
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 1926 0 0 0 0 0 0 0 25 0 1 0 25689442 12632064 1844 4089446400 4194304 10345943 140733445681760 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22373/statm: 3084 1844 429 1502 0 1577 0

[startup+0.00653694 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 22373
/proc/meminfo: memFree=30140696/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=12544 CPUtime=0
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 1982 0 0 0 0 0 0 0 25 0 1 0 25689442 12845056 1900 4089446400 4194304 10345943 140733445681760 18446744073709551615 5758034 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22373/statm: 3136 1901 429 1502 0 1629 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12544

[startup+0.100579 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 22373
/proc/meminfo: memFree=30140696/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=27488 CPUtime=0.09
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 5951 0 0 0 9 0 0 0 25 0 1 0 25689442 28147712 5515 4089446400 4194304 10345943 140733445681760 18446744073709551615 5608258 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 6872 5515 562 1502 0 5365 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27488

[startup+0.300542 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 22373
/proc/meminfo: memFree=30140696/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=36480 CPUtime=0.29
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 11951 0 0 0 27 2 0 0 25 0 1 0 25689442 37355520 7683 4089446400 4194304 10345943 140733445681760 18446744073709551615 8930776 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 9120 7683 749 1502 0 7613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36480

[startup+0.700488 s]
/proc/loadavg: 1.92 1.97 1.67 2/173 22373
/proc/meminfo: memFree=30140696/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=56888 CPUtime=0.69
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 16621 0 0 0 67 2 0 0 25 0 1 0 25689442 58253312 11890 4089446400 4194304 10345943 140733445681760 18446744073709551615 9366586 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 14222 11533 769 1502 0 12715 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56888

[startup+1.5003 s]
/proc/loadavg: 1.92 1.97 1.67 2/174 22374
/proc/meminfo: memFree=30105720/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=44528 CPUtime=1.49
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 17177 0 0 0 146 3 0 0 25 0 1 0 25689442 45596672 9359 4089446400 4194304 10345943 140733445681760 18446744073709551615 7569578 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 11132 9359 776 1502 0 9625 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44528

[startup+3.10103 s]
/proc/loadavg: 1.92 1.97 1.67 2/174 22374
/proc/meminfo: memFree=30106296/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=44944 CPUtime=3.09
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 18577 0 0 0 306 3 0 0 25 0 1 0 25689442 46022656 9321 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 11236 9321 777 1502 0 9729 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44944

[startup+6.30046 s]
/proc/loadavg: 1.85 1.95 1.67 3/179 22384
/proc/meminfo: memFree=30066576/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=45156 CPUtime=6.29
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 21305 0 0 0 624 5 0 0 25 0 1 0 25689442 46239744 9327 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 11289 9327 778 1502 0 9782 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45156

[startup+12.7003 s]
/proc/loadavg: 1.86 1.95 1.67 3/179 22384
/proc/meminfo: memFree=30049988/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=44552 CPUtime=12.69
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 28663 0 0 0 1258 11 0 0 25 0 1 0 25689442 45621248 9280 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 11138 9280 778 1502 0 9631 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44552

[startup+25.501 s]
/proc/loadavg: 1.89 1.96 1.68 3/179 22385
/proc/meminfo: memFree=30021396/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=62796 CPUtime=25.49
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 51696 0 0 0 2526 23 0 0 25 0 1 0 25689442 64303104 14107 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 15699 14107 799 1502 0 14192 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62796

[startup+51.1003 s]
/proc/loadavg: 1.93 1.96 1.68 3/179 22385
/proc/meminfo: memFree=30013028/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=61764 CPUtime=51.09
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 56958 0 0 0 5069 40 0 0 25 0 1 0 25689442 63246336 14232 4089446400 4194304 10345943 140733445681760 18446744073709551615 7508077 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 15441 14232 802 1502 0 13934 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 61764

[startup+102.306 s]
/proc/loadavg: 1.97 1.96 1.70 3/179 22387
/proc/meminfo: memFree=30004676/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=64736 CPUtime=102.3
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 61548 0 0 0 10155 75 0 0 25 0 1 0 25689442 66289664 14862 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 16184 14862 802 1502 0 14677 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 64736

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.71 3/179 22388
/proc/meminfo: memFree=29992100/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=69800 CPUtime=162.3
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 84369 0 0 0 16113 117 0 0 25 0 1 0 25689442 71475200 15931 4089446400 4194304 10345943 140733445681760 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 17450 15931 802 1502 0 15943 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 69800

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.73 3/179 22390
/proc/meminfo: memFree=29981512/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=73144 CPUtime=222.3
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 99464 0 0 0 22074 156 0 0 25 0 1 0 25689442 74899456 16743 4089446400 4194304 10345943 140733445681760 18446744073709551615 7520994 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 18286 16743 802 1502 0 16779 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 73144

[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.74 3/179 22392
/proc/meminfo: memFree=29975240/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=74712 CPUtime=282.3
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 118888 0 0 0 28032 198 0 0 25 0 1 0 25689442 76505088 17235 4089446400 4194304 10345943 140733445681760 18446744073709551615 18446744073699065997 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 18678 17235 802 1502 0 17171 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 74712

[startup+342.301 s]
/proc/loadavg: 2.04 1.99 1.76 3/179 22393
/proc/meminfo: memFree=29965272/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=76480 CPUtime=342.3
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 124547 0 0 0 33996 234 0 0 25 0 1 0 25689442 78315520 17673 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 19120 17673 802 1502 0 17613 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 76480

[startup+402.301 s]
/proc/loadavg: 2.01 1.99 1.77 3/179 22395
/proc/meminfo: memFree=29958664/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=77764 CPUtime=402.3
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 130480 0 0 0 39960 270 0 0 25 0 1 0 25689442 79630336 18099 4089446400 4194304 10345943 140733445681760 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 19441 18099 802 1502 0 17934 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 77764

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.78 3/179 22396
/proc/meminfo: memFree=29950300/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=79952 CPUtime=462.3
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 138888 0 0 0 45926 304 0 0 25 0 1 0 25689442 81870848 18572 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 19988 18572 802 1502 0 18481 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 79952

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.79 3/179 22398
/proc/meminfo: memFree=29942440/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=83228 CPUtime=522.31
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 148530 0 0 0 51893 338 0 0 25 0 1 0 25689442 85225472 19272 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 20807 19272 802 1502 0 19300 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 83228

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.81 3/179 22400
/proc/meminfo: memFree=29934576/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=88056 CPUtime=582.31
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 159216 0 0 0 57860 371 0 0 25 0 1 0 25689442 90169344 20178 4089446400 4194304 10345943 140733445681760 18446744073709551615 6358292 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 22014 20178 802 1502 0 20507 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 88056

[startup+642.301 s]
/proc/loadavg: 2.00 1.99 1.82 3/179 22401
/proc/meminfo: memFree=29923976/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=87708 CPUtime=642.32
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 162753 0 0 0 63831 401 0 0 25 0 1 0 25689442 89812992 20404 4089446400 4194304 10345943 140733445681760 18446744073709551615 9107408 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 21927 20404 802 1502 0 20420 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 87708

[startup+702.3 s]

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

/proc/meminfo: memFree=29866860/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=92992 CPUtime=1062.33
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 219761 0 0 0 105599 634 0 0 25 0 1 0 25689442 95223808 21428 4089446400 4194304 10345943 140733445681760 18446744073709551615 9104360 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23248 21428 802 1502 0 21741 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 92992

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 22414
/proc/meminfo: memFree=29861980/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=91440 CPUtime=1122.33
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 225292 0 0 0 111567 666 0 0 25 0 1 0 25689442 93634560 21384 4089446400 4194304 10345943 140733445681760 18446744073709551615 6520285 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 22860 21384 802 1502 0 21353 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 91440

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 22415
/proc/meminfo: memFree=29854496/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=91744 CPUtime=1182.33
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 229172 0 0 0 117537 696 0 0 25 0 1 0 25689442 93945856 21451 4089446400 4194304 10345943 140733445681760 18446744073709551615 4469808 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 22936 21451 802 1502 0 21429 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 91744

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 22417
/proc/meminfo: memFree=29847756/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=91980 CPUtime=1242.33
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 234620 0 0 0 123505 728 0 0 25 0 1 0 25689442 94187520 21468 4089446400 4194304 10345943 140733445681760 18446744073709551615 6017657 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 22995 21468 802 1502 0 21488 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 91980

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/179 22419
/proc/meminfo: memFree=29842640/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=92592 CPUtime=1302.33
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 241614 0 0 0 129472 761 0 0 25 0 1 0 25689442 94814208 21522 4089446400 4194304 10345943 140733445681760 18446744073709551615 7509848 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23148 21522 802 1502 0 21641 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 92592

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 22429
/proc/meminfo: memFree=29834640/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=92636 CPUtime=1362.33
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 248598 0 0 0 135436 797 0 0 25 0 1 0 25689442 94859264 21603 4089446400 4194304 10345943 140733445681760 18446744073709551615 6119433 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23159 21603 802 1502 0 21652 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 92636

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 22431
/proc/meminfo: memFree=29828144/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=92064 CPUtime=1422.34
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 251806 0 0 0 141405 829 0 0 25 0 1 0 25689442 94273536 21560 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23016 21560 802 1502 0 21509 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 92064

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22433
/proc/meminfo: memFree=29819044/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=93652 CPUtime=1482.33
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 264643 0 0 0 147366 867 0 0 25 0 1 0 25689442 95899648 21622 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23413 21622 802 1502 0 21906 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 93652

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22434
/proc/meminfo: memFree=29813540/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=92592 CPUtime=1542.34
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 269454 0 0 0 153336 898 0 0 25 0 1 0 25689442 94814208 21657 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23148 21657 802 1502 0 21641 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 92592

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/179 22436
/proc/meminfo: memFree=29807296/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=93380 CPUtime=1602.33
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 274700 0 0 0 159306 927 0 0 25 0 1 0 25689442 95621120 21676 4089446400 4194304 10345943 140733445681760 18446744073709551615 6929822 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23345 21676 803 1502 0 21838 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 93380

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 22437
/proc/meminfo: memFree=29802428/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=94500 CPUtime=1662.34
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 277751 0 0 0 165271 963 0 0 25 0 1 0 25689442 96768000 21789 4089446400 4194304 10345943 140733445681760 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23625 21789 803 1502 0 22118 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 94500

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22439
/proc/meminfo: memFree=29792824/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=94764 CPUtime=1722.34
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 280905 0 0 0 171240 994 0 0 25 0 1 0 25689442 97038336 21802 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23691 21802 803 1502 0 22184 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 94764

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22441
/proc/meminfo: memFree=29783720/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=94624 CPUtime=1782.34
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 282916 0 0 0 177207 1027 0 0 25 0 1 0 25689442 96894976 21806 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23656 21806 803 1502 0 22149 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 94624

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22441
/proc/meminfo: memFree=29783340/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=94632 CPUtime=1785.55
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 282967 0 0 0 177526 1029 0 0 25 0 1 0 25689442 96903168 21815 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23658 21815 803 1502 0 22151 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 94632

[startup+1787.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22441
/proc/meminfo: memFree=29783340/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=92932 CPUtime=1787.15
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 283084 0 0 0 177685 1030 0 0 25 0 1 0 25689442 95162368 21741 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23233 21741 803 1502 0 21726 0
Current children cumulated CPU time (s) 1787.15
Current children cumulated vsize (KiB) 92932

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22441
/proc/meminfo: memFree=29783216/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=94484 CPUtime=1788.74
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 283164 0 0 0 177843 1031 0 0 25 0 1 0 25689442 96751616 21771 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23621 21771 803 1502 0 22114 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 94484

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22441
/proc/meminfo: memFree=29783216/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=92936 CPUtime=1789.54
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 283244 0 0 0 177923 1031 0 0 25 0 1 0 25689442 95166464 21756 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23234 21756 803 1502 0 21727 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 92936

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22441
/proc/meminfo: memFree=29783212/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=95452 CPUtime=1789.95
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 283317 0 0 0 177963 1032 0 0 25 0 1 0 25689442 97742848 21829 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23863 21829 803 1502 0 22356 0
Current children cumulated CPU time (s) 1789.95
Current children cumulated vsize (KiB) 95452

[startup+1790 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22441
/proc/meminfo: memFree=29783212/32951124 swapFree=67111528/67111528
[pid=22373] ppid=22371 vsize=92960 CPUtime=1790.05
/proc/22373/stat : 22373 (pbscip.linux.x8) R 22371 22373 22157 0 -1 4202496 283322 0 0 0 177973 1032 0 0 25 0 1 0 25689442 95191040 21796 4089446400 4194304 10345943 140733445681760 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22373/statm: 23240 21796 803 1502 0 21733 0
Current children cumulated CPU time (s) 1790.05
Current children cumulated vsize (KiB) 92960

Child status: 0
Real time (s): 1790.06
CPU time (s): 1790.11
CPU user time (s): 1779.78
CPU system time (s): 10.3264
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 106328

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

runsolver used 2.6206 second user time and 5.56015 second system time

The end

Launcher Data 

Begin job on node106 at 2010-07-08 09:39:05
IDJOB=2705655
IDBENCH=78970
IDSOLVER=1214
FILE ID=node106/2705655-1278574745
PBS_JOBID= 11240242
Free space on /tmp= 73248 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 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.1900575442--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-2705655-1278574745/watcher-2705655-1278574745 -o /tmp/evaluation-result-2705655-1278574745/solver-2705655-1278574745 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705655-1278574745.wbo -t 1800 -m 3800

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

MD5SUM BENCH= e5d1aa875e736e237b742aec181b44f0
RANDOM SEED=1525547274

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30141100 kB
Buffers:        150224 kB
Cached:        2428408 kB
SwapCached:          0 kB
Active:        1084604 kB
Inactive:      1556068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30141100 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12900 kB
Writeback:           0 kB
AnonPages:       62396 kB
Mapped:          14204 kB
Slab:           103876 kB
PageTables:       4388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189456 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= 73224 MiB
End job on node106 at 2010-07-08 10:08:55