Trace number 4490790

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
pb-oll-rs-2024 2025-05-06? (TO) 3600.06 3611.3

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
MD5SUM329db8d421c28e548757e1dbc8e6ec5f
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 benchmark342
Best CPU time to get the best result obtained on this benchmark72001.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11001
Total number of constraints21678
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints21678
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2765
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.29/0.33	c [STEP] solving
0.29/0.33	c #variables 11001 #constraints 21678
0.29/0.33	c SMALL=int, LARGE=long long
0.29/0.33	c bounds - >= 0 @ 0.296245
0.29/0.33	c stratification level: 0
177.93/178.49	c bounds - >= 1 @ 0.310313
177.93/178.49	c bounds - >= 2 @ 0.311584
177.93/178.49	c bounds - >= 4 @ 0.31275
177.93/178.49	c bounds - >= 8 @ 0.314656
177.93/178.49	c bounds - >= 16 @ 0.327292
177.93/178.49	c #Conflicts:       1000 | #Constraints:      22682
177.93/178.49	c bounds - >= 32 @ 1.45707
177.93/178.49	c #Conflicts:       2000 | #Constraints:      23683
177.93/178.49	c INPROCESSING
177.93/178.49	c #Conflicts:       3000 | #Constraints:      23691
177.93/178.49	c #Conflicts:       4000 | #Constraints:      24691
177.93/178.49	c INPROCESSING
177.93/178.49	c #Conflicts:       5000 | #Constraints:      24108
177.93/178.49	c #Conflicts:       6000 | #Constraints:      25108
177.93/178.49	c INPROCESSING
177.93/178.49	c #Conflicts:       7000 | #Constraints:      24111
177.93/178.49	c #Conflicts:       8000 | #Constraints:      25111
177.93/178.49	c #Conflicts:       9000 | #Constraints:      26111
177.93/178.49	c INPROCESSING
177.93/178.49	c GARBAGE COLLECT
177.93/178.49	c #Conflicts:      10000 | #Constraints:      24811
177.93/178.49	c #Conflicts:      11000 | #Constraints:      25811
177.93/178.49	c #Conflicts:      12000 | #Constraints:      26811
177.93/178.49	c INPROCESSING
177.93/178.49	c #Conflicts:      13000 | #Constraints:      25268
177.93/178.49	c #Conflicts:      14000 | #Constraints:      26268
177.93/178.49	c #Conflicts:      15000 | #Constraints:      27268
177.93/178.49	c #Conflicts:      16000 | #Constraints:      28268
177.93/178.49	c #Conflicts:      17000 | #Constraints:      29268
177.93/178.49	c #Conflicts:      18000 | #Constraints:      30268
177.93/178.49	c #Conflicts:      19000 | #Constraints:      31268
177.93/178.49	c #Conflicts:      20000 | #Constraints:      32268
177.93/178.49	c INPROCESSING
177.93/178.49	c GARBAGE COLLECT
177.93/178.49	c #Conflicts:      21000 | #Constraints:      27798
177.93/178.49	c #Conflicts:      22000 | #Constraints:      28798
177.93/178.49	c #Conflicts:      23000 | #Constraints:      29798
177.93/178.49	c #Conflicts:      24000 | #Constraints:      30798
177.93/178.49	c INPROCESSING
177.93/178.49	c #Conflicts:      25000 | #Constraints:      27014
177.93/178.49	c #Conflicts:      26000 | #Constraints:      28014
177.93/178.49	c #Conflicts:      27000 | #Constraints:      29014
177.93/178.49	c #Conflicts:      28000 | #Constraints:      30014
177.93/178.49	c #Conflicts:      29000 | #Constraints:      31014
177.93/178.49	c #Conflicts:      30000 | #Constraints:      32014
177.93/178.49	c #Conflicts:      31000 | #Constraints:      33014
177.93/178.49	c #Conflicts:      32000 | #Constraints:      34014
177.93/178.49	c #Conflicts:      33000 | #Constraints:      35014
177.93/178.49	c #Conflicts:      34000 | #Constraints:      36014
177.93/178.49	c #Conflicts:      35000 | #Constraints:      37014
177.93/178.49	c #Conflicts:      36000 | #Constraints:      38014
177.93/178.49	c INPROCESSING
177.93/178.49	c GARBAGE COLLECT
177.93/178.49	c #Conflicts:      37000 | #Constraints:      30874
177.93/178.49	c #Conflicts:      38000 | #Constraints:      31874
177.93/178.49	c #Conflicts:      39000 | #Constraints:      32874
177.93/178.49	c #Conflicts:      40000 | #Constraints:      33874
177.93/178.49	c #Conflicts:      41000 | #Constraints:      34874
177.93/178.49	c INPROCESSING
177.93/178.49	c GARBAGE COLLECT
177.93/178.49	c #Conflicts:      42000 | #Constraints:      29097
177.93/178.49	c #Conflicts:      43000 | #Constraints:      30097
177.93/178.49	c #Conflicts:      44000 | #Constraints:      31097
177.93/178.49	c #Conflicts:      45000 | #Constraints:      32097
177.93/178.49	c #Conflicts:      46000 | #Constraints:      33097
177.93/178.49	c #Conflicts:      47000 | #Constraints:      34097
177.93/178.49	c #Conflicts:      48000 | #Constraints:      35097
177.93/178.49	c #Conflicts:      49000 | #Constraints:      36097
177.93/178.49	c #Conflicts:      50000 | #Constraints:      37097
177.93/178.49	c #Conflicts:      51000 | #Constraints:      38097
177.93/178.49	c #Conflicts:      52000 | #Constraints:      39097
177.93/178.49	c #Conflicts:      53000 | #Constraints:      40097
177.93/178.49	c #Conflicts:      54000 | #Constraints:      41097
177.93/178.49	c #Conflicts:      55000 | #Constraints:      42097
177.93/178.49	c #Conflicts:      56000 | #Constraints:      43097
177.93/178.49	c INPROCESSING
177.93/178.49	c GARBAGE COLLECT
177.93/178.49	c #Conflicts:      57000 | #Constraints:      33420
177.93/178.49	c #Conflicts:      58000 | #Constraints:      34420
177.93/178.49	c #Conflicts:      59000 | #Constraints:      35420
177.93/178.49	c #Conflicts:      60000 | #Constraints:      36420
177.93/178.49	c #Conflicts:      61000 | #Constraints:      37420
177.93/178.49	c #Conflicts:      62000 | #Constraints:      38420
177.93/178.49	c INPROCESSING
177.93/178.49	c GARBAGE COLLECT
177.93/178.49	c #Conflicts:      63000 | #Constraints:      30734
177.93/178.49	c #Conflicts:      64000 | #Constraints:      31734
177.93/178.49	c #Conflicts:      65000 | #Constraints:      32734
177.93/178.49	c #Conflicts:      66000 | #Constraints:      33734
177.93/178.49	c #Conflicts:      67000 | #Constraints:      34734
177.93/178.49	c #Conflicts:      68000 | #Constraints:      35734
177.93/178.49	c #Conflicts:      69000 | #Constraints:      36734
177.93/178.49	c #Conflicts:      70000 | #Constraints:      37734
177.93/178.49	c #Conflicts:      71000 | #Constraints:      38734
567.78/569.37	c #Conflicts:      72000 | #Constraints:      39734
567.78/569.37	c #Conflicts:      73000 | #Constraints:      40734
567.78/569.37	c #Conflicts:      74000 | #Constraints:      41734
567.78/569.37	c #Conflicts:      75000 | #Constraints:      42734
567.78/569.37	c #Conflicts:      76000 | #Constraints:      43734
567.78/569.37	c #Conflicts:      77000 | #Constraints:      44734
567.78/569.37	c #Conflicts:      78000 | #Constraints:      45734
567.78/569.37	c #Conflicts:      79000 | #Constraints:      46734
567.78/569.37	c #Conflicts:      80000 | #Constraints:      47734
567.78/569.37	c INPROCESSING
567.78/569.37	c GARBAGE COLLECT
567.78/569.37	c #Conflicts:      81000 | #Constraints:      35551
567.78/569.37	c #Conflicts:      82000 | #Constraints:      36551
567.78/569.37	c #Conflicts:      83000 | #Constraints:      37551
567.78/569.37	c #Conflicts:      84000 | #Constraints:      38551
567.78/569.37	c #Conflicts:      85000 | #Constraints:      39551
567.78/569.37	c #Conflicts:      86000 | #Constraints:      40551
567.78/569.37	c #Conflicts:      87000 | #Constraints:      41551
567.78/569.37	c #Conflicts:      88000 | #Constraints:      42551
567.78/569.37	c INPROCESSING
567.78/569.37	c GARBAGE COLLECT
567.78/569.37	c #Conflicts:      89000 | #Constraints:      33522
567.78/569.37	c #Conflicts:      90000 | #Constraints:      34522
567.78/569.37	c #Conflicts:      91000 | #Constraints:      35522
567.78/569.37	c #Conflicts:      92000 | #Constraints:      36522
567.78/569.37	c #Conflicts:      93000 | #Constraints:      37522
567.78/569.37	c #Conflicts:      94000 | #Constraints:      38522
567.78/569.37	c #Conflicts:      95000 | #Constraints:      39522
567.78/569.37	c #Conflicts:      96000 | #Constraints:      40522
567.78/569.37	c #Conflicts:      97000 | #Constraints:      41522
567.78/569.37	c #Conflicts:      98000 | #Constraints:      42522
567.78/569.37	c #Conflicts:      99000 | #Constraints:      43522
567.78/569.37	c #Conflicts:     100000 | #Constraints:      44522
567.78/569.37	c #Conflicts:     101000 | #Constraints:      45522
567.78/569.37	c #Conflicts:     102000 | #Constraints:      46522
567.78/569.37	c #Conflicts:     103000 | #Constraints:      47522
567.78/569.37	c #Conflicts:     104000 | #Constraints:      48522
567.78/569.37	c #Conflicts:     105000 | #Constraints:      49522
567.78/569.37	c #Conflicts:     106000 | #Constraints:      50522
567.78/569.37	c #Conflicts:     107000 | #Constraints:      51522
567.78/569.37	c #Conflicts:     108000 | #Constraints:      52522
567.78/569.37	c #Conflicts:     109000 | #Constraints:      53522
567.78/569.37	c INPROCESSING
567.78/569.37	c GARBAGE COLLECT
567.78/569.37	c #Conflicts:     110000 | #Constraints:      38535
567.78/569.37	c #Conflicts:     111000 | #Constraints:      39535
567.78/569.37	c #Conflicts:     112000 | #Constraints:      40535
567.78/569.37	c #Conflicts:     113000 | #Constraints:      41535
567.78/569.37	c #Conflicts:     114000 | #Constraints:      42535
567.78/569.37	c #Conflicts:     115000 | #Constraints:      43535
567.78/569.37	c #Conflicts:     116000 | #Constraints:      44535
567.78/569.37	c #Conflicts:     117000 | #Constraints:      45535
567.78/569.37	c #Conflicts:     118000 | #Constraints:      46535
567.78/569.37	c INPROCESSING
567.78/569.37	c GARBAGE COLLECT
567.78/569.37	c #Conflicts:     119000 | #Constraints:      37046
567.78/569.37	c #Conflicts:     120000 | #Constraints:      38046
567.78/569.37	c #Conflicts:     121000 | #Constraints:      39046
567.78/569.37	c #Conflicts:     122000 | #Constraints:      40046
567.78/569.37	c #Conflicts:     123000 | #Constraints:      41046
567.78/569.37	c #Conflicts:     124000 | #Constraints:      42046
567.78/569.37	c #Conflicts:     125000 | #Constraints:      43046
567.78/569.37	c #Conflicts:     126000 | #Constraints:      44046
567.78/569.37	c #Conflicts:     127000 | #Constraints:      45046
567.78/569.37	c #Conflicts:     128000 | #Constraints:      46046
567.78/569.37	c #Conflicts:     129000 | #Constraints:      47046
567.78/569.37	c #Conflicts:     130000 | #Constraints:      48046
567.78/569.37	c #Conflicts:     131000 | #Constraints:      49046
567.78/569.37	c #Conflicts:     132000 | #Constraints:      50046
567.78/569.37	c #Conflicts:     133000 | #Constraints:      51046
567.78/569.37	c #Conflicts:     134000 | #Constraints:      52046
567.78/569.37	c #Conflicts:     135000 | #Constraints:      53046
567.78/569.37	c #Conflicts:     136000 | #Constraints:      54046
567.78/569.37	c #Conflicts:     137000 | #Constraints:      55046
567.78/569.37	c #Conflicts:     138000 | #Constraints:      56046
567.78/569.37	c #Conflicts:     139000 | #Constraints:      57046
567.78/569.37	c #Conflicts:     140000 | #Constraints:      58046
567.78/569.37	c #Conflicts:     141000 | #Constraints:      59046
567.78/569.37	c #Conflicts:     142000 | #Constraints:      60046
567.78/569.37	c INPROCESSING
567.78/569.37	c GARBAGE COLLECT
567.78/569.37	c #Conflicts:     143000 | #Constraints:      41708
567.78/569.37	c #Conflicts:     144000 | #Constraints:      42708
567.78/569.37	c #Conflicts:     145000 | #Constraints:      43708
567.78/569.37	c #Conflicts:     146000 | #Constraints:      44708
1022.95/1025.88	c #Conflicts:     147000 | #Constraints:      45708
1022.95/1025.88	c #Conflicts:     148000 | #Constraints:      46708
1022.95/1025.88	c #Conflicts:     149000 | #Constraints:      47708
1022.95/1025.88	c #Conflicts:     150000 | #Constraints:      48708
1022.95/1025.88	c #Conflicts:     151000 | #Constraints:      49708
1022.95/1025.88	c #Conflicts:     152000 | #Constraints:      50708
1022.95/1025.88	c #Conflicts:     153000 | #Constraints:      51708
1022.95/1025.88	c #Conflicts:     154000 | #Constraints:      52708
1022.95/1025.88	c #Conflicts:     155000 | #Constraints:      53708
1022.95/1025.88	c #Conflicts:     156000 | #Constraints:      54708
1022.95/1025.88	c #Conflicts:     157000 | #Constraints:      55708
1022.95/1025.88	c #Conflicts:     158000 | #Constraints:      56708
1022.95/1025.88	c #Conflicts:     159000 | #Constraints:      57708
1022.95/1025.88	c #Conflicts:     160000 | #Constraints:      58708
1022.95/1025.88	c #Conflicts:     161000 | #Constraints:      59708
1022.95/1025.88	c #Conflicts:     162000 | #Constraints:      60708
1022.95/1025.88	c #Conflicts:     163000 | #Constraints:      61708
1022.95/1025.88	c #Conflicts:     164000 | #Constraints:      62708
1022.95/1025.88	c #Conflicts:     165000 | #Constraints:      63708
1022.95/1025.88	c #Conflicts:     166000 | #Constraints:      64708
1022.95/1025.88	c #Conflicts:     167000 | #Constraints:      65708
1022.95/1025.88	c #Conflicts:     168000 | #Constraints:      66708
1022.95/1025.88	c INPROCESSING
1022.95/1025.88	c GARBAGE COLLECT
1022.95/1025.88	c #Conflicts:     169000 | #Constraints:      45103
1022.95/1025.88	c #Conflicts:     170000 | #Constraints:      46103
1022.95/1025.88	c #Conflicts:     171000 | #Constraints:      47103
1022.95/1025.88	c #Conflicts:     172000 | #Constraints:      48103
1022.95/1025.88	c #Conflicts:     173000 | #Constraints:      49103
1022.95/1025.88	c #Conflicts:     174000 | #Constraints:      50103
1022.95/1025.88	c #Conflicts:     175000 | #Constraints:      51103
1022.95/1025.88	c #Conflicts:     176000 | #Constraints:      52103
1022.95/1025.88	c #Conflicts:     177000 | #Constraints:      53103
1022.95/1025.88	c #Conflicts:     178000 | #Constraints:      54103
1022.95/1025.88	c #Conflicts:     179000 | #Constraints:      55103
1022.95/1025.88	c #Conflicts:     180000 | #Constraints:      56103
1022.95/1025.88	c #Conflicts:     181000 | #Constraints:      57103
1022.95/1025.88	c #Conflicts:     182000 | #Constraints:      58103
1022.95/1025.88	c #Conflicts:     183000 | #Constraints:      59103
1022.95/1025.88	c #Conflicts:     184000 | #Constraints:      60103
1022.95/1025.88	c #Conflicts:     185000 | #Constraints:      61103
1022.95/1025.88	c #Conflicts:     186000 | #Constraints:      62103
1022.95/1025.88	c #Conflicts:     187000 | #Constraints:      63103
1022.95/1025.88	c #Conflicts:     188000 | #Constraints:      64103
1022.95/1025.88	c #Conflicts:     189000 | #Constraints:      65103
1022.95/1025.88	c #Conflicts:     190000 | #Constraints:      66103
1022.95/1025.88	c #Conflicts:     191000 | #Constraints:      67103
1022.95/1025.88	c #Conflicts:     192000 | #Constraints:      68103
1022.95/1025.88	c #Conflicts:     193000 | #Constraints:      69103
1022.95/1025.88	c #Conflicts:     194000 | #Constraints:      70103
1022.95/1025.88	c #Conflicts:     195000 | #Constraints:      71103
1022.95/1025.88	c #Conflicts:     196000 | #Constraints:      72103
1022.95/1025.88	c INPROCESSING
1022.95/1025.88	c GARBAGE COLLECT
1022.95/1025.88	c #Conflicts:     197000 | #Constraints:      49046
1022.95/1025.88	c #Conflicts:     198000 | #Constraints:      50046
1022.95/1025.88	c #Conflicts:     199000 | #Constraints:      51046
1022.95/1025.88	c #Conflicts:     200000 | #Constraints:      52046
1022.95/1025.88	c #Conflicts:     201000 | #Constraints:      53046
1022.95/1025.88	c #Conflicts:     202000 | #Constraints:      54046
1022.95/1025.88	c #Conflicts:     203000 | #Constraints:      55046
1022.95/1025.88	c #Conflicts:     204000 | #Constraints:      56046
1022.95/1025.88	c #Conflicts:     205000 | #Constraints:      57046
1022.95/1025.88	c #Conflicts:     206000 | #Constraints:      58046
1022.95/1025.88	c #Conflicts:     207000 | #Constraints:      59046
1022.95/1025.88	c #Conflicts:     208000 | #Constraints:      60046
1022.95/1025.88	c #Conflicts:     209000 | #Constraints:      61046
1022.95/1025.88	c #Conflicts:     210000 | #Constraints:      62046
1022.95/1025.88	c #Conflicts:     211000 | #Constraints:      63046
1022.95/1025.88	c #Conflicts:     212000 | #Constraints:      64046
1022.95/1025.88	c bounds - >= 64 @ 939.364
1022.95/1025.88	c #Conflicts:     213000 | #Constraints:      65047
1022.95/1025.88	c #Conflicts:     214000 | #Constraints:      66047
1022.95/1025.88	c #Conflicts:     215000 | #Constraints:      67047
1022.95/1025.88	c #Conflicts:     216000 | #Constraints:      68047
1022.95/1025.88	c #Conflicts:     217000 | #Constraints:      69047
1022.95/1025.88	c #Conflicts:     218000 | #Constraints:      70047
1022.95/1025.88	c #Conflicts:     219000 | #Constraints:      71047
1022.95/1025.88	c #Conflicts:     220000 | #Constraints:      72047
1022.95/1025.88	c #Conflicts:     221000 | #Constraints:      73047
1022.95/1025.88	c #Conflicts:     222000 | #Constraints:      74047
1022.95/1025.88	c #Conflicts:     223000 | #Constraints:      75047
1674.27/1679.14	c #Conflicts:     224000 | #Constraints:      76047
1674.27/1679.14	c #Conflicts:     225000 | #Constraints:      77047
1674.27/1679.14	c #Conflicts:     226000 | #Constraints:      78047
1674.27/1679.14	c INPROCESSING
1674.27/1679.14	c GARBAGE COLLECT
1674.27/1679.14	c #Conflicts:     227000 | #Constraints:      53057
1674.27/1679.14	c #Conflicts:     228000 | #Constraints:      54057
1674.27/1679.14	c #Conflicts:     229000 | #Constraints:      55057
1674.27/1679.14	c #Conflicts:     230000 | #Constraints:      56057
1674.27/1679.14	c #Conflicts:     231000 | #Constraints:      57057
1674.27/1679.14	c #Conflicts:     232000 | #Constraints:      58057
1674.27/1679.14	c #Conflicts:     233000 | #Constraints:      59057
1674.27/1679.14	c #Conflicts:     234000 | #Constraints:      60057
1674.27/1679.14	c #Conflicts:     235000 | #Constraints:      61057
1674.27/1679.14	c #Conflicts:     236000 | #Constraints:      62057
1674.27/1679.14	c #Conflicts:     237000 | #Constraints:      63057
1674.27/1679.14	c #Conflicts:     238000 | #Constraints:      64057
1674.27/1679.14	c #Conflicts:     239000 | #Constraints:      65057
1674.27/1679.14	c #Conflicts:     240000 | #Constraints:      66057
1674.27/1679.14	c #Conflicts:     241000 | #Constraints:      67057
1674.27/1679.14	c #Conflicts:     242000 | #Constraints:      68057
1674.27/1679.14	c #Conflicts:     243000 | #Constraints:      69057
1674.27/1679.15	c #Conflicts:     244000 | #Constraints:      70057
1674.27/1679.15	c #Conflicts:     245000 | #Constraints:      71057
1674.27/1679.15	c #Conflicts:     246000 | #Constraints:      72057
1674.27/1679.15	c #Conflicts:     247000 | #Constraints:      73057
1674.27/1679.15	c #Conflicts:     248000 | #Constraints:      74057
1674.27/1679.15	c #Conflicts:     249000 | #Constraints:      75057
1674.27/1679.15	c #Conflicts:     250000 | #Constraints:      76057
1674.27/1679.15	c #Conflicts:     251000 | #Constraints:      77057
1674.27/1679.15	c #Conflicts:     252000 | #Constraints:      78057
1674.27/1679.15	c #Conflicts:     253000 | #Constraints:      79057
1674.27/1679.15	c #Conflicts:     254000 | #Constraints:      80057
1674.27/1679.15	c #Conflicts:     255000 | #Constraints:      81057
1674.27/1679.15	c #Conflicts:     256000 | #Constraints:      82057
1674.27/1679.15	c #Conflicts:     257000 | #Constraints:      83057
1674.27/1679.15	c #Conflicts:     258000 | #Constraints:      84057
1674.27/1679.15	c INPROCESSING
1674.27/1679.15	c GARBAGE COLLECT
1674.27/1679.15	c #Conflicts:     259000 | #Constraints:      57207
1674.27/1679.15	c #Conflicts:     260000 | #Constraints:      58207
1674.27/1679.15	c #Conflicts:     261000 | #Constraints:      59207
1674.27/1679.15	c #Conflicts:     262000 | #Constraints:      60207
1674.27/1679.15	c #Conflicts:     263000 | #Constraints:      61207
1674.27/1679.15	c #Conflicts:     264000 | #Constraints:      62207
1674.27/1679.15	c #Conflicts:     265000 | #Constraints:      63207
1674.27/1679.15	c #Conflicts:     266000 | #Constraints:      64207
1674.27/1679.15	c #Conflicts:     267000 | #Constraints:      65207
1674.27/1679.15	c #Conflicts:     268000 | #Constraints:      66207
1674.27/1679.15	c #Conflicts:     269000 | #Constraints:      67207
1674.27/1679.15	c #Conflicts:     270000 | #Constraints:      68207
1674.27/1679.15	c #Conflicts:     271000 | #Constraints:      69207
1674.27/1679.15	c #Conflicts:     272000 | #Constraints:      70207
1674.27/1679.15	c #Conflicts:     273000 | #Constraints:      71207
1674.27/1679.15	c #Conflicts:     274000 | #Constraints:      72207
1674.27/1679.15	c #Conflicts:     275000 | #Constraints:      73207
1674.27/1679.15	c #Conflicts:     276000 | #Constraints:      74207
1674.27/1679.15	c #Conflicts:     277000 | #Constraints:      75207
1674.27/1679.15	c #Conflicts:     278000 | #Constraints:      76207
1674.27/1679.15	c #Conflicts:     279000 | #Constraints:      77207
1674.27/1679.15	c #Conflicts:     280000 | #Constraints:      78207
1674.27/1679.15	c #Conflicts:     281000 | #Constraints:      79207
1674.27/1679.15	c #Conflicts:     282000 | #Constraints:      80207
1674.27/1679.15	c #Conflicts:     283000 | #Constraints:      81207
1674.27/1679.15	c #Conflicts:     284000 | #Constraints:      82207
1674.27/1679.15	c #Conflicts:     285000 | #Constraints:      83207
1674.27/1679.15	c #Conflicts:     286000 | #Constraints:      84207
1674.27/1679.15	c #Conflicts:     287000 | #Constraints:      85207
1674.27/1679.15	c #Conflicts:     288000 | #Constraints:      86207
1674.27/1679.15	c #Conflicts:     289000 | #Constraints:      87207
1674.27/1679.15	c #Conflicts:     290000 | #Constraints:      88207
1674.27/1679.15	c #Conflicts:     291000 | #Constraints:      89207
1674.27/1679.15	c INPROCESSING
1674.27/1679.15	c GARBAGE COLLECT
1674.27/1679.15	c #Conflicts:     292000 | #Constraints:      60564
1674.27/1679.15	c #Conflicts:     293000 | #Constraints:      61564
1674.27/1679.15	c #Conflicts:     294000 | #Constraints:      62564
1674.27/1679.15	c #Conflicts:     295000 | #Constraints:      63564
1674.27/1679.15	c #Conflicts:     296000 | #Constraints:      64564
1674.27/1679.15	c #Conflicts:     297000 | #Constraints:      65564
1674.27/1679.15	c #Conflicts:     298000 | #Constraints:      66564
1674.27/1679.15	c #Conflicts:     299000 | #Constraints:      67564
1674.27/1679.15	c #Conflicts:     300000 | #Constraints:      68564
2565.51/2573.35	c #Conflicts:     301000 | #Constraints:      69564
2565.51/2573.35	c #Conflicts:     302000 | #Constraints:      70564
2565.51/2573.35	c #Conflicts:     303000 | #Constraints:      71564
2565.51/2573.35	c #Conflicts:     304000 | #Constraints:      72564
2565.51/2573.35	c #Conflicts:     305000 | #Constraints:      73564
2565.51/2573.35	c #Conflicts:     306000 | #Constraints:      74564
2565.51/2573.35	c #Conflicts:     307000 | #Constraints:      75564
2565.51/2573.35	c #Conflicts:     308000 | #Constraints:      76564
2565.51/2573.35	c #Conflicts:     309000 | #Constraints:      77564
2565.51/2573.35	c #Conflicts:     310000 | #Constraints:      78564
2565.51/2573.35	c #Conflicts:     311000 | #Constraints:      79564
2565.51/2573.35	c #Conflicts:     312000 | #Constraints:      80564
2565.51/2573.35	c #Conflicts:     313000 | #Constraints:      81564
2565.51/2573.35	c #Conflicts:     314000 | #Constraints:      82564
2565.51/2573.35	c #Conflicts:     315000 | #Constraints:      83564
2565.51/2573.35	c #Conflicts:     316000 | #Constraints:      84564
2565.51/2573.35	c #Conflicts:     317000 | #Constraints:      85564
2565.51/2573.35	c #Conflicts:     318000 | #Constraints:      86564
2565.51/2573.35	c #Conflicts:     319000 | #Constraints:      87564
2565.51/2573.35	c #Conflicts:     320000 | #Constraints:      88564
2565.51/2573.35	c #Conflicts:     321000 | #Constraints:      89564
2565.51/2573.35	c #Conflicts:     322000 | #Constraints:      90564
2565.51/2573.35	c #Conflicts:     323000 | #Constraints:      91564
2565.51/2573.35	c #Conflicts:     324000 | #Constraints:      92564
2565.51/2573.35	c #Conflicts:     325000 | #Constraints:      93564
2565.51/2573.35	c #Conflicts:     326000 | #Constraints:      94564
2565.51/2573.35	c #Conflicts:     327000 | #Constraints:      95564
2565.51/2573.35	c INPROCESSING
2565.51/2573.35	c GARBAGE COLLECT
2565.51/2573.35	c #Conflicts:     328000 | #Constraints:      65212
2565.51/2573.35	c #Conflicts:     329000 | #Constraints:      66212
2565.51/2573.35	c #Conflicts:     330000 | #Constraints:      67212
2565.51/2573.35	c #Conflicts:     331000 | #Constraints:      68212
2565.51/2573.35	c #Conflicts:     332000 | #Constraints:      69212
2565.51/2573.35	c #Conflicts:     333000 | #Constraints:      70212
2565.51/2573.35	c #Conflicts:     334000 | #Constraints:      71212
2565.51/2573.35	c #Conflicts:     335000 | #Constraints:      72212
2565.51/2573.35	c #Conflicts:     336000 | #Constraints:      73212
2565.51/2573.35	c #Conflicts:     337000 | #Constraints:      74212
2565.51/2573.35	c #Conflicts:     338000 | #Constraints:      75212
2565.51/2573.35	c #Conflicts:     339000 | #Constraints:      76212
2565.51/2573.35	c #Conflicts:     340000 | #Constraints:      77212
2565.51/2573.35	c #Conflicts:     341000 | #Constraints:      78212
2565.51/2573.35	c #Conflicts:     342000 | #Constraints:      79212
2565.51/2573.35	c #Conflicts:     343000 | #Constraints:      80212
2565.51/2573.35	c #Conflicts:     344000 | #Constraints:      81212
2565.51/2573.35	c #Conflicts:     345000 | #Constraints:      82212
2565.51/2573.35	c #Conflicts:     346000 | #Constraints:      83212
2565.51/2573.35	c #Conflicts:     347000 | #Constraints:      84212
2565.51/2573.35	c #Conflicts:     348000 | #Constraints:      85212
2565.51/2573.35	c #Conflicts:     349000 | #Constraints:      86212
2565.51/2573.35	c #Conflicts:     350000 | #Constraints:      87212
2565.51/2573.35	c #Conflicts:     351000 | #Constraints:      88212
2565.51/2573.35	c #Conflicts:     352000 | #Constraints:      89212
2565.51/2573.35	c #Conflicts:     353000 | #Constraints:      90212
2565.51/2573.35	c #Conflicts:     354000 | #Constraints:      91212
2565.51/2573.35	c #Conflicts:     355000 | #Constraints:      92212
2565.51/2573.35	c #Conflicts:     356000 | #Constraints:      93212
2565.51/2573.35	c #Conflicts:     357000 | #Constraints:      94212
2565.51/2573.35	c #Conflicts:     358000 | #Constraints:      95212
2565.51/2573.35	c #Conflicts:     359000 | #Constraints:      96212
2565.51/2573.35	c #Conflicts:     360000 | #Constraints:      97212
2565.51/2573.35	c #Conflicts:     361000 | #Constraints:      98212
2565.51/2573.35	c #Conflicts:     362000 | #Constraints:      99212
2565.51/2573.35	c #Conflicts:     363000 | #Constraints:     100212
2565.51/2573.35	c #Conflicts:     364000 | #Constraints:     101212
2565.51/2573.35	c #Conflicts:     365000 | #Constraints:     102212
2565.51/2573.35	c INPROCESSING
2565.51/2573.35	c GARBAGE COLLECT
2565.51/2573.35	c #Conflicts:     366000 | #Constraints:      69918
2565.51/2573.35	c #Conflicts:     367000 | #Constraints:      70918
2565.51/2573.35	c #Conflicts:     368000 | #Constraints:      71918
2565.51/2573.35	c #Conflicts:     369000 | #Constraints:      72918
2565.51/2573.35	c #Conflicts:     370000 | #Constraints:      73918
2565.51/2573.35	c #Conflicts:     371000 | #Constraints:      74918
2565.51/2573.35	c #Conflicts:     372000 | #Constraints:      75918
2565.51/2573.35	c #Conflicts:     373000 | #Constraints:      76918
2565.51/2573.35	c #Conflicts:     374000 | #Constraints:      77918
2565.51/2573.35	c #Conflicts:     375000 | #Constraints:      78918
2565.51/2573.35	c #Conflicts:     376000 | #Constraints:      79918
2565.51/2573.35	c #Conflicts:     377000 | #Constraints:      80918
2565.51/2573.35	c #Conflicts:     378000 | #Constraints:      81918
3600.04/3611.30	c #Conflicts:     379000 | #Constraints:      82918
3600.04/3611.30	c #Conflicts:     380000 | #Constraints:      83918
3600.04/3611.30	c #Conflicts:     381000 | #Constraints:      84918
3600.04/3611.30	c #Conflicts:     382000 | #Constraints:      85918
3600.04/3611.30	c #Conflicts:     383000 | #Constraints:      86918
3600.04/3611.30	c #Conflicts:     384000 | #Constraints:      87918
3600.04/3611.30	c #Conflicts:     385000 | #Constraints:      88918
3600.04/3611.30	c #Conflicts:     386000 | #Constraints:      89918
3600.04/3611.30	c #Conflicts:     387000 | #Constraints:      90918
3600.04/3611.30	c #Conflicts:     388000 | #Constraints:      91918
3600.04/3611.30	c #Conflicts:     389000 | #Constraints:      92918
3600.04/3611.30	c #Conflicts:     390000 | #Constraints:      93918
3600.04/3611.30	c #Conflicts:     391000 | #Constraints:      94918
3600.04/3611.30	c #Conflicts:     392000 | #Constraints:      95918
3600.04/3611.30	c #Conflicts:     393000 | #Constraints:      96918
3600.04/3611.30	c #Conflicts:     394000 | #Constraints:      97918
3600.04/3611.30	c #Conflicts:     395000 | #Constraints:      98918
3600.04/3611.30	c #Conflicts:     396000 | #Constraints:      99918
3600.04/3611.30	c #Conflicts:     397000 | #Constraints:     100918
3600.04/3611.30	c #Conflicts:     398000 | #Constraints:     101918
3600.04/3611.30	c #Conflicts:     399000 | #Constraints:     102918
3600.04/3611.30	c #Conflicts:     400000 | #Constraints:     103918
3600.04/3611.30	c #Conflicts:     401000 | #Constraints:     104918
3600.04/3611.30	c #Conflicts:     402000 | #Constraints:     105918
3600.04/3611.30	c #Conflicts:     403000 | #Constraints:     106918
3600.04/3611.30	c #Conflicts:     404000 | #Constraints:     107918
3600.04/3611.30	c #Conflicts:     405000 | #Constraints:     108918
3600.04/3611.30	c INPROCESSING
3600.04/3611.30	c GARBAGE COLLECT
3600.04/3611.30	c #Conflicts:     406000 | #Constraints:      74538
3600.04/3611.30	c #Conflicts:     407000 | #Constraints:      75538
3600.04/3611.30	c #Conflicts:     408000 | #Constraints:      76538
3600.04/3611.30	c #Conflicts:     409000 | #Constraints:      77538
3600.04/3611.30	c #Conflicts:     410000 | #Constraints:      78538
3600.04/3611.30	c #Conflicts:     411000 | #Constraints:      79538
3600.04/3611.30	c #Conflicts:     412000 | #Constraints:      80538
3600.04/3611.30	c #Conflicts:     413000 | #Constraints:      81538
3600.04/3611.30	c #Conflicts:     414000 | #Constraints:      82538
3600.04/3611.30	c #Conflicts:     415000 | #Constraints:      83538
3600.04/3611.30	c #Conflicts:     416000 | #Constraints:      84538
3600.04/3611.30	c #Conflicts:     417000 | #Constraints:      85538
3600.04/3611.30	c #Conflicts:     418000 | #Constraints:      86538
3600.04/3611.30	c #Conflicts:     419000 | #Constraints:      87538
3600.04/3611.30	c #Conflicts:     420000 | #Constraints:      88538
3600.04/3611.30	c #Conflicts:     421000 | #Constraints:      89538
3600.04/3611.30	c #Conflicts:     422000 | #Constraints:      90538
3600.04/3611.30	c #Conflicts:     423000 | #Constraints:      91538
3600.04/3611.30	c #Conflicts:     424000 | #Constraints:      92538
3600.04/3611.30	c #Conflicts:     425000 | #Constraints:      93538
3600.04/3611.30	c #Conflicts:     426000 | #Constraints:      94538
3600.04/3611.30	c #Conflicts:     427000 | #Constraints:      95538
3600.04/3611.30	c #Conflicts:     428000 | #Constraints:      96538
3600.04/3611.30	c #Conflicts:     429000 | #Constraints:      97538
3600.04/3611.30	c #Conflicts:     430000 | #Constraints:      98538
3600.04/3611.30	c #Conflicts:     431000 | #Constraints:      99538
3600.04/3611.30	c #Conflicts:     432000 | #Constraints:     100538
3600.04/3611.30	c #Conflicts:     433000 | #Constraints:     101538
3600.04/3611.30	c #Conflicts:     434000 | #Constraints:     102538
3600.04/3611.30	c #Conflicts:     435000 | #Constraints:     103538
3600.04/3611.30	c #Conflicts:     436000 | #Constraints:     104538
3600.04/3611.30	c #Conflicts:     437000 | #Constraints:     105538
3600.04/3611.30	c #Conflicts:     438000 | #Constraints:     106538
3600.04/3611.30	c #Conflicts:     439000 | #Constraints:     107538
3600.04/3611.30	c #Conflicts:     440000 | #Constraints:     108538
3600.04/3611.30	c #Conflicts:     441000 | #Constraints:     109538
3600.04/3611.30	c #Conflicts:     442000 | #Constraints:     110538
3600.04/3611.30	c #Conflicts:     443000 | #Constraints:     111538
3600.04/3611.30	c #Conflicts:     444000 | #Constraints:     112538
3600.04/3611.30	c #Conflicts:     445000 | #Constraints:     113538
3600.04/3611.30	c #Conflicts:     446000 | #Constraints:     114538
3600.04/3611.30	c #Conflicts:     447000 | #Constraints:     115538
3600.04/3611.30	c INPROCESSING
3600.04/3611.30	c GARBAGE COLLECT
3600.04/3611.30	c #Conflicts:     448000 | #Constraints:      79759
3600.04/3611.30	c #Conflicts:     449000 | #Constraints:      80759
3600.04/3611.30	c #Conflicts:     450000 | #Constraints:      81759
3600.04/3611.30	c #Conflicts:     451000 | #Constraints:      82759
3600.04/3611.30	c Program interrupted by user.
3600.04/3611.30	c cpu time 3593.91 s
3600.04/3611.30	c deterministic time 265760564223 2.66e+11
3600.04/3611.30	c optimization time 52.1651 s
3600.04/3611.30	c total solve time 3541.45 s
3600.04/3611.30	c core-guided solve time 3541.45 s
3600.04/3611.30	c propagation time 3483.31 s
3600.04/3611.30	c conflict analysis time 96.2385 s
3600.04/3611.30	c propagations 703359504
3600.04/3611.30	c resolve steps 1857789
3600.04/3611.30	c decisions 3891031
3600.04/3611.30	c conflicts 451092
3600.04/3611.30	c restarts 1021
3600.04/3611.30	c inprocessing phases 25
3600.04/3611.30	c input clauses 1
3600.04/3611.30	c input cardinalities 0
3600.04/3611.30	c input general constraints 21684
3600.04/3611.30	c input average constraint length 34.28
3600.04/3611.30	c input average constraint degree 972.55
3600.04/3611.30	c learned clauses 116329
3600.04/3611.30	c learned cardinalities 5
3600.04/3611.30	c learned general constraints 334758
3600.04/3611.30	c learned average constraint length 47.70
3600.04/3611.30	c learned average constraint degree 8977667.97
3600.04/3611.30	c watched constraints 355969
3600.04/3611.30	c counting constraints 473
3600.04/3611.30	c gcd simplifications 1343
3600.04/3611.30	c detected cardinalities 5
3600.04/3611.30	c weakened non-implied lits 1891680
3600.04/3611.30	c weakened non-implying lits 277
3600.04/3611.30	c original variables 11001
3600.04/3611.30	c clausal propagations 127346
3600.04/3611.30	c cardinality propagations 9
3600.04/3611.30	c watched propagations 697987468
3600.04/3611.30	c counting propagations 5020825
3600.04/3611.30	c watch lookups 59618448849
3600.04/3611.30	c watch backjump lookups 58030198180
3600.04/3611.30	c watch checks 79818204161
3600.04/3611.30	c propagation checks 66802346364
3600.04/3611.30	c constraint additions 76414546
3600.04/3611.30	c trail pops 707701587
3600.04/3611.30	c formula constraints 21678
3600.04/3611.30	c learned constraints 451092
3600.04/3611.30	c bound constraints 7
3600.04/3611.30	c core-guided constraints 0
3600.04/3611.30	c encountered formula constraints 1705389
3600.04/3611.30	c encountered learned constraints 603492
3600.04/3611.30	c encountered bound constraints 0
3600.04/3611.30	c encountered core-guided constraints 0
3600.04/3611.30	c LP total time 0 s
3600.04/3611.30	c LP solve time 0 s
3600.04/3611.30	c LP constraints added 0
3600.04/3611.30	c LP constraints removed 0
3600.04/3611.30	c LP pivots internal 0
3600.04/3611.30	c LP pivots root 0
3600.04/3611.30	c LP calls 0
3600.04/3611.30	c LP optimalities 0
3600.04/3611.30	c LP no pivot count 0
3600.04/3611.30	c LP infeasibilities 0
3600.04/3611.30	c LP valid Farkas constraints 0
3600.04/3611.30	c LP learned Farkas constraints 0
3600.04/3611.30	c LP basis resets 0
3600.04/3611.30	c LP cycling count 0
3600.04/3611.30	c LP singular count 0
3600.04/3611.30	c LP no primal count 0
3600.04/3611.30	c LP no farkas count 0
3600.04/3611.30	c LP other issue count 0
3600.04/3611.30	c LP Gomory cuts 0
3600.04/3611.30	c LP learned cuts 0
3600.04/3611.30	c LP deleted cuts 0
3600.04/3611.30	c LP encountered Gomory constraints 0
3600.04/3611.30	c LP encountered Farkas constraints 0
3600.04/3611.30	c LP encountered learned Farkas constraints 0
3600.04/3611.30	c CG auxiliary variables introduced 0
3600.04/3611.30	c CG solutions found 0
3600.04/3611.30	c CG cores constructed 7
3600.04/3611.30	c CG core cardinality constraints returned 0
3600.04/3611.30	c CG unit cores 0
3600.04/3611.30	c CG single cores 7
3600.04/3611.30	c CG blocks removed during cardinality reduction 0
3600.04/3611.30	c CG first core best 0
3600.04/3611.30	c CG decision core best 0
3600.04/3611.30	c CG core reduction tie 0
3600.04/3611.30	c CG core degree average 1.00
3600.04/3611.30	c CG core slack average 5.00
3600.04/3611.30	c CG exhausted 0
3600.04/3611.30	c CG exhaust time 0 s
3600.04/3611.30	c CG trimmed 0
3600.04/3611.30	c CG trim time 0.002979 s
3600.04/3611.30	c CG minimized 0
3600.04/3611.30	c CG minimize time 0 s
3600.04/3611.30	c CG am1 prop time 0.001754 s
3600.04/3611.30	c CG # am1s reformulated 0
3600.04/3611.30	c CG lower bound derived from am1s 0
3600.04/3611.30	c CG # clausal cores 7
3600.04/3611.30	c CG # cardinality cores 0
3600.04/3611.30	c CG # pb cores 0
3600.04/3611.30	c CG # pb reforms 0
3600.04/3611.30	c CG # cores discarded because of pb reform 0
3600.04/3611.30	d LOWERBOUND 64
3600.04/3611.30	d NCORES 7
3600.04/3611.30	d NPBCORES 0
3600.04/3611.30	d NPBREFORM 0
3600.04/3611.30	d NTRIMMED 0
3600.04/3611.30	d NEXHAUSTED 0
3600.04/3611.30	d NAM1S 0
3600.04/3611.30	d AM1LB 0
3600.04/3611.30	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: 63708 MiB (62920 MiB free)
  memory of node 1: 64465 MiB (63920 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490790-1751370448/watcher-4490790-1751370448 -o /tmp/evaluation-result-4490790-1751370448/solver-4490790-1751370448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49201 --watchdog 3760 pb-oll-rs HOME/instance-4490790-1751370448.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49984, runsolver pid=49977
Current StackSize limit: 8192 KiB


[startup+0.100055 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 49985
/proc/meminfo: memFree=129873600/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=22836 memory=10908 CPUtime=0.08 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 1265 0 0 0 8 0 0 0 20 0 1 0 52667372 23384064 2727 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 5709 2727 1152 243 0 1958 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22836 KiB
Current children cumulated memory: 10908 KiB

[startup+0.204725 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 49985
/proc/meminfo: memFree=129868656/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=26092 memory=12700 CPUtime=0.19 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 1722 0 0 0 18 1 0 0 20 0 1 0 52667372 26718208 3175 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 6523 3175 1152 243 0 2772 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26092 KiB
Current children cumulated memory: 12700 KiB

[startup+0.304576 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 49985
/proc/meminfo: memFree=129868656/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=26472 memory=15260 CPUtime=0.29 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 2371 0 0 0 27 2 0 0 20 0 1 0 52667372 27107328 3815 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 6618 3815 1152 243 0 2867 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26472 KiB
Current children cumulated memory: 15260 KiB

[startup+0.700148 s]
/proc/loadavg: 4.09 4.10 4.09 4/261 49986
/proc/meminfo: memFree=129853536/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=41296 memory=24604 CPUtime=0.68 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 4497 0 0 0 66 2 0 0 20 0 1 0 52667372 42287104 6151 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 10324 6151 1376 243 0 6573 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41296 KiB
Current children cumulated memory: 24604 KiB

[startup+1.50012 s]
/proc/loadavg: 4.09 4.10 4.09 4/260 50016
/proc/meminfo: memFree=129852960/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=41296 memory=24988 CPUtime=1.48 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 4608 0 0 0 145 3 0 0 20 0 1 0 52667372 42287104 6247 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 10324 6247 1376 243 0 6573 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41296 KiB
Current children cumulated memory: 24988 KiB

[startup+3.1053 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 50030
/proc/meminfo: memFree=129850000/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=41584 memory=25884 CPUtime=3.08 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 4822 0 0 0 304 4 0 0 20 0 1 0 52667372 42582016 6471 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 10396 6471 1376 243 0 6645 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 25884 KiB

[startup+6.30013 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 50030
/proc/meminfo: memFree=129850052/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=41744 memory=27164 CPUtime=6.26 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 5142 0 0 0 619 7 0 0 20 0 1 0 52667372 42745856 6791 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 10436 6791 1376 243 0 6685 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 41744 KiB
Current children cumulated memory: 27164 KiB

[startup+12.7001 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 50030
/proc/meminfo: memFree=129848040/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=42024 memory=29772 CPUtime=12.65 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 5407 0 0 0 1252 13 0 0 20 0 1 0 52667372 43032576 7443 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 10506 7443 1376 243 0 6755 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42024 KiB
Current children cumulated memory: 29772 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 50030
/proc/meminfo: memFree=129842752/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=42768 memory=30668 CPUtime=25.42 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 5644 0 0 0 2521 21 0 0 20 0 1 0 52667372 43794432 7667 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 10692 7667 1376 243 0 6941 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 42768 KiB
Current children cumulated memory: 30668 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 50031
/proc/meminfo: memFree=129832404/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=51996 memory=33896 CPUtime=50.96 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 6444 0 0 0 5057 39 0 0 20 0 1 0 52667372 53243904 8474 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 12999 8474 1376 243 0 9248 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 51996 KiB
Current children cumulated memory: 33896 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 50036
/proc/meminfo: memFree=129795816/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=54432 memory=40328 CPUtime=102.02 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 7358 0 0 0 10146 56 0 0 20 0 1 0 52667372 55738368 10082 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 13608 10082 1376 243 0 9857 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 54432 KiB
Current children cumulated memory: 40328 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 50041
/proc/meminfo: memFree=129799512/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=55388 memory=41196 CPUtime=161.87 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 7802 0 0 0 16112 75 0 0 20 0 1 0 52667372 56717312 10299 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 13847 10299 1376 243 0 10096 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 55388 KiB
Current children cumulated memory: 41196 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 50043
/proc/meminfo: memFree=129789348/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=58544 memory=45412 CPUtime=221.71 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 8407 0 0 0 22081 90 0 0 20 0 1 0 52667372 59949056 11353 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 14636 11353 1376 243 0 10885 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 58544 KiB
Current children cumulated memory: 45412 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 50045
/proc/meminfo: memFree=129764924/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=58544 memory=47076 CPUtime=281.55 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 8416 0 0 0 28051 104 0 0 20 0 1 0 52667372 59949056 11769 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 14636 11769 1376 243 0 10885 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 58544 KiB
Current children cumulated memory: 47076 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 50048
/proc/meminfo: memFree=129785824/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=59972 memory=48228 CPUtime=341.4 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 8701 0 0 0 34023 117 0 0 20 0 1 0 52667372 61411328 12057 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 14993 12057 1376 243 0 11242 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 59972 KiB
Current children cumulated memory: 48228 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 50050
/proc/meminfo: memFree=129784664/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=73056 memory=50540 CPUtime=401.24 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 9384 0 0 0 39993 131 0 0 20 0 1 0 52667372 74809344 12635 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 18264 12635 1376 243 0 14513 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 73056 KiB
Current children cumulated memory: 50540 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 50052
/proc/meminfo: memFree=129782608/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=73548 memory=50796 CPUtime=461.08 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 9503 0 0 0 45965 143 0 0 20 0 1 0 52667372 75313152 12699 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 18387 12699 1376 243 0 14636 0

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

Current children cumulated memory: 102828 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 50223
/proc/meminfo: memFree=129463528/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=120976 memory=103212 CPUtime=2913.36 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 17223 0 0 0 290803 533 0 0 20 0 1 0 52667372 123879424 25803 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 30244 25803 1376 243 0 26493 0
Current children cumulated CPU time: 2913.36 s
Current children cumulated vsize: 120976 KiB
Current children cumulated memory: 103212 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 50225
/proc/meminfo: memFree=129464716/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=122484 memory=106464 CPUtime=2973.15 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 17545 0 0 0 296776 539 0 0 20 0 1 0 52667372 125423616 26616 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 30621 26616 1376 243 0 26870 0
Current children cumulated CPU time: 2973.15 s
Current children cumulated vsize: 122484 KiB
Current children cumulated memory: 106464 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/263 50227
/proc/meminfo: memFree=129458952/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=122484 memory=106464 CPUtime=3032.96 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 17545 0 0 0 302749 547 0 0 20 0 1 0 52667372 125423616 26616 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 30621 26616 1376 243 0 26870 0
Current children cumulated CPU time: 3032.96 s
Current children cumulated vsize: 122484 KiB
Current children cumulated memory: 106464 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 50229
/proc/meminfo: memFree=129460336/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=122484 memory=106464 CPUtime=3092.76 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 17545 0 0 0 308719 557 0 0 20 0 1 0 52667372 125423616 26616 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 30621 26616 1376 243 0 26870 0
Current children cumulated CPU time: 3092.76 s
Current children cumulated vsize: 122484 KiB
Current children cumulated memory: 106464 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 50233
/proc/meminfo: memFree=129459024/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=122484 memory=106464 CPUtime=3152.55 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 17545 0 0 0 314691 564 0 0 20 0 1 0 52667372 125423616 26616 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 30621 26616 1376 243 0 26870 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 122484 KiB
Current children cumulated memory: 106464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 50240
/proc/meminfo: memFree=129456396/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=122484 memory=106464 CPUtime=3212.34 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 17545 0 0 0 320664 570 0 0 20 0 1 0 52667372 125423616 26616 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 30621 26616 1376 243 0 26870 0
Current children cumulated CPU time: 3212.34 s
Current children cumulated vsize: 122484 KiB
Current children cumulated memory: 106464 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 50242
/proc/meminfo: memFree=129448568/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=122484 memory=107104 CPUtime=3272.14 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 17590 0 0 0 326636 578 0 0 20 0 1 0 52667372 125423616 26776 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 30621 26776 1376 243 0 26870 0
Current children cumulated CPU time: 3272.14 s
Current children cumulated vsize: 122484 KiB
Current children cumulated memory: 107104 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 50244
/proc/meminfo: memFree=129449500/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=122484 memory=107104 CPUtime=3331.94 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 17591 0 0 0 332610 584 0 0 20 0 1 0 52667372 125423616 26776 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 30621 26776 1376 243 0 26870 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 122484 KiB
Current children cumulated memory: 107104 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 50247
/proc/meminfo: memFree=129450628/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=122484 memory=107104 CPUtime=3391.75 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 17591 0 0 0 338584 591 0 0 20 0 1 0 52667372 125423616 26776 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 30621 26776 1376 243 0 26870 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 122484 KiB
Current children cumulated memory: 107104 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 50249
/proc/meminfo: memFree=129447204/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=122768 memory=107360 CPUtime=3451.54 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 17627 0 0 0 344557 597 0 0 20 0 1 0 52667372 125714432 26840 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 30692 26840 1376 243 0 26941 0
Current children cumulated CPU time: 3451.54 s
Current children cumulated vsize: 122768 KiB
Current children cumulated memory: 107360 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 50251
/proc/meminfo: memFree=129441668/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=124816 memory=108640 CPUtime=3511.34 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 17969 0 0 0 350530 604 0 0 20 0 1 0 52667372 127811584 27160 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 31204 27160 1376 243 0 27453 0
Current children cumulated CPU time: 3511.34 s
Current children cumulated vsize: 124816 KiB
Current children cumulated memory: 108640 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 50253
/proc/meminfo: memFree=129437532/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=126096 memory=110352 CPUtime=3571.15 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 18628 0 0 0 356504 611 0 0 20 0 1 0 52667372 129122304 27588 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 31524 27588 1376 243 0 27773 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 126096 KiB
Current children cumulated memory: 110352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 50263
/proc/meminfo: memFree=129501988/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=126096 memory=110352 CPUtime=3600.04 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 18628 0 0 0 359390 614 0 0 20 0 1 0 52667372 129122304 27588 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 31524 27588 1376 243 0 27773 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 126096 KiB
Current children cumulated memory: 110352 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.91 s, system=6.15159 s

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

[startup+3611.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 50263
/proc/meminfo: memFree=129501988/131250000 swapFree=33010684/33010684
[pid=49984] ppid=49977 vsize=126096 memory=110352 CPUtime=3600.04 cores=5,7
/proc/49984/stat : 49984 (pb-oll-rs) R 49977 49984 49188 0 -1 4194304 18628 0 0 0 359390 614 0 0 20 0 1 0 52667372 129122304 27588 18446744073709551615 4218880 5211445 140733824468048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 36741120 140733824473500 140733824473577 140733824473577 140733824479179 0
/proc/49984/statm: 31524 27588 1376 243 0 27773 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 126096 KiB
Current children cumulated memory: 110352 KiB

Child status: 0

Real time (s): 3611.3
CPU time (s): 3600.06
CPU user time (s): 3593.91
CPU system time (s): 6.15159
CPU usage (%): 99.6887
Max. virtual memory (cumulated for all children) (KiB): 127316
Max. memory (cumulated for all children) (KiB): 111328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.91
system time used= 6.15159
maximum resident set size= 111328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18643
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= 120
involuntary context switches= 2030


# summary of solver processes directly reported to runsolver:
#   pid: 49984
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3593.91
#   total CPU system time (s): 6.15159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14441 second user time and 15.548 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-01 13:47:28
IDJOB=4490790
IDBENCH=147620
IDSOLVER=3345
FILE ID=nodeC028/4490790-1751370448
RUNJOBID= nodeC028-1751363225-49201
SLURM_JOB_ID= 9598179
Free space on /tmp= 433052 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490790-1751370448/watcher-4490790-1751370448 -o /tmp/evaluation-result-4490790-1751370448/solver-4490790-1751370448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49201 --watchdog 3760  pb-oll-rs HOME/instance-4490790-1751370448.opb

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

MD5SUM BENCH= 329db8d421c28e548757e1dbc8e6ec5f
RANDOM SEED=299059909

nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.339
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.206
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3607.889
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3616.023
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.080
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.111
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.196
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3650.660
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129890792 kB
MemAvailable:   129772300 kB
Buffers:            3280 kB
Cached:           688996 kB
SwapCached:            0 kB
Active:           371648 kB
Inactive:         432204 kB
Active(anon):     129644 kB
Inactive(anon):        0 kB
Active(file):     242004 kB
Inactive(file):   432204 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11360 kB
Writeback:             0 kB
AnonPages:        114744 kB
Mapped:           104744 kB
Shmem:             18068 kB
KReclaimable:      93076 kB
Slab:             179932 kB
SReclaimable:      93076 kB
SUnreclaim:        86856 kB
KernelStack:        4176 kB
PageTables:         3152 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     409808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC028 at 2025-07-01 14:47:40