Trace number 4491066

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-06SAT (TO)20 3600.02 3610.61

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
MD5SUM534ed9c29a1c7647bd6acd36efe0613e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark1.54755
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables299
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 299
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 299
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 299
Number of bits of the biggest sum of numbers9
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.00/0.02	c [STEP] solving
0.00/0.02	c #variables 299 #constraints 100
0.00/0.02	c SMALL=int, LARGE=long long
0.00/0.02	c bounds - >= 0 @ 0.001724
0.00/0.02	c stratification level: 0
0.00/0.02	c bounds - >= 1 @ 0.002164
0.00/0.02	c bounds - >= 2 @ 0.002164
0.00/0.02	c bounds - >= 3 @ 0.002164
0.00/0.02	c bounds - >= 4 @ 0.002164
0.00/0.02	c bounds - >= 5 @ 0.002709
0.00/0.02	c bounds - >= 6 @ 0.003166
0.00/0.02	c finalizing WCE round: reformulating cores
0.08/0.13	c bounds 23 >= 6 @ 0.024836
0.08/0.13	c bounds 23 >= 7 @ 0.025619
0.08/0.13	c bounds 23 >= 8 @ 0.025923
0.08/0.13	c finalizing WCE round: reformulating cores
142.00/142.59	c bounds 20 >= 8 @ 0.109056
142.00/142.59	c bounds 20 >= 9 @ 0.111677
142.00/142.59	c #Conflicts:       1000 | #Constraints:       1162
142.00/142.59	c #Conflicts:       2000 | #Constraints:       2162
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:       3000 | #Constraints:       2144
142.00/142.59	c #Conflicts:       4000 | #Constraints:       3144
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:       5000 | #Constraints:       2549
142.00/142.59	c #Conflicts:       6000 | #Constraints:       3549
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:       7000 | #Constraints:       2548
142.00/142.59	c #Conflicts:       8000 | #Constraints:       3548
142.00/142.59	c #Conflicts:       9000 | #Constraints:       4548
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      10000 | #Constraints:       3248
142.00/142.59	c #Conflicts:      11000 | #Constraints:       4248
142.00/142.59	c #Conflicts:      12000 | #Constraints:       5248
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      13000 | #Constraints:       3698
142.00/142.59	c #Conflicts:      14000 | #Constraints:       4698
142.00/142.59	c #Conflicts:      15000 | #Constraints:       5698
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      16000 | #Constraints:       3923
142.00/142.59	c #Conflicts:      17000 | #Constraints:       4923
142.00/142.59	c #Conflicts:      18000 | #Constraints:       5923
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      19000 | #Constraints:       3937
142.00/142.59	c #Conflicts:      20000 | #Constraints:       4937
142.00/142.59	c #Conflicts:      21000 | #Constraints:       5937
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      22000 | #Constraints:       3742
142.00/142.59	c #Conflicts:      23000 | #Constraints:       4742
142.00/142.59	c #Conflicts:      24000 | #Constraints:       5742
142.00/142.59	c #Conflicts:      25000 | #Constraints:       6742
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      26000 | #Constraints:       4345
142.00/142.59	c #Conflicts:      27000 | #Constraints:       5345
142.00/142.59	c #Conflicts:      28000 | #Constraints:       6345
142.00/142.59	c #Conflicts:      29000 | #Constraints:       7345
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      30000 | #Constraints:       4747
142.00/142.59	c #Conflicts:      31000 | #Constraints:       5747
142.00/142.59	c #Conflicts:      32000 | #Constraints:       6747
142.00/142.59	c #Conflicts:      33000 | #Constraints:       7747
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      34000 | #Constraints:       4949
142.00/142.59	c #Conflicts:      35000 | #Constraints:       5949
142.00/142.59	c #Conflicts:      36000 | #Constraints:       6949
142.00/142.59	c #Conflicts:      37000 | #Constraints:       7949
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      38000 | #Constraints:       4949
142.00/142.59	c #Conflicts:      39000 | #Constraints:       5949
142.00/142.59	c #Conflicts:      40000 | #Constraints:       6949
142.00/142.59	c #Conflicts:      41000 | #Constraints:       7949
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      42000 | #Constraints:       4750
142.00/142.59	c #Conflicts:      43000 | #Constraints:       5750
142.00/142.59	c #Conflicts:      44000 | #Constraints:       6750
142.00/142.59	c #Conflicts:      45000 | #Constraints:       7750
142.00/142.59	c #Conflicts:      46000 | #Constraints:       8750
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      47000 | #Constraints:       5348
142.00/142.59	c #Conflicts:      48000 | #Constraints:       6348
142.00/142.59	c #Conflicts:      49000 | #Constraints:       7348
142.00/142.59	c #Conflicts:      50000 | #Constraints:       8348
142.00/142.59	c #Conflicts:      51000 | #Constraints:       9348
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      52000 | #Constraints:       5751
142.00/142.59	c #Conflicts:      53000 | #Constraints:       6751
142.00/142.59	c #Conflicts:      54000 | #Constraints:       7751
142.00/142.59	c #Conflicts:      55000 | #Constraints:       8751
142.00/142.59	c #Conflicts:      56000 | #Constraints:       9751
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      57000 | #Constraints:       5953
142.00/142.59	c #Conflicts:      58000 | #Constraints:       6953
142.00/142.59	c #Conflicts:      59000 | #Constraints:       7953
142.00/142.59	c #Conflicts:      60000 | #Constraints:       8953
142.00/142.59	c #Conflicts:      61000 | #Constraints:       9953
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      62000 | #Constraints:       5951
142.00/142.59	c #Conflicts:      63000 | #Constraints:       6951
142.00/142.59	c #Conflicts:      64000 | #Constraints:       7951
142.00/142.59	c #Conflicts:      65000 | #Constraints:       8951
142.00/142.59	c #Conflicts:      66000 | #Constraints:       9951
142.00/142.59	c INPROCESSING
142.00/142.59	c GARBAGE COLLECT
142.00/142.59	c #Conflicts:      67000 | #Constraints:       5753
580.20/582.04	c #Conflicts:      68000 | #Constraints:       6753
580.20/582.04	c #Conflicts:      69000 | #Constraints:       7753
580.20/582.04	c #Conflicts:      70000 | #Constraints:       8753
580.20/582.04	c #Conflicts:      71000 | #Constraints:       9753
580.20/582.04	c #Conflicts:      72000 | #Constraints:      10753
580.20/582.04	c INPROCESSING
580.20/582.04	c GARBAGE COLLECT
580.20/582.04	c #Conflicts:      73000 | #Constraints:       6354
580.20/582.04	c #Conflicts:      74000 | #Constraints:       7354
580.20/582.04	c #Conflicts:      75000 | #Constraints:       8354
580.20/582.04	c #Conflicts:      76000 | #Constraints:       9354
580.20/582.04	c #Conflicts:      77000 | #Constraints:      10354
580.20/582.04	c #Conflicts:      78000 | #Constraints:      11354
580.20/582.04	c INPROCESSING
580.20/582.04	c GARBAGE COLLECT
580.20/582.04	c #Conflicts:      79000 | #Constraints:       6758
580.20/582.04	c #Conflicts:      80000 | #Constraints:       7758
580.20/582.04	c #Conflicts:      81000 | #Constraints:       8758
580.20/582.04	c #Conflicts:      82000 | #Constraints:       9758
580.20/582.04	c #Conflicts:      83000 | #Constraints:      10758
580.20/582.04	c #Conflicts:      84000 | #Constraints:      11758
580.20/582.04	c INPROCESSING
580.20/582.04	c GARBAGE COLLECT
580.20/582.04	c #Conflicts:      85000 | #Constraints:       6956
580.20/582.04	c #Conflicts:      86000 | #Constraints:       7956
580.20/582.04	c #Conflicts:      87000 | #Constraints:       8956
580.20/582.04	c #Conflicts:      88000 | #Constraints:       9956
580.20/582.04	c #Conflicts:      89000 | #Constraints:      10956
580.20/582.04	c #Conflicts:      90000 | #Constraints:      11956
580.20/582.04	c INPROCESSING
580.20/582.04	c GARBAGE COLLECT
580.20/582.04	c #Conflicts:      91000 | #Constraints:       6954
580.20/582.04	c #Conflicts:      92000 | #Constraints:       7954
580.20/582.04	c #Conflicts:      93000 | #Constraints:       8954
580.20/582.04	c #Conflicts:      94000 | #Constraints:       9954
580.20/582.04	c #Conflicts:      95000 | #Constraints:      10954
580.20/582.04	c #Conflicts:      96000 | #Constraints:      11954
580.20/582.04	c INPROCESSING
580.20/582.04	c GARBAGE COLLECT
580.20/582.04	c #Conflicts:      97000 | #Constraints:       6754
580.20/582.04	c #Conflicts:      98000 | #Constraints:       7754
580.20/582.04	c #Conflicts:      99000 | #Constraints:       8754
580.20/582.04	c #Conflicts:     100000 | #Constraints:       9754
580.20/582.04	c #Conflicts:     101000 | #Constraints:      10754
580.20/582.04	c #Conflicts:     102000 | #Constraints:      11754
580.20/582.04	c #Conflicts:     103000 | #Constraints:      12754
580.20/582.04	c INPROCESSING
580.20/582.04	c GARBAGE COLLECT
580.20/582.04	c #Conflicts:     104000 | #Constraints:       7362
580.20/582.04	c #Conflicts:     105000 | #Constraints:       8362
580.20/582.04	c #Conflicts:     106000 | #Constraints:       9362
580.20/582.04	c #Conflicts:     107000 | #Constraints:      10362
580.20/582.04	c #Conflicts:     108000 | #Constraints:      11362
580.20/582.04	c #Conflicts:     109000 | #Constraints:      12362
580.20/582.04	c #Conflicts:     110000 | #Constraints:      13362
580.20/582.04	c INPROCESSING
580.20/582.04	c GARBAGE COLLECT
580.20/582.04	c #Conflicts:     111000 | #Constraints:       7758
580.20/582.04	c #Conflicts:     112000 | #Constraints:       8758
580.20/582.04	c #Conflicts:     113000 | #Constraints:       9758
580.20/582.04	c #Conflicts:     114000 | #Constraints:      10758
580.20/582.04	c #Conflicts:     115000 | #Constraints:      11758
580.20/582.04	c #Conflicts:     116000 | #Constraints:      12758
580.20/582.04	c #Conflicts:     117000 | #Constraints:      13758
580.20/582.04	c INPROCESSING
580.20/582.04	c GARBAGE COLLECT
580.20/582.04	c #Conflicts:     118000 | #Constraints:       7957
580.20/582.04	c #Conflicts:     119000 | #Constraints:       8957
580.20/582.04	c #Conflicts:     120000 | #Constraints:       9957
580.20/582.04	c #Conflicts:     121000 | #Constraints:      10957
580.20/582.04	c #Conflicts:     122000 | #Constraints:      11957
580.20/582.04	c #Conflicts:     123000 | #Constraints:      12957
580.20/582.04	c #Conflicts:     124000 | #Constraints:      13957
580.20/582.04	c INPROCESSING
580.20/582.04	c GARBAGE COLLECT
580.20/582.04	c #Conflicts:     125000 | #Constraints:       7956
580.20/582.04	c #Conflicts:     126000 | #Constraints:       8956
580.20/582.04	c #Conflicts:     127000 | #Constraints:       9956
580.20/582.04	c #Conflicts:     128000 | #Constraints:      10956
580.20/582.04	c #Conflicts:     129000 | #Constraints:      11956
580.20/582.04	c #Conflicts:     130000 | #Constraints:      12956
580.20/582.04	c #Conflicts:     131000 | #Constraints:      13956
580.20/582.04	c INPROCESSING
580.20/582.04	c GARBAGE COLLECT
580.20/582.04	c #Conflicts:     132000 | #Constraints:       7761
580.20/582.04	c #Conflicts:     133000 | #Constraints:       8761
580.20/582.04	c #Conflicts:     134000 | #Constraints:       9761
580.20/582.04	c #Conflicts:     135000 | #Constraints:      10761
580.20/582.04	c #Conflicts:     136000 | #Constraints:      11761
580.20/582.04	c #Conflicts:     137000 | #Constraints:      12761
580.20/582.04	c #Conflicts:     138000 | #Constraints:      13761
580.20/582.04	c #Conflicts:     139000 | #Constraints:      14761
1293.35/1297.40	c INPROCESSING
1293.35/1297.40	c GARBAGE COLLECT
1293.35/1297.40	c #Conflicts:     140000 | #Constraints:       8353
1293.35/1297.40	c #Conflicts:     141000 | #Constraints:       9353
1293.35/1297.40	c #Conflicts:     142000 | #Constraints:      10353
1293.35/1297.40	c #Conflicts:     143000 | #Constraints:      11353
1293.35/1297.40	c #Conflicts:     144000 | #Constraints:      12353
1293.35/1297.40	c #Conflicts:     145000 | #Constraints:      13353
1293.35/1297.40	c #Conflicts:     146000 | #Constraints:      14353
1293.35/1297.40	c #Conflicts:     147000 | #Constraints:      15353
1293.35/1297.40	c INPROCESSING
1293.35/1297.40	c GARBAGE COLLECT
1293.35/1297.40	c #Conflicts:     148000 | #Constraints:       8755
1293.35/1297.40	c #Conflicts:     149000 | #Constraints:       9755
1293.35/1297.40	c #Conflicts:     150000 | #Constraints:      10755
1293.35/1297.40	c #Conflicts:     151000 | #Constraints:      11755
1293.35/1297.40	c #Conflicts:     152000 | #Constraints:      12755
1293.35/1297.40	c #Conflicts:     153000 | #Constraints:      13755
1293.35/1297.40	c #Conflicts:     154000 | #Constraints:      14755
1293.35/1297.40	c #Conflicts:     155000 | #Constraints:      15755
1293.35/1297.40	c INPROCESSING
1293.35/1297.40	c GARBAGE COLLECT
1293.35/1297.40	c #Conflicts:     156000 | #Constraints:       8957
1293.35/1297.40	c #Conflicts:     157000 | #Constraints:       9957
1293.35/1297.40	c #Conflicts:     158000 | #Constraints:      10957
1293.35/1297.40	c #Conflicts:     159000 | #Constraints:      11957
1293.35/1297.40	c #Conflicts:     160000 | #Constraints:      12957
1293.35/1297.40	c #Conflicts:     161000 | #Constraints:      13957
1293.35/1297.40	c #Conflicts:     162000 | #Constraints:      14957
1293.35/1297.40	c #Conflicts:     163000 | #Constraints:      15957
1293.35/1297.40	c INPROCESSING
1293.35/1297.40	c GARBAGE COLLECT
1293.35/1297.40	c #Conflicts:     164000 | #Constraints:       8955
1293.35/1297.40	c #Conflicts:     165000 | #Constraints:       9955
1293.35/1297.40	c #Conflicts:     166000 | #Constraints:      10955
1293.35/1297.40	c #Conflicts:     167000 | #Constraints:      11955
1293.35/1297.40	c #Conflicts:     168000 | #Constraints:      12955
1293.35/1297.40	c #Conflicts:     169000 | #Constraints:      13955
1293.35/1297.40	c #Conflicts:     170000 | #Constraints:      14955
1293.35/1297.40	c #Conflicts:     171000 | #Constraints:      15955
1293.35/1297.40	c INPROCESSING
1293.35/1297.40	c GARBAGE COLLECT
1293.35/1297.40	c #Conflicts:     172000 | #Constraints:       8755
1293.35/1297.40	c #Conflicts:     173000 | #Constraints:       9755
1293.35/1297.40	c #Conflicts:     174000 | #Constraints:      10755
1293.35/1297.40	c #Conflicts:     175000 | #Constraints:      11755
1293.35/1297.40	c #Conflicts:     176000 | #Constraints:      12755
1293.35/1297.40	c #Conflicts:     177000 | #Constraints:      13755
1293.35/1297.40	c #Conflicts:     178000 | #Constraints:      14755
1293.35/1297.40	c #Conflicts:     179000 | #Constraints:      15755
1293.35/1297.40	c #Conflicts:     180000 | #Constraints:      16755
1293.35/1297.40	c INPROCESSING
1293.35/1297.40	c GARBAGE COLLECT
1293.35/1297.40	c #Conflicts:     181000 | #Constraints:       9356
1293.35/1297.40	c #Conflicts:     182000 | #Constraints:      10356
1293.35/1297.40	c #Conflicts:     183000 | #Constraints:      11356
1293.35/1297.40	c #Conflicts:     184000 | #Constraints:      12356
1293.35/1297.40	c #Conflicts:     185000 | #Constraints:      13356
1293.35/1297.40	c #Conflicts:     186000 | #Constraints:      14356
1293.35/1297.40	c #Conflicts:     187000 | #Constraints:      15356
1293.35/1297.40	c #Conflicts:     188000 | #Constraints:      16356
1293.35/1297.40	c #Conflicts:     189000 | #Constraints:      17356
1293.35/1297.40	c INPROCESSING
1293.35/1297.40	c GARBAGE COLLECT
1293.35/1297.40	c #Conflicts:     190000 | #Constraints:       9758
1293.35/1297.40	c #Conflicts:     191000 | #Constraints:      10758
1293.35/1297.40	c #Conflicts:     192000 | #Constraints:      11758
1293.35/1297.40	c #Conflicts:     193000 | #Constraints:      12758
1293.35/1297.40	c #Conflicts:     194000 | #Constraints:      13758
1293.35/1297.40	c #Conflicts:     195000 | #Constraints:      14758
1293.35/1297.40	c #Conflicts:     196000 | #Constraints:      15758
1293.35/1297.40	c #Conflicts:     197000 | #Constraints:      16758
1293.35/1297.40	c #Conflicts:     198000 | #Constraints:      17758
1293.35/1297.40	c INPROCESSING
1293.35/1297.40	c GARBAGE COLLECT
1293.35/1297.40	c #Conflicts:     199000 | #Constraints:       9957
1293.35/1297.40	c #Conflicts:     200000 | #Constraints:      10957
1293.35/1297.40	c #Conflicts:     201000 | #Constraints:      11957
1293.35/1297.40	c #Conflicts:     202000 | #Constraints:      12957
1293.35/1297.40	c #Conflicts:     203000 | #Constraints:      13957
1293.35/1297.40	c #Conflicts:     204000 | #Constraints:      14957
1293.35/1297.40	c #Conflicts:     205000 | #Constraints:      15957
1293.35/1297.40	c #Conflicts:     206000 | #Constraints:      16957
1293.35/1297.40	c #Conflicts:     207000 | #Constraints:      17957
1293.35/1297.40	c INPROCESSING
1293.35/1297.40	c GARBAGE COLLECT
1293.35/1297.40	c #Conflicts:     208000 | #Constraints:       9952
1293.35/1297.40	c #Conflicts:     209000 | #Constraints:      10952
1293.35/1297.40	c #Conflicts:     210000 | #Constraints:      11952
1293.35/1297.40	c #Conflicts:     211000 | #Constraints:      12952
1293.35/1297.40	c #Conflicts:     212000 | #Constraints:      13952
2244.36/2251.02	c #Conflicts:     213000 | #Constraints:      14952
2244.36/2251.02	c #Conflicts:     214000 | #Constraints:      15952
2244.36/2251.02	c #Conflicts:     215000 | #Constraints:      16952
2244.36/2251.02	c #Conflicts:     216000 | #Constraints:      17952
2244.36/2251.02	c INPROCESSING
2244.36/2251.02	c GARBAGE COLLECT
2244.36/2251.02	c #Conflicts:     217000 | #Constraints:       9753
2244.36/2251.02	c #Conflicts:     218000 | #Constraints:      10753
2244.36/2251.02	c #Conflicts:     219000 | #Constraints:      11753
2244.36/2251.02	c #Conflicts:     220000 | #Constraints:      12753
2244.36/2251.02	c #Conflicts:     221000 | #Constraints:      13753
2244.36/2251.02	c #Conflicts:     222000 | #Constraints:      14753
2244.36/2251.02	c #Conflicts:     223000 | #Constraints:      15753
2244.36/2251.02	c #Conflicts:     224000 | #Constraints:      16753
2244.36/2251.02	c #Conflicts:     225000 | #Constraints:      17753
2244.36/2251.02	c #Conflicts:     226000 | #Constraints:      18753
2244.36/2251.02	c INPROCESSING
2244.36/2251.02	c GARBAGE COLLECT
2244.36/2251.02	c #Conflicts:     227000 | #Constraints:      10349
2244.36/2251.02	c #Conflicts:     228000 | #Constraints:      11349
2244.36/2251.02	c #Conflicts:     229000 | #Constraints:      12349
2244.36/2251.02	c #Conflicts:     230000 | #Constraints:      13349
2244.36/2251.02	c #Conflicts:     231000 | #Constraints:      14349
2244.36/2251.02	c #Conflicts:     232000 | #Constraints:      15349
2244.36/2251.02	c #Conflicts:     233000 | #Constraints:      16349
2244.36/2251.02	c #Conflicts:     234000 | #Constraints:      17349
2244.36/2251.02	c #Conflicts:     235000 | #Constraints:      18349
2244.36/2251.02	c #Conflicts:     236000 | #Constraints:      19349
2244.36/2251.02	c INPROCESSING
2244.36/2251.02	c GARBAGE COLLECT
2244.36/2251.02	c #Conflicts:     237000 | #Constraints:      10747
2244.36/2251.02	c #Conflicts:     238000 | #Constraints:      11747
2244.36/2251.02	c #Conflicts:     239000 | #Constraints:      12747
2244.36/2251.02	c #Conflicts:     240000 | #Constraints:      13747
2244.36/2251.02	c #Conflicts:     241000 | #Constraints:      14747
2244.36/2251.02	c #Conflicts:     242000 | #Constraints:      15747
2244.36/2251.02	c #Conflicts:     243000 | #Constraints:      16747
2244.36/2251.02	c #Conflicts:     244000 | #Constraints:      17747
2244.36/2251.02	c #Conflicts:     245000 | #Constraints:      18747
2244.36/2251.02	c #Conflicts:     246000 | #Constraints:      19747
2244.36/2251.02	c INPROCESSING
2244.36/2251.02	c GARBAGE COLLECT
2244.36/2251.02	c #Conflicts:     247000 | #Constraints:      10946
2244.36/2251.02	c #Conflicts:     248000 | #Constraints:      11946
2244.36/2251.02	c #Conflicts:     249000 | #Constraints:      12946
2244.36/2251.02	c #Conflicts:     250000 | #Constraints:      13946
2244.36/2251.02	c #Conflicts:     251000 | #Constraints:      14946
2244.36/2251.02	c #Conflicts:     252000 | #Constraints:      15946
2244.36/2251.02	c #Conflicts:     253000 | #Constraints:      16946
2244.36/2251.02	c #Conflicts:     254000 | #Constraints:      17946
2244.36/2251.02	c #Conflicts:     255000 | #Constraints:      18946
2244.36/2251.02	c #Conflicts:     256000 | #Constraints:      19946
2244.36/2251.02	c INPROCESSING
2244.36/2251.02	c GARBAGE COLLECT
2244.36/2251.02	c #Conflicts:     257000 | #Constraints:      10953
2244.36/2251.02	c #Conflicts:     258000 | #Constraints:      11953
2244.36/2251.02	c #Conflicts:     259000 | #Constraints:      12953
2244.36/2251.02	c #Conflicts:     260000 | #Constraints:      13953
2244.36/2251.02	c #Conflicts:     261000 | #Constraints:      14953
2244.36/2251.02	c #Conflicts:     262000 | #Constraints:      15953
2244.36/2251.02	c #Conflicts:     263000 | #Constraints:      16953
2244.36/2251.02	c #Conflicts:     264000 | #Constraints:      17953
2244.36/2251.02	c #Conflicts:     265000 | #Constraints:      18953
2244.36/2251.02	c #Conflicts:     266000 | #Constraints:      19953
2244.36/2251.02	c INPROCESSING
2244.36/2251.02	c GARBAGE COLLECT
2244.36/2251.02	c #Conflicts:     267000 | #Constraints:      10756
2244.36/2251.02	c #Conflicts:     268000 | #Constraints:      11756
2244.36/2251.02	c #Conflicts:     269000 | #Constraints:      12756
2244.36/2251.02	c #Conflicts:     270000 | #Constraints:      13756
2244.36/2251.02	c #Conflicts:     271000 | #Constraints:      14756
2244.36/2251.02	c #Conflicts:     272000 | #Constraints:      15756
2244.36/2251.02	c #Conflicts:     273000 | #Constraints:      16756
2244.36/2251.02	c #Conflicts:     274000 | #Constraints:      17756
2244.36/2251.02	c #Conflicts:     275000 | #Constraints:      18756
2244.36/2251.02	c #Conflicts:     276000 | #Constraints:      19756
2244.36/2251.02	c #Conflicts:     277000 | #Constraints:      20756
2244.36/2251.02	c INPROCESSING
2244.36/2251.02	c GARBAGE COLLECT
2244.36/2251.02	c #Conflicts:     278000 | #Constraints:      11356
2244.36/2251.02	c #Conflicts:     279000 | #Constraints:      12356
2244.36/2251.02	c #Conflicts:     280000 | #Constraints:      13356
2244.36/2251.02	c #Conflicts:     281000 | #Constraints:      14356
2244.36/2251.02	c #Conflicts:     282000 | #Constraints:      15356
2244.36/2251.02	c #Conflicts:     283000 | #Constraints:      16356
2244.36/2251.02	c #Conflicts:     284000 | #Constraints:      17356
2244.36/2251.02	c #Conflicts:     285000 | #Constraints:      18356
2244.36/2251.02	c #Conflicts:     286000 | #Constraints:      19356
2244.36/2251.02	c #Conflicts:     287000 | #Constraints:      20356
3341.62/3351.42	c #Conflicts:     288000 | #Constraints:      21356
3341.62/3351.42	c INPROCESSING
3341.62/3351.42	c GARBAGE COLLECT
3341.62/3351.42	c #Conflicts:     289000 | #Constraints:      11758
3341.62/3351.42	c #Conflicts:     290000 | #Constraints:      12758
3341.62/3351.42	c #Conflicts:     291000 | #Constraints:      13758
3341.62/3351.42	c #Conflicts:     292000 | #Constraints:      14758
3341.62/3351.42	c #Conflicts:     293000 | #Constraints:      15758
3341.62/3351.42	c #Conflicts:     294000 | #Constraints:      16758
3341.62/3351.42	c #Conflicts:     295000 | #Constraints:      17758
3341.62/3351.42	c #Conflicts:     296000 | #Constraints:      18758
3341.62/3351.42	c #Conflicts:     297000 | #Constraints:      19758
3341.62/3351.42	c #Conflicts:     298000 | #Constraints:      20758
3341.62/3351.42	c #Conflicts:     299000 | #Constraints:      21758
3341.62/3351.42	c INPROCESSING
3341.62/3351.42	c GARBAGE COLLECT
3341.62/3351.42	c #Conflicts:     300000 | #Constraints:      11955
3341.62/3351.42	c #Conflicts:     301000 | #Constraints:      12955
3341.62/3351.42	c #Conflicts:     302000 | #Constraints:      13955
3341.62/3351.42	c #Conflicts:     303000 | #Constraints:      14955
3341.62/3351.42	c #Conflicts:     304000 | #Constraints:      15955
3341.62/3351.42	c #Conflicts:     305000 | #Constraints:      16955
3341.62/3351.42	c #Conflicts:     306000 | #Constraints:      17955
3341.62/3351.42	c #Conflicts:     307000 | #Constraints:      18955
3341.62/3351.42	c #Conflicts:     308000 | #Constraints:      19955
3341.62/3351.42	c #Conflicts:     309000 | #Constraints:      20955
3341.62/3351.42	c #Conflicts:     310000 | #Constraints:      21955
3341.62/3351.42	c INPROCESSING
3341.62/3351.42	c GARBAGE COLLECT
3341.62/3351.42	c #Conflicts:     311000 | #Constraints:      11954
3341.62/3351.42	c #Conflicts:     312000 | #Constraints:      12954
3341.62/3351.42	c #Conflicts:     313000 | #Constraints:      13954
3341.62/3351.42	c #Conflicts:     314000 | #Constraints:      14954
3341.62/3351.42	c #Conflicts:     315000 | #Constraints:      15954
3341.62/3351.42	c #Conflicts:     316000 | #Constraints:      16954
3341.62/3351.42	c #Conflicts:     317000 | #Constraints:      17954
3341.62/3351.42	c #Conflicts:     318000 | #Constraints:      18954
3341.62/3351.42	c #Conflicts:     319000 | #Constraints:      19954
3341.62/3351.42	c #Conflicts:     320000 | #Constraints:      20954
3341.62/3351.42	c #Conflicts:     321000 | #Constraints:      21954
3341.62/3351.42	c INPROCESSING
3341.62/3351.42	c GARBAGE COLLECT
3341.62/3351.42	c #Conflicts:     322000 | #Constraints:      11751
3341.62/3351.42	c #Conflicts:     323000 | #Constraints:      12751
3341.62/3351.42	c #Conflicts:     324000 | #Constraints:      13751
3341.62/3351.42	c #Conflicts:     325000 | #Constraints:      14751
3341.62/3351.42	c #Conflicts:     326000 | #Constraints:      15751
3341.62/3351.42	c #Conflicts:     327000 | #Constraints:      16751
3341.62/3351.42	c #Conflicts:     328000 | #Constraints:      17751
3341.62/3351.42	c #Conflicts:     329000 | #Constraints:      18751
3341.62/3351.42	c #Conflicts:     330000 | #Constraints:      19751
3341.62/3351.42	c #Conflicts:     331000 | #Constraints:      20751
3341.62/3351.42	c #Conflicts:     332000 | #Constraints:      21751
3341.62/3351.42	c #Conflicts:     333000 | #Constraints:      22751
3341.62/3351.42	c INPROCESSING
3341.62/3351.42	c GARBAGE COLLECT
3341.62/3351.42	c #Conflicts:     334000 | #Constraints:      12355
3341.62/3351.42	c #Conflicts:     335000 | #Constraints:      13355
3341.62/3351.42	c #Conflicts:     336000 | #Constraints:      14355
3341.62/3351.42	c #Conflicts:     337000 | #Constraints:      15355
3341.62/3351.42	c #Conflicts:     338000 | #Constraints:      16355
3341.62/3351.42	c #Conflicts:     339000 | #Constraints:      17355
3341.62/3351.42	c #Conflicts:     340000 | #Constraints:      18355
3341.62/3351.42	c #Conflicts:     341000 | #Constraints:      19355
3341.62/3351.42	c #Conflicts:     342000 | #Constraints:      20355
3341.62/3351.42	c #Conflicts:     343000 | #Constraints:      21355
3341.62/3351.42	c #Conflicts:     344000 | #Constraints:      22355
3341.62/3351.42	c #Conflicts:     345000 | #Constraints:      23355
3341.62/3351.42	c INPROCESSING
3341.62/3351.42	c GARBAGE COLLECT
3341.62/3351.42	c #Conflicts:     346000 | #Constraints:      12757
3341.62/3351.42	c #Conflicts:     347000 | #Constraints:      13757
3341.62/3351.42	c #Conflicts:     348000 | #Constraints:      14757
3341.62/3351.42	c #Conflicts:     349000 | #Constraints:      15757
3341.62/3351.42	c #Conflicts:     350000 | #Constraints:      16757
3341.62/3351.42	c #Conflicts:     351000 | #Constraints:      17757
3341.62/3351.42	c #Conflicts:     352000 | #Constraints:      18757
3341.62/3351.42	c #Conflicts:     353000 | #Constraints:      19757
3341.62/3351.42	c #Conflicts:     354000 | #Constraints:      20757
3341.62/3351.42	c #Conflicts:     355000 | #Constraints:      21757
3341.62/3351.42	c #Conflicts:     356000 | #Constraints:      22757
3341.62/3351.42	c #Conflicts:     357000 | #Constraints:      23757
3341.62/3351.42	c INPROCESSING
3341.62/3351.42	c GARBAGE COLLECT
3341.62/3351.42	c #Conflicts:     358000 | #Constraints:      12960
3341.62/3351.42	c #Conflicts:     359000 | #Constraints:      13960
3341.62/3351.42	c #Conflicts:     360000 | #Constraints:      14960
3341.62/3351.42	c #Conflicts:     361000 | #Constraints:      15960
3600.00/3610.60	c #Conflicts:     362000 | #Constraints:      16960
3600.00/3610.60	c #Conflicts:     363000 | #Constraints:      17960
3600.00/3610.60	c #Conflicts:     364000 | #Constraints:      18960
3600.00/3610.60	c #Conflicts:     365000 | #Constraints:      19960
3600.00/3610.60	c #Conflicts:     366000 | #Constraints:      20960
3600.00/3610.60	c #Conflicts:     367000 | #Constraints:      21960
3600.00/3610.60	c #Conflicts:     368000 | #Constraints:      22960
3600.00/3610.60	c #Conflicts:     369000 | #Constraints:      23960
3600.00/3610.60	c INPROCESSING
3600.00/3610.60	c GARBAGE COLLECT
3600.00/3610.60	c #Conflicts:     370000 | #Constraints:      12963
3600.00/3610.60	c #Conflicts:     371000 | #Constraints:      13963
3600.00/3610.60	c #Conflicts:     372000 | #Constraints:      14963
3600.00/3610.60	c #Conflicts:     373000 | #Constraints:      15963
3600.00/3610.60	c #Conflicts:     374000 | #Constraints:      16963
3600.00/3610.60	c #Conflicts:     375000 | #Constraints:      17963
3600.00/3610.60	c #Conflicts:     376000 | #Constraints:      18963
3600.00/3610.60	c #Conflicts:     377000 | #Constraints:      19963
3600.00/3610.60	c Program interrupted by user.
3600.00/3610.60	c cpu time 3569.33 s
3600.00/3610.60	c deterministic time 226045658497 2.26e+11
3600.00/3610.60	c optimization time 111.254 s
3600.00/3610.60	c total solve time 3458.08 s
3600.00/3610.60	c core-guided solve time 3458.08 s
3600.00/3610.60	c propagation time 3452.83 s
3600.00/3610.60	c conflict analysis time 83.1044 s
3600.00/3610.60	c propagations 36574729
3600.00/3610.60	c resolve steps 1410555
3600.00/3610.60	c decisions 33126343
3600.00/3610.60	c conflicts 377407
3600.00/3610.60	c restarts 892
3600.00/3610.60	c inprocessing phases 52
3600.00/3610.60	c input clauses 110
3600.00/3610.60	c input cardinalities 35
3600.00/3610.60	c input general constraints 17
3600.00/3610.60	c input average constraint length 47.96
3600.00/3610.60	c input average constraint degree 19.86
3600.00/3610.60	c learned clauses 3051
3600.00/3610.60	c learned cardinalities 565
3600.00/3610.60	c learned general constraints 373792
3600.00/3610.60	c learned average constraint length 232.69
3600.00/3610.60	c learned average constraint degree 1939.42
3600.00/3610.60	c watched constraints 104757
3600.00/3610.60	c counting constraints 269052
3600.00/3610.60	c gcd simplifications 75
3600.00/3610.60	c detected cardinalities 2
3600.00/3610.60	c weakened non-implied lits 218632
3600.00/3610.60	c weakened non-implying lits 91
3600.00/3610.60	c original variables 299
3600.00/3610.60	c clausal propagations 1909428
3600.00/3610.60	c cardinality propagations 285546
3600.00/3610.60	c watched propagations 1554412
3600.00/3610.60	c counting propagations 32782476
3600.00/3610.60	c watch lookups 81447269642
3600.00/3610.60	c watch backjump lookups 81315295355
3600.00/3610.60	c watch checks 31816395761
3600.00/3610.60	c propagation checks 31076329404
3600.00/3610.60	c constraint additions 250588865
3600.00/3610.60	c trail pops 70078397
3600.00/3610.60	c formula constraints 100
3600.00/3610.60	c learned constraints 377408
3600.00/3610.60	c bound constraints 19
3600.00/3610.60	c core-guided constraints 43
3600.00/3610.60	c encountered formula constraints 487626
3600.00/3610.60	c encountered learned constraints 1172041
3600.00/3610.60	c encountered bound constraints 108
3600.00/3610.60	c encountered core-guided constraints 128187
3600.00/3610.60	c LP total time 0 s
3600.00/3610.60	c LP solve time 0 s
3600.00/3610.60	c LP constraints added 0
3600.00/3610.60	c LP constraints removed 0
3600.00/3610.60	c LP pivots internal 0
3600.00/3610.60	c LP pivots root 0
3600.00/3610.60	c LP calls 0
3600.00/3610.60	c LP optimalities 0
3600.00/3610.60	c LP no pivot count 0
3600.00/3610.60	c LP infeasibilities 0
3600.00/3610.60	c LP valid Farkas constraints 0
3600.00/3610.60	c LP learned Farkas constraints 0
3600.00/3610.60	c LP basis resets 0
3600.00/3610.60	c LP cycling count 0
3600.00/3610.60	c LP singular count 0
3600.00/3610.60	c LP no primal count 0
3600.00/3610.60	c LP no farkas count 0
3600.00/3610.60	c LP other issue count 0
3600.00/3610.60	c LP Gomory cuts 0
3600.00/3610.60	c LP learned cuts 0
3600.00/3610.60	c LP deleted cuts 0
3600.00/3610.60	c LP encountered Gomory constraints 0
3600.00/3610.60	c LP encountered Farkas constraints 0
3600.00/3610.60	c LP encountered learned Farkas constraints 0
3600.00/3610.60	c CG auxiliary variables introduced 17
3600.00/3610.60	c CG solutions found 2
3600.00/3610.60	c CG cores constructed 9
3600.00/3610.60	c CG core cardinality constraints returned 0
3600.00/3610.60	c CG unit cores 0
3600.00/3610.60	c CG single cores 9
3600.00/3610.60	c CG blocks removed during cardinality reduction 0
3600.00/3610.60	c CG first core best 0
3600.00/3610.60	c CG decision core best 0
3600.00/3610.60	c CG core reduction tie 0
3600.00/3610.60	c CG core degree average 1.00
3600.00/3610.60	c CG core slack average 25.11
3600.00/3610.60	c CG exhausted 0
3600.00/3610.60	c CG exhaust time 0.035495 s
3600.00/3610.60	c CG trimmed 3
3600.00/3610.60	c CG trim time 0.001363 s
3600.00/3610.60	c CG minimized 0
3600.00/3610.60	c CG minimize time 0 s
3600.00/3610.60	c CG am1 prop time 0.000229 s
3600.00/3610.60	c CG # am1s reformulated 0
3600.00/3610.60	c CG lower bound derived from am1s 0
3600.00/3610.60	c CG # clausal cores 9
3600.00/3610.60	c CG # cardinality cores 0
3600.00/3610.60	c CG # pb cores 0
3600.00/3610.60	c CG # pb reforms 0
3600.00/3610.60	c CG # cores discarded because of pb reform 0
3600.00/3610.60	d LOWERBOUND 9
3600.00/3610.60	d NCORES 9
3600.00/3610.60	d NPBCORES 0
3600.00/3610.60	d NPBREFORM 0
3600.00/3610.60	d NTRIMMED 3
3600.00/3610.60	d NEXHAUSTED 0
3600.00/3610.60	d NAM1S 0
3600.00/3610.60	d AM1LB 0
3600.00/3610.60	o 20
3600.00/3610.60	s SATISFIABLE
3600.00/3610.60	v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299

Verifier Data 

OK	20

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: 63837 MiB (63220 MiB free)
  memory of node 1: 64465 MiB (63827 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491066-1751383217/watcher-4491066-1751383217 -o /tmp/evaluation-result-4491066-1751383217/solver-4491066-1751383217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48630 --watchdog 3760 pb-oll-rs HOME/instance-4491066-1751383217.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
Current StackSize limit: 8192 KiB

solver pid=48686, runsolver pid=48671

[startup+0.100066 s]*
/proc/loadavg: 1.09 1.86 2.45 5/246 48687
/proc/meminfo: memFree=130091936/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=20744 memory=8756 CPUtime=0.08 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 541 0 0 0 7 1 0 0 20 0 1 0 54000532 21241856 2189 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 5186 2189 1344 243 0 1435 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20744 KiB
Current children cumulated memory: 8756 KiB

[startup+0.213049 s]*
/proc/loadavg: 1.09 1.86 2.45 5/246 48695
/proc/meminfo: memFree=130094108/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=21672 memory=9524 CPUtime=0.2 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 756 0 0 0 16 4 0 0 20 0 1 0 54000532 22192128 2381 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 5418 2381 1344 243 0 1667 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21672 KiB
Current children cumulated memory: 9524 KiB

[startup+0.313498 s]*
/proc/loadavg: 1.09 1.86 2.45 3/242 48703
/proc/meminfo: memFree=130092128/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=22356 memory=10292 CPUtime=0.29 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 949 0 0 0 24 5 0 0 20 0 1 0 54000532 22892544 2573 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 5589 2573 1344 243 0 1838 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 22356 KiB
Current children cumulated memory: 10292 KiB

[startup+0.700246 s]
/proc/loadavg: 1.09 1.86 2.45 3/242 48703
/proc/meminfo: memFree=130088856/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=24052 memory=13748 CPUtime=0.67 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 1292 0 0 0 56 11 0 0 20 0 1 0 54000532 24629248 3437 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 6013 3437 1344 243 0 2262 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 24052 KiB
Current children cumulated memory: 13748 KiB

[startup+1.50023 s]
/proc/loadavg: 1.09 1.86 2.45 4/242 48703
/proc/meminfo: memFree=130077516/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=25204 memory=15156 CPUtime=1.47 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 1640 0 0 0 128 19 0 0 20 0 1 0 54000532 25808896 3789 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 6301 3789 1344 243 0 2550 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 25204 KiB
Current children cumulated memory: 15156 KiB

[startup+3.11261 s]
/proc/loadavg: 1.40 1.92 2.46 6/248 48817
/proc/meminfo: memFree=130090372/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=32056 memory=19252 CPUtime=3.07 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 2653 0 0 0 276 31 0 0 20 0 1 0 54000532 32825344 4813 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 8014 4813 1344 243 0 4263 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 32056 KiB
Current children cumulated memory: 19252 KiB

[startup+6.30023 s]
/proc/loadavg: 1.40 1.92 2.46 6/250 48912
/proc/meminfo: memFree=130072240/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=39260 memory=24628 CPUtime=6.25 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 4023 0 0 0 577 48 0 0 20 0 1 0 54000532 40202240 6157 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 9815 6157 1344 243 0 6064 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 39260 KiB
Current children cumulated memory: 24628 KiB

[startup+12.7002 s]
/proc/loadavg: 1.61 1.95 2.47 6/250 48912
/proc/meminfo: memFree=130048796/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=43292 memory=30364 CPUtime=12.64 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 4938 0 0 0 1190 74 0 0 20 0 1 0 54000532 44331008 7591 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 10823 7591 1344 243 0 7072 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 43292 KiB
Current children cumulated memory: 30364 KiB

[startup+25.5003 s]
/proc/loadavg: 2.14 2.05 2.50 6/250 48913
/proc/meminfo: memFree=130039668/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=52780 memory=33308 CPUtime=25.4 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 5676 0 0 0 2422 118 0 0 20 0 1 0 54000532 54046720 8327 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 13195 8327 1344 243 0 9444 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 52780 KiB
Current children cumulated memory: 33308 KiB

[startup+51.1131 s]
/proc/loadavg: 2.86 2.23 2.54 6/251 48914
/proc/meminfo: memFree=129981244/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=55084 memory=38912 CPUtime=50.95 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 6559 0 0 0 4900 195 0 0 20 0 1 0 54000532 56406016 9728 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 13771 9728 1344 243 0 10020 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 55084 KiB
Current children cumulated memory: 38912 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 2.52 2.63 6/251 48961
/proc/meminfo: memFree=130037100/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=60196 memory=46100 CPUtime=101.93 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 7368 0 0 0 9868 325 0 0 20 0 1 0 54000532 61640704 11525 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 15049 11525 1344 243 0 11298 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 60196 KiB
Current children cumulated memory: 46100 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 2.79 2.71 6/251 48963
/proc/meminfo: memFree=130009672/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=77284 memory=51476 CPUtime=161.74 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 8740 0 0 0 15731 443 0 0 20 0 1 0 54000532 79138816 12869 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 19321 12869 1344 243 0 15570 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 77284 KiB
Current children cumulated memory: 51476 KiB

[startup+222.3 s]
/proc/loadavg: 4.51 3.15 2.85 6/252 48968
/proc/meminfo: memFree=130034912/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=80452 memory=56772 CPUtime=221.54 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 9548 0 0 0 21609 545 0 0 20 0 1 0 54000532 82382848 14193 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 20113 14193 1344 243 0 16362 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 80452 KiB
Current children cumulated memory: 56772 KiB

[startup+282.3 s]
/proc/loadavg: 4.44 3.40 2.95 6/252 48974
/proc/meminfo: memFree=130009124/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=82696 memory=62404 CPUtime=281.35 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 9951 0 0 0 27494 641 0 0 20 0 1 0 54000532 84680704 15601 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 20674 15601 1344 243 0 16923 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 82696 KiB
Current children cumulated memory: 62404 KiB

[startup+342.3 s]
/proc/loadavg: 4.26 3.54 3.03 6/252 48976
/proc/meminfo: memFree=130002396/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=84940 memory=65816 CPUtime=341.18 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 10335 0 0 0 33402 716 0 0 20 0 1 0 54000532 86978560 16454 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 21235 16454 1344 243 0 17484 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 84940 KiB
Current children cumulated memory: 65816 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 3.66 3.10 6/250 48978
/proc/meminfo: memFree=130008784/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=85864 memory=68516 CPUtime=401.02 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 10532 0 0 0 39319 783 0 0 20 0 1 0 54000532 87924736 17129 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 21466 17129 1344 243 0 17715 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 85864 KiB
Current children cumulated memory: 68516 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.74 3.17 6/251 48981
/proc/meminfo: memFree=130000280/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=86392 memory=70820 CPUtime=460.87 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 10641 0 0 0 45244 843 0 0 20 0 1 0 54000532 88465408 17705 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 21598 17705 1344 243 0 17847 0

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

Current children cumulated memory: 108460 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.05 6/250 49103
/proc/meminfo: memFree=129878784/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=130188 memory=108460 CPUtime=2853.99 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 16619 0 0 0 282753 2646 0 0 20 0 1 0 54000532 133312512 27115 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 32547 27115 1344 243 0 28796 0
Current children cumulated CPU time: 2853.99 s
Current children cumulated vsize: 130188 KiB
Current children cumulated memory: 108460 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.05 6/250 49105
/proc/meminfo: memFree=129873200/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=132000 memory=109100 CPUtime=2913.83 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 16947 0 0 0 288710 2673 0 0 20 0 1 0 54000532 135168000 27275 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33000 27275 1344 243 0 29249 0
Current children cumulated CPU time: 2913.83 s
Current children cumulated vsize: 132000 KiB
Current children cumulated memory: 109100 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.05 6/249 49107
/proc/meminfo: memFree=129864368/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=132388 memory=110252 CPUtime=2973.67 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17021 0 0 0 294650 2717 0 0 20 0 1 0 54000532 135565312 27563 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33097 27563 1344 243 0 29346 0
Current children cumulated CPU time: 2973.67 s
Current children cumulated vsize: 132388 KiB
Current children cumulated memory: 110252 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.05 6/249 49109
/proc/meminfo: memFree=129865332/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=132388 memory=110252 CPUtime=3033.49 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17021 0 0 0 300603 2746 0 0 20 0 1 0 54000532 135565312 27563 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33097 27563 1344 243 0 29346 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 132388 KiB
Current children cumulated memory: 110252 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.05 6/249 49111
/proc/meminfo: memFree=129866732/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=132772 memory=110248 CPUtime=3093.3 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17127 0 0 0 306558 2772 0 0 20 0 1 0 54000532 135958528 27562 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33193 27562 1344 243 0 29442 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 132772 KiB
Current children cumulated memory: 110248 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.06 6/249 49113
/proc/meminfo: memFree=129869732/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=133156 memory=112548 CPUtime=3153.12 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17261 0 0 0 312500 2812 0 0 20 0 1 0 54000532 136351744 28137 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33289 28137 1344 243 0 29538 0
Current children cumulated CPU time: 3153.12 s
Current children cumulated vsize: 133156 KiB
Current children cumulated memory: 112548 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.05 6/250 49118
/proc/meminfo: memFree=129870504/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=133156 memory=112548 CPUtime=3212.92 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17261 0 0 0 318445 2847 0 0 20 0 1 0 54000532 136351744 28137 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33289 28137 1344 243 0 29538 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 133156 KiB
Current children cumulated memory: 112548 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.06 7/251 49120
/proc/meminfo: memFree=129866328/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=133156 memory=113444 CPUtime=3272.74 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17261 0 0 0 324397 2877 0 0 20 0 1 0 54000532 136351744 28361 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33289 28361 1344 243 0 29538 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 133156 KiB
Current children cumulated memory: 113444 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.06 6/251 49126
/proc/meminfo: memFree=129863324/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=134052 memory=113572 CPUtime=3332.55 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17526 0 0 0 330336 2919 0 0 20 0 1 0 54000532 137269248 28393 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33513 28393 1344 243 0 29762 0
Current children cumulated CPU time: 3332.55 s
Current children cumulated vsize: 134052 KiB
Current children cumulated memory: 113572 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.06 6/251 49128
/proc/meminfo: memFree=129866072/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=134052 memory=113572 CPUtime=3392.36 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17526 0 0 0 336278 2958 0 0 20 0 1 0 54000532 137269248 28393 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33513 28393 1344 243 0 29762 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 134052 KiB
Current children cumulated memory: 113572 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.06 6/251 49130
/proc/meminfo: memFree=129866096/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=134052 memory=113572 CPUtime=3452.17 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17526 0 0 0 342232 2985 0 0 20 0 1 0 54000532 137269248 28393 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33513 28393 1344 243 0 29762 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 134052 KiB
Current children cumulated memory: 113572 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.06 6/251 49132
/proc/meminfo: memFree=129866016/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=134564 memory=113700 CPUtime=3511.98 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17690 0 0 0 348181 3017 0 0 20 0 1 0 54000532 137793536 28425 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33641 28425 1344 243 0 29890 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 134564 KiB
Current children cumulated memory: 113700 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.06 6/251 49134
/proc/meminfo: memFree=129860700/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=134564 memory=114724 CPUtime=3571.79 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17690 0 0 0 354126 3053 0 0 20 0 1 0 54000532 137793536 28681 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33641 28681 1344 243 0 29890 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 134564 KiB
Current children cumulated memory: 114724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.09 4.09 4.06 6/252 49137
/proc/meminfo: memFree=129863264/131382120 swapFree=33010416/33010684
[pid=48686] ppid=48671 vsize=134564 memory=114724 CPUtime=3600 cores=5,7
/proc/48686/stat : 48686 (pb-oll-rs) R 48671 48686 48617 0 -1 4194304 17690 0 0 0 356932 3068 0 0 20 0 1 0 54000532 137793536 28681 18446744073709551615 4218880 5211445 140728715596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 8372224 140728715598236 140728715598313 140728715598313 140728715603915 0
/proc/48686/statm: 33641 28681 1344 243 0 29890 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 134564 KiB
Current children cumulated memory: 114724 KiB

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

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

# cumulated CPU time of all completed processes:  user=3569.33 s, system=30.6857 s

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

Child status: 0

Real time (s): 3610.61
CPU time (s): 3600.02
CPU user time (s): 3569.33
CPU system time (s): 30.6857
CPU usage (%): 99.7067
Max. virtual memory (cumulated for all children) (KiB): 134564
Max. memory (cumulated for all children) (KiB): 114724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.33
system time used= 30.6857
maximum resident set size= 114980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17706
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= 137
involuntary context switches= 1565


# summary of solver processes directly reported to runsolver:
#   pid: 48686
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3569.33
#   total CPU system time (s): 30.6857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0861 second user time and 35.356 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-01 17:20:17
IDJOB=4491066
IDBENCH=147676
IDSOLVER=3345
FILE ID=nodeC002/4491066-1751383217
RUNJOBID= nodeC002-1751383217-48630
SLURM_JOB_ID= 9598229
Free space on /tmp= 433060 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491066-1751383217/watcher-4491066-1751383217 -o /tmp/evaluation-result-4491066-1751383217/solver-4491066-1751383217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48630 --watchdog 3760  pb-oll-rs HOME/instance-4491066-1751383217.opb

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

MD5SUM BENCH= 534ed9c29a1c7647bd6acd36efe0613e
RANDOM SEED=1332227922

nodeC002 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		: 1197.428
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.81
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.296
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.81
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.185
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.81
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.084
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.81
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.222
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.81
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.177
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.81
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.406
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.81
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.240
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130098200 kB
MemAvailable:   129884324 kB
Buffers:            2128 kB
Cached:           595160 kB
SwapCached:           28 kB
Active:           368340 kB
Inactive:         292592 kB
Active(anon):      75176 kB
Inactive(anon):     6404 kB
Active(file):     293164 kB
Inactive(file):   286188 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6496 kB
Writeback:             8 kB
AnonPages:         66720 kB
Mapped:           102788 kB
Shmem:             17932 kB
KReclaimable:      92796 kB
Slab:             176760 kB
SReclaimable:      92796 kB
SUnreclaim:        83964 kB
KernelStack:        3840 kB
PageTables:         2856 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149224 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC002 at 2025-07-01 18:20:28