Trace number 1885067

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1800.32 1800.86

General information on the benchmark

Name/PURE-SAT/SAT09/CRAFTED/edgematching/
explicit/em_8_4_5_exp.opb
MD5SUM6f599bbea64cbf7ecb6b5b607248feba
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark52.0881
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2420
Total number of constraints51668
Number of constraints which are clauses51668
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 37
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.69/0.74	c SCIP version 1.1.0.7
0.69/0.74	c LP-Solver SoPlex 1.4.1
0.69/0.74	c user parameter file <scip.set> not found - using default parameters
0.69/0.74	c read problem <HOME/instance-1885067-1245262597.opb>
0.69/0.74	c original problem has 2420 variables (2420 bin, 0 int, 0 impl, 0 cont) and 51668 constraints
0.79/0.88	c No objective function, only one solution is needed.
0.79/0.88	c start presolving problem
0.79/0.88	c presolving:
1.39/1.47	c (round 1) 0 del vars, 1296 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 50372 upgd conss, 105832 impls, 0 clqs
1.49/1.56	c presolving (2 rounds):
1.49/1.56	c  0 deleted vars, 1296 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.56	c  105832 implications, 0 cliques
1.49/1.56	c presolved problem has 2420 variables (2420 bin, 0 int, 0 impl, 0 cont) and 50372 constraints
1.49/1.56	c   50372 constraints of type <logicor>
1.49/1.56	c transformed objective value is always integral (scale: 1)
1.49/1.56	c Presolving Time: 0.55
1.49/1.56	c PURESAT
1.49/1.56	c -----------------------------------------------------------------------------------------------
1.49/1.56	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.56	c separating/flowcover/freq = c -1
1.49/1.56	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.56	c separating/cmir/freq = c -1
1.49/1.56	c # additional number of allowed LP iterations
1.49/1.56	c # [type: int, range: [0,2147483647], default: 1000]
1.49/1.56	c heuristics/veclendiving/maxlpiterofs = c 1500
1.49/1.56	c # maximal fraction of diving LP iterations compared to node LP iterations
1.49/1.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.49/1.56	c heuristics/veclendiving/maxlpiterquot = c 0.075
1.49/1.56	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 10]
1.49/1.56	c heuristics/veclendiving/freq = c -1
1.49/1.56	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.56	c heuristics/simplerounding/freq = c -1
1.49/1.56	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 10]
1.49/1.56	c heuristics/shifting/freq = c -1
1.49/1.56	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.56	c heuristics/rounding/freq = c -1
1.49/1.56	c # additional number of allowed LP iterations
1.49/1.56	c # [type: int, range: [0,2147483647], default: 1000]
1.49/1.56	c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.49/1.56	c # maximal fraction of diving LP iterations compared to node LP iterations
1.49/1.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.49/1.56	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.49/1.56	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 20]
1.49/1.56	c heuristics/rootsoldiving/freq = c -1
1.49/1.56	c # number of nodes added to the contingent of the total nodes
1.49/1.56	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.49/1.56	c heuristics/rens/nodesofs = c 2000
1.49/1.56	c # minimum percentage of integer variables that have to be fixable 
1.49/1.56	c # [type: real, range: [0,1], default: 0.5]
1.49/1.56	c heuristics/rens/minfixingrate = c 0.3
1.49/1.56	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.56	c heuristics/rens/freq = c -1
1.49/1.56	c # additional number of allowed LP iterations
1.49/1.56	c # [type: int, range: [0,2147483647], default: 1000]
1.49/1.56	c heuristics/pscostdiving/maxlpiterofs = c 1500
1.49/1.56	c # maximal fraction of diving LP iterations compared to node LP iterations
1.49/1.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.49/1.56	c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.49/1.56	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 10]
1.49/1.56	c heuristics/pscostdiving/freq = c -1
1.49/1.56	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.56	c heuristics/oneopt/freq = c -1
1.49/1.56	c # additional number of allowed LP iterations
1.49/1.56	c # [type: int, range: [0,2147483647], default: 1000]
1.49/1.56	c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.49/1.56	c # maximal fraction of diving LP iterations compared to total iteration number
1.49/1.56	c # [type: real, range: [0,1], default: 0.01]
1.49/1.56	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.49/1.56	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 20]
1.49/1.56	c heuristics/objpscostdiving/freq = c -1
1.49/1.56	c # additional number of allowed LP iterations
1.49/1.56	c # [type: int, range: [0,2147483647], default: 1000]
1.49/1.56	c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.49/1.56	c # maximal fraction of diving LP iterations compared to node LP iterations
1.49/1.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.49/1.56	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.49/1.56	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 10]
1.49/1.56	c heuristics/linesearchdiving/freq = c -1
1.49/1.56	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 10]
1.49/1.56	c heuristics/intshifting/freq = c -1
1.49/1.56	c # maximal fraction of diving LP iterations compared to node LP iterations
1.49/1.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.49/1.56	c heuristics/intdiving/maxlpiterquot = c 0.075
1.49/1.56	c # additional number of allowed LP iterations
1.49/1.56	c # [type: int, range: [0,2147483647], default: 1000]
1.49/1.56	c heuristics/guideddiving/maxlpiterofs = c 1500
1.49/1.56	c # maximal fraction of diving LP iterations compared to node LP iterations
1.49/1.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.49/1.56	c heuristics/guideddiving/maxlpiterquot = c 0.075
1.49/1.56	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 10]
1.49/1.56	c heuristics/guideddiving/freq = c -1
1.49/1.56	c # additional number of allowed LP iterations
1.49/1.56	c # [type: int, range: [0,2147483647], default: 1000]
1.49/1.56	c heuristics/fracdiving/maxlpiterofs = c 1500
1.49/1.56	c # maximal fraction of diving LP iterations compared to node LP iterations
1.49/1.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.49/1.56	c heuristics/fracdiving/maxlpiterquot = c 0.075
1.49/1.56	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 10]
1.49/1.56	c heuristics/fracdiving/freq = c -1
1.49/1.56	c # additional number of allowed LP iterations
1.49/1.56	c # [type: int, range: [0,2147483647], default: 1000]
1.49/1.56	c heuristics/feaspump/maxlpiterofs = c 2000
1.49/1.56	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 20]
1.49/1.56	c heuristics/feaspump/freq = c -1
1.49/1.56	c # minimum percentage of integer variables that have to be fixed 
1.49/1.56	c # [type: real, range: [0,1], default: 0.666]
1.49/1.56	c heuristics/crossover/minfixingrate = c 0.5
1.49/1.56	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.49/1.56	c # [type: real, range: [0,1], default: 0.1]
1.49/1.56	c heuristics/crossover/nodesquot = c 0.15
1.49/1.56	c # number of nodes without incumbent change that heuristic should wait
1.49/1.56	c # [type: longint, range: [0,9223372036854775807], default: 200]
1.49/1.56	c heuristics/crossover/nwaitingnodes = c 100
1.49/1.56	c # number of nodes added to the contingent of the total nodes
1.49/1.56	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.49/1.56	c heuristics/crossover/nodesofs = c 750
1.49/1.56	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 30]
1.49/1.56	c heuristics/crossover/freq = c -1
1.49/1.56	c # additional number of allowed LP iterations
1.49/1.56	c # [type: int, range: [0,2147483647], default: 1000]
1.49/1.56	c heuristics/coefdiving/maxlpiterofs = c 1500
1.49/1.56	c # maximal fraction of diving LP iterations compared to node LP iterations
1.49/1.56	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.49/1.56	c heuristics/coefdiving/maxlpiterquot = c 0.075
1.49/1.56	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: 10]
1.49/1.56	c heuristics/coefdiving/freq = c -1
1.49/1.56	c # priority of node selection rule <dfs> in standard mode
1.49/1.56	c # [type: int, range: [-536870912,536870911], default: 0]
1.49/1.56	c nodeselection/dfs/stdpriority = c 1000000
1.49/1.56	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.49/1.56	c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.56	c presolving/probing/maxrounds = c 0
1.49/1.56	c # should presolving try to simplify knapsacks
1.49/1.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.56	c constraints/knapsack/simplifyinequalities = c TRUE
1.49/1.56	c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.49/1.56	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.49/1.56	c constraints/knapsack/disaggregation = c FALSE
1.49/1.56	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.49/1.57	c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.57	c constraints/knapsack/maxnumcardlift = c 0
1.49/1.57	c # should presolving try to simplify inequalities
1.49/1.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57	c constraints/linear/simplifyinequalities = c TRUE
1.49/1.57	c # maximal number of separation rounds in the root node (-1: unlimited)
1.49/1.57	c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.57	c separating/maxroundsroot = c 5
1.49/1.57	c # maximal number of separation rounds per node (-1: unlimited)
1.49/1.57	c # [type: int, range: [-1,2147483647], default: 5]
1.49/1.57	c separating/maxrounds = c 1
1.49/1.57	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.49/1.57	c # [type: char, range: {lafpsqd}, default: l]
1.49/1.57	c lp/pricing = c a
1.49/1.57	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.49/1.57	c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.57	c lp/solvefreq = c 0
1.49/1.57	c # solving stops, if the given number of solutions were found (-1: no limit)
1.49/1.57	c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.57	c limits/solutions = c 1
1.49/1.57	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.57	c limits/memory = c 1620
1.49/1.57	c # maximal time in seconds to run
1.49/1.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.57	c limits/time = c 1791
1.49/1.57	c # frequency for displaying node information lines
1.49/1.57	c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.57	c display/freq = c 10000
1.49/1.57	c # should enforcement of pseudo solution be disabled?
1.49/1.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57	c constraints/disableenfops = c TRUE
1.49/1.57	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.49/1.57	c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.57	c constraints/agelimit = c 1
1.49/1.57	c # should binary conflicts be preferred?
1.49/1.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57	c conflict/preferbinary = c TRUE
1.49/1.57	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.49/1.57	c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.57	c conflict/interconss = c 0
1.49/1.57	c -----------------------------------------------------------------------------------------------
1.49/1.57	c start solving problem
1.49/1.57	c 
49.17/49.20	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
49.17/49.20	c  48.2s|     1 |     0 |  6772 |  62M|   0 | 816 |2420 |  50k|  50k|2420 |  50k|   0 |   0 |   0 | 1.760000e+02 |      --      |    Inf 
156.63/156.77	c   156s|     1 |     0 |  8380 |  70M|   0 | 892 |2420 |  50k|  50k|2420 |  50k|   6 |   0 |   0 | 1.760000e+02 |      --      |    Inf 
279.60/279.71	c   278s|     1 |     0 |  9739 |  76M|   0 | 921 |2420 |  50k|  50k|2420 |  50k|  11 |   0 |   0 | 1.760000e+02 |      --      |    Inf 
409.07/409.24	c   408s|     1 |     0 | 11294 |  84M|   0 |1067 |2420 |  50k|  50k|2420 |  50k|  19 |   0 |   0 | 1.760000e+02 |      --      |    Inf 
516.93/517.13	c   515s|     1 |     0 | 13574 |  84M|   0 |1079 |2420 |  50k|  50k|2420 |  50k|  29 |   0 |   0 | 1.760000e+02 |      --      |    Inf 
627.60/627.88	c   626s|     1 |     0 | 15885 |  84M|   0 |1069 |2420 |  50k|  50k|2420 |  50k|  38 |   0 |   0 | 1.760000e+02 |      --      |    Inf 
794.75/795.07	c   793s|     1 |     2 | 15885 |  84M|   0 |1069 |2420 |  50k|  50k|2420 |  50k|  38 |   0 |  17 | 1.760000e+02 |      --      |    Inf 
821.94/822.27	c   820s| 10000 |   377 | 15885 |  86M| 917 |   - |2420 |  51k|  33k|   0 |   0 |  38 |8171 |  17 | 1.760000e+02 |      --      |    Inf 
848.84/849.20	c   846s| 20000 |   387 | 15885 |  87M| 917 |   - |2420 |  53k|  16k|   0 |   0 |  38 |  17k|  17 | 1.760000e+02 |      --      |    Inf 
877.53/877.82	c   875s| 30000 |   378 | 15885 |  87M| 917 |   - |2420 |  52k|  26k|   0 |   0 |  38 |  27k|  17 | 1.760000e+02 |      --      |    Inf 
906.02/906.34	c   903s| 40000 |   376 | 15885 |  88M| 917 |   - |2420 |  55k|  19k|   0 |   0 |  38 |  37k|  17 | 1.760000e+02 |      --      |    Inf 
932.71/933.02	c   930s| 50000 |   387 | 15885 |  86M| 917 |   - |2420 |  51k|  27k|   0 |   0 |  38 |  47k|  17 | 1.760000e+02 |      --      |    Inf 
964.60/964.99	c   961s| 60000 |   380 | 15885 |  87M| 917 |   - |2420 |  53k|  24k|   0 |   0 |  38 |  58k|  17 | 1.760000e+02 |      --      |    Inf 
992.80/993.15	c   989s| 70000 |   380 | 15885 |  86M| 917 |   - |2420 |  50k|  26k|   0 |   0 |  38 |  68k|  17 | 1.760000e+02 |      --      |    Inf 
1020.99/1021.40	c  1017s| 80000 |   394 | 15885 |  86M| 917 |   - |2420 |  50k|  31k|   0 |   0 |  38 |  78k|  17 | 1.760000e+02 |      --      |    Inf 
1050.48/1050.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1050.48/1050.81	c  1046s| 90000 |   385 | 15885 |  87M| 917 |   - |2420 |  51k|  19k|   0 |   0 |  38 |  89k|  17 | 1.760000e+02 |      --      |    Inf 
1078.57/1078.92	c  1074s|100000 |   381 | 15885 |  86M| 917 |   - |2420 |  50k|  21k|   0 |   0 |  38 | 102k|  17 | 1.760000e+02 |      --      |    Inf 
1107.66/1108.01	c  1103s|110000 |   369 | 15885 |  86M| 917 |   - |2420 |  50k|  20k|   0 |   0 |  38 | 113k|  17 | 1.760000e+02 |      --      |    Inf 
1135.85/1136.22	c  1131s|120000 |   371 | 15885 |  87M| 917 |   - |2420 |  52k|  26k|   0 |   0 |  38 | 122k|  17 | 1.760000e+02 |      --      |    Inf 
1163.24/1163.60	c  1158s|130000 |   371 | 15885 |  88M| 917 |   - |2420 |  54k|  15k|   0 |   0 |  38 | 131k|  17 | 1.760000e+02 |      --      |    Inf 
1192.44/1192.88	c  1187s|140000 |   363 | 15885 |  89M| 917 |   - |2420 |  56k|  32k|   0 |   0 |  38 | 142k|  17 | 1.760000e+02 |      --      |    Inf 
1221.63/1222.00	c  1216s|150000 |   368 | 15885 |  89M| 917 |   - |2420 |  57k|  17k|   0 |   0 |  38 | 151k|  17 | 1.760000e+02 |      --      |    Inf 
1254.51/1254.91	c  1249s|160000 |   365 | 15885 |  90M| 917 |   - |2420 |  59k|  23k|   0 |   0 |  38 | 160k|  17 | 1.760000e+02 |      --      |    Inf 
1286.51/1286.98	c  1281s|170000 |   364 | 15885 |  90M| 917 |   - |2420 |  60k|  20k|   0 |   0 |  38 | 168k|  17 | 1.760000e+02 |      --      |    Inf 
1319.69/1320.15	c  1314s|180000 |   377 | 15885 |  91M| 917 |   - |2420 |  61k|  24k|   0 |   0 |  38 | 177k|  17 | 1.760000e+02 |      --      |    Inf 
1352.09/1352.59	c  1346s|190000 |   363 | 15885 |  91M| 917 |   - |2420 |  63k|  26k|   0 |   0 |  38 | 187k|  17 | 1.760000e+02 |      --      |    Inf 
1382.18/1382.65	c  1376s|200000 |   379 | 15885 |  92M| 917 |   - |2420 |  65k|  17k|   0 |   0 |  38 | 196k|  17 | 1.760000e+02 |      --      |    Inf 
1411.27/1411.70	c  1405s|210000 |   368 | 15885 |  93M| 917 |   - |2420 |  67k|  25k|   0 |   0 |  38 | 210k|  17 | 1.760000e+02 |      --      |    Inf 
1440.76/1441.24	c  1434s|220000 |   363 | 15885 |  93M| 917 |   - |2420 |  67k|  23k|   0 |   0 |  38 | 219k|  17 | 1.760000e+02 |      --      |    Inf 
1470.66/1471.12	c  1464s|230000 |   364 | 15885 |  88M| 917 |   - |2420 |  51k|  17k|   0 |   0 |  38 | 227k|  17 | 1.760000e+02 |      --      |    Inf 
1500.04/1500.51	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1500.04/1500.51	c  1493s|240000 |   374 | 15885 |  88M| 917 |   - |2420 |  53k|  16k|   0 |   0 |  38 | 238k|  17 | 1.760000e+02 |      --      |    Inf 
1526.13/1526.68	c  1519s|250000 |   373 | 15885 |  87M| 917 |   - |2420 |  50k|  19k|   0 |   0 |  38 | 248k|  17 | 1.760000e+02 |      --      |    Inf 
1554.53/1555.07	c  1547s|260000 |   363 | 15885 |  88M| 917 |   - |2420 |  51k|  20k|   0 |   0 |  38 | 257k|  17 | 1.760000e+02 |      --      |    Inf 
1583.72/1584.29	c  1576s|270000 |   359 | 15885 |  89M| 917 |   - |2420 |  54k|  24k|   0 |   0 |  38 | 266k|  17 | 1.760000e+02 |      --      |    Inf 
1611.21/1611.73	c  1603s|280000 |   378 | 15885 |  88M| 917 |   - |2420 |  51k|  24k|   0 |   0 |  38 | 276k|  17 | 1.760000e+02 |      --      |    Inf 
1637.50/1638.00	c  1629s|290000 |   377 | 15885 |  88M| 917 |   - |2420 |  51k|  22k|   0 |   0 |  38 | 286k|  17 | 1.760000e+02 |      --      |    Inf 
1665.70/1666.23	c  1657s|300000 |   362 | 15885 |  88M| 917 |   - |2420 |  52k|  19k|   0 |   0 |  38 | 296k|  17 | 1.760000e+02 |      --      |    Inf 
1694.08/1694.60	c  1685s|310000 |   378 | 15885 |  88M| 917 |   - |2420 |  51k|  19k|   0 |   0 |  38 | 305k|  17 | 1.760000e+02 |      --      |    Inf 
1722.97/1723.58	c  1714s|320000 |   371 | 15885 |  88M| 917 |   - |2420 |  52k|  27k|   0 |   0 |  38 | 314k|  17 | 1.760000e+02 |      --      |    Inf 
1751.97/1752.59	c  1743s|330000 |   370 | 15885 |  89M| 917 |   - |2420 |  54k|  24k|   0 |   0 |  38 | 324k|  17 | 1.760000e+02 |      --      |    Inf 
1781.56/1782.18	c  1772s|340000 |   366 | 15885 |  88M| 917 |   - |2420 |  51k|  17k|   0 |   0 |  38 | 334k|  17 | 1.760000e+02 |      --      |    Inf 
1800.07/1800.61	c 
1800.07/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.61	c Solving Time (sec) : 1790.35
1800.07/1800.61	c Solving Nodes      : 346764
1800.07/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.07/1800.61	c Dual Bound         : +1.76000000000000e+02
1800.07/1800.61	c Gap                : infinite
1800.07/1800.61	c NODE         346764
1800.07/1800.61	c DUAL BOUND   176
1800.07/1800.61	c PRIMAL BOUND 1e+20
1800.07/1800.61	c GAP          1e+20
1800.07/1800.61	s UNKNOWN
1800.07/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.61	c Solving Time       :    1790.35
1800.07/1800.61	c Original Problem   :
1800.07/1800.61	c   Problem name     : HOME/instance-1885067-1245262597.opb
1800.07/1800.61	c   Variables        : 2420 (2420 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61	c   Constraints      : 51668 initial, 51668 maximal
1800.07/1800.61	c Presolved Problem  :
1800.07/1800.61	c   Problem name     : t_HOME/instance-1885067-1245262597.opb
1800.07/1800.61	c   Variables        : 2420 (2420 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61	c   Constraints      : 50372 initial, 68189 maximal
1800.07/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   linear           :       0.35          0          0          0          0          0       1296          0          0
1800.07/1800.61	c   logicor          :       0.14          0          0          0          0          0          0          0          0
1800.07/1800.61	c   root node        :          -          4          -          -          4          -          -          -          -
1800.07/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.61	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.07/1800.61	c   logicor          :      50372+         5    1621551          0          0     168398   10544302          0          0          0
1800.07/1800.61	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.61	c   integral         :     167.00       0.00       0.00     167.00       0.00
1800.07/1800.61	c   logicor          :     436.03       0.02     436.01       0.00       0.00
1800.07/1800.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.61	c   rootredcost      :       0.83          0          0          0
1800.07/1800.61	c   pseudoobj        :     273.36    1981278          0          0
1800.07/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.61	c   propagation      :     153.77     168398     168398     168398      155.9     185178       60.9          -
1800.07/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.61	c   applied globally :          -          -          -     275908       48.1          -          -          -
1800.07/1800.61	c   applied locally  :          -          -          -      64945      308.9          -          -          -
1800.07/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.61	c   cut pool         :       0.02          4          -          -         18          -    (maximal pool size: 529)
1800.07/1800.61	c   redcost          :       0.00          5          0          0          0          0
1800.07/1800.61	c   impliedbounds    :       0.01          5          0          0          0          0
1800.07/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.61	c   gomory           :     397.27          5          0          0       1676          0
1800.07/1800.61	c   strongcg         :      95.71          5          0          0       2172          0
1800.07/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.07/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.07/1800.61	c   clique           :       0.17          5          0          0         47          0
1800.07/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.61	c   mcf              :       0.08          1          0          0          0          0
1800.07/1800.61	c Pricers            :       Time      Calls       Vars
1800.07/1800.61	c   problem variables:       0.00          0          0
1800.07/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.61	c   relpscost        :     167.00          1          0          0          0          0          2
1800.07/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.61	c   inference        :      42.02     256487          0          0          0          0     512974
1800.07/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.61	c   LP solutions     :       0.00          -          0
1800.07/1800.61	c   pseudo solutions :       0.00          -          0
1800.07/1800.61	c   simplerounding   :       0.00          0          0
1800.07/1800.61	c   rounding         :       0.00          0          0
1800.07/1800.61	c   shifting         :       0.00          0          0
1800.07/1800.61	c   intshifting      :       0.00          0          0
1800.07/1800.61	c   oneopt           :       0.00          0          0
1800.07/1800.61	c   fixandinfer      :       0.00          0          0
1800.07/1800.61	c   feaspump         :       0.00          0          0
1800.07/1800.61	c   coefdiving       :       0.00          0          0
1800.07/1800.61	c   pscostdiving     :       0.00          0          0
1800.07/1800.61	c   fracdiving       :       0.00          0          0
1800.07/1800.61	c   veclendiving     :       0.00          0          0
1800.07/1800.61	c   intdiving        :       0.00          0          0
1800.07/1800.61	c   actconsdiving    :       0.00          0          0
1800.07/1800.61	c   objpscostdiving  :       0.00          0          0
1800.07/1800.61	c   rootsoldiving    :       0.00          0          0
1800.07/1800.61	c   linesearchdiving :       0.00          0          0
1800.07/1800.61	c   guideddiving     :       0.00          0          0
1800.07/1800.61	c   octane           :       0.00          0          0
1800.07/1800.61	c   rens             :       0.00          0          0
1800.07/1800.61	c   rins             :       0.00          0          0
1800.07/1800.61	c   localbranching   :       0.00          0          0
1800.07/1800.61	c   mutation         :       0.00          0          0
1800.07/1800.61	c   crossover        :       0.00          0          0
1800.07/1800.61	c   dins             :       0.00          0          0
1800.07/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.61	c   primal LP        :       0.06          0          0       0.00       0.00
1800.07/1800.61	c   dual LP          :     131.36          6      15885    2647.50     120.93
1800.07/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.61	c   strong branching :     166.99         17      17000    1000.00     101.80
1800.07/1800.61	c     (at root node) :          -         17      17000    1000.00          -
1800.07/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.61	c B&B Tree           :
1800.07/1800.61	c   number of runs   :          1
1800.07/1800.61	c   nodes            :     346764
1800.07/1800.61	c   nodes (total)    :     346764
1800.07/1800.61	c   nodes left       :        372
1800.07/1800.61	c   max depth        :        917
1800.07/1800.61	c   max depth (total):        917
1800.07/1800.61	c   backtracks       :     100255 (28.9%)
1800.07/1800.61	c   delayed cutoffs  :     165841
1800.07/1800.61	c   repropagations   :     489750 (4861543 domain reductions, 78122 cutoffs)
1800.07/1800.61	c   avg switch length:       3.97
1800.07/1800.61	c   switching time   :     157.99
1800.07/1800.61	c Solution           :
1800.07/1800.61	c   Solutions found  :          0 (0 improvements)
1800.07/1800.61	c   Primal Bound     :          -
1800.07/1800.61	c   Dual Bound       : +1.76000000000000e+02
1800.07/1800.61	c   Gap              :   infinite
1800.07/1800.61	c   Root Dual Bound  : +1.76000000000000e+02
1800.26/1800.85	c Time complete: 1800.31.

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16850
/proc/meminfo: memFree=1793432/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=4648 CPUtime=0
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 501 0 0 0 0 0 0 0 18 0 1 0 78962502 4759552 485 1992294400 4194304 7823515 548682068736 18446744073709551615 5939376 0 0 4096 0 0 0 0 17 1 0 0
/proc/16850/statm: 1082 485 320 886 0 192 0

[startup+0.011987 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16850
/proc/meminfo: memFree=1793432/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=9144 CPUtime=0
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 1603 0 0 0 0 0 0 0 18 0 1 0 78962502 9363456 1585 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/16850/statm: 2286 1585 351 886 0 1396 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9144

[startup+0.101997 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16850
/proc/meminfo: memFree=1793432/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=13528 CPUtime=0.09
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 2716 0 0 0 8 1 0 0 18 0 1 0 78962502 13852672 2698 1992294400 4194304 7823515 548682068736 18446744073709551615 6896338 0 0 4096 0 0 0 0 17 1 0 0
/proc/16850/statm: 3382 2698 351 886 0 2492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13528

[startup+0.302019 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16850
/proc/meminfo: memFree=1793432/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=19260 CPUtime=0.29
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 4121 0 0 0 28 1 0 0 19 0 1 0 78962502 19722240 4103 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/16850/statm: 4815 4103 351 886 0 3925 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19260

[startup+0.701065 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16850
/proc/meminfo: memFree=1793432/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=29484 CPUtime=0.69
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 6665 0 0 0 66 3 0 0 22 0 1 0 78962502 30191616 6647 1992294400 4194304 7823515 548682068736 18446744073709551615 6908089 0 0 4096 0 0 0 0 17 1 0 0
/proc/16850/statm: 7371 6647 351 886 0 6481 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29484

[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1728656/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=95804 CPUtime=1.49
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 24901 0 0 0 130 19 0 0 25 0 1 0 78962502 98103296 22924 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 23951 22924 425 886 0 23061 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95804

[startup+3.10134 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1665872/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=149488 CPUtime=3.08
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 36025 0 0 0 284 24 0 0 25 0 1 0 78962502 153075712 33916 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 37372 33916 504 886 0 36482 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 149488

[startup+6.30271 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1652816/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=153284 CPUtime=6.28
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 37797 0 0 0 603 25 0 0 25 0 1 0 78962502 156962816 35483 1992294400 4194304 7823515 548682068736 18446744073709551615 6211346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 38321 35483 504 886 0 37431 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 153284

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1648592/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=154480 CPUtime=12.67
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 38945 0 0 0 1241 26 0 0 25 0 1 0 78962502 158187520 36624 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 38620 36624 504 886 0 37730 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 154480

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1647376/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=155688 CPUtime=25.48
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 39217 0 0 0 2520 28 0 0 25 0 1 0 78962502 159424512 36896 1992294400 4194304 7823515 548682068736 18446744073709551615 6212665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 38922 36896 504 886 0 38032 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 155688

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1646992/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=156556 CPUtime=51.06
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 39339 0 0 0 5077 29 0 0 25 0 1 0 78962502 160313344 37018 1992294400 4194304 7823515 548682068736 18446744073709551615 4345380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 39139 37018 521 886 0 38249 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 156556

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1646992/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=156556 CPUtime=102.25
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 39339 0 0 0 10190 35 0 0 25 0 1 0 78962502 160313344 37018 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 39139 37018 521 886 0 38249 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 156556

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1615824/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=188436 CPUtime=162.23
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 47258 0 0 0 16174 49 0 0 25 0 1 0 78962502 192958464 44801 1992294400 4194304 7823515 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 47109 44801 534 886 0 46219 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 188436

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1615824/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=188436 CPUtime=222.22
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 47258 0 0 0 22164 58 0 0 25 0 1 0 78962502 192958464 44801 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 47109 44801 534 886 0 46219 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 188436

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1601424/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=203784 CPUtime=282.2
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 50841 0 0 0 28153 67 0 0 25 0 1 0 78962502 208674816 48384 1992294400 4194304 7823515 548682068736 18446744073709551615 4338830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 50946 48384 534 886 0 50056 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 203784

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1601424/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=203784 CPUtime=342.18
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 50841 0 0 0 34145 73 0 0 25 0 1 0 78962502 208674816 48384 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 50946 48384 534 886 0 50056 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 203784

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1587344/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=218096 CPUtime=402.17
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 54359 0 0 0 40134 83 0 0 25 0 1 0 78962502 223330304 51902 1992294400 4194304 7823515 548682068736 18446744073709551615 6211707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 54524 51902 534 886 0 53634 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 218096

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1582928/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=222436 CPUtime=462.15
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 55452 0 0 0 46119 96 0 0 25 0 1 0 78962502 227774464 52995 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 55609 52995 534 886 0 54719 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 222436

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1582672/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=222436 CPUtime=522.13
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 55491 0 0 0 52108 105 0 0 25 0 1 0 78962502 227774464 53034 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 55609 53034 534 886 0 54719 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 222436

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1582672/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=222436 CPUtime=582.11
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 55491 0 0 0 58092 119 0 0 25 0 1 0 78962502 227774464 53034 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 55609 53034 534 886 0 54719 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 222436

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1577616/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=225092 CPUtime=642.09
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 57482 0 0 0 64082 127 0 0 25 0 1 0 78962502 230494208 54300 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 56273 54300 537 886 0 55383 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 225092

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1577232/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=225092 CPUtime=882.02
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 57571 0 0 0 87991 211 0 0 25 0 1 0 78962502 230494208 54389 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 56273 54389 547 886 0 55383 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 225092

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1577168/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=225092 CPUtime=942.01
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 57577 0 0 0 93948 253 0 0 25 0 1 0 78962502 230494208 54395 1992294400 4194304 7823515 548682068736 18446744073709551615 4775524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 56273 54395 547 886 0 55383 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 225092

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 16851
/proc/meminfo: memFree=1577168/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=225092 CPUtime=1001.99
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 57577 0 0 0 99898 301 0 0 25 0 1 0 78962502 230494208 54395 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 56273 54395 547 886 0 55383 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 225092

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 16851
/proc/meminfo: memFree=1577104/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=225092 CPUtime=1061.97
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 57577 0 0 0 105849 348 0 0 25 0 1 0 78962502 230494208 54395 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 56273 54395 547 886 0 55383 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 225092

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1576784/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=225092 CPUtime=1121.96
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 57656 0 0 0 111800 396 0 0 25 0 1 0 78962502 230494208 54474 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 56273 54474 547 886 0 55383 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 225092

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1576016/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=225092 CPUtime=1181.94
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 57845 0 0 0 117753 441 0 0 25 0 1 0 78962502 230494208 54663 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 56273 54663 547 886 0 55383 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 225092

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1573776/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=226980 CPUtime=1241.92
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 58373 0 0 0 123710 482 0 0 25 0 1 0 78962502 232427520 55191 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 56745 55191 547 886 0 55855 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 226980

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1571024/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=229716 CPUtime=1301.91
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 59044 0 0 0 129668 523 0 0 25 0 1 0 78962502 235229184 55862 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 57429 55862 547 886 0 56539 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 229716

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1569104/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=232028 CPUtime=1361.88
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 59525 0 0 0 135625 563 0 0 25 0 1 0 78962502 237596672 56343 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 58007 56343 547 886 0 57117 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 232028

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1565840/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=235368 CPUtime=1421.87
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 60315 0 0 0 141578 609 0 0 25 0 1 0 78962502 241016832 57133 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 58842 57133 547 886 0 57952 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 235368

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1564624/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=237116 CPUtime=1481.84
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 60624 0 0 0 147529 655 0 0 25 0 1 0 78962502 242806784 57442 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 59279 57442 547 886 0 58389 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 237116

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1564560/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=237116 CPUtime=1541.83
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 60632 0 0 0 153479 704 0 0 25 0 1 0 78962502 242806784 57450 1992294400 4194304 7823515 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 59279 57450 547 886 0 58389 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 237116

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1563728/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=237912 CPUtime=1601.81
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 60834 0 0 0 159434 747 0 0 25 0 1 0 78962502 243621888 57652 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 59478 57652 547 886 0 58588 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 237912

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1563472/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=238056 CPUtime=1661.79
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 60885 0 0 0 165385 794 0 0 25 0 1 0 78962502 243769344 57703 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 59514 57703 547 886 0 58624 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 238056

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1563280/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=238348 CPUtime=1721.78
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 60941 0 0 0 171335 843 0 0 25 0 1 0 78962502 244068352 57759 1992294400 4194304 7823515 548682068736 18446744073709551615 4831893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 59587 57759 547 886 0 58697 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 238348

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1561680/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=239796 CPUtime=1781.76
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 61295 0 0 0 177288 888 0 0 25 0 1 0 78962502 245551104 58113 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 59949 58113 547 886 0 59059 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 239796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1561680/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=239796 CPUtime=1800.07
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 61298 0 0 0 179105 902 0 0 25 0 1 0 78962502 245551104 58116 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16850/statm: 59949 58116 547 886 0 59059 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 239796

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16851
/proc/meminfo: memFree=1561680/2055920 swapFree=4182476/4192956
[pid=16850] ppid=16848 vsize=230580 CPUtime=1800.26
/proc/16850/stat : 16850 (pbscip.linux.x8) R 16848 16850 16502 0 -1 4194304 61304 0 0 0 179124 902 0 0 25 0 1 0 78962502 236113920 56111 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/16850/statm: 57645 56111 553 886 0 56755 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 230580

Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.32
CPU user time (s): 1791.26
CPU system time (s): 9.05862
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 239796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.26
system time used= 9.05862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61308
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= 5
involuntary context switches= 2917

runsolver used 1.44578 second user time and 3.9284 second system time

The end

Launcher Data 

Begin job on node20 at 2009-06-17 20:16:37
IDJOB=1885067
IDBENCH=72020
IDSOLVER=683
FILE ID=node20/1885067-1245262597
PBS_JOBID= 9372433
Free space on /tmp= 66312 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/edgematching/explicit/em_8_4_5_exp.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885067-1245262597/watcher-1885067-1245262597 -o /tmp/evaluation-result-1885067-1245262597/solver-1885067-1245262597 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885067-1245262597.opb

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

MD5SUM BENCH= 6f599bbea64cbf7ecb6b5b607248feba
RANDOM SEED=1176422282

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1793848 kB
Buffers:         40808 kB
Cached:         144588 kB
SwapCached:       4732 kB
Active:          75488 kB
Inactive:       117724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1793848 kB
SwapTotal:     4192956 kB
SwapFree:      4182476 kB
Dirty:           11352 kB
Writeback:           0 kB
Mapped:          13876 kB
Slab:            54836 kB
Committed_AS:   163612 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66304 MiB
End job on node20 at 2009-06-17 20:46:39