Trace number 2666880

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 NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1801.56 1802.26

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_4.opb
MD5SUM153ea7f27a80a18c7caefc8ed55018be
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 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3621
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.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-2666880-1276617753.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 problem read
0.00/0.01	c presolving settings loaded
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.02	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 - non default parameters ----------------------------------------------------------------------
0.00/0.02	c # SCIP version 1.2.1.2
0.00/0.02	c 
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 = 10000
0.00/0.02	c 
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 = 1800
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 = 1620
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify inequalities
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/linear/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify knapsacks
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02	c separating/rapidlearning/freq = 0
0.00/0.02	c 
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     0 |    24 |     - | 234k|   0 |   5 |  40 |   5 |  40 |   5 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.10	c   0.1s|     1 |     0 |    90 |     - | 318k|   0 |   9 |  40 |  36 |  40 |   9 |   4 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.11	c   0.1s|     1 |     0 |    92 |     - | 340k|   0 |  11 |  40 |  36 |  40 |  12 |   7 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.11	c   0.1s|     1 |     0 |    97 |     - | 354k|   0 |  13 |  40 |  36 |  40 |  15 |  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |   107 |     - | 377k|   0 |  13 |  40 |  36 |  40 |  17 |  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |   118 |     - | 399k|   0 |  15 |  40 |  36 |  40 |  20 |  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.14	c   0.1s|     1 |     0 |   128 |     - | 409k|   0 |  19 |  40 |  36 |  40 |  23 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.20	c   0.2s|     1 |     2 |   128 |     - | 409k|   0 |  19 |  40 |  36 |  40 |  23 |  18 |   0 |   9 | 0.000000e+00 |      --      |    Inf 
4.40/4.40	c   4.0s| 10000 |  3629 | 21893 |   2.2 |3896k|  36 |   5 |  40 |3377 |  40 |  19 |  18 |4671 | 419 | 0.000000e+00 |      --      |    Inf 
8.69/8.70	c   7.9s| 20000 |  6878 | 43456 |   2.2 |5761k|  36 |   5 |  40 |2532 |  40 |  19 |  18 |9566 | 546 | 0.000000e+00 |      --      |    Inf 
12.99/13.02	c  11.9s| 30000 | 10117 | 65380 |   2.2 |7892k|  36 |   5 |  40 |3008 |  40 |  19 |  18 |  14k| 663 | 0.000000e+00 |      --      |    Inf 
17.49/17.51	c  16.1s| 40000 | 13316 | 86708 |   2.2 |9925k|  36 |   5 |  40 |3243 |  40 |  19 |  18 |  19k| 751 | 0.000000e+00 |      --      |    Inf 
22.08/22.18	c  20.3s| 50000 | 16419 |107965 |   2.2 |  12M|  36 |   5 |  40 |3638 |  40 |  19 |  18 |  24k| 798 | 0.000000e+00 |      --      |    Inf 
26.68/26.72	c  24.5s| 60000 | 19973 |129583 |   2.2 |  14M|  36 |   5 |  40 |4462 |  40 |  19 |  18 |  29k| 848 | 0.000000e+00 |      --      |    Inf 
31.78/31.82	c  29.2s| 70000 | 22957 |150062 |   2.1 |  16M|  36 |   - |  40 |4341 |  40 |  19 |  18 |  34k| 884 | 0.000000e+00 |      --      |    Inf 
37.18/37.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
37.18/37.25	c  34.2s| 80000 | 25806 |171303 |   2.1 |  18M|  36 |   5 |  40 |4518 |  40 |  19 |  18 |  39k| 916 | 0.000000e+00 |      --      |    Inf 
42.48/42.56	c  39.2s| 90000 | 28969 |193191 |   2.1 |  20M|  36 |   5 |  40 |4855 |  40 |  19 |  18 |  44k| 960 | 0.000000e+00 |      --      |    Inf 
48.07/48.17	c  44.4s|100000 | 31990 |214040 |   2.1 |  22M|  36 |   5 |  40 |5252 |  40 |  19 |  18 |  50k| 994 | 0.000000e+00 |      --      |    Inf 
53.97/54.02	c  49.9s|110000 | 34729 |234596 |   2.1 |  24M|  36 |   - |  40 |5423 |   0 |   0 |  18 |  55k|1037 | 0.000000e+00 |      --      |    Inf 
59.87/59.97	c  55.5s|120000 | 37386 |255250 |   2.1 |  26M|  36 |   5 |  40 |5517 |  40 |  19 |  18 |  60k|1064 | 0.000000e+00 |      --      |    Inf 
65.77/65.80	c  60.9s|130000 | 40313 |277033 |   2.1 |  28M|  36 |   - |  40 |6097 |  40 |  19 |  18 |  66k|1098 | 0.000000e+00 |      --      |    Inf 
72.07/72.17	c  66.9s|140000 | 42943 |298504 |   2.1 |  30M|  36 |   5 |  40 |5683 |  40 |  19 |  18 |  71k|1152 | 0.000000e+00 |      --      |    Inf 
77.76/77.84	c  72.2s|150000 | 45744 |319843 |   2.1 |  32M|  36 |   - |  40 |6525 |  40 |  19 |  18 |  77k|1181 | 0.000000e+00 |      --      |    Inf 
84.26/84.37	c  78.3s|160000 | 48055 |340589 |   2.1 |  34M|  36 |   5 |  40 |7269 |  40 |  19 |  18 |  82k|1195 | 0.000000e+00 |      --      |    Inf 
90.95/91.02	c  84.5s|170000 | 50546 |361473 |   2.1 |  36M|  36 |   5 |  40 |7502 |  40 |  19 |  18 |  88k|1220 | 0.000000e+00 |      --      |    Inf 
98.75/98.81	c  91.9s|180000 | 52543 |381650 |   2.1 |  37M|  36 |   5 |  40 |7123 |  40 |  19 |  18 |  94k|1248 | 0.000000e+00 |      --      |    Inf 
104.75/104.87	c  97.6s|190000 | 54980 |402580 |   2.1 |  39M|  36 |   - |  40 |8462 |  40 |  19 |  18 | 100k|1263 | 0.000000e+00 |      --      |    Inf 
111.45/111.55	c   104s|200000 | 57500 |422770 |   2.1 |  42M|  36 |   5 |  40 |  11k|  40 |  19 |  18 | 105k|1285 | 0.000000e+00 |      --      |    Inf 
119.55/119.69	c   112s|210000 | 59538 |443959 |   2.1 |  43M|  36 |   - |  40 |8430 |  40 |  19 |  18 | 111k|1306 | 0.000000e+00 |      --      |    Inf 
128.14/128.21	c   120s|220000 | 61308 |464471 |   2.1 |  44M|  36 |   - |  40 |7994 |  40 |  19 |  18 | 117k|1324 | 0.000000e+00 |      --      |    Inf 
135.94/136.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
135.94/136.06	c   127s|230000 | 63131 |485432 |   2.1 |  46M|  36 |   - |  40 |7734 |  40 |  19 |  18 | 123k|1345 | 0.000000e+00 |      --      |    Inf 
143.33/143.46	c   134s|240000 | 65223 |506783 |   2.1 |  48M|  36 |   5 |  40 |9120 |  40 |  19 |  18 | 129k|1376 | 0.000000e+00 |      --      |    Inf 
151.33/151.46	c   142s|250000 | 67105 |527304 |   2.1 |  49M|  36 |   - |  40 |8323 |  40 |  19 |  18 | 135k|1393 | 0.000000e+00 |      --      |    Inf 
159.23/159.36	c   149s|260000 | 69039 |548273 |   2.1 |  51M|  36 |   5 |  40 |9694 |  40 |  19 |  18 | 142k|1407 | 0.000000e+00 |      --      |    Inf 
168.03/168.19	c   158s|270000 | 70882 |569013 |   2.1 |  52M|  36 |   5 |  40 |8551 |  40 |  19 |  18 | 148k|1426 | 0.000000e+00 |      --      |    Inf 
176.22/176.33	c   166s|280000 | 72684 |589696 |   2.1 |  54M|  36 |   5 |  40 |8839 |  40 |  19 |  18 | 154k|1446 | 0.000000e+00 |      --      |    Inf 
183.42/183.55	c   172s|290000 | 74667 |610102 |   2.1 |  56M|  36 |   - |  40 |  10k|  40 |  19 |  18 | 160k|1459 | 0.000000e+00 |      --      |    Inf 
192.91/193.09	c   182s|300000 | 76338 |630521 |   2.1 |  57M|  36 |   5 |  40 |8689 |  40 |  19 |  18 | 167k|1475 | 0.000000e+00 |      --      |    Inf 
202.12/202.29	c   190s|310000 | 78022 |651357 |   2.1 |  59M|  36 |   5 |  40 |8949 |  40 |  19 |  18 | 173k|1507 | 0.000000e+00 |      --      |    Inf 
211.12/211.28	c   199s|320000 | 79793 |672049 |   2.1 |  60M|  36 |   - |  40 |8734 |  40 |  19 |  18 | 179k|1532 | 0.000000e+00 |      --      |    Inf 
218.82/218.93	c   206s|330000 | 81620 |692359 |   2.1 |  62M|  36 |   5 |  40 |  10k|  40 |  19 |  18 | 186k|1559 | 0.000000e+00 |      --      |    Inf 
226.52/226.64	c   214s|340000 | 83864 |713731 |   2.1 |  64M|  36 |   - |  40 |  12k|  40 |  19 |  18 | 192k|1576 | 0.000000e+00 |      --      |    Inf 
236.00/236.13	c   223s|350000 | 85719 |733595 |   2.1 |  66M|  36 |   - |  40 |  12k|  40 |  19 |  18 | 197k|1594 | 0.000000e+00 |      --      |    Inf 
244.90/245.02	c   231s|360000 | 87889 |754470 |   2.1 |  67M|  36 |   - |  40 |  11k|  40 |  19 |  18 | 203k|1609 | 0.000000e+00 |      --      |    Inf 
254.59/254.76	c   240s|370000 | 89493 |775478 |   2.1 |  69M|  36 |   - |  40 |  10k|  40 |  19 |  18 | 210k|1632 | 0.000000e+00 |      --      |    Inf 
264.29/264.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
264.29/264.43	c   250s|380000 | 91215 |795784 |   2.1 |  70M|  36 |   5 |  40 |  10k|  40 |  19 |  18 | 216k|1653 | 0.000000e+00 |      --      |    Inf 
274.08/274.27	c   259s|390000 | 92990 |816279 |   2.1 |  72M|  36 |   5 |  40 |  10k|  40 |  19 |  18 | 223k|1666 | 0.000000e+00 |      --      |    Inf 
282.98/283.11	c   268s|400000 | 94812 |836492 |   2.1 |  73M|  36 |   5 |  40 |  11k|  40 |  19 |  18 | 229k|1677 | 0.000000e+00 |      --      |    Inf 
290.88/291.09	c   275s|410000 | 96977 |855948 |   2.1 |  75M|  36 |   5 |  40 |  12k|  40 |  19 |  18 | 234k|1689 | 0.000000e+00 |      --      |    Inf 
301.88/302.03	c   286s|420000 | 98514 |876119 |   2.1 |  76M|  36 |   - |  40 |  10k|  40 |  19 |  18 | 241k|1706 | 0.000000e+00 |      --      |    Inf 
312.18/312.32	c   296s|430000 | 99944 |896534 |   2.1 |  77M|  36 |   5 |  40 |9421 |  40 |  19 |  18 | 247k|1725 | 0.000000e+00 |      --      |    Inf 
321.76/321.98	c   305s|440000 |101518 |917773 |   2.1 |  79M|  36 |   5 |  40 |9903 |  40 |  19 |  18 | 254k|1739 | 0.000000e+00 |      --      |    Inf 
331.06/331.25	c   314s|450000 |103153 |938099 |   2.1 |  81M|  36 |   5 |  40 |  10k|  40 |  19 |  18 | 260k|1755 | 0.000000e+00 |      --      |    Inf 
339.06/339.20	c   321s|460000 |105111 |959415 |   2.1 |  82M|  36 |   5 |  40 |  11k|  40 |  19 |  18 | 266k|1766 | 0.000000e+00 |      --      |    Inf 
349.66/349.84	c   332s|470000 |106454 |979567 |   2.1 |  83M|  36 |   5 |  40 |  10k|  40 |  19 |  18 | 273k|1778 | 0.000000e+00 |      --      |    Inf 
357.95/358.10	c   339s|480000 |108393 |  1000k|   2.1 |  85M|  36 |   - |  40 |  11k|  40 |  19 |  18 | 279k|1791 | 0.000000e+00 |      --      |    Inf 
368.95/369.18	c   350s|490000 |109716 |  1020k|   2.1 |  86M|  36 |   5 |  40 |  10k|  40 |  19 |  18 | 286k|1809 | 0.000000e+00 |      --      |    Inf 
379.04/379.23	c   360s|500000 |111282 |  1041k|   2.1 |  88M|  36 |   5 |  40 |  10k|  40 |  19 |  18 | 292k|1827 | 0.000000e+00 |      --      |    Inf 
388.84/389.09	c   369s|510000 |112779 |  1062k|   2.1 |  89M|  36 |   - |  40 |  10k|  40 |  19 |  18 | 299k|1848 | 0.000000e+00 |      --      |    Inf 
399.14/399.39	c   379s|520000 |114255 |  1082k|   2.1 |  91M|  36 |   - |  40 |  11k|  40 |  19 |  18 | 305k|1856 | 0.000000e+00 |      --      |    Inf 
409.43/409.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
409.43/409.65	c   389s|530000 |115750 |  1102k|   2.1 |  92M|  36 |   - |  40 |  11k|  40 |  19 |  18 | 312k|1877 | 0.000000e+00 |      --      |    Inf 
420.63/420.80	c   400s|540000 |116945 |  1123k|   2.1 |  93M|  36 |   - |  40 |  11k|  40 |  19 |  18 | 319k|1887 | 0.000000e+00 |      --      |    Inf 
430.83/431.07	c   410s|550000 |118376 |  1143k|   2.1 |  95M|  36 |   - |  40 |  10k|  40 |  19 |  18 | 325k|1904 | 0.000000e+00 |      --      |    Inf 
439.92/440.19	c   418s|560000 |120046 |  1163k|   2.1 |  97M|  36 |   - |  40 |  12k|  40 |  19 |  18 | 331k|1916 | 0.000000e+00 |      --      |    Inf 
449.62/449.86	c   428s|570000 |121590 |  1184k|   2.1 |  98M|  36 |   - |  40 |  12k|  40 |  19 |  18 | 338k|1926 | 0.000000e+00 |      --      |    Inf 
461.12/461.34	c   439s|580000 |122846 |  1205k|   2.1 |  99M|  36 |   5 |  40 |  11k|  40 |  19 |  18 | 345k|1942 | 0.000000e+00 |      --      |    Inf 
470.70/470.92	c   448s|590000 |124427 |  1225k|   2.1 | 101M|  36 |   5 |  40 |  12k|  40 |  19 |  18 | 351k|1952 | 0.000000e+00 |      --      |    Inf 
482.40/482.68	c   459s|600000 |125657 |  1246k|   2.1 | 102M|  36 |   5 |  40 |  11k|  40 |  19 |  18 | 358k|1964 | 0.000000e+00 |      --      |    Inf 
493.61/493.81	c   470s|610000 |127126 |  1266k|   2.1 | 103M|  36 |   - |  40 |  12k|  40 |  19 |  18 | 364k|1984 | 0.000000e+00 |      --      |    Inf 
506.10/506.37	c   482s|620000 |128241 |  1286k|   2.1 | 104M|  36 |   - |  40 |  10k|  40 |  19 |  18 | 371k|1997 | 0.000000e+00 |      --      |    Inf 
515.89/516.17	c   491s|630000 |129774 |  1307k|   2.1 | 106M|  36 |   5 |  40 |  12k|  40 |  19 |  18 | 378k|2012 | 0.000000e+00 |      --      |    Inf 
527.19/527.43	c   502s|640000 |130956 |  1327k|   2.1 | 107M|  36 |   5 |  40 |  12k|  40 |  19 |  18 | 385k|2033 | 0.000000e+00 |      --      |    Inf 
540.48/540.71	c   515s|650000 |132062 |  1348k|   2.1 | 108M|  36 |   5 |  40 |  11k|  40 |  19 |  18 | 392k|2047 | 0.000000e+00 |      --      |    Inf 
552.27/552.52	c   527s|660000 |133241 |  1369k|   2.1 | 109M|  36 |   5 |  40 |  11k|  40 |  19 |  18 | 398k|2063 | 0.000000e+00 |      --      |    Inf 
562.67/562.98	c   537s|670000 |134531 |  1388k|   2.1 | 111M|  36 |   5 |  40 |  12k|  40 |  19 |  18 | 405k|2075 | 0.000000e+00 |      --      |    Inf 
572.88/573.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
572.88/573.19	c   546s|680000 |136257 |  1409k|   2.1 | 113M|  36 |   5 |  40 |  13k|  40 |  19 |  18 | 411k|2093 | 0.000000e+00 |      --      |    Inf 
581.47/581.78	c   555s|690000 |138383 |  1430k|   2.1 | 115M|  36 |   - |  40 |  15k|  40 |  19 |  18 | 417k|2101 | 0.000000e+00 |      --      |    Inf 
591.86/592.10	c   565s|700000 |139901 |  1450k|   2.1 | 116M|  36 |   5 |  40 |  15k|  40 |  19 |  18 | 423k|2116 | 0.000000e+00 |      --      |    Inf 
602.36/602.61	c   575s|710000 |141541 |  1471k|   2.1 | 117M|  36 |   - |  40 |  15k|   0 |   0 |  18 | 430k|2122 | 0.000000e+00 |      --      |    Inf 
612.86/613.12	c   585s|720000 |142961 |  1491k|   2.1 | 119M|  36 |   5 |  40 |  16k|  40 |  19 |  18 | 436k|2133 | 0.000000e+00 |      --      |    Inf 
624.25/624.50	c   596s|730000 |144152 |  1511k|   2.1 | 120M|  36 |   5 |  40 |  15k|  40 |  19 |  18 | 442k|2144 | 0.000000e+00 |      --      |    Inf 
639.04/639.32	c   610s|740000 |145218 |  1531k|   2.1 | 120M|  36 |   - |  40 |  12k|  40 |  19 |  18 | 449k|2161 | 0.000000e+00 |      --      |    Inf 
649.85/650.13	c   621s|750000 |146655 |  1552k|   2.1 | 122M|  36 |   5 |  40 |  14k|  40 |  19 |  18 | 455k|2176 | 0.000000e+00 |      --      |    Inf 
661.43/661.76	c   632s|760000 |147985 |  1572k|   2.1 | 124M|  36 |   5 |  40 |  15k|  40 |  19 |  18 | 462k|2187 | 0.000000e+00 |      --      |    Inf 
670.73/671.01	c   641s|770000 |149990 |  1594k|   2.1 | 126M|  36 |   5 |  40 |  17k|  40 |  19 |  18 | 468k|2200 | 0.000000e+00 |      --      |    Inf 
680.64/680.94	c   650s|780000 |152161 |  1615k|   2.1 | 128M|  36 |   5 |  40 |  18k|  40 |  19 |  18 | 474k|2209 | 0.000000e+00 |      --      |    Inf 
691.82/692.18	c   661s|790000 |153975 |  1636k|   2.1 | 130M|  36 |   - |  40 |  19k|  40 |  19 |  18 | 481k|2215 | 0.000000e+00 |      --      |    Inf 
704.52/704.83	c   673s|800000 |155498 |  1658k|   2.1 | 131M|  36 |   - |  40 |  19k|  40 |  19 |  18 | 487k|2232 | 0.000000e+00 |      --      |    Inf 
716.71/717.08	c   685s|810000 |157026 |  1678k|   2.1 | 132M|  36 |   - |  40 |  20k|  40 |  19 |  18 | 493k|2241 | 0.000000e+00 |      --      |    Inf 
729.91/730.26	c   698s|820000 |158415 |  1699k|   2.1 | 133M|  36 |   5 |  40 |  18k|  40 |  19 |  18 | 500k|2251 | 0.000000e+00 |      --      |    Inf 
744.50/744.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
744.50/744.84	c   712s|830000 |159733 |  1719k|   2.1 | 134M|  36 |   5 |  40 |  15k|  40 |  19 |  18 | 507k|2262 | 0.000000e+00 |      --      |    Inf 
757.00/757.30	c   724s|840000 |161091 |  1739k|   2.1 | 135M|  36 |   5 |  40 |  14k|  40 |  19 |  18 | 513k|2276 | 0.000000e+00 |      --      |    Inf 
771.09/771.48	c   738s|850000 |162209 |  1760k|   2.1 | 136M|  36 |   - |  40 |  13k|  40 |  19 |  18 | 520k|2293 | 0.000000e+00 |      --      |    Inf 
780.99/781.38	c   748s|860000 |163752 |  1781k|   2.1 | 138M|  36 |   - |  40 |  16k|   0 |   0 |  18 | 527k|2310 | 0.000000e+00 |      --      |    Inf 
794.68/795.08	c   761s|870000 |164984 |  1801k|   2.1 | 139M|  36 |   - |  40 |  15k|   0 |   0 |  18 | 534k|2318 | 0.000000e+00 |      --      |    Inf 
807.97/808.35	c   774s|880000 |166253 |  1821k|   2.1 | 140M|  36 |   - |  40 |  15k|  40 |  19 |  18 | 540k|2332 | 0.000000e+00 |      --      |    Inf 
819.67/820.02	c   785s|890000 |167918 |  1842k|   2.1 | 142M|  36 |   5 |  40 |  15k|  40 |  19 |  18 | 547k|2340 | 0.000000e+00 |      --      |    Inf 
831.27/831.61	c   796s|900000 |169307 |  1863k|   2.1 | 144M|  36 |   - |  40 |  16k|  40 |  19 |  18 | 554k|2343 | 0.000000e+00 |      --      |    Inf 
846.27/846.69	c   811s|910000 |170479 |  1883k|   2.1 | 144M|  36 |   - |  40 |  14k|   0 |   0 |  18 | 560k|2353 | 0.000000e+00 |      --      |    Inf 
856.56/856.94	c   821s|920000 |172004 |  1904k|   2.1 | 146M|  36 |   - |  40 |  16k|  40 |  19 |  18 | 567k|2373 | 0.000000e+00 |      --      |    Inf 
870.06/870.46	c   834s|930000 |173374 |  1925k|   2.1 | 147M|  36 |   5 |  40 |  16k|  40 |  19 |  18 | 574k|2387 | 0.000000e+00 |      --      |    Inf 
881.44/881.87	c   845s|940000 |174754 |  1945k|   2.1 | 149M|  36 |   5 |  40 |  16k|  40 |  19 |  18 | 581k|2396 | 0.000000e+00 |      --      |    Inf 
895.74/896.12	c   859s|950000 |175817 |  1966k|   2.1 | 150M|  36 |   5 |  40 |  15k|  40 |  19 |  18 | 588k|2412 | 0.000000e+00 |      --      |    Inf 
908.34/908.74	c   871s|960000 |177101 |  1986k|   2.1 | 151M|  36 |   5 |  40 |  14k|  40 |  19 |  18 | 594k|2422 | 0.000000e+00 |      --      |    Inf 
921.63/922.02	c   884s|970000 |178283 |  2007k|   2.1 | 152M|  36 |   - |  40 |  14k|   0 |   0 |  18 | 601k|2436 | 0.000000e+00 |      --      |    Inf 
935.03/935.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
935.03/935.43	c   897s|980000 |179497 |  2028k|   2.1 | 153M|  36 |   5 |  40 |  13k|  40 |  19 |  18 | 608k|2450 | 0.000000e+00 |      --      |    Inf 
949.42/949.88	c   911s|990000 |180570 |  2048k|   2.1 | 154M|  36 |   - |  40 |  13k|  40 |  19 |  18 | 615k|2462 | 0.000000e+00 |      --      |    Inf 
961.72/962.16	c   923s|  1000k|181825 |  2068k|   2.1 | 156M|  36 |   5 |  40 |  14k|  40 |  19 |  18 | 621k|2470 | 0.000000e+00 |      --      |    Inf 
972.51/972.99	c   933s|  1010k|183032 |  2088k|   2.1 | 158M|  36 |   5 |  40 |  17k|  40 |  19 |  18 | 628k|2480 | 0.000000e+00 |      --      |    Inf 
986.71/987.15	c   947s|  1020k|184167 |  2108k|   2.1 | 159M|  36 |   5 |  40 |  15k|  40 |  19 |  18 | 635k|2489 | 0.000000e+00 |      --      |    Inf 
999.70/1000.17	c   959s|  1030k|185490 |  2128k|   2.1 | 160M|  36 |   5 |  40 |  15k|  40 |  19 |  18 | 641k|2497 | 0.000000e+00 |      --      |    Inf 
1013.90/1014.39	c   973s|  1040k|186449 |  2148k|   2.1 | 161M|  36 |   - |  40 |  15k|   0 |   0 |  18 | 648k|2507 | 0.000000e+00 |      --      |    Inf 
1025.60/1026.00	c   984s|  1050k|187641 |  2169k|   2.1 | 163M|  36 |   5 |  40 |  17k|  40 |  19 |  18 | 655k|2518 | 0.000000e+00 |      --      |    Inf 
1038.99/1039.43	c   997s|  1060k|188977 |  2189k|   2.1 | 164M|  36 |   5 |  40 |  16k|  40 |  19 |  18 | 662k|2533 | 0.000000e+00 |      --      |    Inf 
1052.08/1052.52	c  1010s|  1070k|190276 |  2210k|   2.1 | 165M|  36 |   5 |  40 |  16k|  40 |  19 |  18 | 668k|2541 | 0.000000e+00 |      --      |    Inf 
1067.48/1067.93	c  1025s|  1080k|191230 |  2231k|   2.1 | 166M|  36 |   - |  40 |  15k|  40 |  19 |  18 | 675k|2551 | 0.000000e+00 |      --      |    Inf 
1080.18/1080.67	c  1037s|  1090k|192461 |  2251k|   2.1 | 168M|  36 |   5 |  40 |  16k|  40 |  19 |  18 | 682k|2565 | 0.000000e+00 |      --      |    Inf 
1096.97/1097.40	c  1054s|  1100k|193384 |  2271k|   2.1 | 168M|  36 |   - |  40 |  14k|  40 |  19 |  18 | 689k|2574 | 0.000000e+00 |      --      |    Inf 
1110.26/1110.71	c  1067s|  1110k|194607 |  2292k|   2.1 | 170M|  36 |   5 |  40 |  15k|  40 |  19 |  18 | 696k|2583 | 0.000000e+00 |      --      |    Inf 
1125.26/1125.74	c  1081s|  1120k|195640 |  2312k|   2.1 | 170M|  36 |   - |  40 |  13k|  40 |  19 |  18 | 703k|2590 | 0.000000e+00 |      --      |    Inf 
1139.16/1139.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1139.16/1139.69	c  1095s|  1130k|196650 |  2333k|   2.1 | 172M|  36 |   - |  40 |  14k|  40 |  19 |  18 | 710k|2602 | 0.000000e+00 |      --      |    Inf 
1151.25/1151.78	c  1107s|  1140k|197748 |  2353k|   2.1 | 174M|  36 |   5 |  40 |  16k|  40 |  19 |  18 | 717k|2616 | 0.000000e+00 |      --      |    Inf 
1161.34/1161.80	c  1116s|  1150k|199206 |  2373k|   2.1 | 176M|  36 |   5 |  40 |  19k|  40 |  19 |  18 | 723k|2629 | 0.000000e+00 |      --      |    Inf 
1178.14/1178.67	c  1133s|  1160k|200154 |  2394k|   2.1 | 176M|  36 |   - |  40 |  16k|  40 |  19 |  18 | 730k|2637 | 0.000000e+00 |      --      |    Inf 
1191.63/1192.18	c  1146s|  1170k|201367 |  2416k|   2.1 | 177M|  36 |   - |  40 |  17k|  40 |  19 |  18 | 737k|2647 | 0.000000e+00 |      --      |    Inf 
1202.83/1203.38	c  1157s|  1180k|202726 |  2438k|   2.1 | 179M|  36 |   5 |  40 |  19k|  40 |  19 |  18 | 744k|2657 | 0.000000e+00 |      --      |    Inf 
1216.52/1217.00	c  1170s|  1190k|203997 |  2459k|   2.1 | 181M|  36 |   - |  40 |  20k|  40 |  19 |  18 | 751k|2672 | 0.000000e+00 |      --      |    Inf 
1233.72/1234.23	c  1187s|  1200k|205042 |  2480k|   2.1 | 181M|  36 |   5 |  40 |  16k|  40 |  19 |  18 | 758k|2684 | 0.000000e+00 |      --      |    Inf 
1249.80/1250.40	c  1202s|  1210k|205958 |  2500k|   2.1 | 182M|  36 |   5 |  40 |  15k|  40 |  19 |  18 | 765k|2694 | 0.000000e+00 |      --      |    Inf 
1263.20/1263.78	c  1215s|  1220k|207029 |  2521k|   2.1 | 184M|  36 |   - |  40 |  17k|  40 |  19 |  18 | 772k|2706 | 0.000000e+00 |      --      |    Inf 
1278.70/1279.23	c  1230s|  1230k|208075 |  2541k|   2.1 | 185M|  36 |   - |  40 |  16k|  40 |  19 |  18 | 779k|2715 | 0.000000e+00 |      --      |    Inf 
1293.10/1293.67	c  1244s|  1240k|209185 |  2562k|   2.1 | 186M|  36 |   5 |  40 |  16k|  40 |  19 |  18 | 786k|2726 | 0.000000e+00 |      --      |    Inf 
1304.28/1304.85	c  1255s|  1250k|211044 |  2583k|   2.1 | 188M|  36 |   5 |  40 |  18k|  40 |  19 |  18 | 792k|2734 | 0.000000e+00 |      --      |    Inf 
1315.68/1316.20	c  1266s|  1260k|213033 |  2605k|   2.1 | 190M|  36 |   5 |  40 |  19k|  40 |  19 |  18 | 798k|2742 | 0.000000e+00 |      --      |    Inf 
1328.58/1329.19	c  1279s|  1270k|214477 |  2627k|   2.1 | 191M|  36 |   - |  40 |  20k|   0 |   0 |  18 | 805k|2749 | 0.000000e+00 |      --      |    Inf 
1342.48/1343.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1342.48/1343.10	c  1292s|  1280k|215779 |  2649k|   2.1 | 193M|  36 |   - |  40 |  20k|  40 |  19 |  18 | 811k|2757 | 0.000000e+00 |      --      |    Inf 
1357.57/1358.17	c  1307s|  1290k|216690 |  2670k|   2.1 | 194M|  36 |   5 |  40 |  20k|  40 |  19 |  18 | 818k|2768 | 0.000000e+00 |      --      |    Inf 
1371.36/1371.98	c  1320s|  1300k|218159 |  2692k|   2.1 | 195M|  36 |   5 |  40 |  21k|  40 |  19 |  18 | 825k|2778 | 0.000000e+00 |      --      |    Inf 
1384.36/1384.92	c  1333s|  1310k|220046 |  2714k|   2.1 | 197M|  36 |   5 |  40 |  22k|  40 |  19 |  18 | 831k|2788 | 0.000000e+00 |      --      |    Inf 
1397.65/1398.23	c  1346s|  1320k|222083 |  2735k|   2.1 | 199M|  36 |   - |  40 |  23k|  40 |  19 |  18 | 837k|2797 | 0.000000e+00 |      --      |    Inf 
1412.55/1413.16	c  1360s|  1330k|223581 |  2756k|   2.1 | 200M|  36 |   5 |  40 |  23k|  40 |  19 |  18 | 843k|2808 | 0.000000e+00 |      --      |    Inf 
1427.93/1428.55	c  1375s|  1340k|224914 |  2777k|   2.1 | 201M|  36 |   5 |  40 |  22k|  40 |  19 |  18 | 850k|2817 | 0.000000e+00 |      --      |    Inf 
1443.74/1444.31	c  1391s|  1350k|226166 |  2799k|   2.1 | 203M|  36 |   - |  40 |  23k|  40 |  19 |  18 | 856k|2824 | 0.000000e+00 |      --      |    Inf 
1458.72/1459.33	c  1405s|  1360k|227427 |  2820k|   2.1 | 204M|  36 |   5 |  40 |  23k|  40 |  19 |  18 | 863k|2831 | 0.000000e+00 |      --      |    Inf 
1476.11/1476.72	c  1422s|  1370k|228246 |  2841k|   2.1 | 205M|  36 |   5 |  40 |  21k|  40 |  19 |  18 | 870k|2840 | 0.000000e+00 |      --      |    Inf 
1491.11/1491.76	c  1437s|  1380k|229284 |  2861k|   2.1 | 206M|  36 |   5 |  40 |  22k|  40 |  19 |  18 | 877k|2845 | 0.000000e+00 |      --      |    Inf 
1510.60/1511.26	c  1456s|  1390k|230181 |  2882k|   2.1 | 206M|  36 |   - |  40 |  18k|   0 |   0 |  18 | 884k|2855 | 0.000000e+00 |      --      |    Inf 
1526.21/1526.84	c  1471s|  1400k|231325 |  2902k|   2.1 | 207M|  36 |   5 |  40 |  17k|  40 |  19 |  18 | 891k|2867 | 0.000000e+00 |      --      |    Inf 
1540.20/1540.84	c  1485s|  1410k|232527 |  2923k|   2.1 | 208M|  36 |   5 |  40 |  17k|  40 |  19 |  18 | 898k|2878 | 0.000000e+00 |      --      |    Inf 
1553.69/1554.39	c  1498s|  1420k|233698 |  2943k|   2.1 | 210M|  36 |   5 |  40 |  18k|  40 |  19 |  18 | 904k|2889 | 0.000000e+00 |      --      |    Inf 
1569.58/1570.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1569.58/1570.29	c  1513s|  1430k|234848 |  2963k|   2.1 | 211M|  36 |   - |  40 |  19k|   0 |   0 |  18 | 911k|2897 | 0.000000e+00 |      --      |    Inf 
1584.28/1584.95	c  1528s|  1440k|235975 |  2983k|   2.1 | 212M|  36 |   5 |  40 |  18k|  40 |  19 |  18 | 918k|2909 | 0.000000e+00 |      --      |    Inf 
1594.28/1594.93	c  1537s|  1450k|238046 |  3005k|   2.1 | 214M|  36 |   5 |  40 |  20k|  40 |  19 |  18 | 924k|2919 | 0.000000e+00 |      --      |    Inf 
1605.97/1606.61	c  1548s|  1460k|239465 |  3025k|   2.1 | 216M|  36 |   5 |  40 |  20k|  40 |  19 |  18 | 931k|2924 | 0.000000e+00 |      --      |    Inf 
1618.96/1619.61	c  1561s|  1470k|240545 |  3045k|   2.1 | 217M|  36 |   5 |  40 |  22k|  40 |  19 |  18 | 938k|2932 | 0.000000e+00 |      --      |    Inf 
1630.46/1631.15	c  1572s|  1480k|242454 |  3066k|   2.1 | 219M|  36 |   - |  40 |  23k|   0 |   0 |  18 | 944k|2944 | 0.000000e+00 |      --      |    Inf 
1644.46/1645.12	c  1586s|  1490k|243634 |  3086k|   2.1 | 220M|  36 |   - |  40 |  24k|  40 |  19 |  18 | 951k|2951 | 0.000000e+00 |      --      |    Inf 
1659.55/1660.25	c  1600s|  1500k|244652 |  3106k|   2.1 | 221M|  36 |   - |  40 |  23k|  40 |  19 |  18 | 958k|2958 | 0.000000e+00 |      --      |    Inf 
1673.85/1674.58	c  1614s|  1510k|245832 |  3127k|   2.1 | 223M|  36 |   - |  40 |  24k|  40 |  19 |  18 | 965k|2969 | 0.000000e+00 |      --      |    Inf 
1690.04/1690.78	c  1630s|  1520k|246724 |  3147k|   2.1 | 224M|  36 |   - |  40 |  24k|  40 |  19 |  18 | 972k|2975 | 0.000000e+00 |      --      |    Inf 
1707.43/1708.14	c  1647s|  1530k|247466 |  3166k|   2.1 | 225M|  36 |   5 |  40 |  23k|  40 |  19 |  18 | 979k|2982 | 0.000000e+00 |      --      |    Inf 
1725.93/1726.69	c  1665s|  1540k|248262 |  3186k|   2.1 | 225M|  36 |   5 |  40 |  20k|  40 |  19 |  18 | 986k|2992 | 0.000000e+00 |      --      |    Inf 
1745.22/1745.90	c  1684s|  1550k|249098 |  3207k|   2.1 | 225M|  36 |   5 |  40 |  16k|  40 |  19 |  18 | 993k|3003 | 0.000000e+00 |      --      |    Inf 
1761.21/1761.97	c  1700s|  1560k|250035 |  3227k|   2.1 | 226M|  36 |   5 |  40 |  16k|  40 |  19 |  18 |1000k|3014 | 0.000000e+00 |      --      |    Inf 
1779.21/1779.99	c  1717s|  1570k|250705 |  3247k|   2.1 | 227M|  36 |   5 |  40 |  15k|  40 |  19 |  18 |1008k|3021 | 0.000000e+00 |      --      |    Inf 
1799.10/1799.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1799.10/1799.86	c  1737s|  1580k|251307 |  3268k|   2.1 | 228M|  36 |   5 |  40 |  15k|  40 |  19 |  18 |1015k|3034 | 0.000000e+00 |      --      |    Inf 
1800.01/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.71	c 
1800.01/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.71	c Solving Time (sec) : 1737.51
1800.01/1800.71	c Solving Nodes      : 1580707
1800.01/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.71	c Dual Bound         : +0.00000000000000e+00
1800.01/1800.71	c Gap                : infinite
1800.01/1800.71	s UNKNOWN
1800.01/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.71	c Solving Time       :    1737.51
1800.01/1800.71	c Original Problem   :
1800.01/1800.71	c   Problem name     : HOME/instance-2666880-1276617753.opb
1800.01/1800.71	c   Variables        : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.71	c   Constraints      : 11 initial, 11 maximal
1800.01/1800.71	c Presolved Problem  :
1800.01/1800.71	c   Problem name     : t_HOME/instance-2666880-1276617753.opb
1800.01/1800.71	c   Variables        : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.71	c   Constraints      : 5 initial, 26061 maximal
1800.01/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.71	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.01/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.71	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.71	c   linear           :       0.00          0          0          0          0          0          6          0          0
1800.01/1800.71	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.71	c   integral         :          0          0          0     946350          0        448       1201          0          0    1889442
1800.01/1800.71	c   linear           :          5+         7    3791744          0          0     132106    1297628          0          0          0
1800.01/1800.71	c   logicor          :          0+         0    1894231          0          0       5106     736083          0          0          0
1800.01/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.71	c   integral         :      12.54       0.00       0.00      12.54       0.00
1800.01/1800.71	c   linear           :     132.89       0.00     132.89       0.00       0.00
1800.01/1800.71	c   logicor          :     671.66       0.00     671.66       0.00       0.00
1800.01/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.71	c   vbounds          :       2.10          2          0          0
1800.01/1800.71	c   rootredcost      :       2.07          0          0          0
1800.01/1800.71	c   pseudoobj        :       1.70          0          0          0
1800.01/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.71	c   propagation      :       9.33     137212     111986     384859       29.3         29       25.2          -
1800.01/1800.71	c   infeasible LP    :      35.36     550270     550247    1056221       19.2       8545       23.5          0
1800.01/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.71	c   applied globally :          -          -          -    1007089       18.9          -          -          -
1800.01/1800.71	c   applied locally  :          -          -          -       8710       31.4          -          -          -
1800.01/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.71	c   cut pool         :       0.00          5          -          -         67          -    (maximal pool size: 93)
1800.01/1800.71	c   redcost          :       2.05     946355          0          0          0          0
1800.01/1800.71	c   impliedbounds    :       0.00          6          0          0          0          0
1800.01/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.71	c   gomory           :       0.00          6          0          0          0          0
1800.01/1800.71	c   strongcg         :       0.00          6          0          0         16          0
1800.01/1800.71	c   cmir             :       0.03          6          0          0         44          0
1800.01/1800.71	c   flowcover        :       0.00          6          0          0         55          0
1800.01/1800.71	c   clique           :       0.00          1          0          0          0          0
1800.01/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.71	c   mcf              :       0.00          1          0          0          0          0
1800.01/1800.71	c   rapidlearning    :       0.07          1          0          0          0         31
1800.01/1800.71	c Pricers            :       Time      Calls       Vars
1800.01/1800.71	c   problem variables:       0.00          0          0
1800.01/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.71	c   relpscost        :      11.12     946350        448       1201          0          0    1889442
1800.01/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   inference        :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.71	c   LP solutions     :       0.00          -          0
1800.01/1800.71	c   pseudo solutions :       0.00          -          0
1800.01/1800.71	c   oneopt           :       1.69          0          0
1800.01/1800.71	c   crossover        :       1.21          0          0
1800.01/1800.71	c   guideddiving     :       0.17          0          0
1800.01/1800.71	c   veclendiving     :       0.16         52          0
1800.01/1800.71	c   linesearchdiving :       0.11         53          0
1800.01/1800.71	c   coefdiving       :       0.20         53          0
1800.01/1800.71	c   pscostdiving     :       0.15         53          0
1800.01/1800.71	c   fracdiving       :       0.25         53          0
1800.01/1800.71	c   rootsoldiving    :       0.14         27          0
1800.01/1800.71	c   objpscostdiving  :       0.21         27          0
1800.01/1800.71	c   feaspump         :       0.15         27          0
1800.01/1800.71	c   trivial          :       0.00          2          0
1800.01/1800.71	c   simplerounding   :       0.51          0          0
1800.01/1800.71	c   zirounding       :       0.93       1000          0
1800.01/1800.71	c   rounding         :       1.16      13687          0
1800.01/1800.71	c   shifting         :       2.27       4258          0
1800.01/1800.71	c   intshifting      :       0.06          0          0
1800.01/1800.71	c   twoopt           :       0.00          0          0
1800.01/1800.71	c   fixandinfer      :       0.00          0          0
1800.01/1800.71	c   intdiving        :       0.00          0          0
1800.01/1800.71	c   actconsdiving    :       0.00          0          0
1800.01/1800.71	c   octane           :       0.00          0          0
1800.01/1800.71	c   rens             :       0.04          1          0
1800.01/1800.71	c   rins             :       0.00          0          0
1800.01/1800.71	c   localbranching   :       0.00          0          0
1800.01/1800.71	c   mutation         :       0.00          0          0
1800.01/1800.71	c   dins             :       0.00          0          0
1800.01/1800.71	c   undercover       :       0.00          0          0
1800.01/1800.71	c   nlp              :       0.89          0          0
1800.01/1800.71	c   trysol           :       1.19          0          0
1800.01/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.71	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.71	c   dual LP          :     134.18    1435994    3268400       2.28   24358.32
1800.01/1800.71	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.71	c   diving/probing LP:       0.09        815       1508       1.85   16755.56
1800.01/1800.71	c   strong branching :       0.52       3034      12215       4.03   23490.38
1800.01/1800.71	c     (at root node) :          -          9        460      51.11          -
1800.01/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.71	c B&B Tree           :
1800.01/1800.71	c   number of runs   :          1
1800.01/1800.71	c   nodes            :    1580707
1800.01/1800.71	c   nodes (total)    :    1580707
1800.01/1800.71	c   nodes left       :     251477
1800.01/1800.71	c   max depth        :         36
1800.01/1800.71	c   max depth (total):         36
1800.01/1800.71	c   backtracks       :     285355 (18.1%)
1800.01/1800.71	c   delayed cutoffs  :      57259
1800.01/1800.71	c   repropagations   :    1343227 (1033195 domain reductions, 51308 cutoffs)
1800.01/1800.71	c   avg switch length:       5.37
1800.01/1800.71	c   switching time   :     474.61
1800.01/1800.71	c Solution           :
1800.01/1800.71	c   Solutions found  :          0 (0 improvements)
1800.01/1800.71	c   Primal Bound     :          -
1800.01/1800.71	c   Dual Bound       : +0.00000000000000e+00
1800.01/1800.71	c   Gap              :   infinite
1800.01/1800.71	c   Root Dual Bound  : +0.00000000000000e+00
1800.01/1800.71	c   Root Iterations  :        128
1801.49/1802.25	c Time complete: 1801.55.

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-2666880-1276617753/watcher-2666880-1276617753 -o /tmp/evaluation-result-2666880-1276617753/solver-2666880-1276617753 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666880-1276617753.opb -t 1800 -m 1800 

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: 1.00 1.00 1.06 3/106 5443
/proc/meminfo: memFree=1778352/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=7724 CPUtime=0
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 1030 0 0 0 0 0 0 0 20 0 1 0 37378805 7909376 950 1992294400 4194304 8223781 140733509804896 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5443/statm: 1931 960 348 984 0 944 0

[startup+0.0630241 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 5443
/proc/meminfo: memFree=1778352/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=19492 CPUtime=0.05
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 4872 0 0 0 4 1 0 0 20 0 1 0 37378805 19959808 3646 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 4873 3646 568 984 0 3886 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19492

[startup+0.101032 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 5443
/proc/meminfo: memFree=1778352/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=19492 CPUtime=0.09
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 4876 0 0 0 7 2 0 0 20 0 1 0 37378805 19959808 3650 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 4873 3650 568 984 0 3886 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19492

[startup+0.301069 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 5443
/proc/meminfo: memFree=1778352/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=13300 CPUtime=0.29
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 8137 0 0 0 24 5 0 0 20 0 1 0 37378805 13619200 2470 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 3325 2470 588 984 0 2338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13300

[startup+0.701142 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 5443
/proc/meminfo: memFree=1778352/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=13480 CPUtime=0.69
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 8156 0 0 0 60 9 0 0 21 0 1 0 37378805 13803520 2489 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 3370 2489 588 984 0 2383 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13480

[startup+1.50129 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5444
/proc/meminfo: memFree=1770036/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=14852 CPUtime=1.49
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 8500 0 0 0 133 16 0 0 23 0 1 0 37378805 15208448 2833 1992294400 4194304 8223781 140733509804896 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 3713 2833 588 984 0 2726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14852

[startup+3.10059 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5444
/proc/meminfo: memFree=1767928/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=17080 CPUtime=3.08
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 9082 0 0 0 278 30 0 0 25 0 1 0 37378805 17489920 3415 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 4270 3415 588 984 0 3283 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17080

[startup+6.30118 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5446
/proc/meminfo: memFree=1764828/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=19144 CPUtime=6.29
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 9566 0 0 0 575 54 0 0 25 0 1 0 37378805 19603456 3899 1992294400 4194304 8223781 140733509804896 18446744073709551615 4210300 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 4786 3899 588 984 0 3799 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19144

[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5446
/proc/meminfo: memFree=1761356/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=22988 CPUtime=12.68
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 10562 0 0 0 1163 105 0 0 25 0 1 0 37378805 23539712 4895 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 5747 4895 588 984 0 4760 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22988

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5446
/proc/meminfo: memFree=1754412/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=29868 CPUtime=25.48
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 12330 0 0 0 2337 211 0 0 25 0 1 0 37378805 30584832 6663 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 7467 6663 588 984 0 6480 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29868

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 5446
/proc/meminfo: memFree=1743996/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=39600 CPUtime=51.07
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 14738 0 0 0 4717 390 0 0 25 0 1 0 37378805 40550400 9071 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 9900 9071 588 984 0 8913 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39600

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 5448
/proc/meminfo: memFree=1725892/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=57316 CPUtime=102.26
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 19201 0 0 0 9520 706 0 0 25 0 1 0 37378805 58691584 13534 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 14329 13534 588 984 0 13342 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 57316

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 5450
/proc/meminfo: memFree=1710392/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=74652 CPUtime=162.23
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 23007 0 0 0 15226 997 0 0 25 0 1 0 37378805 76443648 17340 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 18663 17340 588 984 0 17676 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 74652

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 5450
/proc/meminfo: memFree=1698116/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=86756 CPUtime=222.21
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 26105 0 0 0 20942 1279 0 0 25 0 1 0 37378805 88838144 20438 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 21689 20438 588 984 0 20702 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 86756

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 5452
/proc/meminfo: memFree=1686956/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=97624 CPUtime=282.19
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 28875 0 0 0 26687 1532 0 0 25 0 1 0 37378805 99966976 23208 1992294400 4194304 8223781 140733509804896 18446744073709551615 6207757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 24406 23208 588 984 0 23419 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 97624

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 5454
/proc/meminfo: memFree=1677780/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=106648 CPUtime=342.16
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 31116 0 0 0 32432 1784 0 0 25 0 1 0 37378805 109207552 25449 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 26662 25449 588 984 0 25675 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 106648

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 5456
/proc/meminfo: memFree=1668108/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=116188 CPUtime=402.13
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 33519 0 0 0 38193 2020 0 0 25 0 1 0 37378805 118976512 27852 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 29047 27852 588 984 0 28060 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 116188

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 5458
/proc/meminfo: memFree=1661288/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=122684 CPUtime=462.11
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 35175 0 0 0 43951 2260 0 0 25 0 1 0 37378805 125628416 29508 1992294400 4194304 8223781 140733509804896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 30671 29508 588 984 0 29684 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 122684

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 5458
/proc/meminfo: memFree=1651492/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=132248 CPUtime=522.09
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 37598 0 0 0 49740 2469 0 0 25 0 1 0 37378805 135421952 31931 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 33062 31931 588 984 0 32075 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 132248

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5460
/proc/meminfo: memFree=1643804/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=139840 CPUtime=582.07
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 39505 0 0 0 55516 2691 0 0 25 0 1 0 37378805 143196160 33838 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 34960 33838 588 984 0 33973 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 139840

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5462
/proc/meminfo: memFree=1633016/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=151180 CPUtime=642.05
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 42183 0 0 0 61311 2894 0 0 25 0 1 0 37378805 154808320 36516 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 37795 36516 588 984 0 36808 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 151180

[startup+702.302 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5475
/proc/meminfo: memFree=1592716/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=190804 CPUtime=1001.9
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 52095 0 0 0 96151 4039 0 0 25 0 1 0 37378805 195383296 46428 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 47701 46428 588 984 0 46714 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 190804

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5477
/proc/meminfo: memFree=1587632/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=195780 CPUtime=1061.87
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 53369 0 0 0 101975 4212 0 0 25 0 1 0 37378805 200478720 47702 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 48945 47702 588 984 0 47958 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 195780

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5477
/proc/meminfo: memFree=1582672/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=200500 CPUtime=1121.86
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 54580 0 0 0 107798 4388 0 0 25 0 1 0 37378805 205312000 48913 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 50125 48913 588 984 0 49138 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 200500

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5479
/proc/meminfo: memFree=1576224/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=210764 CPUtime=1181.83
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 56177 0 0 0 113618 4565 0 0 25 0 1 0 37378805 215822336 50510 1992294400 4194304 8223781 140733509804896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 52691 50510 588 984 0 51704 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 210764

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5481
/proc/meminfo: memFree=1570520/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=216268 CPUtime=1241.81
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 57524 0 0 0 119437 4744 0 0 25 0 1 0 37378805 221458432 51857 1992294400 4194304 8223781 140733509804896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 54067 51857 588 984 0 53080 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 216268

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5483
/proc/meminfo: memFree=1566056/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=220540 CPUtime=1301.79
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 58655 0 0 0 125268 4911 0 0 25 0 1 0 37378805 225832960 52988 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 55135 52988 588 984 0 54148 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 220540

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5485
/proc/meminfo: memFree=1557376/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=229012 CPUtime=1361.76
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 60800 0 0 0 131083 5093 0 0 25 0 1 0 37378805 234508288 55133 1992294400 4194304 8223781 140733509804896 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 57253 55133 588 984 0 56266 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 229012

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5485
/proc/meminfo: memFree=1552292/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=234052 CPUtime=1421.75
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 62066 0 0 0 136910 5265 0 0 25 0 1 0 37378805 239669248 56399 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 58513 56399 588 984 0 57526 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 234052

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5487
/proc/meminfo: memFree=1547456/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=238708 CPUtime=1481.71
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 63262 0 0 0 142751 5420 0 0 25 0 1 0 37378805 244436992 57595 1992294400 4194304 8223781 140733509804896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 59677 57595 588 984 0 58690 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 238708

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5489
/proc/meminfo: memFree=1543240/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=243272 CPUtime=1541.7
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 64310 0 0 0 148600 5570 0 0 25 0 1 0 37378805 249110528 58643 1992294400 4194304 8223781 140733509804896 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 60818 58643 588 984 0 59831 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 243272

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5491
/proc/meminfo: memFree=1536172/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=250060 CPUtime=1601.67
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 66017 0 0 0 154418 5749 0 0 25 0 1 0 37378805 256061440 60350 1992294400 4194304 8223781 140733509804896 18446744073709551615 4431710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 62515 60350 588 984 0 61528 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 250060

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5493
/proc/meminfo: memFree=1528608/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=257372 CPUtime=1661.65
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 67913 0 0 0 160239 5926 0 0 25 0 1 0 37378805 263548928 62246 1992294400 4194304 8223781 140733509804896 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 64343 62246 588 984 0 63356 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 257372

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5493
/proc/meminfo: memFree=1523772/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=262448 CPUtime=1721.63
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 69124 0 0 0 166086 6077 0 0 25 0 1 0 37378805 268746752 63457 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 65612 63457 588 984 0 64625 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 262448

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5495
/proc/meminfo: memFree=1520424/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=265412 CPUtime=1781.61
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 69874 0 0 0 171950 6211 0 0 25 0 1 0 37378805 271781888 64207 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 66353 64207 588 984 0 65366 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 265412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5495
/proc/meminfo: memFree=1519184/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=266572 CPUtime=1800.01
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 70168 0 0 0 173751 6250 0 0 25 0 1 0 37378805 272969728 64501 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 66643 64501 588 984 0 65656 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 266572

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5495
/proc/meminfo: memFree=1519184/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=266572 CPUtime=1800.69
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 70169 0 0 0 173819 6250 0 0 25 0 1 0 37378805 272969728 64502 1992294400 4194304 8223781 140733509804896 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5443/statm: 66643 64502 589 984 0 65656 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (KiB) 266572

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5496
/proc/meminfo: memFree=1519176/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=266572 CPUtime=1801.1
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 70169 0 0 0 173860 6250 0 0 25 0 1 0 37378805 272969728 64502 1992294400 4194304 8223781 140733509804896 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5443/statm: 66643 64502 589 984 0 65656 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 266572

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5496
/proc/meminfo: memFree=1519176/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=206560 CPUtime=1801.49
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 70169 0 0 0 173898 6251 0 0 25 0 1 0 37378805 211517440 49499 1992294400 4194304 8223781 140733509804896 18446744073709551615 4332856 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5443/statm: 51640 49499 589 984 0 50653 0
Current children cumulated CPU time (s) 1801.49
Current children cumulated vsize (KiB) 206560

Child status: 0
Real time (s): 1802.26
CPU time (s): 1801.56
CPU user time (s): 1739.02
CPU system time (s): 62.5425
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 266572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1739.02
system time used= 62.5425
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 4702

runsolver used 3.15452 second user time and 8.33773 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-15 18:02:33
IDJOB=2666880
IDBENCH=2929
IDSOLVER=1169
FILE ID=node007/2666880-1276617753
PBS_JOBID= 11172286
Free space on /tmp= 62488 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_4.opb
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-2666880-1276617753/watcher-2666880-1276617753 -o /tmp/evaluation-result-2666880-1276617753/solver-2666880-1276617753 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666880-1276617753.opb -t 1800 -m 1800

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

MD5SUM BENCH= 153ea7f27a80a18c7caefc8ed55018be
RANDOM SEED=353603852

node007.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
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.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1779004 kB
Buffers:         64116 kB
Cached:         123000 kB
SwapCached:       6820 kB
Active:         100636 kB
Inactive:       100604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1779004 kB
SwapTotal:     4192956 kB
SwapFree:      4140360 kB
Dirty:            4484 kB
Writeback:           0 kB
AnonPages:       12172 kB
Mapped:          13120 kB
Slab:            57136 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62484 MiB
End job on node007 at 2010-06-15 18:32:36