Trace number 2692815

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.16 1800.11

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551864--soft-66-100-0.wbo
MD5SUMc0a37f516cf4d2739ccd6d05a55220be
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.1608
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 44801
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44800
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692815-1277905079.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, 1118 impls, 12 clqs
0.00/0.07	c (round 2) 0 del vars, 115 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.08/0.09	c (round 3) 55 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.10	c (round 4) 110 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.14	c    (0.1s) probing: 101/1082 (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  110 deleted vars, 170 deleted constraints, 906 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.09/0.14	c  1118 implications, 12 cliques
0.09/0.14	c presolved problem has 1933 variables (1082 bin, 0 int, 0 impl, 851 cont) and 3444 constraints
0.09/0.14	c     851 constraints of type <indicator>
0.09/0.14	c      12 constraints of type <setppc>
0.09/0.14	c     851 constraints of type <linear>
0.09/0.14	c    1730 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.08
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 |    46 |     - |8736k|   0 |  36 |1933 |3444 |1933 |1742 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.30	c   0.2s|     1 |     0 |   778 |     - |9060k|   0 |  42 |1933 |3444 |1933 |1757 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.37	c   0.3s|     1 |     0 |   800 |     - |9290k|   0 |  46 |1933 |3444 |1933 |1767 |  25 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.48	c   0.4s|     1 |     0 |   813 |     - |9295k|   0 |  50 |1933 |3444 |1933 |1773 |  31 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.58	c   0.5s|     1 |     0 |   819 |     - |9297k|   0 |  51 |1933 |3444 |1933 |1775 |  33 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.00/1.10	c   1.0s|     1 |     2 |   819 |     - |9300k|   0 |  51 |1933 |3444 |1933 |1775 |  33 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1.99/2.05	o 41732
1.99/2.05	c y 1.9s|    15 |    14 |  1128 |  22.1 |9429k|  14 |   8 |1933 |3444 |1933 |1777 |  43 |   0 | 289 | 0.000000e+00 | 4.173200e+04 |    Inf 
6.69/6.76	o 541
6.69/6.76	c * 6.5s|  1289 |  1223 |  5285 |   3.5 |  13M|  49 |   - |1933 |3459 |1933 |1777 | 577 |  15 |1246 | 0.000000e+00 | 5.410000e+02 |    Inf 
8.09/8.15	o 526
8.09/8.15	c * 7.8s|  1573 |  1486 |  7446 |   4.2 |  15M|  49 |   - |1933 |3477 |1933 |1773 | 731 |  33 |1516 | 0.000000e+00 | 5.260000e+02 |    Inf 
8.99/9.06	o 511
8.99/9.06	c * 8.6s|  1879 |  1767 |  9054 |   4.4 |  15M|  49 |   - |1933 |3503 |1933 |1780 | 905 |  59 |1636 | 0.000000e+00 | 5.110000e+02 |    Inf 
8.99/9.07	o 502
8.99/9.07	c * 8.7s|  1882 |  1767 |  9063 |   4.4 |  15M|  49 |   - |1933 |3503 |1933 |1780 | 905 |  59 |1636 | 0.000000e+00 | 5.020000e+02 |    Inf 
8.99/9.08	o 480
8.99/9.08	c * 8.7s|  1883 |  1746 |  9063 |   4.4 |  15M|  49 |   - |1933 |3503 |1933 |1780 | 905 |  59 |1636 | 0.000000e+00 | 4.800000e+02 |    Inf 
9.39/9.43	o 429
9.39/9.43	c * 9.0s|  2069 |  1848 |  9794 |   4.3 |  16M|  49 |   - |1933 |3520 |1933 |1777 | 979 |  76 |1658 | 0.000000e+00 | 4.290000e+02 |    Inf 
13.89/13.95	o 423
13.89/13.95	c *13.3s|  4276 |  3873 | 20935 |   4.7 |  20M|  61 |   - |1933 |3773 |1933 |1780 |2096 | 388 |1809 | 0.000000e+00 | 4.230000e+02 |    Inf 
13.99/14.03	o 414
13.99/14.03	c *13.4s|  4295 |  3853 | 21174 |   4.7 |  20M|  61 |   - |1933 |3772 |1933 |1773 |2114 | 390 |1813 | 0.000000e+00 | 4.140000e+02 |    Inf 
15.89/15.97	o 407
15.89/15.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
15.89/15.97	c *15.3s|  5136 |  4620 | 27527 |   5.2 |  22M|  61 |   - |1933 |3781 |1933 |1778 |2554 | 486 |1846 | 0.000000e+00 | 4.070000e+02 |    Inf 
16.70/16.72	o 405
16.70/16.72	c *16.0s|  5459 |  4891 | 30285 |   5.4 |  23M|  61 |   - |1933 |3827 |1933 |1775 |2842 | 567 |1846 | 0.000000e+00 | 4.050000e+02 |    Inf 
16.70/16.73	o 404
16.70/16.73	c g16.0s|  5461 |  4885 | 30312 |   5.4 |  23M|  61 |   - |1933 |3830 |1933 |1776 |2843 | 571 |1846 | 0.000000e+00 | 4.040000e+02 |    Inf 
16.70/16.75	o 389
16.70/16.75	c *16.0s|  5465 |  4804 | 30368 |   5.4 |  22M|  61 |   - |1933 |3830 |1933 |1770 |2846 | 571 |1846 | 0.000000e+00 | 3.890000e+02 |    Inf 
17.39/17.49	o 369
17.39/17.49	c *16.7s|  5873 |  5044 | 32268 |   5.4 |  22M|  61 |   - |1933 |3834 |1933 |1778 |3040 | 621 |1846 | 0.000000e+00 | 3.690000e+02 |    Inf 
17.50/17.54	o 361
17.50/17.54	c *16.8s|  5886 |  5007 | 32472 |   5.4 |  22M|  61 |   - |1933 |3847 |1933 |1775 |3060 | 636 |1846 | 0.000000e+00 | 3.610000e+02 |    Inf 
17.79/17.86	o 348
17.79/17.86	c *17.1s|  6002 |  5041 | 33786 |   5.5 |  22M|  61 |   - |1933 |3867 |1933 |1787 |3245 | 665 |1847 | 0.000000e+00 | 3.480000e+02 |    Inf 
17.79/17.88	o 341
17.79/17.88	c *17.1s|  6008 |  4994 | 33869 |   5.5 |  22M|  61 |   - |1933 |3867 |1933 |1781 |3246 | 665 |1847 | 0.000000e+00 | 3.410000e+02 |    Inf 
17.79/17.89	o 325
17.79/17.89	c *17.1s|  6009 |  4853 | 33874 |   5.5 |  21M|  61 |   - |1933 |3867 |1933 |1781 |3246 | 665 |1847 | 0.000000e+00 | 3.250000e+02 |    Inf 
18.19/18.26	o 324
18.19/18.26	c *17.5s|  6128 |  4948 | 35382 |   5.6 |  22M|  61 |   - |1933 |3895 |1933 |1785 |3402 | 703 |1847 | 0.000000e+00 | 3.240000e+02 |    Inf 
18.19/18.28	o 304
18.19/18.28	c *17.5s|  6134 |  4766 | 35427 |   5.6 |  21M|  61 |   - |1933 |3895 |1933 |1787 |3407 | 703 |1847 | 0.000000e+00 | 3.040000e+02 |    Inf 
18.49/18.60	o 299
18.49/18.60	c *17.8s|  6303 |  4867 | 36120 |   5.6 |  21M|  61 |   - |1933 |3901 |1933 |1781 |3501 | 718 |1847 | 0.000000e+00 | 2.990000e+02 |    Inf 
18.60/18.61	o 283
18.60/18.61	c *17.8s|  6305 |  4703 | 36145 |   5.6 |  21M|  61 |   - |1933 |3901 |1933 |1781 |3501 | 718 |1847 | 0.000000e+00 | 2.830000e+02 |    Inf 
19.19/19.26	o 263
19.19/19.26	c *18.4s|  6605 |  4778 | 37979 |   5.6 |  22M|  61 |   - |1933 |3947 |1933 |1777 |3695 | 788 |1848 | 0.000000e+00 | 2.630000e+02 |    Inf 
19.19/19.27	o 243
19.19/19.27	c *18.4s|  6608 |  4555 | 38001 |   5.6 |  21M|  61 |   - |1933 |3947 |1933 |1771 |3699 | 788 |1848 | 0.000000e+00 | 2.430000e+02 |    Inf 
19.29/19.30	o 222
19.29/19.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.29/19.30	c *18.5s|  6620 |  4338 | 38031 |   5.6 |  20M|  61 |   - |1933 |3946 |1933 |1770 |3702 | 788 |1848 | 0.000000e+00 | 2.220000e+02 |    Inf 
19.29/19.32	o 206
19.29/19.32	c *18.5s|  6628 |  4180 | 38101 |   5.6 |  20M|  61 |   - |1933 |3955 |1933 |1786 |3715 | 797 |1848 | 0.000000e+00 | 2.060000e+02 |    Inf 
19.40/19.48	o 196
19.40/19.48	c *18.6s|  6693 |  4114 | 38563 |   5.6 |  20M|  61 |   - |1933 |3977 |1933 |1779 |3766 | 825 |1848 | 0.000000e+00 | 1.960000e+02 |    Inf 
19.70/19.70	o 193
19.70/19.70	c *18.9s|  6803 |  4146 | 39091 |   5.6 |  21M|  61 |   - |1933 |4022 |1933 |1782 |3862 | 883 |1848 | 0.000000e+00 | 1.930000e+02 |    Inf 
20.19/20.28	o 180
20.19/20.28	c *19.4s|  7032 |  4085 | 41044 |   5.7 |  21M|  61 |   - |1933 |4068 |1933 |1777 |4083 | 981 |1849 | 0.000000e+00 | 1.800000e+02 |    Inf 
20.49/20.57	o 170
20.49/20.57	c *19.7s|  7177 |  4010 | 41728 |   5.7 |  21M|  61 |   - |1933 |4070 |1933 |1772 |4160 |1006 |1851 | 0.000000e+00 | 1.700000e+02 |    Inf 
20.59/20.63	o 147
20.59/20.63	c *19.8s|  7200 |  3601 | 41913 |   5.7 |  20M|  61 |   - |1933 |4083 |1933 |1787 |4184 |1023 |1851 | 0.000000e+00 | 1.470000e+02 |    Inf 
20.99/21.09	o 128
20.99/21.09	c *20.2s|  7342 |  3292 | 43474 |   5.8 |  20M|  61 |   - |1933 |4114 |1933 |1772 |4292 |1094 |1855 | 0.000000e+00 | 1.280000e+02 |    Inf 
21.29/21.33	o 74
21.29/21.33	c *20.4s|  7468 |  1844 | 44051 |   5.8 |  17M|  61 |   - |1933 |4169 |1933 |1783 |4365 |1156 |1855 | 0.000000e+00 | 7.400000e+01 |    Inf 
21.39/21.44	o 70
21.39/21.44	c *20.5s|  7503 |  1771 | 44397 |   5.8 |  17M|  61 |   - |1933 |3949 |1933 |1774 |4382 |1168 |1855 | 0.000000e+00 | 7.000000e+01 |    Inf 
21.49/21.53	o 6
21.49/21.53	c *20.6s|  7554 |   278 | 44588 |   5.8 |  14M|  61 |   - |1933 |3890 |1933 |1771 |4386 |1177 |1855 | 0.000000e+00 | 6.000000e+00 |    Inf 
26.00/26.07	c  24.9s| 10000 |   271 | 64880 |   6.4 |  15M|  61 |  32 |1933 |5279 |1933 |1775 |4956 |4322 |1866 | 0.000000e+00 | 6.000000e+00 |    Inf 
48.19/48.25	c  46.0s| 20000 |   458 |169657 |   8.4 |  18M|  61 |  13 |1933 |  11k|1933 |1776 |5859 |  17k|2023 | 0.000000e+00 | 6.000000e+00 |    Inf 
62.00/62.09	o 4
62.00/62.09	c *59.3s| 25690 |   478 |229886 |   8.9 |  20M|  61 |   - |1933 |  14k|1933 |1776 |6409 |  24k|2295 | 0.000000e+00 | 4.000000e+00 |    Inf 
72.30/72.31	c  69.1s| 30000 |   449 |273380 |   9.1 |  20M|  61 |   - |1933 |  13k|1933 |1776 |6906 |  30k|2454 | 0.000000e+00 | 4.000000e+00 |    Inf 
95.00/95.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
95.00/95.01	c  90.8s| 40000 |   387 |364070 |   9.1 |  19M|  61 |   - |1933 |  10k|   0 |   0 |8604 |  44k|2863 | 0.000000e+00 | 4.000000e+00 |    Inf 
115.79/115.89	c   111s| 50000 |   468 |445511 |   8.9 |  22M|  61 |  28 |1933 |  15k|1933 |1767 |  10k|  57k|3175 | 0.000000e+00 | 4.000000e+00 |    Inf 
138.69/138.75	c   133s| 60000 |   511 |528996 |   8.8 |  24M|  61 |   - |1933 |  19k|   0 |   0 |  13k|  72k|3422 | 0.000000e+00 | 4.000000e+00 |    Inf 
162.60/162.63	c   156s| 70000 |   627 |606637 |   8.7 |  27M|  61 |   - |1933 |  24k|   0 |   0 |  16k|  86k|3698 | 0.000000e+00 | 4.000000e+00 |    Inf 
187.20/187.21	c   179s| 80000 |   895 |684061 |   8.5 |  31M|  62 |  31 |1933 |  28k|1933 |1767 |  18k| 100k|3899 | 0.000000e+00 | 4.000000e+00 |    Inf 
212.00/212.00	c   203s| 90000 |   909 |757905 |   8.4 |  32M|  68 |  16 |1933 |  28k|1933 |1767 |  21k| 115k|4096 | 0.000000e+00 | 4.000000e+00 |    Inf 
237.30/237.33	c   228s|100000 |   561 |832322 |   8.3 |  27M|  68 |   - |1933 |  24k|   0 |   0 |  24k| 131k|4287 | 0.000000e+00 | 4.000000e+00 |    Inf 
259.30/259.38	c   249s|110000 |   742 |897523 |   8.2 |  31M|  68 |   - |1933 |  30k|   0 |   0 |  27k| 145k|4419 | 0.000000e+00 | 4.000000e+00 |    Inf 
282.29/282.36	c   271s|120000 |   800 |963674 |   8.0 |  32M|  68 |   - |1933 |  31k|   0 |   0 |  30k| 161k|4548 | 0.000000e+00 | 4.000000e+00 |    Inf 
306.50/306.55	c   294s|130000 |   793 |  1034k|   8.0 |  31M|  68 |   - |1933 |  28k|   0 |   0 |  33k| 175k|4728 | 0.000000e+00 | 4.000000e+00 |    Inf 
331.50/331.54	c   318s|140000 |   866 |  1107k|   7.9 |  33M|  68 |   - |1933 |  31k|   0 |   0 |  36k| 190k|4890 | 0.000000e+00 | 4.000000e+00 |    Inf 
356.31/356.38	c   342s|150000 |   916 |  1182k|   7.9 |  35M|  68 |  12 |1933 |  34k|1933 |1767 |  39k| 204k|5025 | 0.000000e+00 | 4.000000e+00 |    Inf 
381.30/381.38	c   366s|160000 |  1075 |  1254k|   7.8 |  36M|  68 |  14 |1933 |  34k|1933 |1767 |  43k| 219k|5137 | 0.000000e+00 | 4.000000e+00 |    Inf 
407.10/407.17	c   391s|170000 |  1170 |  1328k|   7.8 |  37M|  68 |  28 |1933 |  34k|1933 |1767 |  46k| 234k|5278 | 0.000000e+00 | 4.000000e+00 |    Inf 
434.00/434.08	c   417s|180000 |  1230 |  1407k|   7.8 |  39M|  68 |   - |1933 |  37k|   0 |   0 |  50k| 250k|5424 | 0.000000e+00 | 4.000000e+00 |    Inf 
460.91/460.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
460.91/460.94	c   443s|190000 |  1214 |  1485k|   7.8 |  39M|  68 |  18 |1933 |  37k|1933 |1767 |  53k| 265k|5559 | 0.000000e+00 | 4.000000e+00 |    Inf 
487.11/487.18	c   469s|200000 |  1256 |  1561k|   7.8 |  40M|  68 |  29 |1933 |  38k|1933 |1767 |  57k| 281k|5651 | 0.000000e+00 | 4.000000e+00 |    Inf 
513.11/513.14	c   494s|210000 |  1102 |  1634k|   7.8 |  36M|  68 |   - |1933 |  28k|   0 |   0 |  60k| 296k|5802 | 0.000000e+00 | 4.000000e+00 |    Inf 
539.21/539.21	c   519s|220000 |  1030 |  1715k|   7.8 |  36M|  68 |  12 |1933 |  29k|1933 |1767 |  65k| 310k|5939 | 0.000000e+00 | 4.000000e+00 |    Inf 
564.41/564.42	c   543s|230000 |   511 |  1792k|   7.8 |  29M|  68 |   - |1933 |  23k|   0 |   0 |  68k| 325k|6193 | 0.000000e+00 | 4.000000e+00 |    Inf 
588.51/588.53	c   566s|240000 |   615 |  1870k|   7.8 |  31M|  68 |  19 |1933 |  26k|1933 |1781 |  73k| 339k|6273 | 0.000000e+00 | 4.000000e+00 |    Inf 
613.71/613.73	c   591s|250000 |   880 |  1950k|   7.8 |  34M|  68 |   - |1933 |  31k|   0 |   0 |  76k| 353k|6370 | 0.000000e+00 | 4.000000e+00 |    Inf 
638.81/638.89	c   615s|260000 |   992 |  2025k|   7.8 |  34M|  68 |  19 |1933 |  30k|1933 |1767 |  80k| 368k|6494 | 0.000000e+00 | 4.000000e+00 |    Inf 
664.81/664.83	c   640s|270000 |  1044 |  2109k|   7.8 |  35M|  68 |  31 |1933 |  30k|1933 |1774 |  84k| 383k|6585 | 0.000000e+00 | 4.000000e+00 |    Inf 
689.91/689.95	c   664s|280000 |  1103 |  2181k|   7.8 |  37M|  68 |  17 |1933 |  32k|1933 |1767 |  88k| 397k|6692 | 0.000000e+00 | 4.000000e+00 |    Inf 
715.31/715.38	c   689s|290000 |   996 |  2257k|   7.8 |  35M|  68 |  13 |1933 |  29k|1933 |1767 |  91k| 412k|6795 | 0.000000e+00 | 4.000000e+00 |    Inf 
739.21/739.27	c   712s|300000 |  1116 |  2331k|   7.8 |  38M|  68 |   - |1933 |  34k|   0 |   0 |  96k| 427k|6874 | 0.000000e+00 | 4.000000e+00 |    Inf 
765.01/765.00	c   737s|310000 |  1025 |  2407k|   7.8 |  36M|  68 |  30 |1933 |  29k|1933 |1767 | 100k| 443k|7017 | 0.000000e+00 | 4.000000e+00 |    Inf 
790.82/790.84	c   761s|320000 |  1096 |  2480k|   7.7 |  38M|  68 |  18 |1933 |  32k|1933 |1767 | 104k| 457k|7100 | 0.000000e+00 | 4.000000e+00 |    Inf 
817.01/817.03	c   787s|330000 |  1305 |  2558k|   7.7 |  40M|  68 |   - |1933 |  35k|   0 |   0 | 108k| 470k|7182 | 0.000000e+00 | 4.000000e+00 |    Inf 
843.72/843.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
843.72/843.73	c   812s|340000 |  1280 |  2638k|   7.8 |  41M|  68 |   - |1933 |  36k|   0 |   0 | 113k| 485k|7273 | 0.000000e+00 | 4.000000e+00 |    Inf 
870.92/870.95	c   839s|350000 |  1412 |  2714k|   7.8 |  41M|  68 |  30 |1933 |  35k|1933 |1767 | 117k| 500k|7394 | 0.000000e+00 | 4.000000e+00 |    Inf 
898.02/898.03	c   865s|360000 |  1580 |  2790k|   7.7 |  42M|  68 |  24 |1933 |  34k|1933 |1767 | 120k| 515k|7474 | 0.000000e+00 | 4.000000e+00 |    Inf 
924.62/924.69	c   891s|370000 |  1710 |  2863k|   7.7 |  45M|  68 |  26 |1933 |  39k|1933 |1767 | 124k| 530k|7582 | 0.000000e+00 | 4.000000e+00 |    Inf 
952.32/952.35	c   917s|380000 |  1761 |  2942k|   7.7 |  46M|  69 |  23 |1933 |  39k|1933 |1767 | 129k| 544k|7656 | 0.000000e+00 | 4.000000e+00 |    Inf 
980.22/980.20	c   944s|390000 |  1894 |  3018k|   7.7 |  45M|  69 |  39 |1933 |  35k|1933 |1767 | 132k| 559k|7745 | 0.000000e+00 | 4.000000e+00 |    Inf 
1007.82/1007.81	c   971s|400000 |  1902 |  3092k|   7.7 |  46M|  70 |   - |1933 |  33k|   0 |   0 | 133k| 573k|7819 | 0.000000e+00 | 4.000000e+00 |    Inf 
1033.02/1033.07	c   995s|410000 |  1949 |  3163k|   7.7 |  46M|  70 |  39 |1933 |  33k|1933 |1767 | 135k| 588k|7892 | 0.000000e+00 | 4.000000e+00 |    Inf 
1059.62/1059.62	c  1021s|420000 |  2022 |  3235k|   7.7 |  48M|  70 |   - |1933 |  34k|   0 |   0 | 136k| 604k|7969 | 0.000000e+00 | 4.000000e+00 |    Inf 
1086.01/1086.02	c  1046s|430000 |  2137 |  3309k|   7.7 |  49M|  70 |   - |1933 |  36k|   0 |   0 | 139k| 618k|8063 | 0.000000e+00 | 4.000000e+00 |    Inf 
1112.03/1112.04	c  1071s|440000 |  2084 |  3382k|   7.7 |  48M|  70 |  38 |1933 |  33k|1933 |1767 | 143k| 633k|8155 | 0.000000e+00 | 4.000000e+00 |    Inf 
1136.72/1136.71	c  1095s|450000 |  2203 |  3454k|   7.7 |  50M|  70 |  11 |1933 |  34k|1933 |1767 | 146k| 648k|8242 | 0.000000e+00 | 4.000000e+00 |    Inf 
1160.62/1160.60	c  1118s|460000 |  2411 |  3523k|   7.7 |  52M|  74 |   9 |1933 |  36k|1933 |1767 | 149k| 664k|8321 | 0.000000e+00 | 4.000000e+00 |    Inf 
1186.12/1186.16	c  1143s|470000 |  2539 |  3596k|   7.7 |  53M|  74 |  13 |1933 |  37k|1933 |1772 | 152k| 679k|8415 | 0.000000e+00 | 4.000000e+00 |    Inf 
1211.22/1211.28	c  1167s|480000 |  2557 |  3666k|   7.6 |  54M|  74 |  27 |1933 |  39k|1933 |1767 | 156k| 695k|8479 | 0.000000e+00 | 4.000000e+00 |    Inf 
1236.43/1236.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1236.43/1236.41	c  1191s|490000 |  2847 |  3738k|   7.6 |  55M|  74 |   - |1933 |  39k|   0 |   0 | 160k| 710k|8566 | 0.000000e+00 | 4.000000e+00 |    Inf 
1262.83/1262.89	c  1217s|500000 |  2989 |  3814k|   7.6 |  57M|  74 |  25 |1933 |  40k|1933 |1767 | 163k| 726k|8639 | 0.000000e+00 | 4.000000e+00 |    Inf 
1289.13/1289.12	c  1242s|510000 |  3101 |  3888k|   7.6 |  58M|  74 |   - |1933 |  41k|   0 |   0 | 166k| 741k|8711 | 0.000000e+00 | 4.000000e+00 |    Inf 
1315.73/1315.74	c  1268s|520000 |  3148 |  3962k|   7.6 |  59M|  74 |   - |1933 |  42k|1933 |1777 | 169k| 757k|8777 | 0.000000e+00 | 4.000000e+00 |    Inf 
1342.62/1342.67	c  1294s|530000 |  3173 |  4035k|   7.6 |  59M|  74 |  15 |1933 |  41k|1933 |1767 | 173k| 773k|8845 | 0.000000e+00 | 4.000000e+00 |    Inf 
1370.02/1370.01	c  1321s|540000 |  3487 |  4116k|   7.6 |  61M|  74 |   - |1933 |  42k|   0 |   0 | 176k| 788k|8910 | 0.000000e+00 | 4.000000e+00 |    Inf 
1397.53/1397.54	c  1347s|550000 |  3728 |  4194k|   7.6 |  64M|  74 |  34 |1933 |  46k|1933 |1767 | 179k| 804k|8975 | 0.000000e+00 | 4.000000e+00 |    Inf 
1425.83/1425.86	c  1375s|560000 |  3877 |  4274k|   7.6 |  63M|  74 |   - |1933 |  41k|1933 |1772 | 182k| 820k|9053 | 0.000000e+00 | 4.000000e+00 |    Inf 
1453.04/1453.03	c  1401s|570000 |  3869 |  4350k|   7.6 |  64M|  74 |  28 |1933 |  41k|1933 |1767 | 185k| 836k|9127 | 0.000000e+00 | 4.000000e+00 |    Inf 
1480.23/1480.27	c  1427s|580000 |  3911 |  4427k|   7.6 |  64M|  74 |  18 |1933 |  41k|1933 |1772 | 189k| 852k|9198 | 0.000000e+00 | 4.000000e+00 |    Inf 
1508.23/1508.20	c  1454s|590000 |  4019 |  4502k|   7.6 |  66M|  74 |   - |1933 |  42k|   0 |   0 | 192k| 868k|9267 | 0.000000e+00 | 4.000000e+00 |    Inf 
1536.13/1536.15	c  1481s|600000 |  4016 |  4580k|   7.6 |  66M|  74 |  28 |1933 |  42k|1933 |1767 | 195k| 884k|9335 | 0.000000e+00 | 4.000000e+00 |    Inf 
1562.33/1562.40	c  1507s|610000 |  4083 |  4650k|   7.6 |  66M|  74 |  16 |1933 |  41k|1933 |1767 | 198k| 900k|9393 | 0.000000e+00 | 4.000000e+00 |    Inf 
1588.83/1588.89	c  1532s|620000 |  4210 |  4726k|   7.6 |  68M|  75 |   - |1933 |  43k|   0 |   0 | 202k| 916k|9459 | 0.000000e+00 | 4.000000e+00 |    Inf 
1616.14/1616.15	c  1559s|630000 |  4200 |  4799k|   7.6 |  67M|  75 |  20 |1933 |  40k|1933 |1767 | 205k| 932k|9527 | 0.000000e+00 | 4.000000e+00 |    Inf 
1644.63/1644.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1644.63/1644.61	c  1586s|640000 |  4222 |  4874k|   7.6 |  69M|  75 |  23 |1933 |  43k|1933 |1767 | 208k| 948k|9595 | 0.000000e+00 | 4.000000e+00 |    Inf 
1671.73/1671.71	c  1612s|650000 |  4252 |  4952k|   7.6 |  69M|  75 |   - |1933 |  42k|   0 |   0 | 212k| 964k|9673 | 0.000000e+00 | 4.000000e+00 |    Inf 
1698.94/1698.91	c  1638s|660000 |  4410 |  5029k|   7.6 |  69M|  75 |  24 |1933 |  40k|1933 |1767 | 215k| 980k|9751 | 0.000000e+00 | 4.000000e+00 |    Inf 
1725.44/1725.42	c  1664s|670000 |  4393 |  5103k|   7.6 |  69M|  75 |   - |1933 |  41k|   0 |   0 | 218k| 996k|9814 | 0.000000e+00 | 4.000000e+00 |    Inf 
1752.44/1752.46	c  1690s|680000 |  4305 |  5178k|   7.6 |  68M|  75 |   - |1933 |  40k|   0 |   0 | 222k|1012k|9877 | 0.000000e+00 | 4.000000e+00 |    Inf 
1781.44/1781.44	c  1718s|690000 |  4515 |  5270k|   7.6 |  71M|  75 |   1 |1933 |  44k|1933 |1773 | 225k|1026k|9949 | 0.000000e+00 | 4.000000e+00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1736.27
1800.05/1800.00	c Solving Nodes      : 696599
1800.05/1800.00	c Primal Bound       : +4.00000000000000e+00 (135 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.01	s SATISFIABLE
1800.05/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.05/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.05/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.05/1800.01	v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 
1800.05/1800.01	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.05/1800.01	v -x125 -x124 -x123 x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
1800.05/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.05/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.05/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.05/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.05/1800.01	v -x1 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time       :    1736.27
1800.05/1800.01	c Original Problem   :
1800.05/1800.01	c   Problem name     : HOME/instance-2692815-1277905079.wbo
1800.05/1800.01	c   Variables        : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.05/1800.01	c   Constraints      : 3614 initial, 3614 maximal
1800.05/1800.01	c Presolved Problem  :
1800.05/1800.01	c   Problem name     : t_HOME/instance-2692815-1277905079.wbo
1800.05/1800.01	c   Variables        : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.05/1800.01	c   Constraints      : 3444 initial, 46938 maximal
1800.05/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.01	c   trivial          :       0.00         55          0          0          0          0          0          0          0
1800.05/1800.01	c   dualfix          :       0.00         55          0          0          0          0          0          0          0
1800.05/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   probing          :       0.02          0          0          0          0          0          0          0          0
1800.05/1800.01	c   indicator        :       0.00          0          0          0          0          0         55          0          0
1800.05/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   linear           :       0.04          0          0          0        906          0        115         55          0
1800.05/1800.01	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   root node        :          -        824          -          -       1648          -          -          -          -
1800.05/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   integral         :          0          0          0     440367          0         40        618          0          0     780786
1800.05/1800.01	c   indicator        :        851          0    3117223      49338          0         23     156829          0          0          0
1800.05/1800.01	c   setppc           :         12          5    3120626      47690          0      65654    2589381          0          0          0
1800.05/1800.01	c   linear           :        851          5    3058336      49440          0     103577   13016408     228103          0          0
1800.05/1800.01	c   logicor          :       1730+         5    1731177       5001          0     166267    6774455          0          0          0
1800.05/1800.01	c   bounddisjunction :          0+         0      26590          0          0          0          3          0          0          0
1800.05/1800.01	c   countsols        :          0          0          0       5001          0          0          0          0          0          0
1800.05/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.01	c   integral         :      32.84       0.00       0.00      32.84       0.00
1800.05/1800.01	c   indicator        :       1.48       0.00       0.97       0.51       0.00
1800.05/1800.01	c   setppc           :      16.33       0.00      16.32       0.01       0.00
1800.05/1800.01	c   linear           :      74.80       0.00      73.66       1.14       0.00
1800.05/1800.01	c   logicor          :     331.08       0.00     331.04       0.04       0.00
1800.05/1800.01	c   bounddisjunction :       0.04       0.00       0.04       0.00       0.00
1800.05/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.01	c   vbounds          :       0.00          2          0          0
1800.05/1800.01	c   rootredcost      :       0.00         36          0        824
1800.05/1800.01	c   pseudoobj        :      49.18    3123986        153      95010
1800.05/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.01	c   propagation      :      16.83     335651     335309    1967838       33.4      10994       29.2          -
1800.05/1800.01	c   infeasible LP    :       9.91      46919      46919     357831       48.9        330       22.7          0
1800.05/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   pseudo solution  :       0.00          8          8         50       13.3          4        6.0          -
1800.05/1800.01	c   applied globally :          -          -          -    1036886       28.7          -          -          -
1800.05/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.01	c   cut pool         :       0.00          4          -          -          2          -    (maximal pool size: 223)
1800.05/1800.01	c   redcost          :      10.72     441551          0      47345          0          0
1800.05/1800.01	c   impliedbounds    :       0.00          5          0          0          0          0
1800.05/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.01	c   gomory           :       0.21          5          0          0       1000          0
1800.05/1800.01	c   strongcg         :       0.13          5          0          0        865          0
1800.05/1800.01	c   cmir             :       0.03          5          0          0          1          0
1800.05/1800.01	c   flowcover        :       0.03          5          0          0          1          0
1800.05/1800.01	c   clique           :       0.00          5          0          0          0          0
1800.05/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.01	c Pricers            :       Time      Calls       Vars
1800.05/1800.01	c   problem variables:       0.00          0          0
1800.05/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   relpscost        :      32.75     390922         40        618          0          0     780786
1800.05/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   inference        :       0.34       4967          0          0          0          0       9934
1800.05/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.01	c   LP solutions     :       0.01          -         34
1800.05/1800.01	c   pseudo solutions :       0.00          -          0
1800.05/1800.01	c   feaspump         :       0.09          1          0
1800.05/1800.01	c   oneopt           :       0.11         34          0
1800.05/1800.01	c   intshifting      :       0.00         13          0
1800.05/1800.01	c   crossover        :       0.20         12          0
1800.05/1800.01	c   coefdiving       :       0.35        400          0
1800.05/1800.01	c   pscostdiving     :       0.41        400          0
1800.05/1800.01	c   fracdiving       :       0.37        400          0
1800.05/1800.01	c   linesearchdiving :       0.32        400          0
1800.05/1800.01	c   veclendiving     :       0.23        400          0
1800.05/1800.01	c   guideddiving     :       0.34        401          1
1800.05/1800.01	c   rootsoldiving    :       0.45        309          0
1800.05/1800.01	c   objpscostdiving  :       0.21        310          0
1800.05/1800.01	c   trivial          :       0.02          2          0
1800.05/1800.01	c   simplerounding   :       0.48     390968          0
1800.05/1800.01	c   zirounding       :       0.05       1000          0
1800.05/1800.01	c   rounding         :       0.77       8780          0
1800.05/1800.01	c   shifting         :       1.13       2763          0
1800.05/1800.01	c   twoopt           :       0.00          0          0
1800.05/1800.01	c   fixandinfer      :       0.00          0          0
1800.05/1800.01	c   intdiving        :       0.00          0          0
1800.05/1800.01	c   actconsdiving    :       0.00          0          0
1800.05/1800.01	c   octane           :       0.00          0          0
1800.05/1800.01	c   rens             :       0.01          1          0
1800.05/1800.01	c   rins             :       0.00          0          0
1800.05/1800.01	c   localbranching   :       0.00          0          0
1800.05/1800.01	c   mutation         :       0.00          0          0
1800.05/1800.01	c   dins             :       0.00          0          0
1800.05/1800.01	c   undercover       :       0.00          0          0
1800.05/1800.01	c   nlp              :       0.00          0          0
1800.05/1800.01	c   trysol           :       0.16       1524        100
1800.05/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.01	c   dual LP          :     731.06     482405    5320289      11.03    7277.50
1800.05/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.01	c   diving/probing LP:       0.97        742       4959       6.68    5112.37
1800.05/1800.01	c   strong branching :      28.08       9969     167864      16.84    5978.06
1800.05/1800.01	c     (at root node) :          -         33       2783      84.33          -
1800.05/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.01	c B&B Tree           :
1800.05/1800.01	c   number of runs   :          1
1800.05/1800.01	c   nodes            :     696599
1800.05/1800.01	c   nodes (total)    :     696599
1800.05/1800.01	c   nodes left       :       4459
1800.05/1800.01	c   max depth        :         75
1800.05/1800.01	c   max depth (total):         75
1800.05/1800.01	c   backtracks       :     106389 (15.3%)
1800.05/1800.01	c   delayed cutoffs  :      83073
1800.05/1800.01	c   repropagations   :    1083948 (5285066 domain reductions, 80920 cutoffs)
1800.05/1800.01	c   avg switch length:       4.70
1800.05/1800.01	c   switching time   :     256.25
1800.05/1800.01	c Solution           :
1800.05/1800.01	c   Solutions found  :        135 (36 improvements)
1800.05/1800.01	c   First Solution   : +4.17320000000000e+04   (in run 1, after 15 nodes, 1.92 seconds, depth 14, found by <trysol>)
1800.05/1800.01	c   Primal Bound     : +4.00000000000000e+00   (in run 1, after 25690 nodes, 59.30 seconds, depth 33, found by <relaxation>)
1800.05/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.01	c   Gap              :   infinite
1800.05/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.01	c   Root Iterations  :        819
1800.15/1800.11	c Time complete: 1800.15.

Verifier Data 

OK	4

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692815-1277905079/watcher-2692815-1277905079 -o /tmp/evaluation-result-2692815-1277905079/solver-2692815-1277905079 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692815-1277905079.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.05 2.09 2.09 3/182 13662
/proc/meminfo: memFree=31392000/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=9296 CPUtime=0
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1646 0 0 0 0 0 0 0 23 0 1 0 131804052 9519104 1565 4089446400 4194304 8223781 140733284478352 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13662/statm: 2324 1565 369 984 0 1337 0

[startup+0.0905579 s]
/proc/loadavg: 2.05 2.09 2.09 3/182 13662
/proc/meminfo: memFree=31392000/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=23560 CPUtime=0.08
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 6331 0 0 0 6 2 0 0 23 0 1 0 131804052 24125440 4858 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 5890 4858 457 984 0 4903 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23560

[startup+0.100554 s]
/proc/loadavg: 2.05 2.09 2.09 3/182 13662
/proc/meminfo: memFree=31392000/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=23560 CPUtime=0.09
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 7360 0 0 0 7 2 0 0 23 0 1 0 131804052 24125440 4859 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 5890 4859 458 984 0 4903 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23560

[startup+0.300518 s]
/proc/loadavg: 2.05 2.09 2.09 3/182 13662
/proc/meminfo: memFree=31392000/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=30448 CPUtime=0.29
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 10177 0 0 0 25 4 0 0 23 0 1 0 131804052 31178752 6722 4089446400 4194304 8223781 140733284478352 18446744073709551615 6093241 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 7612 6722 571 984 0 6625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30448

[startup+0.700447 s]
/proc/loadavg: 2.05 2.09 2.09 3/182 13662
/proc/meminfo: memFree=31392000/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=45756 CPUtime=0.69
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 13688 0 0 0 62 7 0 0 25 0 1 0 131804052 46854144 10189 4089446400 4194304 8223781 140733284478352 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 11439 10194 575 984 0 10452 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45756

[startup+1.50031 s]
/proc/loadavg: 2.05 2.09 2.09 3/183 13663
/proc/meminfo: memFree=31363472/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=33408 CPUtime=1.49
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 14731 0 0 0 140 9 0 0 25 0 1 0 131804052 34209792 7479 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 8352 7479 587 984 0 7365 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33408

[startup+3.10101 s]
/proc/loadavg: 2.05 2.09 2.09 3/183 13663
/proc/meminfo: memFree=31363644/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=34284 CPUtime=3.09
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 16319 0 0 0 295 14 0 0 25 0 1 0 131804052 35106816 7617 4089446400 4194304 8223781 140733284478352 18446744073709551615 6592218 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 8571 7617 590 984 0 7584 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34284

[startup+6.30043 s]
/proc/loadavg: 2.04 2.09 2.09 3/183 13663
/proc/meminfo: memFree=31360916/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=36916 CPUtime=6.29
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 42905 0 0 0 602 27 0 0 25 0 1 0 131804052 37801984 8379 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 9229 8379 601 984 0 8242 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36916

[startup+12.7003 s]
/proc/loadavg: 2.04 2.09 2.09 3/183 13663
/proc/meminfo: memFree=31352220/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=46248 CPUtime=12.69
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 74091 0 0 0 1215 54 0 0 25 0 1 0 131804052 47357952 10628 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 11562 10628 597 984 0 10575 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46248

[startup+25.5009 s]
/proc/loadavg: 2.03 2.08 2.08 3/183 13664
/proc/meminfo: memFree=31342280/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=55140 CPUtime=25.49
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 130358 0 0 0 2437 112 0 0 25 0 1 0 131804052 56463360 12864 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 13785 12864 606 984 0 12798 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55140

[startup+51.1003 s]
/proc/loadavg: 2.02 2.07 2.08 3/183 13665
/proc/meminfo: memFree=31337764/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=59116 CPUtime=51.09
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 184950 0 0 0 4877 232 0 0 25 0 1 0 131804052 60534784 13872 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 14779 13872 606 984 0 13792 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 59116

[startup+102.307 s]
/proc/loadavg: 2.01 2.06 2.08 3/183 13666
/proc/meminfo: memFree=31332900/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=62948 CPUtime=102.3
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 284119 0 0 0 9777 453 0 0 25 0 1 0 131804052 64458752 14784 4089446400 4194304 8223781 140733284478352 18446744073709551615 6207235 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 15737 14784 606 984 0 14750 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 62948

[startup+162.301 s]
/proc/loadavg: 2.00 2.05 2.07 3/183 13667
/proc/meminfo: memFree=31320956/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=70996 CPUtime=162.29
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 397594 0 0 0 15535 694 0 0 25 0 1 0 131804052 72699904 16801 4089446400 4194304 8223781 140733284478352 18446744073709551615 4999718 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 17749 16801 606 984 0 16762 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 70996

[startup+222.301 s]
/proc/loadavg: 2.00 2.04 2.07 3/183 13669
/proc/meminfo: memFree=31312988/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=77176 CPUtime=222.29
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 491117 0 0 0 21310 919 0 0 25 0 1 0 131804052 79028224 18307 4089446400 4194304 8223781 140733284478352 18446744073709551615 4431966 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 19294 18307 606 984 0 18307 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 77176

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 13671
/proc/meminfo: memFree=31310452/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=77992 CPUtime=282.29
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 543755 0 0 0 27089 1140 0 0 25 0 1 0 131804052 79863808 18515 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 19498 18515 606 984 0 18511 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 77992

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 13672
/proc/meminfo: memFree=31308064/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=79424 CPUtime=342.3
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 642836 0 0 0 32866 1364 0 0 25 0 1 0 131804052 81330176 18854 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 19856 18854 606 984 0 18869 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 79424

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 13674
/proc/meminfo: memFree=31299096/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=83412 CPUtime=402.3
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 737007 0 0 0 38658 1572 0 0 25 0 1 0 131804052 85413888 19708 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 20853 19708 606 984 0 19866 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 83412

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/183 13675
/proc/meminfo: memFree=31296340/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=85376 CPUtime=462.3
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 829933 0 0 0 44450 1780 0 0 25 0 1 0 131804052 87425024 20168 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 21344 20168 606 984 0 20357 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 85376

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.04 3/183 13677
/proc/meminfo: memFree=31293820/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=86660 CPUtime=522.31
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 938423 0 0 0 50242 1989 0 0 25 0 1 0 131804052 88739840 20577 4089446400 4194304 8223781 140733284478352 18446744073709551615 6023848 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 21665 20577 606 984 0 20678 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 86660

[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.04 3/183 13679
/proc/meminfo: memFree=31292784/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=87128 CPUtime=582.3
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1008532 0 0 0 56021 2209 0 0 25 0 1 0 131804052 89219072 20669 4089446400 4194304 8223781 140733284478352 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 21782 20669 606 984 0 20795 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 87128

[startup+642.301 s]
/proc/loadavg: 2.02 2.02 2.04 3/183 13680
/proc/meminfo: memFree=31292876/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=87420 CPUtime=642.32
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1014333 0 0 0 61818 2414 0 0 25 0 1 0 131804052 89518080 20720 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 21855 20720 606 984 0 20868 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 87420

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.02 3/183 13687
/proc/meminfo: memFree=31288240/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=90280 CPUtime=882.32
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1338094 0 0 0 84960 3272 0 0 25 0 1 0 131804052 92446720 21259 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 22570 21259 606 984 0 21583 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 90280

[startup+942.301 s]
/proc/loadavg: 2.05 2.03 2.02 3/183 13688
/proc/meminfo: memFree=31283368/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=94720 CPUtime=942.31
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1400381 0 0 0 90763 3468 0 0 25 0 1 0 131804052 96993280 22359 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 23680 22359 606 984 0 22693 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 94720

[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/183 13690
/proc/meminfo: memFree=31281588/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=95652 CPUtime=1002.31
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1497150 0 0 0 96562 3669 0 0 25 0 1 0 131804052 97947648 22607 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 23913 22607 607 984 0 22926 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 95652

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/183 13691
/proc/meminfo: memFree=31278592/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=97072 CPUtime=1062.31
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1591202 0 0 0 102349 3882 0 0 25 0 1 0 131804052 99401728 22963 4089446400 4194304 8223781 140733284478352 18446744073709551615 4210345 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 24268 22963 607 984 0 23281 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 97072

[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 13693
/proc/meminfo: memFree=31276564/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=97816 CPUtime=1122.32
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1680199 0 0 0 108141 4091 0 0 25 0 1 0 131804052 100163584 23156 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 24454 23156 608 984 0 23467 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 97816

[startup+1182.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 13695
/proc/meminfo: memFree=31273916/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=100308 CPUtime=1182.32
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1773831 0 0 0 113923 4309 0 0 25 0 1 0 131804052 102715392 23791 4089446400 4194304 8223781 140733284478352 18446744073709551615 4221613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 25077 23791 608 984 0 24090 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 100308

[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 13696
/proc/meminfo: memFree=31268928/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=103268 CPUtime=1242.32
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1832875 0 0 0 119718 4514 0 0 25 0 1 0 131804052 105746432 24540 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 25817 24540 608 984 0 24830 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 103268

[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 13698
/proc/meminfo: memFree=31264280/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=108472 CPUtime=1302.33
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1896885 0 0 0 125520 4713 0 0 25 0 1 0 131804052 111075328 25703 4089446400 4194304 8223781 140733284478352 18446744073709551615 4223040 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 27118 25703 608 984 0 26131 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 108472

[startup+1362.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/183 13699
/proc/meminfo: memFree=31261760/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=111016 CPUtime=1362.33
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 1972082 0 0 0 131323 4910 0 0 25 0 1 0 131804052 113680384 26360 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 27754 26360 608 984 0 26767 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 111016

[startup+1422.31 s]
/proc/loadavg: 2.17 2.08 2.01 3/183 13710
/proc/meminfo: memFree=31256508/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=114348 CPUtime=1422.33
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 2058462 0 0 0 137134 5099 0 0 25 0 1 0 131804052 117092352 27204 4089446400 4194304 8223781 140733284478352 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 28587 27204 608 984 0 27600 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 114348

[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 13712
/proc/meminfo: memFree=31255612/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=115308 CPUtime=1482.33
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 2162132 0 0 0 142926 5307 0 0 25 0 1 0 131804052 118075392 27445 4089446400 4194304 8223781 140733284478352 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 28827 27445 608 984 0 27840 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 115308

[startup+1542.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 13713
/proc/meminfo: memFree=31254208/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=117020 CPUtime=1542.34
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 2267214 0 0 0 148726 5508 0 0 25 0 1 0 131804052 119828480 27793 4089446400 4194304 8223781 140733284478352 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13662/statm: 29255 27793 608 984 0 28268 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 117020

[startup+1602.3 s]
/proc/loadavg: 2.25 2.09 2.02 2/202 13776
/proc/meminfo: memFree=31126984/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=118200 CPUtime=1602.33
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 2351016 0 0 0 154524 5709 0 0 25 0 1 0 131804052 121036800 28089 4089446400 4194304 8223781 140733284478352 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13662/statm: 29550 28089 608 984 0 28563 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 118200

[startup+1662.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/201 13823
/proc/meminfo: memFree=31269136/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=119300 CPUtime=1662.34
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 2455882 0 0 0 160314 5920 0 0 25 0 1 0 131804052 122163200 28395 4089446400 4194304 8223781 140733284478352 18446744073709551615 6558062 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13662/statm: 29825 28395 608 984 0 28838 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 119300

[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/201 13825
/proc/meminfo: memFree=31266856/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=119720 CPUtime=1722.33
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 2543675 0 0 0 166101 6132 0 0 25 0 1 0 131804052 122593280 28477 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13662/statm: 29930 28477 608 984 0 28943 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 119720

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/201 13827
/proc/meminfo: memFree=31264916/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=120836 CPUtime=1782.34
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 2625348 0 0 0 171921 6313 0 0 25 0 1 0 131804052 123736064 28758 4089446400 4194304 8223781 140733284478352 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13662/statm: 30209 28758 608 984 0 29222 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 120836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.04 2.00 3/201 13827
/proc/meminfo: memFree=31263528/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=121684 CPUtime=1800.05
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 2643581 0 0 0 173629 6376 0 0 25 0 1 0 131804052 124604416 28969 4089446400 4194304 8223781 140733284478352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13662/statm: 30421 28969 608 984 0 29434 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 121684

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

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

[startup+1800.11 s]
/proc/loadavg: 2.01 2.04 2.00 3/201 13827
/proc/meminfo: memFree=31263528/32951124 swapFree=67111528/67111528
[pid=13662] ppid=13660 vsize=107708 CPUtime=1800.15
/proc/13662/stat : 13662 (pbscip.linux.x8) R 13660 13662 12532 0 -1 4202496 2643606 0 0 0 173639 6376 0 0 25 0 1 0 131804052 110292992 25722 4089446400 4194304 8223781 140733284478352 18446744073709551615 4240882 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13662/statm: 26927 25722 610 984 0 25940 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 107708

Child status: 0
Real time (s): 1800.11
CPU time (s): 1800.16
CPU user time (s): 1736.39
CPU system time (s): 63.7673
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 121848

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

runsolver used 2.87856 second user time and 6.93994 second system time

The end

Launcher Data 

Begin job on node134 at 2010-06-30 15:37:59
IDJOB=2692815
IDBENCH=78926
IDSOLVER=1204
FILE ID=node134/2692815-1277905079
PBS_JOBID= 11197195
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= c0a37f516cf4d2739ccd6d05a55220be
RANDOM SEED=1059600135

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.818
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	: 7397.66
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.818
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.67
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.818
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.84
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.818
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.74
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.818
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:     32951124 kB
MemFree:      31392900 kB
Buffers:        190568 kB
Cached:        1096144 kB
SwapCached:          0 kB
Active:         728656 kB
Inactive:       688280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31392900 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4708 kB
Writeback:           0 kB
AnonPages:      130120 kB
Mapped:          17128 kB
Slab:            79124 kB
PageTables:       4920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   277420 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node134 at 2010-06-30 16:08:01