Trace number 2693384

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.15 1800.1

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-66-100-0.wbo
MD5SUM763c02f50955b910cbe48f7840773e4a
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 benchmark56.3114
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 671
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-2693384-1277900288.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.03	c presolving:
0.03/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.03/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.03/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.10
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.14	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.14	c   0.1s|     1 |     0 |    41 |     - |8736k|   0 |  35 |1933 |3444 |1933 |1742 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	c   0.1s|     1 |     0 |    80 |     - |8835k|   0 |  44 |1933 |3444 |1933 |1759 |  17 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   168 |     - |9173k|   0 |  48 |1933 |3444 |1933 |1775 |  33 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   701 |     - |9231k|   0 |  33 |1933 |3444 |1933 |1787 |  45 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.51	c   0.5s|     1 |     0 |  1096 |     - |9472k|   0 |  55 |1933 |3444 |1933 |1808 |  66 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.62	c   0.6s|     1 |     0 |  1204 |     - |9477k|   0 |  59 |1933 |3444 |1933 |1817 |  75 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.89/0.95	c   0.9s|     1 |     0 |  2405 |     - |  11M|   0 |  88 |1933 |3444 |1933 |1823 |  81 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.00/1.09	c   1.1s|     1 |     0 |  2597 |     - |  11M|   0 | 124 |1933 |3444 |1933 |1844 | 102 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.27	c   1.2s|     1 |     0 |  2752 |     - |  11M|   0 | 136 |1933 |3444 |1933 |1852 | 110 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.19/6.29	c   6.1s|     1 |     2 |  2752 |     - |  11M|   0 | 136 |1933 |3444 |1933 |1852 | 110 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
6.29/6.30	o 41732
6.29/6.30	c y 6.1s|     2 |     1 |  2752 |   0.0 |  11M|   1 |   - |1933 |3444 |   0 |   0 | 110 |   0 |  33 | 0.000000e+00 | 4.173200e+04 |    Inf 
36.39/36.41	o 569
36.39/36.41	c *35.8s|  2633 |  2021 | 62465 |  22.7 |  18M|  55 |   - |1933 |3590 |1933 |1841 |1481 | 152 | 480 | 0.000000e+00 | 5.690000e+02 |    Inf 
36.49/36.51	o 514
36.49/36.51	c *35.9s|  2646 |  1850 | 63068 |  22.8 |  18M|  55 |   - |1933 |3596 |1933 |1837 |1492 | 160 | 480 | 0.000000e+00 | 5.140000e+02 |    Inf 
36.49/36.58	o 310
36.49/36.58	c *35.9s|  2650 |  1105 | 63519 |  22.9 |  17M|  55 |   - |1933 |3596 |1933 |1843 |1509 | 160 | 481 | 0.000000e+00 | 3.100000e+02 |    Inf 
36.59/36.62	o 260
36.59/36.62	c *36.0s|  2658 |   963 | 63664 |  22.9 |  16M|  55 |   - |1933 |3608 |1933 |1839 |1512 | 172 | 482 | 0.000000e+00 | 2.600000e+02 |    Inf 
36.69/36.71	o 247
36.69/36.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.69/36.71	c *36.0s|  2683 |   928 | 64213 |  22.9 |  17M|  55 |   - |1933 |3613 |1933 |1843 |1534 | 178 | 482 | 0.000000e+00 | 2.470000e+02 |    Inf 
36.69/36.76	o 214
36.69/36.76	c *36.1s|  2696 |   864 | 64514 |  22.9 |  16M|  55 |   - |1933 |3616 |1933 |1844 |1552 | 181 | 482 | 0.000000e+00 | 2.140000e+02 |    Inf 
36.69/36.76	o 205
36.69/36.76	c *36.1s|  2697 |   837 | 64515 |  22.9 |  16M|  55 |   - |1933 |3616 |1933 |1844 |1552 | 181 | 482 | 0.000000e+00 | 2.050000e+02 |    Inf 
36.99/37.07	o 197
36.99/37.07	c *36.4s|  2792 |   837 | 66201 |  22.7 |  17M|  55 |   - |1933 |3692 |1933 |1834 |1589 | 262 | 483 | 0.000000e+00 | 1.970000e+02 |    Inf 
37.09/37.10	o 196
37.09/37.10	c *36.4s|  2808 |   834 | 66236 |  22.6 |  17M|  55 |   - |1933 |3701 |1933 |1841 |1596 | 271 | 483 | 0.000000e+00 | 1.960000e+02 |    Inf 
38.09/38.14	o 186
38.09/38.14	c *37.5s|  2977 |   883 | 72794 |  23.5 |  17M|  55 |   - |1933 |3827 |1933 |1830 |1754 | 413 | 485 | 0.000000e+00 | 1.860000e+02 |    Inf 
38.09/38.14	o 185
38.09/38.14	c *37.5s|  2978 |   876 | 72799 |  23.5 |  17M|  55 |   - |1933 |3827 |1933 |1830 |1754 | 413 | 485 | 0.000000e+00 | 1.850000e+02 |    Inf 
38.29/38.37	o 163
38.29/38.37	c *37.7s|  3008 |   817 | 74303 |  23.8 |  17M|  55 |   - |1933 |3832 |1933 |1829 |1757 | 423 | 485 | 0.000000e+00 | 1.630000e+02 |    Inf 
39.20/39.24	o 146
39.20/39.24	c *38.5s|  3198 |   798 | 79527 |  24.0 |  17M|  55 |   - |1933 |4006 |1933 |1840 |1888 | 606 | 485 | 0.000000e+00 | 1.460000e+02 |    Inf 
39.20/39.24	o 142
39.20/39.24	c *38.5s|  3199 |   783 | 79528 |  24.0 |  17M|  55 |   - |1933 |4006 |1933 |1840 |1888 | 606 | 485 | 0.000000e+00 | 1.420000e+02 |    Inf 
40.09/40.15	o 131
40.09/40.15	c *39.4s|  3417 |   859 | 85005 |  24.1 |  17M|  55 |   - |1933 |4144 |1933 |1850 |2048 | 763 | 486 | 0.000000e+00 | 1.310000e+02 |    Inf 
40.19/40.29	o 128
40.19/40.29	c *39.5s|  3476 |   890 | 85642 |  23.9 |  18M|  55 |   - |1933 |4157 |1933 |1843 |2089 | 777 | 487 | 0.000000e+00 | 1.280000e+02 |    Inf 
40.79/40.87	o 123
40.79/40.87	c *40.1s|  3619 |   978 | 89347 |  23.9 |  18M|  55 |   - |1933 |4217 |1933 |1838 |2233 | 850 | 487 | 0.000000e+00 | 1.230000e+02 |    Inf 
40.89/40.90	o 121
40.89/40.90	c *40.1s|  3626 |   970 | 89430 |  23.9 |  18M|  55 |   - |1933 |4217 |1933 |1840 |2235 | 850 | 487 | 0.000000e+00 | 1.210000e+02 |    Inf 
40.89/40.91	o 107
40.89/40.91	c *40.1s|  3630 |   924 | 89437 |  23.9 |  18M|  55 |   - |1933 |4217 |1933 |1840 |2235 | 850 | 487 | 0.000000e+00 | 1.070000e+02 |    Inf 
40.89/40.91	o 88
40.89/40.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
40.89/40.91	c *40.1s|  3631 |   787 | 89438 |  23.9 |  17M|  55 |   - |1933 |4217 |1933 |1840 |2235 | 850 | 487 | 0.000000e+00 | 8.800000e+01 |    Inf 
40.89/40.95	o 80
40.89/40.95	c *40.2s|  3653 |   722 | 89471 |  23.7 |  17M|  55 |   - |1933 |4112 |1933 |1841 |2236 | 850 | 487 | 0.000000e+00 | 8.000000e+01 |    Inf 
40.89/40.96	o 49
40.89/40.96	c *40.2s|  3660 |   559 | 89477 |  23.7 |  16M|  55 |   - |1933 |4031 |1933 |1841 |2236 | 850 | 487 | 0.000000e+00 | 4.900000e+01 |    Inf 
40.99/41.02	o 39
40.99/41.02	c *40.2s|  3675 |   528 | 89707 |  23.7 |  16M|  57 |   - |1933 |3758 |1933 |1840 |2244 | 850 | 487 | 0.000000e+00 | 3.900000e+01 |    Inf 
40.99/41.04	o 25
40.99/41.04	c *40.3s|  3679 |   507 | 89710 |  23.6 |  16M|  57 |   - |1933 |3672 |1933 |1840 |2244 | 850 | 487 | 0.000000e+00 | 2.500000e+01 |    Inf 
41.09/41.10	o 10
41.09/41.10	c *40.3s|  3692 |   440 | 90210 |  23.7 |  16M|  57 |   - |1933 |3542 |1933 |1847 |2265 | 864 | 487 | 0.000000e+00 | 1.000000e+01 |    Inf 
41.09/41.14	o 6
41.09/41.14	c *40.4s|  3696 |   251 | 90433 |  23.7 |  15M|  57 |   - |1933 |3377 |1933 |1838 |2266 | 864 | 487 | 0.000000e+00 | 6.000000e+00 |    Inf 
57.99/58.09	c  56.7s| 10000 |   305 |193592 |  19.1 |  18M|  57 |   - |1933 |7591 |1933 |1826 |3188 |9035 | 793 | 0.000000e+00 | 6.000000e+00 |    Inf 
82.30/82.37	c  80.1s| 20000 |   308 |340144 |  16.9 |  19M|  57 |   - |1933 |9917 |1933 |1826 |4694 |  22k|1167 | 0.000000e+00 | 6.000000e+00 |    Inf 
106.89/106.99	c   104s| 30000 |   518 |487293 |  16.2 |  22M|  57 |  11 |1933 |  13k|1933 |1836 |6424 |  35k|1474 | 0.000000e+00 | 6.000000e+00 |    Inf 
130.80/130.85	c   127s| 40000 |   579 |631898 |  15.7 |  24M|  57 |  26 |1933 |  16k|1933 |1826 |8263 |  48k|1478 | 0.000000e+00 | 6.000000e+00 |    Inf 
154.59/154.68	c   150s| 50000 |   667 |772476 |  15.4 |  26M|  57 |  24 |1933 |  17k|1933 |1832 |9989 |  61k|1478 | 0.000000e+00 | 6.000000e+00 |    Inf 
179.30/179.36	c   174s| 60000 |   763 |911839 |  15.2 |  27M|  57 |  15 |1933 |  18k|1933 |1826 |  11k|  74k|1638 | 0.000000e+00 | 6.000000e+00 |    Inf 
205.40/205.48	c   199s| 70000 |   975 |  1063k|  15.2 |  29M|  62 |   7 |1933 |  19k|1933 |1826 |  12k|  88k|1848 | 0.000000e+00 | 6.000000e+00 |    Inf 
230.39/230.42	c   223s| 80000 |  1019 |  1200k|  15.0 |  30M|  62 |   - |1933 |  20k|   0 |   0 |  14k| 102k|2103 | 0.000000e+00 | 6.000000e+00 |    Inf 
254.10/254.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
254.10/254.11	c   246s| 90000 |   990 |  1328k|  14.7 |  31M|  62 |  15 |1933 |  20k|1933 |1826 |  15k| 117k|2245 | 0.000000e+00 | 6.000000e+00 |    Inf 
278.90/278.91	c   270s|100000 |  1127 |  1458k|  14.6 |  31M|  62 |  31 |1933 |  18k|1933 |1826 |  16k| 131k|2417 | 0.000000e+00 | 6.000000e+00 |    Inf 
302.41/302.46	c   293s|110000 |  1163 |  1582k|  14.4 |  33M|  62 |  26 |1933 |  21k|1933 |1826 |  17k| 145k|2561 | 0.000000e+00 | 6.000000e+00 |    Inf 
327.00/327.01	c   317s|120000 |  1240 |  1711k|  14.2 |  34M|  64 |   - |1933 |  20k|1933 |1826 |  18k| 159k|2780 | 0.000000e+00 | 6.000000e+00 |    Inf 
349.90/349.98	c   339s|130000 |  1243 |  1831k|  14.1 |  34M|  64 |   - |1933 |  20k|   0 |   0 |  19k| 173k|2894 | 0.000000e+00 | 6.000000e+00 |    Inf 
359.61/359.65	o 4
359.61/359.65	c * 348s|133993 |  1147 |  1884k|  14.0 |  34M|  64 |   - |1933 |  21k|1933 |1827 |  20k| 178k|2996 | 0.000000e+00 | 4.000000e+00 |    Inf 
373.60/373.69	c   362s|140000 |   844 |  1958k|  14.0 |  29M|  64 |   - |1933 |  11k|1933 |1826 |  20k| 187k|3038 | 0.000000e+00 | 4.000000e+00 |    Inf 
397.41/397.42	c   385s|150000 |   743 |  2091k|  13.9 |  28M|  64 |  22 |1933 |  13k|1933 |1826 |  22k| 201k|3226 | 0.000000e+00 | 4.000000e+00 |    Inf 
422.31/422.40	c   409s|160000 |   543 |  2224k|  13.9 |  25M|  64 |   - |1933 |  11k|1933 |1826 |  23k| 215k|3663 | 0.000000e+00 | 4.000000e+00 |    Inf 
446.51/446.55	c   432s|170000 |   621 |  2362k|  13.9 |  27M|  64 |   - |1933 |  14k|   0 |   0 |  23k| 227k|3880 | 0.000000e+00 | 4.000000e+00 |    Inf 
469.71/469.77	c   455s|180000 |   464 |  2490k|  13.8 |  26M|  64 |  25 |1933 |  13k|1933 |1826 |  24k| 240k|4019 | 0.000000e+00 | 4.000000e+00 |    Inf 
492.00/492.04	c   477s|190000 |   410 |  2607k|  13.7 |  25M|  64 |  15 |1933 |  13k|1933 |1826 |  25k| 253k|4187 | 0.000000e+00 | 4.000000e+00 |    Inf 
515.31/515.38	c   499s|200000 |   764 |  2736k|  13.7 |  28M|  64 |   - |1933 |  15k|1933 |1826 |  25k| 266k|4331 | 0.000000e+00 | 4.000000e+00 |    Inf 
540.90/540.98	c   524s|210000 |  1242 |  2888k|  13.7 |  31M|  64 |  28 |1933 |  15k|1933 |1826 |  26k| 279k|4426 | 0.000000e+00 | 4.000000e+00 |    Inf 
565.21/565.24	c   547s|220000 |  1501 |  3023k|  13.7 |  34M|  64 |   - |1933 |  18k|   0 |   0 |  26k| 291k|4559 | 0.000000e+00 | 4.000000e+00 |    Inf 
592.11/592.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
592.11/592.17	c   574s|230000 |  1699 |  3178k|  13.8 |  36M|  64 |  22 |1933 |  19k|1933 |1826 |  27k| 305k|4689 | 0.000000e+00 | 4.000000e+00 |    Inf 
618.61/618.65	c   599s|240000 |  1882 |  3328k|  13.9 |  38M|  64 |  27 |1933 |  19k|1933 |1826 |  28k| 318k|4851 | 0.000000e+00 | 4.000000e+00 |    Inf 
642.91/642.91	c   623s|250000 |  2195 |  3466k|  13.9 |  41M|  64 |  48 |1933 |  20k|1933 |1826 |  28k| 331k|4983 | 0.000000e+00 | 4.000000e+00 |    Inf 
667.21/667.24	c   646s|260000 |  2403 |  3603k|  13.9 |  43M|  68 |   - |1933 |  22k|   0 |   0 |  29k| 344k|5113 | 0.000000e+00 | 4.000000e+00 |    Inf 
693.02/693.04	c   671s|270000 |  2514 |  3744k|  13.9 |  44M|  68 |  31 |1933 |  19k|1933 |1826 |  30k| 358k|5232 | 0.000000e+00 | 4.000000e+00 |    Inf 
718.51/718.52	c   696s|280000 |  2560 |  3883k|  13.9 |  44M|  68 |  25 |1933 |  19k|1933 |1826 |  30k| 372k|5357 | 0.000000e+00 | 4.000000e+00 |    Inf 
743.22/743.22	c   720s|290000 |  2880 |  4018k|  13.8 |  48M|  68 |  25 |1933 |  24k|1933 |1832 |  31k| 385k|5487 | 0.000000e+00 | 4.000000e+00 |    Inf 
769.01/769.03	c   745s|300000 |  2708 |  4152k|  13.8 |  46M|  68 |  15 |1933 |  19k|1933 |1826 |  31k| 399k|5585 | 0.000000e+00 | 4.000000e+00 |    Inf 
792.61/792.64	c   768s|310000 |  2546 |  4279k|  13.8 |  46M|  68 |  25 |1933 |  18k|1933 |1831 |  32k| 413k|5666 | 0.000000e+00 | 4.000000e+00 |    Inf 
816.52/816.58	c   791s|320000 |  2430 |  4405k|  13.8 |  46M|  68 |   9 |1933 |  19k|1933 |1826 |  32k| 427k|5757 | 0.000000e+00 | 4.000000e+00 |    Inf 
841.61/841.68	c   815s|330000 |  2367 |  4543k|  13.8 |  46M|  68 |   - |1933 |  20k|1933 |1833 |  33k| 440k|5889 | 0.000000e+00 | 4.000000e+00 |    Inf 
865.82/865.88	c   839s|340000 |  1557 |  4664k|  13.7 |  39M|  68 |   - |1933 |  16k|1933 |1832 |  33k| 455k|6017 | 0.000000e+00 | 4.000000e+00 |    Inf 
890.22/890.26	c   862s|350000 |  1337 |  4801k|  13.7 |  37M|  68 |  24 |1933 |  16k|1933 |1826 |  34k| 468k|6133 | 0.000000e+00 | 4.000000e+00 |    Inf 
912.72/912.79	c   884s|360000 |  1002 |  4918k|  13.7 |  34M|  68 |  26 |1933 |  16k|1933 |1826 |  35k| 482k|6263 | 0.000000e+00 | 4.000000e+00 |    Inf 
936.72/936.74	c   907s|370000 |   781 |  5053k|  13.6 |  32M|  68 |  22 |1933 |  15k|1933 |1835 |  35k| 496k|6341 | 0.000000e+00 | 4.000000e+00 |    Inf 
961.82/961.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
961.82/961.89	c   932s|380000 |   672 |  5193k|  13.7 |  31M|  68 |  18 |1933 |  15k|1933 |1826 |  36k| 509k|6432 | 0.000000e+00 | 4.000000e+00 |    Inf 
984.32/984.36	c   953s|390000 |   578 |  5311k|  13.6 |  31M|  68 |  22 |1933 |  18k|1933 |1826 |  37k| 522k|6549 | 0.000000e+00 | 4.000000e+00 |    Inf 
1007.32/1007.34	c   976s|400000 |   773 |  5434k|  13.6 |  32M|  68 |   - |1933 |  19k|1933 |1826 |  38k| 535k|6640 | 0.000000e+00 | 4.000000e+00 |    Inf 
1029.82/1029.86	c   997s|410000 |  1043 |  5551k|  13.5 |  35M|  68 |   - |1933 |  22k|1933 |1831 |  39k| 548k|6735 | 0.000000e+00 | 4.000000e+00 |    Inf 
1052.42/1052.49	c  1019s|420000 |  1141 |  5660k|  13.5 |  37M|  68 |  38 |1933 |  23k|1933 |1826 |  41k| 561k|6766 | 0.000000e+00 | 4.000000e+00 |    Inf 
1077.22/1077.21	c  1043s|430000 |  1317 |  5789k|  13.5 |  39M|  68 |   - |1933 |  26k|1933 |1832 |  42k| 575k|6847 | 0.000000e+00 | 4.000000e+00 |    Inf 
1100.93/1100.99	c  1066s|440000 |  1308 |  5908k|  13.4 |  39M|  68 |   - |1933 |  24k|   0 |   0 |  43k| 588k|6930 | 0.000000e+00 | 4.000000e+00 |    Inf 
1125.23/1125.20	c  1090s|450000 |  1370 |  6026k|  13.4 |  40M|  68 |  20 |1933 |  26k|1933 |1826 |  44k| 602k|7016 | 0.000000e+00 | 4.000000e+00 |    Inf 
1149.33/1149.39	c  1113s|460000 |  1268 |  6143k|  13.3 |  39M|  68 |  29 |1933 |  25k|1933 |1826 |  45k| 616k|7101 | 0.000000e+00 | 4.000000e+00 |    Inf 
1173.53/1173.50	c  1136s|470000 |  1309 |  6267k|  13.3 |  41M|  68 |   - |1933 |  27k|   0 |   0 |  46k| 629k|7153 | 0.000000e+00 | 4.000000e+00 |    Inf 
1198.03/1198.04	c  1160s|480000 |  1331 |  6388k|  13.3 |  41M|  68 |  50 |1933 |  27k|1933 |1826 |  47k| 643k|7196 | 0.000000e+00 | 4.000000e+00 |    Inf 
1223.93/1223.91	c  1185s|490000 |  1576 |  6522k|  13.3 |  44M|  68 |  22 |1933 |  30k|1933 |1826 |  48k| 656k|7283 | 0.000000e+00 | 4.000000e+00 |    Inf 
1250.43/1250.45	c  1211s|500000 |  1713 |  6657k|  13.3 |  45M|  68 |  13 |1933 |  31k|1933 |1826 |  49k| 669k|7376 | 0.000000e+00 | 4.000000e+00 |    Inf 
1276.53/1276.57	c  1236s|510000 |  1849 |  6790k|  13.3 |  48M|  68 |   - |1933 |  34k|1933 |1826 |  51k| 683k|7460 | 0.000000e+00 | 4.000000e+00 |    Inf 
1303.63/1303.67	c  1263s|520000 |  1946 |  6927k|  13.3 |  48M|  68 |  22 |1933 |  33k|1933 |1826 |  52k| 696k|7526 | 0.000000e+00 | 4.000000e+00 |    Inf 
1329.64/1329.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1329.64/1329.62	c  1288s|530000 |  1766 |  7059k|  13.3 |  47M|  68 |   - |1933 |  30k|1933 |1826 |  54k| 710k|7600 | 0.000000e+00 | 4.000000e+00 |    Inf 
1355.03/1355.04	c  1312s|540000 |  1662 |  7188k|  13.3 |  47M|  68 |  18 |1933 |  30k|1933 |1826 |  55k| 724k|7642 | 0.000000e+00 | 4.000000e+00 |    Inf 
1381.43/1381.47	c  1338s|550000 |  1788 |  7319k|  13.3 |  50M|  68 |   1 |1933 |  36k|1933 |1826 |  56k| 737k|7694 | 0.000000e+00 | 4.000000e+00 |    Inf 
1408.43/1408.49	c  1364s|560000 |  1792 |  7446k|  13.3 |  49M|  68 |   - |1933 |  30k|1933 |1826 |  57k| 751k|7784 | 0.000000e+00 | 4.000000e+00 |    Inf 
1434.44/1434.46	c  1389s|570000 |  1823 |  7576k|  13.3 |  49M|  68 |  15 |1933 |  31k|1933 |1831 |  58k| 764k|7873 | 0.000000e+00 | 4.000000e+00 |    Inf 
1461.14/1461.10	c  1415s|580000 |  1864 |  7708k|  13.3 |  49M|  68 |   - |1933 |  31k|1933 |1826 |  60k| 778k|7959 | 0.000000e+00 | 4.000000e+00 |    Inf 
1485.34/1485.36	c  1439s|590000 |  1391 |  7819k|  13.2 |  44M|  68 |  20 |1933 |  24k|1933 |1826 |  61k| 792k|7968 | 0.000000e+00 | 4.000000e+00 |    Inf 
1511.53/1511.57	c  1464s|600000 |   460 |  7941k|  13.2 |  32M|  68 |  16 |1933 |  20k|1933 |1826 |  62k| 806k|8057 | 0.000000e+00 | 4.000000e+00 |    Inf 
1537.84/1537.90	c  1490s|610000 |   722 |  8085k|  13.3 |  35M|  68 |   - |1933 |  24k|1933 |1826 |  63k| 819k|8184 | 0.000000e+00 | 4.000000e+00 |    Inf 
1565.74/1565.73	c  1517s|620000 |   997 |  8247k|  13.3 |  37M|  68 |   - |1933 |  25k|   0 |   0 |  64k| 832k|8264 | 0.000000e+00 | 4.000000e+00 |    Inf 
1591.84/1591.84	c  1542s|630000 |  1429 |  8386k|  13.3 |  40M|  68 |   - |1933 |  30k|1933 |1826 |  65k| 845k|8303 | 0.000000e+00 | 4.000000e+00 |    Inf 
1616.64/1616.65	c  1566s|640000 |  1596 |  8506k|  13.3 |  42M|  68 |   - |1933 |  32k|   0 |   0 |  66k| 858k|8390 | 0.000000e+00 | 4.000000e+00 |    Inf 
1642.25/1642.27	c  1591s|650000 |  1717 |  8633k|  13.3 |  44M|  68 |   - |1933 |  33k|   0 |   0 |  67k| 871k|8478 | 0.000000e+00 | 4.000000e+00 |    Inf 
1653.64/1653.62	o 2
1653.64/1653.62	c *1602s|654401 |  1611 |  8689k|  13.3 |  43M|  68 |   - |1933 |  32k|1933 |1827 |  68k| 877k|8482 | 0.000000e+00 | 2.000000e+00 |    Inf 
1669.05/1669.03	c  1617s|660000 |  1669 |  8766k|  13.3 |  43M|  68 |  11 |1933 |  32k|1933 |1826 |  68k| 884k|8539 | 0.000000e+00 | 2.000000e+00 |    Inf 
1694.84/1694.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1694.84/1694.81	c  1642s|670000 |  1837 |  8900k|  13.3 |  46M|  68 |   - |1933 |  34k|   0 |   0 |  69k| 898k|8564 | 0.000000e+00 | 2.000000e+00 |    Inf 
1721.45/1721.45	c  1668s|680000 |  1915 |  9034k|  13.3 |  45M|  68 |   - |1933 |  31k|   0 |   0 |  70k| 911k|8651 | 0.000000e+00 | 2.000000e+00 |    Inf 
1747.85/1747.86	c  1693s|690000 |  1998 |  9167k|  13.3 |  47M|  68 |  20 |1933 |  35k|1933 |1826 |  71k| 924k|8762 | 0.000000e+00 | 2.000000e+00 |    Inf 
1774.45/1774.44	c  1719s|700000 |  2009 |  9294k|  13.3 |  48M|  68 |   - |1933 |  36k|1933 |1833 |  72k| 937k|8815 | 0.000000e+00 | 2.000000e+00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time (sec) : 1743.84
1800.05/1800.01	c Solving Nodes      : 708830
1800.05/1800.01	c Primal Bound       : +2.00000000000000e+00 (130 solutions)
1800.05/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.01	c Gap                : infinite
1800.05/1800.02	s SATISFIABLE
1800.05/1800.02	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.02	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.02	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.02	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.02	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 
1800.05/1800.02	v -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 
1800.05/1800.02	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.02	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.02	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.02	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.02	v -x1 
1800.05/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.02	c Solving Time       :    1743.84
1800.05/1800.02	c Original Problem   :
1800.05/1800.02	c   Problem name     : HOME/instance-2693384-1277900288.wbo
1800.05/1800.02	c   Variables        : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.05/1800.02	c   Constraints      : 3614 initial, 3614 maximal
1800.05/1800.02	c Presolved Problem  :
1800.05/1800.02	c   Problem name     : t_HOME/instance-2693384-1277900288.wbo
1800.05/1800.02	c   Variables        : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.05/1800.02	c   Constraints      : 3444 initial, 38731 maximal
1800.05/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.02	c   trivial          :       0.00         55          0          0          0          0          0          0          0
1800.05/1800.02	c   dualfix          :       0.00         55          0          0          0          0          0          0          0
1800.05/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.02	c   indicator        :       0.00          0          0          0          0          0         55          0          0
1800.05/1800.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   linear           :       0.03          0          0          0        906          0        115         55          0
1800.05/1800.02	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.02	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.02	c   root node        :          -        843          -          -       1686          -          -          -          -
1800.05/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.02	c   integral         :          0          0          0     398392          0        296       2908          0          0     759550
1800.05/1800.02	c   indicator        :        851          0    3058050      15899          0         38     202695          0          0          0
1800.05/1800.02	c   setppc           :         12          8    3088528      14576          0      64162    2388712          0          0          0
1800.05/1800.02	c   linear           :        851          8    3027504      16079          0      79272   10023272      73284          0          0
1800.05/1800.02	c   logicor          :       1730+         8    1625267       2257          0      98823    6133966          0          0          0
1800.05/1800.02	c   bounddisjunction :          0+         0      56348          0          0          0          3          0          0          0
1800.05/1800.02	c   countsols        :          0          0          0       2257          0          0          0          0          0          0
1800.05/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.02	c   integral         :      55.42       0.00       0.00      55.42       0.00
1800.05/1800.02	c   indicator        :       2.88       0.02       2.66       0.20       0.00
1800.05/1800.02	c   setppc           :      15.69       0.00      15.68       0.01       0.00
1800.05/1800.02	c   linear           :      59.59       0.00      59.18       0.41       0.00
1800.05/1800.02	c   logicor          :     191.95       0.00     191.90       0.05       0.00
1800.05/1800.02	c   bounddisjunction :       0.07       0.00       0.07       0.00       0.00
1800.05/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.02	c   vbounds          :       0.70          2          0          0
1800.05/1800.02	c   rootredcost      :       0.55         29          0        843
1800.05/1800.02	c   pseudoobj        :      50.31    3091853        337     162634
1800.05/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.02	c   propagation      :      10.66     242594     241778    1431276       28.2       5912       26.1          -
1800.05/1800.02	c   infeasible LP    :      23.80     130535     130535     964956       44.6        799       18.7          0
1800.05/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.02	c   pseudo solution  :       0.00          7          7         50       19.8          3        3.0          -
1800.05/1800.02	c   applied globally :          -          -          -     949305       29.8          -          -          -
1800.05/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.02	c   cut pool         :       0.00          7          -          -         58          -    (maximal pool size: 896)
1800.05/1800.02	c   redcost          :      10.32     399324          0      27895          0          0
1800.05/1800.02	c   impliedbounds    :       0.00          8          0          0          0          0
1800.05/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.02	c   gomory           :       0.26          8          0          0       2046          0
1800.05/1800.02	c   strongcg         :       0.23          8          0          0       1265          0
1800.05/1800.02	c   cmir             :       0.04          8          0          0          2          0
1800.05/1800.02	c   flowcover        :       0.07          8          0          0          2          0
1800.05/1800.02	c   clique           :       0.00          8          0          0          0          0
1800.05/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.02	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.02	c Pricers            :       Time      Calls       Vars
1800.05/1800.02	c   problem variables:       0.00          0          0
1800.05/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.02	c   relpscost        :      55.09     382309        296       2908          0          0     759550
1800.05/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   inference        :       0.14       2229          0          0          0          0       4458
1800.05/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.02	c   LP solutions     :       0.03          -         28
1800.05/1800.02	c   pseudo solutions :       0.00          -          0
1800.05/1800.02	c   feaspump         :       0.03          1          0
1800.05/1800.02	c   oneopt           :       0.42         25          0
1800.05/1800.02	c   crossover        :       0.40          9          0
1800.05/1800.02	c   coefdiving       :       0.31        185          0
1800.05/1800.02	c   guideddiving     :       0.38        185          0
1800.05/1800.02	c   pscostdiving     :       0.32        185          0
1800.05/1800.02	c   fracdiving       :       0.45        185          0
1800.05/1800.02	c   veclendiving     :       0.32        185          0
1800.05/1800.02	c   linesearchdiving :       0.36        185          0
1800.05/1800.02	c   objpscostdiving  :       0.21        116          0
1800.05/1800.02	c   rootsoldiving    :       0.31        116          0
1800.05/1800.02	c   trivial          :       0.00          2          0
1800.05/1800.02	c   simplerounding   :       0.60     382347          0
1800.05/1800.02	c   zirounding       :       0.18       1000          0
1800.05/1800.02	c   rounding         :       0.74       8754          0
1800.05/1800.02	c   shifting         :       0.69       2719          0
1800.05/1800.02	c   intshifting      :       0.01         13          0
1800.05/1800.02	c   twoopt           :       0.00          0          0
1800.05/1800.02	c   fixandinfer      :       0.00          0          0
1800.05/1800.02	c   intdiving        :       0.00          0          0
1800.05/1800.02	c   actconsdiving    :       0.00          0          0
1800.05/1800.02	c   octane           :       0.00          0          0
1800.05/1800.02	c   rens             :       0.11          1          0
1800.05/1800.02	c   rins             :       0.00          0          0
1800.05/1800.02	c   localbranching   :       0.00          0          0
1800.05/1800.02	c   mutation         :       0.00          0          0
1800.05/1800.02	c   dins             :       0.00          0          0
1800.05/1800.02	c   undercover       :       0.00          0          0
1800.05/1800.02	c   nlp              :       0.15          0          0
1800.05/1800.02	c   trysol           :       0.38       1756        102
1800.05/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.02	c   dual LP          :    1016.74     524418    9405243      17.93    9250.39
1800.05/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.02	c   diving/probing LP:       1.60       1112       9627       8.66    6016.88
1800.05/1800.02	c   strong branching :      51.79       8864     428921      48.39    8281.93
1800.05/1800.02	c     (at root node) :          -         33      31071     941.55          -
1800.05/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.02	c B&B Tree           :
1800.05/1800.02	c   number of runs   :          1
1800.05/1800.02	c   nodes            :     708830
1800.05/1800.02	c   nodes (total)    :     708830
1800.05/1800.02	c   nodes left       :       2041
1800.05/1800.02	c   max depth        :         68
1800.05/1800.02	c   max depth (total):         68
1800.05/1800.02	c   backtracks       :     106733 (15.1%)
1800.05/1800.02	c   delayed cutoffs  :      50036
1800.05/1800.02	c   repropagations   :    1096114 (3663308 domain reductions, 45707 cutoffs)
1800.05/1800.02	c   avg switch length:       4.94
1800.05/1800.02	c   switching time   :     167.40
1800.05/1800.02	c Solution           :
1800.05/1800.02	c   Solutions found  :        130 (29 improvements)
1800.05/1800.02	c   First Solution   : +4.17320000000000e+04   (in run 1, after 1 nodes, 1.32 seconds, depth 0, found by <trysol>)
1800.05/1800.02	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 654401 nodes, 1601.79 seconds, depth 32, found by <relaxation>)
1800.05/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.02	c   Gap              :   infinite
1800.05/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.02	c   Root Iterations  :       2752
1800.05/1800.09	c Time complete: 1800.14.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693384-1277900288/watcher-2693384-1277900288 -o /tmp/evaluation-result-2693384-1277900288/solver-2693384-1277900288 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693384-1277900288.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.00 2.00 2.00 4/196 14258
/proc/meminfo: memFree=31283936/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=11008 CPUtime=0
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 1675 0 0 0 0 0 0 0 25 0 1 0 131323495 11272192 1596 4089446400 4194304 9819077 140736717665184 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/14258/statm: 2752 1596 392 1374 0 1373 0

[startup+0.0445961 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 14258
/proc/meminfo: memFree=31283936/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=23920 CPUtime=0.03
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 5082 0 0 0 3 0 0 0 25 0 1 0 131323495 24494080 4649 4089446400 4194304 9819077 140736717665184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 5980 4649 487 1374 0 4601 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23920

[startup+0.100587 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 14258
/proc/meminfo: memFree=31283936/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=24812 CPUtime=0.09
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 7395 0 0 0 9 0 0 0 25 0 1 0 131323495 25407488 4906 4089446400 4194304 9819077 140736717665184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 6203 4906 504 1374 0 4824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24812

[startup+0.300547 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 14258
/proc/meminfo: memFree=31283936/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=33360 CPUtime=0.29
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 10131 0 0 0 28 1 0 0 18 0 1 0 131323495 34160640 6719 4089446400 4194304 9819077 140736717665184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 8340 6719 679 1374 0 6961 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33360

[startup+0.700486 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 14258
/proc/meminfo: memFree=31283936/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=36748 CPUtime=0.69
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 12072 0 0 0 68 1 0 0 18 0 1 0 131323495 37629952 7526 4089446400 4194304 9819077 140736717665184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 9187 7526 680 1374 0 7808 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36748

[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14259
/proc/meminfo: memFree=31255532/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=40604 CPUtime=1.49
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 63391 0 0 0 142 7 0 0 19 0 1 0 131323495 41578496 7874 4089446400 4194304 9819077 140736717665184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 10151 7874 731 1374 0 8772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40604

[startup+3.10104 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14259
/proc/meminfo: memFree=31254044/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=40732 CPUtime=3.09
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 73642 0 0 0 300 9 0 0 24 0 1 0 131323495 41709568 7850 4089446400 4194304 9819077 140736717665184 18446744073709551615 7479585 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 10183 7850 731 1374 0 8804 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40732

[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14259
/proc/meminfo: memFree=31254376/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=37344 CPUtime=6.29
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 93836 0 0 0 616 13 0 0 25 0 1 0 131323495 38240256 7751 4089446400 4194304 9819077 140736717665184 18446744073709551615 4561520 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 9336 7751 731 1374 0 7957 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37344

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14259
/proc/meminfo: memFree=31254916/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=39984 CPUtime=12.69
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 131950 0 0 0 1248 21 0 0 25 0 1 0 131323495 40943616 7880 4089446400 4194304 9819077 140736717665184 18446744073709551615 7309027 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 9996 7880 731 1374 0 8617 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39984

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14260
/proc/meminfo: memFree=31252940/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=38800 CPUtime=25.49
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 229871 0 0 0 2508 41 0 0 25 0 1 0 131323495 39731200 8025 4089446400 4194304 9819077 140736717665184 18446744073709551615 7309086 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 9700 8025 738 1374 0 8321 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38800

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14260
/proc/meminfo: memFree=31231216/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=54040 CPUtime=51.09
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 503916 0 0 0 5001 108 0 0 25 0 1 0 131323495 55336960 11926 4089446400 4194304 9819077 140736717665184 18446744073709551615 6865479 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 13510 11926 741 1374 0 12131 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 54040

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14262
/proc/meminfo: memFree=31211220/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=60456 CPUtime=102.29
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 1181510 0 0 0 9936 293 0 0 25 0 1 0 131323495 61906944 13461 4089446400 4194304 9819077 140736717665184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 15114 13461 742 1374 0 13735 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 60456

[startup+162.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 14263
/proc/meminfo: memFree=31186612/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=67272 CPUtime=162.3
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 1880435 0 0 0 15735 495 0 0 25 0 1 0 131323495 68886528 15114 4089446400 4194304 9819077 140736717665184 18446744073709551615 6669943 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 16818 15114 742 1374 0 15439 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 67272

[startup+222.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/197 14265
/proc/meminfo: memFree=31177268/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=69844 CPUtime=222.3
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 2548207 0 0 0 21539 691 0 0 25 0 1 0 131323495 71520256 15772 4089446400 4194304 9819077 140736717665184 18446744073709551615 4210602 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 17461 15772 742 1374 0 16082 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 69844

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 14266
/proc/meminfo: memFree=31155528/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=74904 CPUtime=282.3
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 3221615 0 0 0 27346 884 0 0 25 0 1 0 131323495 76701696 16989 4089446400 4194304 9819077 140736717665184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 18726 16989 742 1374 0 17347 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 74904

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 14268
/proc/meminfo: memFree=31152132/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=78120 CPUtime=342.3
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 3922722 0 0 0 33150 1080 0 0 25 0 1 0 131323495 79994880 17766 4089446400 4194304 9819077 140736717665184 18446744073709551615 4221316 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 19530 17766 742 1374 0 18151 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 78120

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 14270
/proc/meminfo: memFree=31144284/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=79400 CPUtime=402.3
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 4592841 0 0 0 38955 1275 0 0 25 0 1 0 131323495 81305600 18068 4089446400 4194304 9819077 140736717665184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 19850 18068 742 1374 0 18471 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 79400

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14271
/proc/meminfo: memFree=31133568/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=79400 CPUtime=462.31
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 5241323 0 0 0 44771 1460 0 0 25 0 1 0 131323495 81305600 18078 4089446400 4194304 9819077 140736717665184 18446744073709551615 7291693 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 19850 18078 742 1374 0 18471 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 79400

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14273
/proc/meminfo: memFree=31132536/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=80812 CPUtime=522.31
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 5896174 0 0 0 50586 1645 0 0 25 0 1 0 131323495 82751488 18329 4089446400 4194304 9819077 140736717665184 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 20203 18329 742 1374 0 18824 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 80812

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14274
/proc/meminfo: memFree=31131380/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=81720 CPUtime=582.31
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 6539855 0 0 0 56405 1826 0 0 25 0 1 0 131323495 83681280 18590 4089446400 4194304 9819077 140736717665184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 20430 18590 742 1374 0 19051 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 81720

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14276
/proc/meminfo: memFree=31116912/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=85260 CPUtime=642.32
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 7206829 0 0 0 62221 2011 0 0 25 0 1 0 131323495 87306240 19482 4089446400 4194304 9819077 140736717665184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 21315 19482 742 1374 0 19936 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 85260

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/197 14284
/proc/meminfo: memFree=31100408/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=94432 CPUtime=822.32
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 9106927 0 0 0 79668 2564 0 0 25 0 1 0 131323495 96698368 21837 4089446400 4194304 9819077 140736717665184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 23608 21837 742 1374 0 22229 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 94432

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 14285
/proc/meminfo: memFree=31086644/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=95200 CPUtime=882.31
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 9741667 0 0 0 85477 2754 0 0 25 0 1 0 131323495 97484800 21925 4089446400 4194304 9819077 140736717665184 18446744073709551615 7311729 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 23800 21925 742 1374 0 22421 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 95200

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 14287
/proc/meminfo: memFree=31086604/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=95000 CPUtime=942.32
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 10419587 0 0 0 91276 2956 0 0 25 0 1 0 131323495 97280000 21923 4089446400 4194304 9819077 140736717665184 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 23784 21925 742 1374 0 22405 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 95000

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14289
/proc/meminfo: memFree=31086192/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=96092 CPUtime=1002.32
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 11100767 0 0 0 97073 3159 0 0 25 0 1 0 131323495 98398208 22062 4089446400 4194304 9819077 140736717665184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 24023 22062 742 1374 0 22644 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 96092

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14290
/proc/meminfo: memFree=31078088/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=96056 CPUtime=1062.32
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 11747270 0 0 0 102878 3354 0 0 25 0 1 0 131323495 98361344 22080 4089446400 4194304 9819077 140736717665184 18446744073709551615 5955642 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 24014 22080 742 1374 0 22635 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 96056

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14292
/proc/meminfo: memFree=31077428/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=96036 CPUtime=1122.33
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 12383735 0 0 0 108690 3543 0 0 25 0 1 0 131323495 98340864 22091 4089446400 4194304 9819077 140736717665184 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 24009 22091 742 1374 0 22630 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 96036

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14293
/proc/meminfo: memFree=31062144/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=96488 CPUtime=1182.32
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 13018239 0 0 0 114495 3737 0 0 25 0 1 0 131323495 98803712 22235 4089446400 4194304 9819077 140736717665184 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 24122 22235 742 1374 0 22743 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 96488

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14295
/proc/meminfo: memFree=31046344/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=98012 CPUtime=1242.33
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 13645988 0 0 0 120308 3925 0 0 25 0 1 0 131323495 100364288 22595 4089446400 4194304 9819077 140736717665184 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 24503 22595 742 1374 0 23124 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 98012

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14297
/proc/meminfo: memFree=31003144/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=99632 CPUtime=1302.34
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 14264394 0 0 0 126127 4107 0 0 25 0 1 0 131323495 102023168 23068 4089446400 4194304 9819077 140736717665184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 24908 23068 742 1374 0 23529 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 99632

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14298
/proc/meminfo: memFree=30993772/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=99664 CPUtime=1362.33
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 14887622 0 0 0 131941 4292 0 0 25 0 1 0 131323495 102055936 23115 4089446400 4194304 9819077 140736717665184 18446744073709551615 7291651 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 24916 23115 742 1374 0 23537 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 99664

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14300
/proc/meminfo: memFree=30988504/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=102484 CPUtime=1422.34
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 15484101 0 0 0 137765 4469 0 0 25 0 1 0 131323495 104943616 23831 4089446400 4194304 9819077 140736717665184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 25621 23831 742 1374 0 24242 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 102484

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14301
/proc/meminfo: memFree=30984868/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=102820 CPUtime=1482.34
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 16118036 0 0 0 143574 4660 0 0 25 0 1 0 131323495 105287680 23866 4089446400 4194304 9819077 140736717665184 18446744073709551615 7291700 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 25705 23866 742 1374 0 24326 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 102820

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14303
/proc/meminfo: memFree=30983952/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=103192 CPUtime=1542.34
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 16750989 0 0 0 149384 4850 0 0 25 0 1 0 131323495 105668608 23954 4089446400 4194304 9819077 140736717665184 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 25798 23956 742 1374 0 24419 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 103192

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14305
/proc/meminfo: memFree=30983788/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=103136 CPUtime=1602.35
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 17388226 0 0 0 155202 5033 0 0 25 0 1 0 131323495 105611264 23973 4089446400 4194304 9819077 140736717665184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 25784 23973 742 1374 0 24405 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 103136

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14306
/proc/meminfo: memFree=30983216/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=103544 CPUtime=1662.34
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 18017636 0 0 0 161020 5214 0 0 25 0 1 0 131323495 106029056 24042 4089446400 4194304 9819077 140736717665184 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 25886 24042 742 1374 0 24507 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 103544

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14308
/proc/meminfo: memFree=30983184/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=103440 CPUtime=1722.34
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 18649469 0 0 0 166842 5392 0 0 25 0 1 0 131323495 105922560 24023 4089446400 4194304 9819077 140736717665184 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 25860 24023 742 1374 0 24481 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 103440

[startup+1782.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 14339
/proc/meminfo: memFree=31329032/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=104320 CPUtime=1782.35
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 19276274 0 0 0 172666 5569 0 0 25 0 1 0 131323495 106823680 24145 4089446400 4194304 9819077 140736717665184 18446744073709551615 8655439 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14258/statm: 25671 24125 742 1374 0 24292 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 104320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 14340
/proc/meminfo: memFree=31306880/32951124 swapFree=67111528/67111528
[pid=14258] ppid=14256 vsize=105392 CPUtime=1800.05
/proc/14258/stat : 14258 (pbscip.linux.x8) R 14256 14258 13904 0 -1 4202496 19447730 0 0 0 174386 5619 0 0 25 0 1 0 131323495 107921408 24341 4089446400 4194304 9819077 140736717665184 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14258/statm: 26348 24341 742 1374 0 24969 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 105392

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

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

Child status: 0
Real time (s): 1800.1
CPU time (s): 1800.15
CPU user time (s): 1743.95
CPU system time (s): 56.2035
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 106732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.95
system time used= 56.2035
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19447782
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= 2
involuntary context switches= 1773

runsolver used 2.56861 second user time and 5.69213 second system time

The end

Launcher Data 

Begin job on node142 at 2010-06-30 14:18:09
IDJOB=2693384
IDBENCH=78880
IDSOLVER=1205
FILE ID=node142/2693384-1277900288
PBS_JOBID= 11197199
Free space on /tmp= 74180 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.1900670675--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-2693384-1277900288/watcher-2693384-1277900288 -o /tmp/evaluation-result-2693384-1277900288/solver-2693384-1277900288 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693384-1277900288.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 763c02f50955b910cbe48f7840773e4a
RANDOM SEED=1201331582

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31284588 kB
Buffers:        182084 kB
Cached:        1072180 kB
SwapCached:          0 kB
Active:         694716 kB
Inactive:       828860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31284588 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6260 kB
Writeback:           0 kB
AnonPages:      269220 kB
Mapped:          20240 kB
Slab:            79364 kB
PageTables:       5152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1657376 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74168 MiB
End job on node142 at 2010-06-30 14:48:11