Trace number 2692942

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo
MD5SUM571d61a5ea635d7d5a6801ae351f1515
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark458.346
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 constraints1848
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 94973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94972
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: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692942-1277911853.wbo>
0.00/0.03	c original problem has 3927 variables (2079 bin, 0 int, 0 impl, 1848 cont) and 4556 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.05	c presolving:
0.00/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.07/0.09	c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.10	c (round 3) 46 del vars, 159 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.11	c (round 4) 124 del vars, 193 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.12	c (round 5) 158 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.13	c (round 6) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.18	c    (0.1s) probing: 101/1999 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18	c presolving (7 rounds):
0.09/0.18	c  160 deleted vars, 195 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.18	c  1972 implications, 8 cliques
0.09/0.18	c presolved problem has 3767 variables (1999 bin, 0 int, 0 impl, 1768 cont) and 4361 constraints
0.09/0.18	c    1768 constraints of type <indicator>
0.09/0.18	c       8 constraints of type <setppc>
0.09/0.18	c    1768 constraints of type <linear>
0.09/0.18	c     817 constraints of type <logicor>
0.09/0.18	c transformed objective value is always integral (scale: 1)
0.09/0.18	c Presolving Time: 0.11
0.09/0.18	c - non default parameters ----------------------------------------------------------------------
0.09/0.18	c # SCIP version 1.2.1.2
0.09/0.18	c 
0.09/0.18	c # frequency for displaying node information lines
0.09/0.18	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18	c display/freq = 10000
0.09/0.18	c 
0.09/0.18	c # maximal time in seconds to run
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/time = 1799.98
0.09/0.18	c 
0.09/0.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18	c limits/memory = 3420
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify inequalities
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/linear/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # should presolving try to simplify knapsacks
0.09/0.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18	c 
0.09/0.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18	c separating/rapidlearning/freq = 0
0.09/0.18	c 
0.09/0.18	c -----------------------------------------------------------------------------------------------
0.09/0.18	c start solving
0.09/0.18	c 
0.09/0.19	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.19	c   0.1s|     1 |     0 |    29 |     - |  14M|   0 |  16 |3767 |4361 |3767 | 825 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	o 91089
0.19/0.20	c y 0.1s|     1 |     0 |    29 |     - |  14M|   0 |  16 |3767 |4361 |3767 | 825 |   0 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    81 |     - |  14M|   0 |  18 |3767 |4361 |3767 | 855 |  30 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.19/0.27	c   0.2s|     1 |     0 |   118 |     - |  14M|   0 |  24 |3767 |4361 |3767 | 867 |  42 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.29/0.30	c   0.2s|     1 |     0 |   134 |     - |  14M|   0 |  26 |3767 |4361 |3767 | 881 |  56 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.29/0.34	c   0.3s|     1 |     0 |   154 |     - |  14M|   0 |  27 |3767 |4361 |3767 | 895 |  70 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.29/0.38	c   0.3s|     1 |     0 |   178 |     - |  14M|   0 |  33 |3767 |4361 |3767 | 904 |  79 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   238 |     - |  15M|   0 |  29 |3767 |4361 |3767 | 912 |  87 |   0 |   0 | 0.000000e+00 | 9.108900e+04 |    Inf 
0.79/0.85	c   0.8s|     1 |     2 |   238 |     - |  15M|   0 |  29 |3767 |4361 |3767 | 912 |  87 |   0 |  29 | 0.000000e+00 | 9.108900e+04 |    Inf 
11.79/11.84	o 627
11.79/11.84	c *11.4s|  9002 |  8668 |  3309 |   0.3 |  32M| 982 |   - |3767 |4393 |3767 | 950 | 602 |  32 | 783 | 0.000000e+00 | 6.270000e+02 |    Inf 
13.20/13.24	o 372
13.20/13.24	c *12.8s|  9953 |  7563 |  4110 |   0.4 |  32M| 982 |   - |3767 |4419 |3767 | 931 | 690 |  58 | 864 | 0.000000e+00 | 3.720000e+02 |    Inf 
13.30/13.34	c  12.9s| 10000 |  7601 |  4270 |   0.4 |  32M| 982 |   0 |3767 |4437 |3767 | 929 | 709 |  76 | 867 | 0.000000e+00 | 3.720000e+02 |    Inf 
15.49/15.55	o 351
15.49/15.55	c *15.0s| 11491 |  8489 |  5286 |   0.4 |  36M| 982 |   - |3767 |4602 |3767 | 930 | 823 | 241 | 938 | 0.000000e+00 | 3.510000e+02 |    Inf 
15.59/15.63	o 302
15.59/15.63	c *15.1s| 11547 |  7414 |  5309 |   0.4 |  34M| 982 |   - |3767 |4602 |3767 | 931 | 824 | 241 | 938 | 0.000000e+00 | 3.020000e+02 |    Inf 
16.50/16.59	o 263
16.50/16.59	c *16.0s| 12098 |  6588 |  6106 |   0.5 |  33M| 982 |   - |3767 |4777 |3767 | 933 | 919 | 418 | 961 | 0.000000e+00 | 2.630000e+02 |    Inf 
16.99/17.06	o 246
16.99/17.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.99/17.07	c *16.4s| 12386 |  6043 |  6426 |   0.5 |  32M| 982 |   - |3767 |4912 |3767 | 936 | 967 | 562 | 969 | 0.000000e+00 | 2.460000e+02 |    Inf 
17.60/17.68	o 225
17.60/17.68	c *17.0s| 12779 |  5404 |  6834 |   0.5 |  32M| 982 |   - |3767 |5010 |3767 | 943 |1032 | 683 | 988 | 0.000000e+00 | 2.250000e+02 |    Inf 
18.09/18.18	o 218
18.09/18.18	c *17.5s| 13033 |  5310 |  7059 |   0.5 |  32M| 982 |   - |3767 |5070 |3767 | 948 |1086 | 820 | 997 | 0.000000e+00 | 2.180000e+02 |    Inf 
18.19/18.26	o 207
18.19/18.26	c *17.6s| 13078 |  4912 |  7132 |   0.5 |  32M| 982 |   - |3767 |5076 |3767 | 935 |1093 | 843 |1004 | 0.000000e+00 | 2.070000e+02 |    Inf 
18.39/18.41	o 186
18.39/18.41	c *17.7s| 13193 |  4072 |  7210 |   0.5 |  30M| 982 |   - |3767 |5090 |3767 | 926 |1100 | 861 |1013 | 0.000000e+00 | 1.860000e+02 |    Inf 
18.79/18.80	o 166
18.79/18.80	c *18.1s| 13366 |  3336 |  7732 |   0.6 |  29M| 982 |   - |3767 |5183 |3767 | 925 |1137 |1022 |1035 | 0.000000e+00 | 1.660000e+02 |    Inf 
18.99/19.06	o 139
18.99/19.06	c *18.4s| 13475 |  2744 |  8025 |   0.6 |  28M| 982 |   - |3767 |5230 |3767 | 936 |1149 |1104 |1041 | 0.000000e+00 | 1.390000e+02 |    Inf 
19.19/19.21	o 125
19.19/19.21	c *18.5s| 13537 |  2493 |  8220 |   0.6 |  27M| 982 |   - |3767 |5231 |3767 | 932 |1158 |1137 |1046 | 0.000000e+00 | 1.250000e+02 |    Inf 
20.39/20.42	o 110
20.39/20.42	c *19.6s| 13923 |  2345 |  9652 |   0.7 |  28M| 982 |   - |3767 |5228 |3767 | 957 |1287 |1489 |1090 | 0.000000e+00 | 1.100000e+02 |    Inf 
21.49/21.52	o 100
21.49/21.52	c *20.7s| 14369 |  2329 | 10996 |   0.7 |  29M| 982 |   - |3767 |5275 |3767 | 920 |1469 |1784 |1138 | 0.000000e+00 | 1.000000e+02 |    Inf 
21.69/21.74	o 91
21.69/21.74	c z20.9s| 14434 |  1991 | 11348 |   0.8 |  28M| 982 |   - |3767 |5259 |3767 | 928 |1480 |1827 |1161 | 0.000000e+00 | 9.100000e+01 |    Inf 
27.40/27.47	o 87
27.40/27.47	c *26.4s| 16519 |  2112 | 19279 |   1.2 |  31M| 982 |   - |3767 |5349 |3767 | 921 |1963 |4040 |1513 | 0.000000e+00 | 8.700000e+01 |    Inf 
35.29/35.30	o 83
35.29/35.30	c *33.9s| 19712 |  2399 | 34489 |   1.7 |  37M| 982 |   - |3767 |5770 |3767 | 922 |2924 |7191 |1678 | 0.000000e+00 | 8.300000e+01 |    Inf 
36.20/36.24	c  34.8s| 20000 |  2437 | 35949 |   1.8 |  38M| 982 |   - |3767 |5990 |3767 | 929 |3101 |7716 |1728 | 0.000000e+00 | 8.300000e+01 |    Inf 
36.70/36.70	o 73
36.70/36.70	c *35.2s| 20198 |  2268 | 36687 |   1.8 |  38M| 982 |   - |3767 |5930 |3767 | 922 |3159 |7961 |1738 | 0.000000e+00 | 7.300000e+01 |    Inf 
39.39/39.47	o 45
39.39/39.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
39.39/39.47	c *37.8s| 21357 |  1818 | 41971 |   2.0 |  35M| 982 |   - |3767 |5428 |3767 | 920 |3714 |9228 |1759 | 0.000000e+00 | 4.500000e+01 |    Inf 
39.79/39.84	o 31
39.79/39.84	c *38.2s| 21518 |  1568 | 43042 |   2.0 |  33M| 982 |   - |3767 |4803 |3767 | 920 |3731 |9450 |1765 | 0.000000e+00 | 3.100000e+01 |    Inf 
55.59/55.64	o 29
55.59/55.64	c *53.2s| 29984 |  1941 | 89700 |   3.0 |  40M| 982 |   - |3767 |6616 |3767 | 907 |6609 |  20k|1790 | 0.000000e+00 | 2.900000e+01 |    Inf 
55.59/55.68	c  53.3s| 30000 |  1940 | 89838 |   3.0 |  39M| 982 |   8 |3767 |6536 |3767 | 909 |6627 |  20k|1790 | 0.000000e+00 | 2.900000e+01 |    Inf 
64.60/64.62	o 26
64.60/64.62	c *61.8s| 34871 |  2022 |113308 |   3.2 |  41M| 982 |   - |3767 |6545 |3767 | 924 |8093 |  26k|1790 | 0.000000e+00 | 2.600000e+01 |    Inf 
74.50/74.53	c  71.2s| 40000 |  2175 |140152 |   3.5 |  43M| 982 |   1 |3767 |6454 |3767 | 914 |  10k|  33k|1918 | 0.000000e+00 | 2.600000e+01 |    Inf 
93.29/93.30	c  89.1s| 50000 |  2432 |194232 |   3.9 |  48M| 982 |  12 |3767 |7444 |3767 | 919 |  13k|  45k|2253 | 0.000000e+00 | 2.600000e+01 |    Inf 
112.39/112.42	c   107s| 60000 |  2679 |247636 |   4.1 |  52M| 982 |   - |3767 |8877 |   0 |   0 |  17k|  58k|2494 | 0.000000e+00 | 2.600000e+01 |    Inf 
131.29/131.33	c   125s| 70000 |  2858 |296909 |   4.2 |  56M| 982 |   - |3767 |7658 |   0 |   0 |  21k|  71k|2735 | 0.000000e+00 | 2.600000e+01 |    Inf 
134.70/134.77	o 23
134.70/134.77	c * 129s| 71951 |  2857 |305608 |   4.2 |  56M| 982 |   - |3767 |8098 |3767 | 926 |  21k|  73k|2764 | 0.000000e+00 | 2.300000e+01 |    Inf 
149.89/149.99	c   143s| 80000 |  3043 |345157 |   4.3 |  58M| 982 |   - |3767 |7458 |   0 |   0 |  24k|  84k|2917 | 0.000000e+00 | 2.300000e+01 |    Inf 
169.00/169.02	c   161s| 90000 |  3418 |397872 |   4.4 |  63M| 982 |  11 |3767 |9193 |3767 | 936 |  28k|  97k|3147 | 0.000000e+00 | 2.300000e+01 |    Inf 
169.60/169.60	o 15
169.60/169.60	c * 162s| 90242 |  3109 |399372 |   4.4 |  58M| 982 |   - |3767 |9411 |3767 | 939 |  28k|  97k|3159 | 0.000000e+00 | 1.500000e+01 |    Inf 
187.19/187.21	c   178s|100000 |  3187 |451101 |   4.5 |  60M| 982 |   - |3767 |7138 |   0 |   0 |  31k| 110k|3366 | 0.000000e+00 | 1.500000e+01 |    Inf 
205.80/205.80	c   196s|110000 |  3392 |506559 |   4.6 |  63M| 982 |   9 |3767 |9041 |3767 | 932 |  35k| 123k|3571 | 0.000000e+00 | 1.500000e+01 |    Inf 
224.30/224.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
224.30/224.34	c   214s|120000 |  3537 |561654 |   4.7 |  65M| 982 |   - |3767 |9285 |   0 |   0 |  39k| 136k|3751 | 0.000000e+00 | 1.500000e+01 |    Inf 
243.10/243.16	c   232s|130000 |  3768 |614702 |   4.7 |  68M| 982 |   1 |3767 |  12k|3767 | 928 |  42k| 149k|3889 | 0.000000e+00 | 1.500000e+01 |    Inf 
246.10/246.14	o 14
246.10/246.14	c * 235s|131453 |  3684 |622729 |   4.7 |  68M| 982 |   - |3767 |  12k|3767 | 931 |  43k| 151k|3949 | 0.000000e+00 | 1.400000e+01 |    Inf 
262.40/262.48	c   250s|140000 |  3724 |672858 |   4.8 |  69M| 982 |  20 |3767 |  12k|3767 | 935 |  46k| 163k|4072 | 0.000000e+00 | 1.400000e+01 |    Inf 
263.80/263.88	o 9
263.80/263.88	c * 251s|140705 |  3357 |677130 |   4.8 |  63M| 982 |   - |3767 |  11k|3767 | 930 |  46k| 164k|4089 | 0.000000e+00 | 9.000000e+00 |    Inf 
281.70/281.75	c   268s|150000 |  3310 |743787 |   5.0 |  62M| 982 |   - |3767 |8571 |   0 |   0 |  51k| 176k|4290 | 0.000000e+00 | 9.000000e+00 |    Inf 
300.10/300.10	c   286s|160000 |  3409 |807118 |   5.0 |  64M| 982 |  17 |3767 |9814 |3767 | 897 |  55k| 189k|4463 | 0.000000e+00 | 9.000000e+00 |    Inf 
318.91/318.99	c   304s|170000 |  3433 |865307 |   5.1 |  66M| 982 |   - |3767 |9935 |   0 |   0 |  57k| 202k|4574 | 0.000000e+00 | 9.000000e+00 |    Inf 
337.30/337.37	c   321s|180000 |  3394 |924720 |   5.1 |  65M| 982 |   - |3767 |9817 |   0 |   0 |  59k| 215k|4721 | 0.000000e+00 | 9.000000e+00 |    Inf 
356.31/356.36	c   339s|190000 |  3530 |989734 |   5.2 |  67M| 982 |  12 |3767 |  10k|3767 | 904 |  64k| 229k|4882 | 0.000000e+00 | 9.000000e+00 |    Inf 
358.00/358.02	o 8
358.00/358.02	c * 341s|190954 |  3407 |994804 |   5.2 |  65M| 982 |   - |3767 |  10k|3767 | 938 |  64k| 230k|4890 | 0.000000e+00 | 8.000000e+00 |    Inf 
374.10/374.11	c   356s|200000 |  3410 |  1046k|   5.2 |  66M| 982 |  13 |3767 |  10k|3767 | 936 |  67k| 244k|4953 | 0.000000e+00 | 8.000000e+00 |    Inf 
393.60/393.68	c   375s|210000 |  3406 |  1120k|   5.3 |  67M| 982 |   - |3767 |9956 |3767 | 945 |  72k| 257k|5169 | 0.000000e+00 | 8.000000e+00 |    Inf 
412.70/412.71	c   393s|220000 |  3203 |  1194k|   5.4 |  66M| 982 |   - |3767 |9284 |   0 |   0 |  77k| 271k|5325 | 0.000000e+00 | 8.000000e+00 |    Inf 
431.70/431.70	c   412s|230000 |  3079 |  1258k|   5.5 |  66M| 982 |   1 |3767 |  13k|3767 | 916 |  81k| 284k|5448 | 0.000000e+00 | 8.000000e+00 |    Inf 
451.20/451.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
451.20/451.22	c   430s|240000 |  2806 |  1322k|   5.5 |  62M| 982 |   - |3767 |7129 |3767 | 927 |  84k| 298k|5602 | 0.000000e+00 | 8.000000e+00 |    Inf 
469.61/469.63	c   448s|250000 |  2474 |  1391k|   5.6 |  60M| 982 |  21 |3767 |8251 |3767 | 914 |  88k| 311k|5704 | 0.000000e+00 | 8.000000e+00 |    Inf 
488.11/488.19	c   465s|260000 |  1994 |  1460k|   5.6 |  55M| 982 |  11 |3767 |8347 |3767 | 925 |  92k| 325k|5824 | 0.000000e+00 | 8.000000e+00 |    Inf 
507.20/507.26	c   484s|270000 |  2053 |  1525k|   5.6 |  58M| 982 |   - |3767 |  14k|   0 |   0 |  95k| 338k|5954 | 0.000000e+00 | 8.000000e+00 |    Inf 
528.01/528.06	c   504s|280000 |  2154 |  1590k|   5.7 |  60M| 982 |  21 |3767 |  16k|3767 | 936 |  97k| 351k|6041 | 0.000000e+00 | 8.000000e+00 |    Inf 
549.51/549.53	c   524s|290000 |  2036 |  1656k|   5.7 |  58M| 982 |   5 |3767 |  13k|3767 | 924 | 101k| 364k|6206 | 0.000000e+00 | 8.000000e+00 |    Inf 
569.91/569.92	c   544s|300000 |  1859 |  1724k|   5.7 |  56M| 982 |   1 |3767 |  11k|3767 | 931 | 105k| 378k|6301 | 0.000000e+00 | 8.000000e+00 |    Inf 
589.01/589.07	c   562s|310000 |  1799 |  1792k|   5.8 |  55M| 982 |   1 |3767 |  12k|3767 | 918 | 109k| 391k|6407 | 0.000000e+00 | 8.000000e+00 |    Inf 
608.80/608.84	c   581s|320000 |  1826 |  1860k|   5.8 |  57M| 982 |   - |3767 |  15k|   0 |   0 | 113k| 404k|6517 | 0.000000e+00 | 8.000000e+00 |    Inf 
629.41/629.44	c   601s|330000 |  1408 |  1928k|   5.8 |  50M| 982 |   1 |3767 |9575 |3767 | 897 | 117k| 417k|6632 | 0.000000e+00 | 8.000000e+00 |    Inf 
648.31/648.37	c   619s|340000 |  1489 |  1998k|   5.9 |  51M| 982 |   9 |3767 |  10k|3767 | 913 | 120k| 430k|6737 | 0.000000e+00 | 8.000000e+00 |    Inf 
667.61/667.65	c   637s|350000 |  1674 |  2066k|   5.9 |  54M| 982 |  21 |3767 |  13k|3767 | 917 | 124k| 442k|6806 | 0.000000e+00 | 8.000000e+00 |    Inf 
687.21/687.27	c   656s|360000 |  1721 |  2135k|   5.9 |  55M| 982 |   - |3767 |  12k|   0 |   0 | 126k| 456k|6880 | 0.000000e+00 | 8.000000e+00 |    Inf 
706.91/706.98	c   675s|370000 |  1951 |  2205k|   6.0 |  57M| 982 |   1 |3767 |  15k|3767 | 940 | 130k| 469k|6976 | 0.000000e+00 | 8.000000e+00 |    Inf 
726.90/726.96	c   694s|380000 |  1932 |  2272k|   6.0 |  58M| 982 |   1 |3767 |  13k|3767 | 931 | 133k| 483k|7066 | 0.000000e+00 | 8.000000e+00 |    Inf 
746.81/746.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
746.81/746.84	c   713s|390000 |  2014 |  2342k|   6.0 |  58M| 982 |   - |3767 |  13k|3767 | 940 | 136k| 496k|7164 | 0.000000e+00 | 8.000000e+00 |    Inf 
767.11/767.16	c   732s|400000 |  1983 |  2416k|   6.0 |  59M| 982 |  12 |3767 |  14k|3767 | 917 | 139k| 510k|7232 | 0.000000e+00 | 8.000000e+00 |    Inf 
787.41/787.45	c   751s|410000 |  1983 |  2486k|   6.1 |  59M| 982 |   - |3767 |  14k|   0 |   0 | 142k| 523k|7313 | 0.000000e+00 | 8.000000e+00 |    Inf 
807.81/807.82	c   771s|420000 |  2042 |  2561k|   6.1 |  60M| 982 |  20 |3767 |  15k|3767 | 938 | 145k| 537k|7397 | 0.000000e+00 | 8.000000e+00 |    Inf 
828.61/828.61	c   791s|430000 |  2043 |  2634k|   6.1 |  61M| 982 |  14 |3767 |  15k|3767 | 906 | 149k| 551k|7491 | 0.000000e+00 | 8.000000e+00 |    Inf 
849.72/849.72	c   811s|440000 |  2042 |  2706k|   6.2 |  62M| 982 |  27 |3767 |  16k|3767 | 951 | 153k| 565k|7588 | 0.000000e+00 | 8.000000e+00 |    Inf 
870.31/870.33	c   831s|450000 |  2067 |  2774k|   6.2 |  63M| 982 |  20 |3767 |  18k|3767 | 943 | 156k| 580k|7657 | 0.000000e+00 | 8.000000e+00 |    Inf 
891.41/891.40	c   851s|460000 |  2079 |  2842k|   6.2 |  63M| 982 |  10 |3767 |  18k|3767 | 924 | 159k| 594k|7737 | 0.000000e+00 | 8.000000e+00 |    Inf 
912.92/912.91	c   871s|470000 |  2117 |  2912k|   6.2 |  64M| 982 |   1 |3767 |  18k|3767 | 930 | 162k| 607k|7812 | 0.000000e+00 | 8.000000e+00 |    Inf 
934.92/934.98	c   893s|480000 |  2160 |  2983k|   6.2 |  65M| 982 |   1 |3767 |  21k|3767 | 944 | 165k| 620k|7873 | 0.000000e+00 | 8.000000e+00 |    Inf 
956.81/956.85	c   914s|490000 |  2139 |  3049k|   6.2 |  65M| 982 |   - |3767 |  19k|   0 |   0 | 167k| 633k|7957 | 0.000000e+00 | 8.000000e+00 |    Inf 
979.02/979.05	c   935s|500000 |  2168 |  3111k|   6.2 |  66M| 982 |  10 |3767 |  19k|3767 | 935 | 170k| 647k|8022 | 0.000000e+00 | 8.000000e+00 |    Inf 
1001.02/1001.09	c   956s|510000 |  2177 |  3176k|   6.2 |  67M| 982 |   1 |3767 |  21k|3767 | 934 | 174k| 661k|8086 | 0.000000e+00 | 8.000000e+00 |    Inf 
1022.92/1022.96	c   977s|520000 |  2109 |  3240k|   6.2 |  65M| 982 |  12 |3767 |  18k|3767 | 932 | 176k| 675k|8145 | 0.000000e+00 | 8.000000e+00 |    Inf 
1043.41/1043.41	c   997s|530000 |  2292 |  3304k|   6.2 |  67M| 982 |   - |3767 |  18k|   0 |   0 | 180k| 689k|8214 | 0.000000e+00 | 8.000000e+00 |    Inf 
1063.02/1063.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1063.02/1063.01	c  1015s|540000 |  2387 |  3363k|   6.2 |  69M| 982 |   - |3767 |  20k|   0 |   0 | 183k| 703k|8260 | 0.000000e+00 | 8.000000e+00 |    Inf 
1083.62/1083.69	c  1035s|550000 |  2336 |  3427k|   6.2 |  69M| 982 |   - |3767 |  20k|   0 |   0 | 187k| 718k|8317 | 0.000000e+00 | 8.000000e+00 |    Inf 
1104.92/1104.93	c  1055s|560000 |  2042 |  3495k|   6.2 |  64M| 982 |  16 |3767 |  13k|3767 | 943 | 190k| 733k|8498 | 0.000000e+00 | 8.000000e+00 |    Inf 
1124.92/1124.95	c  1075s|570000 |  1982 |  3564k|   6.3 |  63M| 982 |  11 |3767 |  13k|3767 | 914 | 194k| 746k|8673 | 0.000000e+00 | 8.000000e+00 |    Inf 
1144.82/1144.89	c  1094s|580000 |  1896 |  3631k|   6.3 |  63M| 982 |   1 |3767 |  13k|3767 | 922 | 197k| 761k|8804 | 0.000000e+00 | 8.000000e+00 |    Inf 
1165.32/1165.35	c  1113s|590000 |  1969 |  3702k|   6.3 |  65M| 982 |   - |3767 |  18k|   0 |   0 | 200k| 775k|8804 | 0.000000e+00 | 8.000000e+00 |    Inf 
1185.72/1185.80	c  1133s|600000 |  1401 |  3775k|   6.3 |  55M| 982 |  17 |3767 |9893 |3767 | 949 | 203k| 789k|8878 | 0.000000e+00 | 8.000000e+00 |    Inf 
1205.32/1205.36	c  1151s|610000 |  1381 |  3843k|   6.3 |  56M| 982 |  17 |3767 |  15k|3767 | 950 | 207k| 802k|8958 | 0.000000e+00 | 8.000000e+00 |    Inf 
1225.92/1225.94	c  1171s|620000 |  1237 |  3915k|   6.3 |  53M| 982 |  12 |3767 |  13k|3767 | 939 | 212k| 816k|9040 | 0.000000e+00 | 8.000000e+00 |    Inf 
1246.52/1246.54	c  1191s|630000 |  1311 |  3984k|   6.3 |  55M| 982 |   - |3767 |  15k|3767 | 935 | 217k| 830k|9112 | 0.000000e+00 | 8.000000e+00 |    Inf 
1267.82/1267.87	c  1211s|640000 |  1359 |  4053k|   6.3 |  55M| 982 |  18 |3767 |  17k|3767 | 924 | 222k| 843k|9160 | 0.000000e+00 | 8.000000e+00 |    Inf 
1289.02/1289.00	c  1232s|650000 |  1386 |  4120k|   6.3 |  56M| 982 |  19 |3767 |  17k|3767 | 926 | 226k| 857k|9213 | 0.000000e+00 | 8.000000e+00 |    Inf 
1311.43/1311.41	c  1253s|660000 |  1361 |  4195k|   6.4 |  56M| 982 |   7 |3767 |  18k|3767 | 931 | 231k| 871k|9288 | 0.000000e+00 | 8.000000e+00 |    Inf 
1334.03/1334.04	c  1275s|670000 |  1445 |  4272k|   6.4 |  57M| 982 |   1 |3767 |  18k|3767 | 946 | 235k| 885k|9359 | 0.000000e+00 | 8.000000e+00 |    Inf 
1355.43/1355.40	c  1295s|680000 |  1465 |  4344k|   6.4 |  57M| 982 |  19 |3767 |  16k|3767 | 918 | 240k| 899k|9424 | 0.000000e+00 | 8.000000e+00 |    Inf 
1376.93/1376.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1376.93/1376.99	c  1316s|690000 |  1470 |  4418k|   6.4 |  57M| 982 |  19 |3767 |  16k|3767 | 928 | 245k| 913k|9480 | 0.000000e+00 | 8.000000e+00 |    Inf 
1398.62/1398.65	c  1337s|700000 |  1512 |  4490k|   6.4 |  59M| 982 |  10 |3767 |  19k|3767 | 915 | 251k| 927k|9542 | 0.000000e+00 | 8.000000e+00 |    Inf 
1421.13/1421.20	c  1358s|710000 |  1467 |  4565k|   6.4 |  58M| 982 |   - |3767 |  18k|   0 |   0 | 256k| 941k|9632 | 0.000000e+00 | 8.000000e+00 |    Inf 
1442.82/1442.86	c  1379s|720000 |  1458 |  4636k|   6.4 |  59M| 982 |  16 |3767 |  19k|3767 | 944 | 260k| 955k|9703 | 0.000000e+00 | 8.000000e+00 |    Inf 
1465.92/1465.90	c  1401s|730000 |  1463 |  4712k|   6.5 |  59M| 982 |  11 |3767 |  20k|3767 | 938 | 266k| 969k|9761 | 0.000000e+00 | 8.000000e+00 |    Inf 
1489.73/1489.72	c  1424s|740000 |  1467 |  4789k|   6.5 |  61M| 982 |  13 |3767 |  23k|3767 | 958 | 270k| 984k|9826 | 0.000000e+00 | 8.000000e+00 |    Inf 
1513.54/1513.55	c  1447s|750000 |  1450 |  4863k|   6.5 |  59M| 982 |   9 |3767 |  20k|3767 | 933 | 274k| 998k|9873 | 0.000000e+00 | 8.000000e+00 |    Inf 
1537.53/1537.52	c  1470s|760000 |  1441 |  4940k|   6.5 |  60M| 982 |   - |3767 |  21k|   0 |   0 | 279k|1012k|9933 | 0.000000e+00 | 8.000000e+00 |    Inf 
1561.83/1561.86	c  1494s|770000 |  1435 |  5015k|   6.5 |  61M| 982 |   - |3767 |  23k|   0 |   0 | 286k|1026k|9991 | 0.000000e+00 | 8.000000e+00 |    Inf 
1585.33/1585.39	c  1516s|780000 |  1395 |  5090k|   6.5 |  60M| 982 |   1 |3767 |  21k|3767 | 930 | 290k|1040k|  10k| 0.000000e+00 | 8.000000e+00 |    Inf 
1608.73/1608.74	c  1539s|790000 |  1537 |  5161k|   6.5 |  61M| 982 |   1 |3767 |  23k|3767 | 934 | 295k|1054k|  10k| 0.000000e+00 | 8.000000e+00 |    Inf 
1632.33/1632.30	c  1561s|800000 |  1575 |  5231k|   6.5 |  62M| 982 |  15 |3767 |  22k|3767 | 935 | 300k|1069k|  10k| 0.000000e+00 | 8.000000e+00 |    Inf 
1656.33/1656.32	c  1585s|810000 |  1544 |  5303k|   6.5 |  62M| 982 |   - |3767 |  23k|   0 |   0 | 305k|1084k|  10k| 0.000000e+00 | 8.000000e+00 |    Inf 
1680.23/1680.29	c  1608s|820000 |  1404 |  5379k|   6.6 |  61M| 982 |   - |3767 |  22k|   0 |   0 | 309k|1099k|  10k| 0.000000e+00 | 8.000000e+00 |    Inf 
1702.53/1702.52	c  1629s|830000 |  1256 |  5447k|   6.6 |  56M| 982 |  12 |3767 |  12k|3767 | 923 | 314k|1112k|  10k| 0.000000e+00 | 8.000000e+00 |    Inf 
1721.94/1721.90	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1721.94/1721.90	c  1648s|840000 |  1348 |  5505k|   6.6 |  58M| 982 |   - |3767 |  15k|   0 |   0 | 317k|1125k|  10k| 0.000000e+00 | 8.000000e+00 |    Inf 
1742.64/1742.69	c  1667s|850000 |  1432 |  5569k|   6.6 |  60M| 982 |   - |3767 |  16k|   0 |   0 | 320k|1138k|  10k| 0.000000e+00 | 8.000000e+00 |    Inf 
1763.84/1763.88	c  1688s|860000 |  1660 |  5636k|   6.6 |  62M| 982 |  22 |3767 |  18k|3767 | 897 | 324k|1151k|  10k| 0.000000e+00 | 8.000000e+00 |    Inf 
1785.04/1785.09	c  1708s|870000 |  1737 |  5695k|   6.5 |  63M| 982 |  13 |3767 |  19k|3767 | 897 | 327k|1164k|  10k| 0.000000e+00 | 8.000000e+00 |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.00	c Solving Time (sec) : 1722.48
1800.04/1800.00	c Solving Nodes      : 876235
1800.04/1800.00	c Primal Bound       : +8.00000000000000e+00 (335 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.05	s SATISFIABLE
1800.04/1800.05	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.05	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.05	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.05	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.05	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.05	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.05	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.05	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.05	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.05	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
1800.04/1800.05	v -x1 
1800.04/1800.05	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.05	c Solving Time       :    1722.48
1800.04/1800.05	c Original Problem   :
1800.04/1800.05	c   Problem name     : HOME/instance-2692942-1277911853.wbo
1800.04/1800.05	c   Variables        : 3927 (2079 binary, 0 integer, 0 implicit integer, 1848 continuous)
1800.04/1800.05	c   Constraints      : 4556 initial, 4556 maximal
1800.04/1800.05	c Presolved Problem  :
1800.04/1800.05	c   Problem name     : t_HOME/instance-2692942-1277911853.wbo
1800.04/1800.05	c   Variables        : 3767 (1999 binary, 0 integer, 0 implicit integer, 1768 continuous)
1800.04/1800.05	c   Constraints      : 4361 initial, 25553 maximal
1800.04/1800.05	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.05	c   trivial          :       0.00         80          0          0          0          0          0          0          0
1800.04/1800.05	c   dualfix          :       0.00         80          0          0          0          0          0          0          0
1800.04/1800.05	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.05	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.05	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.05	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.04/1800.05	c   indicator        :       0.00          0          0          0          0          0         80          0          0
1800.04/1800.05	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.05	c   linear           :       0.05          0          0          0       1882          0        115        101          0
1800.04/1800.05	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.05	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.05	c   root node        :          -       1663          -          -       3326          -          -          -          -
1800.04/1800.05	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.05	c   integral         :          0          0          0     528898          0         87       1246          0          0     931422
1800.04/1800.05	c   indicator        :       1768          0    4420557      61925          0        385    2827566          0          0          0
1800.04/1800.05	c   setppc           :          8          6    4431233      57941          0      25281    1191660          0          0          0
1800.04/1800.05	c   linear           :       1768          6    4414621      61676          0     184396   20860410     328755          0          0
1800.04/1800.05	c   logicor          :        817+         6    1750014      15034          0     192138    4080509          0          0          0
1800.04/1800.05	c   bounddisjunction :          0+         0        144          0          0          0          1          0          0          0
1800.04/1800.05	c   countsols        :          0          0          0      15034          0          0          0          0          0          0
1800.04/1800.05	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.05	c   integral         :      22.79       0.00       0.00      22.79       0.00
1800.04/1800.05	c   indicator        :      13.15       0.00      10.88       2.27       0.00
1800.04/1800.05	c   setppc           :       8.72       0.00       8.70       0.02       0.00
1800.04/1800.05	c   linear           :     156.17       0.00     152.96       3.21       0.00
1800.04/1800.05	c   logicor          :     221.05       0.00     220.97       0.08       0.00
1800.04/1800.05	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.05	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.05	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.05	c   vbounds          :       0.01          2          0          0
1800.04/1800.05	c   rootredcost      :       0.02         29          0       1663
1800.04/1800.05	c   pseudoobj        :     148.37    4446737       6010    2192305
1800.04/1800.05	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.05	c   propagation      :      19.98     407825     407582    2461949       26.6      13114       21.5          -
1800.04/1800.05	c   infeasible LP    :      14.92      51833      51833     402551       41.4        772       16.2          0
1800.04/1800.05	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.05	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.05	c   pseudo solution  :       0.01         91         91        455       15.0         26        6.0          -
1800.04/1800.05	c   applied globally :          -          -          -    1173125       23.1          -          -          -
1800.04/1800.05	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.05	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.05	c   cut pool         :       0.00          5          -          -         42          -    (maximal pool size: 364)
1800.04/1800.05	c   redcost          :      27.57     534862          0     565714          0          0
1800.04/1800.05	c   impliedbounds    :       0.00          6          0          0          0          0
1800.04/1800.05	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.05	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.05	c   gomory           :       0.05          6          0          0       1708          0
1800.04/1800.05	c   strongcg         :       0.06          6          0          0        484          0
1800.04/1800.05	c   cmir             :       0.00          6          0          0          0          0
1800.04/1800.05	c   flowcover        :       0.07          6          0          0          0          0
1800.04/1800.05	c   clique           :       0.00          6          0          0          0          0
1800.04/1800.05	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.05	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.05	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.05	c Pricers            :       Time      Calls       Vars
1800.04/1800.05	c   problem variables:       0.00          0          0
1800.04/1800.05	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.05	c   relpscost        :      22.58     466755         87       1246          0          0     931422
1800.04/1800.05	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.05	c   inference        :       2.22      15007          0          0          0          0      30014
1800.04/1800.05	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.05	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.05	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.05	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.05	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.05	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.05	c   LP solutions     :       0.04          -         27
1800.04/1800.05	c   pseudo solutions :       0.00          -          0
1800.04/1800.05	c   feaspump         :       0.02          1          0
1800.04/1800.05	c   oneopt           :       0.13         29          0
1800.04/1800.05	c   veclendiving     :       0.11         61          0
1800.04/1800.05	c   coefdiving       :       0.11         62          0
1800.04/1800.05	c   pscostdiving     :       0.10         62          0
1800.04/1800.05	c   fracdiving       :       0.07         62          0
1800.04/1800.05	c   guideddiving     :       0.08         62          0
1800.04/1800.05	c   linesearchdiving :       0.05         62          0
1800.04/1800.05	c   rootsoldiving    :       0.10         48          0
1800.04/1800.05	c   objpscostdiving  :       0.09         48          0
1800.04/1800.05	c   crossover        :       0.94         40          0
1800.04/1800.05	c   trivial          :       0.00          2          0
1800.04/1800.05	c   simplerounding   :       0.73     468192          0
1800.04/1800.05	c   zirounding       :       0.39       1000          1
1800.04/1800.05	c   rounding         :       1.87       9622          0
1800.04/1800.05	c   shifting         :       1.08       3075          0
1800.04/1800.05	c   intshifting      :       0.01          7          0
1800.04/1800.05	c   twoopt           :       0.00          0          0
1800.04/1800.05	c   fixandinfer      :       0.00          0          0
1800.04/1800.05	c   intdiving        :       0.00          0          0
1800.04/1800.05	c   actconsdiving    :       0.00          0          0
1800.04/1800.05	c   octane           :       0.00          0          0
1800.04/1800.05	c   rens             :       0.01          1          0
1800.04/1800.05	c   rins             :       0.00          0          0
1800.04/1800.05	c   localbranching   :       0.00          0          0
1800.04/1800.05	c   mutation         :       0.00          0          0
1800.04/1800.05	c   dins             :       0.00          0          0
1800.04/1800.05	c   undercover       :       0.00          0          0
1800.04/1800.05	c   nlp              :       0.00          0          0
1800.04/1800.05	c   trysol           :       2.02       5623        307
1800.04/1800.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.05	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.05	c   dual LP          :     659.05     566493    5732005      10.12    8697.38
1800.04/1800.05	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.05	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.05	c   diving/probing LP:       0.35        176       1374       7.81    3925.71
1800.04/1800.05	c   strong branching :      18.45      10707     178904      16.71    9696.69
1800.04/1800.05	c     (at root node) :          -         29       4718     162.69          -
1800.04/1800.05	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.05	c B&B Tree           :
1800.04/1800.05	c   number of runs   :          1
1800.04/1800.05	c   nodes            :     876235
1800.04/1800.05	c   nodes (total)    :     876235
1800.04/1800.05	c   nodes left       :       1752
1800.04/1800.05	c   max depth        :        982
1800.04/1800.05	c   max depth (total):        982
1800.04/1800.05	c   backtracks       :      95923 (10.9%)
1800.04/1800.05	c   delayed cutoffs  :      69827
1800.04/1800.05	c   repropagations   :    1946589 (5489951 domain reductions, 64487 cutoffs)
1800.04/1800.05	c   avg switch length:       6.05
1800.04/1800.05	c   switching time   :     238.32
1800.04/1800.05	c Solution           :
1800.04/1800.05	c   Solutions found  :        335 (29 improvements)
1800.04/1800.05	c   First Solution   : +9.10890000000000e+04   (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.04/1800.05	c   Primal Bound     : +8.00000000000000e+00   (in run 1, after 190954 nodes, 340.87 seconds, depth 31, found by <relaxation>)
1800.04/1800.05	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.05	c   Gap              :   infinite
1800.04/1800.05	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.05	c   Root Iterations  :        238
1800.14/1800.15	c Time complete: 1800.2.

Verifier Data 

OK	8

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692942-1277911853/watcher-2692942-1277911853 -o /tmp/evaluation-result-2692942-1277911853/solver-2692942-1277911853 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692942-1277911853.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.19 2.56 2.43 3/178 26205
/proc/meminfo: memFree=30639220/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=10968 CPUtime=0
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 1668 0 0 0 0 0 0 0 21 0 1 0 166788782 11231232 1588 4089446400 4194304 9819077 140734706684224 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26205/statm: 2742 1588 392 1374 0 1363 0

[startup+0.0792439 s]
/proc/loadavg: 2.19 2.56 2.43 3/178 26205
/proc/meminfo: memFree=30639220/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=31020 CPUtime=0.07
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 7353 0 0 0 6 1 0 0 21 0 1 0 166788782 31764480 6405 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 7755 6405 492 1374 0 6376 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31020

[startup+0.101239 s]
/proc/loadavg: 2.19 2.56 2.43 3/178 26205
/proc/meminfo: memFree=30639220/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=31020 CPUtime=0.09
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 7625 0 0 0 8 1 0 0 21 0 1 0 166788782 31764480 6420 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 7755 6420 498 1374 0 6376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31020

[startup+0.300201 s]
/proc/loadavg: 2.19 2.56 2.43 3/178 26205
/proc/meminfo: memFree=30639220/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=39300 CPUtime=0.29
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 12389 0 0 0 26 3 0 0 21 0 1 0 166788782 40243200 8284 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 9825 8284 678 1374 0 8446 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39300

[startup+0.701123 s]
/proc/loadavg: 2.19 2.56 2.43 3/178 26205
/proc/meminfo: memFree=30639220/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=44712 CPUtime=0.7
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 18866 0 0 0 65 5 0 0 22 0 1 0 166788782 45785088 9928 4089446400 4194304 9819077 140734706684224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 11178 9928 704 1374 0 9799 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 44712

[startup+1.50098 s]
/proc/loadavg: 2.18 2.56 2.43 3/179 26206
/proc/meminfo: memFree=30601888/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=44752 CPUtime=1.49
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 19214 0 0 0 143 6 0 0 25 0 1 0 166788782 45826048 10019 4089446400 4194304 9819077 140734706684224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 11188 10019 710 1374 0 9809 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44752

[startup+3.10071 s]
/proc/loadavg: 2.18 2.56 2.43 3/179 26206
/proc/meminfo: memFree=30594356/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=46876 CPUtime=3.09
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 33710 0 0 0 299 10 0 0 25 0 1 0 166788782 48001024 10436 4089446400 4194304 9819077 140734706684224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 11719 10436 715 1374 0 10340 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46876

[startup+6.30115 s]
/proc/loadavg: 2.18 2.56 2.43 3/179 26206
/proc/meminfo: memFree=30597372/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=51840 CPUtime=6.29
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 46106 0 0 0 608 21 0 0 25 0 1 0 166788782 53084160 11427 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 12960 11427 715 1374 0 11581 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51840

[startup+12.701 s]
/proc/loadavg: 2.23 2.55 2.43 3/179 26206
/proc/meminfo: memFree=30586460/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=62564 CPUtime=12.69
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 78119 0 0 0 1227 42 0 0 25 0 1 0 166788782 64065536 14275 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 15641 14275 715 1374 0 14262 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62564

[startup+25.5008 s]
/proc/loadavg: 2.19 2.53 2.43 3/179 26206
/proc/meminfo: memFree=30565844/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=85772 CPUtime=25.49
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 207451 0 0 0 2452 97 0 0 25 0 1 0 166788782 87830528 19656 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 21443 19656 717 1374 0 20064 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85772

[startup+51.1003 s]
/proc/loadavg: 2.13 2.49 2.41 3/179 26207
/proc/meminfo: memFree=30524596/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=128452 CPUtime=51.09
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 379437 0 0 0 4893 216 0 0 25 0 1 0 166788782 131534848 29933 4089446400 4194304 9819077 140734706684224 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 32113 29933 719 1374 0 30734 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 128452

[startup+102.306 s]
/proc/loadavg: 2.05 2.41 2.39 3/179 26208
/proc/meminfo: memFree=30503076/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=150140 CPUtime=102.3
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 691035 0 0 0 9765 465 0 0 25 0 1 0 166788782 153743360 35188 4089446400 4194304 9819077 140734706684224 18446744073709551615 4223886 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 37535 35188 734 1374 0 36156 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 150140

[startup+162.301 s]
/proc/loadavg: 2.02 2.33 2.36 3/179 26210
/proc/meminfo: memFree=30486432/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=167388 CPUtime=162.29
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 1059800 0 0 0 15481 748 0 0 25 0 1 0 166788782 171405312 39284 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 41847 39284 741 1374 0 40468 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 167388

[startup+222.3 s]
/proc/loadavg: 2.00 2.27 2.33 3/179 26212
/proc/meminfo: memFree=30474868/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=179496 CPUtime=222.3
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 1438191 0 0 0 21185 1045 0 0 25 0 1 0 166788782 183803904 42150 4089446400 4194304 9819077 140734706684224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 44874 42150 741 1374 0 43495 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 179496

[startup+282.301 s]
/proc/loadavg: 2.07 2.23 2.32 3/179 26213
/proc/meminfo: memFree=30470504/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=183436 CPUtime=282.29
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 1843033 0 0 0 26892 1337 0 0 25 0 1 0 166788782 187838464 43091 4089446400 4194304 9819077 140734706684224 18446744073709551615 4209178 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 45859 43091 741 1374 0 44480 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 183436

[startup+342.3 s]
/proc/loadavg: 2.02 2.19 2.29 3/179 26215
/proc/meminfo: memFree=30468728/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=185620 CPUtime=342.3
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 2184699 0 0 0 32595 1635 0 0 25 0 1 0 166788782 190074880 43626 4089446400 4194304 9819077 140734706684224 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 46405 43626 741 1374 0 45026 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 185620

[startup+402.301 s]
/proc/loadavg: 2.01 2.15 2.27 3/179 26216
/proc/meminfo: memFree=30463600/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=190012 CPUtime=402.3
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 2399550 0 0 0 38337 1893 0 0 25 0 1 0 166788782 194572288 44918 4089446400 4194304 9819077 140734706684224 18446744073709551615 5000109 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 47503 44918 741 1374 0 46124 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 190012

[startup+462.301 s]
/proc/loadavg: 2.00 2.12 2.25 3/179 26218
/proc/meminfo: memFree=30462072/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=191720 CPUtime=462.3
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 2535283 0 0 0 44081 2149 0 0 25 0 1 0 166788782 196321280 45174 4089446400 4194304 9819077 140734706684224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 47930 45174 741 1374 0 46551 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 191720

[startup+522.301 s]
/proc/loadavg: 2.00 2.10 2.23 3/179 26220
/proc/meminfo: memFree=30461776/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=192444 CPUtime=522.3
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 2822773 0 0 0 49815 2415 0 0 25 0 1 0 166788782 197062656 45291 4089446400 4194304 9819077 140734706684224 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 48111 45291 741 1374 0 46732 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 192444

[startup+582.301 s]
/proc/loadavg: 2.00 2.08 2.22 3/179 26221
/proc/meminfo: memFree=30460364/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=193240 CPUtime=582.3
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 3112066 0 0 0 55558 2672 0 0 25 0 1 0 166788782 197877760 45427 4089446400 4194304 9819077 140734706684224 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 48310 45427 741 1374 0 46931 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 193240

[startup+642.3 s]
/proc/loadavg: 2.00 2.06 2.20 3/179 26223
/proc/meminfo: memFree=30460076/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=193924 CPUtime=642.31
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 3412921 0 0 0 61286 2945 0 0 25 0 1 0 166788782 198578176 45563 4089446400 4194304 9819077 140734706684224 18446744073709551615 6589058 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 48481 45563 741 1374 0 47102 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 193924

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.03 2.03 2.15 3/179 26229
/proc/meminfo: memFree=30457044/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=196372 CPUtime=882.31
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 4727871 0 0 0 84209 4022 0 0 25 0 1 0 166788782 201084928 46188 4089446400 4194304 9819077 140734706684224 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 49093 46188 741 1374 0 47714 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 196372

[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.14 3/179 26231
/proc/meminfo: memFree=30454904/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=198768 CPUtime=942.31
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 5025072 0 0 0 89960 4271 0 0 25 0 1 0 166788782 203538432 46773 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 49692 46773 741 1374 0 48313 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 198768

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/179 26232
/proc/meminfo: memFree=30453000/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=200692 CPUtime=1002.32
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 5309559 0 0 0 95718 4514 0 0 25 0 1 0 166788782 205508608 47275 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 50173 47275 741 1374 0 48794 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 200692

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/179 26234
/proc/meminfo: memFree=30451232/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=202044 CPUtime=1062.32
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 5600842 0 0 0 101459 4773 0 0 25 0 1 0 166788782 206893056 47636 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 50511 47636 741 1374 0 49132 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 202044

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/179 26236
/proc/meminfo: memFree=30449712/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=203456 CPUtime=1122.32
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 5940421 0 0 0 107198 5034 0 0 25 0 1 0 166788782 208338944 47942 4089446400 4194304 9819077 140734706684224 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 50864 47942 741 1374 0 49485 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 203456

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 26237
/proc/meminfo: memFree=30448808/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=204092 CPUtime=1182.32
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 6202571 0 0 0 112942 5290 0 0 25 0 1 0 166788782 208990208 48195 4089446400 4194304 9819077 140734706684224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 51023 48195 741 1374 0 49644 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 204092

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 26239
/proc/meminfo: memFree=30448152/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=204664 CPUtime=1242.32
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 6472994 0 0 0 118686 5546 0 0 25 0 1 0 166788782 209575936 48247 4089446400 4194304 9819077 140734706684224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 51058 48235 741 1374 0 49679 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 204664

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 26240
/proc/meminfo: memFree=30447620/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=204980 CPUtime=1302.33
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 6746913 0 0 0 124445 5788 0 0 25 0 1 0 166788782 209899520 48331 4089446400 4194304 9819077 140734706684224 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 51245 48331 741 1374 0 49866 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 204980

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 26242
/proc/meminfo: memFree=30447312/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=205340 CPUtime=1362.32
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 7056484 0 0 0 130203 6029 0 0 25 0 1 0 166788782 210268160 48371 4089446400 4194304 9819077 140734706684224 18446744073709551615 6590664 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 51335 48371 741 1374 0 49956 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 205340

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.07 3/179 26244
/proc/meminfo: memFree=30447036/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=205536 CPUtime=1422.33
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 7372110 0 0 0 135951 6282 0 0 25 0 1 0 166788782 210468864 48388 4089446400 4194304 9819077 140734706684224 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 51384 48388 741 1374 0 50005 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 205536

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.07 3/179 26245
/proc/meminfo: memFree=30447004/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=205768 CPUtime=1482.33
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 7682328 0 0 0 141702 6531 0 0 25 0 1 0 166788782 210706432 48468 4089446400 4194304 9819077 140734706684224 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 51442 48468 741 1374 0 50063 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 205768

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 26247
/proc/meminfo: memFree=30446720/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=206116 CPUtime=1542.32
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 7942345 0 0 0 147479 6753 0 0 25 0 1 0 166788782 211062784 48553 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 51529 48553 741 1374 0 50150 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 206116

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 26248
/proc/meminfo: memFree=30446820/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=205708 CPUtime=1602.33
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 8186021 0 0 0 153255 6978 0 0 25 0 1 0 166788782 210644992 48552 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 51427 48552 741 1374 0 50048 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 205708

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 26250
/proc/meminfo: memFree=30446780/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=206144 CPUtime=1662.33
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 8429918 0 0 0 159038 7195 0 0 25 0 1 0 166788782 211091456 48557 4089446400 4194304 9819077 140734706684224 18446744073709551615 5004477 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 51536 48557 741 1374 0 50157 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 206144

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 26252
/proc/meminfo: memFree=30446372/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=206448 CPUtime=1722.34
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 8683170 0 0 0 164792 7442 0 0 25 0 1 0 166788782 211402752 48651 4089446400 4194304 9819077 140734706684224 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/26205/statm: 51612 48652 741 1374 0 50233 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 206448

[startup+1782.3 s]
/proc/loadavg: 1.96 1.98 2.03 2/177 26300
/proc/meminfo: memFree=30457036/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=206536 CPUtime=1782.34
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 8927981 0 0 0 170520 7714 0 0 25 0 1 0 166788782 211492864 48713 4089446400 4194304 9819077 140734706684224 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26205/statm: 51634 48713 741 1374 0 50255 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 206536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.00 2.04 4/200 26367
/proc/meminfo: memFree=30221092/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=206536 CPUtime=1800.04
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 8997201 0 0 0 172249 7755 0 0 25 0 1 0 166788782 211492864 48715 4089446400 4194304 9819077 140734706684224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/26205/statm: 51634 48715 741 1374 0 50255 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 206536

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.03 2.00 2.04 4/200 26367
/proc/meminfo: memFree=30221092/32950928 swapFree=67111528/67111528
[pid=26205] ppid=26203 vsize=204288 CPUtime=1800.14
/proc/26205/stat : 26205 (pbscip.linux.x8) R 26203 26205 25933 0 -1 4202496 8997214 0 0 0 172259 7755 0 0 25 0 1 0 166788782 209190912 48151 4089446400 4194304 9819077 140734706684224 18446744073709551615 4222731 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/26205/statm: 51072 48151 742 1374 0 49693 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 204288

Child status: 0
Real time (s): 1800.16
CPU time (s): 1800.2
CPU user time (s): 1722.64
CPU system time (s): 77.5602
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 207752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1722.64
system time used= 77.5602
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8997218
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= 2
involuntary context switches= 18741

runsolver used 2.83857 second user time and 6.98894 second system time

The end

Launcher Data 

Begin job on node112 at 2010-06-30 17:30:53
IDJOB=2692942
IDBENCH=78991
IDSOLVER=1205
FILE ID=node112/2692942-1277911853
PBS_JOBID= 11197257
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692942-1277911853/watcher-2692942-1277911853 -o /tmp/evaluation-result-2692942-1277911853/solver-2692942-1277911853 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692942-1277911853.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 571d61a5ea635d7d5a6801ae351f1515
RANDOM SEED=757816703

node112.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.827
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.65
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.827
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.827
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.827
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.73
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.827
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.827
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.827
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.827
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:     32950928 kB
MemFree:      30639872 kB
Buffers:        193696 kB
Cached:        1896132 kB
SwapCached:          0 kB
Active:         606996 kB
Inactive:      1558452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30639872 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:       76016 kB
Mapped:          15456 kB
Slab:            80636 kB
PageTables:       5196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   219708 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 node112 at 2010-06-30 18:00:55