Trace number 4435555

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
mixed-bag 2024-07-02? (TO) 3600.08 3608.84

DiagnosticValue
AM1LB0
LOWERBOUND6
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED3

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
MD5SUMdbdf528b135cde252d8c4b9633a10d5c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark3600.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables99789
Total number of constraints388956
Number of constraints which are clauses388925
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint3140
Number of terms in the objective function 3140
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 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 3178
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 RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.78/0.89	c [STEP] preprocessing with Papilo
1.58/1.65	c [STEP] solving with SCIP
302.41/303.26	c [STEP] preprocessing done, loading into solver
303.11/303.94	c [STEP] solving
303.11/303.94	c #variables 99759 #constraints 388869
303.11/303.94	c SMALL=int, LARGE=long long
303.11/303.94	c bounds - >= 0 @ 302.076
303.11/303.94	c stratification level: 0
1527.39/1530.99	c bounds - >= 1 @ 302.87
1527.39/1530.99	c bounds - >= 2 @ 302.885
1527.39/1530.99	c bounds - >= 3 @ 302.893
1527.39/1530.99	c bounds - >= 4 @ 304.834
1527.39/1530.99	c bounds - >= 5 @ 304.851
1527.39/1530.99	c bounds - >= 6 @ 304.862
1527.39/1530.99	c #Conflicts:       1000 | #Constraints:     389878
1527.39/1530.99	c #Conflicts:       2000 | #Constraints:     390878
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:       3000 | #Constraints:     390885
1527.39/1530.99	c #Conflicts:       4000 | #Constraints:     391885
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:       5000 | #Constraints:     391293
1527.39/1530.99	c #Conflicts:       6000 | #Constraints:     392293
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:       7000 | #Constraints:     391311
1527.39/1530.99	c #Conflicts:       8000 | #Constraints:     392311
1527.39/1530.99	c #Conflicts:       9000 | #Constraints:     393311
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      10000 | #Constraints:     392010
1527.39/1530.99	c #Conflicts:      11000 | #Constraints:     393010
1527.39/1530.99	c #Conflicts:      12000 | #Constraints:     394010
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      13000 | #Constraints:     392453
1527.39/1530.99	c #Conflicts:      14000 | #Constraints:     393453
1527.39/1530.99	c #Conflicts:      15000 | #Constraints:     394453
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      16000 | #Constraints:     392686
1527.39/1530.99	c #Conflicts:      17000 | #Constraints:     393686
1527.39/1530.99	c #Conflicts:      18000 | #Constraints:     394686
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      19000 | #Constraints:     392721
1527.39/1530.99	c #Conflicts:      20000 | #Constraints:     393721
1527.39/1530.99	c #Conflicts:      21000 | #Constraints:     394721
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      22000 | #Constraints:     392510
1527.39/1530.99	c #Conflicts:      23000 | #Constraints:     393510
1527.39/1530.99	c #Conflicts:      24000 | #Constraints:     394510
1527.39/1530.99	c #Conflicts:      25000 | #Constraints:     395510
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      26000 | #Constraints:     393105
1527.39/1530.99	c #Conflicts:      27000 | #Constraints:     394105
1527.39/1530.99	c #Conflicts:      28000 | #Constraints:     395105
1527.39/1530.99	c #Conflicts:      29000 | #Constraints:     396105
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      30000 | #Constraints:     393506
1527.39/1530.99	c #Conflicts:      31000 | #Constraints:     394506
1527.39/1530.99	c #Conflicts:      32000 | #Constraints:     395506
1527.39/1530.99	c #Conflicts:      33000 | #Constraints:     396506
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      34000 | #Constraints:     393700
1527.39/1530.99	c #Conflicts:      35000 | #Constraints:     394700
1527.39/1530.99	c #Conflicts:      36000 | #Constraints:     395700
1527.39/1530.99	c #Conflicts:      37000 | #Constraints:     396700
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      38000 | #Constraints:     393711
1527.39/1530.99	c #Conflicts:      39000 | #Constraints:     394711
1527.39/1530.99	c #Conflicts:      40000 | #Constraints:     395711
1527.39/1530.99	c #Conflicts:      41000 | #Constraints:     396711
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      42000 | #Constraints:     393544
1527.39/1530.99	c #Conflicts:      43000 | #Constraints:     394544
1527.39/1530.99	c #Conflicts:      44000 | #Constraints:     395544
1527.39/1530.99	c #Conflicts:      45000 | #Constraints:     396544
1527.39/1530.99	c #Conflicts:      46000 | #Constraints:     397544
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      47000 | #Constraints:     394130
1527.39/1530.99	c #Conflicts:      48000 | #Constraints:     395130
1527.39/1530.99	c #Conflicts:      49000 | #Constraints:     396130
1527.39/1530.99	c #Conflicts:      50000 | #Constraints:     397130
1527.39/1530.99	c #Conflicts:      51000 | #Constraints:     398130
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      52000 | #Constraints:     394523
1527.39/1530.99	c #Conflicts:      53000 | #Constraints:     395523
1527.39/1530.99	c #Conflicts:      54000 | #Constraints:     396523
1527.39/1530.99	c #Conflicts:      55000 | #Constraints:     397523
1527.39/1530.99	c #Conflicts:      56000 | #Constraints:     398523
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      57000 | #Constraints:     394774
1527.39/1530.99	c #Conflicts:      58000 | #Constraints:     395774
1527.39/1530.99	c #Conflicts:      59000 | #Constraints:     396774
1527.39/1530.99	c #Conflicts:      60000 | #Constraints:     397774
1527.39/1530.99	c #Conflicts:      61000 | #Constraints:     398774
1527.39/1530.99	c INPROCESSING
1527.39/1530.99	c GARBAGE COLLECT
1527.39/1530.99	c #Conflicts:      62000 | #Constraints:     394753
1527.39/1530.99	c #Conflicts:      63000 | #Constraints:     395753
1527.39/1530.99	c #Conflicts:      64000 | #Constraints:     396753
1527.39/1530.99	c #Conflicts:      65000 | #Constraints:     397753
3600.03/3608.82	c #Conflicts:      66000 | #Constraints:     398753
3600.03/3608.82	c INPROCESSING
3600.03/3608.82	c GARBAGE COLLECT
3600.03/3608.82	c #Conflicts:      67000 | #Constraints:     394539
3600.03/3608.82	c #Conflicts:      68000 | #Constraints:     395539
3600.03/3608.82	c #Conflicts:      69000 | #Constraints:     396539
3600.03/3608.82	c #Conflicts:      70000 | #Constraints:     397539
3600.03/3608.82	c #Conflicts:      71000 | #Constraints:     398539
3600.03/3608.82	c #Conflicts:      72000 | #Constraints:     399539
3600.03/3608.82	c INPROCESSING
3600.03/3608.82	c GARBAGE COLLECT
3600.03/3608.82	c #Conflicts:      73000 | #Constraints:     395136
3600.03/3608.82	c #Conflicts:      74000 | #Constraints:     396136
3600.03/3608.82	c #Conflicts:      75000 | #Constraints:     397136
3600.03/3608.82	c #Conflicts:      76000 | #Constraints:     398136
3600.03/3608.82	c #Conflicts:      77000 | #Constraints:     399136
3600.03/3608.82	c #Conflicts:      78000 | #Constraints:     400136
3600.03/3608.82	c INPROCESSING
3600.03/3608.82	c GARBAGE COLLECT
3600.03/3608.82	c #Conflicts:      79000 | #Constraints:     395541
3600.03/3608.82	c #Conflicts:      80000 | #Constraints:     396541
3600.03/3608.82	c #Conflicts:      81000 | #Constraints:     397541
3600.03/3608.82	c #Conflicts:      82000 | #Constraints:     398541
3600.03/3608.82	c #Conflicts:      83000 | #Constraints:     399541
3600.03/3608.82	c #Conflicts:      84000 | #Constraints:     400541
3600.03/3608.82	c INPROCESSING
3600.03/3608.82	c GARBAGE COLLECT
3600.03/3608.82	c #Conflicts:      85000 | #Constraints:     395750
3600.03/3608.82	c #Conflicts:      86000 | #Constraints:     396750
3600.03/3608.82	c #Conflicts:      87000 | #Constraints:     397750
3600.03/3608.82	c #Conflicts:      88000 | #Constraints:     398750
3600.03/3608.82	c #Conflicts:      89000 | #Constraints:     399750
3600.03/3608.82	c #Conflicts:      90000 | #Constraints:     400750
3600.03/3608.82	c INPROCESSING
3600.03/3608.82	c GARBAGE COLLECT
3600.03/3608.82	c #Conflicts:      91000 | #Constraints:     395736
3600.03/3608.82	c #Conflicts:      92000 | #Constraints:     396736
3600.03/3608.82	c #Conflicts:      93000 | #Constraints:     397736
3600.03/3608.82	c #Conflicts:      94000 | #Constraints:     398736
3600.03/3608.82	c #Conflicts:      95000 | #Constraints:     399736
3600.03/3608.82	c #Conflicts:      96000 | #Constraints:     400736
3600.03/3608.82	c INPROCESSING
3600.03/3608.82	c GARBAGE COLLECT
3600.03/3608.82	c #Conflicts:      97000 | #Constraints:     395552
3600.03/3608.82	c #Conflicts:      98000 | #Constraints:     396552
3600.03/3608.82	c #Conflicts:      99000 | #Constraints:     397552
3600.03/3608.82	c #Conflicts:     100000 | #Constraints:     398552
3600.03/3608.82	c #Conflicts:     101000 | #Constraints:     399552
3600.03/3608.82	c #Conflicts:     102000 | #Constraints:     400552
3600.03/3608.82	c #Conflicts:     103000 | #Constraints:     401552
3600.03/3608.82	c INPROCESSING
3600.03/3608.82	c GARBAGE COLLECT
3600.03/3608.82	c #Conflicts:     104000 | #Constraints:     396145
3600.03/3608.82	c #Conflicts:     105000 | #Constraints:     397145
3600.03/3608.82	c #Conflicts:     106000 | #Constraints:     398145
3600.03/3608.82	c #Conflicts:     107000 | #Constraints:     399145
3600.03/3608.82	c #Conflicts:     108000 | #Constraints:     400145
3600.03/3608.82	c #Conflicts:     109000 | #Constraints:     401145
3600.03/3608.82	c #Conflicts:     110000 | #Constraints:     402145
3600.03/3608.82	c INPROCESSING
3600.03/3608.82	c GARBAGE COLLECT
3600.03/3608.82	c #Conflicts:     111000 | #Constraints:     396540
3600.03/3608.82	c #Conflicts:     112000 | #Constraints:     397540
3600.03/3608.82	c #Conflicts:     113000 | #Constraints:     398540
3600.03/3608.82	c #Conflicts:     114000 | #Constraints:     399540
3600.03/3608.82	c #Conflicts:     115000 | #Constraints:     400540
3600.03/3608.82	c #Conflicts:     116000 | #Constraints:     401540
3600.03/3608.82	c #Conflicts:     117000 | #Constraints:     402540
3600.03/3608.82	c INPROCESSING
3600.03/3608.82	c GARBAGE COLLECT
3600.03/3608.82	c #Conflicts:     118000 | #Constraints:     396746
3600.03/3608.82	c #Conflicts:     119000 | #Constraints:     397746
3600.03/3608.82	c #Conflicts:     120000 | #Constraints:     398746
3600.03/3608.82	c #Conflicts:     121000 | #Constraints:     399746
3600.03/3608.82	c #Conflicts:     122000 | #Constraints:     400746
3600.03/3608.82	c #Conflicts:     123000 | #Constraints:     401746
3600.03/3608.82	c #Conflicts:     124000 | #Constraints:     402746
3600.03/3608.82	c INPROCESSING
3600.03/3608.82	c GARBAGE COLLECT
3600.03/3608.82	c #Conflicts:     125000 | #Constraints:     396740
3600.03/3608.82	c #Conflicts:     126000 | #Constraints:     397740
3600.03/3608.82	c #Conflicts:     127000 | #Constraints:     398740
3600.03/3608.82	c #Conflicts:     128000 | #Constraints:     399740
3600.03/3608.82	c #Conflicts:     129000 | #Constraints:     400740
3600.03/3608.82	c #Conflicts:     130000 | #Constraints:     401740
3600.03/3608.82	c Program interrupted by user.
3600.03/3608.82	c cpu time 3595.59 s
3600.03/3608.82	c deterministic time 1076656831044 1.08e+12
3600.03/3608.82	c optimization time 165.942 s
3600.03/3608.82	c total solve time 3127.57 s
3600.03/3608.82	c core-guided solve time 3127.57 s
3600.03/3608.82	c propagation time 2025.78 s
3600.03/3608.82	c conflict analysis time 1170.68 s
3600.03/3608.82	c propagations 451556244
3600.03/3608.82	c resolve steps 5739133
3600.03/3608.82	c decisions 2668292
3600.03/3608.82	c conflicts 130971
3600.03/3608.82	c restarts 355
3600.03/3608.82	c inprocessing phases 27
3600.03/3608.82	c input clauses 388869
3600.03/3608.82	c input cardinalities 7
3600.03/3608.82	c input general constraints 0
3600.03/3608.82	c input average constraint length 2.57
3600.03/3608.82	c input average constraint degree 1.02
3600.03/3608.82	c learned clauses 72366
3600.03/3608.82	c learned cardinalities 970
3600.03/3608.82	c learned general constraints 57637
3600.03/3608.82	c learned average constraint length 15854.17
3600.03/3608.82	c learned average constraint degree 19064135.86
3600.03/3608.82	c watched constraints 54906
3600.03/3608.82	c counting constraints 2731
3600.03/3608.82	c gcd simplifications 1319
3600.03/3608.82	c detected cardinalities 2
3600.03/3608.82	c weakened non-implied lits 184894103
3600.03/3608.82	c weakened non-implying lits 31693
3600.03/3608.82	c original variables 99789
3600.03/3608.82	c clausal propagations 432461091
3600.03/3608.82	c cardinality propagations 2857148
3600.03/3608.82	c watched propagations 10706060
3600.03/3608.82	c counting propagations 3832243
3600.03/3608.82	c watch lookups 2183727025
3600.03/3608.82	c watch backjump lookups 1445059702
3600.03/3608.82	c watch checks 915016821789
3600.03/3608.82	c propagation checks 151285292500
3600.03/3608.82	c constraint additions 5817445469
3600.03/3608.82	c trail pops 454260022
3600.03/3608.82	c formula constraints 388869
3600.03/3608.82	c learned constraints 130973
3600.03/3608.82	c bound constraints 7
3600.03/3608.82	c core-guided constraints 0
3600.03/3608.82	c encountered formula constraints 5425108
3600.03/3608.82	c encountered learned constraints 444989
3600.03/3608.82	c encountered bound constraints 7
3600.03/3608.82	c encountered core-guided constraints 0
3600.03/3608.82	c LP total time 0 s
3600.03/3608.82	c LP solve time 0 s
3600.03/3608.82	c LP constraints added 0
3600.03/3608.82	c LP constraints removed 0
3600.03/3608.82	c LP pivots internal 0
3600.03/3608.82	c LP pivots root 0
3600.03/3608.82	c LP calls 0
3600.03/3608.82	c LP optimalities 0
3600.03/3608.82	c LP no pivot count 0
3600.03/3608.82	c LP infeasibilities 0
3600.03/3608.82	c LP valid Farkas constraints 0
3600.03/3608.82	c LP learned Farkas constraints 0
3600.03/3608.82	c LP basis resets 0
3600.03/3608.82	c LP cycling count 0
3600.03/3608.82	c LP singular count 0
3600.03/3608.82	c LP no primal count 0
3600.03/3608.82	c LP no farkas count 0
3600.03/3608.82	c LP other issue count 0
3600.03/3608.82	c LP Gomory cuts 0
3600.03/3608.82	c LP learned cuts 0
3600.03/3608.82	c LP deleted cuts 0
3600.03/3608.82	c LP encountered Gomory constraints 0
3600.03/3608.82	c LP encountered Farkas constraints 0
3600.03/3608.82	c LP encountered learned Farkas constraints 0
3600.03/3608.82	c CG auxiliary variables introduced 0
3600.03/3608.82	c CG solutions found 0
3600.03/3608.82	c CG cores constructed 6
3600.03/3608.82	c CG core cardinality constraints returned 0
3600.03/3608.82	c CG unit cores 0
3600.03/3608.82	c CG single cores 6
3600.03/3608.82	c CG blocks removed during cardinality reduction 0
3600.03/3608.82	c CG first core best 0
3600.03/3608.82	c CG decision core best 0
3600.03/3608.82	c CG core reduction tie 0
3600.03/3608.82	c CG core degree average 1.00
3600.03/3608.82	c CG core slack average 150.33
3600.03/3608.82	c CG exhausted 0
3600.03/3608.82	c CG exhaust time 0 s
3600.03/3608.82	c CG trimmed 3
3600.03/3608.82	c CG trim time 0.995747 s
3600.03/3608.82	c CG minimized 0
3600.03/3608.82	c CG minimize time 0 s
3600.03/3608.82	c CG am1 prop time 0.02661 s
3600.03/3608.82	c CG # am1s reformulated 0
3600.03/3608.82	c CG lower bound derived from am1s 0
3600.03/3608.82	c CG # clausal cores 6
3600.03/3608.82	c CG # cardinality cores 0
3600.03/3608.82	c CG # pb cores 0
3600.03/3608.82	c CG # pb reforms 0
3600.03/3608.82	c CG # cores discarded because of pb reform 0
3600.03/3608.82	d LOWERBOUND 6
3600.03/3608.82	d NCORES 6
3600.03/3608.82	d NPBCORES 0
3600.03/3608.82	d NPBREFORM 0
3600.03/3608.82	d NTRIMMED 3
3600.03/3608.82	d NEXHAUSTED 0
3600.03/3608.82	d NAM1S 0
3600.03/3608.82	d AM1LB 0
3600.03/3608.82	c [Papilo Statistics]
3600.03/3608.82	c prepro time 0.749983s
3600.03/3608.82	c # tsx applied 86
3600.03/3608.82	c # tsx conflicts 0
3600.03/3608.82	c # bound changes 5
3600.03/3608.82	c # side changes 52
3600.03/3608.82	c # coef changes 186
3600.03/3608.82	c # rounds 2
3600.03/3608.82	c # deted vars 31
3600.03/3608.82	c # deted constrs 87
3600.03/3608.82	c # consecutive rounds of only bound changes 0
3600.03/3608.83	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62510 MiB free)
  memory of node 1: 64473 MiB (62618 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435555-1721106919/watcher-4435555-1721106919 -o /tmp/evaluation-result-4435555-1721106919/solver-4435555-1721106919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840501 --watchdog 3760 mixed-bag HOME/instance-4435555-1721106919.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=842594, runsolver pid=842591

[startup+0.100091 s]*
/proc/loadavg: 4.14 4.12 4.06 5/255 842596
/proc/meminfo: memFree=128058856/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=115780 memory=36848 CPUtime=0.09 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 7342 0 0 0 8 1 0 0 20 0 1 0 162862739 118558720 9212 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 28945 9212 1629 3002 0 13235 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115780 KiB
Current children cumulated memory: 36848 KiB

[startup+0.205761 s]*
/proc/loadavg: 4.14 4.12 4.06 4/253 842596
/proc/meminfo: memFree=128686980/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=119876 memory=41400 CPUtime=0.2 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 7980 0 0 0 19 1 0 0 20 0 1 0 162862739 122753024 10350 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 29969 10350 1629 3002 0 14259 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 119876 KiB
Current children cumulated memory: 41400 KiB

[startup+0.305652 s]*
/proc/loadavg: 4.14 4.12 4.06 4/252 842610
/proc/meminfo: memFree=128663872/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=128068 memory=48004 CPUtime=0.29 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 8608 0 0 0 28 1 0 0 20 0 1 0 162862739 131141632 12001 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 32017 12001 1629 3002 0 16307 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 128068 KiB
Current children cumulated memory: 48004 KiB

[startup+0.700232 s]
/proc/loadavg: 4.14 4.12 4.06 4/250 842632
/proc/meminfo: memFree=128636460/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=144452 memory=72764 CPUtime=0.68 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 9721 0 0 0 66 2 0 0 20 0 1 0 162862739 147918848 18191 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 36113 18191 1629 3002 0 20403 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 144452 KiB
Current children cumulated memory: 72764 KiB

[startup+1.50025 s]
/proc/loadavg: 4.14 4.12 4.06 5/255 842642
/proc/meminfo: memFree=128319272/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=339400 memory=265780 CPUtime=1.48 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 20270 0 0 0 141 7 0 0 20 0 1 0 162862739 347545600 66445 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 84850 66445 1829 3002 0 68601 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 339400 KiB
Current children cumulated memory: 265780 KiB

[startup+3.10553 s]
/proc/loadavg: 4.14 4.12 4.06 5/255 842642
/proc/meminfo: memFree=127625892/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=961284 memory=883652 CPUtime=3.09 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 180796 0 0 0 277 32 0 0 20 0 1 0 162862739 984354816 220913 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 240321 220913 3774 3002 0 224072 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 961284 KiB
Current children cumulated memory: 883652 KiB

[startup+6.30023 s]
/proc/loadavg: 4.13 4.11 4.06 5/255 842642
/proc/meminfo: memFree=127327044/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=1279480 memory=1195968 CPUtime=6.27 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 226089 0 0 0 585 42 0 0 20 0 1 0 162862739 1310187520 298992 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 319870 298992 3806 3002 0 303621 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1279480 KiB
Current children cumulated memory: 1195968 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.06 5/255 842644
/proc/meminfo: memFree=126876580/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=1756328 memory=1535012 CPUtime=12.65 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 290738 0 0 0 1214 51 0 0 20 0 1 0 162862739 1798479872 383753 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 439082 383753 3897 3002 0 422833 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1756328 KiB
Current children cumulated memory: 1535012 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.05 5/255 842691
/proc/meminfo: memFree=126945156/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=1785568 memory=1557852 CPUtime=25.41 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 296616 0 0 0 2489 52 0 0 20 0 1 0 162862739 1828421632 389463 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 446392 389463 3897 3002 0 430143 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1785568 KiB
Current children cumulated memory: 1557852 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.11 4.06 5/255 842696
/proc/meminfo: memFree=126131364/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=2544516 memory=2288872 CPUtime=50.95 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 461651 0 0 0 5017 78 0 0 20 0 1 0 162862739 2605584384 572218 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 636129 572218 4025 3002 0 619880 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2544516 KiB
Current children cumulated memory: 2288872 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/255 842704
/proc/meminfo: memFree=126120088/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=2544516 memory=2293236 CPUtime=102 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 463634 0 0 0 10122 78 0 0 20 0 1 0 162862739 2605584384 573309 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 636129 573309 4025 3002 0 619880 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2544516 KiB
Current children cumulated memory: 2293236 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/254 842715
/proc/meminfo: memFree=126045744/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=2544516 memory=2294716 CPUtime=161.85 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 464196 0 0 0 16107 78 0 0 20 0 1 0 162862739 2605584384 573679 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 636129 573679 4025 3002 0 619880 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2544516 KiB
Current children cumulated memory: 2294716 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/255 842727
/proc/meminfo: memFree=125989516/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=2580648 memory=2318244 CPUtime=221.71 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 467201 0 0 0 22092 79 0 0 20 0 1 0 162862739 2642583552 579561 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 645162 579561 4041 3002 0 628913 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2580648 KiB
Current children cumulated memory: 2318244 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/258 842742
/proc/meminfo: memFree=125915704/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=2689276 memory=2362880 CPUtime=281.56 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 473395 0 0 0 28075 81 0 0 20 0 1 0 162862739 2753818624 590720 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 672319 590720 4041 3002 0 656070 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2689276 KiB
Current children cumulated memory: 2362880 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.14 4.08 5/258 842755
/proc/meminfo: memFree=125818544/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=2497880 memory=2354156 CPUtime=341.43 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 478629 0 0 0 34019 124 0 0 20 0 1 0 162862739 2557829120 588539 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 624470 588539 4200 3002 0 608221 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 2497880 KiB
Current children cumulated memory: 2354156 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/259 842766
/proc/meminfo: memFree=125682136/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=2630140 memory=2438512 CPUtime=401.3 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 479327 0 0 0 39994 136 0 0 20 0 1 0 162862739 2693263360 609628 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 657535 609628 4200 3002 0 641286 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 2630140 KiB
Current children cumulated memory: 2438512 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 842777
/proc/meminfo: memFree=125646104/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=2630140 memory=2450912 CPUtime=461.17 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 479509 0 0 0 45968 149 0 0 20 0 1 0 162862739 2693263360 612728 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 657535 612728 4200 3002 0 641286 0

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

Current children cumulated memory: 3117548 KiB

[startup+2862.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 844395
/proc/meminfo: memFree=124605212/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=2855.45 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 497442 0 0 0 285165 380 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 2855.45 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 844406
/proc/meminfo: memFree=124596372/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=2915.3 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 498083 0 0 0 291143 387 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 2915.3 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 844416
/proc/meminfo: memFree=124595684/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=2975.15 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 498587 0 0 0 297122 393 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 2975.15 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 844426
/proc/meminfo: memFree=124594832/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=3035 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 499085 0 0 0 303100 400 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 3035 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 844436
/proc/meminfo: memFree=124587984/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=3094.83 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 499689 0 0 0 309076 407 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 3094.83 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 844447
/proc/meminfo: memFree=124579112/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=3154.68 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 500325 0 0 0 315055 413 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 3154.68 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/254 844458
/proc/meminfo: memFree=124576064/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=3214.52 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 500714 0 0 0 321035 417 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 3214.52 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 844473
/proc/meminfo: memFree=124561260/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=3274.37 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 501223 0 0 0 327017 420 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 3274.37 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 844484
/proc/meminfo: memFree=124511128/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=3334.22 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 501763 0 0 0 332999 423 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 3334.22 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 844494
/proc/meminfo: memFree=124510456/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=3394.06 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 502391 0 0 0 338980 426 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 3394.06 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/257 844506
/proc/meminfo: memFree=124509816/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=3453.91 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 503060 0 0 0 344959 432 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 3453.91 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/257 844517
/proc/meminfo: memFree=124508884/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=3513.76 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 503517 0 0 0 350935 441 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 3513.76 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.17 4.12 5/257 844528
/proc/meminfo: memFree=124507920/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=3573.6 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 504140 0 0 0 356916 444 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 3573.6 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.28 4.18 4.12 5/254 844531
/proc/meminfo: memFree=124508052/131524600 swapFree=131071996/131071996
[pid=842594] ppid=842591 vsize=3194312 memory=3117548 CPUtime=3600.03 cores=4,6
/proc/842594/stat : 842594 (mixed-bag) R 842591 842594 840490 0 -1 4194304 504511 0 0 0 359556 447 0 0 20 0 1 0 162862739 3270975488 779387 134679101440 4194304 16487941 140721574031520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36712448 140721574036503 140721574036580 140721574036580 140721574043595 0
/proc/842594/statm: 798578 779387 4200 3002 0 782329 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3194312 KiB
Current children cumulated memory: 3117548 KiB

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

[startup+3608.84 s]
# the end of solver process 842594 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3595.6 s, system=4.4849 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0

Real time (s): 3608.84
CPU time (s): 3600.08
CPU user time (s): 3595.6
CPU system time (s): 4.4849
CPU usage (%): 99.7573
Max. virtual memory (cumulated for all children) (KiB): 3194312
Max. memory (cumulated for all children) (KiB): 3117548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.6
system time used= 4.48491
maximum resident set size= 3117640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504572
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= 62
involuntary context switches= 1439


# summary of solver processes directly reported to runsolver:
#   pid: 842594
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3595.6
#   total CPU system time (s): 4.4849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82869 second user time and 16.9352 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-16 07:15:31
IDJOB=4435555
IDBENCH=148190
IDSOLVER=3066
FILE ID=nodeC035/4435555-1721106919
RUNJOBID= nodeC035-1721103319-840501
SLURM_JOB_ID= 7505619
Free space on /tmp= 890000 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435555-1721106919/watcher-4435555-1721106919 -o /tmp/evaluation-result-4435555-1721106919/solver-4435555-1721106919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840501 --watchdog 3760  mixed-bag HOME/instance-4435555-1721106919.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= dbdf528b135cde252d8c4b9633a10d5c
RANDOM SEED=163863697

nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3662.980
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3650.504
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.120
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3605.448
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3659.824
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3649.521
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3674.147
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3649.996
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128136328 kB
MemAvailable:   128753584 kB
Buffers:          381412 kB
Cached:          1075052 kB
SwapCached:            0 kB
Active:           697996 kB
Inactive:        2099044 kB
Active(anon):       1560 kB
Inactive(anon):  1377056 kB
Active(file):     696436 kB
Inactive(file):   721988 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             44452 kB
Writeback:             0 kB
AnonPages:       1337936 kB
Mapped:           129940 kB
Shmem:             37724 kB
KReclaimable:      77308 kB
Slab:             181008 kB
SReclaimable:      77308 kB
SUnreclaim:       103700 kB
KernelStack:        4108 kB
PageTables:        12220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1798284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63040 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1296384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC035 at 2024-07-16 08:15:40