Trace number 2693523

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.12 1800.08

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo
MD5SUM7129b2638275c1b1b14ce0a3da71735e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark323.561
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 constraints927
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 45360
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45359
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 755
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693523-1277908600.wbo>
0.02/0.02	c original problem has 2085 variables (1158 bin, 0 int, 0 impl, 927 cont) and 3635 constraints
0.02/0.02	c problem read
0.02/0.02	c presolving settings loaded
0.02/0.04	c presolving:
0.02/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.02/0.07	c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.02/0.08	c (round 3) 54 del vars, 168 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.02/0.09	c (round 4) 110 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.09/0.11	c (round 5) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.09/0.15	c    (0.1s) probing: 101/1102 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  112 deleted vars, 170 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients
0.09/0.15	c  1141 implications, 14 cliques
0.09/0.15	c presolved problem has 1973 variables (1102 bin, 0 int, 0 impl, 871 cont) and 3465 constraints
0.09/0.15	c     871 constraints of type <indicator>
0.09/0.15	c       1 constraints of type <knapsack>
0.09/0.15	c      14 constraints of type <setppc>
0.09/0.15	c     871 constraints of type <linear>
0.09/0.15	c    1708 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.10
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 1.2.1.2
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1799.98
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 3420
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.15	c 
0.09/0.16	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.16	c   0.1s|     1 |     0 |    27 |     - |8863k|   0 |  16 |1973 |3465 |1973 |1723 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.20	c   0.2s|     1 |     0 |    52 |     - |8911k|   0 |  23 |1973 |3465 |1973 |1737 |  14 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |    70 |     - |9060k|   0 |  22 |1973 |3465 |1973 |1745 |  22 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.28	c   0.2s|     1 |     0 |    83 |     - |9275k|   0 |  25 |1973 |3465 |1973 |1752 |  29 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.28	o 42962
0.19/0.28	c y 0.2s|     1 |     0 |    83 |     - |9305k|   0 |  25 |1973 |3465 |1973 |1752 |  29 |   0 |   0 | 0.000000e+00 | 4.296200e+04 |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   131 |     - |9396k|   0 |  26 |1973 |3465 |1973 |1762 |  39 |   0 |   0 | 0.000000e+00 | 4.296200e+04 |    Inf 
0.49/0.53	c   0.5s|     1 |     0 |  1196 |     - |9529k|   0 |  62 |1973 |3465 |1973 |1767 |  44 |   0 |   0 | 0.000000e+00 | 4.296200e+04 |    Inf 
0.59/0.63	c   0.6s|     1 |     0 |  1534 |     - |9777k|   0 |  57 |1973 |3465 |1973 |1783 |  60 |   0 |   0 | 0.000000e+00 | 4.296200e+04 |    Inf 
3.39/3.49	c   3.4s|     1 |     2 |  1534 |     - |9780k|   0 |  57 |1973 |3465 |1973 |1783 |  60 |   0 |  33 | 0.000000e+00 | 4.296200e+04 |    Inf 
18.09/18.15	o 651
18.09/18.15	c *17.8s|    80 |    38 |  5928 |  55.6 |  10M|  25 |   - |1973 |3495 |1973 |1765 |  85 |  30 | 335 | 0.000000e+00 | 6.510000e+02 |    Inf 
18.09/18.17	o 625
18.09/18.17	c *17.8s|    89 |    35 |  5942 |  50.1 |  10M|  25 |   - |1973 |3501 |1973 |1769 |  89 |  36 | 335 | 0.000000e+00 | 6.250000e+02 |    Inf 
18.09/18.18	o 562
18.09/18.18	c *17.8s|    92 |    32 |  5942 |  48.4 |  10M|  25 |   - |1973 |3504 |1973 |1769 |  89 |  39 | 335 | 0.000000e+00 | 5.620000e+02 |    Inf 
18.19/18.21	o 551
18.19/18.21	c *17.9s|   103 |    38 |  6107 |  44.8 |  10M|  25 |   - |1973 |3510 |1973 |1777 | 108 |  45 | 335 | 0.000000e+00 | 5.510000e+02 |    Inf 
19.49/19.57	o 526
19.49/19.57	c *19.2s|   207 |    83 | 12242 |  52.0 |  11M|  25 |   - |1973 |3616 |1973 |1777 | 150 | 151 | 348 | 0.000000e+00 | 5.260000e+02 |    Inf 
19.80/19.84	o 362
19.80/19.84	c *19.5s|   233 |    85 | 13985 |  53.7 |  11M|  25 |   - |1973 |3633 |1973 |1767 | 152 | 168 | 348 | 0.000000e+00 | 3.620000e+02 |    Inf 
20.40/20.44	o 356
20.40/20.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
20.40/20.44	c z20.1s|   381 |   126 | 15950 |  37.9 |  12M|  35 |   - |1973 |3784 |1973 |1772 | 181 | 321 | 357 | 0.000000e+00 | 3.560000e+02 |    Inf 
20.40/20.48	o 295
20.40/20.48	c *20.1s|   397 |   121 | 16021 |  36.6 |  12M|  35 |   - |1973 |3813 |1973 |1765 | 181 | 350 | 357 | 0.000000e+00 | 2.950000e+02 |    Inf 
20.59/20.67	o 268
20.59/20.67	c *20.3s|   512 |   136 | 16470 |  29.2 |  12M|  56 |   - |1973 |3949 |1973 |1773 | 198 | 490 | 357 | 0.000000e+00 | 2.680000e+02 |    Inf 
20.69/20.71	o 241
20.69/20.71	c *20.3s|   526 |   131 | 16552 |  28.6 |  12M|  58 |   - |1973 |3965 |1973 |1765 | 198 | 506 | 357 | 0.000000e+00 | 2.410000e+02 |    Inf 
20.80/20.85	o 222
20.80/20.85	c *20.4s|   590 |   137 | 16983 |  26.2 |  12M|  58 |   - |1973 |4010 |1973 |1770 | 208 | 555 | 357 | 0.000000e+00 | 2.220000e+02 |    Inf 
20.80/20.88	o 218
20.80/20.88	c *20.5s|   601 |   139 | 17055 |  25.9 |  13M|  58 |   - |1973 |4022 |1973 |1772 | 215 | 568 | 357 | 0.000000e+00 | 2.180000e+02 |    Inf 
23.49/23.51	o 215
23.49/23.51	c *23.0s|  1387 |   300 | 27246 |  18.6 |  14M|  58 |   - |1973 |4567 |1973 |1765 | 396 |1393 | 453 | 0.000000e+00 | 2.150000e+02 |    Inf 
23.49/23.54	o 190
23.49/23.54	c *23.1s|  1407 |   300 | 27300 |  18.3 |  14M|  58 |   - |1973 |4579 |1973 |1771 | 402 |1407 | 453 | 0.000000e+00 | 1.900000e+02 |    Inf 
24.39/24.47	o 180
24.39/24.47	c *23.9s|  1712 |   361 | 31015 |  17.2 |  15M|  58 |   - |1973 |4788 |1973 |1765 | 506 |1740 | 495 | 0.000000e+00 | 1.800000e+02 |    Inf 
24.39/24.48	o 118
24.39/24.48	c *23.9s|  1713 |   321 | 31027 |  17.2 |  15M|  58 |   - |1973 |4788 |1973 |1766 | 507 |1740 | 495 | 0.000000e+00 | 1.180000e+02 |    Inf 
27.29/27.31	o 114
27.29/27.31	c *26.7s|  3109 |   384 | 40868 |  12.7 |  16M|  58 |   - |1973 |5809 |1973 |1765 | 816 |3450 | 561 | 0.000000e+00 | 1.140000e+02 |    Inf 
34.59/34.61	o 105
34.59/34.61	c *33.7s|  6735 |   630 | 68996 |  10.0 |  18M|  74 |   - |1973 |5795 |1973 |1780 |1450 |7728 | 569 | 0.000000e+00 | 1.050000e+02 |    Inf 
35.29/35.31	o 84
35.29/35.31	c *34.4s|  7016 |   598 | 72022 |  10.0 |  18M|  74 |   - |1973 |5833 |1973 |1772 |1503 |8093 | 570 | 0.000000e+00 | 8.400000e+01 |    Inf 
36.39/36.43	o 76
36.39/36.43	c *35.4s|  7423 |   613 | 76419 |  10.1 |  18M|  74 |   - |1973 |5533 |1973 |1771 |1569 |8607 | 615 | 0.000000e+00 | 7.600000e+01 |    Inf 
38.49/38.55	o 40
38.49/38.55	c *37.5s|  8272 |   508 | 84841 |  10.1 |  17M|  74 |   - |1973 |5316 |1973 |1775 |1760 |9661 | 678 | 0.000000e+00 | 4.000000e+01 |    Inf 
42.90/42.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
42.90/42.94	c  41.7s| 10000 |   560 |112779 |  11.1 |  18M|  74 |  13 |1973 |5687 |1973 |1765 |1987 |  11k| 685 | 0.000000e+00 | 4.000000e+01 |    Inf 
46.79/46.82	o 27
46.79/46.82	c *45.5s| 11447 |   520 |133581 |  11.5 |  18M|  74 |   - |1973 |6167 |1973 |1765 |2263 |  13k| 789 | 0.000000e+00 | 2.700000e+01 |    Inf 
67.29/67.34	c  65.2s| 20000 |   574 |258661 |  12.9 |  21M|  74 |   - |1973 |  10k|1973 |1765 |3515 |  23k|1114 | 0.000000e+00 | 2.700000e+01 |    Inf 
90.60/90.63	c  87.6s| 30000 |   460 |391057 |  13.0 |  20M|  74 |   - |1973 |9047 |   0 |   0 |5257 |  36k|1577 | 0.000000e+00 | 2.700000e+01 |    Inf 
111.99/112.02	c   108s| 40000 |   584 |511645 |  12.8 |  23M|  74 |   - |1973 |  12k|1973 |1765 |6567 |  49k|1639 | 0.000000e+00 | 2.700000e+01 |    Inf 
125.90/125.95	o 20
125.90/125.95	c * 122s| 46108 |   555 |591815 |  12.8 |  23M|  74 |   - |1973 |  12k|1973 |1780 |7396 |  57k|1644 | 0.000000e+00 | 2.000000e+01 |    Inf 
134.89/134.94	c   130s| 50000 |   754 |644577 |  12.9 |  24M|  74 |  13 |1973 |  12k|1973 |1765 |7759 |  62k|1644 | 0.000000e+00 | 2.000000e+01 |    Inf 
159.99/160.09	c   155s| 60000 |  1112 |792524 |  13.2 |  28M|  74 |   - |1973 |  14k|   0 |   0 |9108 |  75k|1852 | 0.000000e+00 | 2.000000e+01 |    Inf 
183.29/183.31	c   177s| 70000 |  1379 |922465 |  13.2 |  30M|  74 |  15 |1973 |  16k|1973 |1765 |  10k|  89k|2150 | 0.000000e+00 | 2.000000e+01 |    Inf 
207.30/207.31	c   200s| 80000 |  1514 |  1054k|  13.2 |  32M|  74 |  15 |1973 |  17k|1973 |1765 |  12k| 103k|2421 | 0.000000e+00 | 2.000000e+01 |    Inf 
223.20/223.29	o 12
223.20/223.29	c * 215s| 86660 |  1466 |  1140k|  13.1 |  32M|  74 |   - |1973 |  17k|1973 |1765 |  13k| 112k|2577 | 0.000000e+00 | 1.200000e+01 |    Inf 
230.90/230.94	c   223s| 90000 |  1519 |  1184k|  13.1 |  32M|  74 |   1 |1973 |  16k|1973 |1765 |  13k| 117k|2594 | 0.000000e+00 | 1.200000e+01 |    Inf 
255.20/255.21	c   246s|100000 |  1594 |  1326k|  13.2 |  32M|  74 |   - |1973 |  16k|   0 |   0 |  14k| 131k|2856 | 0.000000e+00 | 1.200000e+01 |    Inf 
276.40/276.43	c   267s|110000 |  1806 |  1441k|  13.1 |  36M|  74 |  27 |1973 |  21k|1973 |1765 |  15k| 145k|3005 | 0.000000e+00 | 1.200000e+01 |    Inf 
298.80/298.86	c   288s|120000 |  1715 |  1562k|  13.0 |  35M|  74 |   - |1973 |  16k|   0 |   0 |  16k| 159k|3249 | 0.000000e+00 | 1.200000e+01 |    Inf 
323.80/323.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
323.80/323.82	c   312s|130000 |  1694 |  1702k|  13.1 |  34M|  74 |  10 |1973 |  15k|1973 |1765 |  17k| 172k|3410 | 0.000000e+00 | 1.200000e+01 |    Inf 
348.40/348.42	c   336s|140000 |  1820 |  1847k|  13.2 |  36M|  74 |   - |1973 |  15k|   0 |   0 |  18k| 186k|3660 | 0.000000e+00 | 1.200000e+01 |    Inf 
372.20/372.30	c   359s|150000 |  1817 |  1982k|  13.2 |  36M|  74 |  17 |1973 |  16k|1973 |1765 |  19k| 199k|3798 | 0.000000e+00 | 1.200000e+01 |    Inf 
396.20/396.20	c   382s|160000 |  1928 |  2116k|  13.2 |  39M|  74 |   - |1973 |  19k|   0 |   0 |  20k| 212k|3956 | 0.000000e+00 | 1.200000e+01 |    Inf 
420.50/420.50	c   406s|170000 |  2002 |  2247k|  13.2 |  39M|  74 |  20 |1973 |  18k|1973 |1765 |  21k| 225k|4154 | 0.000000e+00 | 1.200000e+01 |    Inf 
444.00/444.08	c   428s|180000 |  2089 |  2370k|  13.2 |  41M|  74 |   - |1973 |  20k|1973 |1765 |  22k| 239k|4324 | 0.000000e+00 | 1.200000e+01 |    Inf 
469.71/469.71	c   453s|190000 |  2175 |  2507k|  13.2 |  42M|  74 |   - |1973 |  22k|1973 |1765 |  22k| 253k|4525 | 0.000000e+00 | 1.200000e+01 |    Inf 
495.10/495.11	c   478s|200000 |  2051 |  2647k|  13.2 |  41M|  74 |   - |1973 |  18k|1973 |1765 |  23k| 267k|4697 | 0.000000e+00 | 1.200000e+01 |    Inf 
519.41/519.40	c   501s|210000 |  2399 |  2785k|  13.3 |  44M|  74 |   - |1973 |  21k|   0 |   0 |  25k| 281k|4851 | 0.000000e+00 | 1.200000e+01 |    Inf 
544.60/544.69	c   526s|220000 |  2548 |  2935k|  13.3 |  46M|  74 |   - |1973 |  23k|1973 |1765 |  25k| 295k|5021 | 0.000000e+00 | 1.200000e+01 |    Inf 
569.81/569.89	c   550s|230000 |  2626 |  3078k|  13.4 |  48M|  74 |  23 |1973 |  28k|1973 |1765 |  26k| 309k|5168 | 0.000000e+00 | 1.200000e+01 |    Inf 
595.20/595.23	c   575s|240000 |  2545 |  3214k|  13.4 |  47M|  74 |   - |1973 |  24k|   0 |   0 |  27k| 323k|5333 | 0.000000e+00 | 1.200000e+01 |    Inf 
621.11/621.15	c   600s|250000 |  2653 |  3353k|  13.4 |  48M|  74 |  20 |1973 |  24k|1973 |1765 |  28k| 337k|5478 | 0.000000e+00 | 1.200000e+01 |    Inf 
647.41/647.48	c   625s|260000 |  2673 |  3489k|  13.4 |  48M|  74 |   - |1973 |  22k|   0 |   0 |  29k| 352k|5648 | 0.000000e+00 | 1.200000e+01 |    Inf 
673.21/673.24	c   650s|270000 |  2447 |  3632k|  13.4 |  47M|  74 |  26 |1973 |  23k|1973 |1770 |  30k| 366k|5830 | 0.000000e+00 | 1.200000e+01 |    Inf 
699.21/699.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
699.21/699.25	c   675s|280000 |  2419 |  3774k|  13.5 |  46M|  74 |  16 |1973 |  23k|1973 |1765 |  31k| 380k|5977 | 0.000000e+00 | 1.200000e+01 |    Inf 
726.01/726.05	c   700s|290000 |  2508 |  3922k|  13.5 |  49M|  74 |  28 |1973 |  26k|1973 |1765 |  31k| 394k|6162 | 0.000000e+00 | 1.200000e+01 |    Inf 
754.51/754.53	c   728s|300000 |  2550 |  4067k|  13.6 |  49M|  74 |  12 |1973 |  25k|1973 |1765 |  32k| 408k|6340 | 0.000000e+00 | 1.200000e+01 |    Inf 
780.70/780.72	c   753s|310000 |  2439 |  4201k|  13.5 |  48M|  74 |  17 |1973 |  23k|1973 |1772 |  32k| 423k|6488 | 0.000000e+00 | 1.200000e+01 |    Inf 
805.31/805.30	c   777s|320000 |  2463 |  4324k|  13.5 |  47M|  74 |   - |1973 |  21k|   0 |   0 |  33k| 437k|6564 | 0.000000e+00 | 1.200000e+01 |    Inf 
831.61/831.66	c   802s|330000 |  2367 |  4469k|  13.5 |  46M|  74 |   - |1973 |  16k|   0 |   0 |  34k| 451k|6742 | 0.000000e+00 | 1.200000e+01 |    Inf 
855.11/855.15	c   825s|340000 |  2418 |  4595k|  13.5 |  47M|  74 |  19 |1973 |  19k|1973 |1765 |  35k| 464k|6865 | 0.000000e+00 | 1.200000e+01 |    Inf 
879.21/879.21	c   848s|350000 |  2448 |  4726k|  13.5 |  48M|  74 |  17 |1973 |  20k|1973 |1765 |  36k| 478k|6977 | 0.000000e+00 | 1.200000e+01 |    Inf 
905.81/905.84	c   874s|360000 |  2186 |  4874k|  13.5 |  45M|  74 |  16 |1973 |  15k|1973 |1765 |  36k| 492k|7107 | 0.000000e+00 | 1.200000e+01 |    Inf 
930.41/930.48	c   898s|370000 |  2315 |  5015k|  13.6 |  46M|  74 |   - |1973 |  17k|1973 |1765 |  38k| 506k|7210 | 0.000000e+00 | 1.200000e+01 |    Inf 
954.51/954.51	c   921s|380000 |  2427 |  5138k|  13.5 |  49M|  74 |   5 |1973 |  24k|1973 |1765 |  39k| 519k|7339 | 0.000000e+00 | 1.200000e+01 |    Inf 
978.21/978.22	c   944s|390000 |  2458 |  5253k|  13.5 |  50M|  74 |   - |1973 |  25k|   0 |   0 |  41k| 533k|7481 | 0.000000e+00 | 1.200000e+01 |    Inf 
1002.21/1002.27	c   967s|400000 |  2548 |  5367k|  13.4 |  51M|  74 |   - |1973 |  26k|   0 |   0 |  42k| 546k|7523 | 0.000000e+00 | 1.200000e+01 |    Inf 
1027.91/1027.99	c   992s|410000 |  2537 |  5489k|  13.4 |  53M|  74 |  26 |1973 |  30k|1973 |1765 |  44k| 559k|7651 | 0.000000e+00 | 1.200000e+01 |    Inf 
1055.51/1055.59	c  1018s|420000 |  2605 |  5612k|  13.4 |  54M|  74 |   - |1973 |  30k|   0 |   0 |  45k| 573k|7774 | 0.000000e+00 | 1.200000e+01 |    Inf 
1084.01/1084.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1084.01/1084.07	c  1046s|430000 |  2759 |  5737k|  13.3 |  56M|  74 |  20 |1973 |  32k|1973 |1773 |  46k| 586k|7850 | 0.000000e+00 | 1.200000e+01 |    Inf 
1112.22/1112.29	c  1073s|440000 |  2715 |  5869k|  13.3 |  55M|  74 |   - |1973 |  30k|   0 |   0 |  47k| 600k|7926 | 0.000000e+00 | 1.200000e+01 |    Inf 
1138.42/1138.43	c  1099s|450000 |  2762 |  5988k|  13.3 |  57M|  74 |  19 |1973 |  34k|1973 |1765 |  48k| 614k|8119 | 0.000000e+00 | 1.200000e+01 |    Inf 
1165.61/1165.69	c  1125s|460000 |  2846 |  6109k|  13.3 |  58M|  74 |   9 |1973 |  35k|1973 |1765 |  50k| 627k|8210 | 0.000000e+00 | 1.200000e+01 |    Inf 
1192.82/1192.89	c  1151s|470000 |  2910 |  6228k|  13.2 |  58M|  74 |   - |1973 |  35k|   0 |   0 |  51k| 640k|8265 | 0.000000e+00 | 1.200000e+01 |    Inf 
1221.11/1221.14	c  1179s|480000 |  3009 |  6352k|  13.2 |  61M|  74 |   - |1973 |  38k|1973 |1765 |  52k| 654k|8410 | 0.000000e+00 | 1.200000e+01 |    Inf 
1248.52/1248.53	c  1205s|490000 |  3122 |  6477k|  13.2 |  62M|  74 |  16 |1973 |  39k|1973 |1765 |  54k| 667k|8504 | 0.000000e+00 | 1.200000e+01 |    Inf 
1275.22/1275.23	c  1231s|500000 |  3376 |  6602k|  13.2 |  62M|  74 |  20 |1973 |  35k|1973 |1765 |  55k| 681k|8572 | 0.000000e+00 | 1.200000e+01 |    Inf 
1301.11/1301.19	c  1256s|510000 |  3357 |  6720k|  13.2 |  62M|  74 |   - |1973 |  34k|   0 |   0 |  56k| 695k|8735 | 0.000000e+00 | 1.200000e+01 |    Inf 
1327.63/1327.65	c  1282s|520000 |  3301 |  6841k|  13.2 |  61M|  74 |   7 |1973 |  32k|1973 |1765 |  57k| 708k|8790 | 0.000000e+00 | 1.200000e+01 |    Inf 
1355.42/1355.46	c  1309s|530000 |  3470 |  6979k|  13.2 |  61M|  74 |   - |1973 |  31k|   0 |   0 |  59k| 722k|8878 | 0.000000e+00 | 1.200000e+01 |    Inf 
1382.72/1382.71	c  1335s|540000 |  3500 |  7109k|  13.2 |  62M|  74 |   - |1973 |  33k|1973 |1765 |  60k| 735k|9006 | 0.000000e+00 | 1.200000e+01 |    Inf 
1409.62/1409.69	c  1361s|550000 |  3297 |  7231k|  13.1 |  61M|  74 |   - |1973 |  30k|1973 |1765 |  62k| 749k|9091 | 0.000000e+00 | 1.200000e+01 |    Inf 
1436.22/1436.21	c  1387s|560000 |  3098 |  7356k|  13.1 |  59M|  74 |   - |1973 |  29k|   0 |   0 |  63k| 763k|9160 | 0.000000e+00 | 1.200000e+01 |    Inf 
1463.43/1463.45	c  1413s|570000 |  2603 |  7483k|  13.1 |  54M|  74 |   - |1973 |  23k|   0 |   0 |  64k| 777k|9315 | 0.000000e+00 | 1.200000e+01 |    Inf 
1488.02/1488.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1488.02/1488.01	c  1437s|580000 |  2733 |  7601k|  13.1 |  55M|  74 |   - |1973 |  23k|   0 |   0 |  65k| 790k|9442 | 0.000000e+00 | 1.200000e+01 |    Inf 
1512.62/1512.61	c  1461s|590000 |  2683 |  7722k|  13.1 |  53M|  74 |   - |1973 |  20k|   0 |   0 |  67k| 803k|9495 | 0.000000e+00 | 1.200000e+01 |    Inf 
1536.33/1536.37	c  1484s|600000 |  2255 |  7845k|  13.1 |  48M|  74 |   - |1973 |  15k|   0 |   0 |  68k| 817k|9597 | 0.000000e+00 | 1.200000e+01 |    Inf 
1560.12/1560.18	c  1506s|610000 |  2284 |  7973k|  13.1 |  48M|  74 |   - |1973 |  15k|   0 |   0 |  69k| 831k|9687 | 0.000000e+00 | 1.200000e+01 |    Inf 
1585.33/1585.38	c  1531s|620000 |  2324 |  8113k|  13.1 |  50M|  74 |   - |1973 |  17k|   0 |   0 |  70k| 845k|9737 | 0.000000e+00 | 1.200000e+01 |    Inf 
1610.03/1610.05	c  1555s|630000 |  2028 |  8245k|  13.1 |  47M|  74 |  23 |1973 |  14k|1973 |1765 |  72k| 858k|9843 | 0.000000e+00 | 1.200000e+01 |    Inf 
1632.62/1632.62	c  1576s|640000 |  1852 |  8369k|  13.1 |  45M|  74 |   - |1973 |  13k|   0 |   0 |  73k| 872k|9941 | 0.000000e+00 | 1.200000e+01 |    Inf 
1655.63/1655.60	c  1598s|650000 |  1611 |  8498k|  13.1 |  43M|  74 |   - |1973 |  13k|1973 |1765 |  74k| 885k|9980 | 0.000000e+00 | 1.200000e+01 |    Inf 
1678.42/1678.42	c  1620s|660000 |  1699 |  8623k|  13.1 |  45M|  74 |   - |1973 |  15k|1973 |1765 |  74k| 898k|  10k| 0.000000e+00 | 1.200000e+01 |    Inf 
1702.62/1702.69	c  1644s|670000 |  1846 |  8763k|  13.1 |  46M|  74 |  20 |1973 |  15k|1973 |1765 |  75k| 912k|  10k| 0.000000e+00 | 1.200000e+01 |    Inf 
1724.83/1724.81	c  1665s|680000 |  1726 |  8875k|  13.1 |  45M|  74 |   - |1973 |  14k|   0 |   0 |  76k| 926k|  10k| 0.000000e+00 | 1.200000e+01 |    Inf 
1747.84/1747.89	c  1687s|690000 |  1745 |  9004k|  13.0 |  46M|  74 |  15 |1973 |  17k|1973 |1765 |  77k| 939k|  10k| 0.000000e+00 | 1.200000e+01 |    Inf 
1771.83/1771.80	c  1710s|700000 |  1829 |  9126k|  13.0 |  48M|  74 |   8 |1973 |  20k|1973 |1773 |  79k| 953k|  10k| 0.000000e+00 | 1.200000e+01 |    Inf 
1795.62/1795.65	c  1733s|710000 |  2017 |  9252k|  13.0 |  50M|  74 |  23 |1973 |  22k|1973 |1765 |  80k| 966k|  10k| 0.000000e+00 | 1.200000e+01 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1737.35
1800.04/1800.00	c Solving Nodes      : 711777
1800.04/1800.00	c Primal Bound       : +1.20000000000000e+01 (135 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.01	s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/1800.01	v -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 
1800.04/1800.01	v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 
1800.04/1800.01	v -x80 -x79 x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 
1800.04/1800.01	v x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 x33 -x32 -x31 -x30 -x29 
1800.04/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 
1800.04/1800.01	v -x2 -x1 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1737.35
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2693523-1277908600.wbo
1800.04/1800.01	c   Variables        : 2085 (1158 binary, 0 integer, 0 implicit integer, 927 continuous)
1800.04/1800.01	c   Constraints      : 3635 initial, 3635 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2693523-1277908600.wbo
1800.04/1800.01	c   Variables        : 1973 (1102 binary, 0 integer, 0 implicit integer, 871 continuous)
1800.04/1800.01	c   Constraints      : 3465 initial, 40575 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00         56          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00         56          0          0          0          0          0          0          0
1800.04/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.01	c   indicator        :       0.00          0          0          0          0          0         56          0          0
1800.04/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   linear           :       0.04          0          0          0        929          0        114         56          0
1800.04/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -        770          -          -       1540          -          -          -          -
1800.04/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   integral         :          0          0          0     396846          0        360       3818          0          0     758668
1800.04/1800.01	c   indicator        :        871          0    3222912      14090          0        287     982434          0          0          0
1800.04/1800.01	c   knapsack         :          1          6    3220161      14067          0      35411    8705199          0          0          0
1800.04/1800.01	c   setppc           :         14          6    3189369      14028          0      54858    2324272          0          0          0
1800.04/1800.01	c   linear           :        871          6    3135478      14089          0      48708    3692065      80194          0          0
1800.04/1800.01	c   logicor          :       1708+         6    1639431        619          0     117107    6117381          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0        619          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :      52.44       0.00       0.00      52.44       0.00
1800.04/1800.01	c   indicator        :       6.79       0.01       6.47       0.31       0.00
1800.04/1800.01	c   knapsack         :      33.93       0.00      33.93       0.00       0.00
1800.04/1800.01	c   setppc           :      13.90       0.00      13.88       0.02       0.00
1800.04/1800.01	c   linear           :      44.90       0.00      44.51       0.39       0.00
1800.04/1800.01	c   logicor          :     223.44       0.00     223.43       0.01       0.00
1800.04/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.01	c   vbounds          :       0.84          2          0          0
1800.04/1800.01	c   rootredcost      :       0.66         25          0        770
1800.04/1800.01	c   pseudoobj        :      58.72    3228104       2166     829989
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :       9.80     258250     257747    1544626       27.3       8532       24.0          -
1800.04/1800.01	c   infeasible LP    :      21.74     116273     116272     941213       42.8       1024       17.9          0
1800.04/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.01	c   pseudo solution  :       0.00         32         32        205       19.5          6        9.3          -
1800.04/1800.01	c   applied globally :          -          -          -     968890       27.8          -          -          -
1800.04/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.01	c   cut pool         :       0.00          5          -          -         55          -    (maximal pool size: 421)
1800.04/1800.01	c   redcost          :      11.16     398518          0     125766          0          0
1800.04/1800.01	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.01	c   gomory           :       0.10          6          0          0       2278          0
1800.04/1800.01	c   strongcg         :       0.08          6          0          0       1764          0
1800.04/1800.01	c   cmir             :       0.01          6          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.04          6          0          0          0          0
1800.04/1800.01	c   clique           :       0.00          6          0          0          0          0
1800.04/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.01	c Pricers            :       Time      Calls       Vars
1800.04/1800.01	c   problem variables:       0.00          0          0
1800.04/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.01	c   relpscost        :      52.14     382738        360       3818          0          0     758668
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :       0.03        596          0          0          0          0       1192
1800.04/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.01	c   LP solutions     :       0.01          -         23
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   feaspump         :       0.02          1          0
1800.04/1800.01	c   oneopt           :       0.33         24          0
1800.04/1800.01	c   intshifting      :       0.05         20          0
1800.04/1800.01	c   crossover        :       0.34         14          0
1800.04/1800.01	c   fracdiving       :       0.32         87          0
1800.04/1800.01	c   veclendiving     :       0.30         87          0
1800.04/1800.01	c   guideddiving     :       0.36         87          0
1800.04/1800.01	c   coefdiving       :       0.30         87          0
1800.04/1800.01	c   pscostdiving     :       0.29         87          0
1800.04/1800.01	c   rootsoldiving    :       0.44         44          0
1800.04/1800.01	c   linesearchdiving :       0.27         88          0
1800.04/1800.01	c   objpscostdiving  :       0.32         45          0
1800.04/1800.01	c   trivial          :       0.01          2          0
1800.04/1800.01	c   simplerounding   :       0.66     383101          0
1800.04/1800.01	c   zirounding       :       0.47       1000          1
1800.04/1800.01	c   rounding         :       0.93       8694          0
1800.04/1800.01	c   shifting         :       0.74       2751          0
1800.04/1800.01	c   twoopt           :       0.00          0          0
1800.04/1800.01	c   fixandinfer      :       0.00          0          0
1800.04/1800.01	c   intdiving        :       0.00          0          0
1800.04/1800.01	c   actconsdiving    :       0.00          0          0
1800.04/1800.01	c   octane           :       0.00          0          0
1800.04/1800.01	c   rens             :       0.03          1          0
1800.04/1800.01	c   rins             :       0.00          0          0
1800.04/1800.01	c   localbranching   :       0.00          0          0
1800.04/1800.01	c   mutation         :       0.00          0          0
1800.04/1800.01	c   dins             :       0.00          0          0
1800.04/1800.01	c   undercover       :       0.00          0          0
1800.04/1800.01	c   nlp              :       0.25          0          0
1800.04/1800.01	c   trysol           :       0.56       1648        111
1800.04/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.01	c   dual LP          :     918.20     510976    9262244      18.13   10087.39
1800.04/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.01	c   diving/probing LP:       1.82       1056      11677      11.06    6415.93
1800.04/1800.01	c   strong branching :      48.22      10535     450390      42.75    9340.32
1800.04/1800.01	c     (at root node) :          -         33      20142     610.36          -
1800.04/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.01	c B&B Tree           :
1800.04/1800.01	c   number of runs   :          1
1800.04/1800.01	c   nodes            :     711777
1800.04/1800.01	c   nodes (total)    :     711777
1800.04/1800.01	c   nodes left       :       2051
1800.04/1800.01	c   max depth        :         74
1800.04/1800.01	c   max depth (total):         74
1800.04/1800.01	c   backtracks       :      97789 (13.7%)
1800.04/1800.01	c   delayed cutoffs  :      45462
1800.04/1800.01	c   repropagations   :    1220007 (4127288 domain reductions, 42262 cutoffs)
1800.04/1800.01	c   avg switch length:       5.19
1800.04/1800.01	c   switching time   :     192.50
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :        135 (25 improvements)
1800.04/1800.01	c   First Solution   : +4.29620000000000e+04   (in run 1, after 1 nodes, 0.24 seconds, depth 0, found by <trysol>)
1800.04/1800.01	c   Primal Bound     : +1.20000000000000e+01   (in run 1, after 86660 nodes, 215.45 seconds, depth 36, found by <relaxation>)
1800.04/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.01	c   Gap              :   infinite
1800.04/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.01	c   Root Iterations  :       1534
1800.04/1800.08	c Time complete: 1800.11.

Verifier Data 

OK	12

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693523-1277908600/watcher-2693523-1277908600 -o /tmp/evaluation-result-2693523-1277908600/solver-2693523-1277908600 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693523-1277908600.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.02 2.01 2.00 4/178 12900
/proc/meminfo: memFree=31454196/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=10872 CPUtime=0
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 1665 0 0 0 0 0 0 0 25 0 1 0 132156955 11132928 1586 4089446400 4194304 9819077 140734215006832 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12900/statm: 2718 1586 392 1374 0 1339 0

[startup+0.0266229 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 12900
/proc/meminfo: memFree=31454196/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=15044 CPUtime=0.02
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 2603 0 0 0 2 0 0 0 25 0 1 0 132156955 15405056 2525 4089446400 4194304 9819077 140734215006832 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12900/statm: 3761 2559 392 1374 0 2382 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15044

[startup+0.100604 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 12900
/proc/meminfo: memFree=31454196/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=25884 CPUtime=0.09
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 7410 0 0 0 9 0 0 0 25 0 1 0 132156955 26505216 5178 4089446400 4194304 9819077 140734215006832 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 6471 4924 512 1374 0 5092 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25884

[startup+0.300574 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 12900
/proc/meminfo: memFree=31454196/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=34828 CPUtime=0.29
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 11586 0 0 0 27 2 0 0 25 0 1 0 132156955 35663872 7181 4089446400 4194304 9819077 140734215006832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 8707 7181 690 1374 0 7328 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34828

[startup+0.700498 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 12900
/proc/meminfo: memFree=31454196/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=39800 CPUtime=0.69
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 21586 0 0 0 66 3 0 0 25 0 1 0 132156955 40755200 7732 4089446400 4194304 9819077 140734215006832 18446744073709551615 7296819 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 9950 7732 714 1374 0 8571 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39800

[startup+1.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12901
/proc/meminfo: memFree=31425544/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=39740 CPUtime=1.49
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 27191 0 0 0 145 4 0 0 25 0 1 0 132156955 40693760 7733 4089446400 4194304 9819077 140734215006832 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 9935 7733 714 1374 0 8556 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39740

[startup+3.10103 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12901
/proc/meminfo: memFree=31425544/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=39932 CPUtime=3.09
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 38433 0 0 0 302 7 0 0 25 0 1 0 132156955 40890368 7720 4089446400 4194304 9819077 140734215006832 18446744073709551615 6192281 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 9983 7720 714 1374 0 8604 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39932

[startup+6.30045 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12901
/proc/meminfo: memFree=31425412/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=39740 CPUtime=6.29
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 58942 0 0 0 618 11 0 0 25 0 1 0 132156955 40693760 7756 4089446400 4194304 9819077 140734215006832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 9935 7756 718 1374 0 8556 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39740

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12901
/proc/meminfo: memFree=31425524/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=39764 CPUtime=12.69
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 98653 0 0 0 1248 21 0 0 25 0 1 0 132156955 40718336 7737 4089446400 4194304 9819077 140734215006832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 9941 7737 718 1374 0 8562 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39764

[startup+25.5011 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12902
/proc/meminfo: memFree=31417392/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=46484 CPUtime=25.49
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 218847 0 0 0 2495 54 0 0 25 0 1 0 132156955 47599616 9937 4089446400 4194304 9819077 140734215006832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 11586 9935 727 1374 0 10207 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46484

[startup+51.1006 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12902
/proc/meminfo: memFree=31397904/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=63384 CPUtime=51.1
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 495796 0 0 0 4961 149 0 0 25 0 1 0 132156955 64905216 14166 4089446400 4194304 9819077 140734215006832 18446744073709551615 6192064 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 15846 14166 727 1374 0 14467 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 63384

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12904
/proc/meminfo: memFree=31390916/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=70604 CPUtime=102.3
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 1115029 0 0 0 9881 349 0 0 25 0 1 0 132156955 72298496 15940 4089446400 4194304 9819077 140734215006832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 17651 15940 742 1374 0 16272 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 70604

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12905
/proc/meminfo: memFree=31380592/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=80112 CPUtime=162.3
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 1746232 0 0 0 15669 561 0 0 25 0 1 0 132156955 82034688 18293 4089446400 4194304 9819077 140734215006832 18446744073709551615 6591525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 20028 18293 742 1374 0 18649 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 80112

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12907
/proc/meminfo: memFree=31374344/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=88220 CPUtime=222.29
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 2353974 0 0 0 21450 779 0 0 25 0 1 0 132156955 90337280 19808 4089446400 4194304 9819077 140734215006832 18446744073709551615 7291896 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 22055 19808 742 1374 0 20676 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 88220

[startup+282.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 12908
/proc/meminfo: memFree=31369576/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=90900 CPUtime=282.29
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 2982029 0 0 0 27233 996 0 0 25 0 1 0 132156955 93081600 20890 4089446400 4194304 9819077 140734215006832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 22725 20890 742 1374 0 21346 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 90900

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12910
/proc/meminfo: memFree=31367168/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=94988 CPUtime=342.29
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 3571379 0 0 0 33021 1208 0 0 25 0 1 0 132156955 97267712 21499 4089446400 4194304 9819077 140734215006832 18446744073709551615 7333877 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 23831 21501 742 1374 0 22452 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 94988

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12912
/proc/meminfo: memFree=31363660/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=97072 CPUtime=402.3
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 4169208 0 0 0 38811 1419 0 0 25 0 1 0 132156955 99401728 22509 4089446400 4194304 9819077 140734215006832 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 24268 22509 742 1374 0 22889 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 97072

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12913
/proc/meminfo: memFree=31359028/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=101480 CPUtime=462.3
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 4722321 0 0 0 44607 1623 0 0 25 0 1 0 132156955 103915520 23532 4089446400 4194304 9819077 140734215006832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 25370 23532 742 1374 0 23991 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 101480

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12915
/proc/meminfo: memFree=31356496/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=103836 CPUtime=522.3
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 5280808 0 0 0 50403 1827 0 0 25 0 1 0 132156955 106328064 24107 4089446400 4194304 9819077 140734215006832 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 25959 24107 742 1374 0 24580 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 103836

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12916
/proc/meminfo: memFree=31351240/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=109008 CPUtime=582.31
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 5818894 0 0 0 56208 2023 0 0 25 0 1 0 132156955 111624192 25438 4089446400 4194304 9819077 140734215006832 18446744073709551615 4924227 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12900/statm: 27252 25438 742 1374 0 25873 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 109008

[startup+642.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 12946
/proc/meminfo: memFree=31499896/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=110384 CPUtime=642.3
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 6368756 0 0 0 61987 2243 0 0 25 0 1 0 132156955 113033216 25958 4089446400 4194304 9819077 140734215006832 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 27596 25958 742 1374 0 26217 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 110384

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12951
/proc/meminfo: memFree=31496532/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=114640 CPUtime=822.31
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 8047887 0 0 0 79333 2898 0 0 25 0 1 0 132156955 117391360 26679 4089446400 4194304 9819077 140734215006832 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 28660 26679 742 1374 0 27281 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 114640

[startup+882.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12952
/proc/meminfo: memFree=31495756/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=115200 CPUtime=882.31
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 8629773 0 0 0 85109 3122 0 0 25 0 1 0 132156955 117964800 26832 4089446400 4194304 9819077 140734215006832 18446744073709551615 4221902 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 28800 26832 742 1374 0 27421 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 115200

[startup+942.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12954
/proc/meminfo: memFree=31495104/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=115816 CPUtime=942.31
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 9191381 0 0 0 90899 3332 0 0 25 0 1 0 132156955 118595584 27072 4089446400 4194304 9819077 140734215006832 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 28954 27072 742 1374 0 27575 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 115816

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12956
/proc/meminfo: memFree=31494692/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=116408 CPUtime=1002.31
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 9718596 0 0 0 96694 3537 0 0 25 0 1 0 132156955 119201792 27132 4089446400 4194304 9819077 140734215006832 18446744073709551615 6519461 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 29102 27132 742 1374 0 27723 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 116408

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12957
/proc/meminfo: memFree=31490948/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=119764 CPUtime=1062.31
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 10195183 0 0 0 102494 3737 0 0 25 0 1 0 132156955 122638336 28001 4089446400 4194304 9819077 140734215006832 18446744073709551615 7291592 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 29941 28001 742 1374 0 28562 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 119764

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12959
/proc/meminfo: memFree=31489428/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=121344 CPUtime=1122.32
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 10653750 0 0 0 108303 3929 0 0 25 0 1 0 132156955 124256256 28358 4089446400 4194304 9819077 140734215006832 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 30336 28358 742 1374 0 28957 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 121344

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12960
/proc/meminfo: memFree=31487292/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=123564 CPUtime=1182.32
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 11129918 0 0 0 114111 4121 0 0 25 0 1 0 132156955 126529536 28826 4089446400 4194304 9819077 140734215006832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 30891 28826 742 1374 0 29512 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 123564

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12962
/proc/meminfo: memFree=31485016/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=126312 CPUtime=1242.31
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 11603081 0 0 0 119922 4309 0 0 25 0 1 0 132156955 129343488 29382 4089446400 4194304 9819077 140734215006832 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 31578 29382 742 1374 0 30199 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 126312

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12964
/proc/meminfo: memFree=31483620/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=127832 CPUtime=1302.32
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 12095490 0 0 0 125723 4509 0 0 25 0 1 0 132156955 130899968 29724 4089446400 4194304 9819077 140734215006832 18446744073709551615 4208920 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 31958 29724 742 1374 0 30579 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 127832

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12965
/proc/meminfo: memFree=31483224/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=127808 CPUtime=1362.32
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 12577930 0 0 0 131534 4698 0 0 25 0 1 0 132156955 130875392 29765 4089446400 4194304 9819077 140734215006832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 31952 29765 742 1374 0 30573 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 127808

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12967
/proc/meminfo: memFree=31483060/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=128452 CPUtime=1422.33
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 13106627 0 0 0 137339 4894 0 0 25 0 1 0 132156955 131534848 29862 4089446400 4194304 9819077 140734215006832 18446744073709551615 6391578 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12900/statm: 32113 29862 742 1374 0 30734 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 128452

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12977
/proc/meminfo: memFree=31481232/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=129160 CPUtime=1482.32
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 13654273 0 0 0 143139 5093 0 0 25 0 1 0 132156955 132259840 30019 4089446400 4194304 9819077 140734215006832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12900/statm: 32290 30019 742 1374 0 30911 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 129160

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12979
/proc/meminfo: memFree=31480460/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=130668 CPUtime=1542.33
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 14223042 0 0 0 148927 5306 0 0 25 0 1 0 132156955 133804032 30212 4089446400 4194304 9819077 140734215006832 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12900/statm: 32667 30212 742 1374 0 31288 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 130668

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12981
/proc/meminfo: memFree=31480056/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=131112 CPUtime=1602.32
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 14791631 0 0 0 154712 5520 0 0 25 0 1 0 132156955 134258688 30297 4089446400 4194304 9819077 140734215006832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12900/statm: 32778 30297 742 1374 0 31399 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 131112

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12982
/proc/meminfo: memFree=31479528/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=131560 CPUtime=1662.33
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 15393983 0 0 0 160488 5745 0 0 25 0 1 0 132156955 134717440 30427 4089446400 4194304 9819077 140734215006832 18446744073709551615 6386071 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12900/statm: 32890 30427 742 1374 0 31511 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 131560

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12984
/proc/meminfo: memFree=31479612/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=131664 CPUtime=1722.33
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 15977253 0 0 0 166260 5973 0 0 25 0 1 0 132156955 134823936 30482 4089446400 4194304 9819077 140734215006832 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12900/statm: 32916 30482 742 1374 0 31537 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 131664

[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 12985
/proc/meminfo: memFree=31479080/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=131632 CPUtime=1782.32
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 16559776 0 0 0 172029 6203 0 0 25 0 1 0 132156955 134791168 30467 4089446400 4194304 9819077 140734215006832 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12900/statm: 32908 30467 742 1374 0 31529 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 131632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 12986
/proc/meminfo: memFree=31479184/32950928 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=131564 CPUtime=1800.04
/proc/12900/stat : 12900 (pbscip.linux.x8) R 12898 12900 11577 0 -1 4202496 16726901 0 0 0 173737 6267 0 0 25 0 1 0 132156955 134721536 30491 4089446400 4194304 9819077 140734215006832 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12900/statm: 32891 30491 742 1374 0 31512 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 131564

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

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

Child status: 0
Real time (s): 1800.08
CPU time (s): 1800.12
CPU user time (s): 1737.44
CPU system time (s): 62.6785
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 133860

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

runsolver used 2.55561 second user time and 5.64514 second system time

The end

Launcher Data 

Begin job on node120 at 2010-06-30 16:36:40
IDJOB=2693523
IDBENCH=78960
IDSOLVER=1205
FILE ID=node120/2693523-1277908600
PBS_JOBID= 11197198
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024--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-2693523-1277908600/watcher-2693523-1277908600 -o /tmp/evaluation-result-2693523-1277908600/solver-2693523-1277908600 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693523-1277908600.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 7129b2638275c1b1b14ce0a3da71735e
RANDOM SEED=1338836470

node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31454724 kB
Buffers:        193924 kB
Cached:         941152 kB
SwapCached:          0 kB
Active:         764128 kB
Inactive:       590348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31454724 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6276 kB
Writeback:           0 kB
AnonPages:      218676 kB
Mapped:          17664 kB
Slab:            78120 kB
PageTables:       5464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   376228 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= 74204 MiB
End job on node120 at 2010-06-30 17:06:42