Trace number 2693529

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.14 1800.17

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900583053--soft-66-100-0.wbo
MD5SUM56cc5d1f816d97170bd91f7584a55091
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark453.607
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 constraints911
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 45526
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45525
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 651
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-2693529-1277908983.wbo>
0.00/0.02	c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.02/0.04	c presolving:
0.02/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.02/0.08	c (round 2) 0 del vars, 116 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.02/0.09	c (round 3) 50 del vars, 249 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 0 upgd conss, 1131 impls, 16 clqs
0.09/0.11	c (round 4) 115 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.12	c (round 5) 130 del vars, 264 del conss, 926 chg bounds, 133 chg sides, 0 chg coeffs, 1663 upgd conss, 1131 impls, 16 clqs
0.09/0.16	c    (0.1s) probing: 101/1077 (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 (6 rounds):
0.09/0.16	c  130 deleted vars, 264 deleted constraints, 926 tightened bounds, 0 added holes, 133 changed sides, 0 changed coefficients
0.09/0.16	c  1131 implications, 16 cliques
0.09/0.16	c presolved problem has 1923 variables (1077 bin, 0 int, 0 impl, 846 cont) and 3355 constraints
0.09/0.16	c     846 constraints of type <indicator>
0.09/0.16	c      16 constraints of type <setppc>
0.09/0.16	c     846 constraints of type <linear>
0.09/0.16	c    1647 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.10
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.16	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 |    41 |     - |8706k|   0 |  14 |1923 |3355 |1923 |1663 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.21	c   0.1s|     1 |     0 |    81 |     - |8751k|   0 |  35 |1923 |3355 |1923 |1673 |  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.27	c   0.2s|     1 |     0 |    88 |     - |9065k|   0 |  36 |1923 |3355 |1923 |1681 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |   125 |     - |9210k|   0 |  52 |1923 |3355 |1923 |1683 |  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.48	c   0.4s|     1 |     0 |   233 |     - |9552k|   0 |  62 |1923 |3355 |1923 |1690 |  27 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.60	c   0.5s|     1 |     0 |   302 |     - |9561k|   0 |  63 |1923 |3355 |1923 |1694 |  31 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.69/0.76	c   0.7s|     1 |     0 |   345 |     - |9563k|   0 |  61 |1923 |3355 |1923 |1695 |  32 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.68/2.71	c   2.6s|     1 |     2 |   345 |     - |9599k|   0 |  61 |1923 |3355 |1923 |1695 |  32 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
2.68/2.71	o 42201
2.68/2.71	c y 2.6s|     2 |     1 |   345 |   0.0 |9628k|   1 |   - |1923 |3355 |   0 |   0 |  32 |   0 |  33 | 0.000000e+00 | 4.220100e+04 |    Inf 
10.79/10.81	o 236
10.79/10.81	c *10.6s|   901 |   150 |  4106 |   4.2 |  10M| 161 |   - |1923 |3384 |1923 |1716 | 149 |  29 | 876 | 0.000000e+00 | 2.360000e+02 |    Inf 
11.58/11.67	o 232
11.58/11.67	c *11.5s|  1000 |   197 |  5081 |   4.7 |  11M| 161 |   - |1923 |3459 |1923 |1704 | 176 | 104 |1013 | 0.000000e+00 | 2.320000e+02 |    Inf 
11.68/11.71	o 231
11.68/11.71	c *11.5s|  1030 |   225 |  5095 |   4.6 |  11M| 161 |   - |1923 |3459 |1923 |1704 | 180 | 104 |1013 | 0.000000e+00 | 2.310000e+02 |    Inf 
11.88/11.97	o 228
11.88/11.97	c *11.8s|  1114 |   274 |  5684 |   4.8 |  11M| 161 |   - |1923 |3536 |1923 |1711 | 234 | 181 |1046 | 0.000000e+00 | 2.280000e+02 |    Inf 
12.10/12.14	o 184
12.10/12.14	c *11.9s|  1162 |   248 |  6048 |   4.9 |  11M| 161 |   - |1923 |3547 |1923 |1704 | 259 | 192 |1062 | 0.000000e+00 | 1.840000e+02 |    Inf 
12.10/12.15	o 160
12.10/12.15	c *12.0s|  1163 |   228 |  6049 |   4.9 |  11M| 161 |   - |1923 |3547 |1923 |1704 | 259 | 192 |1062 | 0.000000e+00 | 1.600000e+02 |    Inf 
12.88/12.90	o 157
12.88/12.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.88/12.90	c *12.7s|  1373 |   278 |  8200 |   5.7 |  12M| 161 |   - |1923 |3751 |1923 |1700 | 329 | 398 |1143 | 0.000000e+00 | 1.570000e+02 |    Inf 
12.88/12.90	o 133
12.88/12.90	c *12.7s|  1374 |   259 |  8200 |   5.7 |  12M| 161 |   - |1923 |3751 |1923 |1700 | 329 | 398 |1143 | 0.000000e+00 | 1.330000e+02 |    Inf 
13.08/13.12	o 125
13.08/13.12	c *12.9s|  1449 |   265 |  8774 |   5.8 |  12M| 161 |   - |1923 |3848 |1923 |1709 | 384 | 497 |1158 | 0.000000e+00 | 1.250000e+02 |    Inf 
13.08/13.13	o 87
13.08/13.13	c *12.9s|  1450 |   221 |  8774 |   5.8 |  12M| 161 |   - |1923 |3848 |1923 |1709 | 384 | 497 |1158 | 0.000000e+00 | 8.700000e+01 |    Inf 
13.08/13.15	o 64
13.08/13.15	c *12.9s|  1455 |   136 |  8882 |   5.9 |  12M| 161 |   - |1923 |3728 |1923 |1704 | 389 | 499 |1158 | 0.000000e+00 | 6.400000e+01 |    Inf 
13.19/13.26	o 52
13.19/13.26	c *13.1s|  1484 |   120 |  9327 |   6.1 |  12M| 161 |   - |1923 |3576 |1923 |1697 | 413 | 532 |1165 | 0.000000e+00 | 5.200000e+01 |    Inf 
13.68/13.77	o 50
13.68/13.77	c *13.5s|  1586 |   130 | 11865 |   7.3 |  12M| 161 |   - |1923 |3521 |1923 |1701 | 462 | 650 |1194 | 0.000000e+00 | 5.000000e+01 |    Inf 
14.38/14.42	o 49
14.38/14.42	c *14.2s|  1811 |   131 | 14768 |   8.0 |  12M| 161 |   - |1923 |3738 |1923 |1690 | 508 | 968 |1219 | 0.000000e+00 | 4.900000e+01 |    Inf 
17.38/17.41	o 40
17.38/17.41	c *17.1s|  2948 |   131 | 29419 |   9.9 |  13M| 161 |   - |1923 |4629 |1923 |1698 | 719 |2476 |1289 | 0.000000e+00 | 4.000000e+01 |    Inf 
19.68/19.75	o 37
19.68/19.75	c *19.3s|  3757 |   127 | 40891 |  10.8 |  14M| 161 |   - |1923 |4953 |1923 |1690 | 851 |3502 |1381 | 0.000000e+00 | 3.700000e+01 |    Inf 
19.98/20.00	o 22
19.98/20.00	c *19.5s|  3882 |   119 | 42070 |  10.8 |  14M| 161 |   - |1923 |5036 |1923 |1693 | 873 |3727 |1386 | 0.000000e+00 | 2.200000e+01 |    Inf 
20.18/20.22	o 18
20.18/20.22	c *19.7s|  3998 |   124 | 42868 |  10.6 |  14M| 161 |   - |1923 |5016 |1923 |1693 | 893 |3904 |1394 | 0.000000e+00 | 1.800000e+01 |    Inf 
29.69/29.75	o 17
29.69/29.75	c *28.9s|  8245 |   182 | 97145 |  11.7 |  15M| 161 |   - |1923 |6893 |1923 |1694 |1446 |9338 |1509 | 0.000000e+00 | 1.700000e+01 |    Inf 
33.38/33.46	o 16
33.38/33.46	c *32.5s|  9795 |   242 |116689 |  11.9 |  16M| 161 |   - |1923 |7447 |1923 |1690 |1637 |  11k|1623 | 0.000000e+00 | 1.600000e+01 |    Inf 
34.09/34.12	c  33.1s| 10000 |   240 |120560 |  12.0 |  15M| 161 |  23 |1923 |6803 |1923 |1690 |1675 |  11k|1638 | 0.000000e+00 | 1.600000e+01 |    Inf 
50.68/50.75	o 14
50.68/50.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
50.68/50.75	c *49.1s| 17480 |   460 |212928 |  12.2 |  18M| 161 |   - |1923 |9361 |1923 |1690 |2769 |  21k|1774 | 0.000000e+00 | 1.400000e+01 |    Inf 
56.38/56.49	c  54.6s| 20000 |   503 |245646 |  12.3 |  18M| 161 |  26 |1923 |9344 |1923 |1690 |3260 |  24k|1774 | 0.000000e+00 | 1.400000e+01 |    Inf 
74.54/74.66	o 11
74.54/74.66	c *72.3s| 27576 |   635 |346798 |  12.6 |  19M| 161 |   - |1923 |9529 |1923 |1690 |4511 |  34k|1776 | 0.000000e+00 | 1.100000e+01 |    Inf 
80.14/80.22	c  77.8s| 30000 |   655 |375576 |  12.5 |  20M| 161 |  29 |1923 |9869 |1923 |1690 |4840 |  37k|1776 | 0.000000e+00 | 1.100000e+01 |    Inf 
103.43/103.52	c   101s| 40000 |   859 |489839 |  12.2 |  22M| 161 |  21 |1923 |  12k|1923 |1690 |6505 |  51k|1913 | 0.000000e+00 | 1.100000e+01 |    Inf 
127.43/127.56	c   124s| 50000 |  1270 |604545 |  12.1 |  25M| 161 |  26 |1923 |  14k|1923 |1690 |7835 |  64k|2188 | 0.000000e+00 | 1.100000e+01 |    Inf 
128.23/128.34	o 10
128.23/128.34	c * 125s| 50301 |  1271 |608120 |  12.1 |  25M| 161 |   - |1923 |  14k|1923 |1692 |7869 |  64k|2208 | 0.000000e+00 | 1.000000e+01 |    Inf 
139.53/139.64	o 8
139.53/139.64	c * 136s| 54550 |  1382 |664306 |  12.2 |  26M| 161 |   - |1923 |  15k|1923 |1690 |8435 |  70k|2310 | 0.000000e+00 | 8.000000e+00 |    Inf 
153.53/153.63	c   149s| 60000 |  1525 |729899 |  12.2 |  26M| 161 |  25 |1923 |  14k|1923 |1697 |9372 |  77k|2443 | 0.000000e+00 | 8.000000e+00 |    Inf 
177.53/177.63	c   172s| 70000 |  1657 |839589 |  12.0 |  28M| 161 |  14 |1923 |  14k|1923 |1690 |  10k|  91k|2647 | 0.000000e+00 | 8.000000e+00 |    Inf 
203.03/203.10	c   197s| 80000 |  1911 |961735 |  12.0 |  30M| 161 |   - |1923 |  16k|1923 |1690 |  11k| 105k|2860 | 0.000000e+00 | 8.000000e+00 |    Inf 
229.43/229.51	c   222s| 90000 |  1996 |  1087k|  12.1 |  31M| 161 |   - |1923 |  17k|   0 |   0 |  13k| 119k|3087 | 0.000000e+00 | 8.000000e+00 |    Inf 
255.33/255.45	c   247s|100000 |  2031 |  1205k|  12.1 |  31M| 161 |   - |1923 |  15k|1923 |1690 |  14k| 133k|3289 | 0.000000e+00 | 8.000000e+00 |    Inf 
281.53/281.63	c   273s|110000 |  2148 |  1331k|  12.1 |  31M| 161 |  12 |1923 |  12k|1923 |1690 |  15k| 146k|3484 | 0.000000e+00 | 8.000000e+00 |    Inf 
308.23/308.37	c   299s|120000 |  2055 |  1461k|  12.2 |  31M| 161 |  18 |1923 |  13k|1923 |1690 |  16k| 160k|3695 | 0.000000e+00 | 8.000000e+00 |    Inf 
333.73/333.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
333.73/333.83	c   323s|130000 |  2068 |  1582k|  12.2 |  33M| 161 |   - |1923 |  16k|   0 |   0 |  17k| 174k|3858 | 0.000000e+00 | 8.000000e+00 |    Inf 
358.22/358.37	o 6
358.22/358.37	c * 347s|139493 |  1962 |  1696k|  12.2 |  32M| 161 |   - |1923 |  15k|1923 |1690 |  19k| 187k|3979 | 0.000000e+00 | 6.000000e+00 |    Inf 
359.43/359.57	c   348s|140000 |  1958 |  1701k|  12.2 |  31M| 161 |  26 |1923 |  15k|1923 |1690 |  19k| 187k|3979 | 0.000000e+00 | 6.000000e+00 |    Inf 
384.23/384.35	c   372s|150000 |  1823 |  1817k|  12.1 |  30M| 161 |   - |1923 |  11k|1923 |1690 |  20k| 201k|4175 | 0.000000e+00 | 6.000000e+00 |    Inf 
410.23/410.38	c   397s|160000 |  1848 |  1944k|  12.2 |  32M| 161 |  26 |1923 |  16k|1923 |1690 |  22k| 215k|4299 | 0.000000e+00 | 6.000000e+00 |    Inf 
434.23/434.39	c   420s|170000 |  1839 |  2053k|  12.1 |  32M| 161 |   9 |1923 |  15k|1923 |1690 |  23k| 229k|4471 | 0.000000e+00 | 6.000000e+00 |    Inf 
456.33/456.48	c   441s|180000 |  1844 |  2176k|  12.1 |  30M| 161 |   - |1923 |  11k|   0 |   0 |  24k| 243k|4567 | 0.000000e+00 | 6.000000e+00 |    Inf 
478.13/478.23	c   462s|190000 |  1879 |  2295k|  12.1 |  32M| 161 |  12 |1923 |  14k|1923 |1690 |  26k| 256k|4757 | 0.000000e+00 | 6.000000e+00 |    Inf 
487.83/487.95	o 4
487.83/487.95	c * 471s|194361 |  1914 |  2349k|  12.1 |  33M| 161 |   - |1923 |  16k|1923 |1695 |  27k| 262k|4785 | 0.000000e+00 | 4.000000e+00 |    Inf 
499.03/499.17	c   481s|200000 |  1852 |  2403k|  12.0 |  30M| 161 |  23 |1923 |9414 |1923 |1696 |  27k| 270k|4887 | 0.000000e+00 | 4.000000e+00 |    Inf 
519.03/519.10	c   500s|210000 |  1803 |  2508k|  11.9 |  30M| 161 |   - |1923 |9839 |   0 |   0 |  29k| 284k|5165 | 0.000000e+00 | 4.000000e+00 |    Inf 
539.23/539.38	c   519s|220000 |  1796 |  2616k|  11.9 |  30M| 161 |  21 |1923 |9702 |1923 |1690 |  31k| 297k|5298 | 0.000000e+00 | 4.000000e+00 |    Inf 
560.43/560.56	c   539s|230000 |  1730 |  2737k|  11.9 |  30M| 161 |   - |1923 |  10k|1923 |1690 |  32k| 312k|5430 | 0.000000e+00 | 4.000000e+00 |    Inf 
581.43/581.54	c   559s|240000 |  1785 |  2855k|  11.9 |  31M| 161 |   - |1923 |  12k|   0 |   0 |  33k| 325k|5570 | 0.000000e+00 | 4.000000e+00 |    Inf 
602.43/602.53	c   579s|250000 |  1813 |  2964k|  11.9 |  33M| 161 |  25 |1923 |  16k|1923 |1701 |  35k| 339k|5695 | 0.000000e+00 | 4.000000e+00 |    Inf 
623.83/623.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
623.83/623.96	c   599s|260000 |  1723 |  3070k|  11.8 |  33M| 161 |   1 |1923 |  15k|1923 |1695 |  36k| 352k|5857 | 0.000000e+00 | 4.000000e+00 |    Inf 
644.23/644.39	c   618s|270000 |  1629 |  3171k|  11.7 |  33M| 161 |  24 |1923 |  15k|1923 |1690 |  38k| 366k|5919 | 0.000000e+00 | 4.000000e+00 |    Inf 
666.23/666.37	c   639s|280000 |  1475 |  3287k|  11.7 |  30M| 161 |   - |1923 |  11k|1923 |1709 |  40k| 380k|6057 | 0.000000e+00 | 4.000000e+00 |    Inf 
688.83/688.99	c   660s|290000 |  1458 |  3421k|  11.8 |  32M| 161 |   1 |1923 |  15k|1923 |1695 |  41k| 394k|6170 | 0.000000e+00 | 4.000000e+00 |    Inf 
712.13/712.20	c   682s|300000 |  1399 |  3549k|  11.8 |  31M| 161 |   - |1923 |  14k|1923 |1690 |  43k| 408k|6307 | 0.000000e+00 | 4.000000e+00 |    Inf 
734.23/734.37	c   703s|310000 |  1382 |  3666k|  11.8 |  32M| 161 |   - |1923 |  15k|   0 |   0 |  44k| 422k|6386 | 0.000000e+00 | 4.000000e+00 |    Inf 
756.63/756.77	c   724s|320000 |  1423 |  3785k|  11.8 |  33M| 161 |  27 |1923 |  17k|1923 |1690 |  45k| 435k|6464 | 0.000000e+00 | 4.000000e+00 |    Inf 
780.53/780.63	c   747s|330000 |  1384 |  3908k|  11.8 |  34M| 161 |   - |1923 |  19k|1923 |1690 |  47k| 449k|6569 | 0.000000e+00 | 4.000000e+00 |    Inf 
802.84/802.91	c   768s|340000 |  1354 |  4024k|  11.8 |  32M| 161 |   - |1923 |  14k|   0 |   0 |  48k| 463k|6688 | 0.000000e+00 | 4.000000e+00 |    Inf 
825.23/825.38	c   789s|350000 |  1282 |  4150k|  11.9 |  31M| 161 |  32 |1923 |  13k|1923 |1690 |  49k| 476k|6800 | 0.000000e+00 | 4.000000e+00 |    Inf 
845.13/845.26	c   808s|360000 |  1221 |  4254k|  11.8 |  30M| 161 |  20 |1923 |  12k|1923 |1690 |  51k| 490k|6876 | 0.000000e+00 | 4.000000e+00 |    Inf 
867.24/867.35	c   829s|370000 |  1266 |  4375k|  11.8 |  32M| 161 |  30 |1923 |  16k|1923 |1690 |  53k| 503k|6971 | 0.000000e+00 | 4.000000e+00 |    Inf 
892.63/892.75	c   853s|380000 |  1305 |  4514k|  11.9 |  33M| 161 |   8 |1923 |  17k|1923 |1690 |  54k| 517k|7098 | 0.000000e+00 | 4.000000e+00 |    Inf 
915.43/915.54	c   875s|390000 |  1206 |  4634k|  11.9 |  31M| 161 |  19 |1923 |  14k|1923 |1690 |  56k| 530k|7190 | 0.000000e+00 | 4.000000e+00 |    Inf 
938.33/938.42	c   896s|400000 |  1180 |  4760k|  11.9 |  31M| 161 |   - |1923 |  14k|   0 |   0 |  57k| 544k|7292 | 0.000000e+00 | 4.000000e+00 |    Inf 
959.34/959.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
959.34/959.46	c   916s|410000 |  1147 |  4867k|  11.9 |  32M| 161 |   - |1923 |  16k|   0 |   0 |  58k| 558k|7367 | 0.000000e+00 | 4.000000e+00 |    Inf 
981.34/981.45	c   937s|420000 |  1305 |  4983k|  11.9 |  32M| 161 |  19 |1923 |  15k|1923 |1699 |  60k| 571k|7587 | 0.000000e+00 | 4.000000e+00 |    Inf 
1003.84/1003.95	c   958s|430000 |  1505 |  5102k|  11.9 |  33M| 161 |   - |1923 |  15k|1923 |1690 |  62k| 584k|7679 | 0.000000e+00 | 4.000000e+00 |    Inf 
1006.53/1006.68	o 3
1006.53/1006.68	c * 961s|431286 |  1392 |  5117k|  11.9 |  32M| 161 |   - |1923 |  16k|1923 |1697 |  62k| 586k|7691 | 0.000000e+00 | 3.000000e+00 |    Inf 
1025.74/1025.89	c   979s|440000 |  1622 |  5221k|  11.9 |  33M| 161 |  19 |1923 |  16k|1923 |1690 |  64k| 597k|7748 | 0.000000e+00 | 3.000000e+00 |    Inf 
1047.94/1048.05	c  1000s|450000 |  1688 |  5335k|  11.9 |  35M| 161 |   - |1923 |  19k|   0 |   0 |  65k| 611k|7815 | 0.000000e+00 | 3.000000e+00 |    Inf 
1069.24/1069.36	c  1020s|460000 |  1784 |  5438k|  11.8 |  37M| 161 |   1 |1923 |  21k|1923 |1690 |  67k| 624k|7880 | 0.000000e+00 | 3.000000e+00 |    Inf 
1091.44/1091.53	c  1041s|470000 |  1778 |  5547k|  11.8 |  36M| 161 |   - |1923 |  19k|1923 |1705 |  68k| 638k|7947 | 0.000000e+00 | 3.000000e+00 |    Inf 
1114.34/1114.41	c  1063s|480000 |  1909 |  5671k|  11.8 |  38M| 161 |  12 |1923 |  22k|1923 |1690 |  70k| 651k|8012 | 0.000000e+00 | 3.000000e+00 |    Inf 
1135.74/1135.87	c  1083s|490000 |  1947 |  5774k|  11.8 |  38M| 161 |  25 |1923 |  22k|1923 |1699 |  72k| 665k|8077 | 0.000000e+00 | 3.000000e+00 |    Inf 
1157.74/1157.83	c  1104s|500000 |  1941 |  5882k|  11.8 |  38M| 161 |  17 |1923 |  21k|1923 |1690 |  73k| 678k|8127 | 0.000000e+00 | 3.000000e+00 |    Inf 
1178.84/1178.97	c  1124s|510000 |  2007 |  5991k|  11.7 |  38M| 161 |   1 |1923 |  21k|1923 |1690 |  74k| 692k|8186 | 0.000000e+00 | 3.000000e+00 |    Inf 
1188.04/1188.13	o 2
1188.04/1188.13	c *1133s|514233 |  1915 |  6036k|  11.7 |  37M| 161 |   - |1923 |  19k|1923 |1690 |  75k| 698k|8216 | 0.000000e+00 | 2.000000e+00 |    Inf 
1201.05/1201.16	c  1145s|520000 |  1922 |  6104k|  11.7 |  37M| 161 |   - |1923 |  18k|   0 |   0 |  76k| 705k|8243 | 0.000000e+00 | 2.000000e+00 |    Inf 
1223.44/1223.60	c  1166s|530000 |  1903 |  6221k|  11.7 |  35M| 161 |   1 |1923 |  15k|1923 |1690 |  77k| 719k|8303 | 0.000000e+00 | 2.000000e+00 |    Inf 
1244.44/1244.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1244.44/1244.58	c  1186s|540000 |  1848 |  6327k|  11.7 |  36M| 161 |   - |1923 |  16k|1923 |1690 |  78k| 732k|8355 | 0.000000e+00 | 2.000000e+00 |    Inf 
1265.34/1265.44	c  1206s|550000 |  1813 |  6433k|  11.7 |  36M| 161 |  15 |1923 |  16k|1923 |1695 |  80k| 746k|8406 | 0.000000e+00 | 2.000000e+00 |    Inf 
1286.94/1287.06	c  1227s|560000 |  1793 |  6545k|  11.7 |  37M| 161 |  22 |1923 |  18k|1923 |1690 |  82k| 760k|8467 | 0.000000e+00 | 2.000000e+00 |    Inf 
1309.74/1309.86	c  1248s|570000 |  1824 |  6666k|  11.7 |  37M| 161 |  17 |1923 |  20k|1923 |1690 |  83k| 774k|8536 | 0.000000e+00 | 2.000000e+00 |    Inf 
1333.74/1333.80	c  1271s|580000 |  1865 |  6791k|  11.7 |  39M| 161 |   - |1923 |  23k|   0 |   0 |  84k| 787k|8610 | 0.000000e+00 | 2.000000e+00 |    Inf 
1358.25/1358.35	c  1294s|590000 |  1820 |  6917k|  11.7 |  38M| 161 |   - |1923 |  22k|   0 |   0 |  86k| 801k|8676 | 0.000000e+00 | 2.000000e+00 |    Inf 
1380.54/1380.61	c  1315s|600000 |  1779 |  7021k|  11.7 |  38M| 161 |   - |1923 |  22k|   0 |   0 |  87k| 814k|8745 | 0.000000e+00 | 2.000000e+00 |    Inf 
1403.05/1403.20	c  1337s|610000 |  1782 |  7129k|  11.7 |  39M| 161 |   - |1923 |  24k|   0 |   0 |  89k| 828k|8802 | 0.000000e+00 | 2.000000e+00 |    Inf 
1428.45/1428.54	c  1361s|620000 |  1773 |  7248k|  11.7 |  40M| 161 |  12 |1923 |  25k|1923 |1690 |  90k| 842k|8848 | 0.000000e+00 | 2.000000e+00 |    Inf 
1451.24/1451.38	c  1383s|630000 |  1747 |  7359k|  11.7 |  39M| 161 |   - |1923 |  23k|   0 |   0 |  92k| 856k|8901 | 0.000000e+00 | 2.000000e+00 |    Inf 
1475.35/1475.41	c  1405s|640000 |  1755 |  7479k|  11.7 |  40M| 161 |   8 |1923 |  25k|1923 |1701 |  94k| 870k|8959 | 0.000000e+00 | 2.000000e+00 |    Inf 
1498.75/1498.83	c  1428s|650000 |  1711 |  7592k|  11.7 |  39M| 161 |  17 |1923 |  22k|1923 |1690 |  95k| 883k|9009 | 0.000000e+00 | 2.000000e+00 |    Inf 
1522.26/1522.37	c  1450s|660000 |  1710 |  7709k|  11.7 |  40M| 161 |   - |1923 |  24k|1923 |1690 |  97k| 897k|9098 | 0.000000e+00 | 2.000000e+00 |    Inf 
1545.95/1546.05	c  1472s|670000 |  1690 |  7828k|  11.7 |  38M| 161 |   - |1923 |  21k|1923 |1690 |  98k| 910k|9147 | 0.000000e+00 | 2.000000e+00 |    Inf 
1567.46/1567.56	c  1493s|680000 |  1589 |  7934k|  11.7 |  39M| 161 |   1 |1923 |  22k|1923 |1690 |  99k| 924k|9179 | 0.000000e+00 | 2.000000e+00 |    Inf 
1590.56/1590.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1590.56/1590.63	c  1515s|690000 |  1509 |  8047k|  11.7 |  37M| 161 |  19 |1923 |  19k|1923 |1697 | 101k| 938k|9418 | 0.000000e+00 | 2.000000e+00 |    Inf 
1612.95/1613.05	c  1536s|700000 |  1497 |  8162k|  11.7 |  38M| 161 |  16 |1923 |  21k|1923 |1690 | 102k| 951k|9418 | 0.000000e+00 | 2.000000e+00 |    Inf 
1635.96/1636.03	c  1558s|710000 |  1410 |  8283k|  11.7 |  36M| 161 |   - |1923 |  18k|1923 |1698 | 104k| 965k|9496 | 0.000000e+00 | 2.000000e+00 |    Inf 
1657.66/1657.71	c  1578s|720000 |  1357 |  8391k|  11.7 |  36M| 161 |   - |1923 |  19k|   0 |   0 | 105k| 979k|9572 | 0.000000e+00 | 2.000000e+00 |    Inf 
1679.66/1679.75	c  1599s|730000 |  1253 |  8506k|  11.7 |  35M| 161 |   - |1923 |  17k|   0 |   0 | 106k| 992k|9658 | 0.000000e+00 | 2.000000e+00 |    Inf 
1701.26/1701.39	c  1620s|740000 |  1198 |  8620k|  11.6 |  32M| 161 |  20 |1923 |  12k|1923 |1690 | 108k|1006k|9774 | 0.000000e+00 | 2.000000e+00 |    Inf 
1722.46/1722.55	c  1640s|750000 |  1087 |  8737k|  11.6 |  32M| 161 |  14 |1923 |  13k|1923 |1690 | 110k|1020k|9831 | 0.000000e+00 | 2.000000e+00 |    Inf 
1744.35/1744.43	c  1660s|760000 |   980 |  8857k|  11.7 |  31M| 161 |   9 |1923 |  12k|1923 |1690 | 111k|1034k|9999 | 0.000000e+00 | 2.000000e+00 |    Inf 
1767.15/1767.21	c  1682s|770000 |  1036 |  8981k|  11.7 |  33M| 161 |   - |1923 |  16k|   0 |   0 | 112k|1047k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1789.16/1789.27	c  1703s|780000 |  1040 |  9091k|  11.7 |  33M| 161 |  19 |1923 |  18k|1923 |1697 | 113k|1061k|  10k| 0.000000e+00 | 2.000000e+00 |    Inf 
1800.06/1800.10	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.10	c 
1800.06/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.10	c Solving Time (sec) : 1713.12
1800.06/1800.10	c Solving Nodes      : 784846
1800.06/1800.10	c Primal Bound       : +2.00000000000000e+00 (109 solutions)
1800.06/1800.10	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.10	c Gap                : infinite
1800.06/1800.11	s SATISFIABLE
1800.06/1800.11	v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.06/1800.11	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.06/1800.11	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.06/1800.11	v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 
1800.06/1800.11	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 
1800.06/1800.11	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.06/1800.11	v -x104 -x103 x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.06/1800.11	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 
1800.06/1800.11	v -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 x32 -x31 -x30 -x29 
1800.06/1800.11	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.06/1800.11	v -x1 
1800.06/1800.11	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.11	c Solving Time       :    1713.12
1800.06/1800.11	c Original Problem   :
1800.06/1800.11	c   Problem name     : HOME/instance-2693529-1277908983.wbo
1800.06/1800.11	c   Variables        : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.06/1800.11	c   Constraints      : 3619 initial, 3619 maximal
1800.06/1800.11	c Presolved Problem  :
1800.06/1800.11	c   Problem name     : t_HOME/instance-2693529-1277908983.wbo
1800.06/1800.11	c   Variables        : 1923 (1077 binary, 0 integer, 0 implicit integer, 846 continuous)
1800.06/1800.11	c   Constraints      : 3355 initial, 27711 maximal
1800.06/1800.11	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.11	c   trivial          :       0.00         65          0          0          0          0          0          0          0
1800.06/1800.11	c   dualfix          :       0.00         65          0          0          0          0          0          0          0
1800.06/1800.11	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.11	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.11	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.11	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.06/1800.11	c   indicator        :       0.00          0          0          0          0          0         65          0          0
1800.06/1800.11	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.11	c   linear           :       0.06          0          0          0        926          0        199        133          0
1800.06/1800.11	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.11	c   root node        :          -        834          -          -       1668          -          -          -          -
1800.06/1800.11	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.11	c   integral         :          0          0          0     442038          0        309       2818          0          0     834658
1800.06/1800.11	c   indicator        :        846          0    3478833      22053          0         76     218509          0          0          0
1800.06/1800.11	c   setppc           :         16          6    3496172      21549          0      66856    2691320          0          0          0
1800.06/1800.11	c   linear           :        846          6    3431387      22170          0     107129   10276658     113587          0          0
1800.06/1800.11	c   logicor          :       1647+         6    1779782       1111          0     102966    6717321          0          0          0
1800.06/1800.11	c   countsols        :          0          0          0       1111          0          0          0          0          0          0
1800.06/1800.11	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.11	c   integral         :      39.61       0.00       0.00      39.61       0.00
1800.06/1800.11	c   indicator        :       1.69       0.00       1.60       0.09       0.00
1800.06/1800.11	c   setppc           :      16.14       0.00      16.13       0.01       0.00
1800.06/1800.11	c   linear           :      63.02       0.00      62.38       0.64       0.00
1800.06/1800.11	c   logicor          :     184.92       0.00     184.90       0.02       0.00
1800.06/1800.11	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.11	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.11	c   vbounds          :       0.11          2          0          0
1800.06/1800.11	c   rootredcost      :       0.17         29          0        834
1800.06/1800.11	c   pseudoobj        :      56.98    3498595        332     171487
1800.06/1800.11	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.11	c   propagation      :      11.93     277283     276599    1786833       27.8       5886       24.4          -
1800.06/1800.11	c   infeasible LP    :      25.93     138062     138058    1086978       45.9       1358       15.4          0
1800.06/1800.11	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.11	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.11	c   pseudo solution  :       0.00          6          6         51       23.0          0        0.0          -
1800.06/1800.11	c   applied globally :          -          -          -    1068123       29.2          -          -          -
1800.06/1800.11	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.11	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.11	c   cut pool         :       0.00          5          -          -        114          -    (maximal pool size: 235)
1800.06/1800.11	c   redcost          :      11.64     443402          0      31888          0          0
1800.06/1800.11	c   impliedbounds    :       0.00          6          0          0          0          0
1800.06/1800.11	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.11	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.11	c   gomory           :       0.26          6          0          0       1446          0
1800.06/1800.11	c   strongcg         :       0.17          6          0          0        338          0
1800.06/1800.11	c   cmir             :       0.02          6          0          0          0          0
1800.06/1800.11	c   flowcover        :       0.06          6          0          0          0          0
1800.06/1800.11	c   clique           :       0.00          6          0          0          0          0
1800.06/1800.11	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.11	c   mcf              :       0.00          1          0          0          0          0
1800.06/1800.11	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.11	c Pricers            :       Time      Calls       Vars
1800.06/1800.11	c   problem variables:       0.00          0          0
1800.06/1800.11	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.11	c   relpscost        :      39.50     419851        309       2818          0          0     834658
1800.06/1800.11	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.11	c   inference        :       0.08       1083          0          0          0          0       2166
1800.06/1800.11	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.11	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.11	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.11	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.11	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.11	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.11	c   LP solutions     :       0.01          -         28
1800.06/1800.11	c   pseudo solutions :       0.00          -          0
1800.06/1800.11	c   feaspump         :       0.02          1          0
1800.06/1800.11	c   oneopt           :       0.14         26          0
1800.06/1800.11	c   pscostdiving     :       0.18         59          0
1800.06/1800.11	c   fracdiving       :       0.29         59          0
1800.06/1800.11	c   veclendiving     :       0.17         59          0
1800.06/1800.11	c   linesearchdiving :       0.16         59          0
1800.06/1800.11	c   guideddiving     :       0.21         59          0
1800.06/1800.11	c   rootsoldiving    :       0.22         30          0
1800.06/1800.11	c   coefdiving       :       0.23         60          0
1800.06/1800.11	c   objpscostdiving  :       0.15         31          0
1800.06/1800.11	c   crossover        :       0.59         24          0
1800.06/1800.11	c   trivial          :       0.00          2          0
1800.06/1800.11	c   simplerounding   :       0.39     419963          0
1800.06/1800.11	c   zirounding       :       0.17       1000          0
1800.06/1800.11	c   rounding         :       1.00       9144          0
1800.06/1800.12	c   shifting         :       0.99       2860          0
1800.06/1800.12	c   intshifting      :       0.01          9          0
1800.06/1800.12	c   twoopt           :       0.00          0          0
1800.06/1800.12	c   fixandinfer      :       0.00          0          0
1800.06/1800.12	c   intdiving        :       0.00          0          0
1800.06/1800.12	c   actconsdiving    :       0.00          0          0
1800.06/1800.12	c   octane           :       0.00          0          0
1800.06/1800.12	c   rens             :       0.04          1          0
1800.06/1800.12	c   rins             :       0.00          0          0
1800.06/1800.12	c   localbranching   :       0.00          0          0
1800.06/1800.12	c   mutation         :       0.00          0          0
1800.06/1800.12	c   dins             :       0.00          0          0
1800.06/1800.12	c   undercover       :       0.00          0          0
1800.06/1800.12	c   nlp              :       0.03          0          0
1800.06/1800.12	c   trysol           :       0.62       2662         81
1800.06/1800.12	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.12	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.12	c   dual LP          :     998.34     576061    9140433      15.87    9155.63
1800.06/1800.12	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.12	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.12	c   diving/probing LP:       1.12        784       5936       7.57    5300.00
1800.06/1800.12	c   strong branching :      35.19      10131     331535      32.72    9421.28
1800.06/1800.12	c     (at root node) :          -         33      16048     486.30          -
1800.06/1800.12	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.12	c B&B Tree           :
1800.06/1800.12	c   number of runs   :          1
1800.06/1800.12	c   nodes            :     784846
1800.06/1800.12	c   nodes (total)    :     784846
1800.06/1800.12	c   nodes left       :       1031
1800.06/1800.12	c   max depth        :        161
1800.06/1800.12	c   max depth (total):        161
1800.06/1800.12	c   backtracks       :     110131 (14.0%)
1800.06/1800.12	c   delayed cutoffs  :      49567
1800.06/1800.12	c   repropagations   :    1297713 (3828131 domain reductions, 48706 cutoffs)
1800.06/1800.12	c   avg switch length:       4.97
1800.06/1800.12	c   switching time   :     169.94
1800.06/1800.12	c Solution           :
1800.06/1800.12	c   Solutions found  :        109 (29 improvements)
1800.06/1800.12	c   First Solution   : +4.22010000000000e+04   (in run 1, after 1 nodes, 0.72 seconds, depth 0, found by <trysol>)
1800.06/1800.12	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 514233 nodes, 1132.78 seconds, depth 32, found by <relaxation>)
1800.06/1800.12	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.12	c   Gap              :   infinite
1800.06/1800.12	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.12	c   Root Iterations  :        345
1800.06/1800.17	c Time complete: 1800.13.

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693529-1277908983/watcher-2693529-1277908983 -o /tmp/evaluation-result-2693529-1277908983/solver-2693529-1277908983 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693529-1277908983.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.75 2.88 2.70 4/199 12336
/proc/meminfo: memFree=31362252/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=10868 CPUtime=0
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 1666 0 0 0 0 0 0 0 25 0 1 0 132196288 11128832 1586 4089446400 4194304 9819077 140737085889968 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12336/statm: 2717 1586 392 1374 0 1338 0

[startup+0.0302809 s]
/proc/loadavg: 2.75 2.88 2.70 4/199 12336
/proc/meminfo: memFree=31362252/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=15828 CPUtime=0.02
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 3044 0 0 0 2 0 0 0 25 0 1 0 132196288 16207872 2610 4089446400 4194304 9819077 140737085889968 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12336/statm: 3957 2657 427 1374 0 2578 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15828

[startup+0.100315 s]
/proc/loadavg: 2.75 2.88 2.70 4/199 12336
/proc/meminfo: memFree=31362252/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=24040 CPUtime=0.09
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 6434 0 0 0 8 1 0 0 25 0 1 0 132196288 24616960 4715 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12336/statm: 6010 4715 501 1374 0 4631 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24040

[startup+0.300268 s]
/proc/loadavg: 2.75 2.88 2.70 4/199 12336
/proc/meminfo: memFree=31362252/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=34492 CPUtime=0.29
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 10904 0 0 0 26 3 0 0 25 0 1 0 132196288 35319808 7035 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12336/statm: 8623 7035 679 1374 0 7244 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34492

[startup+0.700218 s]
/proc/loadavg: 2.75 2.88 2.70 4/199 12336
/proc/meminfo: memFree=31362252/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=38004 CPUtime=0.69
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 11917 0 0 0 65 4 0 0 25 0 1 0 132196288 38916096 7838 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12336/statm: 9501 7838 680 1374 0 8122 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38004

[startup+1.50106 s]
/proc/loadavg: 2.75 2.88 2.70 4/200 12337
/proc/meminfo: memFree=31325168/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=43368 CPUtime=1.48
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 27444 0 0 0 143 5 0 0 25 0 1 0 132196288 44408832 9585 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12336/statm: 10842 9585 715 1374 0 9463 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43368

[startup+3.10074 s]
/proc/loadavg: 2.75 2.88 2.70 4/200 12337
/proc/meminfo: memFree=31325576/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=43520 CPUtime=3.08
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 27941 0 0 0 302 6 0 0 25 0 1 0 132196288 44564480 9602 4089446400 4194304 9819077 140737085889968 18446744073709551615 7295920 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12336/statm: 10880 9602 718 1374 0 9501 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 43520

[startup+6.30021 s]
/proc/loadavg: 2.77 2.88 2.71 4/200 12337
/proc/meminfo: memFree=31325328/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=42936 CPUtime=6.29
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 30175 0 0 0 619 10 0 0 25 0 1 0 132196288 43966464 9624 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12336/statm: 10734 9624 719 1374 0 9355 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42936

[startup+12.701 s]
/proc/loadavg: 2.71 2.87 2.70 4/200 12337
/proc/meminfo: memFree=31321368/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=46868 CPUtime=12.68
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 46824 0 0 0 1252 16 0 0 25 0 1 0 132196288 47992832 10561 4089446400 4194304 9819077 140737085889968 18446744073709551615 5893807 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12336/statm: 11717 10561 725 1374 0 10338 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46868

[startup+25.5008 s]
/proc/loadavg: 2.77 2.87 2.71 3/200 12337
/proc/meminfo: memFree=31317928/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=53384 CPUtime=25.48
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 220614 0 0 0 2483 65 0 0 25 0 1 0 132196288 54665216 11427 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12336/statm: 13346 11427 725 1374 0 11967 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53384

[startup+51.1003 s]
/proc/loadavg: 2.71 2.85 2.70 4/200 12338
/proc/meminfo: memFree=31311124/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=58088 CPUtime=51.08
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 552687 0 0 0 4944 164 0 0 25 0 1 0 132196288 59482112 12670 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12336/statm: 14522 12670 740 1374 0 13143 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58088

[startup+102.306 s]
/proc/loadavg: 2.72 2.84 2.71 4/200 12339
/proc/meminfo: memFree=31301504/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=63304 CPUtime=102.24
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 797856 0 0 0 9940 284 0 0 25 0 1 0 132196288 64823296 14326 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12336/statm: 15826 14326 740 1374 0 14447 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 63304

[startup+162.301 s]
/proc/loadavg: 2.47 2.75 2.69 3/200 12341
/proc/meminfo: memFree=31291528/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=71548 CPUtime=162.23
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 1392563 0 0 0 15747 476 0 0 25 0 1 0 132196288 73265152 16012 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12336/statm: 17887 16012 740 1374 0 16508 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 71548

[startup+222.301 s]
/proc/loadavg: 2.64 2.75 2.69 4/200 12343
/proc/meminfo: memFree=31282768/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=76704 CPUtime=222.22
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 2007553 0 0 0 21537 685 0 0 25 0 1 0 132196288 78544896 17259 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12336/statm: 19176 17259 740 1374 0 17797 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 76704

[startup+282.3 s]
/proc/loadavg: 2.64 2.73 2.68 4/200 12344
/proc/meminfo: memFree=31277988/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=80368 CPUtime=282.22
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 2614441 0 0 0 27339 883 0 0 25 0 1 0 132196288 82296832 18023 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12336/statm: 20092 18023 740 1374 0 18713 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 80368

[startup+342.301 s]
/proc/loadavg: 3.21 2.85 2.72 4/200 12345
/proc/meminfo: memFree=31274060/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=81592 CPUtime=342.23
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 3239634 0 0 0 33139 1084 0 0 25 0 1 0 132196288 83550208 18370 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12336/statm: 20398 18371 740 1374 0 19019 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 81592

[startup+402.3 s]
/proc/loadavg: 2.98 2.84 2.73 4/200 12347
/proc/meminfo: memFree=31271032/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=81792 CPUtime=402.23
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 3883383 0 0 0 38934 1289 0 0 25 0 1 0 132196288 83755008 18385 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12336/statm: 20448 18385 740 1374 0 19069 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 81792

[startup+462.301 s]
/proc/loadavg: 2.56 2.76 2.71 3/179 12379
/proc/meminfo: memFree=31448548/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=82676 CPUtime=462.23
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 4538196 0 0 0 44658 1565 0 0 25 0 1 0 132196288 84660224 18599 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12336/statm: 20669 18600 740 1374 0 19290 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 82676

[startup+522.301 s]
/proc/loadavg: 2.20 2.62 2.66 3/179 12381
/proc/meminfo: memFree=31323292/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=83160 CPUtime=522.22
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 5281040 0 0 0 50301 1921 0 0 25 0 1 0 132196288 85155840 18748 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12336/statm: 20790 18748 740 1374 0 19411 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 83160

[startup+582.3 s]
/proc/loadavg: 2.07 2.50 2.62 3/179 12382
/proc/meminfo: memFree=31208628/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=83536 CPUtime=582.22
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 6024400 0 0 0 55961 2261 0 0 25 0 1 0 132196288 85540864 18808 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12336/statm: 20884 18808 740 1374 0 19505 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 83536

[startup+642.301 s]
/proc/loadavg: 2.02 2.41 2.57 3/179 12383
/proc/meminfo: memFree=31104268/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=84076 CPUtime=642.24
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 6741436 0 0 0 61624 2600 0 0 25 0 1 0 132196288 86093824 18977 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12336/statm: 21019 18977 740 1374 0 19640 0
Current children cumulated CPU time (s) 642.24
Current children cumulated vsize (KiB) 84076

[startup+702.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.05 2.20 2.44 3/179 12390
/proc/meminfo: memFree=30856104/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=85808 CPUtime=882.24
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 9449949 0 0 0 84323 3901 0 0 25 0 1 0 132196288 87867392 19443 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 21452 19443 740 1374 0 20073 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 85808

[startup+942.301 s]
/proc/loadavg: 2.02 2.16 2.41 3/179 12391
/proc/meminfo: memFree=30823568/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=86984 CPUtime=942.24
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 10127746 0 0 0 90007 4217 0 0 25 0 1 0 132196288 89071616 19617 4089446400 4194304 9819077 140737085889968 18446744073709551615 6589058 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 21746 19617 740 1374 0 20367 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 86984

[startup+1002.3 s]
/proc/loadavg: 2.00 2.13 2.38 3/179 12393
/proc/meminfo: memFree=30629524/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=87204 CPUtime=1002.24
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 10822602 0 0 0 95678 4546 0 0 25 0 1 0 132196288 89296896 19698 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 21801 19698 740 1374 0 20422 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 87204

[startup+1062.3 s]
/proc/loadavg: 2.00 2.10 2.36 3/179 12395
/proc/meminfo: memFree=30504736/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=88128 CPUtime=1062.24
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 11508871 0 0 0 101357 4867 0 0 25 0 1 0 132196288 90243072 19907 4089446400 4194304 9819077 140737085889968 18446744073709551615 6388537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 22032 19907 740 1374 0 20653 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 88128

[startup+1122.3 s]
/proc/loadavg: 2.00 2.08 2.33 3/179 12406
/proc/meminfo: memFree=30388760/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=88804 CPUtime=1122.24
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 12155822 0 0 0 107034 5190 0 0 25 0 1 0 132196288 90935296 20115 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 22201 20116 740 1374 0 20822 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 88804

[startup+1182.3 s]
/proc/loadavg: 2.00 2.06 2.31 3/179 12407
/proc/meminfo: memFree=30326136/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=89176 CPUtime=1182.25
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 12763962 0 0 0 112724 5501 0 0 25 0 1 0 132196288 91316224 20288 4089446400 4194304 9819077 140737085889968 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 22294 20288 740 1374 0 20915 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 89176

[startup+1242.3 s]
/proc/loadavg: 2.00 2.05 2.29 3/179 12408
/proc/meminfo: memFree=30264952/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=89544 CPUtime=1242.24
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 13397519 0 0 0 118420 5804 0 0 25 0 1 0 132196288 91693056 20390 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 22386 20390 740 1374 0 21007 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 89544

[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.26 3/179 12410
/proc/meminfo: memFree=30207752/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=89868 CPUtime=1302.25
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 14042950 0 0 0 124108 6117 0 0 25 0 1 0 132196288 92024832 20395 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 22467 20395 740 1374 0 21088 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 89868

[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.25 3/179 12412
/proc/meminfo: memFree=30108392/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=92236 CPUtime=1362.24
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 14672287 0 0 0 129809 6415 0 0 25 0 1 0 132196288 94449664 20878 4089446400 4194304 9819077 140737085889968 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 23059 20878 740 1374 0 21680 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 92236

[startup+1422.31 s]
/proc/loadavg: 2.07 2.05 2.24 3/179 12414
/proc/meminfo: memFree=30064684/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=92600 CPUtime=1422.25
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 15302801 0 0 0 135498 6727 0 0 25 0 1 0 132196288 94822400 21006 4089446400 4194304 9819077 140737085889968 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 23150 21006 740 1374 0 21771 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 92600

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.22 3/179 12415
/proc/meminfo: memFree=30032120/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=93036 CPUtime=1482.25
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 15944769 0 0 0 141194 7031 0 0 25 0 1 0 132196288 95268864 21125 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 23259 21125 740 1374 0 21880 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 93036

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.20 3/179 12416
/proc/meminfo: memFree=29981832/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=92724 CPUtime=1542.25
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 16588152 0 0 0 146889 7336 0 0 25 0 1 0 132196288 94949376 21216 4089446400 4194304 9819077 140737085889968 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 23181 21216 740 1374 0 21802 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 92724

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.19 3/179 12418
/proc/meminfo: memFree=29945316/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=93500 CPUtime=1602.25
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 17222131 0 0 0 152582 7643 0 0 25 0 1 0 132196288 95744000 21308 4089446400 4194304 9819077 140737085889968 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 23375 21308 740 1374 0 21996 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 93500

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.17 3/179 12420
/proc/meminfo: memFree=29900652/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=93972 CPUtime=1662.25
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 17854064 0 0 0 158269 7956 0 0 25 0 1 0 132196288 96227328 21314 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 23493 21314 740 1374 0 22114 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 93972

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/179 12422
/proc/meminfo: memFree=29863636/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=93976 CPUtime=1722.25
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 18557646 0 0 0 163943 8282 0 0 25 0 1 0 132196288 96231424 21332 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 23494 21332 740 1374 0 22115 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 93976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 12423
/proc/meminfo: memFree=29811388/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=93780 CPUtime=1782.26
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 19228195 0 0 0 169631 8595 0 0 25 0 1 0 132196288 96030720 21329 4089446400 4194304 9819077 140737085889968 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 23445 21329 740 1374 0 22066 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 93780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 12424
/proc/meminfo: memFree=29799352/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=93972 CPUtime=1800.06
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 19420358 0 0 0 171314 8692 0 0 25 0 1 0 132196288 96227328 21334 4089446400 4194304 9819077 140737085889968 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 23493 21334 740 1374 0 22114 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 93972

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

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

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 12424
/proc/meminfo: memFree=29799352/32951124 swapFree=67111528/67111528
[pid=12336] ppid=12334 vsize=93972 CPUtime=1800.06
/proc/12336/stat : 12336 (pbscip.linux.x8) R 12334 12336 11343 0 -1 4202496 19420358 0 0 0 171314 8692 0 0 25 0 1 0 132196288 96227328 21334 4089446400 4194304 9819077 140737085889968 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12336/statm: 23493 21334 740 1374 0 22114 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 93972

Child status: 0
Real time (s): 1800.17
CPU time (s): 1800.14
CPU user time (s): 1713.2
CPU system time (s): 86.9328
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 102164

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

runsolver used 2.83857 second user time and 5.83711 second system time

The end

Launcher Data 

Begin job on node103 at 2010-06-30 16:43:03
IDJOB=2693529
IDBENCH=78963
IDSOLVER=1205
FILE ID=node103/2693529-1277908983
PBS_JOBID= 11197248
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.1900583053--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-2693529-1277908983/watcher-2693529-1277908983 -o /tmp/evaluation-result-2693529-1277908983/solver-2693529-1277908983 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693529-1277908983.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 56cc5d1f816d97170bd91f7584a55091
RANDOM SEED=1536693174

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.817
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:      31362656 kB
Buffers:        194652 kB
Cached:         906948 kB
SwapCached:          0 kB
Active:         808332 kB
Inactive:       639212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31362656 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6244 kB
Writeback:           0 kB
AnonPages:      345448 kB
Mapped:          20296 kB
Slab:            77700 kB
PageTables:       5268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1656044 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 node103 at 2010-06-30 17:13:05