Trace number 4528948

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 2025-07-10? (TO) 3600.03 3610.72

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528948-1752257841/watcher-4528948-1752257841 -o /tmp/evaluation-result-4528948-1752257841/solver-4528948-1752257841 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117006 --watchdog 3760 mixed-bag HOME/instance-4528948-1752257841.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
solver pid=117428, runsolver pid=117425
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.13 4.10 4.09 4/246 117429
/proc/meminfo: memFree=123360308/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=84628 memory=13936 CPUtime=0.09 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 2011 0 0 0 8 1 0 0 20 0 1 0 141463891 86659072 3484 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 21157 3484 2208 2834 0 3909 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84628 KiB
Current children cumulated memory: 13936 KiB

[startup+0.213034 s]*
/proc/loadavg: 4.13 4.10 4.09 5/248 117433
/proc/meminfo: memFree=123360308/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=94872 memory=19428 CPUtime=0.21 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 2866 0 0 0 19 2 0 0 20 0 1 0 141463891 97148928 4825 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 23718 4825 2208 2834 0 6470 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 94872 KiB
Current children cumulated memory: 19428 KiB

[startup+0.313377 s]*
/proc/loadavg: 4.13 4.10 4.09 4/248 117435
/proc/meminfo: memFree=123355960/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=90772 memory=19724 CPUtime=0.31 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 2958 0 0 0 29 2 0 0 20 0 1 0 141463891 92950528 4931 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 22693 4931 2208 2834 0 5445 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 90772 KiB
Current children cumulated memory: 19724 KiB

[startup+0.700247 s]
/proc/loadavg: 4.13 4.10 4.09 5/247 117447
/proc/meminfo: memFree=123351092/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=98964 memory=28264 CPUtime=0.67 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 3563 0 0 0 64 3 0 0 20 0 1 0 141463891 101339136 7066 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 24741 7066 2208 2834 0 7493 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 98964 KiB
Current children cumulated memory: 28264 KiB

[startup+1.5003 s]
/proc/loadavg: 4.13 4.10 4.09 6/250 117466
/proc/meminfo: memFree=123302500/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=209484 memory=122804 CPUtime=1.47 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 8815 0 0 0 140 7 0 0 20 0 1 0 141463891 214511616 30701 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 52371 30701 2336 2834 0 34576 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 209484 KiB
Current children cumulated memory: 122804 KiB

[startup+3.11281 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 117466
/proc/meminfo: memFree=122992972/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=338676 memory=248984 CPUtime=3.07 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 29039 0 0 0 293 14 0 0 20 0 1 0 141463891 346804224 62246 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 84669 62246 4096 2834 0 66874 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 338676 KiB
Current children cumulated memory: 248984 KiB

[startup+6.30026 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 117466
/proc/meminfo: memFree=122749444/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=603744 memory=479924 CPUtime=6.25 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 78800 0 0 0 600 25 0 0 20 0 1 0 141463891 618233856 119981 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 150936 119981 4288 2834 0 133141 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 603744 KiB
Current children cumulated memory: 479924 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 117494
/proc/meminfo: memFree=122702888/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=689852 memory=566008 CPUtime=12.63 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 91666 0 0 0 1235 28 0 0 20 0 1 0 141463891 706408448 141502 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 172463 141502 4320 2834 0 154668 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 689852 KiB
Current children cumulated memory: 566008 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 117516
/proc/meminfo: memFree=122446080/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=746236 memory=616992 CPUtime=25.4 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 103397 0 0 0 2509 31 0 0 20 0 1 0 141463891 764145664 154248 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 186559 154248 4320 2834 0 168764 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 746236 KiB
Current children cumulated memory: 616992 KiB

[startup+51.1128 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 117517
/proc/meminfo: memFree=122389884/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=779624 memory=652832 CPUtime=50.94 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 112365 0 0 0 5062 32 0 0 20 0 1 0 141463891 798334976 163208 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 194906 163208 4320 2834 0 177111 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 779624 KiB
Current children cumulated memory: 652832 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/251 117518
/proc/meminfo: memFree=122317324/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=779624 memory=652832 CPUtime=101.98 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 112372 0 0 0 10166 32 0 0 20 0 1 0 141463891 798334976 163208 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 194906 163208 4320 2834 0 177111 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 779624 KiB
Current children cumulated memory: 652832 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 117520
/proc/meminfo: memFree=122225348/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=779624 memory=652832 CPUtime=161.81 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 112429 0 0 0 16148 33 0 0 20 0 1 0 141463891 798334976 163208 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 194906 163208 4320 2834 0 177111 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 779624 KiB
Current children cumulated memory: 652832 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/251 117523
/proc/meminfo: memFree=122181268/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=779624 memory=652832 CPUtime=221.64 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 112430 0 0 0 22131 33 0 0 20 0 1 0 141463891 798334976 163208 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 194906 163208 4320 2834 0 177111 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 779624 KiB
Current children cumulated memory: 652832 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 117526
/proc/meminfo: memFree=122049176/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=830776 memory=704308 CPUtime=281.46 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 144919 0 0 0 28107 39 0 0 20 0 1 0 141463891 850714624 176077 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 207694 176077 4320 2834 0 189899 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 830776 KiB
Current children cumulated memory: 704308 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 117528
/proc/meminfo: memFree=122014872/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=810784 memory=691528 CPUtime=341.3 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 145862 0 0 0 34061 69 0 0 20 0 1 0 141463891 830242816 172882 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 202696 172882 4480 2834 0 184901 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 810784 KiB
Current children cumulated memory: 691528 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 117531
/proc/meminfo: memFree=122010568/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=810784 memory=696380 CPUtime=401.14 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 146046 0 0 0 40011 103 0 0 20 0 1 0 141463891 830242816 174095 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 202696 174095 4480 2834 0 184901 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 810784 KiB
Current children cumulated memory: 696380 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 117533
/proc/meminfo: memFree=122014192/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=810784 memory=696380 CPUtime=460.97 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 146063 0 0 0 45970 127 0 0 20 0 1 0 141463891 830242816 174095 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 202696 174095 4480 2834 0 184901 0
Current children cumulated CPU time: 460.97 s

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

Current children cumulated memory: 770660 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/250 117708
/proc/meminfo: memFree=124723748/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=770660 CPUtime=2913.57 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147601 0 0 0 290680 677 0 0 20 0 1 0 141463891 861622272 192665 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 192665 4480 2834 0 192562 0
Current children cumulated CPU time: 2913.57 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 770660 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/251 117713
/proc/meminfo: memFree=124723796/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=770660 CPUtime=2973.39 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147601 0 0 0 296654 685 0 0 20 0 1 0 141463891 861622272 192665 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 192665 4480 2834 0 192562 0
Current children cumulated CPU time: 2973.39 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 770660 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/251 117719
/proc/meminfo: memFree=124723820/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=770660 CPUtime=3033.22 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147601 0 0 0 302630 692 0 0 20 0 1 0 141463891 861622272 192665 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 192665 4480 2834 0 192562 0
Current children cumulated CPU time: 3033.22 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 770660 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.13 4.11 5/251 117721
/proc/meminfo: memFree=124711716/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=772708 CPUtime=3093.05 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147602 0 0 0 308607 698 0 0 20 0 1 0 141463891 861622272 193177 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 193177 4480 2834 0 192562 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 772708 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/251 117723
/proc/meminfo: memFree=124711744/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=772708 CPUtime=3152.89 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147602 0 0 0 314584 705 0 0 20 0 1 0 141463891 861622272 193177 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 193177 4480 2834 0 192562 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 772708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/250 117725
/proc/meminfo: memFree=124707664/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=772708 CPUtime=3212.71 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147695 0 0 0 320558 713 0 0 20 0 1 0 141463891 861622272 193177 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 193177 4480 2834 0 192562 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 772708 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/250 117727
/proc/meminfo: memFree=124711820/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=772708 CPUtime=3272.55 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147697 0 0 0 326533 722 0 0 20 0 1 0 141463891 861622272 193177 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 193177 4480 2834 0 192562 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 772708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.67 4.29 4.16 5/250 117729
/proc/meminfo: memFree=124718772/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=772708 CPUtime=3332.37 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147698 0 0 0 332508 729 0 0 20 0 1 0 141463891 861622272 193177 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 193177 4480 2834 0 192562 0
Current children cumulated CPU time: 3332.37 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 772708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.25 4.15 5/251 117732
/proc/meminfo: memFree=124726604/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=772708 CPUtime=3392.2 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147699 0 0 0 338485 735 0 0 20 0 1 0 141463891 861622272 193177 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 193177 4480 2834 0 192562 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 772708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.22 4.14 5/251 117734
/proc/meminfo: memFree=124726376/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=772708 CPUtime=3452.02 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147699 0 0 0 344461 741 0 0 20 0 1 0 141463891 861622272 193177 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 193177 4480 2834 0 192562 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 772708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.19 4.14 5/251 117736
/proc/meminfo: memFree=124726392/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=772708 CPUtime=3511.86 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147700 0 0 0 350437 749 0 0 20 0 1 0 141463891 861622272 193177 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 193177 4480 2834 0 192562 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 772708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.17 4.13 5/251 117740
/proc/meminfo: memFree=124726464/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=772708 CPUtime=3571.68 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147701 0 0 0 356412 756 0 0 20 0 1 0 141463891 861622272 193177 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 193177 4480 2834 0 192562 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 772708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.11 4.17 4.13 5/250 117740
/proc/meminfo: memFree=124726464/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=772708 CPUtime=3600 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147701 0 0 0 359242 758 0 0 20 0 1 0 141463891 861622272 193177 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 193177 4480 2834 0 192562 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 772708 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.44 s, system=7.59202 s

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

[startup+3610.7 s]
/proc/loadavg: 4.11 4.17 4.13 5/250 117740
/proc/meminfo: memFree=124726464/131382112 swapFree=33010160/33010684
[pid=117428] ppid=117425 vsize=841428 memory=772708 CPUtime=3600 cores=1,3
/proc/117428/stat : 117428 (mixed-bag) R 117425 117428 116989 0 -1 4194304 147701 0 0 0 359242 758 0 0 20 0 1 0 141463891 861622272 193177 18446744073709551615 4235264 15840557 140721883034560 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 50401280 140721883040154 140721883040231 140721883040231 140721883045835 0
/proc/117428/statm: 210357 193177 4480 2834 0 192562 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 841428 KiB
Current children cumulated memory: 772708 KiB

Child status: 0

Real time (s): 3610.72
CPU time (s): 3600.03
CPU user time (s): 3592.44
CPU system time (s): 7.59202
CPU usage (%): 99.704
Max. virtual memory (cumulated for all children) (KiB): 874776
Max. memory (cumulated for all children) (KiB): 772708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.44
system time used= 7.59202
maximum resident set size= 773860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147749
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= 150
involuntary context switches= 1160


# summary of solver processes directly reported to runsolver:
#   pid: 117428
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3592.44
#   total CPU system time (s): 7.59202

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4814 second user time and 35.3049 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-11 20:17:21
IDJOB=4528948
IDBENCH=147620
IDSOLVER=3386
FILE ID=nodeC009/4528948-1752257841
RUNJOBID= nodeC009-1752254228-117006
SLURM_JOB_ID= 9682591
Free space on /tmp= 431172 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528948-1752257841/watcher-4528948-1752257841 -o /tmp/evaluation-result-4528948-1752257841/solver-4528948-1752257841 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117006 --watchdog 3760  mixed-bag HOME/instance-4528948-1752257841.opb

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

MD5SUM BENCH= 329db8d421c28e548757e1dbc8e6ec5f
RANDOM SEED=1648746282

nodeC009 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	: 0xb00001f
cpu MHz		: 3492.010
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 pti 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	: 6983.85
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		: 1197.395
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 pti 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	: 6983.85
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.511
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 pti 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	: 6983.85
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		: 1197.240
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 pti 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	: 6983.85
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		: 1197.852
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 pti 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	: 6983.85
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		: 1197.142
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 pti 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	: 6983.85
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.230
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 pti 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	: 6983.85
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.208
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 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123380416 kB
MemAvailable:   126357612 kB
Buffers:            2144 kB
Cached:          3708160 kB
SwapCached:           24 kB
Active:          4269564 kB
Inactive:        3025264 kB
Active(anon):    3598280 kB
Inactive(anon):     4180 kB
Active(file):     671284 kB
Inactive(file):  3021084 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             37240 kB
Writeback:            84 kB
AnonPages:       3586324 kB
Mapped:           119224 kB
Shmem:             17936 kB
KReclaimable:     248524 kB
Slab:             338900 kB
SReclaimable:     248524 kB
SUnreclaim:        90376 kB
KernelStack:        3972 kB
PageTables:        10164 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4247196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2578432 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431156 MiB
End job on nodeC009 at 2025-07-11 21:17:32