Trace number 2692787

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692787-1277903616.wbo>
0.00/0.02	c original problem has 2081 variables (1156 bin, 0 int, 0 impl, 925 cont) and 3633 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1143 impls, 14 clqs
0.00/0.07	c (round 2) 0 del vars, 113 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 0 upgd conss, 1143 impls, 14 clqs
0.00/0.08	c (round 3) 45 del vars, 158 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 1715 upgd conss, 1143 impls, 14 clqs
0.00/0.10	c (round 4) 90 del vars, 158 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 1715 upgd conss, 1143 impls, 14 clqs
0.09/0.14	c    (0.1s) probing: 101/1111 (9.1%) - 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  90 deleted vars, 158 deleted constraints, 925 tightened bounds, 0 added holes, 45 changed sides, 0 changed coefficients
0.09/0.14	c  1143 implications, 14 cliques
0.09/0.14	c presolved problem has 1991 variables (1111 bin, 0 int, 0 impl, 880 cont) and 3475 constraints
0.09/0.14	c     880 constraints of type <indicator>
0.09/0.14	c       1 constraints of type <knapsack>
0.09/0.14	c      14 constraints of type <setppc>
0.09/0.14	c     880 constraints of type <linear>
0.09/0.14	c    1700 constraints of type <logicor>
0.09/0.14	c transformed objective value is always integral (scale: 1)
0.09/0.14	c Presolving Time: 0.08
0.09/0.14	c - non default parameters ----------------------------------------------------------------------
0.09/0.14	c # SCIP version 1.2.1.2
0.09/0.14	c 
0.09/0.14	c # frequency for displaying node information lines
0.09/0.14	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14	c display/freq = 10000
0.09/0.14	c 
0.09/0.14	c # maximal time in seconds to run
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/time = 1799.98
0.09/0.14	c 
0.09/0.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14	c limits/memory = 3420
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify inequalities
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/linear/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # should presolving try to simplify knapsacks
0.09/0.14	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14	c 
0.09/0.14	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14	c separating/rapidlearning/freq = 0
0.09/0.14	c 
0.09/0.14	c -----------------------------------------------------------------------------------------------
0.09/0.14	c start solving
0.09/0.14	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c   0.1s|     1 |     0 |    41 |     - |8860k|   0 |  33 |1991 |3475 |1991 |1715 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   451 |     - |8995k|   0 |  48 |1991 |3475 |1991 |1733 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |   500 |     - |9291k|   0 |  53 |1991 |3475 |1991 |1743 |  28 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.45	c   0.4s|     1 |     0 |   523 |     - |9301k|   0 |  54 |1991 |3475 |1991 |1748 |  33 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.57	c   0.5s|     1 |     0 |   541 |     - |9303k|   0 |  54 |1991 |3475 |1991 |1750 |  35 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.70	c   0.6s|     1 |     0 |   562 |     - |9310k|   0 |  56 |1991 |3475 |1991 |1753 |  38 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.83	c   0.7s|     1 |     0 |   590 |     - |9312k|   0 |  53 |1991 |3475 |1991 |1754 |  39 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.79/1.85	c   1.7s|     1 |     2 |   590 |     - |9345k|   0 |  53 |1991 |3475 |1991 |1754 |  39 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1.79/1.85	o 44621
1.79/1.85	c y 1.7s|     2 |     1 |   590 |   0.0 |9376k|   1 |   - |1991 |3475 |   0 |   0 |  39 |   0 |  33 | 0.000000e+00 | 4.462100e+04 |    Inf 
5.99/6.06	o 885
5.99/6.06	c * 5.8s|    60 |    59 |  1520 |  15.8 |9729k|  23 |   - |1991 |3475 |1991 |1762 |  84 |   0 | 402 | 0.000000e+00 | 8.850000e+02 |    Inf 
5.99/6.07	o 695
5.99/6.07	c * 5.8s|    64 |    58 |  1520 |  14.8 |9789k|  23 |   - |1991 |3475 |1991 |1762 |  84 |   0 | 402 | 0.000000e+00 | 6.950000e+02 |    Inf 
7.89/7.97	o 694
7.89/7.97	c * 7.6s|   131 |   111 |  2402 |  13.9 |  10M|  29 |   - |1991 |3485 |1991 |1750 | 131 |  10 | 708 | 0.000000e+00 | 6.940000e+02 |    Inf 
8.09/8.17	o 438
8.09/8.17	c * 7.8s|   150 |    76 |  2517 |  12.9 |  10M|  29 |   - |1991 |3494 |1991 |1752 | 133 |  19 | 757 | 0.000000e+00 | 4.380000e+02 |    Inf 
8.29/8.31	o 413
8.29/8.31	c * 7.9s|   159 |    76 |  2606 |  12.8 |  10M|  29 |   - |1991 |3498 |1991 |1755 | 138 |  23 | 794 | 0.000000e+00 | 4.130000e+02 |    Inf 
8.59/8.60	o 359
8.59/8.60	c * 8.2s|   222 |    78 |  2804 |  10.0 |  11M|  29 |   - |1991 |3551 |1991 |1750 | 139 |  76 | 850 | 0.000000e+00 | 3.590000e+02 |    Inf 
8.69/8.71	o 356
8.69/8.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.69/8.71	c * 8.3s|   260 |    89 |  2962 |   9.2 |  11M|  30 |   - |1991 |3584 |1991 |1760 | 158 | 109 | 864 | 0.000000e+00 | 3.560000e+02 |    Inf 
8.80/8.86	o 303
8.80/8.86	c * 8.4s|   278 |    81 |  3174 |   9.3 |  11M|  30 |   - |1991 |3601 |1991 |1754 | 162 | 126 | 895 | 0.000000e+00 | 3.030000e+02 |    Inf 
8.89/8.90	o 301
8.89/8.90	c * 8.5s|   287 |    82 |  3252 |   9.3 |  11M|  30 |   - |1991 |3612 |1991 |1750 | 162 | 137 | 898 | 0.000000e+00 | 3.010000e+02 |    Inf 
8.89/8.91	o 192
8.89/8.91	c * 8.5s|   290 |    60 |  3261 |   9.2 |  11M|  30 |   - |1991 |3612 |1991 |1752 | 164 | 137 | 898 | 0.000000e+00 | 1.920000e+02 |    Inf 
15.09/15.10	o 162
15.09/15.10	c *14.4s|  1599 |   239 | 13307 |   8.0 |  14M|  36 |   - |1991 |4584 |1991 |1753 | 354 |1493 |1788 | 0.000000e+00 | 1.620000e+02 |    Inf 
17.29/17.33	o 160
17.29/17.33	c *16.5s|  2463 |   360 | 20517 |   8.1 |  15M|  42 |   - |1991 |5121 |1991 |1750 | 456 |2334 |1854 | 0.000000e+00 | 1.600000e+02 |    Inf 
17.39/17.49	o 152
17.39/17.49	c *16.6s|  2536 |   367 | 21017 |   8.1 |  15M|  42 |   - |1991 |5181 |1991 |1757 | 471 |2418 |1858 | 0.000000e+00 | 1.520000e+02 |    Inf 
17.50/17.52	o 142
17.50/17.52	c *16.7s|  2544 |   363 | 21076 |   8.1 |  15M|  42 |   - |1991 |5188 |1991 |1750 | 471 |2428 |1858 | 0.000000e+00 | 1.420000e+02 |    Inf 
17.50/17.60	o 105
17.50/17.60	c *16.8s|  2587 |   326 | 21385 |   8.0 |  15M|  42 |   - |1991 |5212 |1991 |1759 | 480 |2471 |1858 | 0.000000e+00 | 1.050000e+02 |    Inf 
17.99/18.07	o 101
17.99/18.07	c *17.2s|  2845 |   340 | 22675 |   7.8 |  15M|  42 |   - |1991 |5333 |1991 |1754 | 531 |2745 |1868 | 0.000000e+00 | 1.010000e+02 |    Inf 
19.49/19.50	o 91
19.49/19.50	c *18.6s|  3643 |   346 | 26595 |   7.1 |  15M|  42 |   - |1991 |6084 |1991 |1758 | 653 |3809 |1869 | 0.000000e+00 | 9.100000e+01 |    Inf 
19.70/19.70	o 83
19.70/19.70	c *18.7s|  3720 |   333 | 27256 |   7.2 |  15M|  42 |   - |1991 |5912 |1991 |1751 | 674 |3913 |1873 | 0.000000e+00 | 8.300000e+01 |    Inf 
19.89/19.91	o 56
19.89/19.91	c *18.9s|  3788 |   289 | 27954 |   7.2 |  15M|  42 |   - |1991 |5717 |1991 |1752 | 682 |3978 |1878 | 0.000000e+00 | 5.600000e+01 |    Inf 
20.29/20.30	o 41
20.29/20.30	c *19.3s|  3909 |   265 | 29587 |   7.4 |  15M|  42 |   - |1991 |5201 |1991 |1759 | 691 |4125 |1881 | 0.000000e+00 | 4.100000e+01 |    Inf 
23.39/23.46	o 37
23.39/23.46	c *22.3s|  5125 |   264 | 41998 |   8.1 |  15M|  42 |   - |1991 |4981 |1991 |1750 | 796 |5678 |1944 | 0.000000e+00 | 3.700000e+01 |    Inf 
31.59/31.69	o 31
31.59/31.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
31.59/31.69	c *30.1s|  8743 |   422 | 73333 |   8.3 |  17M|  42 |   - |1991 |6387 |1991 |1750 |1096 |  10k|2037 | 0.000000e+00 | 3.100000e+01 |    Inf 
34.29/34.33	c  32.6s| 10000 |   427 | 83325 |   8.3 |  17M|  42 |  27 |1991 |6417 |1991 |1750 |1181 |  11k|2053 | 0.000000e+00 | 3.100000e+01 |    Inf 
42.90/42.94	o 28
42.90/42.94	c *40.8s| 14101 |   483 |117115 |   8.3 |  19M|  42 |   - |1991 |9238 |1991 |1750 |1499 |  17k|2058 | 0.000000e+00 | 2.800000e+01 |    Inf 
55.69/55.71	c  52.9s| 20000 |   534 |169101 |   8.4 |  21M|  43 |   - |1991 |  11k|   0 |   0 |2232 |  25k|2063 | 0.000000e+00 | 2.800000e+01 |    Inf 
80.00/80.07	c  76.1s| 30000 |   697 |274486 |   9.1 |  24M|  50 |   8 |1991 |  13k|1991 |1750 |3381 |  38k|2063 | 0.000000e+00 | 2.800000e+01 |    Inf 
104.89/104.94	c  99.8s| 40000 |   893 |373029 |   9.3 |  25M|  54 |   - |1991 |  13k|   0 |   0 |4639 |  51k|2332 | 0.000000e+00 | 2.800000e+01 |    Inf 
129.89/129.92	c   124s| 50000 |   997 |470030 |   9.4 |  27M|  58 |   - |1991 |  11k|1991 |1750 |5778 |  65k|2657 | 0.000000e+00 | 2.800000e+01 |    Inf 
133.59/133.66	o 16
133.59/133.66	c * 127s| 51762 |   913 |484263 |   9.3 |  25M|  58 |   - |1991 |  10k|1991 |1750 |5969 |  67k|2667 | 0.000000e+00 | 1.600000e+01 |    Inf 
152.59/152.63	c   145s| 60000 |  1263 |559993 |   9.3 |  28M|  58 |   - |1991 |  11k|   0 |   0 |6397 |  78k|2919 | 0.000000e+00 | 1.600000e+01 |    Inf 
174.29/174.30	c   166s| 70000 |  1379 |640263 |   9.1 |  30M|  60 |   - |1991 |  13k|   0 |   0 |6705 |  92k|3171 | 0.000000e+00 | 1.600000e+01 |    Inf 
196.09/196.16	c   187s| 80000 |  1389 |717732 |   9.0 |  33M|  60 |   - |1991 |  15k|1991 |1754 |6943 | 105k|3366 | 0.000000e+00 | 1.600000e+01 |    Inf 
218.90/218.93	c   208s| 90000 |  1383 |797289 |   8.9 |  34M|  60 |   - |1991 |  17k|1991 |1750 |7331 | 119k|3623 | 0.000000e+00 | 1.600000e+01 |    Inf 
240.70/240.75	c   229s|100000 |  1415 |871366 |   8.7 |  35M|  60 |   - |1991 |  16k|   0 |   0 |7787 | 133k|3776 | 0.000000e+00 | 1.600000e+01 |    Inf 
262.80/262.87	c   250s|110000 |  1522 |949456 |   8.6 |  36M|  60 |  26 |1991 |  13k|1991 |1750 |8310 | 146k|4002 | 0.000000e+00 | 1.600000e+01 |    Inf 
276.99/277.04	o 13
276.99/277.04	c * 263s|116170 |  1451 |  1004k|   8.6 |  35M|  60 |   - |1991 |  14k|1991 |1750 |8810 | 154k|4110 | 0.000000e+00 | 1.300000e+01 |    Inf 
285.90/285.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
285.90/285.94	c   272s|120000 |  1542 |  1038k|   8.6 |  36M|  60 |  14 |1991 |  12k|1991 |1750 |9070 | 158k|4205 | 0.000000e+00 | 1.300000e+01 |    Inf 
307.40/307.47	c   292s|130000 |  1627 |  1119k|   8.6 |  38M|  60 |   - |1991 |  15k|1991 |1750 |9650 | 171k|4387 | 0.000000e+00 | 1.300000e+01 |    Inf 
329.80/329.84	c   314s|140000 |  1766 |  1203k|   8.6 |  40M|  60 |   8 |1991 |  15k|1991 |1750 |  10k| 184k|4571 | 0.000000e+00 | 1.300000e+01 |    Inf 
353.99/354.10	c   337s|150000 |  1922 |  1299k|   8.7 |  41M|  60 |   - |1991 |  14k|1991 |1750 |  11k| 197k|4829 | 0.000000e+00 | 1.300000e+01 |    Inf 
368.30/368.39	o 7
368.30/368.39	c * 350s|155646 |   379 |  1360k|   8.7 |  23M|  60 |   - |1991 |  15k|1991 |1751 |  11k| 204k|4930 | 0.000000e+00 | 7.000000e+00 |    Inf 
379.51/379.59	c   361s|160000 |   406 |  1409k|   8.8 |  23M|  60 |  25 |1991 |  15k|1991 |1750 |  11k| 210k|4997 | 0.000000e+00 | 7.000000e+00 |    Inf 
405.30/405.33	c   386s|170000 |   385 |  1516k|   8.9 |  24M|  60 |   - |1991 |  16k|   0 |   0 |  12k| 223k|5252 | 0.000000e+00 | 7.000000e+00 |    Inf 
427.60/427.62	c   407s|180000 |   406 |  1601k|   8.9 |  25M|  60 |  11 |1991 |  20k|1991 |1750 |  13k| 236k|5423 | 0.000000e+00 | 7.000000e+00 |    Inf 
451.50/451.52	c   430s|190000 |   354 |  1686k|   8.9 |  26M|  60 |  19 |1991 |  20k|1991 |1750 |  14k| 249k|5636 | 0.000000e+00 | 7.000000e+00 |    Inf 
473.90/473.95	c   451s|200000 |   317 |  1767k|   8.8 |  25M|  60 |   - |1991 |  19k|1991 |1750 |  14k| 263k|5805 | 0.000000e+00 | 7.000000e+00 |    Inf 
495.50/495.53	c   472s|210000 |   332 |  1842k|   8.8 |  26M|  60 |   - |1991 |  22k|   0 |   0 |  15k| 276k|5910 | 0.000000e+00 | 7.000000e+00 |    Inf 
517.10/517.18	c   492s|220000 |   358 |  1915k|   8.7 |  28M|  60 |  13 |1991 |  25k|1991 |1750 |  15k| 289k|6015 | 0.000000e+00 | 7.000000e+00 |    Inf 
538.60/538.68	c   513s|230000 |   388 |  1986k|   8.6 |  30M|  60 |   - |1991 |  28k|   0 |   0 |  16k| 303k|6119 | 0.000000e+00 | 7.000000e+00 |    Inf 
562.80/562.88	c   536s|240000 |   387 |  2062k|   8.6 |  30M|  60 |  16 |1991 |  29k|1991 |1750 |  16k| 317k|6283 | 0.000000e+00 | 7.000000e+00 |    Inf 
586.00/586.01	c   558s|250000 |   399 |  2138k|   8.6 |  31M|  60 |   - |1991 |  31k|   0 |   0 |  17k| 330k|6413 | 0.000000e+00 | 7.000000e+00 |    Inf 
609.10/609.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
609.10/609.10	c   580s|260000 |   425 |  2209k|   8.5 |  31M|  60 |   - |1991 |  30k|1991 |1750 |  17k| 344k|6562 | 0.000000e+00 | 7.000000e+00 |    Inf 
634.91/634.95	c   605s|270000 |   438 |  2295k|   8.5 |  31M|  60 |  20 |1991 |  28k|1991 |1750 |  18k| 357k|6703 | 0.000000e+00 | 7.000000e+00 |    Inf 
660.01/660.01	c   628s|280000 |   500 |  2383k|   8.5 |  34M|  60 |   - |1991 |  33k|   0 |   0 |  18k| 371k|6833 | 0.000000e+00 | 7.000000e+00 |    Inf 
685.91/685.92	c   653s|290000 |   495 |  2468k|   8.5 |  33M|  63 |  19 |1991 |  32k|1991 |1750 |  19k| 385k|6971 | 0.000000e+00 | 7.000000e+00 |    Inf 
712.20/712.24	c   679s|300000 |   555 |  2553k|   8.5 |  33M|  63 |  23 |1991 |  31k|1991 |1750 |  19k| 398k|7092 | 0.000000e+00 | 7.000000e+00 |    Inf 
739.00/739.07	c   704s|310000 |   566 |  2644k|   8.5 |  34M|  63 |  22 |1991 |  32k|1991 |1750 |  20k| 411k|7207 | 0.000000e+00 | 7.000000e+00 |    Inf 
744.51/744.51	o 5
744.51/744.51	c * 709s|312234 |   574 |  2663k|   8.5 |  34M|  63 |   - |1991 |  33k|1991 |1750 |  20k| 414k|7255 | 0.000000e+00 | 5.000000e+00 |    Inf 
763.42/763.40	c   727s|320000 |   641 |  2727k|   8.5 |  35M|  63 |   - |1991 |  33k|   0 |   0 |  20k| 425k|7297 | 0.000000e+00 | 5.000000e+00 |    Inf 
787.40/787.49	c   750s|330000 |   770 |  2808k|   8.5 |  37M|  63 |   - |1991 |  36k|   0 |   0 |  21k| 439k|7395 | 0.000000e+00 | 5.000000e+00 |    Inf 
811.72/811.72	c   774s|340000 |   858 |  2884k|   8.5 |  38M|  63 |  20 |1991 |  36k|1991 |1750 |  21k| 453k|7502 | 0.000000e+00 | 5.000000e+00 |    Inf 
836.21/836.23	c   797s|350000 |   887 |  2961k|   8.5 |  34M|  66 |  16 |1991 |  25k|1991 |1750 |  22k| 466k|7669 | 0.000000e+00 | 5.000000e+00 |    Inf 
858.51/858.50	c   818s|360000 |   971 |  3029k|   8.4 |  35M|  67 |  20 |1991 |  26k|1991 |1750 |  22k| 480k|7765 | 0.000000e+00 | 5.000000e+00 |    Inf 
881.41/881.44	c   840s|370000 |  1017 |  3107k|   8.4 |  34M|  67 |   - |1991 |  21k|1991 |1750 |  23k| 493k|7854 | 0.000000e+00 | 5.000000e+00 |    Inf 
903.81/903.85	c   862s|380000 |  1030 |  3182k|   8.4 |  36M|  67 |   - |1991 |  25k|   0 |   0 |  23k| 507k|8002 | 0.000000e+00 | 5.000000e+00 |    Inf 
926.81/926.83	c   884s|390000 |  1069 |  3257k|   8.3 |  37M|  67 |   - |1991 |  28k|1991 |1750 |  24k| 521k|8108 | 0.000000e+00 | 5.000000e+00 |    Inf 
949.32/949.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
949.32/949.39	c   905s|400000 |  1117 |  3321k|   8.3 |  38M|  68 |   1 |1991 |  31k|1991 |1750 |  25k| 535k|8151 | 0.000000e+00 | 5.000000e+00 |    Inf 
974.41/974.40	c   929s|410000 |  1097 |  3386k|   8.3 |  41M|  68 |   - |1991 |  37k|1991 |1750 |  25k| 548k|8272 | 0.000000e+00 | 5.000000e+00 |    Inf 
1001.11/1001.10	c   955s|420000 |  1059 |  3460k|   8.2 |  39M|  68 |   9 |1991 |  33k|1991 |1750 |  26k| 561k|8378 | 0.000000e+00 | 5.000000e+00 |    Inf 
1026.81/1026.83	c   979s|430000 |  1137 |  3543k|   8.2 |  40M|  68 |  12 |1991 |  33k|1991 |1750 |  26k| 574k|8443 | 0.000000e+00 | 5.000000e+00 |    Inf 
1053.11/1053.13	c  1005s|440000 |  1178 |  3621k|   8.2 |  41M|  68 |   - |1991 |  35k|   0 |   0 |  27k| 587k|8549 | 0.000000e+00 | 5.000000e+00 |    Inf 
1080.22/1080.24	c  1031s|450000 |  1195 |  3704k|   8.2 |  42M|  68 |  30 |1991 |  37k|1991 |1750 |  28k| 600k|8658 | 0.000000e+00 | 5.000000e+00 |    Inf 
1107.72/1107.74	c  1057s|460000 |  1233 |  3788k|   8.2 |  42M|  68 |   - |1991 |  37k|1991 |1755 |  28k| 613k|8776 | 0.000000e+00 | 5.000000e+00 |    Inf 
1135.13/1135.11	c  1083s|470000 |  1267 |  3872k|   8.2 |  43M|  68 |   - |1991 |  39k|   0 |   0 |  29k| 627k|8838 | 0.000000e+00 | 5.000000e+00 |    Inf 
1162.22/1162.23	c  1109s|480000 |  1253 |  3950k|   8.2 |  45M|  68 |  22 |1991 |  42k|1991 |1750 |  30k| 640k|8921 | 0.000000e+00 | 5.000000e+00 |    Inf 
1191.02/1191.08	c  1137s|490000 |  1251 |  4036k|   8.2 |  45M|  68 |  26 |1991 |  43k|1991 |1750 |  30k| 653k|9048 | 0.000000e+00 | 5.000000e+00 |    Inf 
1220.32/1220.39	c  1165s|500000 |  1319 |  4116k|   8.2 |  46M|  68 |  25 |1991 |  44k|1991 |1750 |  31k| 666k|9160 | 0.000000e+00 | 5.000000e+00 |    Inf 
1249.42/1249.43	c  1193s|510000 |  1350 |  4199k|   8.2 |  46M|  68 |   - |1991 |  43k|   0 |   0 |  32k| 679k|9204 | 0.000000e+00 | 5.000000e+00 |    Inf 
1278.42/1278.42	c  1221s|520000 |  1385 |  4280k|   8.2 |  47M|  68 |   - |1991 |  44k|1991 |1750 |  32k| 692k|9311 | 0.000000e+00 | 5.000000e+00 |    Inf 
1306.52/1306.54	c  1248s|530000 |  1405 |  4356k|   8.2 |  47M|  68 |   - |1991 |  44k|   0 |   0 |  33k| 705k|9428 | 0.000000e+00 | 5.000000e+00 |    Inf 
1334.92/1334.94	c  1275s|540000 |  1424 |  4439k|   8.2 |  48M|  68 |   - |1991 |  45k|1991 |1756 |  33k| 719k|9478 | 0.000000e+00 | 5.000000e+00 |    Inf 
1363.52/1363.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1363.52/1363.57	c  1303s|550000 |  1426 |  4516k|   8.2 |  50M|  69 |  26 |1991 |  49k|1991 |1750 |  34k| 732k|9568 | 0.000000e+00 | 5.000000e+00 |    Inf 
1392.43/1392.50	c  1331s|560000 |  1458 |  4590k|   8.2 |  49M|  69 |   7 |1991 |  46k|1991 |1750 |  34k| 745k|9685 | 0.000000e+00 | 5.000000e+00 |    Inf 
1420.33/1420.30	c  1358s|570000 |  1502 |  4661k|   8.2 |  51M|  69 |   - |1991 |  49k|1991 |1755 |  35k| 759k|9709 | 0.000000e+00 | 5.000000e+00 |    Inf 
1450.33/1450.32	c  1387s|580000 |  1539 |  4740k|   8.2 |  52M|  69 |  18 |1991 |  50k|1991 |1750 |  36k| 773k|9916 | 0.000000e+00 | 5.000000e+00 |    Inf 
1477.63/1477.65	c  1413s|590000 |  1523 |  4811k|   8.2 |  52M|  69 |   - |1991 |  50k|   0 |   0 |  36k| 786k|9954 | 0.000000e+00 | 5.000000e+00 |    Inf 
1498.43/1498.46	o 4
1498.43/1498.46	c *1433s|596858 |  1332 |  4866k|   8.2 |  50M|  69 |   - |1991 |  52k|1991 |1751 |  37k| 795k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1507.82/1507.86	c  1442s|600000 |  1324 |  4889k|   8.1 |  50M|  69 |   - |1991 |  52k|1991 |1754 |  37k| 799k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1538.12/1538.13	c  1471s|610000 |  1360 |  4968k|   8.1 |  49M|  69 |   - |1991 |  50k|   0 |   0 |  37k| 813k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1567.72/1567.74	c  1500s|620000 |  1426 |  5054k|   8.2 |  50M|  69 |   - |1991 |  52k|   0 |   0 |  39k| 825k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1597.52/1597.55	c  1529s|630000 |  1400 |  5137k|   8.2 |  52M|  69 |  18 |1991 |  55k|1991 |1750 |  40k| 838k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1629.53/1629.51	c  1559s|640000 |  1395 |  5226k|   8.2 |  53M|  69 |  24 |1991 |  59k|1991 |1750 |  40k| 851k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1662.73/1662.78	c  1591s|650000 |  1399 |  5320k|   8.2 |  54M|  69 |   - |1991 |  61k|1991 |1750 |  41k| 864k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1695.53/1695.59	c  1623s|660000 |  1395 |  5413k|   8.2 |  56M|  69 |   - |1991 |  65k|1991 |1750 |  43k| 878k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1731.13/1731.12	c  1658s|670000 |  1408 |  5503k|   8.2 |  57M|  69 |   - |1991 |  68k|1991 |1750 |  43k| 891k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1768.93/1768.90	c  1694s|680000 |  1394 |  5603k|   8.2 |  57M|  69 |   - |1991 |  68k|1991 |1750 |  44k| 904k|  10k| 0.000000e+00 | 4.000000e+00 |    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) : 1724.28
1800.04/1800.00	c Solving Nodes      : 688027
1800.04/1800.00	c Primal Bound       : +4.00000000000000e+00 (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 -x104 
1800.04/1800.01	v -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 
1800.04/1800.01	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 
1800.04/1800.01	v -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 
1800.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 -x2 
1800.04/1800.01	v -x1 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time       :    1724.28
1800.04/1800.01	c Original Problem   :
1800.04/1800.01	c   Problem name     : HOME/instance-2692787-1277903616.wbo
1800.04/1800.01	c   Variables        : 2081 (1156 binary, 0 integer, 0 implicit integer, 925 continuous)
1800.04/1800.01	c   Constraints      : 3633 initial, 3633 maximal
1800.04/1800.01	c Presolved Problem  :
1800.04/1800.01	c   Problem name     : t_HOME/instance-2692787-1277903616.wbo
1800.04/1800.01	c   Variables        : 1991 (1111 binary, 0 integer, 0 implicit integer, 880 continuous)
1800.04/1800.01	c   Constraints      : 3475 initial, 71488 maximal
1800.04/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.01	c   trivial          :       0.00         45          0          0          0          0          0          0          0
1800.04/1800.01	c   dualfix          :       0.00         45          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         45          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.03          0          0          0        925          0        113         45          0
1800.04/1800.01	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.01	c   root node        :          -        854          -          -       1708          -          -          -          -
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     381457          0        141       2403          0          0     740856
1800.04/1800.01	c   indicator        :        880          0    3179768       9105          0        260    1001947          0          0          0
1800.04/1800.01	c   knapsack         :          1          6    3180058       9095          0      64664    6889090          0          0          0
1800.04/1800.01	c   setppc           :         14          6    3119187       9041          0      57839    2303801          0          0          0
1800.04/1800.01	c   linear           :        880          6    3062521       9113          0      49472    3737568      45458          0          0
1800.04/1800.01	c   logicor          :       1700+         6    1526014        310          0      93749    6021866          0          0          0
1800.04/1800.01	c   countsols        :          0          0          0        310          0          0          0          0          0          0
1800.04/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.01	c   integral         :      44.93       0.00       0.00      44.93       0.00
1800.04/1800.01	c   indicator        :       2.91       0.00       2.78       0.13       0.00
1800.04/1800.01	c   knapsack         :      31.65       0.00      31.65       0.00       0.00
1800.04/1800.01	c   setppc           :      13.36       0.00      13.36       0.00       0.00
1800.04/1800.01	c   linear           :      37.83       0.00      37.67       0.16       0.00
1800.04/1800.01	c   logicor          :     286.59       0.00     286.59       0.00       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.00          2          0          0
1800.04/1800.01	c   rootredcost      :       0.00         29          0        854
1800.04/1800.01	c   pseudoobj        :      55.17    3187059       1833     837378
1800.04/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.01	c   propagation      :      10.52     267557     267178    1693969       26.7       9076       22.9          -
1800.04/1800.01	c   infeasible LP    :      18.58      98604      98604     805430       42.0        649       18.3          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.01         26         26        185       17.4          4        4.0          -
1800.04/1800.01	c   applied globally :          -          -          -     915046       26.0          -          -          -
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          -          -         62          -    (maximal pool size: 153)
1800.04/1800.01	c   redcost          :       9.72     384193          0     123978          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.28          6          0          0       1000          0
1800.04/1800.01	c   strongcg         :       0.21          6          0          0        500          0
1800.04/1800.01	c   cmir             :       0.01          6          0          0          0          0
1800.04/1800.01	c   flowcover        :       0.07          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        :      44.82     372325        141       2403          0          0     740856
1800.04/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.01	c   inference        :       0.01        282          0          0          0          0        564
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          -         28
1800.04/1800.01	c   pseudo solutions :       0.00          -          0
1800.04/1800.01	c   feaspump         :       0.05          1          0
1800.04/1800.01	c   oneopt           :       0.17         29          0
1800.04/1800.01	c   crossover        :       0.45         20          0
1800.04/1800.01	c   guideddiving     :       0.17         71          0
1800.04/1800.01	c   pscostdiving     :       0.19         71          0
1800.04/1800.01	c   fracdiving       :       0.12         71          0
1800.04/1800.01	c   veclendiving     :       0.24         71          0
1800.04/1800.01	c   coefdiving       :       0.25         71          0
1800.04/1800.01	c   objpscostdiving  :       0.40         36          0
1800.04/1800.01	c   rootsoldiving    :       1.86         36          0
1800.04/1800.01	c   linesearchdiving :       0.18         72          0
1800.04/1800.01	c   trivial          :       0.00          2          0
1800.04/1800.01	c   simplerounding   :       0.53     372919          0
1800.04/1800.01	c   zirounding       :       0.16       1000          0
1800.04/1800.01	c   rounding         :       1.03       8583          0
1800.04/1800.01	c   shifting         :       1.06       2753          0
1800.04/1800.01	c   intshifting      :       0.02         23          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.02          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.00          0          0
1800.04/1800.01	c   trysol           :       0.42       1971        107
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          :     809.90     478509    5670181      11.85    7001.09
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:       2.39       1489      12828       8.62    5367.36
1800.04/1800.01	c   strong branching :      40.80      10849     264660      24.39    6486.76
1800.04/1800.01	c     (at root node) :          -         33       6369     193.00          -
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            :     688027
1800.04/1800.01	c   nodes (total)    :     688027
1800.04/1800.01	c   nodes left       :       1398
1800.04/1800.01	c   max depth        :         69
1800.04/1800.01	c   max depth (total):         69
1800.04/1800.01	c   backtracks       :      93158 (13.5%)
1800.04/1800.01	c   delayed cutoffs  :      49533
1800.04/1800.01	c   repropagations   :    1216040 (3852422 domain reductions, 48262 cutoffs)
1800.04/1800.01	c   avg switch length:       5.10
1800.04/1800.01	c   switching time   :     219.67
1800.04/1800.01	c Solution           :
1800.04/1800.01	c   Solutions found  :        135 (29 improvements)
1800.04/1800.01	c   First Solution   : +4.46210000000000e+04   (in run 1, after 1 nodes, 0.76 seconds, depth 0, found by <trysol>)
1800.04/1800.01	c   Primal Bound     : +4.00000000000000e+00   (in run 1, after 596858 nodes, 1433.14 seconds, depth 33, 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  :        590
1800.14/1800.12	c Time complete: 1800.15.

Verifier Data 

OK	4

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692787-1277903616/watcher-2692787-1277903616 -o /tmp/evaluation-result-2692787-1277903616/solver-2692787-1277903616 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692787-1277903616.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.05 2.27 3/178 13771
/proc/meminfo: memFree=31103300/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=9148 CPUtime=0
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 1601 0 0 0 0 0 0 0 20 0 1 0 131657545 9367552 1520 4089446400 4194304 8223781 140735031537760 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13771/statm: 2287 1520 369 984 0 1300 0

[startup+0.0070589 s]
/proc/loadavg: 2.00 2.05 2.27 3/178 13771
/proc/meminfo: memFree=31103300/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=9604 CPUtime=0
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 1698 0 0 0 0 0 0 0 21 0 1 0 131657545 9834496 1617 4089446400 4194304 8223781 140735031537760 18446744073709551615 5650709 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13771/statm: 2401 1617 369 984 0 1414 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9604

[startup+0.101084 s]
/proc/loadavg: 2.00 2.05 2.27 3/178 13771
/proc/meminfo: memFree=31103300/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=24664 CPUtime=0.09
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 8209 0 0 0 8 1 0 0 21 0 1 0 131657545 25255936 4938 4089446400 4194304 8223781 140735031537760 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13771/statm: 6166 4958 466 984 0 5179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24664

[startup+0.301049 s]
/proc/loadavg: 2.00 2.05 2.27 3/178 13771
/proc/meminfo: memFree=31103300/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=31636 CPUtime=0.29
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 10911 0 0 0 26 3 0 0 21 0 1 0 131657545 32395264 7012 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13771/statm: 7909 7012 583 984 0 6922 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31636

[startup+0.700978 s]
/proc/loadavg: 2.00 2.05 2.27 3/178 13771
/proc/meminfo: memFree=31103300/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=32924 CPUtime=0.69
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 11295 0 0 0 63 6 0 0 22 0 1 0 131657545 33714176 7328 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13771/statm: 8231 7328 583 984 0 7244 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32924

[startup+1.50084 s]
/proc/loadavg: 2.00 2.05 2.27 3/179 13772
/proc/meminfo: memFree=31075516/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=33160 CPUtime=1.49
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 19295 0 0 0 140 9 0 0 25 0 1 0 131657545 33955840 7389 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13771/statm: 8290 7389 599 984 0 7303 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33160

[startup+3.10055 s]
/proc/loadavg: 2.00 2.05 2.27 3/179 13772
/proc/meminfo: memFree=31075268/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=33248 CPUtime=3.09
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 22787 0 0 0 294 15 0 0 25 0 1 0 131657545 34045952 7408 4089446400 4194304 8223781 140735031537760 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13771/statm: 8269 7381 600 984 0 7282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33248

[startup+6.30099 s]
/proc/loadavg: 2.00 2.04 2.27 3/179 13772
/proc/meminfo: memFree=31073952/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=33700 CPUtime=6.29
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 33865 0 0 0 604 25 0 0 25 0 1 0 131657545 34508800 7525 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13771/statm: 8425 7525 603 984 0 7438 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33700

[startup+12.7009 s]
/proc/loadavg: 2.00 2.04 2.27 3/179 13772
/proc/meminfo: memFree=31062904/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=40704 CPUtime=12.7
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 63079 0 0 0 1215 55 0 0 25 0 1 0 131657545 41680896 9073 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13771/statm: 10176 9073 605 984 0 9189 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 40704

[startup+25.5006 s]
/proc/loadavg: 2.00 2.04 2.26 3/179 13772
/proc/meminfo: memFree=31045392/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=53528 CPUtime=25.49
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 114257 0 0 0 2425 124 0 0 25 0 1 0 131657545 54812672 12422 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/13771/statm: 13382 12422 606 984 0 12395 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53528

[startup+51.1001 s]
/proc/loadavg: 2.00 2.04 2.26 3/179 13772
/proc/meminfo: memFree=31032136/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=60704 CPUtime=51.09
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 189099 0 0 0 4852 257 0 0 25 0 1 0 131657545 62160896 14221 4089446400 4194304 8223781 140735031537760 18446744073709551615 4925465 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 15176 14221 606 984 0 14189 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 60704

[startup+102.306 s]
/proc/loadavg: 2.00 2.03 2.24 3/179 13774
/proc/meminfo: memFree=31016596/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=71020 CPUtime=102.3
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 280914 0 0 0 9732 498 0 0 25 0 1 0 131657545 72724480 16702 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 17755 16702 606 984 0 16768 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 71020

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.22 3/179 13776
/proc/meminfo: memFree=31008600/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=78612 CPUtime=162.29
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 406779 0 0 0 15436 793 0 0 25 0 1 0 131657545 80498688 18508 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 19653 18508 606 984 0 18666 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 78612

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.21 3/179 13778
/proc/meminfo: memFree=31003864/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=83420 CPUtime=222.29
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 520902 0 0 0 21141 1088 0 0 25 0 1 0 131657545 85422080 19632 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 20855 19632 607 984 0 19868 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 83420

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.19 3/179 13779
/proc/meminfo: memFree=30995376/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=89372 CPUtime=282.3
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 639462 0 0 0 26850 1380 0 0 25 0 1 0 131657545 91516928 20943 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 22343 20943 606 984 0 21356 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 89372

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.17 3/179 13780
/proc/meminfo: memFree=30988500/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=93600 CPUtime=342.3
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 719497 0 0 0 32555 1675 0 0 25 0 1 0 131657545 95846400 21903 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 23400 21903 606 984 0 22413 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 93600

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 13782
/proc/meminfo: memFree=30982760/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=96296 CPUtime=402.3
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 813898 0 0 0 38275 1955 0 0 25 0 1 0 131657545 98607104 22597 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 24074 22597 606 984 0 23087 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 96296

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 13784
/proc/meminfo: memFree=30980980/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=97744 CPUtime=462.31
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 855174 0 0 0 43999 2232 0 0 25 0 1 0 131657545 100089856 22922 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 24436 22922 606 984 0 23449 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 97744

[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.14 3/179 13786
/proc/meminfo: memFree=30979320/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=98416 CPUtime=522.31
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 949373 0 0 0 49699 2532 0 0 25 0 1 0 131657545 100777984 23069 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 24604 23069 606 984 0 23617 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 98416

[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.13 3/179 13787
/proc/meminfo: memFree=30974024/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=101400 CPUtime=582.3
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 1044157 0 0 0 55430 2800 0 0 25 0 1 0 131657545 103833600 23791 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 25350 23791 606 984 0 24363 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 101400

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/179 13788
/proc/meminfo: memFree=30970396/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=102148 CPUtime=642.31
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 1157627 0 0 0 61157 3074 0 0 25 0 1 0 131657545 104599552 23901 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 25537 23901 606 984 0 24550 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 102148

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 13795
/proc/meminfo: memFree=30957536/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=108220 CPUtime=882.31
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 1597997 0 0 0 84108 4123 0 0 25 0 1 0 131657545 110817280 25418 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 27055 25418 606 984 0 26068 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 108220

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 13796
/proc/meminfo: memFree=30956244/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=108864 CPUtime=942.31
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 1720120 0 0 0 89829 4402 0 0 25 0 1 0 131657545 111476736 25574 4089446400 4194304 8223781 140735031537760 18446744073709551615 4221436 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 27216 25574 606 984 0 26229 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 108864

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 13798
/proc/meminfo: memFree=30953568/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=110292 CPUtime=1002.31
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 1849583 0 0 0 95584 4647 0 0 25 0 1 0 131657545 112939008 25954 4089446400 4194304 8223781 140735031537760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 27573 25954 606 984 0 26586 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 110292

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.07 3/179 13800
/proc/meminfo: memFree=30952988/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=111488 CPUtime=1062.31
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 1965816 0 0 0 101330 4901 0 0 25 0 1 0 131657545 114163712 26189 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 27872 26189 606 984 0 26885 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 111488

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.06 3/179 13805
/proc/meminfo: memFree=30949996/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=113072 CPUtime=1122.32
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2035922 0 0 0 107095 5137 0 0 25 0 1 0 131657545 115785728 26591 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 28268 26591 606 984 0 27281 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 113072

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 13806
/proc/meminfo: memFree=30947972/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=114100 CPUtime=1182.32
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2099295 0 0 0 112863 5369 0 0 25 0 1 0 131657545 116838400 26868 4089446400 4194304 8223781 140735031537760 18446744073709551615 6591882 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 28569 26869 606 984 0 27582 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 114100

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 13807
/proc/meminfo: memFree=30946292/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=115500 CPUtime=1242.32
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2115133 0 0 0 118649 5583 0 0 25 0 1 0 131657545 118272000 27031 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 28875 27031 606 984 0 27888 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 115500

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 13809
/proc/meminfo: memFree=30945488/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=116248 CPUtime=1302.33
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2194909 0 0 0 124414 5819 0 0 25 0 1 0 131657545 119037952 27212 4089446400 4194304 8223781 140735031537760 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 29062 27212 606 984 0 28075 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 116248

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 13811
/proc/meminfo: memFree=30942352/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=119464 CPUtime=1362.33
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2254066 0 0 0 130183 6050 0 0 25 0 1 0 131657545 122331136 28003 4089446400 4194304 8223781 140735031537760 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 29866 28003 606 984 0 28879 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 119464

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 13813
/proc/meminfo: memFree=30941072/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=120328 CPUtime=1422.33
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2268771 0 0 0 135967 6266 0 0 25 0 1 0 131657545 123215872 28223 4089446400 4194304 8223781 140735031537760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 30082 28223 606 984 0 29095 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 120328

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 13814
/proc/meminfo: memFree=30935588/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=125164 CPUtime=1482.32
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2292303 0 0 0 141754 6478 0 0 25 0 1 0 131657545 128167936 29283 4089446400 4194304 8223781 140735031537760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 31291 29283 606 984 0 30304 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 125164

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 13815
/proc/meminfo: memFree=30934128/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=126612 CPUtime=1542.32
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2350472 0 0 0 147537 6695 0 0 25 0 1 0 131657545 129650688 29568 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 31653 29568 606 984 0 30666 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 126612

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 13817
/proc/meminfo: memFree=30931468/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=126916 CPUtime=1602.33
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2415092 0 0 0 153317 6916 0 0 25 0 1 0 131657545 129961984 29653 4089446400 4194304 8223781 140735031537760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 31729 29653 606 984 0 30742 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 126916

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 13819
/proc/meminfo: memFree=30926944/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=130656 CPUtime=1662.33
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2496518 0 0 0 159102 7131 0 0 25 0 1 0 131657545 133791744 30479 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 32664 30479 606 984 0 31677 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 130656

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.01 3/179 13821
/proc/meminfo: memFree=30926520/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=131644 CPUtime=1722.33
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2530873 0 0 0 164898 7335 0 0 25 0 1 0 131657545 134803456 30725 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 32911 30725 606 984 0 31924 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 131644

[startup+1782.3 s]
/proc/loadavg: 1.98 2.00 2.00 3/197 13868
/proc/meminfo: memFree=30999192/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=134208 CPUtime=1782.33
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2583157 0 0 0 170713 7520 0 0 25 0 1 0 131657545 137428992 31294 4089446400 4194304 8223781 140735031537760 18446744073709551615 6446955 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 33552 31294 606 984 0 32565 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 134208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.99 2.00 2.00 3/197 13869
/proc/meminfo: memFree=30998924/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=134208 CPUtime=1800.04
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2600638 0 0 0 172430 7574 0 0 25 0 1 0 131657545 137428992 31295 4089446400 4194304 8223781 140735031537760 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13771/statm: 33552 31295 606 984 0 32565 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 134208

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

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

[startup+1800.11 s]
/proc/loadavg: 1.99 2.00 2.00 3/197 13869
/proc/meminfo: memFree=30998924/32951124 swapFree=67111528/67111528
[pid=13771] ppid=13769 vsize=132024 CPUtime=1800.14
/proc/13771/stat : 13771 (pbscip.linux.x8) R 13769 13771 12504 0 -1 4202496 2600697 0 0 0 172440 7574 0 0 25 0 1 0 131657545 135192576 30758 4089446400 4194304 8223781 140735031537760 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13771/statm: 33006 30758 608 984 0 32019 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 132024

Child status: 0
Real time (s): 1800.12
CPU time (s): 1800.16
CPU user time (s): 1724.41
CPU system time (s): 75.7485
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 136544

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

runsolver used 2.40363 second user time and 5.79712 second system time

The end

Launcher Data 

Begin job on node136 at 2010-06-30 15:13:36
IDJOB=2692787
IDBENCH=78912
IDSOLVER=1204
FILE ID=node136/2692787-1277903616
PBS_JOBID= 11197181
Free space on /tmp= 74132 MiB

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

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

MD5SUM BENCH= 3458f76d1c0eafd16754e96da618f7a2
RANDOM SEED=30465815

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.840
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.83
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.840
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.74
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.840
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.83
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.840
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.840
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:      31103952 kB
Buffers:        187328 kB
Cached:        1378260 kB
SwapCached:          0 kB
Active:         801156 kB
Inactive:       899708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31103952 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4712 kB
Writeback:           0 kB
AnonPages:      135100 kB
Mapped:          17668 kB
Slab:            81500 kB
PageTables:       5340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   282392 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= 74136 MiB
End job on node136 at 2010-06-30 15:43:38