Trace number 2692871

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-33-100-0.wbo
MD5SUM12371feb76f2c231a6dc5b657286b6d5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark277.868
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 constraints1785
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 88246
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 88245
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
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-2692871-1277908004.wbo>
0.00/0.03	c original problem has 3801 variables (2016 bin, 0 int, 0 impl, 1785 cont) and 4493 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, 1937 impls, 11 clqs
0.06/0.09	c (round 2) 0 del vars, 75 del conss, 1785 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.06/0.09	c (round 3) 52 del vars, 171 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.09/0.11	c (round 4) 128 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.12	c (round 5) 152 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.17	c    (0.1s) probing: 101/1940 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17	c presolving (6 rounds):
0.09/0.17	c  152 deleted vars, 195 deleted constraints, 1809 tightened bounds, 0 added holes, 96 changed sides, 0 changed coefficients
0.09/0.17	c  1937 implications, 11 cliques
0.09/0.17	c presolved problem has 3649 variables (1940 bin, 0 int, 0 impl, 1709 cont) and 4298 constraints
0.09/0.17	c    1709 constraints of type <indicator>
0.09/0.17	c      11 constraints of type <setppc>
0.09/0.17	c    1709 constraints of type <linear>
0.09/0.17	c     869 constraints of type <logicor>
0.09/0.17	c transformed objective value is always integral (scale: 1)
0.09/0.17	c Presolving Time: 0.11
0.09/0.17	c - non default parameters ----------------------------------------------------------------------
0.09/0.17	c # SCIP version 1.2.1.2
0.09/0.17	c 
0.09/0.17	c # frequency for displaying node information lines
0.09/0.17	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17	c display/freq = 10000
0.09/0.17	c 
0.09/0.17	c # maximal time in seconds to run
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/time = 1799.98
0.09/0.17	c 
0.09/0.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17	c limits/memory = 3420
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify inequalities
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/linear/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # should presolving try to simplify knapsacks
0.09/0.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17	c 
0.09/0.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17	c separating/rapidlearning/freq = 0
0.09/0.17	c 
0.09/0.17	c -----------------------------------------------------------------------------------------------
0.09/0.17	c start solving
0.09/0.17	c 
0.09/0.18	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.18	c   0.1s|     1 |     0 |     7 |     - |  13M|   0 |   0 |3649 |4298 |3649 | 880 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	c   0.1s|     1 |     0 |    41 |     - |  13M|   0 |  29 |3649 |4298 |3649 | 896 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	o 83962
0.09/0.19	c y 0.1s|     1 |     0 |    41 |     - |  13M|   0 |  29 |3649 |4298 |3649 | 896 |  16 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.19/0.23	c   0.2s|     1 |     0 |    66 |     - |  13M|   0 |  41 |3649 |4298 |3649 | 931 |  51 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.19/0.29	c   0.2s|     1 |     0 |   137 |     - |  13M|   0 |  44 |3649 |4298 |3649 | 941 |  61 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |   150 |     - |  14M|   0 |  49 |3649 |4298 |3649 | 946 |  66 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.39/0.42	c   0.3s|     1 |     0 |   170 |     - |  14M|   0 |  61 |3649 |4298 |3649 | 957 |  77 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.48/0.50	c   0.4s|     1 |     0 |   186 |     - |  14M|   0 |  61 |3649 |4298 |3649 | 961 |  81 |   0 |   0 | 0.000000e+00 | 8.396200e+04 |    Inf 
0.68/0.74	c   0.7s|     1 |     2 |   186 |     - |  14M|   0 |  61 |3649 |4298 |3649 | 961 |  81 |   0 |  33 | 0.000000e+00 | 8.396200e+04 |    Inf 
13.68/13.77	o 488
13.68/13.77	c *13.1s|  5189 |  4838 | 15065 |   2.9 |  28M| 105 |   - |3649 |4346 |3649 | 976 |2625 |  49 |1390 | 0.000000e+00 | 4.880000e+02 |    Inf 
16.18/16.23	o 478
16.18/16.23	c *15.5s|  6427 |  6027 | 17942 |   2.8 |  31M| 105 |   - |3649 |4358 |3649 | 987 |3199 |  71 |1442 | 0.000000e+00 | 4.780000e+02 |    Inf 
20.19/20.29	o 474
20.19/20.29	c *19.4s|  8094 |  7623 | 24157 |   3.0 |  34M| 105 |   - |3649 |4433 |3649 |1001 |4498 | 191 |1576 | 0.000000e+00 | 4.740000e+02 |    Inf 
22.58/22.62	o 457
22.58/22.62	c *21.7s|  9134 |  8560 | 27574 |   3.0 |  36M| 105 |   - |3649 |4491 |3649 | 984 |5004 | 281 |1642 | 0.000000e+00 | 4.570000e+02 |    Inf 
22.58/22.65	o 412
22.58/22.65	c *21.7s|  9145 |  8332 | 27636 |   3.0 |  35M| 105 |   - |3649 |4491 |3649 | 973 |5017 | 281 |1642 | 0.000000e+00 | 4.120000e+02 |    Inf 
24.39/24.46	o 410
24.39/24.46	c *23.4s|  9990 |  9116 | 30780 |   3.1 |  38M| 105 |   - |3649 |4546 |3649 | 996 |5604 | 371 |1652 | 0.000000e+00 | 4.100000e+02 |    Inf 
24.39/24.46	o 408
24.39/24.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.39/24.46	c *23.4s|  9991 |  9094 | 30780 |   3.1 |  38M| 105 |   - |3649 |4546 |3649 | 996 |5604 | 371 |1652 | 0.000000e+00 | 4.080000e+02 |    Inf 
24.39/24.49	c  23.5s| 10000 |  9101 | 30828 |   3.1 |  38M| 105 |   0 |3649 |4543 |3649 | 994 |5610 | 372 |1652 | 0.000000e+00 | 4.080000e+02 |    Inf 
30.18/30.24	o 389
30.18/30.24	c f29.0s| 12208 | 10892 | 44322 |   3.6 |  43M| 105 |   - |3649 |4869 |3649 | 973 |7890 | 946 |1681 | 0.000000e+00 | 3.890000e+02 |    Inf 
30.28/30.31	o 377
30.28/30.31	c *29.0s| 12234 | 10789 | 44491 |   3.6 |  42M| 105 |   - |3649 |4880 |3649 | 980 |7898 | 968 |1681 | 0.000000e+00 | 3.770000e+02 |    Inf 
32.19/32.29	o 376
32.19/32.29	c *31.0s| 13008 | 11444 | 48620 |   3.7 |  45M| 105 |   - |3649 |4901 |3649 | 997 |8569 |1183 |1682 | 0.000000e+00 | 3.760000e+02 |    Inf 
32.38/32.45	o 357
32.38/32.45	c *31.1s| 13064 | 11233 | 48920 |   3.7 |  44M| 105 |   - |3649 |4895 |3649 | 987 |8613 |1190 |1682 | 0.000000e+00 | 3.570000e+02 |    Inf 
32.38/32.46	o 336
32.38/32.46	c *31.1s| 13065 | 10944 | 48920 |   3.7 |  42M| 105 |   - |3649 |4895 |3649 | 987 |8613 |1190 |1682 | 0.000000e+00 | 3.360000e+02 |    Inf 
32.78/32.86	o 322
32.78/32.86	c *31.5s| 13228 | 10859 | 49464 |   3.7 |  42M| 105 |   - |3649 |4874 |3649 | 992 |8729 |1210 |1683 | 0.000000e+00 | 3.220000e+02 |    Inf 
32.89/32.97	o 306
32.89/32.97	c *31.6s| 13270 | 10547 | 49652 |   3.7 |  41M| 105 |   - |3649 |4871 |3649 | 982 |8772 |1217 |1683 | 0.000000e+00 | 3.060000e+02 |    Inf 
34.79/34.88	o 303
34.79/34.88	c *33.5s| 14053 | 11164 | 53340 |   3.8 |  43M| 105 |   - |3649 |4819 |3649 | 987 |9529 |1394 |1684 | 0.000000e+00 | 3.030000e+02 |    Inf 
35.29/35.39	o 294
35.29/35.39	c *34.0s| 14259 | 11155 | 53818 |   3.8 |  43M| 105 |   - |3649 |4797 |3649 | 992 |9617 |1409 |1685 | 0.000000e+00 | 2.940000e+02 |    Inf 
35.48/35.57	o 292
35.48/35.57	c *34.1s| 14326 | 11179 | 54167 |   3.8 |  44M| 105 |   - |3649 |4788 |3649 | 985 |9655 |1417 |1685 | 0.000000e+00 | 2.920000e+02 |    Inf 
35.79/35.89	o 281
35.79/35.89	c *34.4s| 14429 | 10983 | 54746 |   3.8 |  43M| 105 |   - |3649 |4768 |3649 | 987 |9758 |1429 |1685 | 0.000000e+00 | 2.810000e+02 |    Inf 
36.48/36.53	o 277
36.48/36.53	c *35.1s| 14653 | 11080 | 55948 |   3.8 |  44M| 105 |   - |3649 |4749 |3649 | 970 |9974 |1458 |1688 | 0.000000e+00 | 2.770000e+02 |    Inf 
38.08/38.13	o 262
38.08/38.13	c *36.6s| 15299 | 11259 | 59024 |   3.8 |  44M| 105 |   - |3649 |4826 |3649 | 973 |  10k|1614 |1688 | 0.000000e+00 | 2.620000e+02 |    Inf 
38.08/38.13	o 248
38.08/38.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
38.08/38.13	c *36.6s| 15300 | 10893 | 59025 |   3.8 |  43M| 105 |   - |3649 |4826 |3649 | 973 |  10k|1614 |1688 | 0.000000e+00 | 2.480000e+02 |    Inf 
38.08/38.16	o 234
38.08/38.16	c *36.6s| 15308 | 10494 | 59136 |   3.9 |  42M| 105 |   - |3649 |4825 |3649 | 987 |  10k|1617 |1688 | 0.000000e+00 | 2.340000e+02 |    Inf 
38.29/38.38	o 222
38.29/38.38	c *36.8s| 15386 | 10255 | 59571 |   3.9 |  41M| 105 |   - |3649 |4855 |3649 | 981 |  10k|1663 |1688 | 0.000000e+00 | 2.220000e+02 |    Inf 
38.58/38.69	o 211
38.58/38.69	c *37.1s| 15483 |  9940 | 60135 |   3.9 |  41M| 105 |   - |3649 |4890 |3649 | 972 |  10k|1712 |1688 | 0.000000e+00 | 2.110000e+02 |    Inf 
38.68/38.75	o 198
38.68/38.75	c *37.2s| 15501 |  9434 | 60253 |   3.9 |  40M| 105 |   - |3649 |4898 |3649 | 977 |  10k|1721 |1688 | 0.000000e+00 | 1.980000e+02 |    Inf 
38.68/38.76	o 194
38.68/38.76	c *37.2s| 15502 |  9274 | 60253 |   3.9 |  40M| 105 |   - |3649 |4898 |3649 | 977 |  10k|1721 |1688 | 0.000000e+00 | 1.940000e+02 |    Inf 
38.78/38.80	o 189
38.78/38.80	c *37.2s| 15511 |  9049 | 60381 |   3.9 |  39M| 105 |   - |3649 |4903 |3649 | 972 |  10k|1726 |1688 | 0.000000e+00 | 1.890000e+02 |    Inf 
38.89/38.99	o 171
38.89/38.99	c *37.4s| 15574 |  8368 | 60693 |   3.9 |  38M| 105 |   - |3649 |4919 |3649 | 984 |  10k|1758 |1688 | 0.000000e+00 | 1.710000e+02 |    Inf 
38.98/39.02	o 169
38.98/39.02	c *37.5s| 15581 |  8266 | 60752 |   3.9 |  38M| 105 |   - |3649 |4925 |3649 | 982 |  10k|1764 |1688 | 0.000000e+00 | 1.690000e+02 |    Inf 
38.98/39.02	o 141
38.98/39.02	c *37.5s| 15582 |  6863 | 60754 |   3.9 |  35M| 105 |   - |3649 |4925 |3649 | 982 |  10k|1764 |1688 | 0.000000e+00 | 1.410000e+02 |    Inf 
39.08/39.12	o 123
39.08/39.12	c *37.6s| 15611 |  5796 | 60903 |   3.9 |  33M| 105 |   - |3649 |4915 |3649 | 969 |  10k|1769 |1688 | 0.000000e+00 | 1.230000e+02 |    Inf 
39.28/39.37	o 115
39.28/39.37	c *37.8s| 15717 |  5410 | 61089 |   3.9 |  33M| 105 |   - |3649 |4927 |3649 | 970 |  10k|1791 |1688 | 0.000000e+00 | 1.150000e+02 |    Inf 
39.28/39.37	o 108
39.28/39.37	c *37.8s| 15718 |  5063 | 61089 |   3.9 |  32M| 105 |   - |3649 |4927 |3649 | 970 |  10k|1791 |1688 | 0.000000e+00 | 1.080000e+02 |    Inf 
39.79/39.81	o 107
39.79/39.81	c *38.2s| 15883 |  5097 | 62169 |   3.9 |  33M| 105 |   - |3649 |5033 |3649 | 981 |  10k|1940 |1688 | 0.000000e+00 | 1.070000e+02 |    Inf 
39.79/39.86	o 103
39.79/39.86	c *38.3s| 15894 |  4820 | 62319 |   3.9 |  32M| 105 |   - |3649 |5032 |3649 | 992 |  10k|1943 |1688 | 0.000000e+00 | 1.030000e+02 |    Inf 
40.09/40.11	o 87
40.09/40.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
40.09/40.11	c *38.5s| 15989 |  3853 | 62733 |   3.9 |  30M| 105 |   - |3649 |5083 |3649 | 984 |  10k|2033 |1688 | 0.000000e+00 | 8.700000e+01 |    Inf 
40.18/40.27	o 85
40.18/40.27	c *38.7s| 16025 |  3711 | 63063 |   3.9 |  30M| 105 |   - |3649 |4858 |3649 | 998 |  10k|2068 |1688 | 0.000000e+00 | 8.500000e+01 |    Inf 
40.49/40.54	o 73
40.49/40.54	c *38.9s| 16119 |  3074 | 63449 |   3.9 |  29M| 105 |   - |3649 |4885 |3649 | 988 |  10k|2168 |1688 | 0.000000e+00 | 7.300000e+01 |    Inf 
40.49/40.56	o 66
40.49/40.56	c *39.0s| 16122 |  2716 | 63509 |   3.9 |  28M| 105 |   - |3649 |4676 |3649 | 972 |  10k|2177 |1688 | 0.000000e+00 | 6.600000e+01 |    Inf 
40.68/40.71	o 63
40.68/40.71	c *39.1s| 16163 |  2615 | 63688 |   3.9 |  28M| 105 |   - |3649 |4528 |3649 | 983 |  10k|2236 |1688 | 0.000000e+00 | 6.300000e+01 |    Inf 
40.68/40.73	o 62
40.68/40.73	c *39.1s| 16165 |  2566 | 63692 |   3.9 |  28M| 105 |   - |3649 |4455 |3649 | 983 |  10k|2236 |1688 | 0.000000e+00 | 6.200000e+01 |    Inf 
40.68/40.75	o 48
40.68/40.75	c *39.1s| 16167 |  1965 | 63693 |   3.9 |  26M| 105 |   - |3649 |4424 |3649 | 983 |  10k|2236 |1688 | 0.000000e+00 | 4.800000e+01 |    Inf 
40.68/40.77	o 42
40.68/40.77	c *39.1s| 16170 |  1798 | 63722 |   3.9 |  26M| 105 |   - |3649 |4176 |3649 | 987 |  10k|2239 |1688 | 0.000000e+00 | 4.200000e+01 |    Inf 
40.68/40.79	o 40
40.68/40.79	c *39.2s| 16172 |  1720 | 63738 |   3.9 |  25M| 105 |   - |3649 |4036 |3649 | 977 |  10k|2239 |1688 | 0.000000e+00 | 4.000000e+01 |    Inf 
40.79/40.82	o 36
40.79/40.82	c *39.2s| 16178 |  1598 | 63750 |   3.9 |  25M| 105 |   - |3649 |3987 |3649 | 981 |  10k|2239 |1688 | 0.000000e+00 | 3.600000e+01 |    Inf 
40.79/40.82	o 23
40.79/40.82	c *39.2s| 16179 |  1149 | 63750 |   3.9 |  24M| 105 |   - |3649 |3987 |3649 | 981 |  10k|2239 |1688 | 0.000000e+00 | 2.300000e+01 |    Inf 
40.79/40.85	o 9
40.79/40.85	c *39.2s| 16185 |   479 | 63811 |   3.9 |  21M| 105 |   - |3649 |3665 |3649 | 978 |  10k|2257 |1688 | 0.000000e+00 | 9.000000e+00 |    Inf 
43.88/43.92	o 6
43.88/43.92	c *42.1s| 17646 |   409 | 74853 |   4.2 |  22M| 105 |   - |3649 |4701 |3649 | 977 |  12k|4196 |1795 | 0.000000e+00 | 6.000000e+00 |    Inf 
47.98/48.03	c  46.0s| 20000 |   442 | 89243 |   4.5 |  23M| 105 |   - |3649 |6314 |   0 |   0 |  14k|7082 |1799 | 0.000000e+00 | 6.000000e+00 |    Inf 
48.39/48.48	o 4
48.39/48.48	c *46.5s| 20282 |   398 | 90665 |   4.5 |  23M| 105 |   - |3649 |6538 |3649 | 966 |  14k|7410 |1799 | 0.000000e+00 | 4.000000e+00 |    Inf 
66.28/66.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
66.28/66.39	c  63.7s| 30000 |   320 |148254 |   4.9 |  25M| 105 |   - |3649 |  10k|   0 |   0 |  22k|  19k|1877 | 0.000000e+00 | 4.000000e+00 |    Inf 
83.59/83.62	o 3
83.59/83.62	c *80.3s| 38734 |   588 |200208 |   5.2 |  28M| 105 |   - |3649 |  14k|3649 | 991 |  29k|  30k|2118 | 0.000000e+00 | 3.000000e+00 |    Inf 
86.18/86.24	c  82.9s| 40000 |   613 |207487 |   5.2 |  29M| 105 |   1 |3649 |  14k|3649 | 971 |  30k|  32k|2155 | 0.000000e+00 | 3.000000e+00 |    Inf 
106.78/106.82	c   103s| 50000 |   572 |264638 |   5.3 |  30M| 105 |   - |3649 |  16k|   0 |   0 |  38k|  45k|2440 | 0.000000e+00 | 3.000000e+00 |    Inf 
127.99/128.07	c   123s| 60000 |   367 |320703 |   5.3 |  29M| 105 |  15 |3649 |  16k|3649 | 976 |  46k|  59k|2709 | 0.000000e+00 | 3.000000e+00 |    Inf 
147.98/148.01	c   142s| 70000 |   240 |375875 |   5.4 |  28M| 105 |   - |3649 |  15k|   0 |   0 |  50k|  72k|3013 | 0.000000e+00 | 3.000000e+00 |    Inf 
169.39/169.42	c   163s| 80000 |   371 |435761 |   5.4 |  31M| 105 |   - |3649 |  22k|   0 |   0 |  57k|  85k|3228 | 0.000000e+00 | 3.000000e+00 |    Inf 
193.08/193.19	c   186s| 90000 |   390 |496643 |   5.5 |  33M| 105 |   - |3649 |  24k|   0 |   0 |  66k|  98k|3445 | 0.000000e+00 | 3.000000e+00 |    Inf 
216.39/216.46	c   208s|100000 |   311 |552831 |   5.5 |  32M| 105 |  11 |3649 |  23k|3649 | 972 |  72k| 112k|3715 | 0.000000e+00 | 3.000000e+00 |    Inf 
240.08/240.12	c   231s|110000 |   345 |618088 |   5.6 |  34M| 105 |  13 |3649 |  26k|3649 | 960 |  81k| 124k|3965 | 0.000000e+00 | 3.000000e+00 |    Inf 
265.09/265.19	c   255s|120000 |   384 |683802 |   5.7 |  35M| 105 |   - |3649 |  27k|   0 |   0 |  89k| 137k|4139 | 0.000000e+00 | 3.000000e+00 |    Inf 
290.30/290.38	c   280s|130000 |   465 |745796 |   5.7 |  37M| 105 |  20 |3649 |  32k|3649 | 966 |  99k| 150k|4318 | 0.000000e+00 | 3.000000e+00 |    Inf 
315.79/315.84	c   304s|140000 |   311 |807843 |   5.8 |  35M| 105 |   9 |3649 |  28k|3649 | 970 | 108k| 163k|4527 | 0.000000e+00 | 3.000000e+00 |    Inf 
338.49/338.54	c   326s|150000 |   212 |857929 |   5.7 |  35M| 105 |   - |3649 |  28k|   0 |   0 | 112k| 176k|4785 | 0.000000e+00 | 3.000000e+00 |    Inf 
361.89/361.92	c   349s|160000 |   256 |912874 |   5.7 |  36M| 105 |  27 |3649 |  31k|3649 | 960 | 120k| 190k|4912 | 0.000000e+00 | 3.000000e+00 |    Inf 
386.99/387.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
386.99/387.01	c   373s|170000 |   374 |969575 |   5.7 |  38M| 105 |   - |3649 |  35k|   0 |   0 | 128k| 203k|5047 | 0.000000e+00 | 3.000000e+00 |    Inf 
412.89/412.96	c   398s|180000 |   337 |  1026k|   5.7 |  36M| 105 |  24 |3649 |  30k|3649 | 968 | 135k| 217k|5213 | 0.000000e+00 | 3.000000e+00 |    Inf 
421.89/421.90	o 2
421.89/421.90	c * 407s|183619 |   343 |  1047k|   5.7 |  37M| 105 |   - |3649 |  30k|3649 | 970 | 138k| 221k|5272 | 0.000000e+00 | 2.000000e+00 |    Inf 
436.70/436.77	c   421s|190000 |   533 |  1086k|   5.7 |  38M| 105 |  18 |3649 |  31k|3649 | 969 | 142k| 230k|5353 | 0.000000e+00 | 2.000000e+00 |    Inf 
437.08/437.16	o 1
437.08/437.16	c * 421s|190161 |   543 |  1087k|   5.7 |  38M| 105 |   - |3649 |  31k|3649 | 967 | 143k| 230k|5353 | 0.000000e+00 | 1.000000e+00 |    Inf 
460.89/460.97	c   444s|200000 |   833 |  1146k|   5.7 |  41M| 105 |  10 |3649 |  35k|3649 | 969 | 151k| 243k|5497 | 0.000000e+00 | 1.000000e+00 |    Inf 
486.20/486.28	c   469s|210000 |   898 |  1204k|   5.7 |  43M| 105 |  12 |3649 |  38k|3649 | 967 | 158k| 257k|5621 | 0.000000e+00 | 1.000000e+00 |    Inf 
511.59/511.61	c   493s|220000 |   832 |  1260k|   5.7 |  43M| 105 |   - |3649 |  37k|   0 |   0 | 164k| 272k|5743 | 0.000000e+00 | 1.000000e+00 |    Inf 
537.90/537.97	c   519s|230000 |   867 |  1323k|   5.8 |  45M| 105 |   - |3649 |  42k|   0 |   0 | 173k| 286k|5879 | 0.000000e+00 | 1.000000e+00 |    Inf 
564.49/564.58	c   545s|240000 |   890 |  1379k|   5.7 |  44M| 105 |   - |3649 |  36k|   0 |   0 | 178k| 300k|5961 | 0.000000e+00 | 1.000000e+00 |    Inf 
589.80/589.89	c   570s|250000 |   933 |  1432k|   5.7 |  45M| 105 |   - |3649 |  37k|   0 |   0 | 184k| 315k|6098 | 0.000000e+00 | 1.000000e+00 |    Inf 
617.00/617.04	c   596s|260000 |   945 |  1494k|   5.7 |  47M| 105 |   9 |3649 |  40k|3649 | 967 | 191k| 330k|6193 | 0.000000e+00 | 1.000000e+00 |    Inf 
643.90/643.97	c   622s|270000 |   885 |  1556k|   5.8 |  45M| 105 |  14 |3649 |  35k|3649 | 960 | 199k| 344k|6334 | 0.000000e+00 | 1.000000e+00 |    Inf 
670.79/670.87	c   649s|280000 |  1056 |  1617k|   5.8 |  48M| 105 |   - |3649 |  41k|   0 |   0 | 207k| 357k|6452 | 0.000000e+00 | 1.000000e+00 |    Inf 
699.40/699.50	c   677s|290000 |   996 |  1677k|   5.8 |  48M| 105 |   - |3649 |  40k|   0 |   0 | 215k| 371k|6542 | 0.000000e+00 | 1.000000e+00 |    Inf 
725.60/725.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
725.60/725.63	c   702s|300000 |   951 |  1735k|   5.8 |  46M| 105 |   7 |3649 |  35k|3649 | 976 | 222k| 385k|6648 | 0.000000e+00 | 1.000000e+00 |    Inf 
751.70/751.75	c   728s|310000 |   983 |  1798k|   5.8 |  48M| 105 |   - |3649 |  39k|   0 |   0 | 230k| 400k|6772 | 0.000000e+00 | 1.000000e+00 |    Inf 
776.00/776.06	c   751s|320000 |   929 |  1850k|   5.8 |  47M| 105 |  13 |3649 |  36k|3649 | 980 | 236k| 414k|6863 | 0.000000e+00 | 1.000000e+00 |    Inf 
798.90/798.92	c   774s|330000 |   956 |  1893k|   5.7 |  49M| 105 |   - |3649 |  41k|   0 |   0 | 237k| 428k|6929 | 0.000000e+00 | 1.000000e+00 |    Inf 
824.91/824.97	c   799s|340000 |  1078 |  1953k|   5.7 |  51M| 105 |   9 |3649 |  43k|3649 | 967 | 245k| 442k|7048 | 0.000000e+00 | 1.000000e+00 |    Inf 
853.30/853.33	c   827s|350000 |  1053 |  2015k|   5.8 |  51M| 105 |  18 |3649 |  44k|3649 | 960 | 253k| 457k|7130 | 0.000000e+00 | 1.000000e+00 |    Inf 
882.21/882.27	c   855s|360000 |  1261 |  2080k|   5.8 |  54M| 105 |   1 |3649 |  46k|3649 | 969 | 262k| 471k|7241 | 0.000000e+00 | 1.000000e+00 |    Inf 
912.50/912.53	c   884s|370000 |  1357 |  2141k|   5.8 |  56M| 105 |  15 |3649 |  49k|3649 | 974 | 271k| 486k|7341 | 0.000000e+00 | 1.000000e+00 |    Inf 
944.50/944.58	c   916s|380000 |  1513 |  2206k|   5.8 |  59M| 105 |   - |3649 |  53k|   0 |   0 | 279k| 501k|7412 | 0.000000e+00 | 1.000000e+00 |    Inf 
976.82/976.87	c   947s|390000 |  1529 |  2269k|   5.8 |  59M| 105 |   - |3649 |  51k|   0 |   0 | 288k| 516k|7547 | 0.000000e+00 | 1.000000e+00 |    Inf 
1008.71/1008.74	c   978s|400000 |  1434 |  2330k|   5.8 |  59M| 105 |   - |3649 |  50k|   0 |   0 | 296k| 530k|7622 | 0.000000e+00 | 1.000000e+00 |    Inf 
1038.21/1038.24	c  1007s|410000 |  1307 |  2390k|   5.8 |  58M| 105 |  20 |3649 |  50k|3649 | 960 | 303k| 546k|7701 | 0.000000e+00 | 1.000000e+00 |    Inf 
1069.41/1069.41	c  1037s|420000 |  1328 |  2452k|   5.8 |  59M| 105 |   - |3649 |  52k|   0 |   0 | 312k| 561k|7820 | 0.000000e+00 | 1.000000e+00 |    Inf 
1099.41/1099.43	c  1066s|430000 |  1298 |  2517k|   5.9 |  58M| 105 |   - |3649 |  49k|   0 |   0 | 321k| 576k|7890 | 0.000000e+00 | 1.000000e+00 |    Inf 
1128.01/1128.01	c  1094s|440000 |  1174 |  2577k|   5.9 |  54M| 105 |  13 |3649 |  41k|3649 | 971 | 329k| 590k|7982 | 0.000000e+00 | 1.000000e+00 |    Inf 
1154.41/1154.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1154.41/1154.49	c  1119s|450000 |  1236 |  2636k|   5.9 |  55M| 105 |   1 |3649 |  42k|3649 | 982 | 336k| 603k|8079 | 0.000000e+00 | 1.000000e+00 |    Inf 
1182.71/1182.70	c  1146s|460000 |  1237 |  2695k|   5.9 |  56M| 105 |  19 |3649 |  45k|3649 | 977 | 344k| 616k|8185 | 0.000000e+00 | 1.000000e+00 |    Inf 
1211.91/1211.92	c  1175s|470000 |  1044 |  2755k|   5.9 |  53M| 105 |  19 |3649 |  40k|3649 | 968 | 352k| 630k|8275 | 0.000000e+00 | 1.000000e+00 |    Inf 
1238.91/1238.98	c  1201s|480000 |  1080 |  2815k|   5.9 |  53M| 105 |   - |3649 |  41k|   0 |   0 | 360k| 644k|8345 | 0.000000e+00 | 1.000000e+00 |    Inf 
1267.91/1267.97	c  1229s|490000 |   895 |  2877k|   5.9 |  51M| 105 |  15 |3649 |  38k|3649 | 966 | 368k| 659k|8424 | 0.000000e+00 | 1.000000e+00 |    Inf 
1295.01/1295.04	c  1255s|500000 |   876 |  2938k|   5.9 |  50M| 105 |  14 |3649 |  39k|3649 | 960 | 376k| 673k|8507 | 0.000000e+00 | 1.000000e+00 |    Inf 
1322.51/1322.54	c  1282s|510000 |   635 |  2999k|   5.9 |  47M| 105 |   9 |3649 |  36k|3649 | 966 | 385k| 687k|8608 | 0.000000e+00 | 1.000000e+00 |    Inf 
1348.91/1348.98	c  1307s|520000 |   436 |  3056k|   5.9 |  41M| 105 |  22 |3649 |  26k|3649 | 960 | 394k| 700k|9174 | 0.000000e+00 | 1.000000e+00 |    Inf 
1372.01/1372.09	c  1330s|530000 |   491 |  3111k|   5.9 |  42M| 105 |   - |3649 |  30k|   0 |   0 | 401k| 714k|9223 | 0.000000e+00 | 1.000000e+00 |    Inf 
1396.01/1396.03	c  1353s|540000 |   502 |  3164k|   5.9 |  44M| 105 |   7 |3649 |  33k|3649 | 960 | 408k| 727k|9231 | 0.000000e+00 | 1.000000e+00 |    Inf 
1421.52/1421.53	c  1377s|550000 |   612 |  3217k|   5.9 |  46M| 105 |  23 |3649 |  37k|3649 | 960 | 417k| 741k|9242 | 0.000000e+00 | 1.000000e+00 |    Inf 
1448.52/1448.60	c  1404s|560000 |   745 |  3271k|   5.8 |  48M| 105 |   - |3649 |  41k|   0 |   0 | 425k| 754k|9311 | 0.000000e+00 | 1.000000e+00 |    Inf 
1477.51/1477.59	c  1432s|570000 |   851 |  3327k|   5.8 |  50M| 105 |  18 |3649 |  43k|3649 | 972 | 434k| 768k|9370 | 0.000000e+00 | 1.000000e+00 |    Inf 
1508.32/1508.33	c  1461s|580000 |   819 |  3382k|   5.8 |  50M| 105 |   - |3649 |  43k|   0 |   0 | 442k| 782k|9439 | 0.000000e+00 | 1.000000e+00 |    Inf 
1536.91/1536.93	c  1489s|590000 |   832 |  3437k|   5.8 |  51M| 105 |  19 |3649 |  44k|3649 | 974 | 449k| 795k|9502 | 0.000000e+00 | 1.000000e+00 |    Inf 
1566.72/1566.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1566.72/1566.80	c  1518s|600000 |   850 |  3494k|   5.8 |  52M| 105 |   5 |3649 |  47k|3649 | 960 | 457k| 810k|9575 | 0.000000e+00 | 1.000000e+00 |    Inf 
1597.02/1597.09	c  1548s|610000 |   877 |  3550k|   5.8 |  53M| 105 |  19 |3649 |  48k|3649 | 960 | 466k| 823k|9633 | 0.000000e+00 | 1.000000e+00 |    Inf 
1628.52/1628.57	c  1578s|620000 |   762 |  3602k|   5.8 |  51M| 105 |  11 |3649 |  44k|3649 | 960 | 474k| 837k|9699 | 0.000000e+00 | 1.000000e+00 |    Inf 
1656.32/1656.40	c  1605s|630000 |   573 |  3654k|   5.8 |  49M| 105 |   6 |3649 |  42k|3649 | 960 | 481k| 851k|9749 | 0.000000e+00 | 1.000000e+00 |    Inf 
1684.92/1684.92	c  1633s|640000 |   641 |  3711k|   5.8 |  51M| 105 |   9 |3649 |  46k|3649 | 968 | 491k| 864k|9838 | 0.000000e+00 | 1.000000e+00 |    Inf 
1715.72/1715.75	c  1662s|650000 |   612 |  3771k|   5.8 |  52M| 105 |   - |3649 |  48k|3649 | 976 | 501k| 878k|9909 | 0.000000e+00 | 1.000000e+00 |    Inf 
1744.32/1744.35	c  1690s|660000 |   531 |  3823k|   5.8 |  50M| 105 |   - |3649 |  45k|   0 |   0 | 509k| 892k|9958 | 0.000000e+00 | 1.000000e+00 |    Inf 
1773.02/1773.10	c  1718s|670000 |   659 |  3875k|   5.8 |  52M| 105 |   - |3649 |  49k|   0 |   0 | 517k| 906k|  10k| 0.000000e+00 | 1.000000e+00 |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01	c 
1800.03/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.01	c Solving Time (sec) : 1744.09
1800.03/1800.01	c Solving Nodes      : 678356
1800.03/1800.01	c Primal Bound       : +1.00000000000000e+00 (164 solutions)
1800.03/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.01	c Gap                : infinite
1800.03/1800.04	s SATISFIABLE
1800.03/1800.04	v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
1800.03/1800.04	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
1800.03/1800.04	v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
1800.03/1800.04	v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 
1800.03/1800.04	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 
1800.03/1800.04	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 
1800.03/1800.04	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.03/1800.04	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.03/1800.04	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.03/1800.04	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.03/1800.04	v -x1 
1800.03/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.04	c Solving Time       :    1744.09
1800.03/1800.04	c Original Problem   :
1800.03/1800.04	c   Problem name     : HOME/instance-2692871-1277908004.wbo
1800.03/1800.04	c   Variables        : 3801 (2016 binary, 0 integer, 0 implicit integer, 1785 continuous)
1800.03/1800.04	c   Constraints      : 4493 initial, 4493 maximal
1800.03/1800.04	c Presolved Problem  :
1800.03/1800.04	c   Problem name     : t_HOME/instance-2692871-1277908004.wbo
1800.03/1800.04	c   Variables        : 3649 (1940 binary, 0 integer, 0 implicit integer, 1709 continuous)
1800.03/1800.04	c   Constraints      : 4298 initial, 54284 maximal
1800.03/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.04	c   trivial          :       0.00         76          0          0          0          0          0          0          0
1800.03/1800.04	c   dualfix          :       0.01         76          0          0          0          0          0          0          0
1800.03/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.04	c   probing          :       0.05          0          0          0          0          0          0          0          0
1800.03/1800.04	c   indicator        :       0.01          0          0          0          0          0         76          0          0
1800.03/1800.04	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.04	c   linear           :       0.03          0          0          0       1809          0        119         96          0
1800.03/1800.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.04	c   root node        :          -       1709          -          -       3418          -          -          -          -
1800.03/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.04	c   integral         :          0          0          0     469627          0         23        828          0          0     753248
1800.03/1800.04	c   indicator        :       1709          0     825760      35504          0         20     400207          0          0          0
1800.03/1800.04	c   setppc           :         11          6    3045893      88737          0      23850    1733588          0          0          0
1800.03/1800.04	c   linear           :       1709          6    3029916      92303          0     216134   15351644     525188          0          0
1800.03/1800.04	c   logicor          :        869+         6    1485622      12622          0      98825    3693594          0          0          0
1800.03/1800.04	c   bounddisjunction :          0+         0       6545          0          0          0          0          0          0          0
1800.03/1800.04	c   countsols        :          0          0          0      12622          0          0          0          0          0          0
1800.03/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.04	c   integral         :      24.19       0.00       0.00      24.19       0.00
1800.03/1800.04	c   indicator        :       3.34       0.00       1.33       2.01       0.00
1800.03/1800.04	c   setppc           :      13.47       0.00      13.46       0.01       0.00
1800.03/1800.04	c   linear           :     128.11       0.02     124.72       3.37       0.00
1800.03/1800.04	c   logicor          :     369.64       0.00     369.57       0.07       0.00
1800.03/1800.04	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.04	c   vbounds          :       0.01          2          0          0
1800.03/1800.04	c   rootredcost      :       0.00         53          0       1709
1800.03/1800.04	c   pseudoobj        :      94.37    3054153        386     236575
1800.03/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.04	c   propagation      :      16.92     339195     338668    2185023       27.9       8586       25.6          -
1800.03/1800.04	c   infeasible LP    :       8.75      32218      32217     262318       43.9        219       21.0          0
1800.03/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.04	c   pseudo solution  :       0.00         42         42        261       17.5         32        5.6          -
1800.03/1800.04	c   applied globally :          -          -          -     918530       23.8          -          -          -
1800.03/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.04	c   cut pool         :       0.00          4          -          -         14          -    (maximal pool size: 84)
1800.03/1800.04	c   redcost          :      21.16     470531          0     146551          0          0
1800.03/1800.04	c   impliedbounds    :       0.00          5          0          0          0          0
1800.03/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.04	c   gomory           :       0.11          5          0          0        576          0
1800.03/1800.04	c   strongcg         :       0.06          5          0          0          0          0
1800.03/1800.04	c   cmir             :       0.04          5          0          0          0          0
1800.03/1800.04	c   flowcover        :       0.04          5          0          0          0          0
1800.03/1800.04	c   clique           :       0.00          5          0          0          0          0
1800.03/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.04	c   mcf              :       0.00          1          0          0          0          0
1800.03/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.04	c Pricers            :       Time      Calls       Vars
1800.03/1800.04	c   problem variables:       0.00          0          0
1800.03/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.04	c   relpscost        :      24.04     377282         23        828          0          0     753248
1800.03/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.04	c   inference        :       1.68      12571          0          0          0          0      25142
1800.03/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.04	c   LP solutions     :       0.05          -         51
1800.03/1800.04	c   pseudo solutions :       0.00          -          0
1800.03/1800.04	c   feaspump         :       0.01          0          0
1800.03/1800.04	c   oneopt           :       0.17         46          0
1800.03/1800.04	c   intshifting      :       0.01          9          0
1800.03/1800.04	c   crossover        :       0.73         33          0
1800.03/1800.04	c   pscostdiving     :       0.88        712          0
1800.03/1800.04	c   fracdiving       :       0.77        712          1
1800.03/1800.04	c   coefdiving       :       0.84        712          0
1800.03/1800.04	c   veclendiving     :       0.72        712          0
1800.03/1800.04	c   linesearchdiving :       0.59        712          0
1800.03/1800.04	c   guideddiving     :       0.56        712          0
1800.03/1800.04	c   rootsoldiving    :       0.56        521          0
1800.03/1800.04	c   objpscostdiving  :       0.45        521          0
1800.03/1800.04	c   trivial          :       0.00          2          0
1800.03/1800.04	c   simplerounding   :       0.47     377291          0
1800.03/1800.04	c   zirounding       :       0.16       1000          0
1800.03/1800.04	c   rounding         :       1.06       8694          0
1800.03/1800.04	c   shifting         :       0.94       2730          0
1800.03/1800.04	c   twoopt           :       0.00          0          0
1800.03/1800.04	c   fixandinfer      :       0.00          0          0
1800.03/1800.04	c   intdiving        :       0.00          0          0
1800.03/1800.04	c   actconsdiving    :       0.00          0          0
1800.03/1800.04	c   octane           :       0.00          0          0
1800.03/1800.04	c   rens             :       0.02          1          0
1800.03/1800.04	c   rins             :       0.00          0          0
1800.03/1800.04	c   localbranching   :       0.00          0          0
1800.03/1800.04	c   mutation         :       0.00          0          0
1800.03/1800.04	c   dins             :       0.00          0          0
1800.03/1800.04	c   undercover       :       0.00          0          0
1800.03/1800.04	c   nlp              :       0.00          0          0
1800.03/1800.04	c   trysol           :       0.48       3154        112
1800.03/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.04	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.04	c   dual LP          :     516.81     489955    3922761       8.01    7590.33
1800.03/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.04	c   diving/probing LP:       0.25        197       1444       7.33    5776.00
1800.03/1800.04	c   strong branching :      20.12      10071     124822      12.39    6203.88
1800.03/1800.04	c     (at root node) :          -         33       1769      53.61          -
1800.03/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.04	c B&B Tree           :
1800.03/1800.04	c   number of runs   :          1
1800.03/1800.04	c   nodes            :     678356
1800.03/1800.04	c   nodes (total)    :     678356
1800.03/1800.04	c   nodes left       :        857
1800.03/1800.04	c   max depth        :        105
1800.03/1800.04	c   max depth (total):        105
1800.03/1800.04	c   backtracks       :     102439 (15.1%)
1800.03/1800.04	c   delayed cutoffs  :      84632
1800.03/1800.04	c   repropagations   :    1080819 (5068415 domain reductions, 82254 cutoffs)
1800.03/1800.04	c   avg switch length:       4.73
1800.03/1800.04	c   switching time   :     298.59
1800.03/1800.04	c Solution           :
1800.03/1800.04	c   Solutions found  :        164 (53 improvements)
1800.03/1800.04	c   First Solution   : +8.39620000000000e+04   (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.03/1800.04	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 190161 nodes, 421.17 seconds, depth 38, found by <relaxation>)
1800.03/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.04	c   Gap              :   infinite
1800.03/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.04	c   Root Iterations  :        186
1800.13/1800.13	c Time complete: 1800.15.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692871-1277908004/watcher-2692871-1277908004 -o /tmp/evaluation-result-2692871-1277908004/solver-2692871-1277908004 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692871-1277908004.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.05 3/196 24608
/proc/meminfo: memFree=31228492/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=9292 CPUtime=0
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 1646 0 0 0 0 0 0 0 25 0 1 0 166403905 9515008 1565 4089446400 4194304 8223781 140735018650256 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24608/statm: 2323 1565 369 984 0 1336 0

[startup+0.074705 s]
/proc/loadavg: 2.00 2.00 2.05 3/196 24608
/proc/meminfo: memFree=31228492/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=29192 CPUtime=0.06
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 7205 0 0 0 5 1 0 0 25 0 1 0 166403905 29892608 6246 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 7298 6246 446 984 0 6311 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29192

[startup+0.100695 s]
/proc/loadavg: 2.00 2.00 2.05 3/196 24608
/proc/meminfo: memFree=31228492/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=29192 CPUtime=0.09
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 7731 0 0 0 7 2 0 0 25 0 1 0 166403905 29892608 6258 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 7298 6258 452 984 0 6311 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29192

[startup+0.300587 s]
/proc/loadavg: 2.00 2.00 2.05 3/196 24608
/proc/meminfo: memFree=31228492/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=35616 CPUtime=0.29
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 11540 0 0 0 25 4 0 0 25 0 1 0 166403905 36470784 7985 4089446400 4194304 8223781 140735018650256 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24608/statm: 8904 7985 570 984 0 7917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35616

[startup+0.700511 s]
/proc/loadavg: 2.00 2.00 2.05 3/196 24608
/proc/meminfo: memFree=31228492/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=36252 CPUtime=0.68
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 18923 0 0 0 62 6 0 0 25 0 1 0 166403905 37122048 8137 4089446400 4194304 8223781 140735018650256 18446744073709551615 6571186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24608/statm: 9063 8137 587 984 0 8076 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 36252

[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.05 3/197 24609
/proc/meminfo: memFree=31197380/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=36252 CPUtime=1.48
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 18989 0 0 0 138 10 0 0 25 0 1 0 166403905 37122048 8138 4089446400 4194304 8223781 140735018650256 18446744073709551615 6328693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24608/statm: 9063 8138 588 984 0 8076 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36252

[startup+3.10114 s]
/proc/loadavg: 2.00 2.00 2.05 3/197 24609
/proc/meminfo: memFree=31196884/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=37332 CPUtime=3.08
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 19244 0 0 0 292 16 0 0 25 0 1 0 166403905 38227968 8352 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 9333 8352 589 984 0 8346 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 37332

[startup+6.30056 s]
/proc/loadavg: 2.00 2.00 2.05 3/197 24609
/proc/meminfo: memFree=31190444/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=46248 CPUtime=6.28
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 32985 0 0 0 598 30 0 0 25 0 1 0 166403905 47357952 10394 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 11562 10394 591 984 0 10575 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 46248

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.05 3/197 24609
/proc/meminfo: memFree=31181288/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=51396 CPUtime=12.69
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 47340 0 0 0 1214 55 0 0 25 0 1 0 166403905 52629504 11766 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 12849 11766 595 984 0 11862 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51396

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.05 3/197 24610
/proc/meminfo: memFree=31160760/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=66008 CPUtime=25.49
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 100057 0 0 0 2445 104 0 0 25 0 1 0 166403905 67592192 15462 4089446400 4194304 8223781 140735018650256 18446744073709551615 4561383 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 16502 15462 596 984 0 15515 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66008

[startup+51.1002 s]
/proc/loadavg: 2.44 2.11 2.08 3/197 24610
/proc/meminfo: memFree=31131756/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=85532 CPUtime=51.08
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 171459 0 0 0 4900 208 0 0 25 0 1 0 166403905 87584768 20357 4089446400 4194304 8223781 140735018650256 18446744073709551615 6446805 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 21383 20357 606 984 0 20396 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85532

[startup+102.307 s]
/proc/loadavg: 2.19 2.09 2.08 3/197 24612
/proc/meminfo: memFree=31099736/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=90540 CPUtime=102.29
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 217265 0 0 0 9830 399 0 0 25 0 1 0 166403905 92712960 21607 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 22635 21607 606 984 0 21648 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 90540

[startup+162.301 s]
/proc/loadavg: 2.07 2.07 2.07 3/197 24613
/proc/meminfo: memFree=31076144/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=93952 CPUtime=162.28
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 231656 0 0 0 15576 652 0 0 25 0 1 0 166403905 96206848 22400 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 23488 22400 606 984 0 22501 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 93952

[startup+222.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/197 24615
/proc/meminfo: memFree=31044604/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=97708 CPUtime=222.29
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 235640 0 0 0 21364 865 0 0 25 0 1 0 166403905 100052992 23242 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 24427 23242 606 984 0 23440 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 97708

[startup+282.3 s]
/proc/loadavg: 2.04 2.06 2.06 3/197 24616
/proc/meminfo: memFree=31014044/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=100864 CPUtime=282.28
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 237797 0 0 0 27187 1041 0 0 25 0 1 0 166403905 103284736 24006 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 25216 24006 606 984 0 24229 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 100864

[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.06 3/197 24618
/proc/meminfo: memFree=30987740/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=103580 CPUtime=342.29
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 248837 0 0 0 33000 1229 0 0 25 0 1 0 166403905 106065920 24501 4089446400 4194304 8223781 140735018650256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 25895 24501 606 984 0 24908 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 103580

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.05 3/197 24620
/proc/meminfo: memFree=30973452/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=105372 CPUtime=402.29
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 256986 0 0 0 38772 1457 0 0 25 0 1 0 166403905 107900928 24923 4089446400 4194304 8223781 140735018650256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 26343 24923 606 984 0 25356 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 105372

[startup+462.301 s]
/proc/loadavg: 2.20 2.07 2.06 3/197 24621
/proc/meminfo: memFree=30935976/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=106776 CPUtime=462.29
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 293667 0 0 0 44543 1686 0 0 25 0 1 0 166403905 109338624 25248 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 26694 25248 606 984 0 25707 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 106776

[startup+522.301 s]
/proc/loadavg: 2.07 2.06 2.06 3/197 24623
/proc/meminfo: memFree=30917096/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=111148 CPUtime=522.29
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 300645 0 0 0 50393 1836 0 0 25 0 1 0 166403905 113815552 26287 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 27787 26287 606 984 0 26800 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 111148

[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.05 3/197 24624
/proc/meminfo: memFree=30907012/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=113124 CPUtime=582.3
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 310649 0 0 0 56238 1992 0 0 25 0 1 0 166403905 115838976 26789 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 28281 26789 606 984 0 27294 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 113124

[startup+642.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/197 24626
/proc/meminfo: memFree=30905984/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=113980 CPUtime=642.3
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 322081 0 0 0 62086 2144 0 0 25 0 1 0 166403905 116715520 27024 4089446400 4194304 8223781 140735018650256 18446744073709551615 4431714 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 28495 27024 606 984 0 27508 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 113980

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.02 3/197 24632
/proc/meminfo: memFree=30898652/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=120976 CPUtime=882.3
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 340070 0 0 0 85499 2731 0 0 25 0 1 0 166403905 123879424 28652 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 30244 28652 606 984 0 29257 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 120976

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/197 24634
/proc/meminfo: memFree=30894612/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=125488 CPUtime=942.3
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 344027 0 0 0 91329 2901 0 0 25 0 1 0 166403905 128499712 29727 4089446400 4194304 8223781 140735018650256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 31372 29727 606 984 0 30385 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 125488

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/197 24636
/proc/meminfo: memFree=30878084/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=126548 CPUtime=1002.31
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 352392 0 0 0 97180 3051 0 0 25 0 1 0 166403905 129585152 30013 4089446400 4194304 8223781 140735018650256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 31637 30013 606 984 0 30650 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 126548

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.01 3/197 24637
/proc/meminfo: memFree=30849764/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=127172 CPUtime=1062.31
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 361805 0 0 0 102995 3236 0 0 25 0 1 0 166403905 130224128 30173 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 31793 30173 606 984 0 30806 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 127172

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 24639
/proc/meminfo: memFree=30836560/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=127520 CPUtime=1122.31
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 389049 0 0 0 108802 3429 0 0 25 0 1 0 166403905 130580480 30283 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 31880 30283 606 984 0 30893 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 127520

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 24640
/proc/meminfo: memFree=30830200/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=127616 CPUtime=1182.31
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 410852 0 0 0 114599 3632 0 0 25 0 1 0 166403905 130678784 30314 4089446400 4194304 8223781 140735018650256 18446744073709551615 4210013 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 31904 30314 606 984 0 30917 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 127616

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 24642
/proc/meminfo: memFree=30807736/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=128276 CPUtime=1242.31
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 434429 0 0 0 120392 3839 0 0 25 0 1 0 166403905 131354624 30388 4089446400 4194304 8223781 140735018650256 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 32069 30388 606 984 0 31082 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 128276

[startup+1302.3 s]
/proc/loadavg: 2.34 2.12 2.04 3/197 24644
/proc/meminfo: memFree=30784248/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=128344 CPUtime=1302.32
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 460452 0 0 0 126199 4033 0 0 25 0 1 0 166403905 131424256 30397 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 32086 30397 606 984 0 31099 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 128344

[startup+1362.3 s]
/proc/loadavg: 2.35 2.19 2.07 3/197 24645
/proc/meminfo: memFree=30763380/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=128688 CPUtime=1362.31
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 487935 0 0 0 132033 4198 0 0 25 0 1 0 166403905 131776512 30467 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 32172 30467 606 984 0 31185 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 128688

[startup+1422.31 s]
/proc/loadavg: 2.13 2.15 2.06 3/197 24647
/proc/meminfo: memFree=30741384/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=128684 CPUtime=1422.32
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 506823 0 0 0 137818 4414 0 0 25 0 1 0 166403905 131772416 30467 4089446400 4194304 8223781 140735018650256 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24608/statm: 32171 30467 606 984 0 31184 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 128684

[startup+1482.3 s]
/proc/loadavg: 2.04 2.12 2.06 3/197 24648
/proc/meminfo: memFree=30718904/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=128664 CPUtime=1482.32
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 524787 0 0 0 143624 4608 0 0 25 0 1 0 166403905 131751936 30518 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 32166 30519 606 984 0 31179 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 128664

[startup+1542.3 s]
/proc/loadavg: 2.42 2.19 2.08 3/179 24680
/proc/meminfo: memFree=31363076/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=128688 CPUtime=1542.32
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 545080 0 0 0 149441 4791 0 0 25 0 1 0 166403905 131776512 30523 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 32172 30523 606 984 0 31185 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 128688

[startup+1602.3 s]
/proc/loadavg: 2.15 2.16 2.08 3/179 24682
/proc/meminfo: memFree=31211612/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=128656 CPUtime=1602.32
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 566844 0 0 0 155257 4975 0 0 25 0 1 0 166403905 131743744 30521 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 32164 30521 606 984 0 31177 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 128656

[startup+1662.3 s]
/proc/loadavg: 2.09 2.14 2.08 3/179 24683
/proc/meminfo: memFree=31117576/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=128636 CPUtime=1662.33
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 589213 0 0 0 161070 5163 0 0 25 0 1 0 166403905 131723264 30520 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 32159 30520 606 984 0 31172 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 128636

[startup+1722.3 s]
/proc/loadavg: 2.03 2.11 2.07 3/179 24685
/proc/meminfo: memFree=31010516/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=128688 CPUtime=1722.33
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 611057 0 0 0 166877 5356 0 0 25 0 1 0 166403905 131776512 30530 4089446400 4194304 8223781 140735018650256 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 32172 30530 606 984 0 31185 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 128688

[startup+1782.3 s]
/proc/loadavg: 2.01 2.09 2.07 3/179 24686
/proc/meminfo: memFree=30877772/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=129736 CPUtime=1782.33
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 630869 0 0 0 172689 5544 0 0 25 0 1 0 166403905 132849664 30796 4089446400 4194304 8223781 140735018650256 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 32434 30796 606 984 0 31447 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 129736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.08 2.07 3/179 24687
/proc/meminfo: memFree=30877516/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=129688 CPUtime=1800.03
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 637149 0 0 0 174410 5593 0 0 25 0 1 0 166403905 132800512 30799 4089446400 4194304 8223781 140735018650256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24608/statm: 32422 30799 606 984 0 31435 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 129688

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.01 2.08 2.07 3/179 24687
/proc/meminfo: memFree=30877516/32950928 swapFree=67111528/67111528
[pid=24608] ppid=24606 vsize=126816 CPUtime=1800.13
/proc/24608/stat : 24608 (pbscip.linux.x8) R 24606 24608 22951 0 -1 4202496 637209 0 0 0 174420 5593 0 0 18 0 1 0 166403905 129859584 30090 4089446400 4194304 8223781 140735018650256 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24608/statm: 31704 30090 608 984 0 30717 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 126816

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.23
system time used= 55.9385
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 7290

runsolver used 3.11553 second user time and 6.73098 second system time

The end

Launcher Data 

Begin job on node113 at 2010-06-30 16:26:44
IDJOB=2692871
IDBENCH=78954
IDSOLVER=1204
FILE ID=node113/2692871-1277908004
PBS_JOBID= 11197153
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.1900550006--soft-33-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-2692871-1277908004/watcher-2692871-1277908004 -o /tmp/evaluation-result-2692871-1277908004/solver-2692871-1277908004 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692871-1277908004.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 12371feb76f2c231a6dc5b657286b6d5
RANDOM SEED=940880594

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31229268 kB
Buffers:        191508 kB
Cached:        1033380 kB
SwapCached:          0 kB
Active:         891688 kB
Inactive:       686488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31229268 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4728 kB
Writeback:           0 kB
AnonPages:      353336 kB
Mapped:          20360 kB
Slab:            78796 kB
PageTables:       6048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1655060 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 node113 at 2010-06-30 16:56:46