Trace number 1869496

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1801.13 1801.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
MD5SUM4618b6422bdc12197131d1d37f567363
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables41
Total number of constraints11
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint40
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1196
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3589
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c SCIP version 1.1.0.7
0.00/0.01	c LP-Solver SoPlex 1.4.1
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-1869496-1245174771.opb>
0.00/0.01	c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01	c start presolving problem
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01	c (round 2) 1 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c presolving (3 rounds):
0.00/0.02	c  1 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  0 implications, 0 cliques
0.00/0.02	c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02	c       5 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c OPT-LIN
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = c 1620
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = c 1791
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = c 10000
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving problem
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     0 |    21 | 213k|   0 |   5 |  40 |   5 |   5 |  40 |   5 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.02	c   0.0s|     1 |     0 |    72 | 234k|   0 |  10 |  40 |   5 |   5 |  40 |  10 |   5 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |    80 | 260k|   0 |  11 |  40 |   5 |   5 |  40 |  14 |   9 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.04	c   0.0s|     1 |     0 |    87 | 278k|   0 |  12 |  40 |   5 |   5 |  40 |  17 |  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.04	c   0.0s|     1 |     0 |    97 | 300k|   0 |  12 |  40 |   5 |   5 |  40 |  21 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.05	c   0.0s|     1 |     0 |   101 | 308k|   0 |  15 |  40 |   5 |   5 |  40 |  24 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.06	c   0.1s|     1 |     0 |   104 | 311k|   0 |  16 |  40 |   5 |   5 |  40 |  26 |  21 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.13	c   0.1s|     1 |     2 |   104 | 311k|   0 |  16 |  40 |   5 |   5 |  40 |  26 |  21 |   0 |  16 | 0.000000e+00 |      --      |    Inf 
3.99/4.09	c   3.8s| 10000 |  2213 | 22297 |3473k|  35 |   5 |  40 |3461 |  26 |  40 |  16 |  21 |5968 | 564 | 0.000000e+00 |      --      |    Inf 
8.09/8.18	c   7.6s| 20000 |  4221 | 44349 |5065k|  36 |   5 |  40 |3289 | 148 |  40 |  16 |  21 |  12k| 705 | 0.000000e+00 |      --      |    Inf 
12.59/12.66	c  11.8s| 30000 |  5909 | 66729 |6925k|  36 |   - |  40 |4411 | 101 |  40 |  16 |  21 |  18k| 827 | 0.000000e+00 |      --      |    Inf 
17.79/17.83	c  16.7s| 40000 |  7327 | 88423 |8479k|  36 |   5 |  40 |4878 | 125 |  40 |  16 |  21 |  25k| 910 | 0.000000e+00 |      --      |    Inf 
23.39/23.48	c  22.1s| 50000 |  8844 |110763 |  10M|  36 |   - |  40 |4832 |  17 |  40 |  16 |  21 |  32k| 975 | 0.000000e+00 |      --      |    Inf 
28.28/28.33	c  26.7s| 60000 | 10823 |133460 |  12M|  36 |   5 |  40 |7823 | 185 |  40 |  16 |  21 |  39k|1034 | 0.000000e+00 |      --      |    Inf 
34.58/34.65	c  32.7s| 70000 | 12557 |156791 |  14M|  36 |   - |  40 |7223 |  11 |  40 |  16 |  21 |  45k|1087 | 0.000000e+00 |      --      |    Inf 
41.58/41.70	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
41.58/41.70	c  39.5s| 80000 | 13773 |179241 |  15M|  36 |   - |  40 |5646 |  32 |  40 |  16 |  21 |  52k|1144 | 0.000000e+00 |      --      |    Inf 
46.87/46.96	c  44.5s| 90000 | 16160 |202122 |  16M|  36 |   - |  40 |6658 | 187 |  40 |  16 |  21 |  58k|1189 | 0.000000e+00 |      --      |    Inf 
53.28/53.37	c  50.6s|100000 | 17691 |225268 |  18M|  36 |   5 |  40 |5677 | 310 |  40 |  16 |  21 |  65k|1261 | 0.000000e+00 |      --      |    Inf 
59.58/59.64	c  56.6s|110000 | 19269 |247766 |  19M|  36 |   5 |  40 |5584 | 103 |  40 |  16 |  21 |  72k|1328 | 0.000000e+00 |      --      |    Inf 
65.37/65.48	c  62.2s|120000 | 21056 |270105 |  21M|  36 |   - |  40 |6210 |  39 |  40 |  16 |  21 |  78k|1376 | 0.000000e+00 |      --      |    Inf 
72.08/72.12	c  68.5s|130000 | 22318 |292544 |  22M|  36 |   5 |  40 |6215 |  17 |  40 |  16 |  21 |  85k|1408 | 0.000000e+00 |      --      |    Inf 
78.88/78.93	c  75.1s|140000 | 23680 |313109 |  23M|  36 |   - |  40 |5656 |  18 |  40 |  16 |  21 |  92k|1443 | 0.000000e+00 |      --      |    Inf 
85.46/85.57	c  81.5s|150000 | 24933 |335890 |  25M|  36 |   - |  40 |5940 |   6 |   0 |   0 |  21 |  99k|1459 | 0.000000e+00 |      --      |    Inf 
92.37/92.40	c  88.1s|160000 | 26208 |358227 |  26M|  36 |   5 |  40 |5651 | 748 |  40 |  16 |  21 | 106k|1474 | 0.000000e+00 |      --      |    Inf 
98.87/98.97	c  94.3s|170000 | 27546 |380986 |  28M|  36 |   - |  40 |6748 |  30 |  40 |  16 |  21 | 113k|1492 | 0.000000e+00 |      --      |    Inf 
106.57/106.67	c   102s|180000 | 28607 |403982 |  29M|  36 |   5 |  40 |5778 | 184 |  40 |  16 |  21 | 120k|1519 | 0.000000e+00 |      --      |    Inf 
113.76/113.80	c   109s|190000 | 29558 |426568 |  30M|  36 |   - |  40 |6008 | 267 |  40 |  16 |  21 | 127k|1550 | 0.000000e+00 |      --      |    Inf 
120.76/120.87	c   115s|200000 | 30805 |449143 |  31M|  36 |   - |  40 |5528 | 100 |  40 |  16 |  21 | 134k|1592 | 0.000000e+00 |      --      |    Inf 
128.15/128.26	c   123s|210000 | 31658 |472910 |  32M|  36 |   5 |  40 |6423 | 375 |  40 |  16 |  21 | 141k|1633 | 0.000000e+00 |      --      |    Inf 
134.76/134.82	c   129s|220000 | 33058 |496297 |  34M|  36 |   - |  40 |6632 | 124 |  40 |  16 |  21 | 148k|1672 | 0.000000e+00 |      --      |    Inf 
142.25/142.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
142.25/142.35	c   136s|230000 | 34011 |520298 |  35M|  36 |   - |  40 |7735 | 232 |  40 |  16 |  21 | 155k|1708 | 0.000000e+00 |      --      |    Inf 
150.05/150.16	c   144s|240000 | 35081 |543700 |  36M|  36 |   5 |  40 |6744 |  47 |  40 |  16 |  21 | 163k|1741 | 0.000000e+00 |      --      |    Inf 
157.45/157.56	c   151s|250000 | 36187 |565997 |  38M|  36 |   5 |  40 |6337 |  70 |  40 |  16 |  21 | 170k|1766 | 0.000000e+00 |      --      |    Inf 
165.35/165.48	c   158s|260000 | 36912 |588188 |  39M|  36 |   5 |  40 |6500 | 145 |  40 |  16 |  21 | 177k|1781 | 0.000000e+00 |      --      |    Inf 
170.75/170.88	c   163s|270000 | 39490 |612160 |  41M|  36 |   - |  40 |8834 |  16 |  40 |  16 |  21 | 183k|1913 | 0.000000e+00 |      --      |    Inf 
177.64/177.77	c   170s|280000 | 41465 |636720 |  43M|  36 |   5 |  40 |  10k|1392 |  40 |  16 |  21 | 189k|1913 | 0.000000e+00 |      --      |    Inf 
185.85/185.97	c   178s|290000 | 43141 |661082 |  45M|  36 |   5 |  40 |  10k|  30 |  40 |  16 |  21 | 196k|1916 | 0.000000e+00 |      --      |    Inf 
193.64/193.74	c   185s|300000 | 44963 |684772 |  47M|  36 |   5 |  40 |  11k|2193 |  40 |  16 |  21 | 202k|1932 | 0.000000e+00 |      --      |    Inf 
203.34/203.45	c   195s|310000 | 46702 |709215 |  48M|  36 |   5 |  40 |  11k|  52 |  40 |  16 |  21 | 209k|1955 | 0.000000e+00 |      --      |    Inf 
212.84/212.97	c   204s|320000 | 48041 |733497 |  49M|  36 |   5 |  40 |  11k| 397 |  40 |  16 |  21 | 216k|1974 | 0.000000e+00 |      --      |    Inf 
223.03/223.17	c   214s|330000 | 49096 |757797 |  51M|  36 |   5 |  40 |  11k|  12 |  40 |  16 |  21 | 223k|1992 | 0.000000e+00 |      --      |    Inf 
233.73/233.89	c   224s|340000 | 50189 |782386 |  52M|  36 |   5 |  40 |  11k|  48 |  40 |  16 |  21 | 230k|2014 | 0.000000e+00 |      --      |    Inf 
244.43/244.59	c   235s|350000 | 51262 |807292 |  53M|  36 |   5 |  40 |  12k|  61 |  40 |  16 |  21 | 237k|2038 | 0.000000e+00 |      --      |    Inf 
256.02/256.10	c   246s|360000 | 52295 |831422 |  55M|  36 |   5 |  40 |  11k|  35 |  40 |  16 |  21 | 245k|2064 | 0.000000e+00 |      --      |    Inf 
266.72/266.89	c   257s|370000 | 53291 |854762 |  56M|  36 |   5 |  40 |  10k|  86 |  40 |  16 |  21 | 252k|2079 | 0.000000e+00 |      --      |    Inf 
276.82/276.96	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
276.82/276.96	c   266s|380000 | 54252 |878180 |  57M|  36 |   5 |  40 |9394 | 457 |  40 |  16 |  21 | 259k|2094 | 0.000000e+00 |      --      |    Inf 
286.72/286.88	c   276s|390000 | 55166 |901496 |  58M|  36 |   5 |  40 |9516 | 336 |  40 |  16 |  21 | 266k|2110 | 0.000000e+00 |      --      |    Inf 
296.31/296.49	c   285s|400000 | 56280 |925028 |  59M|  36 |   5 |  40 |9573 |  22 |  40 |  16 |  21 | 274k|2122 | 0.000000e+00 |      --      |    Inf 
306.51/306.69	c   295s|410000 | 57118 |948210 |  60M|  36 |   - |  40 |8918 | 175 |  40 |  16 |  21 | 281k|2142 | 0.000000e+00 |      --      |    Inf 
317.20/317.33	c   306s|420000 | 57614 |971067 |  61M|  36 |   - |  40 |8019 |  34 |   0 |   0 |  21 | 289k|2169 | 0.000000e+00 |      --      |    Inf 
325.91/326.09	c   314s|430000 | 58605 |994137 |  62M|  36 |   5 |  40 |8924 |  33 |  40 |  16 |  21 | 296k|2185 | 0.000000e+00 |      --      |    Inf 
335.60/335.73	c   323s|440000 | 59371 |  1017k|  63M|  36 |   - |  40 |8618 |  22 |  40 |  16 |  21 | 303k|2207 | 0.000000e+00 |      --      |    Inf 
345.70/345.83	c   333s|450000 | 59988 |  1041k|  64M|  36 |   5 |  40 |8265 | 136 |  40 |  16 |  21 | 311k|2222 | 0.000000e+00 |      --      |    Inf 
353.80/353.90	c   341s|460000 | 61207 |  1064k|  66M|  36 |   - |  40 |8950 |  20 |  40 |  16 |  21 | 318k|2241 | 0.000000e+00 |      --      |    Inf 
363.09/363.23	c   350s|470000 | 62188 |  1088k|  67M|  36 |   5 |  40 |9516 | 194 |  40 |  16 |  21 | 325k|2253 | 0.000000e+00 |      --      |    Inf 
373.18/373.31	c   360s|480000 | 62956 |  1111k|  68M|  36 |   - |  40 |9258 |  23 |  40 |  16 |  21 | 333k|2257 | 0.000000e+00 |      --      |    Inf 
382.39/382.55	c   369s|490000 | 63921 |  1135k|  69M|  36 |   5 |  40 |9737 | 885 |  40 |  16 |  21 | 340k|2278 | 0.000000e+00 |      --      |    Inf 
392.49/392.63	c   379s|500000 | 64861 |  1159k|  71M|  36 |   5 |  40 |9905 |  41 |  40 |  16 |  21 | 347k|2297 | 0.000000e+00 |      --      |    Inf 
402.39/402.53	c   388s|510000 | 65717 |  1182k|  72M|  36 |   - |  40 |  10k| 218 |  40 |  16 |  21 | 355k|2312 | 0.000000e+00 |      --      |    Inf 
413.18/413.30	c   399s|520000 | 66403 |  1205k|  73M|  36 |   5 |  40 |9599 |  54 |  40 |  16 |  21 | 362k|2339 | 0.000000e+00 |      --      |    Inf 
423.07/423.28	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
423.07/423.28	c   408s|530000 | 67210 |  1229k|  74M|  36 |   - |  40 |9265 |  99 |  40 |  16 |  21 | 370k|2359 | 0.000000e+00 |      --      |    Inf 
431.28/431.44	c   416s|540000 | 68573 |  1253k|  76M|  36 |   5 |  40 |  12k| 195 |  40 |  16 |  21 | 376k|2376 | 0.000000e+00 |      --      |    Inf 
444.47/444.69	c   429s|550000 | 68979 |  1276k|  76M|  36 |   5 |  40 |  10k| 640 |  40 |  16 |  21 | 384k|2390 | 0.000000e+00 |      --      |    Inf 
456.56/456.70	c   441s|560000 | 69444 |  1299k|  77M|  36 |   - |  40 |8661 |  13 |  40 |  16 |  21 | 392k|2408 | 0.000000e+00 |      --      |    Inf 
467.66/467.88	c   452s|570000 | 69943 |  1322k|  78M|  36 |   - |  40 |8848 | 455 |  40 |  16 |  21 | 400k|2422 | 0.000000e+00 |      --      |    Inf 
478.96/479.18	c   463s|580000 | 70365 |  1346k|  78M|  36 |   5 |  40 |8971 | 685 |  40 |  16 |  21 | 407k|2431 | 0.000000e+00 |      --      |    Inf 
489.65/489.86	c   473s|590000 | 70922 |  1369k|  79M|  36 |   - |  40 |9288 |  12 |  40 |  16 |  21 | 415k|2444 | 0.000000e+00 |      --      |    Inf 
497.55/497.77	c   481s|600000 | 72358 |  1392k|  81M|  36 |   - |  40 |  11k|  62 |  40 |  16 |  21 | 422k|2458 | 0.000000e+00 |      --      |    Inf 
507.55/507.70	c   490s|610000 | 73139 |  1415k|  83M|  36 |   - |  40 |  12k| 199 |  40 |  16 |  21 | 429k|2486 | 0.000000e+00 |      --      |    Inf 
518.65/518.89	c   501s|620000 | 73991 |  1438k|  84M|  36 |   5 |  40 |  12k|  31 |  40 |  16 |  21 | 437k|2500 | 0.000000e+00 |      --      |    Inf 
531.84/532.08	c   514s|630000 | 74425 |  1461k|  84M|  36 |   - |  40 |  10k|  90 |  40 |  16 |  21 | 444k|2516 | 0.000000e+00 |      --      |    Inf 
539.65/539.89	c   522s|640000 | 75748 |  1483k|  86M|  36 |   5 |  40 |  12k|1046 |  40 |  16 |  21 | 451k|2530 | 0.000000e+00 |      --      |    Inf 
549.24/549.46	c   531s|650000 | 76617 |  1506k|  87M|  36 |   5 |  40 |  13k|  20 |  40 |  16 |  21 | 458k|2541 | 0.000000e+00 |      --      |    Inf 
561.54/561.74	c   543s|660000 | 77190 |  1528k|  88M|  36 |   5 |  40 |  10k| 207 |  40 |  16 |  21 | 466k|2556 | 0.000000e+00 |      --      |    Inf 
573.13/573.31	c   554s|670000 | 77796 |  1552k|  89M|  36 |   5 |  40 |  10k|  92 |  40 |  16 |  21 | 474k|2569 | 0.000000e+00 |      --      |    Inf 
584.93/585.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
584.93/585.12	c   566s|680000 | 78333 |  1575k|  89M|  36 |   - |  40 |9633 |  34 |  40 |  16 |  21 | 481k|2583 | 0.000000e+00 |      --      |    Inf 
592.53/592.74	c   573s|690000 | 80525 |  1599k|  91M|  36 |   5 |  40 |  11k|  91 |  40 |  16 |  21 | 487k|2600 | 0.000000e+00 |      --      |    Inf 
602.02/602.29	c   583s|700000 | 82042 |  1624k|  93M|  36 |   - |  40 |  12k|   7 |  40 |  16 |  21 | 494k|2621 | 0.000000e+00 |      --      |    Inf 
612.62/612.88	c   593s|710000 | 83096 |  1649k|  95M|  36 |   5 |  40 |  13k| 170 |  40 |  16 |  21 | 501k|2638 | 0.000000e+00 |      --      |    Inf 
624.42/624.63	c   604s|720000 | 83699 |  1673k|  96M|  36 |   5 |  40 |  13k| 103 |  40 |  16 |  21 | 509k|2653 | 0.000000e+00 |      --      |    Inf 
638.21/638.44	c   618s|730000 | 84117 |  1698k|  96M|  36 |   5 |  40 |  11k|   9 |  40 |  16 |  21 | 517k|2673 | 0.000000e+00 |      --      |    Inf 
651.21/651.45	c   631s|740000 | 84531 |  1721k|  97M|  36 |   - |  40 |9554 |   7 |  40 |  16 |  21 | 525k|2694 | 0.000000e+00 |      --      |    Inf 
662.81/663.08	c   642s|750000 | 85022 |  1744k|  98M|  36 |   5 |  40 |9909 |  20 |  40 |  16 |  21 | 533k|2717 | 0.000000e+00 |      --      |    Inf 
671.00/671.30	c   650s|760000 | 86598 |  1769k| 100M|  36 |   5 |  40 |  12k| 307 |  40 |  16 |  21 | 540k|2733 | 0.000000e+00 |      --      |    Inf 
681.81/682.02	c   660s|770000 | 87490 |  1794k| 101M|  36 |   5 |  40 |  13k|  12 |  40 |  16 |  21 | 548k|2748 | 0.000000e+00 |      --      |    Inf 
693.30/693.58	c   671s|780000 | 88138 |  1819k| 103M|  36 |   - |  40 |  14k| 141 |  40 |  16 |  21 | 556k|2765 | 0.000000e+00 |      --      |    Inf 
706.10/706.38	c   684s|790000 | 88841 |  1843k| 103M|  36 |   5 |  40 |  13k| 327 |  40 |  16 |  21 | 563k|2786 | 0.000000e+00 |      --      |    Inf 
721.59/721.83	c   699s|800000 | 89131 |  1866k| 104M|  36 |   5 |  40 |  11k| 114 |  40 |  16 |  21 | 571k|2802 | 0.000000e+00 |      --      |    Inf 
732.99/733.25	c   710s|810000 | 90010 |  1890k| 105M|  36 |   5 |  40 |  11k|  47 |  40 |  16 |  21 | 579k|2810 | 0.000000e+00 |      --      |    Inf 
744.59/744.89	c   722s|820000 | 90407 |  1914k| 106M|  36 |   5 |  40 |  11k| 924 |  40 |  16 |  21 | 587k|2821 | 0.000000e+00 |      --      |    Inf 
755.99/756.23	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
755.99/756.23	c   733s|830000 | 90899 |  1937k| 107M|  36 |   5 |  40 |  11k|  31 |  40 |  16 |  21 | 594k|2837 | 0.000000e+00 |      --      |    Inf 
770.58/770.86	c   747s|840000 | 90996 |  1961k| 107M|  36 |   - |  40 |9519 | 390 |  40 |  16 |  21 | 602k|2854 | 0.000000e+00 |      --      |    Inf 
780.08/780.35	c   756s|850000 | 91922 |  1985k| 108M|  36 |   5 |  40 |  11k|  42 |  40 |  16 |  21 | 610k|2868 | 0.000000e+00 |      --      |    Inf 
791.97/792.22	c   768s|860000 | 92481 |  2009k| 109M|  36 |   - |  40 |  12k| 159 |  40 |  16 |  21 | 618k|2882 | 0.000000e+00 |      --      |    Inf 
803.97/804.26	c   779s|870000 | 93187 |  2032k| 111M|  36 |   5 |  40 |  12k|  93 |  40 |  16 |  21 | 625k|2898 | 0.000000e+00 |      --      |    Inf 
816.37/816.66	c   792s|880000 | 93978 |  2056k| 112M|  36 |   5 |  40 |  12k| 128 |  40 |  16 |  21 | 633k|2911 | 0.000000e+00 |      --      |    Inf 
827.86/828.12	c   803s|890000 | 94792 |  2078k| 113M|  36 |   - |  40 |  14k|  17 |  40 |  16 |  21 | 641k|2920 | 0.000000e+00 |      --      |    Inf 
839.56/839.85	c   814s|900000 | 95857 |  2101k| 115M|  36 |   - |  40 |  15k|  56 |  40 |  16 |  21 | 648k|2936 | 0.000000e+00 |      --      |    Inf 
851.76/852.09	c   826s|910000 | 96822 |  2125k| 116M|  36 |   5 |  40 |  14k| 880 |  40 |  16 |  21 | 655k|2956 | 0.000000e+00 |      --      |    Inf 
862.35/862.68	c   836s|920000 | 97312 |  2147k| 117M|  36 |   - |  40 |  16k|  16 |  40 |  16 |  21 | 663k|2971 | 0.000000e+00 |      --      |    Inf 
877.05/877.34	c   851s|930000 | 97701 |  2171k| 117M|  36 |   - |  40 |  11k|  14 |  40 |  16 |  21 | 671k|2984 | 0.000000e+00 |      --      |    Inf 
890.34/890.67	c   864s|940000 | 98041 |  2195k| 117M|  36 |   5 |  40 |  10k|  24 |  40 |  16 |  21 | 679k|2996 | 0.000000e+00 |      --      |    Inf 
901.54/901.88	c   875s|950000 | 98553 |  2219k| 119M|  36 |   5 |  40 |  11k|  15 |  40 |  16 |  21 | 687k|3015 | 0.000000e+00 |      --      |    Inf 
913.14/913.42	c   886s|960000 | 99159 |  2242k| 120M|  36 |   - |  40 |  11k|  34 |  40 |  16 |  21 | 694k|3033 | 0.000000e+00 |      --      |    Inf 
926.34/926.61	c   899s|970000 | 99671 |  2266k| 120M|  36 |   - |  40 |9913 |  45 |  40 |  16 |  21 | 702k|3047 | 0.000000e+00 |      --      |    Inf 
937.53/937.87	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
937.53/937.87	c   910s|980000 |100021 |  2290k| 121M|  36 |   - |  40 |  10k|  87 |  40 |  16 |  21 | 710k|3058 | 0.000000e+00 |      --      |    Inf 
947.23/947.58	c   919s|990000 |101173 |  2314k| 123M|  36 |   5 |  40 |  12k| 168 |  40 |  16 |  21 | 717k|3071 | 0.000000e+00 |      --      |    Inf 
957.53/957.82	c   929s|  1000k|102246 |  2338k| 124M|  36 |   - |  40 |  14k|  52 |  40 |  16 |  21 | 725k|3090 | 0.000000e+00 |      --      |    Inf 
967.83/968.18	c   939s|  1010k|102999 |  2361k| 126M|  36 |   5 |  40 |  15k|  13 |  40 |  16 |  21 | 732k|3106 | 0.000000e+00 |      --      |    Inf 
983.22/983.59	c   954s|  1020k|103124 |  2384k| 126M|  36 |   - |  40 |  12k| 203 |  40 |  16 |  21 | 740k|3117 | 0.000000e+00 |      --      |    Inf 
996.51/996.80	c   967s|  1030k|103602 |  2407k| 127M|  36 |   - |  40 |  11k|  21 |  40 |  16 |  21 | 748k|3130 | 0.000000e+00 |      --      |    Inf 
1009.41/1009.76	c   980s|  1040k|103949 |  2430k| 127M|  36 |   5 |  40 |  10k|  95 |  40 |  16 |  21 | 756k|3139 | 0.000000e+00 |      --      |    Inf 
1024.11/1024.47	c   994s|  1050k|103917 |  2454k| 128M|  36 |   5 |  40 |9921 |  52 |  40 |  16 |  21 | 764k|3152 | 0.000000e+00 |      --      |    Inf 
1034.40/1034.77	c  1004s|  1060k|104664 |  2477k| 129M|  36 |   5 |  40 |  11k|  42 |  40 |  16 |  21 | 772k|3163 | 0.000000e+00 |      --      |    Inf 
1048.01/1048.36	c  1018s|  1070k|104887 |  2501k| 130M|  36 |   5 |  40 |  11k| 828 |  40 |  16 |  21 | 780k|3176 | 0.000000e+00 |      --      |    Inf 
1061.71/1062.03	c  1031s|  1080k|105175 |  2525k| 130M|  36 |   5 |  40 |  11k|  60 |  40 |  16 |  21 | 788k|3190 | 0.000000e+00 |      --      |    Inf 
1072.90/1073.26	c  1042s|  1090k|105921 |  2549k| 132M|  36 |   - |  40 |  13k|  53 |  40 |  16 |  21 | 795k|3201 | 0.000000e+00 |      --      |    Inf 
1088.70/1089.09	c  1057s|  1100k|106123 |  2573k| 132M|  36 |   5 |  40 |  11k| 464 |  40 |  16 |  21 | 803k|3211 | 0.000000e+00 |      --      |    Inf 
1099.39/1099.71	c  1068s|  1110k|106860 |  2596k| 133M|  36 |   - |  40 |  12k|  11 |  40 |  16 |  21 | 811k|3222 | 0.000000e+00 |      --      |    Inf 
1111.29/1111.60	c  1079s|  1120k|107339 |  2621k| 135M|  36 |   - |  40 |  13k|  54 |   0 |   0 |  21 | 818k|3233 | 0.000000e+00 |      --      |    Inf 
1123.89/1124.25	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1123.89/1124.25	c  1092s|  1130k|107740 |  2645k| 135M|  36 |   - |  40 |  13k|  23 |  40 |  16 |  21 | 826k|3244 | 0.000000e+00 |      --      |    Inf 
1139.48/1139.85	c  1107s|  1140k|107885 |  2669k| 135M|  36 |   - |  40 |  11k|  47 |  40 |  16 |  21 | 834k|3255 | 0.000000e+00 |      --      |    Inf 
1154.28/1154.63	c  1121s|  1150k|108027 |  2693k| 136M|  36 |   - |  40 |  10k|  23 |  40 |  16 |  21 | 842k|3267 | 0.000000e+00 |      --      |    Inf 
1164.38/1164.77	c  1131s|  1160k|108704 |  2717k| 138M|  36 |   5 |  40 |  13k|  57 |  40 |  16 |  21 | 850k|3280 | 0.000000e+00 |      --      |    Inf 
1176.67/1177.07	c  1143s|  1170k|109354 |  2741k| 139M|  36 |   5 |  40 |  14k|  77 |  40 |  16 |  21 | 858k|3294 | 0.000000e+00 |      --      |    Inf 
1187.57/1188.00	c  1154s|  1180k|110897 |  2763k| 140M|  36 |   - |  40 |  14k| 222 |  40 |  16 |  21 | 864k|3306 | 0.000000e+00 |      --      |    Inf 
1197.07/1197.47	c  1163s|  1190k|112774 |  2785k| 142M|  36 |   - |  40 |  16k| 321 |  40 |  16 |  21 | 871k|3318 | 0.000000e+00 |      --      |    Inf 
1209.26/1209.65	c  1175s|  1200k|114002 |  2807k| 144M|  36 |   - |  40 |  17k|  28 |   0 |   0 |  21 | 877k|3329 | 0.000000e+00 |      --      |    Inf 
1219.96/1220.36	c  1185s|  1210k|115912 |  2829k| 146M|  36 |   - |  40 |  18k|  12 |  40 |  16 |  21 | 884k|3337 | 0.000000e+00 |      --      |    Inf 
1234.66/1235.02	c  1200s|  1220k|116741 |  2852k| 146M|  36 |   5 |  40 |  17k|  33 |  40 |  16 |  21 | 891k|3346 | 0.000000e+00 |      --      |    Inf 
1248.16/1248.56	c  1213s|  1230k|117625 |  2874k| 148M|  36 |   5 |  40 |  18k| 945 |  40 |  16 |  21 | 898k|3352 | 0.000000e+00 |      --      |    Inf 
1262.65/1263.01	c  1227s|  1240k|118438 |  2896k| 149M|  36 |   5 |  40 |  18k| 329 |  40 |  16 |  21 | 905k|3361 | 0.000000e+00 |      --      |    Inf 
1276.84/1277.25	c  1241s|  1250k|119203 |  2918k| 150M|  36 |   5 |  40 |  18k|  84 |  40 |  16 |  21 | 913k|3368 | 0.000000e+00 |      --      |    Inf 
1291.44/1291.86	c  1255s|  1260k|119767 |  2940k| 151M|  36 |   5 |  40 |  19k|  40 |  40 |  16 |  21 | 920k|3376 | 0.000000e+00 |      --      |    Inf 
1307.24/1307.63	c  1271s|  1270k|120210 |  2963k| 152M|  36 |   5 |  40 |  19k|  69 |  40 |  16 |  21 | 928k|3382 | 0.000000e+00 |      --      |    Inf 
1322.84/1323.24	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1322.84/1323.24	c  1286s|  1280k|120732 |  2985k| 153M|  36 |   5 |  40 |  19k| 593 |  40 |  16 |  21 | 935k|3392 | 0.000000e+00 |      --      |    Inf 
1337.93/1338.31	c  1301s|  1290k|121229 |  3008k| 154M|  36 |   5 |  40 |  19k| 112 |  40 |  16 |  21 | 943k|3399 | 0.000000e+00 |      --      |    Inf 
1353.82/1354.29	c  1317s|  1300k|121564 |  3030k| 155M|  36 |   5 |  40 |  19k|   7 |  40 |  16 |  21 | 951k|3407 | 0.000000e+00 |      --      |    Inf 
1367.22/1367.61	c  1330s|  1310k|122623 |  3053k| 156M|  36 |   - |  40 |  21k|   6 |  40 |  16 |  21 | 958k|3413 | 0.000000e+00 |      --      |    Inf 
1383.62/1384.05	c  1346s|  1320k|123208 |  3075k| 157M|  36 |   5 |  40 |  21k| 374 |  40 |  16 |  21 | 965k|3418 | 0.000000e+00 |      --      |    Inf 
1403.41/1403.82	c  1365s|  1330k|123125 |  3098k| 157M|  36 |   - |  40 |  19k| 108 |  40 |  16 |  21 | 974k|3425 | 0.000000e+00 |      --      |    Inf 
1420.61/1421.08	c  1382s|  1340k|123265 |  3121k| 158M|  36 |   - |  40 |  19k| 232 |  40 |  16 |  21 | 982k|3431 | 0.000000e+00 |      --      |    Inf 
1437.51/1437.94	c  1399s|  1350k|123342 |  3143k| 159M|  36 |   - |  40 |  20k|   9 |   0 |   0 |  21 | 990k|3437 | 0.000000e+00 |      --      |    Inf 
1457.90/1458.33	c  1419s|  1360k|123416 |  3166k| 158M|  36 |   5 |  40 |  16k|  35 |  40 |  16 |  21 | 998k|3450 | 0.000000e+00 |      --      |    Inf 
1474.69/1475.12	c  1435s|  1370k|123740 |  3189k| 158M|  36 |   5 |  40 |  15k|  60 |  40 |  16 |  21 |1006k|3461 | 0.000000e+00 |      --      |    Inf 
1490.69/1491.14	c  1451s|  1380k|124055 |  3212k| 159M|  36 |   5 |  40 |  14k| 278 |  40 |  16 |  21 |1014k|3465 | 0.000000e+00 |      --      |    Inf 
1505.38/1505.81	c  1466s|  1390k|124351 |  3235k| 160M|  36 |   - |  40 |  14k|  68 |  40 |  16 |  21 |1022k|3472 | 0.000000e+00 |      --      |    Inf 
1521.47/1521.97	c  1481s|  1400k|124483 |  3260k| 160M|  36 |   - |  40 |  12k| 109 |  40 |  16 |  21 |1030k|3483 | 0.000000e+00 |      --      |    Inf 
1540.07/1540.56	c  1500s|  1410k|124236 |  3284k| 160M|  36 |   - |  40 |  10k|  11 |  40 |  16 |  21 |1038k|3491 | 0.000000e+00 |      --      |    Inf 
1554.98/1555.48	c  1514s|  1420k|124213 |  3307k| 160M|  36 |   - |  40 |  10k|  14 |  40 |  16 |  21 |1046k|3502 | 0.000000e+00 |      --      |    Inf 
1571.16/1571.68	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1571.16/1571.68	c  1530s|  1430k|123936 |  3331k| 160M|  36 |   - |  40 |  10k| 109 |  40 |  16 |  21 |1055k|3509 | 0.000000e+00 |      --      |    Inf 
1585.26/1585.79	c  1544s|  1440k|124132 |  3354k| 161M|  36 |   - |  40 |9715 |  30 |  40 |  16 |  21 |1063k|3513 | 0.000000e+00 |      --      |    Inf 
1593.86/1594.36	c  1552s|  1450k|124885 |  3378k| 162M|  36 |   - |  40 |  11k|  20 |  40 |  16 |  21 |1070k|3520 | 0.000000e+00 |      --      |    Inf 
1603.96/1604.49	c  1562s|  1460k|125267 |  3400k| 163M|  36 |   5 |  40 |  12k|  40 |  40 |  16 |  21 |1078k|3525 | 0.000000e+00 |      --      |    Inf 
1617.25/1617.70	c  1575s|  1470k|125177 |  3422k| 163M|  36 |   - |  40 |  10k|  68 |  40 |  16 |  21 |1087k|3529 | 0.000000e+00 |      --      |    Inf 
1631.35/1631.85	c  1589s|  1480k|125287 |  3446k| 164M|  36 |   5 |  40 |  10k|  12 |  40 |  16 |  21 |1095k|3529 | 0.000000e+00 |      --      |    Inf 
1645.25/1645.79	c  1602s|  1490k|125400 |  3470k| 165M|  36 |   - |  40 |  11k|  11 |  40 |  16 |  21 |1103k|3529 | 0.000000e+00 |      --      |    Inf 
1659.94/1660.44	c  1617s|  1500k|125312 |  3494k| 165M|  36 |   - |  40 |  10k|  16 |  40 |  16 |  21 |1111k|3529 | 0.000000e+00 |      --      |    Inf 
1673.75/1674.25	c  1630s|  1510k|125426 |  3518k| 166M|  36 |   5 |  40 |  11k|  29 |  40 |  16 |  21 |1119k|3529 | 0.000000e+00 |      --      |    Inf 
1686.33/1686.83	c  1643s|  1520k|125979 |  3541k| 167M|  36 |   5 |  40 |  12k| 520 |  40 |  16 |  21 |1127k|3536 | 0.000000e+00 |      --      |    Inf 
1699.73/1700.20	c  1656s|  1530k|126107 |  3564k| 167M|  36 |   5 |  40 |  12k| 881 |  40 |  16 |  21 |1135k|3543 | 0.000000e+00 |      --      |    Inf 
1715.53/1716.05	c  1671s|  1540k|126004 |  3588k| 168M|  36 |   - |  40 |  12k|   9 |  40 |  16 |  21 |1144k|3547 | 0.000000e+00 |      --      |    Inf 
1727.43/1727.96	c  1683s|  1550k|126860 |  3612k| 169M|  36 |   - |  40 |  10k|  33 |  40 |  16 |  21 |1152k|3557 | 0.000000e+00 |      --      |    Inf 
1737.13/1737.61	c  1692s|  1560k|127864 |  3635k| 170M|  36 |   5 |  40 |  11k|  55 |  40 |  16 |  21 |1159k|3562 | 0.000000e+00 |      --      |    Inf 
1749.62/1750.13	c  1704s|  1570k|127823 |  3659k| 170M|  36 |   5 |  40 |  11k|  87 |  40 |  16 |  21 |1168k|3567 | 0.000000e+00 |      --      |    Inf 
1761.22/1761.71	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1761.22/1761.71	c  1716s|  1580k|128212 |  3683k| 171M|  36 |   - |  40 |  11k|  18 |   0 |   0 |  21 |1176k|3577 | 0.000000e+00 |      --      |    Inf 
1777.61/1778.14	c  1732s|  1590k|127937 |  3706k| 171M|  36 |   5 |  40 |  10k|  35 |  40 |  16 |  21 |1184k|3583 | 0.000000e+00 |      --      |    Inf 
1792.90/1793.44	c  1747s|  1600k|127671 |  3729k| 171M|  36 |   5 |  40 |9590 |  28 |  40 |  16 |  21 |1193k|3589 | 0.000000e+00 |      --      |    Inf 
1800.01/1800.50	c 
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time (sec) : 1753.75
1800.01/1800.50	c Solving Nodes      : 1605127
1800.01/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.50	c Gap                : infinite
1800.01/1800.50	c NODE         1605127
1800.01/1800.50	c DUAL BOUND   0
1800.01/1800.50	c PRIMAL BOUND 1e+20
1800.01/1800.50	c GAP          1e+20
1800.01/1800.50	s UNKNOWN
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time       :    1753.75
1800.01/1800.50	c Original Problem   :
1800.01/1800.50	c   Problem name     : HOME/instance-1869496-1245174771.opb
1800.01/1800.50	c   Variables        : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50	c   Constraints      : 11 initial, 11 maximal
1800.01/1800.50	c Presolved Problem  :
1800.01/1800.50	c   Problem name     : t_HOME/instance-1869496-1245174771.opb
1800.01/1800.50	c   Variables        : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50	c   Constraints      : 5 initial, 22831 maximal
1800.01/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.01/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.50	c   linear           :       0.00          0          0          0          0          0          6          0          0
1800.01/1800.50	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.50	c   integral         :          0          0          0     899760          0        414       1406          0          0    1795966
1800.01/1800.50	c   linear           :          5          6    4242955          0          0     109877    1369409          0          0          0
1800.01/1800.50	c   logicor          :          0+         0    2095340          0          0       8241     875239          0          0          0
1800.01/1800.50	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.50	c   integral         :      11.51       0.00       0.00      11.51       0.00
1800.01/1800.50	c   linear           :     121.14       0.00     121.14       0.00       0.00
1800.01/1800.50	c   logicor          :     724.71       0.00     724.71       0.00       0.00
1800.01/1800.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.50	c   rootredcost      :       1.46          0          0          0
1800.01/1800.50	c   pseudoobj        :       0.89          0          0          0
1800.01/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.50	c   propagation      :       8.22     118118     103459     360067       27.9         32       22.2          -
1800.01/1800.50	c   infeasible LP    :      40.15     633605     633586    1320239       19.1      12201       22.8          0
1800.01/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.50	c   applied globally :          -          -          -    1194610       18.4          -          -          -
1800.01/1800.50	c   applied locally  :          -          -          -       2663       31.4          -          -          -
1800.01/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.50	c   cut pool         :       0.00          5          -          -         12          -    (maximal pool size: 74)
1800.01/1800.50	c   redcost          :       1.82     899758          0          0          0          0
1800.01/1800.50	c   impliedbounds    :       0.00          6          0          0          0          0
1800.01/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.50	c   gomory           :       0.01          6          0          0          0          0
1800.01/1800.50	c   strongcg         :       0.00          6          0          0         29          0
1800.01/1800.50	c   cmir             :       0.02          6          0          0         26          0
1800.01/1800.50	c   flowcover        :       0.00          6          0          0         32          0
1800.01/1800.50	c   clique           :       0.00          1          0          0          0          0
1800.01/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.50	c   mcf              :       0.00          1          0          0          0          0
1800.01/1800.50	c Pricers            :       Time      Calls       Vars
1800.01/1800.50	c   problem variables:       0.00          0          0
1800.01/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.50	c   relpscost        :      10.31     899760        414       1406          0          0    1795966
1800.01/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   inference        :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.50	c   LP solutions     :       0.00          -          0
1800.01/1800.50	c   pseudo solutions :       0.00          -          0
1800.01/1800.50	c   oneopt           :       0.84          0          0
1800.01/1800.50	c   crossover        :       0.55          0          0
1800.01/1800.50	c   guideddiving     :       0.16          0          0
1800.01/1800.50	c   feaspump         :       0.15         25          0
1800.01/1800.50	c   objpscostdiving  :       0.10         25          0
1800.01/1800.50	c   rootsoldiving    :       0.14         25          0
1800.01/1800.50	c   coefdiving       :       0.14         50          0
1800.01/1800.50	c   pscostdiving     :       0.13         50          0
1800.01/1800.50	c   linesearchdiving :       0.23         50          0
1800.01/1800.50	c   fracdiving       :       0.11         50          0
1800.01/1800.50	c   veclendiving     :       0.12         50          0
1800.01/1800.50	c   simplerounding   :       0.34          0          0
1800.01/1800.50	c   rounding         :       0.85      13404          0
1800.01/1800.50	c   shifting         :       1.85       3920          0
1800.01/1800.50	c   intshifting      :       0.09          0          0
1800.01/1800.50	c   fixandinfer      :       0.00          0          0
1800.01/1800.50	c   intdiving        :       0.00          0          0
1800.01/1800.50	c   actconsdiving    :       0.00          0          0
1800.01/1800.50	c   octane           :       0.00          0          0
1800.01/1800.50	c   rens             :       0.04          1          0
1800.01/1800.50	c   rins             :       0.00          0          0
1800.01/1800.50	c   localbranching   :       0.00          0          0
1800.01/1800.50	c   mutation         :       0.00          0          0
1800.01/1800.50	c   dins             :       0.00          0          0
1800.01/1800.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.50	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.50	c   dual LP          :     136.80    1481156    3740181       2.53   27340.50
1800.01/1800.50	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.50	c   diving/probing LP:       0.07        752       1439       1.91   20557.14
1800.01/1800.50	c   strong branching :       0.62       3594      15522       4.32   25035.48
1800.01/1800.50	c     (at root node) :          -         16        494      30.88          -
1800.01/1800.50	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.50	c B&B Tree           :
1800.01/1800.50	c   number of runs   :          1
1800.01/1800.50	c   nodes            :    1605127
1800.01/1800.50	c   nodes (total)    :    1605127
1800.01/1800.50	c   nodes left       :     127599
1800.01/1800.50	c   max depth        :         36
1800.01/1800.50	c   max depth (total):         36
1800.01/1800.50	c   backtracks       :     370618 (23.1%)
1800.01/1800.50	c   delayed cutoffs  :      63241
1800.01/1800.50	c   repropagations   :    1634369 (1139997 domain reductions, 44384 cutoffs)
1800.01/1800.50	c   avg switch length:       6.12
1800.01/1800.50	c   switching time   :     467.74
1800.01/1800.50	c Solution           :
1800.01/1800.50	c   Solutions found  :          0 (0 improvements)
1800.01/1800.50	c   Primal Bound     :          -
1800.01/1800.50	c   Dual Bound       : +0.00000000000000e+00
1800.01/1800.50	c   Gap              :   infinite
1800.01/1800.50	c   Root Dual Bound  : +0.00000000000000e+00
1801.10/1801.61	c Time complete: 1801.12.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3880
/proc/meminfo: memFree=1881440/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=4324 CPUtime=0
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 185077233 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/3880/statm: 1081 460 297 886 0 191 0

[startup+0.0130869 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3880
/proc/meminfo: memFree=1881440/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=9488 CPUtime=0
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 1894 0 0 0 0 0 0 0 18 0 1 0 185077233 9715712 1523 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 2372 1531 365 886 0 1482 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9488

[startup+0.101095 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3880
/proc/meminfo: memFree=1881440/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=20548 CPUtime=0.09
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 4365 0 0 0 8 1 0 0 18 0 1 0 185077233 21041152 3993 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 5137 3993 552 886 0 4247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20548

[startup+0.301115 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3880
/proc/meminfo: memFree=1881440/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=14840 CPUtime=0.29
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 4379 0 0 0 26 3 0 0 19 0 1 0 185077233 15196160 2910 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 3710 2910 566 886 0 2820 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14840

[startup+0.701158 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3880
/proc/meminfo: memFree=1881440/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=14840 CPUtime=0.69
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 4380 0 0 0 62 7 0 0 22 0 1 0 185077233 15196160 2911 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 3710 2911 566 886 0 2820 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14840

[startup+1.50224 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1871768/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=14840 CPUtime=1.49
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 4383 0 0 0 135 14 0 0 25 0 1 0 185077233 15196160 2914 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 3710 2914 566 886 0 2820 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14840

[startup+3.10142 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1871064/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=16636 CPUtime=3.09
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 4825 0 0 0 285 24 0 0 25 0 1 0 185077233 17035264 3356 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 4159 3356 566 886 0 3269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16636

[startup+6.30176 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1868504/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=18568 CPUtime=6.29
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 5308 0 0 0 585 44 0 0 25 0 1 0 185077233 19013632 3839 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 4642 3839 566 886 0 3752 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18568

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1865632/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=21272 CPUtime=12.68
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 5981 0 0 0 1183 85 0 0 25 0 1 0 185077233 21782528 4512 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 5318 4512 566 886 0 4428 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21272

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1860064/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=26732 CPUtime=25.49
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 7328 0 0 0 2401 148 0 0 25 0 1 0 185077233 27373568 5859 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 6683 5859 566 886 0 5793 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26732

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1852256/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=34768 CPUtime=51.08
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 9314 0 0 0 4846 262 0 0 25 0 1 0 185077233 35602432 7845 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 8692 7845 566 886 0 7802 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34768

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1838944/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=47864 CPUtime=102.26
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 12590 0 0 0 9754 472 0 0 25 0 1 0 185077233 49012736 11121 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 11966 11121 566 886 0 11076 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 47864

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1828960/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=57616 CPUtime=162.25
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 15070 0 0 0 15529 696 0 0 25 0 1 0 185077233 58998784 13601 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 14404 13601 566 886 0 13514 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 57616

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1815200/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=71172 CPUtime=222.23
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 18486 0 0 0 21321 902 0 0 25 0 1 0 185077233 72880128 17017 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 17793 17017 566 886 0 16903 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71172

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1805920/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=80936 CPUtime=282.21
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 20790 0 0 0 27154 1067 0 0 25 0 1 0 185077233 82878464 19321 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 20234 19321 566 886 0 19344 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 80936

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1799968/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=86868 CPUtime=342.2
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 22310 0 0 0 32976 1244 0 0 25 0 1 0 185077233 88952832 20841 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 21717 20841 566 886 0 20827 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 86868

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1790624/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=97612 CPUtime=402.18
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 24574 0 0 0 38793 1425 0 0 25 0 1 0 185077233 99954688 23105 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 24403 23105 566 886 0 23513 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 97612

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3881
/proc/meminfo: memFree=1783904/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=104228 CPUtime=462.17
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 26232 0 0 0 44639 1578 0 0 25 0 1 0 185077233 106729472 24763 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 26057 24763 566 886 0 25167 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 104228

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1779040/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=108732 CPUtime=522.15
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 27431 0 0 0 50471 1744 0 0 25 0 1 0 185077233 111341568 25962 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 27183 25962 566 886 0 26293 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 108732

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1772000/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=115760 CPUtime=582.13
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 29178 0 0 0 56317 1896 0 0 25 0 1 0 185077233 118538240 27709 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 28940 27709 566 886 0 28050 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 115760

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1762976/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=124680 CPUtime=642.11
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 31403 0 0 0 62158 2053 0 0 25 0 1 0 185077233 127672320 29934 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 31170 29934 566 886 0 30280 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 124680

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1732640/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=154684 CPUtime=1002.02
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 38909 0 0 0 97260 2942 0 0 25 0 1 0 185077233 158396416 37440 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 38671 37440 566 886 0 37781 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 154684

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1729696/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=157500 CPUtime=1062
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 39628 0 0 0 103119 3081 0 0 25 0 1 0 185077233 161280000 38159 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 39375 38159 566 886 0 38485 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 157500

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1724448/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=162660 CPUtime=1121.99
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 40938 0 0 0 108973 3226 0 0 25 0 1 0 185077233 166563840 39469 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 40665 39469 566 886 0 39775 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 162660

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1719584/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=167408 CPUtime=1181.97
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 42145 0 0 0 114833 3364 0 0 25 0 1 0 185077233 171425792 40676 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 41852 40676 566 886 0 40962 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 167408

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1710944/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=175716 CPUtime=1241.96
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 44263 0 0 0 120691 3505 0 0 25 0 1 0 185077233 179933184 42794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 43929 42794 566 886 0 43039 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 175716

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1707424/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=179348 CPUtime=1301.94
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 45140 0 0 0 126569 3625 0 0 25 0 1 0 185077233 183652352 43671 1992294400 4194304 7823515 548682068736 18446744073709551615 5102447 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 44837 43671 566 886 0 43947 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 179348

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1704160/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=182516 CPUtime=1361.92
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 45956 0 0 0 132452 3740 0 0 25 0 1 0 185077233 186896384 44487 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 45629 44487 566 886 0 44739 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 182516

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1701152/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=185304 CPUtime=1421.91
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 46677 0 0 0 138353 3838 0 0 25 0 1 0 185077233 189751296 45208 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 46326 45208 566 886 0 45436 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 185304

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1698464/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=188308 CPUtime=1481.89
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 47332 0 0 0 144252 3937 0 0 25 0 1 0 185077233 192827392 45863 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 47077 45863 566 886 0 46187 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 188308

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1697952/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=188820 CPUtime=1541.87
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 47462 0 0 0 150132 4055 0 0 25 0 1 0 185077233 193351680 45993 1992294400 4194304 7823515 548682068736 18446744073709551615 4207898 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 47205 45993 566 886 0 46315 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 188820

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1695392/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=192148 CPUtime=1601.86
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 48305 0 0 0 155991 4195 0 0 25 0 1 0 185077233 196759552 46836 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 48037 46836 566 886 0 47147 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 192148

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1692768/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=193856 CPUtime=1661.85
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 48745 0 0 0 161866 4319 0 0 25 0 1 0 185077233 198508544 47276 1992294400 4194304 7823515 548682068736 18446744073709551615 5102455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 48464 47276 566 886 0 47574 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 193856

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1689632/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=196928 CPUtime=1721.83
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 49524 0 0 0 167738 4445 0 0 25 0 1 0 185077233 201654272 48055 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 49232 48055 566 886 0 48342 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 196928

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1686624/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=199808 CPUtime=1781.81
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 50261 0 0 0 173591 4590 0 0 25 0 1 0 185077233 204603392 48792 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 49952 48792 566 886 0 49062 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 199808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3887
/proc/meminfo: memFree=1686112/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=200320 CPUtime=1800.01
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 50389 0 0 0 175375 4626 0 0 25 0 1 0 185077233 205127680 48920 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3880/statm: 50080 48920 566 886 0 49190 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 200320

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 3888
/proc/meminfo: memFree=1686040/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=200320 CPUtime=1800.1
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 50391 0 0 0 175384 4626 0 0 25 0 1 0 185077233 205127680 48922 1992294400 4194304 7823515 548682068736 18446744073709551615 5875162 0 0 4096 0 0 0 0 17 1 0 0
/proc/3880/statm: 50080 48922 568 886 0 49190 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 200320

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 3888
/proc/meminfo: memFree=1686040/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=200320 CPUtime=1800.9
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 50391 0 0 0 175464 4626 0 0 25 0 1 0 185077233 205127680 48922 1992294400 4194304 7823515 548682068736 18446744073709551615 4733160 0 0 4096 0 0 0 0 17 1 0 0
/proc/3880/statm: 50080 48922 568 886 0 49190 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 200320

[startup+1801.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 3888
/proc/meminfo: memFree=1686040/2055920 swapFree=4181536/4192956
[pid=3880] ppid=3878 vsize=141296 CPUtime=1801.1
/proc/3880/stat : 3880 (pbscip.linux.x8) R 3878 3880 3843 0 -1 4194304 50391 0 0 0 175482 4628 0 0 25 0 1 0 185077233 144687104 34510 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/3880/statm: 35324 34510 11075 886 0 34434 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 141296

Child status: 0
Real time (s): 1801.62
CPU time (s): 1801.13
CPU user time (s): 1754.82
CPU system time (s): 46.303
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 200320

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

runsolver used 1.21081 second user time and 3.9384 second system time

The end

Launcher Data 

Begin job on node19 at 2009-06-16 19:52:51
IDJOB=1869496
IDBENCH=2903
IDSOLVER=683
FILE ID=node19/1869496-1245174771
PBS_JOBID= 9363929
Free space on /tmp= 66160 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869496-1245174771/watcher-1869496-1245174771 -o /tmp/evaluation-result-1869496-1245174771/solver-1869496-1245174771 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869496-1245174771.opb

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

MD5SUM BENCH= 4618b6422bdc12197131d1d37f567363
RANDOM SEED=1930463466

node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1881920 kB
Buffers:         36292 kB
Cached:          73248 kB
SwapCached:       6060 kB
Active:          67216 kB
Inactive:        50992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1881920 kB
SwapTotal:     4192956 kB
SwapFree:      4181536 kB
Dirty:            9992 kB
Writeback:           0 kB
Mapped:          13388 kB
Slab:            41768 kB
Committed_AS:   194784 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66148 MiB
End job on node19 at 2009-06-16 20:22:54