Trace number 2664797

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.7 1801.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_2.opb
MD5SUM1d7dd5c267917b6fb58d303c57bfa918
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark77.4292
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables31
Total number of constraints9
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 constraints8
Minimum length of a constraint1
Maximum length of a constraint30
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 808
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2424
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: NONE] [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-2664797-1276600492.opb>
0.00/0.01	c original problem has 31 variables (31 bin, 0 int, 0 impl, 0 cont) and 9 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
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, 5 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, 5 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 30 variables (30 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02	c       4 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.00
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 # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02	c lp/solvefreq = -1
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 |     2 |     0 |     - | 178k|   0 |   - |  30 |   4 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.10/1.16	c   1.0s| 10000 |  5318 |     0 |   0.0 |2593k|  19 |   - |  30 |1052 |   0 |   0 |   0 |1070 |   0 | 0.000000e+00 |      --      |    Inf 
2.59/2.68	c   2.4s| 20000 | 10076 |     0 |   0.0 |4804k|  21 |   - |  30 |2064 |   0 |   0 |   0 |2184 |   0 | 0.000000e+00 |      --      |    Inf 
4.89/4.96	c   4.5s| 30000 | 14019 |     0 |   0.0 |6841k|  21 |   - |  30 |2944 |   0 |   0 |   0 |3624 |   0 | 0.000000e+00 |      --      |    Inf 
8.09/8.14	c   7.5s| 40000 | 16298 |     0 |   0.0 |8555k|  21 |   - |  30 |3816 |   0 |   0 |   0 |5362 |   0 | 0.000000e+00 |      --      |    Inf 
11.68/11.79	c  11.1s| 50000 | 19948 |     0 |   0.0 |  10M|  23 |   - |  30 |4129 |   0 |   0 |   0 |7035 |   0 | 0.000000e+00 |      --      |    Inf 
14.69/14.74	c  13.9s| 60000 | 24794 |     0 |   0.0 |  12M|  23 |   - |  30 |3372 |   0 |   0 |   0 |8256 |   0 | 0.000000e+00 |      --      |    Inf 
17.78/17.86	c  16.8s| 70000 | 28737 |     0 |   0.0 |  13M|  23 |   - |  30 |3753 |   0 |   0 |   0 |9723 |   0 | 0.000000e+00 |      --      |    Inf 
21.69/21.78	c  20.6s| 80000 | 32067 |     0 |   0.0 |  15M|  23 |   - |  30 |4495 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
26.48/26.53	c  25.2s| 90000 | 34831 |     0 |   0.0 |  17M|  23 |   - |  30 |5119 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
32.29/32.34	c  30.9s|100000 | 37054 |     0 |   0.0 |  18M|  23 |   - |  30 |6037 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
40.08/40.11	c  38.5s|110000 | 38355 |     0 |   0.0 |  20M|  23 |   - |  30 |7425 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
49.88/49.96	c  48.2s|120000 | 38954 |     0 |   0.0 |  21M|  23 |   - |  30 |8794 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
57.67/57.75	c  55.9s|130000 | 42778 |     0 |   0.0 |  23M|  23 |   - |  30 |8914 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
64.07/64.18	c  62.1s|140000 | 47668 |     0 |   0.0 |  25M|  23 |   - |  30 |7835 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
70.68/70.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
70.68/70.78	c  68.6s|150000 | 51841 |     0 |   0.0 |  26M|  23 |   - |  30 |7376 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
77.08/77.18	c  74.9s|160000 | 55748 |     0 |   0.0 |  27M|  23 |   - |  30 |7312 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
84.07/84.11	c  81.6s|170000 | 59268 |     0 |   0.0 |  29M|  23 |   - |  30 |7504 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
91.28/91.35	c  88.7s|180000 | 62754 |     0 |   0.0 |  30M|  23 |   - |  30 |7810 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
99.76/99.87	c  97.1s|190000 | 65668 |     0 |   0.0 |  32M|  23 |   - |  30 |8343 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
108.77/108.80	c   106s|200000 | 68519 |     0 |   0.0 |  33M|  23 |   - |  30 |8748 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
118.36/118.43	c   115s|210000 | 71354 |     0 |   0.0 |  35M|  23 |   - |  30 |9246 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
129.36/129.42	c   126s|220000 | 73546 |     0 |   0.0 |  36M|  24 |   - |  30 |9798 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
141.25/141.31	c   138s|230000 | 75525 |     0 |   0.0 |  38M|  24 |   - |  30 |  10k|   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
154.45/154.55	c   151s|240000 | 77453 |     0 |   0.0 |  39M|  24 |   - |  30 |  11k|   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
167.95/168.05	c   164s|250000 | 79450 |     0 |   0.0 |  41M|  24 |   - |  30 |  11k|   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
183.04/183.14	c   179s|260000 | 80697 |     0 |   0.0 |  42M|  24 |   - |  30 |  12k|   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
200.15/200.24	c   196s|270000 | 81661 |     0 |   0.0 |  43M|  24 |   - |  30 |  13k|   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
220.24/220.30	c   216s|280000 | 82448 |     0 |   0.0 |  45M|  24 |   - |  30 |  14k|   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
247.03/247.18	c   243s|290000 | 81784 |     0 |   0.0 |  46M|  24 |   - |  30 |  16k|   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
258.22/258.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
258.22/258.31	c   254s|300000 | 87138 |     0 |   0.0 |  47M|  24 |   - |  30 |  14k|   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
269.82/269.94	c   265s|310000 | 91734 |     0 |   0.0 |  49M|  24 |   - |  30 |  13k|   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
281.22/281.30	c   277s|320000 | 95989 |     0 |   0.0 |  50M|  24 |   - |  30 |  13k|   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
293.82/293.96	c   289s|330000 | 99682 |     0 |   0.0 |  51M|  24 |   - |  30 |  13k|   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
306.21/306.31	c   301s|340000 |103574 |     0 |   0.0 |  53M|  24 |   - |  30 |  13k|   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
318.82/318.98	c   314s|350000 |106981 |     0 |   0.0 |  54M|  24 |   - |  30 |  13k|   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
333.31/333.40	c   328s|360000 |110006 |     0 |   0.0 |  56M|  24 |   - |  30 |  13k|   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
347.61/347.76	c   342s|370000 |113125 |     0 |   0.0 |  57M|  24 |   - |  30 |  13k|   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
361.90/362.04	c   356s|380000 |116358 |     0 |   0.0 |  58M|  24 |   - |  30 |  14k|   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
376.60/376.73	c   371s|390000 |119572 |     0 |   0.0 |  60M|  24 |   - |  30 |  14k|   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
394.20/394.30	c   388s|400000 |122054 |     0 |   0.0 |  61M|  24 |   - |  30 |  14k|   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
412.08/412.28	c   406s|410000 |124458 |     0 |   0.0 |  63M|  24 |   - |  30 |  15k|   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
431.49/431.65	c   425s|420000 |126596 |     0 |   0.0 |  64M|  24 |   - |  30 |  15k|   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
450.89/451.04	c   445s|430000 |128821 |     0 |   0.0 |  65M|  24 |   - |  30 |  15k|   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
470.07/470.30	c   464s|440000 |131120 |     0 |   0.0 |  66M|  24 |   - |  30 |  15k|   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
489.96/490.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
489.96/490.15	c   483s|450000 |133477 |     0 |   0.0 |  68M|  24 |   - |  30 |  15k|   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
511.06/511.26	c   504s|460000 |135768 |     0 |   0.0 |  69M|  24 |   - |  30 |  16k|   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
535.96/536.16	c   529s|470000 |137187 |     0 |   0.0 |  71M|  24 |   - |  30 |  17k|   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
562.05/562.22	c   555s|480000 |138649 |     0 |   0.0 |  72M|  24 |   - |  30 |  18k|   0 |   0 |   0 |  77k|   0 | 0.000000e+00 |      --      |    Inf 
588.04/588.27	c   581s|490000 |140210 |     0 |   0.0 |  73M|  24 |   - |  30 |  19k|   0 |   0 |   0 |  79k|   0 | 0.000000e+00 |      --      |    Inf 
615.24/615.48	c   608s|500000 |141722 |     0 |   0.0 |  75M|  24 |   - |  30 |  20k|   0 |   0 |   0 |  81k|   0 | 0.000000e+00 |      --      |    Inf 
647.12/647.30	c   640s|510000 |143032 |     0 |   0.0 |  76M|  24 |   - |  30 |  19k|   0 |   0 |   0 |  83k|   0 | 0.000000e+00 |      --      |    Inf 
678.02/678.28	c   670s|520000 |144351 |     0 |   0.0 |  77M|  24 |   - |  30 |  19k|   0 |   0 |   0 |  85k|   0 | 0.000000e+00 |      --      |    Inf 
708.22/708.48	c   700s|530000 |145786 |     0 |   0.0 |  78M|  24 |   - |  30 |  20k|   0 |   0 |   0 |  87k|   0 | 0.000000e+00 |      --      |    Inf 
742.40/742.64	c   734s|540000 |146628 |     0 |   0.0 |  79M|  24 |   - |  30 |  21k|   0 |   0 |   0 |  90k|   0 | 0.000000e+00 |      --      |    Inf 
778.79/779.05	c   771s|550000 |146971 |     0 |   0.0 |  80M|  24 |   - |  30 |  22k|   0 |   0 |   0 |  92k|   0 | 0.000000e+00 |      --      |    Inf 
814.79/815.01	c   806s|560000 |147530 |     0 |   0.0 |  82M|  24 |   - |  30 |  23k|   0 |   0 |   0 |  95k|   0 | 0.000000e+00 |      --      |    Inf 
855.77/856.00	c   847s|570000 |147805 |     0 |   0.0 |  83M|  25 |   - |  30 |  24k|   0 |   0 |   0 |  97k|   0 | 0.000000e+00 |      --      |    Inf 
900.77/901.02	c   892s|580000 |147653 |     0 |   0.0 |  84M|  25 |   - |  30 |  25k|   0 |   0 |   0 | 100k|   0 | 0.000000e+00 |      --      |    Inf 
949.95/950.27	c   941s|590000 |147164 |     0 |   0.0 |  84M|  25 |   - |  30 |  26k|   0 |   0 |   0 | 103k|   0 | 0.000000e+00 |      --      |    Inf 
1008.83/1009.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1008.83/1009.17	c  1000s|600000 |145589 |     0 |   0.0 |  84M|  25 |   - |  30 |  28k|   0 |   0 |   0 | 106k|   0 | 0.000000e+00 |      --      |    Inf 
1076.32/1076.61	c  1067s|610000 |144637 |     0 |   0.0 |  85M|  25 |   - |  30 |  29k|   0 |   0 |   0 | 110k|   0 | 0.000000e+00 |      --      |    Inf 
1098.91/1099.21	c  1089s|620000 |149577 |     0 |   0.0 |  86M|  25 |   - |  30 |  26k|   0 |   0 |   0 | 110k|   0 | 0.000000e+00 |      --      |    Inf 
1121.50/1121.82	c  1112s|630000 |154047 |     0 |   0.0 |  87M|  25 |   - |  30 |  25k|   0 |   0 |   0 | 111k|   0 | 0.000000e+00 |      --      |    Inf 
1145.80/1146.13	c  1136s|640000 |158091 |     0 |   0.0 |  88M|  25 |   - |  30 |  24k|   0 |   0 |   0 | 112k|   0 | 0.000000e+00 |      --      |    Inf 
1168.90/1169.22	c  1159s|650000 |162185 |     0 |   0.0 |  90M|  25 |   - |  30 |  23k|   0 |   0 |   0 | 113k|   0 | 0.000000e+00 |      --      |    Inf 
1194.19/1194.58	c  1184s|660000 |165473 |     0 |   0.0 |  91M|  25 |   - |  30 |  23k|   0 |   0 |   0 | 114k|   0 | 0.000000e+00 |      --      |    Inf 
1219.98/1220.30	c  1210s|670000 |168730 |     0 |   0.0 |  92M|  25 |   - |  30 |  23k|   0 |   0 |   0 | 115k|   0 | 0.000000e+00 |      --      |    Inf 
1244.68/1245.00	c  1234s|680000 |172083 |     0 |   0.0 |  93M|  25 |   - |  30 |  23k|   0 |   0 |   0 | 116k|   0 | 0.000000e+00 |      --      |    Inf 
1270.26/1270.60	c  1260s|690000 |175389 |     0 |   0.0 |  94M|  25 |   - |  30 |  22k|   0 |   0 |   0 | 118k|   0 | 0.000000e+00 |      --      |    Inf 
1294.86/1295.29	c  1284s|700000 |178504 |     0 |   0.0 |  95M|  25 |   - |  30 |  22k|   0 |   0 |   0 | 119k|   0 | 0.000000e+00 |      --      |    Inf 
1325.06/1325.48	c  1314s|710000 |180887 |     0 |   0.0 |  96M|  25 |   - |  30 |  22k|   0 |   0 |   0 | 120k|   0 | 0.000000e+00 |      --      |    Inf 
1354.64/1355.05	c  1344s|720000 |183366 |     0 |   0.0 |  97M|  25 |   - |  30 |  22k|   0 |   0 |   0 | 121k|   0 | 0.000000e+00 |      --      |    Inf 
1385.14/1385.58	c  1374s|730000 |185839 |     0 |   0.0 |  98M|  25 |   - |  30 |  22k|   0 |   0 |   0 | 123k|   0 | 0.000000e+00 |      --      |    Inf 
1413.52/1413.92	c  1402s|740000 |188497 |     0 |   0.0 | 100M|  25 |   - |  30 |  22k|   0 |   0 |   0 | 124k|   0 | 0.000000e+00 |      --      |    Inf 
1443.52/1443.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1443.52/1443.94	c  1432s|750000 |191002 |     0 |   0.0 | 101M|  25 |   - |  30 |  22k|   0 |   0 |   0 | 126k|   0 | 0.000000e+00 |      --      |    Inf 
1472.22/1472.70	c  1461s|760000 |193723 |     0 |   0.0 | 102M|  25 |   - |  30 |  22k|   0 |   0 |   0 | 127k|   0 | 0.000000e+00 |      --      |    Inf 
1499.20/1499.66	c  1487s|770000 |196584 |     0 |   0.0 | 103M|  25 |   - |  30 |  23k|   0 |   0 |   0 | 129k|   0 | 0.000000e+00 |      --      |    Inf 
1530.29/1530.72	c  1518s|780000 |199154 |     0 |   0.0 | 104M|  25 |   - |  30 |  23k|   0 |   0 |   0 | 131k|   0 | 0.000000e+00 |      --      |    Inf 
1565.09/1565.50	c  1553s|790000 |201090 |     0 |   0.0 | 106M|  25 |   - |  30 |  24k|   0 |   0 |   0 | 132k|   0 | 0.000000e+00 |      --      |    Inf 
1603.39/1603.82	c  1591s|800000 |202313 |     0 |   0.0 | 106M|  25 |   - |  30 |  24k|   0 |   0 |   0 | 134k|   0 | 0.000000e+00 |      --      |    Inf 
1642.67/1643.11	c  1630s|810000 |203613 |     0 |   0.0 | 107M|  25 |   - |  30 |  24k|   0 |   0 |   0 | 136k|   0 | 0.000000e+00 |      --      |    Inf 
1681.16/1681.60	c  1668s|820000 |205080 |     0 |   0.0 | 108M|  25 |   - |  30 |  24k|   0 |   0 |   0 | 137k|   0 | 0.000000e+00 |      --      |    Inf 
1718.04/1718.59	c  1705s|830000 |206814 |     0 |   0.0 | 109M|  25 |   - |  30 |  24k|   0 |   0 |   0 | 139k|   0 | 0.000000e+00 |      --      |    Inf 
1754.13/1754.62	c  1741s|840000 |208648 |     0 |   0.0 | 110M|  25 |   - |  30 |  24k|   0 |   0 |   0 | 140k|   0 | 0.000000e+00 |      --      |    Inf 
1788.62/1789.17	c  1775s|850000 |210516 |     0 |   0.0 | 111M|  25 |   - |  30 |  24k|   0 |   0 |   0 | 142k|   0 | 0.000000e+00 |      --      |    Inf 
1800.03/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51	c 
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time (sec) : 1786.72
1800.03/1800.51	c Solving Nodes      : 853160
1800.03/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.51	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.51	c Gap                : infinite
1800.03/1800.51	s UNKNOWN
1800.03/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.51	c Solving Time       :    1786.72
1800.03/1800.51	c Original Problem   :
1800.03/1800.51	c   Problem name     : HOME/instance-2664797-1276600492.opb
1800.03/1800.51	c   Variables        : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 9 initial, 9 maximal
1800.03/1800.51	c Presolved Problem  :
1800.03/1800.51	c   Problem name     : t_HOME/instance-2664797-1276600492.opb
1800.03/1800.51	c   Variables        : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51	c   Constraints      : 4 initial, 30072 maximal
1800.03/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.03/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   linear           :       0.00          0          0          0          0          0          5          0          0
1800.03/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.51	c   linear           :          4          0    1227682          0     547520     336067    2375534          0          0          0
1800.03/1800.51	c   logicor          :          0+         0     507216          0          0        308      84170          0          0          0
1800.03/1800.51	c   countsols        :          0          0          0          0     547520          0          0          0          0          0
1800.03/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.51	c   linear           :      54.11       0.00      53.29       0.00       0.82
1800.03/1800.51	c   logicor          :     932.66       0.00     932.66       0.00       0.00
1800.03/1800.51	c   countsols        :       0.18       0.00       0.00       0.00       0.18
1800.03/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.51	c   vbounds          :       0.66          2          0          0
1800.03/1800.51	c   rootredcost      :       0.70          0          0          0
1800.03/1800.51	c   pseudoobj        :       0.50          0          0          0
1800.03/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.51	c   propagation      :      12.17     336375     132844     245232       20.2          0        0.0          -
1800.03/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.51	c   applied globally :          -          -          -     143379       19.6          -          -          -
1800.03/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.51	c Pricers            :       Time      Calls       Vars
1800.03/1800.51	c   problem variables:       0.00          0          0
1800.03/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   inference        :       4.98     547520          0          0          0          0    1095040
1800.03/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.51	c   LP solutions     :       0.00          -          0
1800.03/1800.51	c   pseudo solutions :       0.00          -          0
1800.03/1800.51	c   oneopt           :       0.66          0          0
1800.03/1800.51	c   trivial          :       0.00          2          0
1800.03/1800.51	c   simplerounding   :       0.00          0          0
1800.03/1800.51	c   zirounding       :       0.00          0          0
1800.03/1800.51	c   rounding         :       0.00          0          0
1800.03/1800.51	c   shifting         :       0.00          0          0
1800.03/1800.51	c   intshifting      :       0.00          0          0
1800.03/1800.51	c   twoopt           :       0.00          0          0
1800.03/1800.51	c   fixandinfer      :       0.00          0          0
1800.03/1800.51	c   feaspump         :       0.00          0          0
1800.03/1800.51	c   coefdiving       :       0.00          0          0
1800.03/1800.51	c   pscostdiving     :       0.00          0          0
1800.03/1800.51	c   fracdiving       :       0.00          0          0
1800.03/1800.51	c   veclendiving     :       0.00          0          0
1800.03/1800.51	c   intdiving        :       0.00          0          0
1800.03/1800.51	c   actconsdiving    :       0.00          0          0
1800.03/1800.51	c   objpscostdiving  :       0.00          0          0
1800.03/1800.51	c   rootsoldiving    :       0.00          0          0
1800.03/1800.51	c   linesearchdiving :       0.00          0          0
1800.03/1800.51	c   guideddiving     :       0.00          0          0
1800.03/1800.51	c   octane           :       0.00          0          0
1800.03/1800.51	c   rens             :       0.00          0          0
1800.03/1800.51	c   rins             :       0.00          0          0
1800.03/1800.51	c   localbranching   :       0.00          0          0
1800.03/1800.51	c   mutation         :       0.00          0          0
1800.03/1800.51	c   crossover        :       0.00          0          0
1800.03/1800.51	c   dins             :       0.00          0          0
1800.03/1800.51	c   undercover       :       0.00          0          0
1800.03/1800.51	c   nlp              :       0.70          0          0
1800.03/1800.51	c   trysol           :       0.43          0          0
1800.03/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.51	c B&B Tree           :
1800.03/1800.51	c   number of runs   :          1
1800.03/1800.51	c   nodes            :     853160
1800.03/1800.51	c   nodes (total)    :     853160
1800.03/1800.51	c   nodes left       :     211084
1800.03/1800.51	c   max depth        :         25
1800.03/1800.51	c   max depth (total):         25
1800.03/1800.51	c   backtracks       :     143110 (16.8%)
1800.03/1800.51	c   delayed cutoffs  :      30797
1800.03/1800.51	c   repropagations   :     108271 (248902 domain reductions, 30735 cutoffs)
1800.03/1800.51	c   avg switch length:       7.01
1800.03/1800.51	c   switching time   :     537.48
1800.03/1800.51	c Solution           :
1800.03/1800.51	c   Solutions found  :          0 (0 improvements)
1800.03/1800.51	c   Primal Bound     :          -
1800.03/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.51	c   Gap              :   infinite
1800.03/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.51	c   Root Iterations  :          0
1800.63/1801.16	c Time complete: 1800.69.

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-2664797-1276600492/watcher-2664797-1276600492 -o /tmp/evaluation-result-2664797-1276600492/solver-2664797-1276600492 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664797-1276600492.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: 0.98 0.98 1.04 3/105 9610
/proc/meminfo: memFree=1793272/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=6584 CPUtime=0
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 1071 0 0 0 0 0 0 0 25 0 1 0 1342724 6742016 995 1992294400 4194304 7136930 140737144885408 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9610/statm: 1646 1005 254 719 0 925 0

[startup+0.039716 s]
/proc/loadavg: 0.98 0.98 1.04 3/105 9610
/proc/meminfo: memFree=1793272/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=10880 CPUtime=0.03
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 2922 0 0 0 3 0 0 0 25 0 1 0 1342724 11141120 1978 1992294400 4194304 7136930 140737144885408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 2720 1978 387 719 0 1999 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10880

[startup+0.100722 s]
/proc/loadavg: 0.98 0.98 1.04 3/105 9610
/proc/meminfo: memFree=1793272/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=11064 CPUtime=0.09
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 2981 0 0 0 7 2 0 0 25 0 1 0 1342724 11329536 2037 1992294400 4194304 7136930 140737144885408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 2766 2037 387 719 0 2045 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11064

[startup+0.300741 s]
/proc/loadavg: 0.98 0.98 1.04 3/105 9610
/proc/meminfo: memFree=1793272/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=11776 CPUtime=0.29
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 3158 0 0 0 25 4 0 0 25 0 1 0 1342724 12058624 2214 1992294400 4194304 7136930 140737144885408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 2944 2214 387 719 0 2223 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11776

[startup+0.700779 s]
/proc/loadavg: 0.98 0.98 1.04 3/105 9610
/proc/meminfo: memFree=1793272/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=13484 CPUtime=0.69
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 3595 0 0 0 59 10 0 0 25 0 1 0 1342724 13807616 2651 1992294400 4194304 7136930 140737144885408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 3371 2651 387 719 0 2650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13484

[startup+1.50085 s]
/proc/loadavg: 0.98 0.98 1.04 2/106 9611
/proc/meminfo: memFree=1783468/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=14768 CPUtime=1.49
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 3918 0 0 0 132 17 0 0 25 0 1 0 1342724 15122432 2974 1992294400 4194304 7136930 140737144885408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 3692 2974 387 719 0 2971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14768

[startup+3.10101 s]
/proc/loadavg: 0.98 0.98 1.04 2/106 9611
/proc/meminfo: memFree=1780988/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=17420 CPUtime=3.09
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 4623 0 0 0 278 31 0 0 25 0 1 0 1342724 17838080 3679 1992294400 4194304 7136930 140737144885408 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 4355 3679 387 719 0 3634 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17420

[startup+6.30031 s]
/proc/loadavg: 1.06 1.00 1.05 2/106 9611
/proc/meminfo: memFree=1776896/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=20300 CPUtime=6.28
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 5333 0 0 0 579 49 0 0 25 0 1 0 1342724 20787200 4389 1992294400 4194304 7136930 140737144885408 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 5075 4389 387 719 0 4354 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20300

[startup+12.7009 s]
/proc/loadavg: 1.06 1.00 1.04 2/106 9611
/proc/meminfo: memFree=1772440/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=24944 CPUtime=12.69
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 6438 0 0 0 1192 77 0 0 25 0 1 0 1342724 25542656 5494 1992294400 4194304 7136930 140737144885408 18446744073709551615 5953128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 6236 5494 387 719 0 5515 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24944

[startup+25.5011 s]
/proc/loadavg: 1.05 1.00 1.04 2/106 9611
/proc/meminfo: memFree=1765868/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=31356 CPUtime=25.49
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 8059 0 0 0 2422 127 0 0 25 0 1 0 1342724 32108544 7115 1992294400 4194304 7136930 140737144885408 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 7839 7115 387 719 0 7118 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31356

[startup+51.1006 s]
/proc/loadavg: 1.03 1.00 1.04 2/106 9613
/proc/meminfo: memFree=1759544/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=37864 CPUtime=51.08
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 9628 0 0 0 4933 175 0 0 25 0 1 0 1342724 38772736 8684 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 9466 8684 387 719 0 8745 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37864

[startup+102.308 s]
/proc/loadavg: 1.01 1.00 1.04 2/106 9613
/proc/meminfo: memFree=1746276/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=52896 CPUtime=102.27
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 12875 0 0 0 9951 276 0 0 25 0 1 0 1342724 54165504 11931 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 13224 11931 387 719 0 12503 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52896

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/106 9615
/proc/meminfo: memFree=1738712/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=60852 CPUtime=162.25
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 14867 0 0 0 15866 359 0 0 25 0 1 0 1342724 62312448 13923 1992294400 4194304 7136930 140737144885408 18446744073709551615 4220868 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 15213 13923 387 719 0 14492 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 60852

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 9617
/proc/meminfo: memFree=1732140/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=67556 CPUtime=222.24
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 16401 0 0 0 21810 414 0 0 25 0 1 0 1342724 69177344 15457 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 16889 15457 387 719 0 16168 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 67556

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 9619
/proc/meminfo: memFree=1725072/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=74520 CPUtime=282.22
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 18155 0 0 0 27750 472 0 0 25 0 1 0 1342724 76308480 17211 1992294400 4194304 7136930 140737144885408 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 18630 17211 387 719 0 17909 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 74520

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 9621
/proc/meminfo: memFree=1719368/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=79832 CPUtime=342.2
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 19544 0 0 0 33683 537 0 0 25 0 1 0 1342724 81747968 18600 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 19958 18600 387 719 0 19237 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 79832

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 9621
/proc/meminfo: memFree=1713044/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=85824 CPUtime=402.19
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 21081 0 0 0 39624 595 0 0 25 0 1 0 1342724 87883776 20137 1992294400 4194304 7136930 140737144885408 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 21456 20137 387 719 0 20735 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 85824

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9623
/proc/meminfo: memFree=1709076/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=89704 CPUtime=462.17
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 22084 0 0 0 45570 647 0 0 25 0 1 0 1342724 91856896 21140 1992294400 4194304 7136930 140737144885408 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 22426 21140 387 719 0 21705 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 89704

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9625
/proc/meminfo: memFree=1704984/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=94440 CPUtime=522.16
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 23107 0 0 0 51526 690 0 0 25 0 1 0 1342724 96706560 22163 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 23610 22163 387 719 0 22889 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 94440

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9627
/proc/meminfo: memFree=1701512/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=98100 CPUtime=582.14
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 23940 0 0 0 57487 727 0 0 25 0 1 0 1342724 100454400 22996 1992294400 4194304 7136930 140737144885408 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 24525 22996 387 719 0 23804 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 98100

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9629
/proc/meminfo: memFree=1697172/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=102428 CPUtime=642.14
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 25013 0 0 0 63453 761 0 0 25 0 1 0 1342724 104886272 24069 1992294400 4194304 7136930 140737144885408 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 25607 24069 387 719 0 24886 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 102428

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9637
/proc/meminfo: memFree=1687996/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=111320 CPUtime=1002.03
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 27199 0 0 0 99287 916 0 0 25 0 1 0 1342724 113991680 26255 1992294400 4194304 7136930 140737144885408 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 27830 26255 387 719 0 27109 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 111320

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9639
/proc/meminfo: memFree=1686756/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=113396 CPUtime=1062.02
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 27540 0 0 0 105268 934 0 0 25 0 1 0 1342724 116117504 26596 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 28349 26596 387 719 0 27628 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 113396

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9644
/proc/meminfo: memFree=1682540/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=117344 CPUtime=1122
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 28410 0 0 0 111229 971 0 0 25 0 1 0 1342724 120160256 27466 1992294400 4194304 7136930 140737144885408 18446744073709551615 4210077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 29336 27466 387 719 0 28615 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 117344

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9646
/proc/meminfo: memFree=1679440/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=120320 CPUtime=1181.99
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 29196 0 0 0 117190 1009 0 0 25 0 1 0 1342724 123207680 28252 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 30080 28252 387 719 0 29359 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 120320

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9648
/proc/meminfo: memFree=1677208/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=122524 CPUtime=1241.97
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 29776 0 0 0 123150 1047 0 0 25 0 1 0 1342724 125464576 28832 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 30631 28832 387 719 0 29910 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 122524

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9648
/proc/meminfo: memFree=1674480/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=125112 CPUtime=1301.96
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 30451 0 0 0 129114 1082 0 0 25 0 1 0 1342724 128114688 29507 1992294400 4194304 7136930 140737144885408 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 31278 29507 387 719 0 30557 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 125112

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9650
/proc/meminfo: memFree=1671504/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=127956 CPUtime=1361.94
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 31182 0 0 0 135080 1114 0 0 25 0 1 0 1342724 131026944 30238 1992294400 4194304 7136930 140737144885408 18446744073709551615 4210118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 31989 30238 387 719 0 31268 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 127956

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9652
/proc/meminfo: memFree=1669892/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=129512 CPUtime=1421.94
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 31591 0 0 0 141046 1148 0 0 25 0 1 0 1342724 132620288 30647 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 32378 30647 387 719 0 31657 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 129512

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9654
/proc/meminfo: memFree=1667660/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=131584 CPUtime=1481.91
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 32132 0 0 0 147009 1182 0 0 25 0 1 0 1342724 134742016 31188 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999787 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 32896 31188 387 719 0 32175 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 131584

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9656
/proc/meminfo: memFree=1663320/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=139792 CPUtime=1541.89
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 33180 0 0 0 152973 1216 0 0 25 0 1 0 1342724 143147008 32236 1992294400 4194304 7136930 140737144885408 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 34948 32236 387 719 0 34227 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 139792

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9656
/proc/meminfo: memFree=1661460/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=141664 CPUtime=1601.88
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 33658 0 0 0 158945 1243 0 0 25 0 1 0 1342724 145063936 32714 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 35416 32714 387 719 0 34695 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 141664

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9658
/proc/meminfo: memFree=1660468/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=142700 CPUtime=1661.86
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 33926 0 0 0 164918 1268 0 0 25 0 1 0 1342724 146124800 32982 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 35675 32982 387 719 0 34954 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 142700

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9660
/proc/meminfo: memFree=1659228/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=143868 CPUtime=1721.85
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 34229 0 0 0 170889 1296 0 0 25 0 1 0 1342724 147320832 33285 1992294400 4194304 7136930 140737144885408 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 35967 33285 387 719 0 35246 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 143868

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9662
/proc/meminfo: memFree=1657244/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=145420 CPUtime=1781.83
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 34632 0 0 0 176860 1323 0 0 25 0 1 0 1342724 148910080 33688 1992294400 4194304 7136930 140737144885408 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 36355 33688 387 719 0 35634 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 145420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9662
/proc/meminfo: memFree=1656872/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=145808 CPUtime=1800.03
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 34733 0 0 0 178672 1331 0 0 25 0 1 0 1342724 149307392 33789 1992294400 4194304 7136930 140737144885408 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9610/statm: 36452 33789 387 719 0 35731 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 145808

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: 1.00 1.00 1.00 2/107 9663
/proc/meminfo: memFree=1656864/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=145808 CPUtime=1800.14
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 34739 0 0 0 178683 1331 0 0 25 0 1 0 1342724 149307392 33795 1992294400 4194304 7136930 140737144885408 18446744073709551615 6166117 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9610/statm: 36452 33795 393 719 0 35731 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 145808

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9663
/proc/meminfo: memFree=1656864/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=145292 CPUtime=1800.52
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 34739 0 0 0 178721 1331 0 0 25 0 1 0 1342724 148779008 33666 1992294400 4194304 7136930 140737144885408 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9610/statm: 36323 33666 393 719 0 35602 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 145292

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9663
/proc/meminfo: memFree=1656864/2059040 swapFree=4192956/4192956
[pid=9610] ppid=9608 vsize=110208 CPUtime=1800.63
/proc/9610/stat : 9610 (pbscip.linux.x8) R 9608 9610 2300 0 -1 4202496 34739 0 0 0 178731 1332 0 0 25 0 1 0 1342724 112852992 24895 1992294400 4194304 7136930 140737144885408 18446744073709551615 4222731 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9610/statm: 27552 24895 393 719 0 26831 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 110208

Child status: 0
Real time (s): 1801.17
CPU time (s): 1800.7
CPU user time (s): 1787.37
CPU system time (s): 13.333
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 145808

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

runsolver used 2.85157 second user time and 8.63469 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-15 13:14:52
IDJOB=2664797
IDBENCH=2901
IDSOLVER=1167
FILE ID=node089/2664797-1276600492
PBS_JOBID= 11173545
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664797-1276600492/watcher-2664797-1276600492 -o /tmp/evaluation-result-2664797-1276600492/solver-2664797-1276600492 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664797-1276600492.opb -t 1800 -m 1800

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

MD5SUM BENCH= 1d7dd5c267917b6fb58d303c57bfa918
RANDOM SEED=474121993

node089.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.244
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.48
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.244
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	: 5999.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1793676 kB
Buffers:         12764 kB
Cached:         129944 kB
SwapCached:          0 kB
Active:          65164 kB
Inactive:       136920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1793676 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3252 kB
Writeback:           0 kB
AnonPages:       59272 kB
Mapped:          15668 kB
Slab:            41612 kB
PageTables:       3876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180380 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= 62556 MiB
End job on node089 at 2010-06-15 13:44:55