Trace number 2692765

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.11

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo
MD5SUM318d96c5cecc5e1278f112ac94857622
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark417.538
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 constraints904
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 44120
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44119
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
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-2692765-1277902399.wbo>
0.01/0.02	c original problem has 2039 variables (1135 bin, 0 int, 0 impl, 904 cont) and 3612 constraints
0.01/0.02	c problem read
0.01/0.02	c presolving settings loaded
0.01/0.03	c presolving:
0.01/0.04	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.01/0.07	c (round 2) 0 del vars, 115 del conss, 904 chg bounds, 43 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.01/0.09	c (round 3) 43 del vars, 285 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 0 upgd conss, 1114 impls, 18 clqs
0.09/0.10	c (round 4) 115 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.11	c (round 5) 144 del vars, 314 del conss, 933 chg bounds, 170 chg sides, 0 chg coeffs, 1634 upgd conss, 1114 impls, 18 clqs
0.09/0.15	c    (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15	c presolving (6 rounds):
0.09/0.15	c  144 deleted vars, 314 deleted constraints, 933 tightened bounds, 0 added holes, 170 changed sides, 0 changed coefficients
0.09/0.15	c  1114 implications, 18 cliques
0.09/0.15	c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3298 constraints
0.09/0.15	c     832 constraints of type <indicator>
0.09/0.15	c       1 constraints of type <knapsack>
0.09/0.15	c      18 constraints of type <setppc>
0.09/0.15	c     832 constraints of type <linear>
0.09/0.15	c    1615 constraints of type <logicor>
0.09/0.15	c transformed objective value is always integral (scale: 1)
0.09/0.15	c Presolving Time: 0.12
0.09/0.15	c - non default parameters ----------------------------------------------------------------------
0.09/0.15	c # SCIP version 1.2.1.2
0.09/0.15	c 
0.09/0.15	c # frequency for displaying node information lines
0.09/0.15	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15	c display/freq = 10000
0.09/0.15	c 
0.09/0.15	c # maximal time in seconds to run
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/time = 1799.98
0.09/0.15	c 
0.09/0.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15	c limits/memory = 3420
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify inequalities
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/linear/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # should presolving try to simplify knapsacks
0.09/0.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15	c 
0.09/0.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15	c separating/rapidlearning/freq = 0
0.09/0.15	c 
0.09/0.15	c -----------------------------------------------------------------------------------------------
0.09/0.15	c start solving
0.09/0.15	c 
0.09/0.16	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.16	c   0.1s|     1 |     0 |    69 |     - |8646k|   0 |  35 |1895 |3298 |1895 |1634 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	o 40432
0.19/0.20	c y 0.2s|     1 |     0 |   324 |     - |8678k|   0 |  35 |1895 |3298 |1895 |1634 |   0 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.19/0.25	c   0.2s|     1 |     0 |   362 |     - |8888k|   0 |  56 |1895 |3298 |1895 |1648 |  14 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.29/0.37	c   0.3s|     1 |     0 |   436 |     - |9460k|   0 |  56 |1895 |3298 |1895 |1656 |  22 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.39/0.49	c   0.5s|     1 |     0 |   478 |     - |9466k|   0 |  59 |1895 |3298 |1895 |1659 |  25 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.59/0.62	c   0.6s|     1 |     0 |   497 |     - |9469k|   0 |  60 |1895 |3298 |1895 |1662 |  28 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.69/0.75	c   0.7s|     1 |     0 |   508 |     - |9471k|   0 |  62 |1895 |3298 |1895 |1663 |  29 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
0.79/0.88	c   0.8s|     1 |     0 |   509 |     - |9472k|   0 |  62 |1895 |3298 |1895 |1664 |  30 |   0 |   0 | 0.000000e+00 | 4.043200e+04 |    Inf 
1.69/1.75	c   1.7s|     1 |     2 |   509 |     - |9500k|   0 |  62 |1895 |3298 |1895 |1664 |  30 |   0 |  33 | 0.000000e+00 | 4.043200e+04 |    Inf 
6.50/6.54	o 606
6.50/6.54	c * 6.4s|    52 |    29 |  1793 |  25.2 |9796k|  19 |   - |1895 |3306 |1895 |1660 |  52 |   8 | 558 | 0.000000e+00 | 6.060000e+02 |    Inf 
8.19/8.24	o 506
8.19/8.24	c * 8.1s|   148 |    78 |  2929 |  16.5 |  10M|  23 |   - |1895 |3321 |1895 |1669 | 110 |  23 | 890 | 0.000000e+00 | 5.060000e+02 |    Inf 
8.70/8.78	o 414
8.70/8.78	c * 8.6s|   184 |    67 |  3261 |  15.0 |  10M|  23 |   - |1895 |3371 |1895 |1664 | 132 |  73 |1031 | 0.000000e+00 | 4.140000e+02 |    Inf 
9.09/9.18	o 393
9.09/9.18	c * 9.0s|   217 |    69 |  3660 |  14.6 |  11M|  23 |   - |1895 |3407 |1895 |1661 | 133 | 109 |1118 | 0.000000e+00 | 3.930000e+02 |    Inf 
9.49/9.50	o 333
9.49/9.50	c * 9.3s|   261 |    73 |  4041 |  13.6 |  11M|  23 |   - |1895 |3456 |1895 |1663 | 136 | 158 |1182 | 0.000000e+00 | 3.330000e+02 |    Inf 
10.79/10.90	o 305
10.79/10.90	c *10.7s|   649 |   124 |  5383 |   7.5 |  12M|  42 |   - |1895 |3908 |1895 |1666 | 188 | 629 |1444 | 0.000000e+00 | 3.050000e+02 |    Inf 
11.29/11.33	o 277
11.29/11.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
11.29/11.33	c *11.1s|   709 |   137 |  5924 |   7.6 |  12M|  42 |   - |1895 |3966 |1895 |1660 | 188 | 691 |1535 | 0.000000e+00 | 2.770000e+02 |    Inf 
11.29/11.39	o 267
11.29/11.39	c *11.2s|   737 |   139 |  5985 |   7.4 |  12M|  42 |   - |1895 |4008 |1895 |1662 | 191 | 733 |1539 | 0.000000e+00 | 2.670000e+02 |    Inf 
11.39/11.42	o 250
11.39/11.42	c *11.2s|   756 |   135 |  6012 |   7.3 |  12M|  42 |   - |1895 |4062 |1895 |1660 | 191 | 787 |1541 | 0.000000e+00 | 2.500000e+02 |    Inf 
11.49/11.54	o 227
11.49/11.54	c *11.3s|   792 |   157 |  6189 |   7.2 |  13M|  42 |   - |1895 |4072 |1895 |1661 | 198 | 797 |1558 | 0.000000e+00 | 2.270000e+02 |    Inf 
11.49/11.54	o 225
11.49/11.54	c *11.3s|   793 |   156 |  6190 |   7.2 |  13M|  42 |   - |1895 |4072 |1895 |1661 | 198 | 797 |1558 | 0.000000e+00 | 2.250000e+02 |    Inf 
11.49/11.57	o 218
11.49/11.57	c *11.4s|   808 |   153 |  6261 |   7.1 |  13M|  42 |   - |1895 |4098 |1895 |1664 | 202 | 823 |1559 | 0.000000e+00 | 2.180000e+02 |    Inf 
11.89/11.94	o 191
11.89/11.94	c *11.7s|   896 |   158 |  6613 |   6.8 |  13M|  42 |   - |1895 |4218 |1895 |1662 | 204 | 945 |1623 | 0.000000e+00 | 1.910000e+02 |    Inf 
11.89/11.96	o 183
11.89/11.96	c *11.8s|   901 |   158 |  6629 |   6.8 |  13M|  42 |   - |1895 |4220 |1895 |1662 | 205 | 947 |1623 | 0.000000e+00 | 1.830000e+02 |    Inf 
14.69/14.72	o 141
14.69/14.72	c *14.4s|  2244 |   371 | 13195 |   5.7 |  15M|  50 |   - |1895 |5090 |1895 |1664 | 389 |2463 |1828 | 0.000000e+00 | 1.410000e+02 |    Inf 
15.79/15.85	o 115
15.79/15.85	c *15.5s|  2820 |   449 | 17210 |   5.9 |  15M|  50 |   - |1895 |5208 |1895 |1661 | 496 |3065 |1844 | 0.000000e+00 | 1.150000e+02 |    Inf 
15.79/15.85	o 113
15.79/15.85	c *15.5s|  2821 |   447 | 17212 |   5.9 |  15M|  50 |   - |1895 |5208 |1895 |1661 | 496 |3065 |1844 | 0.000000e+00 | 1.130000e+02 |    Inf 
16.29/16.38	o 109
16.29/16.38	c *16.1s|  3049 |   470 | 18972 |   6.1 |  15M|  50 |   - |1895 |5237 |1895 |1663 | 530 |3325 |1869 | 0.000000e+00 | 1.090000e+02 |    Inf 
16.89/16.91	o 108
16.89/16.91	c *16.6s|  3377 |   501 | 20205 |   5.8 |  16M|  50 |   - |1895 |5500 |1895 |1660 | 571 |3792 |1890 | 0.000000e+00 | 1.080000e+02 |    Inf 
20.29/20.36	o 91
20.29/20.36	c *20.0s|  5365 |   609 | 31272 |   5.7 |  17M|  50 |   - |1895 |6273 |1895 |1663 | 811 |6172 |1919 | 0.000000e+00 | 9.100000e+01 |    Inf 
20.29/20.38	o 77
20.29/20.38	c *20.0s|  5377 |   579 | 31283 |   5.7 |  17M|  50 |   - |1895 |6166 |1895 |1664 | 812 |6172 |1919 | 0.000000e+00 | 7.700000e+01 |    Inf 
21.59/21.65	o 65
21.59/21.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
21.59/21.65	c *21.2s|  5972 |   582 | 36343 |   6.0 |  17M|  50 |   - |1895 |6084 |1895 |1660 | 885 |6944 |1919 | 0.000000e+00 | 6.500000e+01 |    Inf 
21.89/21.93	o 64
21.89/21.93	c *21.5s|  6095 |   603 | 37380 |   6.1 |  17M|  50 |   - |1895 |6059 |1895 |1660 | 890 |7124 |1919 | 0.000000e+00 | 6.400000e+01 |    Inf 
22.00/22.08	o 57
22.00/22.08	c *21.6s|  6185 |   603 | 37789 |   6.0 |  17M|  50 |   - |1895 |6095 |1895 |1664 | 907 |7242 |1919 | 0.000000e+00 | 5.700000e+01 |    Inf 
30.70/30.74	c  30.2s| 10000 |   843 | 70988 |   7.0 |  20M|  55 |   - |1895 |6916 |   0 |   0 |1349 |  12k|2021 | 0.000000e+00 | 5.700000e+01 |    Inf 
34.09/34.13	o 40
34.09/34.13	c *33.5s| 11591 |   904 | 84419 |   7.2 |  21M|  55 |   - |1895 |6837 |1895 |1660 |1497 |  14k|2021 | 0.000000e+00 | 4.000000e+01 |    Inf 
34.39/34.43	o 25
34.39/34.43	c *33.8s| 11735 |   821 | 85664 |   7.3 |  20M|  55 |   - |1895 |6743 |1895 |1660 |1510 |  14k|2021 | 0.000000e+00 | 2.500000e+01 |    Inf 
51.89/51.91	c  51.0s| 20000 |   905 |161583 |   8.1 |  22M|  55 |  28 |1895 |7830 |1895 |1660 |2314 |  25k|2021 | 0.000000e+00 | 2.500000e+01 |    Inf 
72.60/72.66	c  71.3s| 30000 |   997 |250365 |   8.3 |  24M|  55 |   - |1895 |9272 |1895 |1660 |3202 |  38k|2021 | 0.000000e+00 | 2.500000e+01 |    Inf 
76.90/76.98	o 24
76.90/76.98	c *75.6s| 32129 |   935 |268117 |   8.3 |  24M|  55 |   - |1895 |  10k|1895 |1660 |3407 |  41k|2021 | 0.000000e+00 | 2.400000e+01 |    Inf 
87.09/87.15	o 20
87.09/87.15	c *85.6s| 36712 |   948 |309427 |   8.4 |  24M|  55 |   - |1895 |  11k|1895 |1660 |3891 |  47k|2107 | 0.000000e+00 | 2.000000e+01 |    Inf 
94.20/94.29	c  92.5s| 40000 |   959 |337566 |   8.4 |  24M|  55 |  39 |1895 |9905 |1895 |1660 |4203 |  51k|2201 | 0.000000e+00 | 2.000000e+01 |    Inf 
117.79/117.89	c   116s| 50000 |  1118 |437678 |   8.7 |  27M|  55 |   - |1895 |  12k|   0 |   0 |5145 |  65k|2572 | 0.000000e+00 | 2.000000e+01 |    Inf 
140.39/140.40	c   138s| 60000 |  1207 |528495 |   8.8 |  29M|  66 |   - |1895 |  14k|   0 |   0 |5881 |  78k|2792 | 0.000000e+00 | 2.000000e+01 |    Inf 
162.89/162.95	c   160s| 70000 |  1304 |617071 |   8.8 |  31M|  66 |   - |1895 |  17k|1895 |1660 |6755 |  92k|3058 | 0.000000e+00 | 2.000000e+01 |    Inf 
186.40/186.46	c   183s| 80000 |  1397 |709472 |   8.9 |  32M|  73 |  21 |1895 |  14k|1895 |1660 |7739 | 106k|3314 | 0.000000e+00 | 2.000000e+01 |    Inf 
209.70/209.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
209.70/209.73	c   206s| 90000 |  1397 |800211 |   8.9 |  32M|  73 |  31 |1895 |  12k|1895 |1660 |8698 | 120k|3669 | 0.000000e+00 | 2.000000e+01 |    Inf 
224.90/224.94	o 17
224.90/224.94	c * 221s| 97165 |  1401 |859050 |   8.8 |  32M|  73 |   - |1895 |  11k|1895 |1660 |9189 | 130k|3835 | 0.000000e+00 | 1.700000e+01 |    Inf 
230.30/230.35	c   226s|100000 |  1403 |879370 |   8.8 |  32M|  73 |   - |1895 |  12k|   0 |   0 |9406 | 134k|3873 | 0.000000e+00 | 1.700000e+01 |    Inf 
252.60/252.63	c   248s|110000 |  1466 |969164 |   8.8 |  33M|  73 |   - |1895 |  12k|   0 |   0 |  10k| 147k|4089 | 0.000000e+00 | 1.700000e+01 |    Inf 
274.80/274.82	c   270s|120000 |  1535 |  1055k|   8.8 |  34M|  73 |   - |1895 |  13k|   0 |   0 |  11k| 160k|4318 | 0.000000e+00 | 1.700000e+01 |    Inf 
278.50/278.52	o 13
278.50/278.52	c * 274s|121617 |  1340 |  1071k|   8.8 |  32M|  73 |   - |1895 |  14k|1895 |1660 |  11k| 163k|4323 | 0.000000e+00 | 1.300000e+01 |    Inf 
297.20/297.25	c   292s|130000 |  1364 |  1149k|   8.8 |  31M|  73 |   - |1895 |  11k|   0 |   0 |  11k| 174k|4477 | 0.000000e+00 | 1.300000e+01 |    Inf 
319.20/319.21	c   314s|140000 |  1413 |  1239k|   8.8 |  33M|  73 |  24 |1895 |  13k|1895 |1660 |  12k| 187k|4710 | 0.000000e+00 | 1.300000e+01 |    Inf 
341.60/341.64	c   336s|150000 |  1461 |  1331k|   8.9 |  35M|  73 |   - |1895 |  16k|   0 |   0 |  14k| 201k|4889 | 0.000000e+00 | 1.300000e+01 |    Inf 
365.00/365.04	c   359s|160000 |  1478 |  1425k|   8.9 |  36M|  73 |   - |1895 |  17k|   0 |   0 |  15k| 214k|5050 | 0.000000e+00 | 1.300000e+01 |    Inf 
388.51/388.52	c   382s|170000 |  1492 |  1517k|   8.9 |  36M|  73 |   - |1895 |  18k|   0 |   0 |  16k| 228k|5245 | 0.000000e+00 | 1.300000e+01 |    Inf 
411.20/411.21	c   404s|180000 |  1553 |  1601k|   8.9 |  38M|  73 |   - |1895 |  21k|   0 |   0 |  16k| 242k|5418 | 0.000000e+00 | 1.300000e+01 |    Inf 
433.90/433.97	c   426s|190000 |  1626 |  1683k|   8.9 |  37M|  73 |  13 |1895 |  17k|1895 |1666 |  17k| 256k|5579 | 0.000000e+00 | 1.300000e+01 |    Inf 
456.61/456.66	c   449s|200000 |  1650 |  1770k|   8.9 |  36M|  73 |  14 |1895 |  12k|1895 |1660 |  18k| 270k|5749 | 0.000000e+00 | 1.300000e+01 |    Inf 
479.21/479.26	c   471s|210000 |  1656 |  1865k|   8.9 |  38M|  73 |   - |1895 |  16k|1895 |1660 |  19k| 284k|5880 | 0.000000e+00 | 1.300000e+01 |    Inf 
501.71/501.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
501.71/501.77	c   493s|220000 |  1702 |  1954k|   8.9 |  39M|  73 |   - |1895 |  18k|   0 |   0 |  20k| 297k|6061 | 0.000000e+00 | 1.300000e+01 |    Inf 
524.11/524.10	c   515s|230000 |  1722 |  2038k|   8.9 |  38M|  73 |   - |1895 |  14k|   0 |   0 |  20k| 311k|6187 | 0.000000e+00 | 1.300000e+01 |    Inf 
548.01/548.04	c   538s|240000 |  1759 |  2141k|   8.9 |  39M|  73 |  15 |1895 |  14k|1895 |1660 |  22k| 325k|6322 | 0.000000e+00 | 1.300000e+01 |    Inf 
569.82/569.84	c   560s|250000 |  1849 |  2227k|   8.9 |  39M|  73 |  16 |1895 |  12k|1895 |1660 |  23k| 339k|6467 | 0.000000e+00 | 1.300000e+01 |    Inf 
592.31/592.39	c   582s|260000 |  1930 |  2325k|   8.9 |  40M|  73 |   - |1895 |  13k|   0 |   0 |  23k| 352k|6608 | 0.000000e+00 | 1.300000e+01 |    Inf 
614.31/614.34	c   604s|270000 |  1940 |  2413k|   8.9 |  41M|  81 |  32 |1895 |  13k|1895 |1660 |  24k| 366k|6748 | 0.000000e+00 | 1.300000e+01 |    Inf 
638.22/638.20	c   627s|280000 |  1923 |  2511k|   9.0 |  42M|  81 |   - |1895 |  14k|   0 |   0 |  25k| 379k|6895 | 0.000000e+00 | 1.300000e+01 |    Inf 
659.61/659.61	c   648s|290000 |  1943 |  2590k|   8.9 |  43M|  81 |   - |1895 |  18k|   0 |   0 |  26k| 393k|7025 | 0.000000e+00 | 1.300000e+01 |    Inf 
682.32/682.37	c   671s|300000 |  2012 |  2677k|   8.9 |  42M|  81 |   - |1895 |  13k|   0 |   0 |  27k| 406k|7113 | 0.000000e+00 | 1.300000e+01 |    Inf 
703.82/703.87	c   692s|310000 |  2060 |  2760k|   8.9 |  44M|  81 |   - |1895 |  17k|1895 |1660 |  28k| 420k|7210 | 0.000000e+00 | 1.300000e+01 |    Inf 
726.62/726.62	c   714s|320000 |  2080 |  2848k|   8.9 |  45M|  81 |  16 |1895 |  19k|1895 |1660 |  29k| 434k|7336 | 0.000000e+00 | 1.300000e+01 |    Inf 
749.92/749.96	c   737s|330000 |  2153 |  2934k|   8.9 |  48M|  81 |  34 |1895 |  23k|1895 |1660 |  30k| 447k|7471 | 0.000000e+00 | 1.300000e+01 |    Inf 
774.72/774.74	c   762s|340000 |  2150 |  3019k|   8.9 |  47M|  81 |  29 |1895 |  19k|1895 |1660 |  30k| 461k|7610 | 0.000000e+00 | 1.300000e+01 |    Inf 
796.52/796.56	c   783s|350000 |  2255 |  3099k|   8.9 |  48M|  81 |   - |1895 |  19k|   0 |   0 |  31k| 474k|7688 | 0.000000e+00 | 1.300000e+01 |    Inf 
818.62/818.69	c   805s|360000 |  2288 |  3178k|   8.8 |  50M|  81 |  25 |1895 |  23k|1895 |1660 |  32k| 488k|7752 | 0.000000e+00 | 1.300000e+01 |    Inf 
841.02/841.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
841.02/841.08	c   827s|370000 |  2349 |  3251k|   8.8 |  51M|  81 |  28 |1895 |  26k|1895 |1660 |  33k| 502k|7873 | 0.000000e+00 | 1.300000e+01 |    Inf 
865.52/865.56	c   851s|380000 |  2400 |  3334k|   8.8 |  53M|  81 |   - |1895 |  27k|1895 |1660 |  33k| 516k|7991 | 0.000000e+00 | 1.300000e+01 |    Inf 
889.83/889.86	c   875s|390000 |  2428 |  3414k|   8.8 |  54M|  81 |   - |1895 |  29k|   0 |   0 |  34k| 530k|8068 | 0.000000e+00 | 1.300000e+01 |    Inf 
914.92/914.91	c   900s|400000 |  2460 |  3498k|   8.7 |  54M|  81 |  14 |1895 |  26k|1895 |1660 |  35k| 545k|8137 | 0.000000e+00 | 1.300000e+01 |    Inf 
942.63/942.69	c   927s|410000 |  2526 |  3596k|   8.8 |  55M|  81 |   - |1895 |  29k|   0 |   0 |  35k| 559k|8266 | 0.000000e+00 | 1.300000e+01 |    Inf 
970.33/970.31	o 9
970.33/970.31	c * 954s|419734 |  2266 |  3691k|   8.8 |  53M|  81 |   - |1895 |  30k|1895 |1660 |  36k| 572k|8406 | 0.000000e+00 | 9.000000e+00 |    Inf 
970.93/970.92	c   955s|420000 |  2257 |  3693k|   8.8 |  52M|  81 |  24 |1895 |  28k|1895 |1660 |  36k| 572k|8407 | 0.000000e+00 | 9.000000e+00 |    Inf 
994.43/994.47	c   978s|430000 |  2362 |  3768k|   8.8 |  55M|  81 |   - |1895 |  32k|1895 |1660 |  38k| 586k|8482 | 0.000000e+00 | 9.000000e+00 |    Inf 
1019.13/1019.18	c  1002s|440000 |  2434 |  3842k|   8.7 |  56M|  81 |  33 |1895 |  33k|1895 |1660 |  39k| 601k|8519 | 0.000000e+00 | 9.000000e+00 |    Inf 
1048.13/1048.14	c  1030s|450000 |  2497 |  3922k|   8.7 |  56M|  81 |  25 |1895 |  31k|1895 |1660 |  40k| 615k|8652 | 0.000000e+00 | 9.000000e+00 |    Inf 
1075.33/1075.34	c  1056s|460000 |  2607 |  4019k|   8.7 |  53M|  81 |  30 |1895 |  19k|1895 |1660 |  41k| 628k|8781 | 0.000000e+00 | 9.000000e+00 |    Inf 
1100.43/1100.40	c  1080s|470000 |  2653 |  4106k|   8.7 |  55M|  81 |  14 |1895 |  24k|1895 |1660 |  41k| 641k|8831 | 0.000000e+00 | 9.000000e+00 |    Inf 
1127.43/1127.44	c  1106s|480000 |  2725 |  4190k|   8.7 |  55M|  81 |   - |1895 |  22k|   0 |   0 |  42k| 654k|8947 | 0.000000e+00 | 9.000000e+00 |    Inf 
1153.13/1153.15	c  1131s|490000 |  2753 |  4275k|   8.7 |  56M|  81 |   6 |1895 |  25k|1895 |1660 |  43k| 668k|9096 | 0.000000e+00 | 9.000000e+00 |    Inf 
1179.73/1179.70	c  1156s|500000 |  2831 |  4365k|   8.7 |  57M|  81 |  18 |1895 |  26k|1895 |1660 |  44k| 681k|9155 | 0.000000e+00 | 9.000000e+00 |    Inf 
1204.13/1204.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1204.13/1204.18	c  1180s|510000 |  2858 |  4448k|   8.7 |  58M|  81 |  15 |1895 |  29k|1895 |1660 |  45k| 695k|9217 | 0.000000e+00 | 9.000000e+00 |    Inf 
1229.83/1229.87	c  1205s|520000 |  2878 |  4537k|   8.7 |  58M|  81 |  20 |1895 |  27k|1895 |1660 |  45k| 708k|9344 | 0.000000e+00 | 9.000000e+00 |    Inf 
1255.04/1255.10	c  1230s|530000 |  2990 |  4627k|   8.7 |  59M|  81 |  22 |1895 |  27k|1895 |1660 |  46k| 721k|9441 | 0.000000e+00 | 9.000000e+00 |    Inf 
1280.13/1280.18	c  1255s|540000 |  3073 |  4712k|   8.7 |  60M|  81 |   - |1895 |  29k|   0 |   0 |  47k| 734k|9484 | 0.000000e+00 | 9.000000e+00 |    Inf 
1305.33/1305.36	c  1280s|550000 |  3208 |  4800k|   8.7 |  60M|  81 |  12 |1895 |  27k|1895 |1660 |  48k| 748k|9616 | 0.000000e+00 | 9.000000e+00 |    Inf 
1329.73/1329.72	c  1304s|560000 |  3263 |  4880k|   8.7 |  61M|  81 |   - |1895 |  27k|   0 |   0 |  49k| 761k|9692 | 0.000000e+00 | 9.000000e+00 |    Inf 
1352.94/1352.99	c  1327s|570000 |  3305 |  4961k|   8.7 |  62M|  81 |   - |1895 |  28k|   0 |   0 |  50k| 774k|9736 | 0.000000e+00 | 9.000000e+00 |    Inf 
1377.63/1377.68	c  1351s|580000 |  3362 |  5046k|   8.7 |  62M|  81 |  24 |1895 |  28k|1895 |1660 |  51k| 787k|9875 | 0.000000e+00 | 9.000000e+00 |    Inf 
1401.93/1401.90	c  1375s|590000 |  3377 |  5131k|   8.7 |  63M|  81 |  23 |1895 |  28k|1895 |1660 |  51k| 801k|9933 | 0.000000e+00 | 9.000000e+00 |    Inf 
1424.73/1424.74	c  1397s|600000 |  3428 |  5210k|   8.7 |  64M|  81 |   - |1895 |  29k|   0 |   0 |  52k| 815k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1448.34/1448.35	c  1420s|610000 |  3483 |  5287k|   8.7 |  65M|  81 |  18 |1895 |  29k|1895 |1660 |  53k| 828k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1473.53/1473.58	c  1445s|620000 |  3490 |  5374k|   8.7 |  65M|  81 |  23 |1895 |  31k|1895 |1660 |  54k| 841k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1498.24/1498.26	c  1470s|630000 |  3537 |  5455k|   8.7 |  66M|  81 |  18 |1895 |  31k|1895 |1660 |  55k| 856k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1522.84/1522.82	c  1494s|640000 |  3543 |  5535k|   8.6 |  66M|  81 |  10 |1895 |  32k|1895 |1660 |  56k| 869k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1547.24/1547.29	c  1518s|650000 |  3624 |  5616k|   8.6 |  68M|  81 |   - |1895 |  33k|   0 |   0 |  57k| 883k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1572.14/1572.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1572.14/1572.16	c  1543s|660000 |  3642 |  5689k|   8.6 |  69M|  81 |  11 |1895 |  35k|1895 |1660 |  58k| 897k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1597.64/1597.65	c  1568s|670000 |  3619 |  5771k|   8.6 |  68M|  81 |   - |1895 |  32k|   0 |   0 |  59k| 910k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1622.94/1622.99	c  1593s|680000 |  3620 |  5851k|   8.6 |  69M|  81 |   - |1895 |  35k|   0 |   0 |  60k| 924k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1649.95/1649.94	c  1619s|690000 |  3638 |  5933k|   8.6 |  70M|  81 |  21 |1895 |  37k|1895 |1660 |  60k| 938k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1676.84/1676.83	c  1646s|700000 |  3635 |  6019k|   8.6 |  70M|  81 |  14 |1895 |  37k|1895 |1660 |  61k| 952k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1704.35/1704.34	c  1673s|710000 |  3637 |  6109k|   8.6 |  70M|  81 |   6 |1895 |  37k|1895 |1660 |  62k| 965k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1730.65/1730.66	c  1699s|720000 |  3669 |  6195k|   8.6 |  69M|  81 |  26 |1895 |  33k|1895 |1660 |  63k| 980k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1756.25/1756.25	c  1724s|730000 |  3671 |  6285k|   8.6 |  70M|  81 |  12 |1895 |  34k|1895 |1660 |  64k| 993k|  10k| 0.000000e+00 | 9.000000e+00 |    Inf 
1781.45/1781.47	c  1749s|740000 |  3684 |  6363k|   8.6 |  71M|  81 |   - |1895 |  36k|   0 |   0 |  64k|1007k|  11k| 0.000000e+00 | 9.000000e+00 |    Inf 
1800.06/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00	c 
1800.06/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.00	c Solving Time (sec) : 1767.01
1800.06/1800.00	c Solving Nodes      : 747148
1800.06/1800.00	c Primal Bound       : +9.00000000000000e+00 (141 solutions)
1800.06/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.00	c Gap                : infinite
1800.06/1800.01	s SATISFIABLE
1800.06/1800.01	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 x211 -x210 
1800.06/1800.01	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 
1800.06/1800.01	v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.06/1800.01	v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
1800.06/1800.01	v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
1800.06/1800.01	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 
1800.06/1800.01	v -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
1800.06/1800.01	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 
1800.06/1800.01	v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 
1800.06/1800.01	v -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 
1800.06/1800.01	v -x1 
1800.06/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.01	c Solving Time       :    1767.01
1800.06/1800.01	c Original Problem   :
1800.06/1800.01	c   Problem name     : HOME/instance-2692765-1277902399.wbo
1800.06/1800.01	c   Variables        : 2039 (1135 binary, 0 integer, 0 implicit integer, 904 continuous)
1800.06/1800.01	c   Constraints      : 3612 initial, 3612 maximal
1800.06/1800.01	c Presolved Problem  :
1800.06/1800.01	c   Problem name     : t_HOME/instance-2692765-1277902399.wbo
1800.06/1800.01	c   Variables        : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.06/1800.01	c   Constraints      : 3298 initial, 39571 maximal
1800.06/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.01	c   trivial          :       0.01         72          0          0          0          0          0          0          0
1800.06/1800.01	c   dualfix          :       0.00         72          0          0          0          0          0          0          0
1800.06/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.06/1800.01	c   indicator        :       0.00          0          0          0          0          0         72          0          0
1800.06/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   linear           :       0.04          0          0          0        933          0        242        170          0
1800.06/1800.01	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.06/1800.01	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.01	c   root node        :          -        756          -          -       1512          -          -          -          -
1800.06/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.01	c   integral         :          0          0          0     413621          0        141       2169          0          0     800270
1800.06/1800.01	c   indicator        :        832          0    3481151      11805          0        452    1426745          0          0          0
1800.06/1800.01	c   knapsack         :          1          6    3476680      11717          0      57575    8335586          0          0          0
1800.06/1800.01	c   setppc           :         18          6    3425659      11724          0      62011    2744254          0          0          0
1800.06/1800.01	c   linear           :        832          6    3364740      11803          0      47525    3594497      65558          0          0
1800.06/1800.01	c   logicor          :       1615+         6    1642391        409          0     116710    6296532          0          0          0
1800.06/1800.01	c   bounddisjunction :          0+         0        928          0          0          0          0          0          0          0
1800.06/1800.01	c   countsols        :          0          0          0        409          0          0          0          0          0          0
1800.06/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.01	c   integral         :      46.03       0.00       0.00      46.03       0.00
1800.06/1800.01	c   indicator        :       7.34       0.04       7.08       0.22       0.00
1800.06/1800.01	c   knapsack         :      36.88       0.00      36.87       0.01       0.00
1800.06/1800.01	c   setppc           :      16.03       0.00      16.00       0.03       0.00
1800.06/1800.01	c   linear           :      41.56       0.00      41.22       0.34       0.00
1800.06/1800.01	c   logicor          :     230.93       0.00     230.93       0.00       0.00
1800.06/1800.01	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.01	c   vbounds          :       0.93          2          0          0
1800.06/1800.01	c   rootredcost      :       0.71         32          0        756
1800.06/1800.01	c   pseudoobj        :      61.41    3487696       2894    1216113
1800.06/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.01	c   propagation      :      11.72     286715     286299    1836990       28.1       9047       23.4          -
1800.06/1800.01	c   infeasible LP    :      19.59     107747     107746     884030       41.7        680       18.8          0
1800.06/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.01	c   pseudo solution  :       0.00         38         38        275       20.7          5        7.2          -
1800.06/1800.01	c   applied globally :          -          -          -    1017217       26.2          -          -          -
1800.06/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.01	c   cut pool         :       0.00          5          -          -         42          -    (maximal pool size: 309)
1800.06/1800.01	c   redcost          :      11.11     416452          0     160562          0          0
1800.06/1800.01	c   impliedbounds    :       0.00          6          0          0          0          0
1800.06/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.01	c   gomory           :       0.28          6          0          0        706          0
1800.06/1800.01	c   strongcg         :       0.26          6          0          0        937          0
1800.06/1800.01	c   cmir             :       0.04          6          0          0          2          0
1800.06/1800.01	c   flowcover        :       0.06          6          0          0          1          0
1800.06/1800.01	c   clique           :       0.00          6          0          0          0          0
1800.06/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.01	c   mcf              :       0.00          1          0          0          0          0
1800.06/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.01	c Pricers            :       Time      Calls       Vars
1800.06/1800.01	c   problem variables:       0.00          0          0
1800.06/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.01	c   relpscost        :      45.72     401790        141       2169          0          0     800270
1800.06/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   inference        :       0.05        378          0          0          0          0        756
1800.06/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.01	c   LP solutions     :       0.00          -         31
1800.06/1800.01	c   pseudo solutions :       0.00          -          0
1800.06/1800.01	c   feaspump         :       0.05          1          0
1800.06/1800.01	c   oneopt           :       0.33         30          0
1800.06/1800.01	c   intshifting      :       0.06         17          0
1800.06/1800.01	c   crossover        :       0.61         17          0
1800.06/1800.01	c   pscostdiving     :       0.18         55          0
1800.06/1800.01	c   veclendiving     :       0.18         55          0
1800.06/1800.01	c   linesearchdiving :       0.17         55          0
1800.06/1800.01	c   guideddiving     :       0.20         55          0
1800.06/1800.01	c   coefdiving       :       0.20         55          0
1800.06/1800.01	c   rootsoldiving    :       0.83         28          0
1800.06/1800.01	c   objpscostdiving  :       0.23         28          0
1800.06/1800.01	c   fracdiving       :       0.21         56          0
1800.06/1800.01	c   trivial          :       0.00          2          0
1800.06/1800.01	c   simplerounding   :       0.75     402406          0
1800.06/1800.01	c   zirounding       :       0.40       1000          0
1800.06/1800.01	c   rounding         :       1.10       8892          0
1800.06/1800.01	c   shifting         :       0.85       2796          0
1800.06/1800.01	c   twoopt           :       0.00          0          0
1800.06/1800.01	c   fixandinfer      :       0.00          0          0
1800.06/1800.01	c   intdiving        :       0.00          0          0
1800.06/1800.01	c   actconsdiving    :       0.00          0          0
1800.06/1800.01	c   octane           :       0.00          0          0
1800.06/1800.01	c   rens             :       0.05          1          0
1800.06/1800.01	c   rins             :       0.00          0          0
1800.06/1800.01	c   localbranching   :       0.00          0          0
1800.06/1800.01	c   mutation         :       0.00          0          0
1800.06/1800.01	c   dins             :       0.00          0          0
1800.06/1800.01	c   undercover       :       0.00          0          0
1800.06/1800.01	c   nlp              :       0.22          0          0
1800.06/1800.01	c   trysol           :       0.50       2312        110
1800.06/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.01	c   dual LP          :     897.21     520064    6413303      12.33    7148.05
1800.06/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.01	c   diving/probing LP:       1.39        978       7794       7.97    5607.19
1800.06/1800.02	c   strong branching :      41.39      11118     278631      25.06    6731.84
1800.06/1800.02	c     (at root node) :          -         33       5491     166.39          -
1800.06/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.02	c B&B Tree           :
1800.06/1800.02	c   number of runs   :          1
1800.06/1800.02	c   nodes            :     747148
1800.06/1800.02	c   nodes (total)    :     747148
1800.06/1800.02	c   nodes left       :       3708
1800.06/1800.02	c   max depth        :         81
1800.06/1800.02	c   max depth (total):         81
1800.06/1800.02	c   backtracks       :      95383 (12.8%)
1800.06/1800.02	c   delayed cutoffs  :      49163
1800.06/1800.02	c   repropagations   :    1362848 (4134783 domain reductions, 47826 cutoffs)
1800.06/1800.02	c   avg switch length:       5.28
1800.06/1800.02	c   switching time   :     201.57
1800.06/1800.02	c Solution           :
1800.06/1800.02	c   Solutions found  :        141 (32 improvements)
1800.06/1800.02	c   First Solution   : +4.04320000000000e+04   (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1800.06/1800.02	c   Primal Bound     : +9.00000000000000e+00   (in run 1, after 419734 nodes, 954.24 seconds, depth 46, found by <relaxation>)
1800.06/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.02	c   Gap              :   infinite
1800.06/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/1800.02	c   Root Iterations  :        509
1800.16/1800.11	c Time complete: 1800.17.

Verifier Data 

OK	9

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692765-1277902399/watcher-2692765-1277902399 -o /tmp/evaluation-result-2692765-1277902399/solver-2692765-1277902399 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692765-1277902399.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.01 2.00 2.00 4/196 23992
/proc/meminfo: memFree=31276348/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=9440 CPUtime=0
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1656 0 0 0 0 0 0 0 23 0 1 0 165842957 9666560 1575 4089446400 4194304 8223781 140733487619072 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23992/statm: 2360 1575 369 984 0 1373 0

[startup+0.019697 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 23992
/proc/meminfo: memFree=31276348/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=12812 CPUtime=0.01
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 2354 0 0 0 1 0 0 0 25 0 1 0 165842957 13119488 2273 4089446400 4194304 8223781 140733487619072 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23992/statm: 3203 2355 369 984 0 2216 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12812

[startup+0.100687 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 23992
/proc/meminfo: memFree=31276348/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=23592 CPUtime=0.09
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 6845 0 0 0 9 0 0 0 25 0 1 0 165842957 24158208 4858 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 5898 4858 458 984 0 4911 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23592

[startup+0.300639 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 23992
/proc/meminfo: memFree=31276348/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=30288 CPUtime=0.29
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 11111 0 0 0 28 1 0 0 25 0 1 0 165842957 31014912 6715 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 7572 6715 582 984 0 6585 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30288

[startup+0.700558 s]
/proc/loadavg: 2.01 2.00 2.00 4/196 23992
/proc/meminfo: memFree=31276348/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=35580 CPUtime=0.69
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 12335 0 0 0 67 2 0 0 25 0 1 0 165842957 36433920 7935 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 8895 7935 583 984 0 7908 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35580

[startup+1.50041 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 23993
/proc/meminfo: memFree=31240752/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=40368 CPUtime=1.49
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 28039 0 0 0 146 3 0 0 25 0 1 0 165842957 41336832 9219 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 10092 9219 598 984 0 9105 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40368

[startup+3.10111 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 23993
/proc/meminfo: memFree=31240380/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=40368 CPUtime=3.09
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 29030 0 0 0 304 5 0 0 25 0 1 0 165842957 41336832 9219 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 10092 9219 598 984 0 9105 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40368

[startup+6.3005 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 23993
/proc/meminfo: memFree=31239964/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=40388 CPUtime=6.29
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 32158 0 0 0 619 10 0 0 25 0 1 0 165842957 41357312 9231 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 10097 9231 599 984 0 9110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40388

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 23993
/proc/meminfo: memFree=31233724/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=46688 CPUtime=12.69
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 64284 0 0 0 1248 21 0 0 25 0 1 0 165842957 47808512 10721 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 11672 10721 604 984 0 10685 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46688

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23994
/proc/meminfo: memFree=31221432/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=59316 CPUtime=25.49
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 121072 0 0 0 2503 46 0 0 25 0 1 0 165842957 60739584 13906 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 14829 13906 605 984 0 13842 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59316

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23995
/proc/meminfo: memFree=31209932/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=70380 CPUtime=51.09
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 180819 0 0 0 5018 91 0 0 25 0 1 0 165842957 72069120 16655 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 17595 16655 606 984 0 16608 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 70380

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23996
/proc/meminfo: memFree=31199848/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=78876 CPUtime=102.29
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 279684 0 0 0 10043 186 0 0 25 0 1 0 165842957 80769024 18762 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 19719 18762 606 984 0 18732 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 78876

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23997
/proc/meminfo: memFree=31184184/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=87040 CPUtime=162.3
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 378921 0 0 0 15941 289 0 0 25 0 1 0 165842957 89128960 20771 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 21760 20771 606 984 0 20773 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 87040

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 23999
/proc/meminfo: memFree=31174216/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=91888 CPUtime=222.3
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 464286 0 0 0 21841 389 0 0 25 0 1 0 165842957 94093312 21931 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 22972 21931 606 984 0 21985 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 91888

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 24001
/proc/meminfo: memFree=31155700/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=94164 CPUtime=282.3
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 603524 0 0 0 27732 498 0 0 25 0 1 0 165842957 96423936 22455 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 23541 22455 606 984 0 22554 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 94164

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 24002
/proc/meminfo: memFree=31143020/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=94964 CPUtime=342.3
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 751670 0 0 0 33622 608 0 0 25 0 1 0 165842957 97243136 22657 4089446400 4194304 8223781 140733487619072 18446744073709551615 4209108 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 23741 22657 606 984 0 22754 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 94964

[startup+402.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 24004
/proc/meminfo: memFree=31129708/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=99328 CPUtime=402.3
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 871117 0 0 0 39514 716 0 0 25 0 1 0 165842957 101711872 23670 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 24832 23670 606 984 0 23845 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 99328

[startup+462.303 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 24014
/proc/meminfo: memFree=31113060/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=101260 CPUtime=462.31
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 930750 0 0 0 45418 813 0 0 25 0 1 0 165842957 103690240 24134 4089446400 4194304 8223781 140733487619072 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 25315 24134 606 984 0 24328 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 101260

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 24016
/proc/meminfo: memFree=31104020/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=103068 CPUtime=522.31
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1043043 0 0 0 51317 914 0 0 25 0 1 0 165842957 105541632 24580 4089446400 4194304 8223781 140733487619072 18446744073709551615 6445105 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 25767 24580 606 984 0 24780 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 103068

[startup+582.301 s]
/proc/loadavg: 2.24 2.10 2.03 3/197 24018
/proc/meminfo: memFree=31093072/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=105704 CPUtime=582.32
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1152847 0 0 0 57219 1013 0 0 25 0 1 0 165842957 108240896 25224 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 26426 25224 608 984 0 25439 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 105704

[startup+642.3 s]
/proc/loadavg: 2.08 2.08 2.03 3/197 24019
/proc/meminfo: memFree=31085720/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=107056 CPUtime=642.32
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1187425 0 0 0 63125 1107 0 0 25 0 1 0 165842957 109625344 25563 4089446400 4194304 8223781 140733487619072 18446744073709551615 6571217 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 26764 25563 608 984 0 25777 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 107056

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.08 2.07 2.02 3/197 24026
/proc/meminfo: memFree=31051716/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=122604 CPUtime=882.32
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1491505 0 0 0 86743 1489 0 0 25 0 1 0 165842957 125546496 29192 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 30651 29192 608 984 0 29664 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 122604

[startup+942.3 s]
/proc/loadavg: 2.03 2.05 2.02 3/197 24027
/proc/meminfo: memFree=31045108/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=125096 CPUtime=942.32
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1548263 0 0 0 92662 1570 0 0 25 0 1 0 165842957 128098304 29680 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 31274 29680 608 984 0 30287 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 125096

[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 24029
/proc/meminfo: memFree=31037060/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=127640 CPUtime=1002.33
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1637349 0 0 0 98575 1658 0 0 25 0 1 0 165842957 130703360 30243 4089446400 4194304 8223781 140733487619072 18446744073709551615 6456041 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23992/statm: 31910 30243 608 984 0 30923 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 127640

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/197 24030
/proc/meminfo: memFree=31032680/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=132364 CPUtime=1062.33
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1671588 0 0 0 104393 1840 0 0 25 0 1 0 165842957 135540736 31118 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23992/statm: 33091 31118 608 984 0 32104 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 132364

[startup+1122.3 s]
/proc/loadavg: 2.30 2.14 2.04 3/197 24032
/proc/meminfo: memFree=31031520/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=133032 CPUtime=1122.33
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1735653 0 0 0 110132 2101 0 0 25 0 1 0 165842957 136224768 31289 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23992/statm: 33258 31289 608 984 0 32271 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 133032

[startup+1182.3 s]
/proc/loadavg: 2.11 2.11 2.04 3/197 24034
/proc/meminfo: memFree=31030988/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=133180 CPUtime=1182.33
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1797346 0 0 0 115868 2365 0 0 25 0 1 0 165842957 136376320 31330 4089446400 4194304 8223781 140733487619072 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23992/statm: 33295 31330 608 984 0 32308 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 133180

[startup+1242.3 s]
/proc/loadavg: 2.04 2.09 2.03 3/179 24068
/proc/meminfo: memFree=31350024/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=134648 CPUtime=1242.33
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1890113 0 0 0 121748 2485 0 0 25 0 1 0 165842957 137879552 31681 4089446400 4194304 8223781 140733487619072 18446744073709551615 4218730 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 33662 31681 608 984 0 32675 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 134648

[startup+1302.3 s]
/proc/loadavg: 2.06 2.08 2.03 3/179 24097
/proc/meminfo: memFree=31483688/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=135660 CPUtime=1302.33
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1942905 0 0 0 127660 2573 0 0 25 0 1 0 165842957 138915840 31916 4089446400 4194304 8223781 140733487619072 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 33915 31916 608 984 0 32928 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 135660

[startup+1362.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/179 24098
/proc/meminfo: memFree=31482008/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=136944 CPUtime=1362.33
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 1991608 0 0 0 133570 2663 0 0 25 0 1 0 165842957 140230656 32168 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 34236 32168 608 984 0 33249 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 136944

[startup+1422.31 s]
/proc/loadavg: 2.00 2.05 2.02 3/179 24100
/proc/meminfo: memFree=31481352/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=137532 CPUtime=1422.34
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 2049378 0 0 0 139483 2751 0 0 25 0 1 0 165842957 140832768 32309 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 34383 32309 608 984 0 33396 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 137532

[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/179 24102
/proc/meminfo: memFree=31479944/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=138668 CPUtime=1482.34
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 2129642 0 0 0 145395 2839 0 0 25 0 1 0 165842957 141996032 32632 4089446400 4194304 8223781 140733487619072 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 34667 32632 608 984 0 33680 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 138668

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 24103
/proc/meminfo: memFree=31477548/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=141104 CPUtime=1542.34
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 2217141 0 0 0 151308 2926 0 0 25 0 1 0 165842957 144490496 33211 4089446400 4194304 8223781 140733487619072 18446744073709551615 6592916 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 35276 33211 608 984 0 34289 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 141104

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24105
/proc/meminfo: memFree=31476396/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=142548 CPUtime=1602.34
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 2282433 0 0 0 157225 3009 0 0 25 0 1 0 165842957 145969152 33570 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 35637 33570 608 984 0 34650 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 142548

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 24106
/proc/meminfo: memFree=31473888/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=144480 CPUtime=1662.35
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 2354937 0 0 0 163144 3091 0 0 25 0 1 0 165842957 147947520 34087 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 36120 34087 608 984 0 35133 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 144480

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 24108
/proc/meminfo: memFree=31473368/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=145184 CPUtime=1722.35
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 2451620 0 0 0 169050 3185 0 0 25 0 1 0 165842957 148668416 34270 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 36296 34270 608 984 0 35309 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 145184

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 24110
/proc/meminfo: memFree=31472220/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=146512 CPUtime=1782.35
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 2560400 0 0 0 174957 3278 0 0 25 0 1 0 165842957 150028288 34531 4089446400 4194304 8223781 140733487619072 18446744073709551615 6569745 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 36628 34531 608 984 0 35641 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 146512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24110
/proc/meminfo: memFree=31471844/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=146928 CPUtime=1800.06
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 2564393 0 0 0 176703 3303 0 0 25 0 1 0 165842957 150454272 34614 4089446400 4194304 8223781 140733487619072 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23992/statm: 36732 34614 608 984 0 35745 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 146928

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.02 2.00 3/179 24110
/proc/meminfo: memFree=31471844/32950928 swapFree=67111528/67111528
[pid=23992] ppid=23990 vsize=101236 CPUtime=1800.16
/proc/23992/stat : 23992 (pbscip.linux.x8) R 23990 23992 23479 0 -1 4202496 2564397 0 0 0 176713 3303 0 0 25 0 1 0 165842957 103665664 24006 4089446400 4194304 8223781 140733487619072 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23992/statm: 25127 23584 610 984 0 24140 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 101236

Child status: 0
Real time (s): 1800.11
CPU time (s): 1800.17
CPU user time (s): 1767.13
CPU system time (s): 33.041
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 146928

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

runsolver used 2.81657 second user time and 6.53501 second system time

The end

Launcher Data 

Begin job on node115 at 2010-06-30 14:53:19
IDJOB=2692765
IDBENCH=78901
IDSOLVER=1204
FILE ID=node115/2692765-1277902399
PBS_JOBID= 11197196
Free space on /tmp= 74212 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.1900584219--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-2692765-1277902399/watcher-2692765-1277902399 -o /tmp/evaluation-result-2692765-1277902399/solver-2692765-1277902399 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692765-1277902399.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 318d96c5cecc5e1278f112ac94857622
RANDOM SEED=779536382

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.796
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.796
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.796
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:     32950928 kB
MemFree:      31276876 kB
Buffers:        188456 kB
Cached:         932864 kB
SwapCached:          0 kB
Active:         869168 kB
Inactive:       662532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31276876 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4772 kB
Writeback:           0 kB
AnonPages:      410924 kB
Mapped:          20376 kB
Slab:            77672 kB
PageTables:       6208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1651124 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 node115 at 2010-06-30 15:23:21