Trace number 2692308

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.25 1800.2

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-33-100-0.wbo
MD5SUMd8302a34385139d2b71dca1f77dee50d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark510.762
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 constraints1802
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 91108
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91107
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 739
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-2692308-1277912131.wbo>
0.00/0.03	c original problem has 3835 variables (2033 bin, 0 int, 0 impl, 1802 cont) and 4510 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.04/0.05	c presolving:
0.04/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.04/0.09	c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.04/0.09	c (round 3) 53 del vars, 138 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.09/0.11	c (round 4) 114 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.12	c (round 5) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.17	c    (0.1s) probing: 101/1972 (5.1%) - 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  122 deleted vars, 146 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.17	c  1950 implications, 9 cliques
0.09/0.17	c presolved problem has 3713 variables (1972 bin, 0 int, 0 impl, 1741 cont) and 4364 constraints
0.09/0.17	c    1741 constraints of type <indicator>
0.09/0.17	c       9 constraints of type <setppc>
0.09/0.17	c    1741 constraints of type <linear>
0.09/0.17	c     873 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 |    15 |     - |  13M|   0 |   0 |3713 |4364 |3713 | 882 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.18	c   0.1s|     1 |     0 |    64 |     - |  13M|   0 |  28 |3713 |4364 |3713 | 901 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.18	o 87754
0.09/0.18	c y 0.1s|     1 |     0 |    64 |     - |  13M|   0 |  28 |3713 |4364 |3713 | 901 |  19 |   0 |   0 | 0.000000e+00 | 8.775400e+04 |    Inf 
0.19/0.22	c   0.2s|     1 |     0 |    88 |     - |  14M|   0 |  34 |3713 |4364 |3713 | 920 |  38 |   0 |   0 | 0.000000e+00 | 8.775400e+04 |    Inf 
0.19/0.27	c   0.2s|     1 |     0 |   140 |     - |  14M|   0 |  42 |3713 |4364 |3713 | 932 |  50 |   0 |   0 | 0.000000e+00 | 8.775400e+04 |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |   152 |     - |  14M|   0 |  44 |3713 |4364 |3713 | 935 |  53 |   0 |   0 | 0.000000e+00 | 8.775400e+04 |    Inf 
0.39/0.40	c   0.3s|     1 |     0 |   168 |     - |  14M|   0 |  45 |3713 |4364 |3713 | 942 |  60 |   0 |   0 | 0.000000e+00 | 8.775400e+04 |    Inf 
0.39/0.47	c   0.4s|     1 |     0 |   174 |     - |  14M|   0 |  44 |3713 |4364 |3713 | 943 |  61 |   0 |   0 | 0.000000e+00 | 8.775400e+04 |    Inf 
0.69/0.79	c   0.7s|     1 |     2 |   174 |     - |  14M|   0 |  44 |3713 |4364 |3713 | 943 |  61 |   0 |  33 | 0.000000e+00 | 8.775400e+04 |    Inf 
3.20/3.27	o 921
3.20/3.27	c * 3.2s|  1514 |  1199 |   714 |   0.4 |  17M|1513 |   - |3713 |4364 |3713 | 981 | 101 |   0 | 150 | 0.000000e+00 | 9.210000e+02 |    Inf 
7.79/7.83	o 218
7.79/7.83	c * 7.7s|  4071 |   971 |  4089 |   1.0 |  18M|1513 |   - |3713 |4402 |3713 | 959 | 317 |  38 | 705 | 0.000000e+00 | 2.180000e+02 |    Inf 
7.89/7.96	o 214
7.89/7.96	c * 7.8s|  4085 |   972 |  4337 |   1.0 |  19M|1513 |   - |3713 |4419 |3713 | 967 | 331 |  55 | 739 | 0.000000e+00 | 2.140000e+02 |    Inf 
9.19/9.22	o 164
9.19/9.22	c * 9.0s|  4678 |  1118 |  6698 |   1.4 |  20M|1513 |   - |3713 |4729 |3713 | 966 | 436 | 365 | 839 | 0.000000e+00 | 1.640000e+02 |    Inf 
9.29/9.31	o 163
9.29/9.31	c * 9.1s|  4693 |  1123 |  6892 |   1.4 |  20M|1513 |   - |3713 |4740 |3713 | 953 | 436 | 376 | 852 | 0.000000e+00 | 1.630000e+02 |    Inf 
9.29/9.31	o 139
9.29/9.31	c * 9.1s|  4694 |  1018 |  6892 |   1.4 |  20M|1513 |   - |3713 |4740 |3713 | 953 | 436 | 376 | 852 | 0.000000e+00 | 1.390000e+02 |    Inf 
10.20/10.29	o 126
10.20/10.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.20/10.29	c *10.1s|  5124 |  1261 |  8568 |   1.6 |  21M|1513 |   - |3713 |4974 |3713 | 955 | 494 | 610 | 926 | 0.000000e+00 | 1.260000e+02 |    Inf 
10.40/10.41	o 74
10.40/10.41	c *10.2s|  5141 |   727 |  9072 |   1.7 |  21M|1513 |   - |3713 |5002 |3713 | 971 | 522 | 638 | 932 | 0.000000e+00 | 7.400000e+01 |    Inf 
10.40/10.42	o 50
10.40/10.42	c *10.2s|  5142 |   488 |  9073 |   1.7 |  20M|1513 |   - |3713 |5002 |3713 | 971 | 523 | 638 | 932 | 0.000000e+00 | 5.000000e+01 |    Inf 
19.39/19.43	o 48
19.39/19.43	c *19.1s|  8452 |   544 | 20956 |   2.5 |  23M|1513 |   - |3713 |5449 |3713 | 947 |1350 |4671 |1673 | 0.000000e+00 | 4.800000e+01 |    Inf 
22.79/22.88	c  22.5s| 10000 |   619 | 27388 |   2.7 |  24M|1513 |   - |3713 |5529 |   0 |   0 |1664 |6566 |1788 | 0.000000e+00 | 4.800000e+01 |    Inf 
43.29/43.33	c  42.6s| 20000 |  1105 | 69167 |   3.4 |  31M|1513 |   - |3713 |6788 |   0 |   0 |4842 |  18k|1838 | 0.000000e+00 | 4.800000e+01 |    Inf 
63.19/63.27	c  62.3s| 30000 |  1377 |106723 |   3.6 |  38M|1513 |   1 |3713 |8098 |3713 | 955 |7512 |  30k|1838 | 0.000000e+00 | 4.800000e+01 |    Inf 
72.70/72.72	o 45
72.70/72.72	c *71.6s| 34956 |  1522 |121190 |   3.5 |  40M|1513 |   - |3713 |8824 |3713 | 961 |8295 |  36k|1838 | 0.000000e+00 | 4.500000e+01 |    Inf 
82.59/82.60	c  81.3s| 40000 |  1705 |136767 |   3.4 |  43M|1513 |   - |3713 |8032 |   0 |   0 |9672 |  42k|1862 | 0.000000e+00 | 4.500000e+01 |    Inf 
84.29/84.34	o 43
84.29/84.34	c *83.1s| 40960 |  1709 |139209 |   3.4 |  43M|1513 |   - |3713 |8341 |3713 | 945 |9797 |  44k|1863 | 0.000000e+00 | 4.300000e+01 |    Inf 
84.29/84.38	o 36
84.29/84.38	c *83.1s| 40976 |  1564 |139246 |   3.4 |  39M|1513 |   - |3713 |8235 |3713 | 945 |9797 |  44k|1863 | 0.000000e+00 | 3.600000e+01 |    Inf 
102.59/102.68	c   101s| 50000 |  1737 |176577 |   3.5 |  43M|1513 |  18 |3713 |7363 |3713 | 953 |  12k|  55k|2044 | 0.000000e+00 | 3.600000e+01 |    Inf 
122.10/122.11	c   120s| 60000 |  1944 |213452 |   3.6 |  48M|1513 |   - |3713 |8006 |   0 |   0 |  15k|  68k|2259 | 0.000000e+00 | 3.600000e+01 |    Inf 
142.80/142.83	c   141s| 70000 |  2217 |255453 |   3.6 |  54M|1513 |   9 |3713 |8776 |3713 | 951 |  19k|  81k|2458 | 0.000000e+00 | 3.600000e+01 |    Inf 
162.19/162.29	c   160s| 80000 |  2385 |290147 |   3.6 |  59M|1513 |   - |3713 |  10k|   0 |   0 |  21k|  93k|2640 | 0.000000e+00 | 3.600000e+01 |    Inf 
180.89/180.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
180.89/180.95	c   178s| 90000 |  2519 |318126 |   3.5 |  63M|1513 |   1 |3713 |  11k|3713 | 962 |  23k| 106k|2768 | 0.000000e+00 | 3.600000e+01 |    Inf 
194.60/194.68	o 17
194.60/194.68	c * 192s| 96909 |  2103 |343513 |   3.5 |  51M|1513 |   - |3713 |8995 |3713 | 958 |  25k| 115k|2858 | 0.000000e+00 | 1.700000e+01 |    Inf 
200.21/200.23	c   197s|100000 |  2099 |356115 |   3.6 |  52M|1513 |  20 |3713 |7974 |3713 | 953 |  26k| 119k|2934 | 0.000000e+00 | 1.700000e+01 |    Inf 
218.70/218.73	c   216s|110000 |  2214 |400377 |   3.6 |  54M|1513 |   - |3713 |9717 |   0 |   0 |  30k| 132k|3107 | 0.000000e+00 | 1.700000e+01 |    Inf 
236.19/236.27	c   233s|120000 |  2281 |436243 |   3.6 |  57M|1513 |   - |3713 |  11k|   0 |   0 |  32k| 145k|3288 | 0.000000e+00 | 1.700000e+01 |    Inf 
254.50/254.59	c   251s|130000 |  2313 |476103 |   3.7 |  58M|1513 |   - |3713 |  10k|   0 |   0 |  35k| 158k|3437 | 0.000000e+00 | 1.700000e+01 |    Inf 
260.40/260.44	o 16
260.40/260.44	c * 257s|133066 |  2220 |490204 |   3.7 |  56M|1513 |   - |3713 |  12k|3713 | 958 |  37k| 162k|3474 | 0.000000e+00 | 1.600000e+01 |    Inf 
273.69/273.79	c   270s|140000 |  2259 |520677 |   3.7 |  56M|1513 |   9 |3713 |9672 |3713 | 949 |  41k| 171k|3584 | 0.000000e+00 | 1.600000e+01 |    Inf 
292.40/292.48	c   288s|150000 |  2324 |564028 |   3.8 |  58M|1513 |   - |3713 |  10k|   0 |   0 |  46k| 184k|3739 | 0.000000e+00 | 1.600000e+01 |    Inf 
311.40/311.45	c   307s|160000 |  2476 |608554 |   3.8 |  61M|1513 |  17 |3713 |  12k|3713 | 941 |  51k| 198k|3908 | 0.000000e+00 | 1.600000e+01 |    Inf 
333.10/333.18	c   328s|170000 |  2794 |668179 |   3.9 |  65M|1513 |   - |3713 |  13k|   0 |   0 |  60k| 211k|4087 | 0.000000e+00 | 1.600000e+01 |    Inf 
354.20/354.21	c   349s|180000 |  2860 |720413 |   4.0 |  67M|1513 |  10 |3713 |  14k|3713 | 961 |  68k| 224k|4246 | 0.000000e+00 | 1.600000e+01 |    Inf 
375.11/375.16	c   370s|190000 |  2832 |772614 |   4.1 |  68M|1513 |   - |3713 |  13k|   0 |   0 |  76k| 237k|4420 | 0.000000e+00 | 1.600000e+01 |    Inf 
396.90/396.93	c   391s|200000 |  2870 |827888 |   4.1 |  69M|1513 |   9 |3713 |  13k|3713 | 951 |  84k| 251k|4593 | 0.000000e+00 | 1.600000e+01 |    Inf 
417.81/417.88	c   412s|210000 |  2742 |877687 |   4.2 |  69M|1513 |   - |3713 |  14k|   0 |   0 |  91k| 264k|4738 | 0.000000e+00 | 1.600000e+01 |    Inf 
438.40/438.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
438.40/438.44	c   432s|220000 |  2691 |924321 |   4.2 |  69M|1513 |  23 |3713 |  15k|3713 | 949 |  96k| 278k|4884 | 0.000000e+00 | 1.600000e+01 |    Inf 
459.21/459.23	c   453s|230000 |  2718 |973802 |   4.2 |  70M|1513 |   - |3713 |  14k|   0 |   0 | 102k| 291k|4997 | 0.000000e+00 | 1.600000e+01 |    Inf 
478.21/478.28	c   471s|240000 |  2710 |  1012k|   4.2 |  71M|1513 |   7 |3713 |  15k|3713 | 948 | 105k| 304k|5105 | 0.000000e+00 | 1.600000e+01 |    Inf 
498.60/498.68	c   492s|250000 |  2645 |  1057k|   4.2 |  71M|1513 |   - |3713 |  14k|   0 |   0 | 108k| 317k|5244 | 0.000000e+00 | 1.600000e+01 |    Inf 
519.61/519.60	c   512s|260000 |  2590 |  1104k|   4.2 |  72M|1513 |   - |3713 |  16k|   0 |   0 | 113k| 331k|5342 | 0.000000e+00 | 1.600000e+01 |    Inf 
541.21/541.29	c   534s|270000 |  2446 |  1154k|   4.3 |  71M|1513 |   - |3713 |  14k|   0 |   0 | 118k| 344k|5459 | 0.000000e+00 | 1.600000e+01 |    Inf 
559.50/559.59	c   552s|280000 |  2472 |  1188k|   4.2 |  72M|1513 |   - |3713 |  16k|   0 |   0 | 119k| 358k|5531 | 0.000000e+00 | 1.600000e+01 |    Inf 
578.21/578.29	c   570s|290000 |  2499 |  1222k|   4.2 |  73M|1513 |  14 |3713 |  17k|3713 | 946 | 121k| 372k|5606 | 0.000000e+00 | 1.600000e+01 |    Inf 
597.21/597.25	c   589s|300000 |  2606 |  1255k|   4.2 |  75M|1513 |   9 |3713 |  20k|3713 | 946 | 122k| 385k|5668 | 0.000000e+00 | 1.600000e+01 |    Inf 
616.71/616.71	c   608s|310000 |  2659 |  1289k|   4.2 |  77M|1513 |   - |3713 |  22k|   0 |   0 | 124k| 399k|5749 | 0.000000e+00 | 1.600000e+01 |    Inf 
636.11/636.13	c   627s|320000 |  2683 |  1321k|   4.1 |  79M|1513 |   5 |3713 |  22k|3713 | 946 | 125k| 413k|5814 | 0.000000e+00 | 1.600000e+01 |    Inf 
656.51/656.50	c   647s|330000 |  2691 |  1356k|   4.1 |  79M|1513 |  11 |3713 |  21k|3713 | 946 | 126k| 427k|5884 | 0.000000e+00 | 1.600000e+01 |    Inf 
676.71/676.74	c   667s|340000 |  2723 |  1387k|   4.1 |  79M|1513 |   - |3713 |  19k|   0 |   0 | 128k| 441k|6018 | 0.000000e+00 | 1.600000e+01 |    Inf 
695.41/695.48	c   686s|350000 |  2702 |  1415k|   4.0 |  80M|1513 |   - |3713 |  20k|   0 |   0 | 129k| 454k|6069 | 0.000000e+00 | 1.600000e+01 |    Inf 
716.21/716.23	c   706s|360000 |  2701 |  1448k|   4.0 |  81M|1513 |   1 |3713 |  21k|3713 | 954 | 131k| 468k|6120 | 0.000000e+00 | 1.600000e+01 |    Inf 
718.21/718.23	o 13
718.21/718.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
718.21/718.23	c * 708s|361031 |  2557 |  1451k|   4.0 |  77M|1513 |   - |3713 |  21k|3713 | 958 | 131k| 470k|6133 | 0.000000e+00 | 1.300000e+01 |    Inf 
737.41/737.47	c   727s|370000 |  2603 |  1489k|   4.0 |  77M|1513 |   - |3713 |  21k|   0 |   0 | 136k| 482k|6214 | 0.000000e+00 | 1.300000e+01 |    Inf 
760.41/760.41	c   750s|380000 |  2597 |  1533k|   4.0 |  78M|1513 |   - |3713 |  21k|   0 |   0 | 142k| 496k|6282 | 0.000000e+00 | 1.300000e+01 |    Inf 
781.72/781.75	c   771s|390000 |  2591 |  1579k|   4.0 |  78M|1513 |   - |3713 |  18k|   0 |   0 | 149k| 510k|6394 | 0.000000e+00 | 1.300000e+01 |    Inf 
800.72/800.80	c   790s|400000 |  2498 |  1616k|   4.0 |  75M|1513 |   - |3713 |  12k|   0 |   0 | 151k| 524k|6473 | 0.000000e+00 | 1.300000e+01 |    Inf 
819.42/819.43	c   808s|410000 |  2551 |  1654k|   4.0 |  77M|1513 |   1 |3713 |  16k|3713 | 965 | 153k| 537k|6536 | 0.000000e+00 | 1.300000e+01 |    Inf 
839.71/839.79	c   828s|420000 |  2644 |  1700k|   4.0 |  79M|1513 |   - |3713 |  19k|   0 |   0 | 157k| 551k|6596 | 0.000000e+00 | 1.300000e+01 |    Inf 
860.92/860.96	c   849s|430000 |  2713 |  1742k|   4.1 |  81M|1513 |   9 |3713 |  20k|3713 | 960 | 162k| 564k|6666 | 0.000000e+00 | 1.300000e+01 |    Inf 
884.12/884.11	c   872s|440000 |  2701 |  1790k|   4.1 |  82M|1513 |   - |3713 |  22k|   0 |   0 | 167k| 578k|6751 | 0.000000e+00 | 1.300000e+01 |    Inf 
907.81/907.86	c   895s|450000 |  2731 |  1838k|   4.1 |  84M|1513 |   - |3713 |  25k|   0 |   0 | 173k| 591k|6839 | 0.000000e+00 | 1.300000e+01 |    Inf 
930.42/930.48	c   918s|460000 |  2643 |  1880k|   4.1 |  81M|1513 |  11 |3713 |  17k|3713 | 946 | 176k| 605k|6994 | 0.000000e+00 | 1.300000e+01 |    Inf 
949.72/949.76	c   937s|470000 |  2717 |  1911k|   4.1 |  83M|1513 |   1 |3713 |  19k|3713 | 947 | 178k| 618k|7064 | 0.000000e+00 | 1.300000e+01 |    Inf 
969.52/969.50	c   956s|480000 |  2767 |  1943k|   4.0 |  84M|1513 |   1 |3713 |  21k|3713 | 946 | 180k| 631k|7102 | 0.000000e+00 | 1.300000e+01 |    Inf 
990.72/990.70	c   977s|490000 |  2844 |  1981k|   4.0 |  86M|1513 |   - |3713 |  23k|   0 |   0 | 184k| 645k|7156 | 0.000000e+00 | 1.300000e+01 |    Inf 
1013.52/1013.55	c  1000s|500000 |  2911 |  2022k|   4.0 |  87M|1513 |  15 |3713 |  23k|3713 | 948 | 189k| 658k|7221 | 0.000000e+00 | 1.300000e+01 |    Inf 
1034.72/1034.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1034.72/1034.74	c  1021s|510000 |  2953 |  2057k|   4.0 |  88M|1513 |   - |3713 |  22k|   0 |   0 | 191k| 671k|7310 | 0.000000e+00 | 1.300000e+01 |    Inf 
1055.12/1055.12	c  1041s|520000 |  3033 |  2090k|   4.0 |  89M|1513 |   - |3713 |  20k|   0 |   0 | 192k| 685k|7377 | 0.000000e+00 | 1.300000e+01 |    Inf 
1074.42/1074.49	c  1060s|530000 |  3087 |  2125k|   4.0 |  90M|1513 |   - |3713 |  18k|   0 |   0 | 194k| 699k|7404 | 0.000000e+00 | 1.300000e+01 |    Inf 
1094.03/1094.06	c  1079s|540000 |  3139 |  2160k|   4.0 |  91M|1513 |   1 |3713 |  20k|3713 | 950 | 196k| 713k|7482 | 0.000000e+00 | 1.300000e+01 |    Inf 
1113.42/1113.41	c  1099s|550000 |  3134 |  2193k|   4.0 |  92M|1513 |   - |3713 |  22k|   0 |   0 | 198k| 727k|7552 | 0.000000e+00 | 1.300000e+01 |    Inf 
1134.62/1134.64	c  1119s|560000 |  3218 |  2234k|   4.0 |  93M|1513 |  16 |3713 |  21k|3713 | 952 | 202k| 740k|7621 | 0.000000e+00 | 1.300000e+01 |    Inf 
1156.13/1156.19	c  1141s|570000 |  3258 |  2275k|   4.0 |  95M|1513 |  12 |3713 |  22k|3713 | 952 | 207k| 754k|7681 | 0.000000e+00 | 1.300000e+01 |    Inf 
1177.32/1177.33	c  1162s|580000 |  3278 |  2312k|   4.0 |  95M|1513 |   - |3713 |  22k|   0 |   0 | 210k| 768k|7724 | 0.000000e+00 | 1.300000e+01 |    Inf 
1199.03/1199.05	c  1183s|590000 |  3312 |  2352k|   4.0 |  96M|1513 |   5 |3713 |  21k|3713 | 948 | 213k| 782k|7801 | 0.000000e+00 | 1.300000e+01 |    Inf 
1220.13/1220.11	c  1204s|600000 |  3412 |  2388k|   4.0 |  98M|1513 |   - |3713 |  22k|   0 |   0 | 216k| 795k|7872 | 0.000000e+00 | 1.300000e+01 |    Inf 
1240.42/1240.49	c  1224s|610000 |  3492 |  2425k|   4.0 | 100M|1513 |   8 |3713 |  23k|3713 | 946 | 219k| 810k|7931 | 0.000000e+00 | 1.300000e+01 |    Inf 
1260.63/1260.67	c  1244s|620000 |  3521 |  2465k|   4.0 | 100M|1513 |   - |3713 |  19k|   0 |   0 | 222k| 825k|7986 | 0.000000e+00 | 1.300000e+01 |    Inf 
1280.73/1280.78	c  1264s|630000 |  3529 |  2505k|   4.0 | 100M|1513 |   - |3713 |  19k|   0 |   0 | 225k| 839k|8043 | 0.000000e+00 | 1.300000e+01 |    Inf 
1302.33/1302.38	c  1285s|640000 |  3691 |  2549k|   4.0 | 102M|1513 |  16 |3713 |  18k|3713 | 949 | 229k| 852k|8123 | 0.000000e+00 | 1.300000e+01 |    Inf 
1322.23/1322.25	c  1305s|650000 |  3707 |  2586k|   4.0 | 102M|1513 |  14 |3713 |  17k|3713 | 949 | 231k| 866k|8205 | 0.000000e+00 | 1.300000e+01 |    Inf 
1341.73/1341.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1341.73/1341.73	c  1324s|660000 |  3699 |  2624k|   4.0 | 103M|1513 |   - |3713 |  17k|   0 |   0 | 233k| 880k|8240 | 0.000000e+00 | 1.300000e+01 |    Inf 
1361.54/1361.58	c  1343s|670000 |  3744 |  2664k|   4.0 | 104M|1513 |  11 |3713 |  18k|3713 | 961 | 236k| 894k|8302 | 0.000000e+00 | 1.300000e+01 |    Inf 
1381.33/1381.34	c  1363s|680000 |  3758 |  2699k|   4.0 | 104M|1513 |   1 |3713 |  18k|3713 | 948 | 238k| 908k|8373 | 0.000000e+00 | 1.300000e+01 |    Inf 
1400.83/1400.82	c  1382s|690000 |  3820 |  2733k|   4.0 | 106M|1513 |   - |3713 |  18k|   0 |   0 | 240k| 921k|8418 | 0.000000e+00 | 1.300000e+01 |    Inf 
1419.63/1419.67	c  1401s|700000 |  3813 |  2764k|   3.9 | 106M|1513 |   - |3713 |  18k|   0 |   0 | 242k| 934k|8455 | 0.000000e+00 | 1.300000e+01 |    Inf 
1439.23/1439.20	c  1420s|710000 |  3921 |  2800k|   3.9 | 108M|1513 |   9 |3713 |  19k|3713 | 946 | 243k| 948k|8522 | 0.000000e+00 | 1.300000e+01 |    Inf 
1459.03/1459.06	c  1440s|720000 |  4020 |  2836k|   3.9 | 108M|1513 |   1 |3713 |  17k|3713 | 946 | 246k| 962k|8557 | 0.000000e+00 | 1.300000e+01 |    Inf 
1478.73/1478.72	c  1459s|730000 |  4028 |  2870k|   3.9 | 110M|1513 |   - |3713 |  19k|   0 |   0 | 248k| 975k|8595 | 0.000000e+00 | 1.300000e+01 |    Inf 
1497.73/1497.75	c  1478s|740000 |  4099 |  2904k|   3.9 | 111M|1513 |   8 |3713 |  19k|3713 | 946 | 249k| 989k|8658 | 0.000000e+00 | 1.300000e+01 |    Inf 
1517.73/1517.72	c  1498s|750000 |  4261 |  2939k|   3.9 | 113M|1513 |   - |3713 |  20k|   0 |   0 | 251k|1003k|8707 | 0.000000e+00 | 1.300000e+01 |    Inf 
1536.75/1536.72	c  1516s|760000 |  4365 |  2969k|   3.9 | 115M|1513 |   - |3713 |  22k|   0 |   0 | 252k|1018k|8727 | 0.000000e+00 | 1.300000e+01 |    Inf 
1556.84/1556.81	c  1536s|770000 |  4468 |  3000k|   3.9 | 117M|1513 |   5 |3713 |  22k|3713 | 946 | 253k|1031k|8787 | 0.000000e+00 | 1.300000e+01 |    Inf 
1576.44/1576.45	c  1555s|780000 |  4544 |  3032k|   3.9 | 119M|1513 |   1 |3713 |  23k|3713 | 946 | 254k|1046k|8819 | 0.000000e+00 | 1.300000e+01 |    Inf 
1596.34/1596.37	c  1575s|790000 |  4648 |  3065k|   3.9 | 120M|1513 |   8 |3713 |  22k|3713 | 946 | 256k|1061k|8844 | 0.000000e+00 | 1.300000e+01 |    Inf 
1615.64/1615.63	c  1594s|800000 |  4691 |  3097k|   3.9 | 122M|1513 |   - |3713 |  23k|   0 |   0 | 257k|1075k|8906 | 0.000000e+00 | 1.300000e+01 |    Inf 
1635.54/1635.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1635.54/1635.53	c  1614s|810000 |  4841 |  3131k|   3.9 | 123M|1513 |   - |3713 |  23k|   0 |   0 | 259k|1089k|8956 | 0.000000e+00 | 1.300000e+01 |    Inf 
1655.24/1655.20	c  1633s|820000 |  4993 |  3163k|   3.9 | 125M|1513 |   - |3713 |  24k|   0 |   0 | 260k|1105k|8971 | 0.000000e+00 | 1.300000e+01 |    Inf 
1675.24/1675.20	c  1653s|830000 |  5046 |  3195k|   3.8 | 127M|1513 |   - |3713 |  23k|   0 |   0 | 262k|1119k|9027 | 0.000000e+00 | 1.300000e+01 |    Inf 
1695.34/1695.31	c  1673s|840000 |  5131 |  3225k|   3.8 | 128M|1513 |   - |3713 |  24k|   0 |   0 | 263k|1134k|9059 | 0.000000e+00 | 1.300000e+01 |    Inf 
1714.84/1714.88	c  1692s|850000 |  5230 |  3254k|   3.8 | 130M|1513 |   - |3713 |  25k|   0 |   0 | 265k|1149k|9097 | 0.000000e+00 | 1.300000e+01 |    Inf 
1735.24/1735.26	c  1712s|860000 |  5257 |  3284k|   3.8 | 131M|1513 |   - |3713 |  24k|   0 |   0 | 266k|1164k|9139 | 0.000000e+00 | 1.300000e+01 |    Inf 
1755.25/1755.21	c  1732s|870000 |  5334 |  3314k|   3.8 | 132M|1513 |   5 |3713 |  25k|3713 | 946 | 267k|1179k|9159 | 0.000000e+00 | 1.300000e+01 |    Inf 
1775.54/1775.50	c  1752s|880000 |  5441 |  3343k|   3.8 | 134M|1513 |   1 |3713 |  26k|3713 | 946 | 268k|1194k|9219 | 0.000000e+00 | 1.300000e+01 |    Inf 
1796.15/1796.11	c  1772s|890000 |  5519 |  3375k|   3.8 | 136M|1513 |   - |3713 |  26k|   0 |   0 | 270k|1210k|9228 | 0.000000e+00 | 1.300000e+01 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.00	c Solving Time (sec) : 1776.18
1800.05/1800.00	c Solving Nodes      : 891863
1800.05/1800.00	c Primal Bound       : +1.30000000000000e+01 (223 solutions)
1800.05/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.00	c Gap                : infinite
1800.05/1800.04	s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/1800.04	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1800.05/1800.04	v x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 
1800.05/1800.04	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 
1800.05/1800.04	v x80 -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.05/1800.04	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 
1800.05/1800.04	v x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 
1800.05/1800.04	v -x2 -x1 
1800.05/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.04	c Solving Time       :    1776.18
1800.05/1800.04	c Original Problem   :
1800.05/1800.04	c   Problem name     : HOME/instance-2692308-1277912131.wbo
1800.05/1800.04	c   Variables        : 3835 (2033 binary, 0 integer, 0 implicit integer, 1802 continuous)
1800.05/1800.04	c   Constraints      : 4510 initial, 4510 maximal
1800.05/1800.04	c Presolved Problem  :
1800.05/1800.04	c   Problem name     : t_HOME/instance-2692308-1277912131.wbo
1800.05/1800.04	c   Variables        : 3713 (1972 binary, 0 integer, 0 implicit integer, 1741 continuous)
1800.05/1800.04	c   Constraints      : 4364 initial, 26975 maximal
1800.05/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.04	c   trivial          :       0.00         61          0          0          0          0          0          0          0
1800.05/1800.04	c   dualfix          :       0.00         61          0          0          0          0          0          0          0
1800.05/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.05/1800.04	c   indicator        :       0.00          0          0          0          0          0         61          0          0
1800.05/1800.04	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   linear           :       0.04          0          0          0       1810          0         85         67          0
1800.05/1800.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.04	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   root node        :          -       1545          -          -       3090          -          -          -          -
1800.05/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.04	c   integral         :          0          0          0     525738          0         19        654          0          0     970310
1800.05/1800.04	c   indicator        :       1741          0    4854201      39883          0        628    5292823          0          0          0
1800.05/1800.04	c   setppc           :          9          6    4854867      37153          0      12609    1002298          0          0          0
1800.05/1800.04	c   linear           :       1741          6    4861290      39453          0     229105   23071144     270713          0          0
1800.05/1800.04	c   logicor          :        873+         6    1735748       5040          0     200360    3960994          0          0          0
1800.05/1800.04	c   bounddisjunction :          0+         0      19736          0          0          0          0          0          0          0
1800.05/1800.04	c   countsols        :          0          0          0       5040          0          0          0          0          0          0
1800.05/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.04	c   integral         :      24.21       0.00       0.00      24.21       0.00
1800.05/1800.04	c   indicator        :      23.26       0.00      21.90       1.36       0.00
1800.05/1800.04	c   setppc           :       8.35       0.00       8.30       0.05       0.00
1800.05/1800.04	c   linear           :     146.10       0.01     144.61       1.48       0.00
1800.05/1800.04	c   logicor          :     244.43       0.00     244.40       0.03       0.00
1800.05/1800.04	c   bounddisjunction :       0.03       0.00       0.03       0.00       0.00
1800.05/1800.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.04	c   vbounds          :       1.12          2          0          0
1800.05/1800.04	c   rootredcost      :       1.22         17          0       1545
1800.05/1800.04	c   pseudoobj        :     173.07    4889588      14343    4463629
1800.05/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.04	c   propagation      :      21.19     456417     456134    3014872       26.5      19271       20.7          -
1800.05/1800.04	c   infeasible LP    :       4.98      18259      18259     169288       39.9        267       13.2          0
1800.05/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.04	c   pseudo solution  :       0.03         70         70        395       16.0         11       11.0          -
1800.05/1800.04	c   applied globally :          -          -          -    1212975       20.5          -          -          -
1800.05/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.04	c   cut pool         :       0.00          4          -          -         47          -    (maximal pool size: 140)
1800.05/1800.04	c   redcost          :      29.06     535384          0     730348          0          0
1800.05/1800.04	c   impliedbounds    :       0.01          5          0          0          0          0
1800.05/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.04	c   gomory           :       0.11          5          0          0        768          0
1800.05/1800.04	c   strongcg         :       0.06          5          0          0         31          0
1800.05/1800.04	c   cmir             :       0.03          5          0          0          0          0
1800.05/1800.04	c   flowcover        :       0.05          5          0          0          0          0
1800.05/1800.04	c   clique           :       0.00          5          0          0          0          0
1800.05/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.04	c   mcf              :       0.01          1          0          0          0          0
1800.05/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.04	c Pricers            :       Time      Calls       Vars
1800.05/1800.04	c   problem variables:       0.00          0          0
1800.05/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.04	c   relpscost        :      23.78     485678         19        654          0          0     970310
1800.05/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   inference        :       0.32       5024          0          0          0          0      10048
1800.05/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.04	c   LP solutions     :       0.02          -         16
1800.05/1800.04	c   pseudo solutions :       0.00          -          0
1800.05/1800.04	c   feaspump         :       0.00          0          0
1800.05/1800.04	c   oneopt           :       0.41         15          0
1800.05/1800.04	c   veclendiving     :       0.03         22          0
1800.05/1800.04	c   coefdiving       :       0.03         23          0
1800.05/1800.04	c   fracdiving       :       0.01         23          0
1800.05/1800.04	c   linesearchdiving :       0.03         23          0
1800.05/1800.04	c   guideddiving     :       0.05         23          0
1800.05/1800.04	c   pscostdiving     :       0.03         23          0
1800.05/1800.04	c   rootsoldiving    :       0.06         18          0
1800.05/1800.04	c   objpscostdiving  :       0.03         19          0
1800.05/1800.04	c   crossover        :       0.98         29          0
1800.05/1800.04	c   trivial          :       0.01          2          0
1800.05/1800.04	c   simplerounding   :       0.74     487817          0
1800.05/1800.04	c   zirounding       :       0.51       1000          0
1800.05/1800.04	c   rounding         :       2.40       9883          0
1800.05/1800.04	c   shifting         :       1.27       3092          0
1800.05/1800.04	c   intshifting      :       0.00          4          0
1800.05/1800.04	c   twoopt           :       0.00          0          0
1800.05/1800.04	c   fixandinfer      :       0.00          0          0
1800.05/1800.04	c   intdiving        :       0.00          0          0
1800.05/1800.04	c   actconsdiving    :       0.00          0          0
1800.05/1800.04	c   octane           :       0.00          0          0
1800.05/1800.04	c   rens             :       0.03          1          0
1800.05/1800.04	c   rins             :       0.00          0          0
1800.05/1800.04	c   localbranching   :       0.00          0          0
1800.05/1800.04	c   mutation         :       0.00          0          0
1800.05/1800.04	c   dins             :       0.00          0          0
1800.05/1800.04	c   undercover       :       0.00          0          0
1800.05/1800.04	c   nlp              :       0.22          0          0
1800.05/1800.04	c   trysol           :       3.48       7478        207
1800.05/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.04	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.04	c   dual LP          :     569.75     540831    3380415       6.25    5933.15
1800.05/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.04	c   diving/probing LP:       0.08         65        601       9.25    7512.50
1800.05/1800.04	c   strong branching :      20.15       9243     111639      12.08    5540.40
1800.05/1800.04	c     (at root node) :          -         33       2641      80.03          -
1800.05/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.04	c B&B Tree           :
1800.05/1800.04	c   number of runs   :          1
1800.05/1800.04	c   nodes            :     891863
1800.05/1800.04	c   nodes (total)    :     891863
1800.05/1800.04	c   nodes left       :       5530
1800.05/1800.04	c   max depth        :       1513
1800.05/1800.04	c   max depth (total):       1513
1800.05/1800.04	c   backtracks       :      86206 (9.7%)
1800.05/1800.04	c   delayed cutoffs  :      77501
1800.05/1800.04	c   repropagations   :    2216145 (8100646 domain reductions, 73620 cutoffs)
1800.05/1800.04	c   avg switch length:       6.58
1800.05/1800.04	c   switching time   :     263.89
1800.05/1800.04	c Solution           :
1800.05/1800.04	c   Solutions found  :        223 (17 improvements)
1800.05/1800.04	c   First Solution   : +8.77540000000000e+04   (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.05/1800.04	c   Primal Bound     : +1.30000000000000e+01   (in run 1, after 361031 nodes, 708.26 seconds, depth 48, found by <relaxation>)
1800.05/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.04	c   Gap              :   infinite
1800.05/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.04	c   Root Iterations  :        174
1800.15/1800.19	c Time complete: 1800.24.

Verifier Data 

OK	13

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.85 1.98 1.99 4/178 10485
/proc/meminfo: memFree=31522316/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=9408 CPUtime=0
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 1650 0 0 0 0 0 0 0 23 0 1 0 132510692 9633792 1570 4089446400 4194304 8223781 140735616113856 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10485/statm: 2352 1570 369 984 0 1365 0

[startup+0.0469309 s]
/proc/loadavg: 1.85 1.98 1.99 4/178 10485
/proc/meminfo: memFree=31522316/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=28284 CPUtime=0.04
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 6431 0 0 0 4 0 0 0 23 0 1 0 132510692 28962816 5987 4089446400 4194304 8223781 140735616113856 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10485/statm: 7071 6006 416 984 0 6084 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28284

[startup+0.100918 s]
/proc/loadavg: 1.85 1.98 1.99 4/178 10485
/proc/meminfo: memFree=31522316/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=30204 CPUtime=0.09
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 7986 0 0 0 8 1 0 0 23 0 1 0 132510692 30928896 6514 4089446400 4194304 8223781 140735616113856 18446744073709551615 6207260 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10485/statm: 7551 6514 452 984 0 6564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30204

[startup+0.300883 s]
/proc/loadavg: 1.85 1.98 1.99 4/178 10485
/proc/meminfo: memFree=31522316/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=36036 CPUtime=0.29
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 11659 0 0 0 27 2 0 0 18 0 1 0 132510692 36900864 8105 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10485/statm: 9009 8105 570 984 0 8022 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36036

[startup+0.700806 s]
/proc/loadavg: 1.85 1.98 1.99 4/178 10485
/proc/meminfo: memFree=31522316/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=40896 CPUtime=0.69
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 19752 0 0 0 65 4 0 0 18 0 1 0 132510692 41877504 9285 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10485/statm: 10224 9285 585 984 0 9237 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40896

[startup+1.50066 s]
/proc/loadavg: 1.85 1.98 1.99 3/179 10486
/proc/meminfo: memFree=31486472/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=40896 CPUtime=1.49
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 19757 0 0 0 144 5 0 0 19 0 1 0 132510692 41877504 9290 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10485/statm: 10224 9290 587 984 0 9237 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40896

[startup+3.10039 s]
/proc/loadavg: 1.86 1.98 1.99 3/179 10486
/proc/meminfo: memFree=31483372/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=43528 CPUtime=3.09
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 30073 0 0 0 303 6 0 0 24 0 1 0 132510692 44572672 9981 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10485/statm: 10882 9981 589 984 0 9895 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43528

[startup+6.30079 s]
/proc/loadavg: 1.86 1.98 1.99 3/179 10486
/proc/meminfo: memFree=31481896/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=47048 CPUtime=6.29
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 45631 0 0 0 618 11 0 0 25 0 1 0 132510692 48177152 10849 4089446400 4194304 8223781 140735616113856 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10485/statm: 11762 10849 592 984 0 10775 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47048

[startup+12.7006 s]
/proc/loadavg: 1.88 1.98 1.99 3/179 10486
/proc/meminfo: memFree=31473940/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=53992 CPUtime=12.69
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 60507 0 0 0 1250 19 0 0 25 0 1 0 132510692 55287808 12406 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10485/statm: 13498 12406 595 984 0 12511 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53992

[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 1.99 3/179 10487
/proc/meminfo: memFree=31458832/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=70004 CPUtime=25.49
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 76201 0 0 0 2511 38 0 0 25 0 1 0 132510692 71684096 16393 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 17501 16393 595 984 0 16514 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70004

[startup+51.1006 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10488
/proc/meminfo: memFree=31430456/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=99184 CPUtime=51.09
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 99443 0 0 0 5031 78 0 0 25 0 1 0 132510692 101564416 23452 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 24796 23452 597 984 0 23809 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99184

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10489
/proc/meminfo: memFree=31399296/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=131308 CPUtime=102.3
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 147746 0 0 0 10076 154 0 0 25 0 1 0 132510692 134459392 30923 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 32827 30923 604 984 0 31840 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 131308

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10490
/proc/meminfo: memFree=31371592/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=157984 CPUtime=162.29
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 163380 0 0 0 15990 239 0 0 25 0 1 0 132510692 161775616 37079 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 39496 37079 604 984 0 38509 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 157984

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10492
/proc/meminfo: memFree=31356176/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=171200 CPUtime=222.29
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 185519 0 0 0 21904 325 0 0 25 0 1 0 132510692 175308800 40231 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 42800 40231 604 984 0 41813 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 171200

[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10494
/proc/meminfo: memFree=31345816/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=179404 CPUtime=282.3
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 207103 0 0 0 27822 408 0 0 25 0 1 0 132510692 183709696 42171 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 44851 42171 604 984 0 43864 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 179404

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10496
/proc/meminfo: memFree=31335720/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=188584 CPUtime=342.3
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 227504 0 0 0 33731 499 0 0 25 0 1 0 132510692 193110016 44473 4089446400 4194304 8223781 140735616113856 18446744073709551615 6448683 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 47146 44473 604 984 0 46159 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 188584

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10497
/proc/meminfo: memFree=31330844/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=192920 CPUtime=402.3
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 236885 0 0 0 39650 580 0 0 25 0 1 0 132510692 197550080 45563 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 48230 45563 604 984 0 47243 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 192920

[startup+462.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10498
/proc/meminfo: memFree=31324592/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=197336 CPUtime=462.3
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 239157 0 0 0 45568 662 0 0 25 0 1 0 132510692 202072064 46658 4089446400 4194304 8223781 140735616113856 18446744073709551615 5000337 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 49334 46658 604 984 0 48347 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 197336

[startup+522.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10500
/proc/meminfo: memFree=31319200/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=202820 CPUtime=522.3
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 244642 0 0 0 51485 745 0 0 25 0 1 0 132510692 207687680 47954 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 50705 47954 604 984 0 49718 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 202820

[startup+582.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10502
/proc/meminfo: memFree=31321272/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=204192 CPUtime=582.31
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 244914 0 0 0 57408 823 0 0 25 0 1 0 132510692 209092608 48225 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 51048 48225 604 984 0 50061 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 204192

[startup+642.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10504
/proc/meminfo: memFree=31316992/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=208760 CPUtime=642.32
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 246675 0 0 0 63336 896 0 0 25 0 1 0 132510692 213770240 49263 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 52190 49263 604 984 0 51203 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 208760

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 10686
/proc/meminfo: memFree=31555684/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=219556 CPUtime=882.32
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 278331 0 0 0 87021 1211 0 0 25 0 1 0 132510692 224825344 51794 4089446400 4194304 8223781 140735616113856 18446744073709551615 6439625 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 54889 51794 604 984 0 53902 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 219556

[startup+942.3 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 10688
/proc/meminfo: memFree=31544956/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=222276 CPUtime=942.31
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 280415 0 0 0 92954 1277 0 0 25 0 1 0 132510692 227610624 52415 4089446400 4194304 8223781 140735616113856 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 55569 52415 604 984 0 54582 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 222276

[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 10689
/proc/meminfo: memFree=31534352/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=224044 CPUtime=1002.32
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 280764 0 0 0 98882 1350 0 0 25 0 1 0 132510692 229421056 52751 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 56011 52751 604 984 0 55024 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 224044

[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 10690
/proc/meminfo: memFree=31521028/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=228864 CPUtime=1062.32
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 281916 0 0 0 104808 1424 0 0 25 0 1 0 132510692 234356736 53853 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 57216 53853 604 984 0 56229 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 228864

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 10692
/proc/meminfo: memFree=31511312/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=230540 CPUtime=1122.32
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 282325 0 0 0 110731 1501 0 0 25 0 1 0 132510692 236072960 54259 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 57635 54259 604 984 0 56648 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 230540

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 10694
/proc/meminfo: memFree=31498608/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=236012 CPUtime=1182.32
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 285040 0 0 0 116657 1575 0 0 25 0 1 0 132510692 241676288 55504 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 59003 55504 604 984 0 58016 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 236012

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 10696
/proc/meminfo: memFree=31487140/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=241052 CPUtime=1242.33
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 286146 0 0 0 122586 1647 0 0 25 0 1 0 132510692 246837248 56597 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 60263 56597 604 984 0 59276 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 241052

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 10697
/proc/meminfo: memFree=31475072/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=244184 CPUtime=1302.33
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 286857 0 0 0 128504 1729 0 0 25 0 1 0 132510692 250044416 57280 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 61046 57280 604 984 0 60059 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 244184

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.98 3/179 10698
/proc/meminfo: memFree=31467960/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=246408 CPUtime=1362.33
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 287398 0 0 0 134422 1811 0 0 25 0 1 0 132510692 252321792 57772 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 61602 57772 607 984 0 60615 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 246408

[startup+1422.31 s]
/proc/loadavg: 2.05 1.99 1.99 3/179 10700
/proc/meminfo: memFree=31456772/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=248364 CPUtime=1422.34
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 287826 0 0 0 140337 1897 0 0 25 0 1 0 132510692 254324736 58185 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 62091 58185 607 984 0 61104 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 248364

[startup+1482.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/179 10702
/proc/meminfo: memFree=31447292/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=252096 CPUtime=1482.34
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 288736 0 0 0 146259 1975 0 0 25 0 1 0 132510692 258146304 59068 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 63024 59068 607 984 0 62037 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 252096

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 10713
/proc/meminfo: memFree=31427812/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=260316 CPUtime=1542.33
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 290637 0 0 0 152178 2055 0 0 25 0 1 0 132510692 266563584 60950 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 65079 60950 610 984 0 64092 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 260316

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 10714
/proc/meminfo: memFree=31414364/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=267232 CPUtime=1602.34
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 293633 0 0 0 158097 2137 0 0 25 0 1 0 132510692 273645568 62512 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 66808 62512 609 984 0 65821 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 267232

[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 1.99 3/179 10715
/proc/meminfo: memFree=31402656/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=271904 CPUtime=1662.34
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 294726 0 0 0 164020 2214 0 0 25 0 1 0 132510692 278429696 63601 4089446400 4194304 8223781 140735616113856 18446744073709551615 4431658 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 67976 63601 608 984 0 66989 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 271904

[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 1.99 3/179 10717
/proc/meminfo: memFree=31390456/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=276532 CPUtime=1722.34
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 295789 0 0 0 169945 2289 0 0 25 0 1 0 132510692 283168768 64641 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 69133 64641 607 984 0 68146 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 276532

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/179 10719
/proc/meminfo: memFree=31377620/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=281832 CPUtime=1782.34
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 296962 0 0 0 175870 2364 0 0 25 0 1 0 132510692 288595968 65814 4089446400 4194304 8223781 140735616113856 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 70458 65814 607 984 0 69471 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 281832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 10719
/proc/meminfo: memFree=31374628/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=283736 CPUtime=1800.05
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 297400 0 0 0 177620 2385 0 0 25 0 1 0 132510692 290545664 66252 4089446400 4194304 8223781 140735616113856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/10485/statm: 70934 66252 607 984 0 69947 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 283736

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

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

[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 10719
/proc/meminfo: memFree=31374628/32951124 swapFree=67111528/67111528
[pid=10485] ppid=10483 vsize=283808 CPUtime=1800.15
/proc/10485/stat : 10485 (pbscip.linux.x8) R 10483 10485 10460 0 -1 4202496 297418 0 0 0 177630 2385 0 0 25 0 1 0 132510692 290619392 66270 4089446400 4194304 8223781 140735616113856 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/10485/statm: 70952 66270 609 984 0 69965 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 283808

Child status: 0
Real time (s): 1800.2
CPU time (s): 1800.25
CPU user time (s): 1776.39
CPU system time (s): 23.8644
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 283808

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

runsolver used 3.2715 second user time and 6.33704 second system time

The end

Launcher Data 

Begin job on node104 at 2010-06-30 17:35:32
IDJOB=2692308
IDBENCH=78994
IDSOLVER=1204
FILE ID=node104/2692308-1277912131
PBS_JOBID= 11197288
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735--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-2692308-1277912131/watcher-2692308-1277912131 -o /tmp/evaluation-result-2692308-1277912131/solver-2692308-1277912131 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692308-1277912131.wbo -t 1800 -m 3800

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

MD5SUM BENCH= d8302a34385139d2b71dca1f77dee50d
RANDOM SEED=1907492382

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31522844 kB
Buffers:        190940 kB
Cached:         701288 kB
SwapCached:          0 kB
Active:         750596 kB
Inactive:       537156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31522844 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4808 kB
Writeback:           0 kB
AnonPages:      395596 kB
Mapped:          16920 kB
Slab:            77036 kB
PageTables:       5340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   543052 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 node104 at 2010-06-30 18:05:34