Trace number 4435657

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.14 3613.59

DiagnosticValue
AM1LB0
LOWERBOUND20
NAM1S0
NCORES20
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
MD5SUMa008918ff26f135f427f5632a2cbbc59
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 benchmark60
Best CPU time to get the best result obtained on this benchmark3558.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15312
Total number of constraints65280
Number of constraints which are clauses65280
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 constraint64
Maximum length of a constraint92
Number of terms in the objective function 15312
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 15312
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15312
Number of bits of the biggest sum of numbers14
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
4.37/4.43	c [STEP] preprocessing with Papilo
5.66/5.70	c Papilo could not simplify the problem
5.66/5.70	c [STEP] solving with SCIP
304.04/306.84	c [STEP] preprocessing done, loading into solver
304.73/307.59	c [STEP] solving
304.73/307.59	c #variables 15313 #constraints 65280
304.73/307.59	c SMALL=int, LARGE=long long
304.73/307.60	c bounds - >= 0 @ 302.671
304.73/307.60	c stratification level: 0
833.55/840.14	c bounds - >= 1 @ 302.824
833.55/840.14	c bounds - >= 2 @ 302.828
833.55/840.14	c bounds - >= 3 @ 302.835
833.55/840.14	c bounds - >= 4 @ 302.84
833.55/840.14	c bounds - >= 5 @ 302.846
833.55/840.14	c bounds - >= 6 @ 302.85
833.55/840.14	c bounds - >= 7 @ 302.856
833.55/840.14	c bounds - >= 8 @ 302.86
833.55/840.14	c bounds - >= 9 @ 302.865
833.55/840.14	c bounds - >= 10 @ 302.868
833.55/840.14	c bounds - >= 11 @ 302.877
833.55/840.14	c bounds - >= 12 @ 302.884
833.55/840.14	c bounds - >= 13 @ 302.887
833.55/840.14	c bounds - >= 14 @ 302.903
833.55/840.14	c bounds - >= 15 @ 302.909
833.55/840.14	c bounds - >= 16 @ 302.915
833.55/840.14	c bounds - >= 17 @ 302.919
833.55/840.14	c bounds - >= 18 @ 302.923
833.55/840.14	c bounds - >= 19 @ 302.931
833.55/840.14	c bounds - >= 20 @ 302.938
833.55/840.14	c #Conflicts:       1000 | #Constraints:      66300
833.55/840.14	c #Conflicts:       2000 | #Constraints:      67300
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:       3000 | #Constraints:      67294
833.55/840.14	c #Conflicts:       4000 | #Constraints:      68294
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:       5000 | #Constraints:      67692
833.55/840.14	c #Conflicts:       6000 | #Constraints:      68692
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:       7000 | #Constraints:      67692
833.55/840.14	c #Conflicts:       8000 | #Constraints:      68692
833.55/840.14	c #Conflicts:       9000 | #Constraints:      69692
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      10000 | #Constraints:      68394
833.55/840.14	c #Conflicts:      11000 | #Constraints:      69394
833.55/840.14	c #Conflicts:      12000 | #Constraints:      70394
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      13000 | #Constraints:      68846
833.55/840.14	c #Conflicts:      14000 | #Constraints:      69846
833.55/840.14	c #Conflicts:      15000 | #Constraints:      70846
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      16000 | #Constraints:      69075
833.55/840.14	c #Conflicts:      17000 | #Constraints:      70075
833.55/840.14	c #Conflicts:      18000 | #Constraints:      71075
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      19000 | #Constraints:      69083
833.55/840.14	c #Conflicts:      20000 | #Constraints:      70083
833.55/840.14	c #Conflicts:      21000 | #Constraints:      71083
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      22000 | #Constraints:      68895
833.55/840.14	c #Conflicts:      23000 | #Constraints:      69895
833.55/840.14	c #Conflicts:      24000 | #Constraints:      70895
833.55/840.14	c #Conflicts:      25000 | #Constraints:      71895
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      26000 | #Constraints:      69497
833.55/840.14	c #Conflicts:      27000 | #Constraints:      70497
833.55/840.14	c #Conflicts:      28000 | #Constraints:      71497
833.55/840.14	c #Conflicts:      29000 | #Constraints:      72497
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      30000 | #Constraints:      69901
833.55/840.14	c #Conflicts:      31000 | #Constraints:      70901
833.55/840.14	c #Conflicts:      32000 | #Constraints:      71901
833.55/840.14	c #Conflicts:      33000 | #Constraints:      72901
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      34000 | #Constraints:      70103
833.55/840.14	c #Conflicts:      35000 | #Constraints:      71103
833.55/840.14	c #Conflicts:      36000 | #Constraints:      72103
833.55/840.14	c #Conflicts:      37000 | #Constraints:      73103
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      38000 | #Constraints:      70104
833.55/840.14	c #Conflicts:      39000 | #Constraints:      71104
833.55/840.14	c #Conflicts:      40000 | #Constraints:      72104
833.55/840.14	c #Conflicts:      41000 | #Constraints:      73104
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      42000 | #Constraints:      69904
833.55/840.14	c #Conflicts:      43000 | #Constraints:      70904
833.55/840.14	c #Conflicts:      44000 | #Constraints:      71904
833.55/840.14	c #Conflicts:      45000 | #Constraints:      72904
833.55/840.14	c #Conflicts:      46000 | #Constraints:      73904
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      47000 | #Constraints:      70503
833.55/840.14	c #Conflicts:      48000 | #Constraints:      71503
833.55/840.14	c #Conflicts:      49000 | #Constraints:      72503
833.55/840.14	c #Conflicts:      50000 | #Constraints:      73503
833.55/840.14	c #Conflicts:      51000 | #Constraints:      74503
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      52000 | #Constraints:      70901
833.55/840.14	c #Conflicts:      53000 | #Constraints:      71901
833.55/840.14	c #Conflicts:      54000 | #Constraints:      72901
833.55/840.14	c #Conflicts:      55000 | #Constraints:      73901
833.55/840.14	c #Conflicts:      56000 | #Constraints:      74901
833.55/840.14	c INPROCESSING
833.55/840.14	c GARBAGE COLLECT
833.55/840.14	c #Conflicts:      57000 | #Constraints:      71101
833.55/840.14	c #Conflicts:      58000 | #Constraints:      72101
833.55/840.14	c #Conflicts:      59000 | #Constraints:      73101
1770.95/1779.88	c #Conflicts:      60000 | #Constraints:      74101
1770.95/1779.88	c #Conflicts:      61000 | #Constraints:      75101
1770.95/1779.88	c INPROCESSING
1770.95/1779.88	c GARBAGE COLLECT
1770.95/1779.88	c #Conflicts:      62000 | #Constraints:      71101
1770.95/1779.88	c #Conflicts:      63000 | #Constraints:      72101
1770.95/1779.88	c #Conflicts:      64000 | #Constraints:      73101
1770.95/1779.88	c #Conflicts:      65000 | #Constraints:      74101
1770.95/1779.88	c #Conflicts:      66000 | #Constraints:      75101
1770.95/1779.88	c INPROCESSING
1770.95/1779.88	c GARBAGE COLLECT
1770.95/1779.88	c #Conflicts:      67000 | #Constraints:      70900
1770.95/1779.88	c #Conflicts:      68000 | #Constraints:      71900
1770.95/1779.88	c #Conflicts:      69000 | #Constraints:      72900
1770.95/1779.88	c #Conflicts:      70000 | #Constraints:      73900
1770.95/1779.88	c #Conflicts:      71000 | #Constraints:      74900
1770.95/1779.88	c #Conflicts:      72000 | #Constraints:      75900
1770.95/1779.88	c INPROCESSING
1770.95/1779.88	c GARBAGE COLLECT
1770.95/1779.88	c #Conflicts:      73000 | #Constraints:      71497
1770.95/1779.88	c #Conflicts:      74000 | #Constraints:      72497
1770.95/1779.88	c #Conflicts:      75000 | #Constraints:      73497
1770.95/1779.88	c #Conflicts:      76000 | #Constraints:      74497
1770.95/1779.88	c #Conflicts:      77000 | #Constraints:      75497
1770.95/1779.88	c #Conflicts:      78000 | #Constraints:      76497
1770.95/1779.88	c INPROCESSING
1770.95/1779.88	c GARBAGE COLLECT
1770.95/1779.88	c #Conflicts:      79000 | #Constraints:      71898
1770.95/1779.88	c #Conflicts:      80000 | #Constraints:      72898
1770.95/1779.88	c #Conflicts:      81000 | #Constraints:      73898
1770.95/1779.88	c #Conflicts:      82000 | #Constraints:      74898
1770.95/1779.88	c #Conflicts:      83000 | #Constraints:      75898
1770.95/1779.88	c #Conflicts:      84000 | #Constraints:      76898
1770.95/1779.88	c INPROCESSING
1770.95/1779.88	c GARBAGE COLLECT
1770.95/1779.88	c #Conflicts:      85000 | #Constraints:      72101
1770.95/1779.88	c #Conflicts:      86000 | #Constraints:      73101
1770.95/1779.88	c #Conflicts:      87000 | #Constraints:      74101
1770.95/1779.88	c #Conflicts:      88000 | #Constraints:      75101
1770.95/1779.88	c #Conflicts:      89000 | #Constraints:      76101
1770.95/1779.88	c #Conflicts:      90000 | #Constraints:      77101
1770.95/1779.88	c INPROCESSING
1770.95/1779.88	c GARBAGE COLLECT
1770.95/1779.88	c #Conflicts:      91000 | #Constraints:      72103
1770.95/1779.88	c #Conflicts:      92000 | #Constraints:      73103
1770.95/1779.88	c #Conflicts:      93000 | #Constraints:      74103
1770.95/1779.88	c #Conflicts:      94000 | #Constraints:      75103
1770.95/1779.88	c #Conflicts:      95000 | #Constraints:      76103
1770.95/1779.88	c #Conflicts:      96000 | #Constraints:      77103
1770.95/1779.88	c INPROCESSING
1770.95/1779.88	c GARBAGE COLLECT
1770.95/1779.88	c #Conflicts:      97000 | #Constraints:      71902
1770.95/1779.88	c #Conflicts:      98000 | #Constraints:      72902
1770.95/1779.88	c #Conflicts:      99000 | #Constraints:      73902
1770.95/1779.88	c #Conflicts:     100000 | #Constraints:      74902
1770.95/1779.88	c #Conflicts:     101000 | #Constraints:      75902
1770.95/1779.88	c #Conflicts:     102000 | #Constraints:      76902
1770.95/1779.88	c #Conflicts:     103000 | #Constraints:      77902
1770.95/1779.88	c INPROCESSING
1770.95/1779.88	c GARBAGE COLLECT
1770.95/1779.88	c #Conflicts:     104000 | #Constraints:      72505
1770.95/1779.88	c #Conflicts:     105000 | #Constraints:      73505
1770.95/1779.88	c #Conflicts:     106000 | #Constraints:      74505
1770.95/1779.88	c #Conflicts:     107000 | #Constraints:      75505
1770.95/1779.88	c #Conflicts:     108000 | #Constraints:      76505
1770.95/1779.88	c #Conflicts:     109000 | #Constraints:      77505
1770.95/1779.88	c #Conflicts:     110000 | #Constraints:      78505
1770.95/1779.88	c INPROCESSING
1770.95/1779.88	c GARBAGE COLLECT
1770.95/1779.88	c #Conflicts:     111000 | #Constraints:      72906
1770.95/1779.88	c #Conflicts:     112000 | #Constraints:      73906
1770.95/1779.88	c #Conflicts:     113000 | #Constraints:      74906
1770.95/1779.88	c #Conflicts:     114000 | #Constraints:      75906
1770.95/1779.88	c #Conflicts:     115000 | #Constraints:      76906
1770.95/1779.88	c #Conflicts:     116000 | #Constraints:      77906
1770.95/1779.88	c #Conflicts:     117000 | #Constraints:      78906
1770.95/1779.88	c INPROCESSING
1770.95/1779.88	c GARBAGE COLLECT
1770.95/1779.88	c #Conflicts:     118000 | #Constraints:      73103
1770.95/1779.88	c #Conflicts:     119000 | #Constraints:      74103
1770.95/1779.88	c #Conflicts:     120000 | #Constraints:      75103
1770.95/1779.88	c #Conflicts:     121000 | #Constraints:      76103
1770.95/1779.88	c #Conflicts:     122000 | #Constraints:      77103
1770.95/1779.88	c #Conflicts:     123000 | #Constraints:      78103
1770.95/1779.88	c #Conflicts:     124000 | #Constraints:      79103
1770.95/1779.88	c INPROCESSING
1770.95/1779.88	c GARBAGE COLLECT
1770.95/1779.88	c #Conflicts:     125000 | #Constraints:      73104
1770.95/1779.88	c #Conflicts:     126000 | #Constraints:      74104
1770.95/1779.88	c #Conflicts:     127000 | #Constraints:      75104
1770.95/1779.88	c #Conflicts:     128000 | #Constraints:      76104
1770.95/1779.88	c #Conflicts:     129000 | #Constraints:      77104
1770.95/1779.88	c #Conflicts:     130000 | #Constraints:      78104
1770.95/1779.88	c #Conflicts:     131000 | #Constraints:      79104
2878.14/2889.71	c INPROCESSING
2878.14/2889.71	c GARBAGE COLLECT
2878.14/2889.71	c #Conflicts:     132000 | #Constraints:      72903
2878.14/2889.71	c #Conflicts:     133000 | #Constraints:      73903
2878.14/2889.71	c #Conflicts:     134000 | #Constraints:      74903
2878.14/2889.71	c #Conflicts:     135000 | #Constraints:      75903
2878.14/2889.71	c #Conflicts:     136000 | #Constraints:      76903
2878.14/2889.71	c #Conflicts:     137000 | #Constraints:      77903
2878.14/2889.71	c #Conflicts:     138000 | #Constraints:      78903
2878.14/2889.71	c #Conflicts:     139000 | #Constraints:      79903
2878.14/2889.71	c INPROCESSING
2878.14/2889.71	c GARBAGE COLLECT
2878.14/2889.71	c #Conflicts:     140000 | #Constraints:      73501
2878.14/2889.71	c #Conflicts:     141000 | #Constraints:      74501
2878.14/2889.71	c #Conflicts:     142000 | #Constraints:      75501
2878.14/2889.71	c #Conflicts:     143000 | #Constraints:      76501
2878.14/2889.71	c #Conflicts:     144000 | #Constraints:      77501
2878.14/2889.71	c #Conflicts:     145000 | #Constraints:      78501
2878.14/2889.71	c #Conflicts:     146000 | #Constraints:      79501
2878.14/2889.71	c #Conflicts:     147000 | #Constraints:      80501
2878.14/2889.71	c INPROCESSING
2878.14/2889.71	c GARBAGE COLLECT
2878.14/2889.71	c #Conflicts:     148000 | #Constraints:      73906
2878.14/2889.71	c #Conflicts:     149000 | #Constraints:      74906
2878.14/2889.71	c #Conflicts:     150000 | #Constraints:      75906
2878.14/2889.71	c #Conflicts:     151000 | #Constraints:      76906
2878.14/2889.71	c #Conflicts:     152000 | #Constraints:      77906
2878.14/2889.71	c #Conflicts:     153000 | #Constraints:      78906
2878.14/2889.71	c #Conflicts:     154000 | #Constraints:      79906
2878.14/2889.71	c #Conflicts:     155000 | #Constraints:      80906
2878.14/2889.71	c INPROCESSING
2878.14/2889.71	c GARBAGE COLLECT
2878.14/2889.71	c #Conflicts:     156000 | #Constraints:      74106
2878.14/2889.71	c #Conflicts:     157000 | #Constraints:      75106
2878.14/2889.71	c #Conflicts:     158000 | #Constraints:      76106
2878.14/2889.71	c #Conflicts:     159000 | #Constraints:      77106
2878.14/2889.71	c #Conflicts:     160000 | #Constraints:      78106
2878.14/2889.71	c #Conflicts:     161000 | #Constraints:      79106
2878.14/2889.71	c #Conflicts:     162000 | #Constraints:      80106
2878.14/2889.71	c #Conflicts:     163000 | #Constraints:      81106
2878.14/2889.71	c INPROCESSING
2878.14/2889.71	c GARBAGE COLLECT
2878.14/2889.71	c #Conflicts:     164000 | #Constraints:      74111
2878.14/2889.71	c #Conflicts:     165000 | #Constraints:      75111
2878.14/2889.71	c #Conflicts:     166000 | #Constraints:      76111
2878.14/2889.71	c #Conflicts:     167000 | #Constraints:      77111
2878.14/2889.71	c #Conflicts:     168000 | #Constraints:      78111
2878.14/2889.71	c #Conflicts:     169000 | #Constraints:      79111
2878.14/2889.71	c #Conflicts:     170000 | #Constraints:      80111
2878.14/2889.71	c #Conflicts:     171000 | #Constraints:      81111
2878.14/2889.71	c INPROCESSING
2878.14/2889.71	c GARBAGE COLLECT
2878.14/2889.71	c #Conflicts:     172000 | #Constraints:      73911
2878.14/2889.71	c #Conflicts:     173000 | #Constraints:      74911
2878.14/2889.71	c #Conflicts:     174000 | #Constraints:      75911
2878.14/2889.71	c #Conflicts:     175000 | #Constraints:      76911
2878.14/2889.71	c #Conflicts:     176000 | #Constraints:      77911
2878.14/2889.71	c #Conflicts:     177000 | #Constraints:      78911
2878.14/2889.71	c #Conflicts:     178000 | #Constraints:      79911
2878.14/2889.71	c #Conflicts:     179000 | #Constraints:      80911
2878.14/2889.71	c #Conflicts:     180000 | #Constraints:      81911
2878.14/2889.71	c INPROCESSING
2878.14/2889.71	c GARBAGE COLLECT
2878.14/2889.71	c #Conflicts:     181000 | #Constraints:      74512
2878.14/2889.71	c #Conflicts:     182000 | #Constraints:      75512
2878.14/2889.71	c #Conflicts:     183000 | #Constraints:      76512
2878.14/2889.71	c #Conflicts:     184000 | #Constraints:      77512
2878.14/2889.71	c #Conflicts:     185000 | #Constraints:      78512
2878.14/2889.71	c #Conflicts:     186000 | #Constraints:      79512
2878.14/2889.71	c #Conflicts:     187000 | #Constraints:      80512
2878.14/2889.71	c #Conflicts:     188000 | #Constraints:      81512
2878.14/2889.71	c #Conflicts:     189000 | #Constraints:      82512
2878.14/2889.71	c INPROCESSING
2878.14/2889.71	c GARBAGE COLLECT
2878.14/2889.71	c #Conflicts:     190000 | #Constraints:      74910
2878.14/2889.71	c #Conflicts:     191000 | #Constraints:      75910
2878.14/2889.71	c #Conflicts:     192000 | #Constraints:      76910
2878.14/2889.71	c #Conflicts:     193000 | #Constraints:      77910
2878.14/2889.71	c #Conflicts:     194000 | #Constraints:      78910
2878.14/2889.71	c #Conflicts:     195000 | #Constraints:      79910
2878.14/2889.71	c #Conflicts:     196000 | #Constraints:      80910
2878.14/2889.71	c #Conflicts:     197000 | #Constraints:      81910
2878.14/2889.71	c #Conflicts:     198000 | #Constraints:      82910
2878.14/2889.71	c INPROCESSING
2878.14/2889.71	c GARBAGE COLLECT
2878.14/2889.71	c #Conflicts:     199000 | #Constraints:      75115
2878.14/2889.71	c #Conflicts:     200000 | #Constraints:      76115
2878.14/2889.71	c #Conflicts:     201000 | #Constraints:      77115
2878.14/2889.71	c #Conflicts:     202000 | #Constraints:      78115
2878.14/2889.71	c #Conflicts:     203000 | #Constraints:      79115
2878.14/2889.71	c #Conflicts:     204000 | #Constraints:      80115
3600.04/3613.50	c #Conflicts:     205000 | #Constraints:      81115
3600.04/3613.50	c #Conflicts:     206000 | #Constraints:      82115
3600.04/3613.50	c #Conflicts:     207000 | #Constraints:      83115
3600.04/3613.50	c INPROCESSING
3600.04/3613.50	c GARBAGE COLLECT
3600.04/3613.50	c #Conflicts:     208000 | #Constraints:      75111
3600.04/3613.50	c #Conflicts:     209000 | #Constraints:      76111
3600.04/3613.50	c #Conflicts:     210000 | #Constraints:      77111
3600.04/3613.50	c #Conflicts:     211000 | #Constraints:      78111
3600.04/3613.50	c #Conflicts:     212000 | #Constraints:      79111
3600.04/3613.50	c #Conflicts:     213000 | #Constraints:      80111
3600.04/3613.50	c #Conflicts:     214000 | #Constraints:      81111
3600.04/3613.50	c #Conflicts:     215000 | #Constraints:      82111
3600.04/3613.50	c #Conflicts:     216000 | #Constraints:      83111
3600.04/3613.50	c INPROCESSING
3600.04/3613.50	c GARBAGE COLLECT
3600.04/3613.50	c #Conflicts:     217000 | #Constraints:      74906
3600.04/3613.50	c #Conflicts:     218000 | #Constraints:      75906
3600.04/3613.50	c #Conflicts:     219000 | #Constraints:      76906
3600.04/3613.50	c #Conflicts:     220000 | #Constraints:      77906
3600.04/3613.50	c #Conflicts:     221000 | #Constraints:      78906
3600.04/3613.50	c #Conflicts:     222000 | #Constraints:      79906
3600.04/3613.50	c #Conflicts:     223000 | #Constraints:      80906
3600.04/3613.50	c #Conflicts:     224000 | #Constraints:      81906
3600.04/3613.50	c #Conflicts:     225000 | #Constraints:      82906
3600.04/3613.50	c #Conflicts:     226000 | #Constraints:      83906
3600.04/3613.50	c INPROCESSING
3600.04/3613.50	c GARBAGE COLLECT
3600.04/3613.50	c #Conflicts:     227000 | #Constraints:      75509
3600.04/3613.50	c #Conflicts:     228000 | #Constraints:      76509
3600.04/3613.50	c #Conflicts:     229000 | #Constraints:      77509
3600.04/3613.50	c #Conflicts:     230000 | #Constraints:      78509
3600.04/3613.50	c #Conflicts:     231000 | #Constraints:      79509
3600.04/3613.50	c #Conflicts:     232000 | #Constraints:      80509
3600.04/3613.50	c #Conflicts:     233000 | #Constraints:      81509
3600.04/3613.50	c #Conflicts:     234000 | #Constraints:      82509
3600.04/3613.50	c #Conflicts:     235000 | #Constraints:      83509
3600.04/3613.50	c #Conflicts:     236000 | #Constraints:      84509
3600.04/3613.50	c INPROCESSING
3600.04/3613.50	c GARBAGE COLLECT
3600.04/3613.50	c #Conflicts:     237000 | #Constraints:      75904
3600.04/3613.50	c #Conflicts:     238000 | #Constraints:      76904
3600.04/3613.50	c #Conflicts:     239000 | #Constraints:      77904
3600.04/3613.50	c #Conflicts:     240000 | #Constraints:      78904
3600.04/3613.50	c #Conflicts:     241000 | #Constraints:      79904
3600.04/3613.50	c #Conflicts:     242000 | #Constraints:      80904
3600.04/3613.50	c #Conflicts:     243000 | #Constraints:      81904
3600.04/3613.50	c #Conflicts:     244000 | #Constraints:      82904
3600.04/3613.50	c #Conflicts:     245000 | #Constraints:      83904
3600.04/3613.50	c #Conflicts:     246000 | #Constraints:      84904
3600.04/3613.50	c INPROCESSING
3600.04/3613.50	c GARBAGE COLLECT
3600.04/3613.50	c #Conflicts:     247000 | #Constraints:      76103
3600.04/3613.50	c Program interrupted by user.
3600.04/3613.50	c cpu time 3551.38 s
3600.04/3613.50	c deterministic time 165239194462 1.65e+11
3600.04/3613.50	c optimization time 19.8828 s
3600.04/3613.50	c total solve time 3228.83 s
3600.04/3613.50	c core-guided solve time 3228.83 s
3600.04/3613.50	c propagation time 1985.05 s
3600.04/3613.50	c conflict analysis time 920.728 s
3600.04/3613.50	c propagations 221225751
3600.04/3613.50	c resolve steps 950323
3600.04/3613.50	c decisions 54999715
3600.04/3613.50	c conflicts 247670
3600.04/3613.50	c restarts 573
3600.04/3613.50	c inprocessing phases 41
3600.04/3613.50	c input clauses 65281
3600.04/3613.50	c input cardinalities 20
3600.04/3613.50	c input general constraints 0
3600.04/3613.50	c input average constraint length 86.22
3600.04/3613.50	c input average constraint degree 1.24
3600.04/3613.50	c learned clauses 7889
3600.04/3613.50	c learned cardinalities 46
3600.04/3613.50	c learned general constraints 239734
3600.04/3613.50	c learned average constraint length 13586.16
3600.04/3613.50	c learned average constraint degree 3651615.83
3600.04/3613.50	c watched constraints 4381
3600.04/3613.50	c counting constraints 235353
3600.04/3613.50	c gcd simplifications 1002
3600.04/3613.50	c detected cardinalities 0
3600.04/3613.50	c weakened non-implied lits 83017494
3600.04/3613.50	c weakened non-implying lits 9458
3600.04/3613.50	c original variables 15312
3600.04/3613.50	c clausal propagations 3377165
3600.04/3613.50	c cardinality propagations 4352
3600.04/3613.50	c watched propagations 364738
3600.04/3613.50	c counting propagations 217218441
3600.04/3613.50	c watch lookups 22971199737
3600.04/3613.50	c watch backjump lookups 22938896575
3600.04/3613.50	c watch checks 8231177137
3600.04/3613.50	c propagation checks 102549857234
3600.04/3613.50	c constraint additions 7995380360
3600.04/3613.50	c trail pops 276457952
3600.04/3613.50	c formula constraints 65280
3600.04/3613.50	c learned constraints 247669
3600.04/3613.50	c bound constraints 21
3600.04/3613.50	c core-guided constraints 0
3600.04/3613.50	c encountered formula constraints 646899
3600.04/3613.50	c encountered learned constraints 551025
3600.04/3613.50	c encountered bound constraints 69
3600.04/3613.50	c encountered core-guided constraints 0
3600.04/3613.50	c LP total time 0 s
3600.04/3613.50	c LP solve time 0 s
3600.04/3613.50	c LP constraints added 0
3600.04/3613.50	c LP constraints removed 0
3600.04/3613.50	c LP pivots internal 0
3600.04/3613.50	c LP pivots root 0
3600.04/3613.50	c LP calls 0
3600.04/3613.50	c LP optimalities 0
3600.04/3613.50	c LP no pivot count 0
3600.04/3613.50	c LP infeasibilities 0
3600.04/3613.50	c LP valid Farkas constraints 0
3600.04/3613.50	c LP learned Farkas constraints 0
3600.04/3613.50	c LP basis resets 0
3600.04/3613.50	c LP cycling count 0
3600.04/3613.50	c LP singular count 0
3600.04/3613.50	c LP no primal count 0
3600.04/3613.50	c LP no farkas count 0
3600.04/3613.50	c LP other issue count 0
3600.04/3613.50	c LP Gomory cuts 0
3600.04/3613.50	c LP learned cuts 0
3600.04/3613.50	c LP deleted cuts 0
3600.04/3613.50	c LP encountered Gomory constraints 0
3600.04/3613.50	c LP encountered Farkas constraints 0
3600.04/3613.50	c LP encountered learned Farkas constraints 0
3600.04/3613.50	c CG auxiliary variables introduced 0
3600.04/3613.50	c CG solutions found 0
3600.04/3613.50	c CG cores constructed 20
3600.04/3613.50	c CG core cardinality constraints returned 0
3600.04/3613.50	c CG unit cores 0
3600.04/3613.50	c CG single cores 20
3600.04/3613.50	c CG blocks removed during cardinality reduction 0
3600.04/3613.50	c CG first core best 0
3600.04/3613.50	c CG decision core best 0
3600.04/3613.50	c CG core reduction tie 0
3600.04/3613.50	c CG core degree average 1.00
3600.04/3613.50	c CG core slack average 76.65
3600.04/3613.50	c CG exhausted 0
3600.04/3613.50	c CG exhaust time 0 s
3600.04/3613.50	c CG trimmed 0
3600.04/3613.50	c CG trim time 0.001278 s
3600.04/3613.50	c CG minimized 0
3600.04/3613.50	c CG minimize time 0 s
3600.04/3613.50	c CG am1 prop time 0.026683 s
3600.04/3613.50	c CG # am1s reformulated 0
3600.04/3613.50	c CG lower bound derived from am1s 0
3600.04/3613.50	c CG # clausal cores 20
3600.04/3613.50	c CG # cardinality cores 0
3600.04/3613.50	c CG # pb cores 0
3600.04/3613.50	c CG # pb reforms 0
3600.04/3613.50	c CG # cores discarded because of pb reform 0
3600.04/3613.50	d LOWERBOUND 20
3600.04/3613.50	d NCORES 20
3600.04/3613.50	d NPBCORES 0
3600.04/3613.50	d NPBREFORM 0
3600.04/3613.50	d NTRIMMED 0
3600.04/3613.50	d NEXHAUSTED 0
3600.04/3613.50	d NAM1S 0
3600.04/3613.50	d AM1LB 0
3600.04/3613.50	c [Papilo Statistics]
3600.04/3613.50	c prepro time 1.26388s
3600.04/3613.50	c # tsx applied 0
3600.04/3613.50	c # tsx conflicts 0
3600.04/3613.50	c # bound changes 0
3600.04/3613.50	c # side changes 0
3600.04/3613.50	c # coef changes 0
3600.04/3613.50	c # rounds 1
3600.04/3613.50	c # deted vars 0
3600.04/3613.50	c # deted constrs 0
3600.04/3613.50	c # consecutive rounds of only bound changes 0
3600.04/3613.56	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: 64059 MiB (61365 MiB free)
  memory of node 1: 64510 MiB (63258 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435657-1721129882/watcher-4435657-1721129882 -o /tmp/evaluation-result-4435657-1721129882/solver-4435657-1721129882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721129892-842641 --watchdog 3760 mixed-bag HOME/instance-4435657-1721129882.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=842747, runsolver pid=842744
Current StackSize limit: 8192 KiB


[startup+0.100946 s]*
/proc/loadavg: 1.02 1.39 2.56 5/242 842748
/proc/meminfo: memFree=127616708/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=83660 memory=14344 CPUtime=0.09 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 3156 0 0 0 9 0 0 0 20 0 1 0 165147909 85667840 3586 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 20915 3586 1630 3002 0 5205 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83660 KiB
Current children cumulated memory: 14344 KiB

[startup+0.20882 s]*
/proc/loadavg: 1.02 1.39 2.56 5/242 842748
/proc/meminfo: memFree=127568236/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=87756 memory=16436 CPUtime=0.2 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 3681 0 0 0 19 1 0 0 20 0 1 0 165147909 89862144 4109 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 21939 4109 1630 3002 0 6229 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87756 KiB
Current children cumulated memory: 16436 KiB

[startup+0.30862 s]*
/proc/loadavg: 1.02 1.39 2.56 5/242 842748
/proc/meminfo: memFree=127532576/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=87756 memory=18484 CPUtime=0.31 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 3693 0 0 0 30 1 0 0 20 0 1 0 165147909 89862144 4621 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 21939 4621 1630 3002 0 6229 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 87756 KiB
Current children cumulated memory: 18484 KiB

[startup+0.700231 s]
/proc/loadavg: 1.02 1.39 2.56 5/242 842748
/proc/meminfo: memFree=127524220/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=95948 memory=26756 CPUtime=0.68 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 4252 0 0 0 67 1 0 0 20 0 1 0 165147909 98250752 6689 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 23987 6689 1630 3002 0 8277 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95948 KiB
Current children cumulated memory: 26756 KiB

[startup+1.50028 s]
/proc/loadavg: 1.02 1.39 2.56 5/242 842748
/proc/meminfo: memFree=127502836/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=145100 memory=53852 CPUtime=1.48 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 5435 0 0 0 144 4 0 0 20 0 1 0 165147909 148582400 13463 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 36275 13463 1630 3002 0 20565 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 145100 KiB
Current children cumulated memory: 53852 KiB

[startup+3.11259 s]
/proc/loadavg: 1.26 1.43 2.56 5/242 842750
/proc/meminfo: memFree=127316856/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=210636 memory=135296 CPUtime=3.09 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 6425 0 0 0 301 8 0 0 20 0 1 0 165147909 215691264 33824 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 52659 33824 1630 3002 0 36949 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 210636 KiB
Current children cumulated memory: 135296 KiB

[startup+6.30096 s]
/proc/loadavg: 1.26 1.43 2.56 5/242 842750
/proc/meminfo: memFree=126768608/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=934632 memory=772560 CPUtime=6.25 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 100774 0 0 0 577 48 0 0 20 0 1 0 165147909 957063168 193140 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 233658 193140 3669 3002 0 217409 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 934632 KiB
Current children cumulated memory: 772560 KiB

[startup+12.701 s]
/proc/loadavg: 1.68 1.52 2.58 5/242 842750
/proc/meminfo: memFree=125491536/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=1876672 memory=1704048 CPUtime=12.59 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 314097 0 0 0 1156 103 0 0 20 0 1 0 165147909 1921712128 426012 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 469168 426012 3749 3002 0 452919 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1876672 KiB
Current children cumulated memory: 1704048 KiB

[startup+25.501 s]
/proc/loadavg: 2.04 1.60 2.60 5/242 842753
/proc/meminfo: memFree=122281184/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=5385100 memory=4809184 CPUtime=25.29 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 349126 0 0 0 2357 172 0 0 20 0 1 0 165147909 5514342400 1202296 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1346275 1202296 3797 3002 0 1330026 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 5385100 KiB
Current children cumulated memory: 4809184 KiB

[startup+51.106 s]
/proc/loadavg: 2.77 1.81 2.64 5/242 842756
/proc/meminfo: memFree=122052572/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=5200468 memory=4679952 CPUtime=50.66 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 431294 0 0 0 4865 201 0 0 20 0 1 0 165147909 5325279232 1169988 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1300117 1169988 3972 3002 0 1283868 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 5200468 KiB
Current children cumulated memory: 4679952 KiB

[startup+102.301 s]
/proc/loadavg: 3.63 2.21 2.73 5/242 842765
/proc/meminfo: memFree=121635340/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=5200468 memory=4680248 CPUtime=101.4 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 431547 0 0 0 9938 202 0 0 20 0 1 0 165147909 5325279232 1170062 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1300117 1170062 4004 3002 0 1283868 0
Current children cumulated CPU time: 101.4 s
Current children cumulated vsize: 5200468 KiB
Current children cumulated memory: 4680248 KiB

[startup+162.301 s]
/proc/loadavg: 3.93 2.56 2.82 5/244 842781
/proc/meminfo: memFree=121514228/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=5200468 memory=4680248 CPUtime=160.87 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 431884 0 0 0 15883 204 0 0 20 0 1 0 165147909 5325279232 1170062 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1300117 1170062 4004 3002 0 1283868 0
Current children cumulated CPU time: 160.87 s
Current children cumulated vsize: 5200468 KiB
Current children cumulated memory: 4680248 KiB

[startup+222.301 s]
/proc/loadavg: 4.02 2.84 2.90 5/244 842791
/proc/meminfo: memFree=121397864/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=5200468 memory=4680248 CPUtime=220.32 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 432220 0 0 0 21826 206 0 0 20 0 1 0 165147909 5325279232 1170062 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1300117 1170062 4004 3002 0 1283868 0
Current children cumulated CPU time: 220.32 s
Current children cumulated vsize: 5200468 KiB
Current children cumulated memory: 4680248 KiB

[startup+282.301 s]
/proc/loadavg: 4.07 3.07 2.98 5/243 842801
/proc/meminfo: memFree=121243064/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=5200468 memory=4680248 CPUtime=279.76 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 432560 0 0 0 27768 208 0 0 20 0 1 0 165147909 5325279232 1170062 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1300117 1170062 4004 3002 0 1283868 0
Current children cumulated CPU time: 279.76 s
Current children cumulated vsize: 5200468 KiB
Current children cumulated memory: 4680248 KiB

[startup+342.301 s]
/proc/loadavg: 4.24 3.30 3.07 5/244 842814
/proc/meminfo: memFree=122896348/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=2365456 memory=2171708 CPUtime=339.21 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 438858 0 0 0 33567 354 0 0 20 0 1 0 165147909 2422226944 542927 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 591364 542927 4157 3002 0 575115 0
Current children cumulated CPU time: 339.21 s
Current children cumulated vsize: 2365456 KiB
Current children cumulated memory: 2171708 KiB

[startup+402.301 s]
/proc/loadavg: 4.13 3.45 3.13 5/244 842827
/proc/meminfo: memFree=121914256/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=2714704 memory=2320284 CPUtime=398.64 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 439955 0 0 0 39350 514 0 0 20 0 1 0 165147909 2779856896 580071 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 678676 580071 4157 3002 0 662427 0
Current children cumulated CPU time: 398.64 s
Current children cumulated vsize: 2714704 KiB
Current children cumulated memory: 2320284 KiB

[startup+462.301 s]
/proc/loadavg: 4.16 3.58 3.20 5/243 842837
/proc/meminfo: memFree=121536508/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=2714704 memory=2421172 CPUtime=458.07 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 440200 0 0 0 45154 653 0 0 20 0 1 0 165147909 2779856896 605293 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 678676 605293 4157 3002 0 662427 0

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

Current children cumulated memory: 4674988 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.16 4.08 5/243 844236
/proc/meminfo: memFree=113667320/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=5821780 memory=4675224 CPUtime=2910.66 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 749285 0 0 0 286868 4198 0 0 20 0 1 0 165147909 5961502720 1168806 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1455445 1168806 4157 3002 0 1439196 0
Current children cumulated CPU time: 2910.66 s
Current children cumulated vsize: 5821780 KiB
Current children cumulated memory: 4675224 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.16 4.08 5/242 844246
/proc/meminfo: memFree=113412604/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6076076 memory=4890104 CPUtime=2970.5 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 787948 0 0 0 292800 4250 0 0 20 0 1 0 165147909 6221901824 1222526 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1519019 1222526 4157 3002 0 1502770 0
Current children cumulated CPU time: 2970.5 s
Current children cumulated vsize: 6076076 KiB
Current children cumulated memory: 4890104 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/244 844426
/proc/meminfo: memFree=113145424/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6076076 memory=4890112 CPUtime=3030.33 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 789315 0 0 0 298728 4305 0 0 20 0 1 0 165147909 6221901824 1222528 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1519019 1222528 4157 3002 0 1502770 0
Current children cumulated CPU time: 3030.33 s
Current children cumulated vsize: 6076076 KiB
Current children cumulated memory: 4890112 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.13 4.08 5/244 844437
/proc/meminfo: memFree=113055280/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6185684 memory=4985520 CPUtime=3090.17 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 808775 0 0 0 304672 4345 0 0 20 0 1 0 165147909 6334140416 1246380 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1546421 1246380 4157 3002 0 1530172 0
Current children cumulated CPU time: 3090.17 s
Current children cumulated vsize: 6185684 KiB
Current children cumulated memory: 4985520 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/243 844503
/proc/meminfo: memFree=112937488/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6282428 memory=5087068 CPUtime=3150.01 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 826566 0 0 0 310590 4411 0 0 20 0 1 0 165147909 6433206272 1271767 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1570607 1271767 4157 3002 0 1554358 0
Current children cumulated CPU time: 3150.01 s
Current children cumulated vsize: 6282428 KiB
Current children cumulated memory: 5087068 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/243 844513
/proc/meminfo: memFree=112893996/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6282428 memory=5087204 CPUtime=3209.86 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 828260 0 0 0 316542 4444 0 0 20 0 1 0 165147909 6433206272 1271801 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1570607 1271801 4157 3002 0 1554358 0
Current children cumulated CPU time: 3209.86 s
Current children cumulated vsize: 6282428 KiB
Current children cumulated memory: 5087204 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/243 844524
/proc/meminfo: memFree=112853208/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6323900 memory=5123196 CPUtime=3269.7 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 837499 0 0 0 322473 4497 0 0 20 0 1 0 165147909 6475673600 1280799 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1580975 1280799 4157 3002 0 1564726 0
Current children cumulated CPU time: 3269.7 s
Current children cumulated vsize: 6323900 KiB
Current children cumulated memory: 5123196 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/243 844534
/proc/meminfo: memFree=112849764/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6323900 memory=5123196 CPUtime=3329.54 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 839365 0 0 0 328406 4548 0 0 20 0 1 0 165147909 6475673600 1280799 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1580975 1280799 4157 3002 0 1564726 0
Current children cumulated CPU time: 3329.54 s
Current children cumulated vsize: 6323900 KiB
Current children cumulated memory: 5123196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/242 844545
/proc/meminfo: memFree=112785828/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6323900 memory=5123212 CPUtime=3389.38 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 841385 0 0 0 334334 4604 0 0 20 0 1 0 165147909 6475673600 1280803 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1580975 1280803 4157 3002 0 1564726 0
Current children cumulated CPU time: 3389.38 s
Current children cumulated vsize: 6323900 KiB
Current children cumulated memory: 5123212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 844557
/proc/meminfo: memFree=112649144/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6425212 memory=5257088 CPUtime=3449.22 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 863079 0 0 0 340247 4675 0 0 20 0 1 0 165147909 6579417088 1314272 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1606303 1314272 4157 3002 0 1590054 0
Current children cumulated CPU time: 3449.22 s
Current children cumulated vsize: 6425212 KiB
Current children cumulated memory: 5257088 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/241 844568
/proc/meminfo: memFree=112477420/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6425212 memory=5257088 CPUtime=3509.08 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 865032 0 0 0 346146 4762 0 0 20 0 1 0 165147909 6579417088 1314272 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1606303 1314272 4157 3002 0 1590054 0
Current children cumulated CPU time: 3509.08 s
Current children cumulated vsize: 6425212 KiB
Current children cumulated memory: 5257088 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/241 844578
/proc/meminfo: memFree=112389788/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6425212 memory=5257256 CPUtime=3568.93 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 867276 0 0 0 352063 4830 0 0 20 0 1 0 165147909 6579417088 1314314 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1606303 1314314 4157 3002 0 1590054 0
Current children cumulated CPU time: 3568.93 s
Current children cumulated vsize: 6425212 KiB
Current children cumulated memory: 5257256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.5 s]
/proc/loadavg: 4.09 4.10 4.09 5/241 844723
/proc/meminfo: memFree=122610588/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6450884 memory=5306460 CPUtime=3600.04 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 874444 0 0 0 355138 4866 0 0 20 0 1 0 165147909 6605705216 1326615 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1612721 1326615 4157 3002 0 1596472 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 6450884 KiB
Current children cumulated memory: 5306460 KiB

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

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

# cumulated CPU time of all completed processes:  user=3551.39 s, system=48.7531 s

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

[startup+3613.5 s]
/proc/loadavg: 4.09 4.10 4.09 5/241 844723
/proc/meminfo: memFree=122610588/131655788 swapFree=131071996/131071996
[pid=842747] ppid=842744 vsize=6450884 memory=5306460 CPUtime=3600.04 cores=1,3
/proc/842747/stat : 842747 (mixed-bag) R 842744 842747 842629 0 -1 4194304 874444 0 0 0 355138 4866 0 0 20 0 1 0 165147909 6605705216 1326615 134679101440 4194304 16487941 140736910523968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 29229056 140736910525463 140736910525540 140736910525540 140736910532555 0
/proc/842747/statm: 1612721 1326615 4157 3002 0 1596472 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 6450884 KiB
Current children cumulated memory: 5306460 KiB

Child status: 0

Real time (s): 3613.59
CPU time (s): 3600.14
CPU user time (s): 3551.39
CPU system time (s): 48.7531
CPU usage (%): 99.6279
Max. virtual memory (cumulated for all children) (KiB): 6450884
Max. memory (cumulated for all children) (KiB): 5306460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.39
system time used= 48.7531
maximum resident set size= 5306684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 874464
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= 202
involuntary context switches= 9724


# summary of solver processes directly reported to runsolver:
#   pid: 842747
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3551.39
#   total CPU system time (s): 48.7531

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5894 second user time and 30.8077 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-16 13:38:15
IDJOB=4435657
IDBENCH=155399
IDSOLVER=3066
FILE ID=nodeC009/4435657-1721129882
RUNJOBID= nodeC009-1721129892-842641
SLURM_JOB_ID= 7505696
Free space on /tmp= 723668 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435657-1721129882/watcher-4435657-1721129882 -o /tmp/evaluation-result-4435657-1721129882/solver-4435657-1721129882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721129892-842641 --watchdog 3760  mixed-bag HOME/instance-4435657-1721129882.opb

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

MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=516559132

nodeC009.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	: 0xb00001f
cpu MHz		: 3419.057
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 1324.431
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.370
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 1323.538
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
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	: 0xb00001f
cpu MHz		: 3419.131
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 3443.453
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.370
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.364
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127643900 kB
MemAvailable:   129361268 kB
Buffers:          417152 kB
Cached:          2125708 kB
SwapCached:            0 kB
Active:           734296 kB
Inactive:        2715304 kB
Active(anon):       1452 kB
Inactive(anon):   942980 kB
Active(file):     732844 kB
Inactive(file):  1772324 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            120772 kB
Writeback:             0 kB
AnonPages:        906732 kB
Mapped:           127812 kB
Shmem:             37700 kB
KReclaimable:     104464 kB
Slab:             202608 kB
SReclaimable:     104464 kB
SUnreclaim:        98144 kB
KernelStack:        3888 kB
PageTables:        11216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1361076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52864 kB
HardwareCorrupted:     0 kB
AnonHugePages:    315392 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723656 MiB
End job on nodeC009 at 2024-07-16 14:38:29