Trace number 2693559

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
MD5SUMaabd2abc5a32dbb90eb5074319abd403
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 benchmark387.19
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 constraints930
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 46532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46531
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 727
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-2693559-1277910536.wbo>
0.00/0.03	c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.02/0.04	c presolving:
0.02/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.02/0.08	c (round 2) 0 del vars, 110 del conss, 930 chg bounds, 57 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.02/0.08	c (round 3) 57 del vars, 168 del conss, 931 chg bounds, 58 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.02/0.09	c (round 4) 115 del vars, 229 del conss, 947 chg bounds, 118 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.10	c (round 5) 132 del vars, 266 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.09/0.11	c (round 6) 155 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.12	c (round 7) 162 del vars, 273 del conss, 954 chg bounds, 139 chg sides, 0 chg coeffs, 1667 upgd conss, 1142 impls, 14 clqs
0.09/0.16	c    (0.1s) probing: 101/1080 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16	c presolving (8 rounds):
0.09/0.16	c  162 deleted vars, 273 deleted constraints, 954 tightened bounds, 0 added holes, 139 changed sides, 0 changed coefficients
0.09/0.16	c  1142 implications, 14 cliques
0.09/0.16	c presolved problem has 1929 variables (1080 bin, 0 int, 0 impl, 849 cont) and 3365 constraints
0.09/0.16	c     849 constraints of type <indicator>
0.09/0.16	c       1 constraints of type <knapsack>
0.09/0.16	c      14 constraints of type <setppc>
0.09/0.16	c     849 constraints of type <linear>
0.09/0.16	c    1652 constraints of type <logicor>
0.09/0.16	c transformed objective value is always integral (scale: 1)
0.09/0.16	c Presolving Time: 0.11
0.09/0.16	c - non default parameters ----------------------------------------------------------------------
0.09/0.16	c # SCIP version 1.2.1.2
0.09/0.16	c 
0.09/0.16	c # frequency for displaying node information lines
0.09/0.16	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16	c display/freq = 10000
0.09/0.16	c 
0.09/0.16	c # maximal time in seconds to run
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/time = 1799.98
0.09/0.16	c 
0.09/0.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16	c limits/memory = 3420
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify inequalities
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/linear/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # should presolving try to simplify knapsacks
0.09/0.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16	c 
0.09/0.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16	c separating/rapidlearning/freq = 0
0.09/0.16	c 
0.09/0.16	c -----------------------------------------------------------------------------------------------
0.09/0.16	c start solving
0.09/0.17	c 
0.09/0.17	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.17	c   0.1s|     1 |     0 |    27 |     - |8814k|   0 |  14 |1929 |3365 |1929 |1667 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.18	o 42682
0.09/0.18	c y 0.1s|     1 |     0 |    27 |     - |8849k|   0 |  14 |1929 |3365 |1929 |1667 |   0 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |    42 |     - |8893k|   0 |  19 |1929 |3365 |1929 |1683 |  16 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |    67 |     - |8988k|   0 |  20 |1929 |3365 |1929 |1692 |  25 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |    83 |     - |9142k|   0 |  27 |1929 |3365 |1929 |1696 |  29 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |    98 |     - |9205k|   0 |  31 |1929 |3365 |1929 |1697 |  30 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.39/0.41	c   0.3s|     1 |     0 |   106 |     - |9209k|   0 |  35 |1929 |3365 |1929 |1699 |  32 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.39/0.47	c   0.4s|     1 |     0 |   131 |     - |9213k|   0 |  27 |1929 |3365 |1929 |1701 |  34 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
1.00/1.07	c   1.0s|     1 |     2 |   131 |     - |9246k|   0 |  27 |1929 |3365 |1929 |1701 |  34 |   0 |  27 | 0.000000e+00 | 4.268200e+04 |    Inf 
2.48/2.53	o 346
2.48/2.53	c * 2.4s|    18 |     9 |   690 |  32.9 |9430k|  13 |   - |1929 |3377 |1929 |1697 |  39 |  12 | 141 | 0.000000e+00 | 3.460000e+02 |    Inf 
2.79/2.83	o 340
2.79/2.83	c * 2.7s|    57 |    38 |   950 |  14.6 |  10M|  22 |   - |1929 |3387 |1929 |1700 |  58 |  22 | 223 | 0.000000e+00 | 3.400000e+02 |    Inf 
2.88/2.92	o 320
2.88/2.92	c * 2.8s|    62 |    40 |  1017 |  14.5 |  10M|  22 |   - |1929 |3387 |1929 |1698 |  64 |  22 | 252 | 0.000000e+00 | 3.200000e+02 |    Inf 
2.88/2.96	o 232
2.88/2.96	c * 2.8s|    73 |    40 |  1195 |  14.8 |  10M|  22 |   - |1929 |3394 |1929 |1695 |  67 |  29 | 256 | 0.000000e+00 | 2.320000e+02 |    Inf 
3.68/3.72	o 210
3.68/3.72	c * 3.5s|   105 |    48 |  1804 |  16.1 |  10M|  22 |   - |1929 |3418 |1929 |1693 |  79 |  53 | 443 | 0.000000e+00 | 2.100000e+02 |    Inf 
4.29/4.39	o 204
4.29/4.39	c * 4.2s|   157 |    64 |  2326 |  14.1 |  10M|  29 |   - |1929 |3480 |1929 |1697 |  90 | 115 | 627 | 0.000000e+00 | 2.040000e+02 |    Inf 
6.68/6.72	o 182
6.68/6.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.68/6.72	c * 6.4s|   737 |   196 |  5507 |   7.3 |  12M|  55 |   - |1929 |3983 |1929 |1692 | 192 | 663 |1194 | 0.000000e+00 | 1.820000e+02 |    Inf 
7.69/7.77	o 178
7.69/7.77	c * 7.4s|  1120 |   268 |  7211 |   6.3 |  13M|  55 |   - |1929 |4244 |1929 |1704 | 229 |1031 |1387 | 0.000000e+00 | 1.780000e+02 |    Inf 
7.69/7.77	o 170
7.69/7.77	c * 7.4s|  1121 |   260 |  7211 |   6.3 |  13M|  55 |   - |1929 |4244 |1929 |1704 | 229 |1031 |1387 | 0.000000e+00 | 1.700000e+02 |    Inf 
7.78/7.88	o 132
7.78/7.88	c * 7.5s|  1176 |   279 |  7384 |   6.2 |  14M|  55 |   - |1929 |4250 |1929 |1707 | 236 |1057 |1395 | 0.000000e+00 | 1.320000e+02 |    Inf 
7.78/7.88	o 124
7.78/7.88	c * 7.5s|  1177 |   275 |  7384 |   6.2 |  14M|  55 |   - |1929 |4250 |1929 |1707 | 236 |1057 |1395 | 0.000000e+00 | 1.240000e+02 |    Inf 
7.89/7.99	o 115
7.89/7.99	c * 7.6s|  1227 |   265 |  7681 |   6.2 |  14M|  55 |   - |1929 |4292 |1929 |1707 | 241 |1115 |1406 | 0.000000e+00 | 1.150000e+02 |    Inf 
7.98/8.00	o 111
7.98/8.00	c * 7.7s|  1229 |   265 |  7685 |   6.2 |  14M|  55 |   - |1929 |4289 |1929 |1707 | 241 |1115 |1406 | 0.000000e+00 | 1.110000e+02 |    Inf 
8.39/8.43	o 53
8.39/8.43	c * 8.1s|  1382 |   186 |  8388 |   6.0 |  13M|  55 |   - |1929 |4390 |1929 |1714 | 259 |1288 |1486 | 0.000000e+00 | 5.300000e+01 |    Inf 
10.18/10.26	o 49
10.18/10.26	c * 9.9s|  1715 |   189 | 13423 |   7.8 |  13M|  55 |   - |1929 |4014 |1929 |1706 | 304 |1716 |1861 | 0.000000e+00 | 4.900000e+01 |    Inf 
11.49/11.56	o 36
11.49/11.56	c *11.1s|  2115 |   183 | 19048 |   8.9 |  14M|  55 |   - |1929 |4221 |1929 |1696 | 415 |2227 |1998 | 0.000000e+00 | 3.600000e+01 |    Inf 
11.49/11.58	o 12
11.49/11.58	c *11.2s|  2117 |   168 | 19070 |   9.0 |  13M|  55 |   - |1929 |4073 |1929 |1697 | 416 |2227 |1998 | 0.000000e+00 | 1.200000e+01 |    Inf 
12.09/12.11	o 6
12.09/12.11	c *11.7s|  2342 |   168 | 21705 |   9.2 |  13M|  55 |   - |1929 |3997 |1929 |1692 | 488 |2488 |2047 | 0.000000e+00 | 6.000000e+00 |    Inf 
26.99/27.08	c  26.4s| 10000 |   190 |119936 |  12.0 |  16M|  55 |   - |1929 |8687 |1929 |1692 |1825 |  12k|2187 | 0.000000e+00 | 6.000000e+00 |    Inf 
46.88/46.99	c  45.7s| 20000 |   300 |242461 |  12.1 |  18M|  55 |  20 |1929 |  11k|1929 |1698 |3182 |  24k|2220 | 0.000000e+00 | 6.000000e+00 |    Inf 
69.39/69.46	c  67.4s| 30000 |   485 |375421 |  12.5 |  21M|  55 |  27 |1929 |  14k|1929 |1698 |4339 |  37k|2525 | 0.000000e+00 | 6.000000e+00 |    Inf 
91.29/91.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
91.29/91.39	c  88.5s| 40000 |   584 |496540 |  12.4 |  22M|  55 |   - |1929 |  16k|1929 |1692 |5574 |  50k|2885 | 0.000000e+00 | 6.000000e+00 |    Inf 
112.79/112.88	c   109s| 50000 |   657 |609147 |  12.2 |  22M|  55 |   - |1929 |  15k|   0 |   0 |6724 |  64k|3131 | 0.000000e+00 | 6.000000e+00 |    Inf 
135.30/135.39	c   131s| 60000 |   700 |736569 |  12.3 |  24M|  58 |   - |1929 |  17k|   0 |   0 |7895 |  77k|3451 | 0.000000e+00 | 6.000000e+00 |    Inf 
155.69/155.78	c   151s| 70000 |   719 |838103 |  12.0 |  25M|  64 |  20 |1929 |  18k|1929 |1698 |8936 |  90k|3655 | 0.000000e+00 | 6.000000e+00 |    Inf 
176.79/176.82	c   171s| 80000 |   690 |948082 |  11.8 |  25M|  64 |  24 |1929 |  18k|1929 |1706 |9900 | 104k|3870 | 0.000000e+00 | 6.000000e+00 |    Inf 
199.00/199.07	c   193s| 90000 |   727 |  1068k|  11.9 |  26M|  66 |   - |1929 |  19k|   0 |   0 |  10k| 117k|4088 | 0.000000e+00 | 6.000000e+00 |    Inf 
220.39/220.40	c   213s|100000 |   704 |  1175k|  11.8 |  26M|  66 |   - |1929 |  20k|1929 |1703 |  11k| 131k|4292 | 0.000000e+00 | 6.000000e+00 |    Inf 
236.39/236.44	o 5
236.39/236.44	c * 229s|107558 |   691 |  1256k|  11.7 |  27M|  66 |   - |1929 |  22k|1929 |1696 |  12k| 141k|4387 | 0.000000e+00 | 5.000000e+00 |    Inf 
242.00/242.09	c   234s|110000 |   661 |  1286k|  11.7 |  26M|  66 |   - |1929 |  20k|   0 |   0 |  12k| 144k|4448 | 0.000000e+00 | 5.000000e+00 |    Inf 
265.39/265.47	c   257s|120000 |   614 |  1414k|  11.8 |  25M|  66 |  17 |1929 |  16k|1929 |1706 |  13k| 157k|4670 | 0.000000e+00 | 5.000000e+00 |    Inf 
286.20/286.24	c   277s|130000 |   710 |  1527k|  11.7 |  25M|  66 |  22 |1929 |  17k|1929 |1698 |  14k| 170k|4802 | 0.000000e+00 | 5.000000e+00 |    Inf 
308.89/308.93	c   299s|140000 |   658 |  1657k|  11.8 |  25M|  66 |  29 |1929 |  14k|1929 |1692 |  15k| 184k|5011 | 0.000000e+00 | 5.000000e+00 |    Inf 
333.69/333.79	c   323s|150000 |   682 |  1813k|  12.1 |  26M|  66 |  26 |1929 |  18k|1929 |1692 |  16k| 197k|5201 | 0.000000e+00 | 5.000000e+00 |    Inf 
356.80/356.87	c   345s|160000 |   756 |  1940k|  12.1 |  27M|  66 |   - |1929 |  20k|   0 |   0 |  18k| 209k|5378 | 0.000000e+00 | 5.000000e+00 |    Inf 
379.70/379.79	c   367s|170000 |   693 |  2068k|  12.2 |  26M|  66 |  26 |1929 |  16k|1929 |1697 |  19k| 223k|5523 | 0.000000e+00 | 5.000000e+00 |    Inf 
402.20/402.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
402.20/402.25	c   389s|180000 |   879 |  2199k|  12.2 |  28M|  66 |   9 |1929 |  18k|1929 |1692 |  20k| 236k|5679 | 0.000000e+00 | 5.000000e+00 |    Inf 
424.99/425.00	c   411s|190000 |   961 |  2332k|  12.3 |  28M|  66 |  19 |1929 |  17k|1929 |1692 |  21k| 249k|5792 | 0.000000e+00 | 5.000000e+00 |    Inf 
448.40/448.48	c   433s|200000 |   969 |  2471k|  12.4 |  29M|  66 |   - |1929 |  18k|1929 |1692 |  22k| 262k|5979 | 0.000000e+00 | 5.000000e+00 |    Inf 
471.00/471.09	c   455s|210000 |   959 |  2604k|  12.4 |  29M|  66 |   - |1929 |  19k|   0 |   0 |  23k| 276k|6080 | 0.000000e+00 | 5.000000e+00 |    Inf 
495.51/495.54	c   479s|220000 |   913 |  2749k|  12.5 |  29M|  66 |  30 |1929 |  18k|1929 |1698 |  24k| 290k|6266 | 0.000000e+00 | 5.000000e+00 |    Inf 
519.11/519.19	c   502s|230000 |   909 |  2894k|  12.6 |  29M|  66 |   - |1929 |  18k|1929 |1692 |  25k| 303k|6357 | 0.000000e+00 | 5.000000e+00 |    Inf 
543.80/543.89	c   525s|240000 |   884 |  3042k|  12.7 |  29M|  66 |   8 |1929 |  18k|1929 |1701 |  26k| 316k|6553 | 0.000000e+00 | 5.000000e+00 |    Inf 
567.61/567.61	c   548s|250000 |   834 |  3181k|  12.7 |  30M|  66 |  30 |1929 |  20k|1929 |1699 |  27k| 330k|6706 | 0.000000e+00 | 5.000000e+00 |    Inf 
590.71/590.73	c   571s|260000 |   770 |  3315k|  12.8 |  29M|  66 |   - |1929 |  19k|   0 |   0 |  28k| 344k|6810 | 0.000000e+00 | 5.000000e+00 |    Inf 
614.10/614.15	c   593s|270000 |   767 |  3456k|  12.8 |  30M|  66 |   - |1929 |  21k|   0 |   0 |  30k| 357k|6888 | 0.000000e+00 | 5.000000e+00 |    Inf 
638.41/638.41	c   617s|280000 |   705 |  3596k|  12.8 |  28M|  66 |   - |1929 |  17k|1929 |1703 |  31k| 370k|7042 | 0.000000e+00 | 5.000000e+00 |    Inf 
662.90/662.93	c   640s|290000 |   733 |  3744k|  12.9 |  30M|  66 |   - |1929 |  21k|   0 |   0 |  32k| 384k|7173 | 0.000000e+00 | 5.000000e+00 |    Inf 
687.90/687.97	c   665s|300000 |   854 |  3886k|  13.0 |  30M|  66 |   - |1929 |  20k|1929 |1692 |  33k| 397k|7283 | 0.000000e+00 | 5.000000e+00 |    Inf 
711.51/711.55	c   687s|310000 |   904 |  4017k|  13.0 |  31M|  66 |   - |1929 |  20k|1929 |1707 |  35k| 410k|7393 | 0.000000e+00 | 5.000000e+00 |    Inf 
736.91/736.96	c   712s|320000 |   885 |  4158k|  13.0 |  31M|  66 |   - |1929 |  20k|1929 |1692 |  36k| 423k|7532 | 0.000000e+00 | 5.000000e+00 |    Inf 
761.41/761.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
761.41/761.47	c   736s|330000 |   851 |  4297k|  13.0 |  30M|  66 |   9 |1929 |  19k|1929 |1706 |  37k| 436k|7638 | 0.000000e+00 | 5.000000e+00 |    Inf 
783.71/783.74	c   757s|340000 |   918 |  4418k|  13.0 |  31M|  66 |   - |1929 |  21k|   0 |   0 |  39k| 449k|7733 | 0.000000e+00 | 5.000000e+00 |    Inf 
806.71/806.78	c   779s|350000 |   866 |  4544k|  13.0 |  31M|  66 |   - |1929 |  20k|   0 |   0 |  40k| 463k|7817 | 0.000000e+00 | 5.000000e+00 |    Inf 
831.31/831.32	c   803s|360000 |   887 |  4685k|  13.0 |  32M|  66 |   - |1929 |  21k|   0 |   0 |  41k| 476k|7899 | 0.000000e+00 | 5.000000e+00 |    Inf 
856.41/856.41	c   827s|370000 |   866 |  4832k|  13.1 |  31M|  66 |   - |1929 |  19k|1929 |1692 |  43k| 490k|8003 | 0.000000e+00 | 5.000000e+00 |    Inf 
880.72/880.71	c   851s|380000 |   841 |  4973k|  13.1 |  31M|  66 |   - |1929 |  19k|1929 |1692 |  44k| 503k|8124 | 0.000000e+00 | 5.000000e+00 |    Inf 
906.91/906.95	c   876s|390000 |   944 |  5131k|  13.2 |  33M|  66 |  20 |1929 |  23k|1929 |1692 |  45k| 516k|8246 | 0.000000e+00 | 5.000000e+00 |    Inf 
933.82/933.80	c   902s|400000 |   964 |  5291k|  13.2 |  34M|  66 |  19 |1929 |  24k|1929 |1692 |  46k| 529k|8348 | 0.000000e+00 | 5.000000e+00 |    Inf 
961.11/961.16	c   928s|410000 |   921 |  5458k|  13.3 |  33M|  66 |   - |1929 |  22k|1929 |1692 |  48k| 543k|8451 | 0.000000e+00 | 5.000000e+00 |    Inf 
985.12/985.18	c   952s|420000 |  1049 |  5594k|  13.3 |  33M|  66 |  19 |1929 |  20k|1929 |1711 |  49k| 556k|8589 | 0.000000e+00 | 5.000000e+00 |    Inf 
1008.12/1008.12	c   974s|430000 |  1113 |  5720k|  13.3 |  34M|  66 |   - |1929 |  21k|1929 |1692 |  50k| 569k|8664 | 0.000000e+00 | 5.000000e+00 |    Inf 
1031.52/1031.56	c   996s|440000 |  1241 |  5848k|  13.3 |  35M|  66 |  14 |1929 |  22k|1929 |1692 |  52k| 583k|8744 | 0.000000e+00 | 5.000000e+00 |    Inf 
1056.32/1056.36	c  1020s|450000 |  1319 |  5988k|  13.3 |  36M|  66 |   - |1929 |  22k|   0 |   0 |  53k| 596k|8818 | 0.000000e+00 | 5.000000e+00 |    Inf 
1080.52/1080.51	c  1044s|460000 |  1368 |  6119k|  13.3 |  36M|  66 |   1 |1929 |  22k|1929 |1700 |  54k| 609k|8878 | 0.000000e+00 | 5.000000e+00 |    Inf 
1105.72/1105.71	c  1068s|470000 |  1430 |  6263k|  13.3 |  37M|  66 |   - |1929 |  24k|1929 |1692 |  55k| 622k|8950 | 0.000000e+00 | 5.000000e+00 |    Inf 
1130.72/1130.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1130.72/1130.72	c  1092s|480000 |  1482 |  6407k|  13.3 |  38M|  66 |   - |1929 |  26k|1929 |1692 |  56k| 636k|9027 | 0.000000e+00 | 5.000000e+00 |    Inf 
1148.63/1148.62	o 4
1148.63/1148.62	c *1110s|487264 |  1168 |  6505k|  13.4 |  35M|  66 |   - |1929 |  24k|1929 |1692 |  58k| 646k|9107 | 0.000000e+00 | 4.000000e+00 |    Inf 
1155.32/1155.31	c  1116s|490000 |  1191 |  6544k|  13.4 |  35M|  66 |  11 |1929 |  23k|1929 |1701 |  58k| 650k|9112 | 0.000000e+00 | 4.000000e+00 |    Inf 
1180.52/1180.54	c  1141s|500000 |  1222 |  6688k|  13.4 |  35M|  66 |   - |1929 |  23k|   0 |   0 |  60k| 663k|9220 | 0.000000e+00 | 4.000000e+00 |    Inf 
1206.52/1206.50	c  1166s|510000 |  1341 |  6834k|  13.4 |  37M|  66 |   - |1929 |  27k|   0 |   0 |  61k| 677k|9303 | 0.000000e+00 | 4.000000e+00 |    Inf 
1232.52/1232.59	c  1191s|520000 |  1364 |  6979k|  13.4 |  38M|  66 |   - |1929 |  27k|1929 |1708 |  63k| 690k|9391 | 0.000000e+00 | 4.000000e+00 |    Inf 
1259.73/1259.79	c  1217s|530000 |  1355 |  7133k|  13.5 |  38M|  66 |  17 |1929 |  27k|1929 |1692 |  64k| 704k|9482 | 0.000000e+00 | 4.000000e+00 |    Inf 
1285.42/1285.48	c  1242s|540000 |  1396 |  7278k|  13.5 |  38M|  66 |  22 |1929 |  26k|1929 |1692 |  65k| 717k|9569 | 0.000000e+00 | 4.000000e+00 |    Inf 
1311.24/1311.23	c  1267s|550000 |  1375 |  7422k|  13.5 |  37M|  66 |  19 |1929 |  25k|1929 |1700 |  67k| 730k|9642 | 0.000000e+00 | 4.000000e+00 |    Inf 
1336.13/1336.10	c  1291s|560000 |  1376 |  7564k|  13.5 |  38M|  66 |  19 |1929 |  26k|1929 |1692 |  68k| 744k|9715 | 0.000000e+00 | 4.000000e+00 |    Inf 
1362.63/1362.63	c  1317s|570000 |  1322 |  7714k|  13.5 |  37M|  66 |  23 |1929 |  23k|1929 |1692 |  70k| 758k|9790 | 0.000000e+00 | 4.000000e+00 |    Inf 
1389.24/1389.25	c  1343s|580000 |  1291 |  7873k|  13.6 |  36M|  66 |  12 |1929 |  21k|1929 |1699 |  71k| 771k|9865 | 0.000000e+00 | 4.000000e+00 |    Inf 
1411.63/1411.68	c  1364s|590000 |  1315 |  7991k|  13.5 |  36M|  67 |   - |1929 |  21k|   0 |   0 |  73k| 784k|9923 | 0.000000e+00 | 4.000000e+00 |    Inf 
1437.23/1437.27	c  1389s|600000 |  1314 |  8141k|  13.6 |  37M|  67 |  21 |1929 |  23k|1929 |1692 |  74k| 797k|9985 | 0.000000e+00 | 4.000000e+00 |    Inf 
1462.44/1462.48	c  1414s|610000 |  1269 |  8290k|  13.6 |  37M|  67 |   - |1929 |  23k|   0 |   0 |  76k| 811k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1487.93/1487.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1487.93/1487.99	c  1438s|620000 |  1212 |  8438k|  13.6 |  37M|  67 |  13 |1929 |  23k|1929 |1704 |  77k| 824k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1513.54/1513.54	c  1463s|630000 |  1170 |  8586k|  13.6 |  36M|  67 |   - |1929 |  23k|1929 |1701 |  78k| 838k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1538.94/1538.97	c  1488s|640000 |  1102 |  8727k|  13.6 |  35M|  67 |   4 |1929 |  20k|1929 |1692 |  80k| 852k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1564.24/1564.27	c  1512s|650000 |  1046 |  8877k|  13.7 |  34M|  67 |  20 |1929 |  19k|1929 |1692 |  81k| 865k|  10k| 0.000000e+00 | 4.000000e+00 |    Inf 
1582.94/1582.92	o 3
1582.94/1582.92	c *1530s|657961 |  1002 |  8987k|  13.7 |  35M|  67 |   - |1929 |  21k|1929 |1700 |  82k| 876k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1587.64/1587.66	c  1535s|660000 |  1006 |  9014k|  13.7 |  35M|  67 |  13 |1929 |  21k|1929 |1692 |  83k| 879k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1610.24/1610.22	c  1557s|670000 |  1040 |  9141k|  13.6 |  34M|  67 |   - |1929 |  18k|1929 |1702 |  84k| 892k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1635.14/1635.18	c  1581s|680000 |  1021 |  9289k|  13.7 |  33M|  67 |   - |1929 |  16k|   0 |   0 |  86k| 905k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1659.34/1659.39	c  1604s|690000 |  1052 |  9428k|  13.7 |  35M|  67 |  12 |1929 |  19k|1929 |1710 |  87k| 918k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1684.74/1684.78	c  1629s|700000 |  1128 |  9579k|  13.7 |  36M|  67 |   - |1929 |  22k|1929 |1702 |  88k| 931k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1711.05/1711.07	c  1654s|710000 |  1202 |  9738k|  13.7 |  37M|  67 |   1 |1929 |  23k|1929 |1702 |  89k| 944k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1735.34/1735.36	c  1678s|720000 |  1232 |  9876k|  13.7 |  38M|  67 |   - |1929 |  25k|   0 |   0 |  91k| 958k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1761.14/1761.16	c  1702s|730000 |  1190 | 10024k|  13.7 |  38M|  67 |   - |1929 |  25k|1929 |1702 |  92k| 971k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1785.44/1785.42	c  1726s|740000 |  1167 | 10154k|  13.7 |  38M|  67 |  20 |1929 |  25k|1929 |1702 |  93k| 985k|  10k| 0.000000e+00 | 3.000000e+00 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1740.05
1800.05/1800.00	c Solving Nodes      : 745957
1800.05/1800.00	c Primal Bound       : +3.00000000000000e+00 (124 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.01	s SATISFIABLE
1800.05/1800.01	v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 
1800.05/1800.01	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.05/1800.01	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.05/1800.01	v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 
1800.05/1800.01	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 
1800.05/1800.01	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.01	v -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.05/1800.01	v -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.05/1800.01	v -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.05/1800.01	v -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.05/1800.01	v -x1 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time       :    1740.05
1800.05/1800.01	c Original Problem   :
1800.05/1800.01	c   Problem name     : HOME/instance-2693559-1277910536.wbo
1800.05/1800.01	c   Variables        : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous)
1800.05/1800.01	c   Constraints      : 3638 initial, 3638 maximal
1800.05/1800.01	c Presolved Problem  :
1800.05/1800.01	c   Problem name     : t_HOME/instance-2693559-1277910536.wbo
1800.05/1800.01	c   Variables        : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous)
1800.05/1800.01	c   Constraints      : 3365 initial, 29004 maximal
1800.05/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.01	c   trivial          :       0.00         81          0          0          0          0          0          0          0
1800.05/1800.01	c   dualfix          :       0.00         81          0          0          0          0          0          0          0
1800.05/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.05/1800.01	c   indicator        :       0.00          0          0          0          0          0         81          0          0
1800.05/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   linear           :       0.08          0          0          0        954          0        192        139          0
1800.05/1800.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   root node        :          -        839          -          -       1678          -          -          -          -
1800.05/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   integral         :          0          0          0     414642          0        273       3012          0          0     792356
1800.05/1800.01	c   indicator        :        849          0    3250446      15819          0        109     152021          0          0          0
1800.05/1800.01	c   knapsack         :          1          6    3254851      15853          0      48682    7651746          0          0          0
1800.05/1800.01	c   setppc           :         14          6    3209813      15820          0      41613    2040797          0          0          0
1800.05/1800.01	c   linear           :        849          6    3168519      15847          0      55156    4190807      94172          0          0
1800.05/1800.01	c   logicor          :       1652+         6    1618507        404          0     111688    5868718          0          0          0
1800.05/1800.01	c   countsols        :          0          0          0        404          0          0          0          0          0          0
1800.05/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.01	c   integral         :      36.43       0.00       0.00      36.43       0.00
1800.05/1800.01	c   indicator        :       2.43       0.00       2.30       0.13       0.00
1800.05/1800.01	c   knapsack         :      34.00       0.00      34.00       0.00       0.00
1800.05/1800.01	c   setppc           :      12.69       0.00      12.69       0.00       0.00
1800.05/1800.01	c   linear           :      45.29       0.00      44.87       0.42       0.00
1800.05/1800.01	c   logicor          :     186.09       0.00     186.08       0.01       0.00
1800.05/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.01	c   vbounds          :       0.89          2          0          0
1800.05/1800.01	c   rootredcost      :       0.70         22          0        839
1800.05/1800.01	c   pseudoobj        :      52.02    3259123        276      99163
1800.05/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.01	c   propagation      :       9.36     257415     256828    1486624       25.1       6987       23.9          -
1800.05/1800.01	c   infeasible LP    :      23.82     136240     136235    1011691       43.2        875       16.0          0
1800.05/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   pseudo solution  :       0.00         16         16        113       20.8          6       11.0          -
1800.05/1800.01	c   applied globally :          -          -          -     993371       27.8          -          -          -
1800.05/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.01	c   cut pool         :       0.00          5          -          -         23          -    (maximal pool size: 155)
1800.05/1800.01	c   redcost          :      10.79     416016          0      36977          0          0
1800.05/1800.01	c   impliedbounds    :       0.00          6          0          0          0          0
1800.05/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.01	c   gomory           :       0.12          6          0          0       1485          0
1800.05/1800.01	c   strongcg         :       0.07          6          0          0       1012          0
1800.05/1800.01	c   cmir             :       0.01          6          0          0          0          0
1800.05/1800.01	c   flowcover        :       0.06          6          0          0          0          0
1800.05/1800.01	c   clique           :       0.00          6          0          0          0          0
1800.05/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.01	c Pricers            :       Time      Calls       Vars
1800.05/1800.01	c   problem variables:       0.00          0          0
1800.05/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   relpscost        :      36.11     398780        273       3012          0          0     792356
1800.05/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   inference        :       0.02        383          0          0          0          0        766
1800.05/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.01	c   LP solutions     :       0.01          -         21
1800.05/1800.01	c   pseudo solutions :       0.00          -          0
1800.05/1800.01	c   oneopt           :       0.30         20          0
1800.05/1800.01	c   feaspump         :       0.04          1          0
1800.05/1800.01	c   intshifting      :       0.02         11          0
1800.05/1800.01	c   crossover        :       0.47          7          0
1800.05/1800.01	c   veclendiving     :       0.10         43          0
1800.05/1800.01	c   linesearchdiving :       0.07         43          0
1800.05/1800.01	c   rootsoldiving    :       0.26         22          0
1800.05/1800.02	c   guideddiving     :       0.16         44          0
1800.05/1800.02	c   coefdiving       :       0.19         44          0
1800.05/1800.02	c   pscostdiving     :       0.20         44          0
1800.05/1800.02	c   fracdiving       :       0.24         44          0
1800.05/1800.02	c   objpscostdiving  :       0.18         23          0
1800.05/1800.02	c   trivial          :       0.00          2          0
1800.05/1800.02	c   simplerounding   :       0.63     398909          0
1800.05/1800.02	c   zirounding       :       0.31       1000          0
1800.05/1800.02	c   rounding         :       0.94       8884          0
1800.05/1800.02	c   shifting         :       0.82       2744          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.02          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.22          0          0
1800.05/1800.02	c   trysol           :       0.76       2392        103
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          :    1011.41     548105   10230686      18.67   10115.27
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:       0.98        740       6008       8.12    6130.61
1800.05/1800.02	c   strong branching :      32.53      10965     328043      29.92   10084.32
1800.05/1800.02	c     (at root node) :          -         27       6077     225.07          -
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            :     745957
1800.05/1800.02	c   nodes (total)    :     745957
1800.05/1800.02	c   nodes left       :       1207
1800.05/1800.02	c   max depth        :         67
1800.05/1800.02	c   max depth (total):         67
1800.05/1800.02	c   backtracks       :     102564 (13.7%)
1800.05/1800.02	c   delayed cutoffs  :      45396
1800.05/1800.02	c   repropagations   :    1241403 (3581681 domain reductions, 44110 cutoffs)
1800.05/1800.02	c   avg switch length:       4.99
1800.05/1800.02	c   switching time   :     174.13
1800.05/1800.02	c Solution           :
1800.05/1800.02	c   Solutions found  :        124 (22 improvements)
1800.05/1800.02	c   First Solution   : +4.26820000000000e+04   (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.05/1800.02	c   Primal Bound     : +3.00000000000000e+00   (in run 1, after 657961 nodes, 1530.11 seconds, depth 48, 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  :        131
1800.05/1800.07	c Time complete: 1800.11.

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693559-1277910536/watcher-2693559-1277910536 -o /tmp/evaluation-result-2693559-1277910536/solver-2693559-1277910536 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693559-1277910536.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.08 4/196 11184
/proc/meminfo: memFree=30339020/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=11008 CPUtime=0
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 1676 0 0 0 0 0 0 0 25 0 1 0 132350993 11272192 1596 4089446400 4194304 9819077 140734621039200 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11184/statm: 2752 1596 392 1374 0 1373 0

[startup+0.034431 s]
/proc/loadavg: 2.00 2.00 2.08 4/196 11184
/proc/meminfo: memFree=30339020/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=20000 CPUtime=0.02
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 4324 0 0 0 2 0 0 0 25 0 1 0 132350993 20480000 3890 4089446400 4194304 9819077 140734621039200 18446744073709551615 4214268 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11184/statm: 5000 3890 435 1374 0 3621 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20000

[startup+0.100451 s]
/proc/loadavg: 2.00 2.00 2.08 4/196 11184
/proc/meminfo: memFree=30339020/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=24056 CPUtime=0.09
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 6944 0 0 0 8 1 0 0 25 0 1 0 132350993 24633344 4711 4089446400 4194304 9819077 140734621039200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11184/statm: 6014 4711 498 1374 0 4635 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24056

[startup+0.300418 s]
/proc/loadavg: 2.00 2.00 2.08 4/196 11184
/proc/meminfo: memFree=30339020/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=33868 CPUtime=0.29
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 12366 0 0 0 27 2 0 0 25 0 1 0 132350993 34680832 6914 4089446400 4194304 9819077 140734621039200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11184/statm: 8467 6914 690 1374 0 7088 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33868

[startup+0.70034 s]
/proc/loadavg: 2.00 2.00 2.08 4/196 11184
/proc/meminfo: memFree=30339020/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=42528 CPUtime=0.69
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 20257 0 0 0 66 3 0 0 25 0 1 0 132350993 43548672 8515 4089446400 4194304 9819077 140734621039200 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11184/statm: 10632 8515 716 1374 0 9253 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42528

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.08 3/197 11185
/proc/meminfo: memFree=30307516/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=42760 CPUtime=1.49
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 28580 0 0 0 144 5 0 0 25 0 1 0 132350993 43786240 8508 4089446400 4194304 9819077 140734621039200 18446744073709551615 7292350 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11184/statm: 10690 8508 720 1374 0 9311 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42760

[startup+3.1009 s]
/proc/loadavg: 2.00 2.00 2.08 3/197 11185
/proc/meminfo: memFree=30307144/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=44320 CPUtime=3.08
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 55330 0 0 0 297 11 0 0 25 0 1 0 132350993 45383680 8806 4089446400 4194304 9819077 140734621039200 18446744073709551615 6361878 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 11080 8806 725 1374 0 9701 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 44320

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.08 3/197 11185
/proc/meminfo: memFree=30303672/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=47412 CPUtime=6.29
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 130431 0 0 0 602 27 0 0 25 0 1 0 132350993 48549888 10399 4089446400 4194304 9819077 140734621039200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 11853 10399 728 1374 0 10474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47412

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.08 3/197 11185
/proc/meminfo: memFree=30293456/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=51916 CPUtime=12.69
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 151433 0 0 0 1227 42 0 0 25 0 1 0 132350993 53161984 11743 4089446400 4194304 9819077 140734621039200 18446744073709551615 6590493 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 12979 11743 743 1374 0 11600 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51916

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.08 3/197 11185
/proc/meminfo: memFree=30293400/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=52752 CPUtime=25.49
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 155831 0 0 0 2488 61 0 0 25 0 1 0 132350993 54018048 11956 4089446400 4194304 9819077 140734621039200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 13188 11956 743 1374 0 11809 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52752

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.08 3/197 11186
/proc/meminfo: memFree=30290684/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=55728 CPUtime=51.09
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 331397 0 0 0 4967 142 0 0 25 0 1 0 132350993 57065472 12210 4089446400 4194304 9819077 140734621039200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 13932 12210 743 1374 0 12553 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 55728

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.07 3/197 11187
/proc/meminfo: memFree=30278616/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=62460 CPUtime=102.29
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 912283 0 0 0 9904 325 0 0 25 0 1 0 132350993 63959040 13928 4089446400 4194304 9819077 140734621039200 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 15648 13933 743 1374 0 14269 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 62460

[startup+162.3 s]
/proc/loadavg: 1.96 1.98 2.06 3/179 11219
/proc/meminfo: memFree=30568832/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=65800 CPUtime=162.29
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 1534216 0 0 0 15698 531 0 0 25 0 1 0 132350993 67379200 14784 4089446400 4194304 9819077 140734621039200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 16450 14787 743 1374 0 15071 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 65800

[startup+222.3 s]
/proc/loadavg: 1.98 1.98 2.05 3/179 11220
/proc/meminfo: memFree=30543084/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=69052 CPUtime=222.29
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 2043901 0 0 0 21507 722 0 0 25 0 1 0 132350993 70709248 15567 4089446400 4194304 9819077 140734621039200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 17263 15567 743 1374 0 15884 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 69052

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 2.05 3/179 11222
/proc/meminfo: memFree=30540184/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=70064 CPUtime=282.3
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 2680860 0 0 0 27291 939 0 0 25 0 1 0 132350993 71745536 15784 4089446400 4194304 9819077 140734621039200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 17516 15784 743 1374 0 16137 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 70064

[startup+342.301 s]
/proc/loadavg: 2.03 2.00 2.05 3/179 11224
/proc/meminfo: memFree=30536552/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=70536 CPUtime=342.3
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 3337036 0 0 0 33086 1144 0 0 25 0 1 0 132350993 72228864 15924 4089446400 4194304 9819077 140734621039200 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 17634 15924 743 1374 0 16255 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 70536

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 2.04 3/179 11225
/proc/meminfo: memFree=30531060/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=71412 CPUtime=402.3
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 3960046 0 0 0 38872 1358 0 0 25 0 1 0 132350993 73125888 16098 4089446400 4194304 9819077 140734621039200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 17853 16098 743 1374 0 16474 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 71412

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 11227
/proc/meminfo: memFree=30528280/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=73028 CPUtime=462.3
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 4579807 0 0 0 44666 1564 0 0 25 0 1 0 132350993 74780672 16512 4089446400 4194304 9819077 140734621039200 18446744073709551615 4677638 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 18257 16512 743 1374 0 16878 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 73028

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 11228
/proc/meminfo: memFree=30525516/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=74008 CPUtime=522.3
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 5198470 0 0 0 50453 1777 0 0 25 0 1 0 132350993 75784192 16780 4089446400 4194304 9819077 140734621039200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 18502 16780 743 1374 0 17123 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 74008

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 11230
/proc/meminfo: memFree=30523620/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=74356 CPUtime=582.3
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 5813012 0 0 0 56249 1981 0 0 25 0 1 0 132350993 76140544 16814 4089446400 4194304 9819077 140734621039200 18446744073709551615 7816519 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 18589 16814 743 1374 0 17210 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 74356

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 11232
/proc/meminfo: memFree=30522208/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=73880 CPUtime=642.31
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 6405028 0 0 0 62052 2179 0 0 25 0 1 0 132350993 75653120 16891 4089446400 4194304 9819077 140734621039200 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 18470 16891 743 1374 0 17091 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 73880

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11236
/proc/meminfo: memFree=30518248/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=76300 CPUtime=822.31
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 8313652 0 0 0 79427 2804 0 0 25 0 1 0 132350993 78131200 17277 4089446400 4194304 9819077 140734621039200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 19075 17277 743 1374 0 17696 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 76300

[startup+882.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 11238
/proc/meminfo: memFree=30517836/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=77008 CPUtime=882.32
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 8951775 0 0 0 85217 3015 0 0 25 0 1 0 132350993 78856192 17380 4089446400 4194304 9819077 140734621039200 18446744073709551615 6670486 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 19252 17380 743 1374 0 17873 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 77008

[startup+942.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 11240
/proc/meminfo: memFree=30513720/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=79104 CPUtime=942.32
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 9581495 0 0 0 91020 3212 0 0 25 0 1 0 132350993 81002496 17882 4089446400 4194304 9819077 140734621039200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 19776 17882 743 1374 0 18397 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 79104

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 11241
/proc/meminfo: memFree=30511816/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=80592 CPUtime=1002.32
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 10230818 0 0 0 96817 3415 0 0 25 0 1 0 132350993 82526208 18240 4089446400 4194304 9819077 140734621039200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 20148 18240 743 1374 0 18769 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 80592

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 11243
/proc/meminfo: memFree=30511044/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=81008 CPUtime=1062.32
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 10847125 0 0 0 102618 3614 0 0 25 0 1 0 132350993 82952192 18349 4089446400 4194304 9819077 140734621039200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 20252 18349 743 1374 0 18873 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 81008

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11244
/proc/meminfo: memFree=30508776/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=82736 CPUtime=1122.32
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 11453230 0 0 0 108421 3811 0 0 25 0 1 0 132350993 84721664 18831 4089446400 4194304 9819077 140734621039200 18446744073709551615 5001220 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 20684 18831 743 1374 0 19305 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 82736

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11246
/proc/meminfo: memFree=30506636/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=83740 CPUtime=1182.33
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 12057696 0 0 0 114225 4008 0 0 25 0 1 0 132350993 85749760 19018 4089446400 4194304 9819077 140734621039200 18446744073709551615 5917632 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 20935 19018 743 1374 0 19556 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 83740

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11248
/proc/meminfo: memFree=30504864/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=84548 CPUtime=1242.32
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 12589488 0 0 0 120048 4184 0 0 25 0 1 0 132350993 86577152 19227 4089446400 4194304 9819077 140734621039200 18446744073709551615 6670045 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 21137 19227 743 1374 0 19758 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 84548

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11249
/proc/meminfo: memFree=30503832/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=84936 CPUtime=1302.33
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 13147422 0 0 0 125861 4372 0 0 25 0 1 0 132350993 86974464 19426 4089446400 4194304 9819077 140734621039200 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 21234 19426 743 1374 0 19855 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 84936

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11254
/proc/meminfo: memFree=30503040/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=85160 CPUtime=1362.33
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 13745388 0 0 0 131669 4564 0 0 25 0 1 0 132350993 87203840 19445 4089446400 4194304 9819077 140734621039200 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 21357 19447 743 1374 0 19978 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 85160

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 11255
/proc/meminfo: memFree=30502088/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=86748 CPUtime=1422.34
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 14302170 0 0 0 137476 4758 0 0 25 0 1 0 132350993 88829952 19668 4089446400 4194304 9819077 140734621039200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 21687 19668 743 1374 0 20308 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 86748

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11257
/proc/meminfo: memFree=30501052/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=86584 CPUtime=1482.33
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 14884155 0 0 0 143272 4961 0 0 25 0 1 0 132350993 88662016 19663 4089446400 4194304 9819077 140734621039200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 21646 19663 743 1374 0 20267 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 86584

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11259
/proc/meminfo: memFree=30500024/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=86920 CPUtime=1542.34
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 15457338 0 0 0 149084 5150 0 0 25 0 1 0 132350993 89006080 19722 4089446400 4194304 9819077 140734621039200 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 21730 19722 743 1374 0 20351 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 86920

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11260
/proc/meminfo: memFree=30498372/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=86728 CPUtime=1602.34
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 16040597 0 0 0 154889 5345 0 0 25 0 1 0 132350993 88809472 19707 4089446400 4194304 9819077 140734621039200 18446744073709551615 4225762 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 21682 19707 743 1374 0 20303 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 86728

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11262
/proc/meminfo: memFree=30498216/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=87080 CPUtime=1662.34
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 16643756 0 0 0 160692 5542 0 0 25 0 1 0 132350993 89169920 19724 4089446400 4194304 9819077 140734621039200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 21770 19724 743 1374 0 20391 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 87080

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11263
/proc/meminfo: memFree=30497672/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=87020 CPUtime=1722.34
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 17275405 0 0 0 166488 5746 0 0 25 0 1 0 132350993 89108480 19725 4089446400 4194304 9819077 140734621039200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 21755 19725 743 1374 0 20376 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 87020

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11265
/proc/meminfo: memFree=30497512/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=86676 CPUtime=1782.34
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 17870713 0 0 0 172290 5944 0 0 25 0 1 0 132350993 88756224 19843 4089446400 4194304 9819077 140734621039200 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 21669 19843 743 1374 0 20290 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 86676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11266
/proc/meminfo: memFree=30497504/32951124 swapFree=67111528/67111528
[pid=11184] ppid=11182 vsize=87248 CPUtime=1800.05
/proc/11184/stat : 11184 (pbscip.linux.x8) R 11182 11184 9834 0 -1 4202496 18047983 0 0 0 174007 5998 0 0 25 0 1 0 132350993 89341952 19847 4089446400 4194304 9819077 140734621039200 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11184/statm: 21812 19847 743 1374 0 20433 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 87248

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.07
CPU time (s): 1800.12
CPU user time (s): 1740.14
CPU system time (s): 59.9869
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 89600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.14
system time used= 59.9869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18047995
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= 3
involuntary context switches= 973

runsolver used 3.47347 second user time and 6.05908 second system time

The end

Launcher Data 

Begin job on node105 at 2010-06-30 17:08:56
IDJOB=2693559
IDBENCH=78978
IDSOLVER=1205
FILE ID=node105/2693559-1277910536
PBS_JOBID= 11197200
Free space on /tmp= 74212 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.1900552288--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-2693559-1277910536/watcher-2693559-1277910536 -o /tmp/evaluation-result-2693559-1277910536/solver-2693559-1277910536 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693559-1277910536.wbo -t 1800 -m 3800

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

MD5SUM BENCH= aabd2abc5a32dbb90eb5074319abd403
RANDOM SEED=1393818020

node105.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	: 5226.15
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.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.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.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.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.94
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.70
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30339548 kB
Buffers:        196012 kB
Cached:        1817952 kB
SwapCached:          0 kB
Active:         930716 kB
Inactive:      1536884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30339548 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6272 kB
Writeback:           0 kB
AnonPages:      453524 kB
Mapped:          20304 kB
Slab:            80124 kB
PageTables:       5636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1654348 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= 74200 MiB
End job on node105 at 2010-06-30 17:38:58