Trace number 2692791

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo
MD5SUMcd9d62896ad241b3e0bc0c585d812475
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark664.98
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 717
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692791-1277903790.wbo>
0.00/0.02	c original problem has 2091 variables (1161 bin, 0 int, 0 impl, 930 cont) and 3638 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1142 impls, 14 clqs
0.04/0.07	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.04/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.04/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.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 |    30 |     - |8814k|   0 |  16 |1929 |3365 |1929 |1667 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.21	o 42682
0.19/0.21	c y 0.2s|     1 |     0 |   356 |     - |8852k|   0 |  16 |1929 |3365 |1929 |1667 |   0 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   403 |     - |8870k|   0 |  34 |1929 |3365 |1929 |1683 |  16 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.29/0.32	c   0.3s|     1 |     0 |   479 |     - |9252k|   0 |  37 |1929 |3365 |1929 |1692 |  25 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.39/0.41	c   0.3s|     1 |     0 |   519 |     - |9271k|   0 |  41 |1929 |3365 |1929 |1703 |  36 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
0.49/0.50	c   0.4s|     1 |     0 |   559 |     - |9277k|   0 |  36 |1929 |3365 |1929 |1708 |  41 |   0 |   0 | 0.000000e+00 | 4.268200e+04 |    Inf 
1.09/1.16	c   1.1s|     1 |     2 |   559 |     - |9310k|   0 |  36 |1929 |3365 |1929 |1708 |  41 |   0 |  33 | 0.000000e+00 | 4.268200e+04 |    Inf 
5.49/5.52	o 532
5.49/5.52	c * 5.3s|   116 |    41 |  1782 |  10.6 |9849k|  33 |   - |1929 |3370 |1929 |1703 |  88 |   5 | 446 | 0.000000e+00 | 5.320000e+02 |    Inf 
6.09/6.14	o 509
6.09/6.14	c * 5.9s|   194 |    71 |  2348 |   9.3 |  10M|  33 |   - |1929 |3435 |1929 |1703 | 122 |  70 | 580 | 0.000000e+00 | 5.090000e+02 |    Inf 
7.30/7.36	o 450
7.30/7.36	c * 7.1s|   231 |    87 |  3277 |  11.8 |  10M|  33 |   - |1929 |3447 |1929 |1706 | 127 |  82 | 809 | 0.000000e+00 | 4.500000e+02 |    Inf 
7.39/7.41	o 378
7.39/7.41	c * 7.1s|   237 |    71 |  3318 |  11.7 |  10M|  33 |   - |1929 |3453 |1929 |1705 | 129 |  88 | 819 | 0.000000e+00 | 3.780000e+02 |    Inf 
7.39/7.47	o 364
7.39/7.47	c * 7.2s|   249 |    68 |  3392 |  11.4 |  11M|  33 |   - |1929 |3471 |1929 |1707 | 133 | 106 | 832 | 0.000000e+00 | 3.640000e+02 |    Inf 
8.19/8.22	o 363
8.19/8.22	c * 7.9s|   271 |    78 |  3961 |  12.6 |  11M|  33 |   - |1929 |3488 |1929 |1703 | 133 | 123 | 956 | 0.000000e+00 | 3.630000e+02 |    Inf 
8.19/8.27	o 270
8.19/8.27	c * 7.9s|   298 |    62 |  4009 |  11.6 |  11M|  39 |   - |1929 |3496 |1929 |1712 | 142 | 131 | 962 | 0.000000e+00 | 2.700000e+02 |    Inf 
8.19/8.28	o 261
8.19/8.28	c * 7.9s|   300 |    61 |  4022 |  11.6 |  11M|  39 |   - |1929 |3496 |1929 |1712 | 142 | 131 | 963 | 0.000000e+00 | 2.610000e+02 |    Inf 
8.19/8.30	o 258
8.19/8.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.19/8.30	c * 8.0s|   310 |    61 |  4037 |  11.3 |  11M|  39 |   - |1929 |3508 |1929 |1712 | 142 | 143 | 963 | 0.000000e+00 | 2.580000e+02 |    Inf 
8.29/8.36	o 215
8.29/8.36	c g 8.0s|   334 |    62 |  4128 |  10.7 |  11M|  44 |   - |1929 |3546 |1929 |1712 | 142 | 181 | 964 | 0.000000e+00 | 2.150000e+02 |    Inf 
12.19/12.29	o 197
12.19/12.29	c *11.7s|  1008 |   205 |  9683 |   9.1 |  13M|  44 |   - |1929 |4232 |1929 |1703 | 218 | 941 |1599 | 0.000000e+00 | 1.970000e+02 |    Inf 
12.29/12.36	o 182
12.29/12.36	c *11.8s|  1050 |   208 |  9820 |   8.8 |  14M|  44 |   - |1929 |4308 |1929 |1703 | 223 |1019 |1599 | 0.000000e+00 | 1.820000e+02 |    Inf 
15.69/15.72	o 161
15.69/15.72	c *15.0s|  2482 |   418 | 20911 |   8.2 |  15M|  44 |   - |1929 |4978 |1929 |1703 | 358 |2543 |1719 | 0.000000e+00 | 1.610000e+02 |    Inf 
15.69/15.79	o 71
15.69/15.79	c *15.1s|  2531 |   305 | 21092 |   8.1 |  14M|  44 |   - |1929 |5018 |1929 |1707 | 367 |2592 |1719 | 0.000000e+00 | 7.100000e+01 |    Inf 
17.39/17.40	o 61
17.39/17.40	c *16.6s|  3161 |   328 | 28033 |   8.7 |  14M|  44 |   - |1929 |4948 |1929 |1704 | 449 |3326 |1740 | 0.000000e+00 | 6.100000e+01 |    Inf 
18.79/18.84	o 56
18.79/18.84	c *17.9s|  3654 |   368 | 33892 |   9.1 |  15M|  44 |   - |1929 |4850 |1929 |1711 | 491 |3885 |1782 | 0.000000e+00 | 5.600000e+01 |    Inf 
20.69/20.71	o 55
20.69/20.71	c *19.7s|  4433 |   420 | 41386 |   9.2 |  15M|  44 |   - |1929 |5129 |1929 |1712 | 583 |4894 |1816 | 0.000000e+00 | 5.500000e+01 |    Inf 
20.99/21.03	o 50
20.99/21.03	c *20.0s|  4560 |   404 | 42909 |   9.3 |  15M|  44 |   - |1929 |5095 |1929 |1703 | 595 |5045 |1816 | 0.000000e+00 | 5.000000e+01 |    Inf 
23.10/23.13	o 45
23.10/23.13	c *22.0s|  5374 |   446 | 51985 |   9.6 |  15M|  44 |   - |1929 |5050 |1929 |1703 | 687 |6031 |1845 | 0.000000e+00 | 4.500000e+01 |    Inf 
23.30/23.32	o 38
23.30/23.32	c l22.2s|  5468 |   448 | 52649 |   9.5 |  15M|  44 |   - |1929 |5023 |1929 |1706 | 698 |6130 |1846 | 0.000000e+00 | 3.800000e+01 |    Inf 
23.99/24.06	o 37
23.99/24.06	c *22.9s|  5820 |   458 | 55439 |   9.4 |  16M|  44 |   - |1929 |4971 |1929 |1703 | 760 |6593 |1851 | 0.000000e+00 | 3.700000e+01 |    Inf 
34.49/34.54	c  32.8s| 10000 |   797 |101902 |  10.1 |  18M|  44 |   - |1929 |7089 |1929 |1703 |1135 |  11k|1994 | 0.000000e+00 | 3.700000e+01 |    Inf 
34.79/34.83	o 24
34.79/34.83	c f33.1s| 10123 |   773 |103148 |  10.1 |  18M|  44 |   - |1929 |7097 |1929 |1703 |1145 |  11k|1994 | 0.000000e+00 | 2.400000e+01 |    Inf 
36.00/36.05	o 21
36.00/36.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.00/36.05	c *34.2s| 10680 |   781 |108886 |  10.1 |  18M|  44 |   - |1929 |7048 |1929 |1703 |1207 |  12k|1994 | 0.000000e+00 | 2.100000e+01 |    Inf 
57.49/57.57	c  54.6s| 20000 |   873 |211515 |  10.5 |  20M|  48 |  15 |1929 |8065 |1929 |1703 |1916 |  24k|1996 | 0.000000e+00 | 2.100000e+01 |    Inf 
79.20/79.26	c  75.2s| 30000 |  1143 |310041 |  10.3 |  23M|  48 |  14 |1929 |  11k|1929 |1703 |2617 |  37k|2031 | 0.000000e+00 | 2.100000e+01 |    Inf 
86.10/86.18	o 20
86.10/86.18	c *81.8s| 33038 |  1212 |339873 |  10.3 |  25M|  48 |   - |1929 |  13k|1929 |1703 |2863 |  41k|2112 | 0.000000e+00 | 2.000000e+01 |    Inf 
102.49/102.51	c  97.3s| 40000 |  1553 |408240 |  10.2 |  27M|  53 |   - |1929 |  16k|   0 |   0 |3383 |  49k|2322 | 0.000000e+00 | 2.000000e+01 |    Inf 
106.60/106.61	o 19
106.60/106.61	c * 101s| 41587 |  1558 |423783 |  10.2 |  28M|  53 |   - |1929 |  16k|1929 |1703 |3490 |  51k|2438 | 0.000000e+00 | 1.900000e+01 |    Inf 
127.10/127.19	c   121s| 50000 |  1628 |508696 |  10.2 |  29M|  57 |  33 |1929 |  17k|1929 |1703 |4162 |  63k|2692 | 0.000000e+00 | 1.900000e+01 |    Inf 
128.60/128.64	o 15
128.60/128.64	c * 122s| 50581 |  1559 |515022 |  10.2 |  28M|  57 |   - |1929 |  17k|1929 |1703 |4191 |  64k|2694 | 0.000000e+00 | 1.500000e+01 |    Inf 
150.60/150.62	c   143s| 60000 |  1570 |603873 |  10.1 |  28M|  57 |   - |1929 |  15k|1929 |1707 |5093 |  76k|2951 | 0.000000e+00 | 1.500000e+01 |    Inf 
174.59/174.67	c   166s| 70000 |  1556 |701487 |  10.0 |  28M|  58 |   - |1929 |  14k|   0 |   0 |5943 |  89k|3241 | 0.000000e+00 | 1.500000e+01 |    Inf 
198.59/198.69	c   189s| 80000 |  1558 |802221 |  10.0 |  30M|  58 |  25 |1929 |  17k|1929 |1703 |6871 | 102k|3485 | 0.000000e+00 | 1.500000e+01 |    Inf 
223.40/223.42	c   213s| 90000 |  1569 |903315 |  10.0 |  31M|  59 |   - |1929 |  18k|   0 |   0 |7846 | 116k|3694 | 0.000000e+00 | 1.500000e+01 |    Inf 
247.10/247.13	c   236s|100000 |  1491 |994153 |   9.9 |  30M|  63 |   - |1929 |  17k|   0 |   0 |8674 | 129k|3933 | 0.000000e+00 | 1.500000e+01 |    Inf 
271.61/271.65	c   260s|110000 |  1772 |  1097k|  10.0 |  31M|  63 |  13 |1929 |  15k|1929 |1703 |9512 | 142k|4126 | 0.000000e+00 | 1.500000e+01 |    Inf 
274.39/274.44	o 11
274.39/274.44	c * 262s|111032 |  1760 |  1108k|  10.0 |  30M|  63 |   - |1929 |  14k|1929 |1703 |9603 | 144k|4170 | 0.000000e+00 | 1.100000e+01 |    Inf 
294.90/294.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
294.90/294.93	c   282s|120000 |  1919 |  1196k|  10.0 |  31M|  63 |   - |1929 |  13k|1929 |1703 |9914 | 155k|4333 | 0.000000e+00 | 1.100000e+01 |    Inf 
317.90/317.97	c   304s|130000 |  2042 |  1293k|   9.9 |  34M|  64 |  28 |1929 |  16k|1929 |1703 |  10k| 169k|4464 | 0.000000e+00 | 1.100000e+01 |    Inf 
343.39/343.44	c   329s|140000 |  2282 |  1382k|   9.9 |  35M|  64 |  16 |1929 |  17k|1929 |1703 |  10k| 182k|4660 | 0.000000e+00 | 1.100000e+01 |    Inf 
346.80/346.84	o 10
346.80/346.84	c * 332s|141305 |  2241 |  1393k|   9.9 |  35M|  64 |   - |1929 |  17k|1929 |1705 |  10k| 184k|4675 | 0.000000e+00 | 1.000000e+01 |    Inf 
369.20/369.22	c   354s|150000 |  2300 |  1471k|   9.8 |  34M|  64 |   - |1929 |  12k|   0 |   0 |  11k| 196k|4803 | 0.000000e+00 | 1.000000e+01 |    Inf 
394.50/394.54	c   379s|160000 |  2392 |  1565k|   9.8 |  35M|  64 |  19 |1929 |  13k|1929 |1703 |  11k| 209k|4920 | 0.000000e+00 | 1.000000e+01 |    Inf 
419.50/419.58	c   404s|170000 |  2385 |  1654k|   9.7 |  36M|  64 |   - |1929 |  16k|   0 |   0 |  12k| 222k|5054 | 0.000000e+00 | 1.000000e+01 |    Inf 
445.51/445.51	c   430s|180000 |  2401 |  1740k|   9.7 |  37M|  64 |  19 |1929 |  17k|1929 |1703 |  12k| 236k|5205 | 0.000000e+00 | 1.000000e+01 |    Inf 
472.80/472.89	c   457s|190000 |  2431 |  1837k|   9.7 |  38M|  64 |  16 |1929 |  18k|1929 |1703 |  13k| 249k|5358 | 0.000000e+00 | 1.000000e+01 |    Inf 
499.50/499.52	c   483s|200000 |  2499 |  1926k|   9.6 |  39M|  64 |  26 |1929 |  19k|1929 |1703 |  13k| 263k|5494 | 0.000000e+00 | 1.000000e+01 |    Inf 
527.91/527.97	c   511s|210000 |  2562 |  2027k|   9.7 |  40M|  64 |   - |1929 |  21k|   0 |   0 |  14k| 276k|5590 | 0.000000e+00 | 1.000000e+01 |    Inf 
555.81/555.84	c   538s|220000 |  2604 |  2123k|   9.6 |  42M|  64 |  20 |1929 |  23k|1929 |1703 |  14k| 291k|5707 | 0.000000e+00 | 1.000000e+01 |    Inf 
584.11/584.14	c   566s|230000 |  2573 |  2215k|   9.6 |  41M|  64 |  16 |1929 |  20k|1929 |1703 |  15k| 305k|5846 | 0.000000e+00 | 1.000000e+01 |    Inf 
611.40/611.43	c   593s|240000 |  2607 |  2306k|   9.6 |  40M|  64 |   - |1929 |  16k|   0 |   0 |  15k| 318k|5966 | 0.000000e+00 | 1.000000e+01 |    Inf 
638.50/638.50	c   620s|250000 |  2751 |  2396k|   9.6 |  41M|  73 |  18 |1929 |  14k|1929 |1703 |  15k| 332k|6094 | 0.000000e+00 | 1.000000e+01 |    Inf 
663.71/663.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
663.71/663.79	c   645s|260000 |  2739 |  2484k|   9.6 |  41M|  73 |  28 |1929 |  14k|1929 |1703 |  16k| 345k|6208 | 0.000000e+00 | 1.000000e+01 |    Inf 
688.11/688.16	c   669s|270000 |  2739 |  2567k|   9.5 |  43M|  73 |  20 |1929 |  17k|1929 |1703 |  17k| 359k|6299 | 0.000000e+00 | 1.000000e+01 |    Inf 
716.21/716.25	c   696s|280000 |  2814 |  2674k|   9.5 |  42M|  73 |   - |1929 |  14k|   0 |   0 |  17k| 373k|6437 | 0.000000e+00 | 1.000000e+01 |    Inf 
743.11/743.17	c   723s|290000 |  2862 |  2772k|   9.6 |  44M|  73 |  15 |1929 |  17k|1929 |1703 |  18k| 386k|6567 | 0.000000e+00 | 1.000000e+01 |    Inf 
769.81/769.89	c   749s|300000 |  2816 |  2866k|   9.6 |  43M|  73 |  24 |1929 |  15k|1929 |1710 |  19k| 399k|6675 | 0.000000e+00 | 1.000000e+01 |    Inf 
796.51/796.51	c   775s|310000 |  2885 |  2961k|   9.6 |  45M|  73 |   - |1929 |  19k|   0 |   0 |  19k| 412k|6786 | 0.000000e+00 | 1.000000e+01 |    Inf 
825.21/825.20	c   804s|320000 |  2897 |  3066k|   9.6 |  46M|  73 |   - |1929 |  19k|1929 |1703 |  19k| 426k|6911 | 0.000000e+00 | 1.000000e+01 |    Inf 
853.52/853.59	c   832s|330000 |  2914 |  3165k|   9.6 |  48M|  73 |   - |1929 |  25k|   0 |   0 |  20k| 440k|7028 | 0.000000e+00 | 1.000000e+01 |    Inf 
883.91/883.90	c   861s|340000 |  2972 |  3258k|   9.6 |  49M|  73 |  32 |1929 |  26k|1929 |1710 |  21k| 453k|7139 | 0.000000e+00 | 1.000000e+01 |    Inf 
912.72/912.73	c   890s|350000 |  3000 |  3349k|   9.6 |  49M|  73 |   - |1929 |  25k|   0 |   0 |  21k| 466k|7257 | 0.000000e+00 | 1.000000e+01 |    Inf 
939.61/939.60	c   916s|360000 |  3095 |  3433k|   9.5 |  50M|  73 |   - |1929 |  25k|   0 |   0 |  22k| 480k|7361 | 0.000000e+00 | 1.000000e+01 |    Inf 
967.41/967.49	c   944s|370000 |  3124 |  3522k|   9.5 |  49M|  73 |  24 |1929 |  23k|1929 |1710 |  22k| 494k|7473 | 0.000000e+00 | 1.000000e+01 |    Inf 
994.02/994.04	c   970s|380000 |  3112 |  3608k|   9.5 |  50M|  73 |   - |1929 |  24k|   0 |   0 |  23k| 508k|7546 | 0.000000e+00 | 1.000000e+01 |    Inf 
1020.92/1020.95	c   996s|390000 |  3131 |  3699k|   9.5 |  50M|  73 |  14 |1929 |  22k|1929 |1710 |  24k| 522k|7619 | 0.000000e+00 | 1.000000e+01 |    Inf 
1046.81/1046.86	c  1022s|400000 |  3132 |  3783k|   9.5 |  49M|  73 |   - |1929 |  20k|1929 |1703 |  24k| 536k|7745 | 0.000000e+00 | 1.000000e+01 |    Inf 
1072.92/1072.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1072.92/1072.95	c  1048s|410000 |  3136 |  3869k|   9.4 |  49M|  73 |   - |1929 |  20k|   0 |   0 |  25k| 549k|7867 | 0.000000e+00 | 1.000000e+01 |    Inf 
1097.73/1097.74	c  1072s|420000 |  3139 |  3947k|   9.4 |  51M|  73 |  18 |1929 |  23k|1929 |1710 |  25k| 564k|7908 | 0.000000e+00 | 1.000000e+01 |    Inf 
1124.62/1124.66	c  1098s|430000 |  3126 |  4031k|   9.4 |  52M|  73 |  21 |1929 |  24k|1929 |1710 |  26k| 578k|8009 | 0.000000e+00 | 1.000000e+01 |    Inf 
1152.42/1152.44	c  1126s|440000 |  3123 |  4122k|   9.4 |  50M|  73 |   - |1929 |  18k|1929 |1703 |  27k| 591k|8135 | 0.000000e+00 | 1.000000e+01 |    Inf 
1177.61/1177.60	c  1151s|450000 |  3102 |  4205k|   9.3 |  50M|  73 |  31 |1929 |  17k|1929 |1710 |  27k| 605k|8200 | 0.000000e+00 | 1.000000e+01 |    Inf 
1203.62/1203.66	c  1176s|460000 |  3127 |  4297k|   9.3 |  50M|  73 |  18 |1929 |  18k|1929 |1710 |  28k| 619k|8261 | 0.000000e+00 | 1.000000e+01 |    Inf 
1229.92/1229.96	c  1202s|470000 |  3121 |  4381k|   9.3 |  51M|  73 |  27 |1929 |  19k|1929 |1703 |  28k| 633k|8382 | 0.000000e+00 | 1.000000e+01 |    Inf 
1258.92/1258.94	c  1231s|480000 |  3093 |  4479k|   9.3 |  51M|  73 |   9 |1929 |  18k|1929 |1703 |  29k| 647k|8481 | 0.000000e+00 | 1.000000e+01 |    Inf 
1286.52/1286.51	c  1258s|490000 |  3081 |  4575k|   9.3 |  51M|  73 |   - |1929 |  18k|   0 |   0 |  30k| 660k|8562 | 0.000000e+00 | 1.000000e+01 |    Inf 
1312.22/1312.29	c  1283s|500000 |  3105 |  4665k|   9.3 |  53M|  73 |   7 |1929 |  24k|1929 |1703 |  30k| 673k|8611 | 0.000000e+00 | 1.000000e+01 |    Inf 
1339.42/1339.45	c  1310s|510000 |  3112 |  4745k|   9.3 |  52M|  73 |   - |1929 |  21k|   0 |   0 |  31k| 687k|8727 | 0.000000e+00 | 1.000000e+01 |    Inf 
1368.43/1368.44	c  1339s|520000 |  3260 |  4842k|   9.3 |  52M|  73 |  18 |1929 |  17k|1929 |1703 |  32k| 700k|8829 | 0.000000e+00 | 1.000000e+01 |    Inf 
1395.62/1395.63	c  1366s|530000 |  3368 |  4937k|   9.3 |  53M|  73 |  25 |1929 |  18k|1929 |1703 |  32k| 713k|8878 | 0.000000e+00 | 1.000000e+01 |    Inf 
1422.13/1422.18	c  1392s|540000 |  3364 |  5032k|   9.3 |  54M|  73 |  18 |1929 |  19k|1929 |1703 |  33k| 726k|8953 | 0.000000e+00 | 1.000000e+01 |    Inf 
1449.12/1449.15	c  1418s|550000 |  3423 |  5117k|   9.3 |  54M|  73 |   9 |1929 |  18k|1929 |1703 |  34k| 739k|9072 | 0.000000e+00 | 1.000000e+01 |    Inf 
1477.23/1477.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1477.23/1477.24	c  1446s|560000 |  3443 |  5215k|   9.3 |  54M|  73 |  20 |1929 |  18k|1929 |1703 |  34k| 752k|9142 | 0.000000e+00 | 1.000000e+01 |    Inf 
1504.83/1504.89	c  1473s|570000 |  3411 |  5317k|   9.3 |  54M|  73 |   - |1929 |  17k|   0 |   0 |  35k| 765k|9203 | 0.000000e+00 | 1.000000e+01 |    Inf 
1530.72/1530.75	c  1499s|580000 |  3430 |  5406k|   9.3 |  57M|  73 |  11 |1929 |  22k|1929 |1703 |  35k| 779k|9310 | 0.000000e+00 | 1.000000e+01 |    Inf 
1559.73/1559.74	c  1527s|590000 |  3410 |  5504k|   9.3 |  56M|  73 |  10 |1929 |  21k|1929 |1703 |  36k| 793k|9409 | 0.000000e+00 | 1.000000e+01 |    Inf 
1587.13/1587.20	c  1555s|600000 |  3474 |  5592k|   9.3 |  58M|  73 |  17 |1929 |  23k|1929 |1703 |  36k| 806k|9452 | 0.000000e+00 | 1.000000e+01 |    Inf 
1614.23/1614.28	c  1581s|610000 |  3500 |  5680k|   9.3 |  59M|  73 |  17 |1929 |  24k|1929 |1703 |  37k| 821k|9510 | 0.000000e+00 | 1.000000e+01 |    Inf 
1642.02/1642.03	c  1609s|620000 |  3487 |  5770k|   9.3 |  58M|  74 |  27 |1929 |  21k|1929 |1703 |  38k| 836k|9623 | 0.000000e+00 | 1.000000e+01 |    Inf 
1669.63/1669.69	c  1636s|630000 |  3432 |  5864k|   9.3 |  57M|  74 |  26 |1929 |  20k|1929 |1703 |  38k| 850k|9682 | 0.000000e+00 | 1.000000e+01 |    Inf 
1696.43/1696.49	c  1662s|640000 |  3446 |  5957k|   9.3 |  58M|  74 |   - |1929 |  22k|1929 |1703 |  39k| 863k|9735 | 0.000000e+00 | 1.000000e+01 |    Inf 
1723.93/1723.97	c  1689s|650000 |  3459 |  6046k|   9.3 |  59M|  74 |   - |1929 |  24k|1929 |1703 |  39k| 877k|9846 | 0.000000e+00 | 1.000000e+01 |    Inf 
1751.14/1751.20	c  1716s|660000 |  3477 |  6135k|   9.3 |  57M|  74 |  14 |1929 |  17k|1929 |1703 |  40k| 890k|9897 | 0.000000e+00 | 1.000000e+01 |    Inf 
1776.83/1776.86	c  1741s|670000 |  3536 |  6218k|   9.3 |  58M|  74 |   1 |1929 |  21k|1929 |1703 |  41k| 903k|9974 | 0.000000e+00 | 1.000000e+01 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.01	c Solving Time (sec) : 1763.97
1800.04/1800.01	c Solving Nodes      : 678513
1800.04/1800.01	c Primal Bound       : +1.00000000000000e+01 (139 solutions)
1800.04/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.01	c Gap                : infinite
1800.04/1800.02	s SATISFIABLE
1800.04/1800.02	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.04/1800.02	v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 
1800.04/1800.02	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.04/1800.02	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 
1800.04/1800.02	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.04/1800.02	v x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 
1800.04/1800.02	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.04/1800.02	v -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 
1800.04/1800.02	v -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.04/1800.02	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 x4 -x3 
1800.04/1800.02	v -x2 -x1 
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Solving Time       :    1763.97
1800.04/1800.02	c Original Problem   :
1800.04/1800.02	c   Problem name     : HOME/instance-2692791-1277903790.wbo
1800.04/1800.02	c   Variables        : 2091 (1161 binary, 0 integer, 0 implicit integer, 930 continuous)
1800.04/1800.02	c   Constraints      : 3638 initial, 3638 maximal
1800.04/1800.02	c Presolved Problem  :
1800.04/1800.02	c   Problem name     : t_HOME/instance-2692791-1277903790.wbo
1800.04/1800.02	c   Variables        : 1929 (1080 binary, 0 integer, 0 implicit integer, 849 continuous)
1800.04/1800.02	c   Constraints      : 3365 initial, 27915 maximal
1800.04/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.02	c   trivial          :       0.00         81          0          0          0          0          0          0          0
1800.04/1800.02	c   dualfix          :       0.00         81          0          0          0          0          0          0          0
1800.04/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.04/1800.02	c   indicator        :       0.01          0          0          0          0          0         81          0          0
1800.04/1800.02	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   linear           :       0.05          0          0          0        954          0        192        139          0
1800.04/1800.02	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.02	c   root node        :          -        772          -          -       1544          -          -          -          -
1800.04/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   integral         :          0          0          0     377693          0        136       2373          0          0     735424
1800.04/1800.02	c   indicator        :        849          0    3094865       8128          0        336     677870          0          0          0
1800.04/1800.02	c   knapsack         :          1          5    3092362       8036          0      51415    8159810          0          0          0
1800.04/1800.02	c   setppc           :         14          5    3044004       8045          0      43006    1901074          0          0          0
1800.04/1800.02	c   linear           :        849          5    3003241       8125          0      55496    3987908      42089          0          0
1800.04/1800.02	c   logicor          :       1652+         5    1547676        279          0     115744    5715545          0          0          0
1800.04/1800.02	c   countsols        :          0          0          0        279          0          0          0          0          0          0
1800.04/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.02	c   integral         :      45.29       0.00       0.00      45.29       0.00
1800.04/1800.02	c   indicator        :       5.48       0.00       5.34       0.14       0.00
1800.04/1800.02	c   knapsack         :      39.28       0.00      39.26       0.02       0.00
1800.04/1800.02	c   setppc           :      13.60       0.00      13.58       0.02       0.00
1800.04/1800.02	c   linear           :      46.01       0.00      45.85       0.16       0.00
1800.04/1800.02	c   logicor          :     199.93       0.00     199.92       0.01       0.00
1800.04/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.02	c   vbounds          :       0.72          2          0          0
1800.04/1800.02	c   rootredcost      :       0.67         29          0        772
1800.04/1800.02	c   pseudoobj        :      58.35    3099627       1637     566242
1800.04/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.02	c   propagation      :      12.90     267298     266912    1652976       29.8       8450       25.7          -
1800.04/1800.02	c   infeasible LP    :      19.77      94841      94838     749750       44.1        509       22.4          0
1800.04/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   pseudo solution  :       0.00         16         16        122       22.6          2        4.0          -
1800.04/1800.02	c   applied globally :          -          -          -     914201       27.9          -          -          -
1800.04/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.02	c   cut pool         :       0.00          4          -          -          0          -    (maximal pool size: 140)
1800.04/1800.02	c   redcost          :      10.21     379801          0      75218          0          0
1800.04/1800.02	c   impliedbounds    :       0.00          5          0          0          0          0
1800.04/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.02	c   gomory           :       0.15          5          0          0        976          0
1800.04/1800.02	c   strongcg         :       0.10          5          0          0        504          0
1800.04/1800.02	c   cmir             :       0.03          5          0          0          0          0
1800.04/1800.02	c   flowcover        :       0.04          5          0          0          0          0
1800.04/1800.02	c   clique           :       0.00          5          0          0          0          0
1800.04/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.02	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.02	c Pricers            :       Time      Calls       Vars
1800.04/1800.02	c   problem variables:       0.00          0          0
1800.04/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   relpscost        :      45.03     369537        136       2373          0          0     735424
1800.04/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   inference        :       0.01        254          0          0          0          0        508
1800.04/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.02	c   LP solutions     :       0.01          -         25
1800.04/1800.02	c   pseudo solutions :       0.00          -          0
1800.04/1800.02	c   feaspump         :       0.05          1          0
1800.04/1800.02	c   oneopt           :       0.32         29          0
1800.04/1800.02	c   crossover        :       0.41         13          0
1800.04/1800.02	c   rootsoldiving    :       0.30         21          0
1800.04/1800.02	c   coefdiving       :       0.22         42          0
1800.04/1800.02	c   pscostdiving     :       0.19         42          0
1800.04/1800.02	c   fracdiving       :       0.20         42          1
1800.04/1800.02	c   veclendiving     :       0.16         42          0
1800.04/1800.02	c   linesearchdiving :       0.14         42          1
1800.04/1800.02	c   guideddiving     :       0.16         42          1
1800.04/1800.02	c   objpscostdiving  :       0.16         22          0
1800.04/1800.02	c   trivial          :       0.00          2          0
1800.04/1800.02	c   simplerounding   :       0.51     369764          0
1800.04/1800.02	c   zirounding       :       0.31       1000          0
1800.04/1800.02	c   rounding         :       0.79       8555          0
1800.04/1800.02	c   shifting         :       1.10       2685          0
1800.04/1800.02	c   intshifting      :       0.01         13          0
1800.04/1800.02	c   twoopt           :       0.00          0          0
1800.04/1800.02	c   fixandinfer      :       0.00          0          0
1800.04/1800.02	c   intdiving        :       0.00          0          0
1800.04/1800.02	c   actconsdiving    :       0.00          0          0
1800.04/1800.02	c   octane           :       0.00          0          0
1800.04/1800.02	c   rens             :       0.02          1          0
1800.04/1800.02	c   rins             :       0.00          0          0
1800.04/1800.02	c   localbranching   :       0.00          0          0
1800.04/1800.02	c   mutation         :       0.00          0          0
1800.04/1800.02	c   dins             :       0.00          0          0
1800.04/1800.02	c   undercover       :       0.00          0          0
1800.04/1800.02	c   nlp              :       0.11          0          0
1800.04/1800.02	c   trysol           :       0.58       1507        111
1800.04/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.02	c   dual LP          :     943.94     470874    6284719      13.35    6657.96
1800.04/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.02	c   diving/probing LP:       1.01        734       5653       7.70    5597.03
1800.04/1800.02	c   strong branching :      41.15      10029     274988      27.42    6682.58
1800.04/1800.02	c     (at root node) :          -         33       4102     124.30          -
1800.04/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.02	c B&B Tree           :
1800.04/1800.02	c   number of runs   :          1
1800.04/1800.02	c   nodes            :     678513
1800.04/1800.02	c   nodes (total)    :     678513
1800.04/1800.02	c   nodes left       :       3630
1800.04/1800.02	c   max depth        :         74
1800.04/1800.02	c   max depth (total):         74
1800.04/1800.02	c   backtracks       :      93088 (13.7%)
1800.04/1800.02	c   delayed cutoffs  :      53235
1800.04/1800.02	c   repropagations   :    1166083 (4138630 domain reductions, 51648 cutoffs)
1800.04/1800.02	c   avg switch length:       4.99
1800.04/1800.02	c   switching time   :     197.08
1800.04/1800.02	c Solution           :
1800.04/1800.02	c   Solutions found  :        139 (29 improvements)
1800.04/1800.02	c   First Solution   : +4.26820000000000e+04   (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1800.04/1800.02	c   Primal Bound     : +1.00000000000000e+01   (in run 1, after 141305 nodes, 332.43 seconds, depth 51, found by <relaxation>)
1800.04/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.02	c   Gap              :   infinite
1800.04/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.02	c   Root Iterations  :        559
1800.14/1800.12	c Time complete: 1800.15.

Verifier Data 

OK	10

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692791-1277903790/watcher-2692791-1277903790 -o /tmp/evaluation-result-2692791-1277903790/solver-2692791-1277903790 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692791-1277903790.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: 1.92 1.98 1.99 3/178 24004
/proc/meminfo: memFree=29395456/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=9288 CPUtime=0
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1647 0 0 0 0 0 0 0 23 0 1 0 163970773 9510912 1566 4089446400 4194304 8223781 140734998506208 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24004/statm: 2322 1566 369 984 0 1335 0

[startup+0.0481521 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24004
/proc/meminfo: memFree=29395456/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=23664 CPUtime=0.04
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 5569 0 0 0 4 0 0 0 23 0 1 0 163970773 24231936 4868 4089446400 4194304 8223781 140734998506208 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 5916 4877 444 984 0 4929 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23664

[startup+0.101138 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24004
/proc/meminfo: memFree=29395456/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=22768 CPUtime=0.09
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 6912 0 0 0 8 1 0 0 23 0 1 0 163970773 23314432 4668 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 5692 4668 452 984 0 4705 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22768

[startup+0.300107 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24004
/proc/meminfo: memFree=29395456/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=30216 CPUtime=0.29
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 12147 0 0 0 26 3 0 0 23 0 1 0 163970773 30941184 6671 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 7554 6671 583 984 0 6567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30216

[startup+0.701035 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 24004
/proc/meminfo: memFree=29395456/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=31892 CPUtime=0.69
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 18187 0 0 0 64 5 0 0 25 0 1 0 163970773 32657408 7116 4089446400 4194304 8223781 140734998506208 18446744073709551615 6569794 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 7973 7116 600 984 0 6986 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31892

[startup+1.50089 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 24005
/proc/meminfo: memFree=29368416/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=31892 CPUtime=1.49
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 18260 0 0 0 142 7 0 0 25 0 1 0 163970773 32657408 7116 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 7973 7116 600 984 0 6986 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31892

[startup+3.10061 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 24005
/proc/meminfo: memFree=29368292/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=31892 CPUtime=3.09
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 18545 0 0 0 298 11 0 0 25 0 1 0 163970773 32657408 7116 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 7973 7116 600 984 0 6986 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31892

[startup+6.30105 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 24005
/proc/meminfo: memFree=29367356/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=33188 CPUtime=6.29
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 23300 0 0 0 607 22 0 0 25 0 1 0 163970773 33984512 7445 4089446400 4194304 8223781 140734998506208 18446744073709551615 6444631 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 8297 7445 604 984 0 7310 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33188

[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 24005
/proc/meminfo: memFree=29360192/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=39496 CPUtime=12.69
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 57839 0 0 0 1214 55 0 0 25 0 1 0 163970773 40443904 8933 4089446400 4194304 8223781 140734998506208 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 9874 8933 605 984 0 8887 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39496

[startup+25.5007 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 24005
/proc/meminfo: memFree=29341660/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=46068 CPUtime=25.49
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 102217 0 0 0 2425 124 0 0 25 0 1 0 163970773 47173632 10574 4089446400 4194304 8223781 140734998506208 18446744073709551615 6557684 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 11517 10574 605 984 0 10530 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46068

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 24007
/proc/meminfo: memFree=29318564/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=52664 CPUtime=51.09
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 173545 0 0 0 4845 264 0 0 25 0 1 0 163970773 53927936 12217 4089446400 4194304 8223781 140734998506208 18446744073709551615 6599093 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 13166 12217 605 984 0 12179 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52664

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 24008
/proc/meminfo: memFree=29282308/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=64160 CPUtime=102.3
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 268509 0 0 0 9714 516 0 0 25 0 1 0 163970773 65699840 15097 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 16040 15097 605 984 0 15053 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 64160

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24037
/proc/meminfo: memFree=31607652/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=66824 CPUtime=162.3
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 391025 0 0 0 15425 805 0 0 25 0 1 0 163970773 68427776 15747 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 16706 15747 605 984 0 15719 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 66824

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24039
/proc/meminfo: memFree=31450144/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=70484 CPUtime=222.3
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 503846 0 0 0 21201 1029 0 0 25 0 1 0 163970773 72175616 16565 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 17621 16565 605 984 0 16634 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 70484

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24041
/proc/meminfo: memFree=31312080/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=72300 CPUtime=282.29
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 621759 0 0 0 26975 1254 0 0 25 0 1 0 163970773 74035200 17052 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24004/statm: 18075 17052 605 984 0 17088 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 72300

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24069
/proc/meminfo: memFree=31470728/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=78812 CPUtime=342.3
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 750399 0 0 0 32797 1433 0 0 25 0 1 0 163970773 80703488 18633 4089446400 4194304 8223781 140734998506208 18446744073709551615 6612619 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 19703 18633 605 984 0 18716 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 78812

[startup+402.301 s]
/proc/loadavg: 2.08 2.01 2.00 3/179 24071
/proc/meminfo: memFree=31335644/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=80344 CPUtime=402.3
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 858802 0 0 0 38701 1529 0 0 25 0 1 0 163970773 82272256 19027 4089446400 4194304 8223781 140734998506208 18446744073709551615 6250724 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 20086 19027 605 984 0 19099 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 80344

[startup+462.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 24072
/proc/meminfo: memFree=31172656/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=82572 CPUtime=462.31
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 932232 0 0 0 44611 1620 0 0 25 0 1 0 163970773 84553728 19551 4089446400 4194304 8223781 140734998506208 18446744073709551615 4222921 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 20643 19551 605 984 0 19656 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 82572

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 24074
/proc/meminfo: memFree=31034588/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=84704 CPUtime=522.3
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1026028 0 0 0 50517 1713 0 0 25 0 1 0 163970773 86736896 20033 4089446400 4194304 8223781 140734998506208 18446744073709551615 6592699 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 21176 20033 605 984 0 20189 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 84704

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24076
/proc/meminfo: memFree=30921944/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=87024 CPUtime=582.31
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1067137 0 0 0 56439 1792 0 0 25 0 1 0 163970773 89112576 20651 4089446400 4194304 8223781 140734998506208 18446744073709551615 6448674 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 21756 20651 605 984 0 20769 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 87024

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24077
/proc/meminfo: memFree=30842288/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=89468 CPUtime=642.31
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1133876 0 0 0 62349 1882 0 0 25 0 1 0 163970773 91615232 21231 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 22367 21231 605 984 0 21380 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 89468

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24084
/proc/meminfo: memFree=30562688/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=95412 CPUtime=882.31
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1425393 0 0 0 85986 2245 0 0 25 0 1 0 163970773 97701888 22731 4089446400 4194304 8223781 140734998506208 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 23853 22731 605 984 0 22866 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 95412

[startup+942.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 24085
/proc/meminfo: memFree=30481668/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=96820 CPUtime=942.31
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1540699 0 0 0 91895 2336 0 0 25 0 1 0 163970773 99143680 23070 4089446400 4194304 8223781 140734998506208 18446744073709551615 6614809 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 24205 23070 605 984 0 23218 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 96820

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 24087
/proc/meminfo: memFree=30404504/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=98568 CPUtime=1002.31
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1629213 0 0 0 97801 2430 0 0 25 0 1 0 163970773 100933632 23437 4089446400 4194304 8223781 140734998506208 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 24642 23437 605 984 0 23655 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 98568

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 24088
/proc/meminfo: memFree=30327956/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=99040 CPUtime=1062.32
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1749172 0 0 0 103709 2523 0 0 25 0 1 0 163970773 101416960 23565 4089446400 4194304 8223781 140734998506208 18446744073709551615 6591267 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 24760 23565 605 984 0 23773 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 99040

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24090
/proc/meminfo: memFree=30257356/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=100964 CPUtime=1122.31
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1820625 0 0 0 109618 2613 0 0 25 0 1 0 163970773 103387136 23946 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 25241 23946 605 984 0 24254 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 100964

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24092
/proc/meminfo: memFree=30185136/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=101612 CPUtime=1182.32
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1836552 0 0 0 115538 2694 0 0 25 0 1 0 163970773 104050688 24106 4089446400 4194304 8223781 140734998506208 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 25403 24106 605 984 0 24416 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 101612

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24093
/proc/meminfo: memFree=30117632/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=102144 CPUtime=1242.32
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1892513 0 0 0 121453 2779 0 0 25 0 1 0 163970773 104595456 24252 4089446400 4194304 8223781 140734998506208 18446744073709551615 6562153 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 25536 24252 605 984 0 24549 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 102144

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24095
/proc/meminfo: memFree=30048388/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=102376 CPUtime=1302.32
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 1987560 0 0 0 127362 2870 0 0 25 0 1 0 163970773 104833024 24306 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 25594 24306 605 984 0 24607 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 102376

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24096
/proc/meminfo: memFree=29985472/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=102912 CPUtime=1362.32
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 2064526 0 0 0 133275 2957 0 0 25 0 1 0 163970773 105381888 24499 4089446400 4194304 8223781 140734998506208 18446744073709551615 6329991 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 25728 24499 605 984 0 24741 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 102912

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24098
/proc/meminfo: memFree=29949584/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=104612 CPUtime=1422.33
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 2123533 0 0 0 139196 3037 0 0 25 0 1 0 163970773 107122688 24896 4089446400 4194304 8223781 140734998506208 18446744073709551615 6446952 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 26153 24896 605 984 0 25166 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 104612

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24100
/proc/meminfo: memFree=29948912/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=105176 CPUtime=1482.32
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 2177778 0 0 0 145107 3125 0 0 25 0 1 0 163970773 107700224 25045 4089446400 4194304 8223781 140734998506208 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 26294 25045 605 984 0 25307 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 105176

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 24101
/proc/meminfo: memFree=29947504/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=106072 CPUtime=1542.33
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 2181709 0 0 0 151031 3202 0 0 25 0 1 0 163970773 108617728 25272 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 26518 25272 605 984 0 25531 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 106072

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24103
/proc/meminfo: memFree=29947344/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=106372 CPUtime=1602.33
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 2247997 0 0 0 156942 3291 0 0 25 0 1 0 163970773 108924928 25372 4089446400 4194304 8223781 140734998506208 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 26593 25372 605 984 0 25606 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 106372

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24104
/proc/meminfo: memFree=29944956/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=108504 CPUtime=1662.33
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 2360875 0 0 0 162846 3387 0 0 25 0 1 0 163970773 111108096 25922 4089446400 4194304 8223781 140734998506208 18446744073709551615 6002944 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 27126 25922 605 984 0 26139 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 108504

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24106
/proc/meminfo: memFree=29943932/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=109140 CPUtime=1722.33
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 2483344 0 0 0 168746 3487 0 0 25 0 1 0 163970773 111759360 26063 4089446400 4194304 8223781 140734998506208 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 27285 26063 605 984 0 26298 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 109140

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24108
/proc/meminfo: memFree=29943148/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=109860 CPUtime=1782.33
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 2568890 0 0 0 174650 3583 0 0 25 0 1 0 163970773 112496640 26263 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 27465 26263 605 984 0 26478 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 109860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24108
/proc/meminfo: memFree=29943264/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=109952 CPUtime=1800.04
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 2577310 0 0 0 176399 3605 0 0 25 0 1 0 163970773 112590848 26293 4089446400 4194304 8223781 140734998506208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24004/statm: 27488 26293 605 984 0 26501 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 109952

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

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

[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24108
/proc/meminfo: memFree=29943264/32950940 swapFree=67111528/67111528
[pid=24004] ppid=24002 vsize=108284 CPUtime=1800.14
/proc/24004/stat : 24004 (pbscip.linux.x8) R 24002 24004 23135 0 -1 4202496 2577312 0 0 0 176409 3605 0 0 25 0 1 0 163970773 110882816 25878 4089446400 4194304 8223781 140734998506208 18446744073709551615 4998563 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24004/statm: 27071 25878 607 984 0 26084 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 108284

Child status: 0
Real time (s): 1800.13
CPU time (s): 1800.17
CPU user time (s): 1764.11
CPU system time (s): 36.0595
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 110016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.11
system time used= 36.0595
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2577316
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= 4
involuntary context switches= 4404

runsolver used 2.86356 second user time and 5.85311 second system time

The end

Launcher Data 

Begin job on node117 at 2010-06-30 15:16:30
IDJOB=2692791
IDBENCH=78914
IDSOLVER=1204
FILE ID=node117/2692791-1277903790
PBS_JOBID= 11197174
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= cd9d62896ad241b3e0bc0c585d812475
RANDOM SEED=548384185

node117.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.799
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.59
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.799
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.799
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.799
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.799
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.85
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.799
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.799
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.799
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      29396108 kB
Buffers:        187536 kB
Cached:         853640 kB
SwapCached:          0 kB
Active:        2827032 kB
Inactive:       582136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      29396108 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4704 kB
Writeback:           0 kB
AnonPages:     2368132 kB
Mapped:          16160 kB
Slab:            77612 kB
PageTables:       9336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:  2537168 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node117 at 2010-06-30 15:46:32