Trace number 4435888

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-07-02? (TO) 3600.09 3613.31

DiagnosticValue
AM1LB0
LOWERBOUND32
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
MD5SUM175cf8fd081870b89b1494469c4bb17a
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 benchmark293
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8883
Total number of constraints17459
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 constraints17459
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 2691
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.19/0.26	c [STEP] solving
0.19/0.26	c #variables 8883 #constraints 17459
0.19/0.26	c SMALL=int, LARGE=long long
0.19/0.26	c bounds - >= 0 @ 0.242058
0.19/0.26	c stratification level: 0
174.61/175.19	c bounds - >= 1 @ 0.251119
174.61/175.19	c bounds - >= 2 @ 0.252161
174.61/175.19	c bounds - >= 4 @ 0.252893
174.61/175.19	c bounds - >= 8 @ 0.253667
174.61/175.19	c bounds - >= 16 @ 0.265228
174.61/175.19	c #Conflicts:       1000 | #Constraints:      18463
174.61/175.19	c bounds - >= 32 @ 1.47892
174.61/175.19	c #Conflicts:       2000 | #Constraints:      19464
174.61/175.19	c INPROCESSING
174.61/175.19	c #Conflicts:       3000 | #Constraints:      19472
174.61/175.19	c #Conflicts:       4000 | #Constraints:      20472
174.61/175.19	c INPROCESSING
174.61/175.19	c #Conflicts:       5000 | #Constraints:      19881
174.61/175.19	c #Conflicts:       6000 | #Constraints:      20881
174.61/175.19	c INPROCESSING
174.61/175.19	c #Conflicts:       7000 | #Constraints:      19894
174.61/175.19	c #Conflicts:       8000 | #Constraints:      20894
174.61/175.19	c #Conflicts:       9000 | #Constraints:      21894
174.61/175.19	c INPROCESSING
174.61/175.19	c GARBAGE COLLECT
174.61/175.19	c #Conflicts:      10000 | #Constraints:      20600
174.61/175.19	c #Conflicts:      11000 | #Constraints:      21600
174.61/175.19	c #Conflicts:      12000 | #Constraints:      22600
174.61/175.19	c #Conflicts:      13000 | #Constraints:      23600
174.61/175.19	c #Conflicts:      14000 | #Constraints:      24600
174.61/175.19	c #Conflicts:      15000 | #Constraints:      25600
174.61/175.19	c #Conflicts:      16000 | #Constraints:      26600
174.61/175.19	c INPROCESSING
174.61/175.19	c #Conflicts:      17000 | #Constraints:      22800
174.61/175.19	c #Conflicts:      18000 | #Constraints:      23800
174.61/175.19	c #Conflicts:      19000 | #Constraints:      24800
174.61/175.19	c #Conflicts:      20000 | #Constraints:      25800
174.61/175.19	c INPROCESSING
174.61/175.19	c GARBAGE COLLECT
174.61/175.19	c #Conflicts:      21000 | #Constraints:      22459
174.61/175.19	c #Conflicts:      22000 | #Constraints:      23459
174.61/175.19	c #Conflicts:      23000 | #Constraints:      24459
174.61/175.19	c #Conflicts:      24000 | #Constraints:      25459
174.61/175.19	c #Conflicts:      25000 | #Constraints:      26459
174.61/175.19	c #Conflicts:      26000 | #Constraints:      27459
174.61/175.19	c #Conflicts:      27000 | #Constraints:      28459
174.61/175.19	c #Conflicts:      28000 | #Constraints:      29459
174.61/175.19	c #Conflicts:      29000 | #Constraints:      30459
174.61/175.19	c #Conflicts:      30000 | #Constraints:      31459
174.61/175.19	c INPROCESSING
174.61/175.19	c GARBAGE COLLECT
174.61/175.19	c #Conflicts:      31000 | #Constraints:      25094
174.61/175.19	c #Conflicts:      32000 | #Constraints:      26094
174.61/175.19	c #Conflicts:      33000 | #Constraints:      27094
174.61/175.19	c #Conflicts:      34000 | #Constraints:      28094
174.61/175.19	c #Conflicts:      35000 | #Constraints:      29094
174.61/175.19	c #Conflicts:      36000 | #Constraints:      30094
174.61/175.19	c INPROCESSING
174.61/175.19	c GARBAGE COLLECT
174.61/175.19	c #Conflicts:      37000 | #Constraints:      24810
174.61/175.19	c #Conflicts:      38000 | #Constraints:      25810
174.61/175.19	c #Conflicts:      39000 | #Constraints:      26810
174.61/175.19	c #Conflicts:      40000 | #Constraints:      27810
174.61/175.19	c #Conflicts:      41000 | #Constraints:      28810
174.61/175.19	c #Conflicts:      42000 | #Constraints:      29810
174.61/175.19	c #Conflicts:      43000 | #Constraints:      30810
174.61/175.19	c #Conflicts:      44000 | #Constraints:      31810
174.61/175.19	c #Conflicts:      45000 | #Constraints:      32810
174.61/175.19	c #Conflicts:      46000 | #Constraints:      33810
174.61/175.19	c #Conflicts:      47000 | #Constraints:      34810
174.61/175.19	c #Conflicts:      48000 | #Constraints:      35810
174.61/175.19	c #Conflicts:      49000 | #Constraints:      36810
174.61/175.19	c INPROCESSING
174.61/175.19	c GARBAGE COLLECT
174.61/175.19	c #Conflicts:      50000 | #Constraints:      27911
174.61/175.19	c #Conflicts:      51000 | #Constraints:      28911
174.61/175.19	c #Conflicts:      52000 | #Constraints:      29911
174.61/175.19	c #Conflicts:      53000 | #Constraints:      30911
174.61/175.19	c #Conflicts:      54000 | #Constraints:      31911
174.61/175.19	c #Conflicts:      55000 | #Constraints:      32911
174.61/175.19	c #Conflicts:      56000 | #Constraints:      33911
174.61/175.19	c INPROCESSING
174.61/175.19	c GARBAGE COLLECT
174.61/175.19	c #Conflicts:      57000 | #Constraints:      26715
174.61/175.19	c #Conflicts:      58000 | #Constraints:      27715
174.61/175.19	c #Conflicts:      59000 | #Constraints:      28715
174.61/175.19	c #Conflicts:      60000 | #Constraints:      29715
174.61/175.19	c #Conflicts:      61000 | #Constraints:      30715
174.61/175.19	c #Conflicts:      62000 | #Constraints:      31715
174.61/175.19	c #Conflicts:      63000 | #Constraints:      32715
174.61/175.19	c #Conflicts:      64000 | #Constraints:      33715
174.61/175.19	c #Conflicts:      65000 | #Constraints:      34715
174.61/175.19	c #Conflicts:      66000 | #Constraints:      35715
174.61/175.19	c #Conflicts:      67000 | #Constraints:      36715
174.61/175.19	c #Conflicts:      68000 | #Constraints:      37715
174.61/175.19	c #Conflicts:      69000 | #Constraints:      38715
174.61/175.19	c #Conflicts:      70000 | #Constraints:      39715
174.61/175.19	c #Conflicts:      71000 | #Constraints:      40715
602.95/604.89	c #Conflicts:      72000 | #Constraints:      41715
602.95/604.89	c INPROCESSING
602.95/604.89	c GARBAGE COLLECT
602.95/604.89	c #Conflicts:      73000 | #Constraints:      30324
602.95/604.89	c #Conflicts:      74000 | #Constraints:      31324
602.95/604.89	c #Conflicts:      75000 | #Constraints:      32324
602.95/604.89	c #Conflicts:      76000 | #Constraints:      33324
602.95/604.89	c #Conflicts:      77000 | #Constraints:      34324
602.95/604.89	c #Conflicts:      78000 | #Constraints:      35324
602.95/604.89	c #Conflicts:      79000 | #Constraints:      36324
602.95/604.89	c #Conflicts:      80000 | #Constraints:      37324
602.95/604.89	c INPROCESSING
602.95/604.89	c GARBAGE COLLECT
602.95/604.89	c #Conflicts:      81000 | #Constraints:      28547
602.95/604.89	c #Conflicts:      82000 | #Constraints:      29547
602.95/604.89	c #Conflicts:      83000 | #Constraints:      30547
602.95/604.89	c #Conflicts:      84000 | #Constraints:      31547
602.95/604.89	c #Conflicts:      85000 | #Constraints:      32547
602.95/604.89	c #Conflicts:      86000 | #Constraints:      33547
602.95/604.89	c #Conflicts:      87000 | #Constraints:      34547
602.95/604.89	c #Conflicts:      88000 | #Constraints:      35547
602.95/604.89	c #Conflicts:      89000 | #Constraints:      36547
602.95/604.89	c #Conflicts:      90000 | #Constraints:      37547
602.95/604.89	c #Conflicts:      91000 | #Constraints:      38547
602.95/604.89	c #Conflicts:      92000 | #Constraints:      39547
602.95/604.89	c #Conflicts:      93000 | #Constraints:      40547
602.95/604.89	c #Conflicts:      94000 | #Constraints:      41547
602.95/604.89	c #Conflicts:      95000 | #Constraints:      42547
602.95/604.89	c #Conflicts:      96000 | #Constraints:      43547
602.95/604.89	c #Conflicts:      97000 | #Constraints:      44547
602.95/604.89	c #Conflicts:      98000 | #Constraints:      45547
602.95/604.89	c #Conflicts:      99000 | #Constraints:      46547
602.95/604.89	c #Conflicts:     100000 | #Constraints:      47547
602.95/604.89	c INPROCESSING
602.95/604.89	c GARBAGE COLLECT
602.95/604.89	c #Conflicts:     101000 | #Constraints:      33479
602.95/604.89	c #Conflicts:     102000 | #Constraints:      34479
602.95/604.89	c #Conflicts:     103000 | #Constraints:      35479
602.95/604.89	c #Conflicts:     104000 | #Constraints:      36479
602.95/604.89	c #Conflicts:     105000 | #Constraints:      37479
602.95/604.89	c #Conflicts:     106000 | #Constraints:      38479
602.95/604.89	c #Conflicts:     107000 | #Constraints:      39479
602.95/604.89	c #Conflicts:     108000 | #Constraints:      40479
602.95/604.89	c #Conflicts:     109000 | #Constraints:      41479
602.95/604.89	c INPROCESSING
602.95/604.89	c GARBAGE COLLECT
602.95/604.89	c #Conflicts:     110000 | #Constraints:      32422
602.95/604.89	c #Conflicts:     111000 | #Constraints:      33422
602.95/604.89	c #Conflicts:     112000 | #Constraints:      34422
602.95/604.89	c #Conflicts:     113000 | #Constraints:      35422
602.95/604.89	c #Conflicts:     114000 | #Constraints:      36422
602.95/604.89	c #Conflicts:     115000 | #Constraints:      37422
602.95/604.89	c #Conflicts:     116000 | #Constraints:      38422
602.95/604.89	c #Conflicts:     117000 | #Constraints:      39422
602.95/604.89	c #Conflicts:     118000 | #Constraints:      40422
602.95/604.89	c #Conflicts:     119000 | #Constraints:      41422
602.95/604.89	c #Conflicts:     120000 | #Constraints:      42422
602.95/604.89	c #Conflicts:     121000 | #Constraints:      43422
602.95/604.89	c #Conflicts:     122000 | #Constraints:      44422
602.95/604.89	c #Conflicts:     123000 | #Constraints:      45422
602.95/604.89	c #Conflicts:     124000 | #Constraints:      46422
602.95/604.89	c #Conflicts:     125000 | #Constraints:      47422
602.95/604.89	c #Conflicts:     126000 | #Constraints:      48422
602.95/604.89	c #Conflicts:     127000 | #Constraints:      49422
602.95/604.89	c #Conflicts:     128000 | #Constraints:      50422
602.95/604.89	c #Conflicts:     129000 | #Constraints:      51422
602.95/604.89	c #Conflicts:     130000 | #Constraints:      52422
602.95/604.89	c #Conflicts:     131000 | #Constraints:      53422
602.95/604.89	c #Conflicts:     132000 | #Constraints:      54422
602.95/604.89	c INPROCESSING
602.95/604.89	c GARBAGE COLLECT
602.95/604.89	c #Conflicts:     133000 | #Constraints:      36980
602.95/604.89	c #Conflicts:     134000 | #Constraints:      37980
602.95/604.89	c #Conflicts:     135000 | #Constraints:      38980
602.95/604.89	c #Conflicts:     136000 | #Constraints:      39980
602.95/604.89	c #Conflicts:     137000 | #Constraints:      40980
602.95/604.89	c #Conflicts:     138000 | #Constraints:      41980
602.95/604.89	c #Conflicts:     139000 | #Constraints:      42980
602.95/604.89	c #Conflicts:     140000 | #Constraints:      43980
602.95/604.89	c #Conflicts:     141000 | #Constraints:      44980
602.95/604.89	c #Conflicts:     142000 | #Constraints:      45980
602.95/604.89	c #Conflicts:     143000 | #Constraints:      46980
602.95/604.89	c #Conflicts:     144000 | #Constraints:      47980
602.95/604.89	c #Conflicts:     145000 | #Constraints:      48980
602.95/604.89	c #Conflicts:     146000 | #Constraints:      49980
602.95/604.89	c #Conflicts:     147000 | #Constraints:      50980
1200.52/1204.55	c #Conflicts:     148000 | #Constraints:      51980
1200.52/1204.55	c #Conflicts:     149000 | #Constraints:      52980
1200.52/1204.55	c #Conflicts:     150000 | #Constraints:      53980
1200.52/1204.55	c #Conflicts:     151000 | #Constraints:      54980
1200.52/1204.55	c #Conflicts:     152000 | #Constraints:      55980
1200.52/1204.55	c #Conflicts:     153000 | #Constraints:      56980
1200.52/1204.55	c #Conflicts:     154000 | #Constraints:      57980
1200.52/1204.55	c #Conflicts:     155000 | #Constraints:      58980
1200.52/1204.55	c #Conflicts:     156000 | #Constraints:      59980
1200.52/1204.55	c INPROCESSING
1200.52/1204.55	c GARBAGE COLLECT
1200.52/1204.55	c #Conflicts:     157000 | #Constraints:      39367
1200.52/1204.55	c #Conflicts:     158000 | #Constraints:      40367
1200.52/1204.55	c #Conflicts:     159000 | #Constraints:      41367
1200.52/1204.55	c #Conflicts:     160000 | #Constraints:      42367
1200.52/1204.55	c #Conflicts:     161000 | #Constraints:      43367
1200.52/1204.55	c #Conflicts:     162000 | #Constraints:      44367
1200.52/1204.55	c #Conflicts:     163000 | #Constraints:      45367
1200.52/1204.55	c #Conflicts:     164000 | #Constraints:      46367
1200.52/1204.55	c #Conflicts:     165000 | #Constraints:      47367
1200.52/1204.55	c #Conflicts:     166000 | #Constraints:      48367
1200.52/1204.55	c #Conflicts:     167000 | #Constraints:      49367
1200.52/1204.55	c #Conflicts:     168000 | #Constraints:      50367
1200.52/1204.55	c #Conflicts:     169000 | #Constraints:      51367
1200.52/1204.55	c #Conflicts:     170000 | #Constraints:      52367
1200.52/1204.55	c #Conflicts:     171000 | #Constraints:      53367
1200.52/1204.55	c #Conflicts:     172000 | #Constraints:      54367
1200.52/1204.55	c #Conflicts:     173000 | #Constraints:      55367
1200.52/1204.55	c #Conflicts:     174000 | #Constraints:      56367
1200.52/1204.55	c #Conflicts:     175000 | #Constraints:      57367
1200.52/1204.55	c #Conflicts:     176000 | #Constraints:      58367
1200.52/1204.55	c #Conflicts:     177000 | #Constraints:      59367
1200.52/1204.55	c #Conflicts:     178000 | #Constraints:      60367
1200.52/1204.55	c #Conflicts:     179000 | #Constraints:      61367
1200.52/1204.55	c #Conflicts:     180000 | #Constraints:      62367
1200.52/1204.55	c #Conflicts:     181000 | #Constraints:      63367
1200.52/1204.55	c #Conflicts:     182000 | #Constraints:      64367
1200.52/1204.55	c #Conflicts:     183000 | #Constraints:      65367
1200.52/1204.55	c INPROCESSING
1200.52/1204.55	c GARBAGE COLLECT
1200.52/1204.55	c #Conflicts:     184000 | #Constraints:      42169
1200.52/1204.55	c #Conflicts:     185000 | #Constraints:      43169
1200.52/1204.55	c #Conflicts:     186000 | #Constraints:      44169
1200.52/1204.55	c #Conflicts:     187000 | #Constraints:      45169
1200.52/1204.55	c #Conflicts:     188000 | #Constraints:      46169
1200.52/1204.55	c #Conflicts:     189000 | #Constraints:      47169
1200.52/1204.55	c #Conflicts:     190000 | #Constraints:      48169
1200.52/1204.55	c #Conflicts:     191000 | #Constraints:      49169
1200.52/1204.55	c #Conflicts:     192000 | #Constraints:      50169
1200.52/1204.55	c #Conflicts:     193000 | #Constraints:      51169
1200.52/1204.55	c #Conflicts:     194000 | #Constraints:      52169
1200.52/1204.55	c #Conflicts:     195000 | #Constraints:      53169
1200.52/1204.55	c #Conflicts:     196000 | #Constraints:      54169
1200.52/1204.55	c #Conflicts:     197000 | #Constraints:      55169
1200.52/1204.55	c #Conflicts:     198000 | #Constraints:      56169
1200.52/1204.55	c #Conflicts:     199000 | #Constraints:      57169
1200.52/1204.55	c #Conflicts:     200000 | #Constraints:      58169
1200.52/1204.55	c #Conflicts:     201000 | #Constraints:      59169
1200.52/1204.55	c #Conflicts:     202000 | #Constraints:      60169
1200.52/1204.55	c #Conflicts:     203000 | #Constraints:      61169
1200.52/1204.55	c #Conflicts:     204000 | #Constraints:      62169
1200.52/1204.55	c #Conflicts:     205000 | #Constraints:      63169
1200.52/1204.55	c #Conflicts:     206000 | #Constraints:      64169
1200.52/1204.55	c #Conflicts:     207000 | #Constraints:      65169
1200.52/1204.55	c #Conflicts:     208000 | #Constraints:      66169
1200.52/1204.55	c #Conflicts:     209000 | #Constraints:      67169
1200.52/1204.55	c #Conflicts:     210000 | #Constraints:      68169
1200.52/1204.55	c #Conflicts:     211000 | #Constraints:      69169
1200.52/1204.55	c #Conflicts:     212000 | #Constraints:      70169
1200.52/1204.55	c INPROCESSING
1200.52/1204.55	c GARBAGE COLLECT
1200.52/1204.55	c #Conflicts:     213000 | #Constraints:      45961
1200.52/1204.55	c #Conflicts:     214000 | #Constraints:      46961
1200.52/1204.55	c #Conflicts:     215000 | #Constraints:      47961
1200.52/1204.55	c #Conflicts:     216000 | #Constraints:      48961
1200.52/1204.55	c #Conflicts:     217000 | #Constraints:      49961
1200.52/1204.55	c #Conflicts:     218000 | #Constraints:      50961
1200.52/1204.55	c #Conflicts:     219000 | #Constraints:      51961
1200.52/1204.55	c #Conflicts:     220000 | #Constraints:      52961
1200.52/1204.55	c #Conflicts:     221000 | #Constraints:      53961
1200.52/1204.55	c #Conflicts:     222000 | #Constraints:      54961
1200.52/1204.55	c #Conflicts:     223000 | #Constraints:      55961
1200.52/1204.55	c #Conflicts:     224000 | #Constraints:      56961
2155.98/2163.66	c #Conflicts:     225000 | #Constraints:      57961
2155.98/2163.66	c #Conflicts:     226000 | #Constraints:      58961
2155.98/2163.66	c #Conflicts:     227000 | #Constraints:      59961
2155.98/2163.66	c #Conflicts:     228000 | #Constraints:      60961
2155.98/2163.66	c #Conflicts:     229000 | #Constraints:      61961
2155.98/2163.66	c #Conflicts:     230000 | #Constraints:      62961
2155.98/2163.66	c #Conflicts:     231000 | #Constraints:      63961
2155.98/2163.66	c #Conflicts:     232000 | #Constraints:      64961
2155.98/2163.66	c #Conflicts:     233000 | #Constraints:      65961
2155.98/2163.66	c #Conflicts:     234000 | #Constraints:      66961
2155.98/2163.66	c #Conflicts:     235000 | #Constraints:      67961
2155.98/2163.66	c #Conflicts:     236000 | #Constraints:      68961
2155.98/2163.66	c #Conflicts:     237000 | #Constraints:      69961
2155.98/2163.66	c #Conflicts:     238000 | #Constraints:      70961
2155.98/2163.66	c #Conflicts:     239000 | #Constraints:      71961
2155.98/2163.66	c #Conflicts:     240000 | #Constraints:      72961
2155.98/2163.66	c #Conflicts:     241000 | #Constraints:      73961
2155.98/2163.66	c #Conflicts:     242000 | #Constraints:      74961
2155.98/2163.66	c #Conflicts:     243000 | #Constraints:      75961
2155.98/2163.66	c INPROCESSING
2155.98/2163.66	c GARBAGE COLLECT
2155.98/2163.66	c #Conflicts:     244000 | #Constraints:      50525
2155.98/2163.66	c #Conflicts:     245000 | #Constraints:      51525
2155.98/2163.66	c #Conflicts:     246000 | #Constraints:      52525
2155.98/2163.66	c #Conflicts:     247000 | #Constraints:      53525
2155.98/2163.66	c #Conflicts:     248000 | #Constraints:      54525
2155.98/2163.66	c #Conflicts:     249000 | #Constraints:      55525
2155.98/2163.66	c #Conflicts:     250000 | #Constraints:      56525
2155.98/2163.66	c #Conflicts:     251000 | #Constraints:      57525
2155.98/2163.66	c #Conflicts:     252000 | #Constraints:      58525
2155.98/2163.66	c #Conflicts:     253000 | #Constraints:      59525
2155.98/2163.66	c #Conflicts:     254000 | #Constraints:      60525
2155.98/2163.66	c #Conflicts:     255000 | #Constraints:      61525
2155.98/2163.66	c #Conflicts:     256000 | #Constraints:      62525
2155.98/2163.66	c #Conflicts:     257000 | #Constraints:      63525
2155.98/2163.66	c #Conflicts:     258000 | #Constraints:      64525
2155.98/2163.66	c #Conflicts:     259000 | #Constraints:      65525
2155.98/2163.66	c #Conflicts:     260000 | #Constraints:      66525
2155.98/2163.66	c #Conflicts:     261000 | #Constraints:      67525
2155.98/2163.66	c #Conflicts:     262000 | #Constraints:      68525
2155.98/2163.66	c #Conflicts:     263000 | #Constraints:      69525
2155.98/2163.66	c #Conflicts:     264000 | #Constraints:      70525
2155.98/2163.66	c #Conflicts:     265000 | #Constraints:      71525
2155.98/2163.66	c #Conflicts:     266000 | #Constraints:      72525
2155.98/2163.66	c #Conflicts:     267000 | #Constraints:      73525
2155.98/2163.66	c #Conflicts:     268000 | #Constraints:      74525
2155.98/2163.66	c #Conflicts:     269000 | #Constraints:      75525
2155.98/2163.66	c #Conflicts:     270000 | #Constraints:      76525
2155.98/2163.66	c #Conflicts:     271000 | #Constraints:      77525
2155.98/2163.66	c #Conflicts:     272000 | #Constraints:      78525
2155.98/2163.66	c #Conflicts:     273000 | #Constraints:      79525
2155.98/2163.66	c #Conflicts:     274000 | #Constraints:      80525
2155.98/2163.66	c #Conflicts:     275000 | #Constraints:      81525
2155.98/2163.66	c #Conflicts:     276000 | #Constraints:      82525
2155.98/2163.66	c INPROCESSING
2155.98/2163.66	c GARBAGE COLLECT
2155.98/2163.66	c #Conflicts:     277000 | #Constraints:      55604
2155.98/2163.66	c #Conflicts:     278000 | #Constraints:      56604
2155.98/2163.66	c #Conflicts:     279000 | #Constraints:      57604
2155.98/2163.66	c #Conflicts:     280000 | #Constraints:      58604
2155.98/2163.66	c #Conflicts:     281000 | #Constraints:      59604
2155.98/2163.66	c #Conflicts:     282000 | #Constraints:      60604
2155.98/2163.66	c #Conflicts:     283000 | #Constraints:      61604
2155.98/2163.66	c #Conflicts:     284000 | #Constraints:      62604
2155.98/2163.66	c #Conflicts:     285000 | #Constraints:      63604
2155.98/2163.66	c #Conflicts:     286000 | #Constraints:      64604
2155.98/2163.66	c #Conflicts:     287000 | #Constraints:      65604
2155.98/2163.66	c #Conflicts:     288000 | #Constraints:      66604
2155.98/2163.66	c #Conflicts:     289000 | #Constraints:      67604
2155.98/2163.66	c #Conflicts:     290000 | #Constraints:      68604
2155.98/2163.66	c #Conflicts:     291000 | #Constraints:      69604
2155.98/2163.66	c #Conflicts:     292000 | #Constraints:      70604
2155.98/2163.66	c #Conflicts:     293000 | #Constraints:      71604
2155.98/2163.66	c #Conflicts:     294000 | #Constraints:      72604
2155.98/2163.66	c #Conflicts:     295000 | #Constraints:      73604
2155.98/2163.66	c #Conflicts:     296000 | #Constraints:      74604
2155.98/2163.66	c #Conflicts:     297000 | #Constraints:      75604
2155.98/2163.66	c #Conflicts:     298000 | #Constraints:      76604
2155.98/2163.66	c #Conflicts:     299000 | #Constraints:      77604
2155.98/2163.66	c #Conflicts:     300000 | #Constraints:      78604
2155.98/2163.66	c #Conflicts:     301000 | #Constraints:      79604
3600.07/3613.30	c #Conflicts:     302000 | #Constraints:      80604
3600.07/3613.30	c #Conflicts:     303000 | #Constraints:      81604
3600.07/3613.30	c #Conflicts:     304000 | #Constraints:      82604
3600.07/3613.30	c #Conflicts:     305000 | #Constraints:      83604
3600.07/3613.30	c #Conflicts:     306000 | #Constraints:      84604
3600.07/3613.30	c #Conflicts:     307000 | #Constraints:      85604
3600.07/3613.30	c #Conflicts:     308000 | #Constraints:      86604
3600.07/3613.30	c #Conflicts:     309000 | #Constraints:      87604
3600.07/3613.30	c #Conflicts:     310000 | #Constraints:      88604
3600.07/3613.30	c INPROCESSING
3600.07/3613.30	c GARBAGE COLLECT
3600.07/3613.30	c #Conflicts:     311000 | #Constraints:      59794
3600.07/3613.30	c #Conflicts:     312000 | #Constraints:      60794
3600.07/3613.30	c #Conflicts:     313000 | #Constraints:      61794
3600.07/3613.30	c #Conflicts:     314000 | #Constraints:      62794
3600.07/3613.30	c #Conflicts:     315000 | #Constraints:      63794
3600.07/3613.30	c #Conflicts:     316000 | #Constraints:      64794
3600.07/3613.30	c #Conflicts:     317000 | #Constraints:      65794
3600.07/3613.30	c #Conflicts:     318000 | #Constraints:      66794
3600.07/3613.30	c #Conflicts:     319000 | #Constraints:      67794
3600.07/3613.30	c #Conflicts:     320000 | #Constraints:      68794
3600.07/3613.30	c #Conflicts:     321000 | #Constraints:      69794
3600.07/3613.30	c #Conflicts:     322000 | #Constraints:      70794
3600.07/3613.30	c #Conflicts:     323000 | #Constraints:      71794
3600.07/3613.30	c #Conflicts:     324000 | #Constraints:      72794
3600.07/3613.30	c #Conflicts:     325000 | #Constraints:      73794
3600.07/3613.30	c #Conflicts:     326000 | #Constraints:      74794
3600.07/3613.30	c #Conflicts:     327000 | #Constraints:      75794
3600.07/3613.30	c #Conflicts:     328000 | #Constraints:      76794
3600.07/3613.30	c #Conflicts:     329000 | #Constraints:      77794
3600.07/3613.30	c #Conflicts:     330000 | #Constraints:      78794
3600.07/3613.30	c #Conflicts:     331000 | #Constraints:      79794
3600.07/3613.30	c #Conflicts:     332000 | #Constraints:      80794
3600.07/3613.30	c #Conflicts:     333000 | #Constraints:      81794
3600.07/3613.30	c #Conflicts:     334000 | #Constraints:      82794
3600.07/3613.30	c #Conflicts:     335000 | #Constraints:      83794
3600.07/3613.30	c #Conflicts:     336000 | #Constraints:      84794
3600.07/3613.30	c #Conflicts:     337000 | #Constraints:      85794
3600.07/3613.30	c #Conflicts:     338000 | #Constraints:      86794
3600.07/3613.30	c #Conflicts:     339000 | #Constraints:      87794
3600.07/3613.30	c #Conflicts:     340000 | #Constraints:      88794
3600.07/3613.30	c #Conflicts:     341000 | #Constraints:      89794
3600.07/3613.30	c #Conflicts:     342000 | #Constraints:      90794
3600.07/3613.30	c #Conflicts:     343000 | #Constraints:      91794
3600.07/3613.30	c #Conflicts:     344000 | #Constraints:      92794
3600.07/3613.30	c #Conflicts:     345000 | #Constraints:      93794
3600.07/3613.30	c #Conflicts:     346000 | #Constraints:      94794
3600.07/3613.30	c #Conflicts:     347000 | #Constraints:      95794
3600.07/3613.30	c INPROCESSING
3600.07/3613.30	c GARBAGE COLLECT
3600.07/3613.30	c #Conflicts:     348000 | #Constraints:      65238
3600.07/3613.30	c #Conflicts:     349000 | #Constraints:      66238
3600.07/3613.30	c #Conflicts:     350000 | #Constraints:      67238
3600.07/3613.30	c #Conflicts:     351000 | #Constraints:      68238
3600.07/3613.30	c #Conflicts:     352000 | #Constraints:      69238
3600.07/3613.30	c #Conflicts:     353000 | #Constraints:      70238
3600.07/3613.30	c #Conflicts:     354000 | #Constraints:      71238
3600.07/3613.30	c #Conflicts:     355000 | #Constraints:      72238
3600.07/3613.30	c #Conflicts:     356000 | #Constraints:      73238
3600.07/3613.30	c #Conflicts:     357000 | #Constraints:      74238
3600.07/3613.30	c #Conflicts:     358000 | #Constraints:      75238
3600.07/3613.30	c #Conflicts:     359000 | #Constraints:      76238
3600.07/3613.30	c #Conflicts:     360000 | #Constraints:      77238
3600.07/3613.30	c #Conflicts:     361000 | #Constraints:      78238
3600.07/3613.30	c #Conflicts:     362000 | #Constraints:      79238
3600.07/3613.30	c #Conflicts:     363000 | #Constraints:      80238
3600.07/3613.30	c #Conflicts:     364000 | #Constraints:      81238
3600.07/3613.30	c #Conflicts:     365000 | #Constraints:      82238
3600.07/3613.30	c #Conflicts:     366000 | #Constraints:      83238
3600.07/3613.30	c #Conflicts:     367000 | #Constraints:      84238
3600.07/3613.30	c #Conflicts:     368000 | #Constraints:      85238
3600.07/3613.30	c #Conflicts:     369000 | #Constraints:      86238
3600.07/3613.30	c #Conflicts:     370000 | #Constraints:      87238
3600.07/3613.30	c #Conflicts:     371000 | #Constraints:      88238
3600.07/3613.30	c #Conflicts:     372000 | #Constraints:      89238
3600.07/3613.30	c #Conflicts:     373000 | #Constraints:      90238
3600.07/3613.30	c #Conflicts:     374000 | #Constraints:      91238
3600.07/3613.30	c #Conflicts:     375000 | #Constraints:      92238
3600.07/3613.30	c Program interrupted by user.
3600.07/3613.30	c cpu time 3592.31 s
3600.07/3613.30	c deterministic time 248468642308 2.48e+11
3600.07/3613.30	c optimization time 511.763 s
3600.07/3613.30	c total solve time 3080.3 s
3600.07/3613.30	c core-guided solve time 3080.3 s
3600.07/3613.30	c propagation time 3457.91 s
3600.07/3613.30	c conflict analysis time 121.799 s
3600.07/3613.30	c propagations 562628181
3600.07/3613.30	c resolve steps 1698877
3600.07/3613.30	c decisions 3023437
3600.07/3613.30	c conflicts 375270
3600.07/3613.30	c restarts 892
3600.07/3613.30	c inprocessing phases 22
3600.07/3613.30	c input clauses 1
3600.07/3613.30	c input cardinalities 0
3600.07/3613.30	c input general constraints 17464
3600.07/3613.30	c input average constraint length 34.13
3600.07/3613.30	c input average constraint degree 969.93
3600.07/3613.30	c learned clauses 85760
3600.07/3613.30	c learned cardinalities 3
3600.07/3613.30	c learned general constraints 289507
3600.07/3613.30	c learned average constraint length 46.64
3600.07/3613.30	c learned average constraint degree 14863000.00
3600.07/3613.30	c watched constraints 306573
3600.07/3613.30	c counting constraints 398
3600.07/3613.30	c gcd simplifications 4934
3600.07/3613.30	c detected cardinalities 3
3600.07/3613.30	c weakened non-implied lits 1375266
3600.07/3613.30	c weakened non-implying lits 611
3600.07/3613.30	c original variables 8883
3600.07/3613.30	c clausal propagations 145723
3600.07/3613.30	c cardinality propagations 11
3600.07/3613.30	c watched propagations 556478672
3600.07/3613.30	c counting propagations 5832484
3600.07/3613.30	c watch lookups 57864963774
3600.07/3613.30	c watch backjump lookups 56746177420
3600.07/3613.30	c watch checks 67898696474
3600.07/3613.30	c propagation checks 64759706149
3600.07/3613.30	c constraint additions 67420475
3600.07/3613.30	c trail pops 566026397
3600.07/3613.30	c formula constraints 17459
3600.07/3613.30	c learned constraints 375270
3600.07/3613.30	c bound constraints 6
3600.07/3613.30	c core-guided constraints 0
3600.07/3613.30	c encountered formula constraints 1435839
3600.07/3613.30	c encountered learned constraints 638308
3600.07/3613.30	c encountered bound constraints 0
3600.07/3613.30	c encountered core-guided constraints 0
3600.07/3613.30	c LP total time 0 s
3600.07/3613.30	c LP solve time 0 s
3600.07/3613.30	c LP constraints added 0
3600.07/3613.30	c LP constraints removed 0
3600.07/3613.30	c LP pivots internal 0
3600.07/3613.30	c LP pivots root 0
3600.07/3613.30	c LP calls 0
3600.07/3613.30	c LP optimalities 0
3600.07/3613.30	c LP no pivot count 0
3600.07/3613.30	c LP infeasibilities 0
3600.07/3613.30	c LP valid Farkas constraints 0
3600.07/3613.30	c LP learned Farkas constraints 0
3600.07/3613.30	c LP basis resets 0
3600.07/3613.30	c LP cycling count 0
3600.07/3613.30	c LP singular count 0
3600.07/3613.30	c LP no primal count 0
3600.07/3613.30	c LP no farkas count 0
3600.07/3613.30	c LP other issue count 0
3600.07/3613.30	c LP Gomory cuts 0
3600.07/3613.30	c LP learned cuts 0
3600.07/3613.30	c LP deleted cuts 0
3600.07/3613.30	c LP encountered Gomory constraints 0
3600.07/3613.30	c LP encountered Farkas constraints 0
3600.07/3613.30	c LP encountered learned Farkas constraints 0
3600.07/3613.30	c CG auxiliary variables introduced 0
3600.07/3613.30	c CG solutions found 0
3600.07/3613.30	c CG cores constructed 6
3600.07/3613.30	c CG core cardinality constraints returned 0
3600.07/3613.30	c CG unit cores 0
3600.07/3613.30	c CG single cores 6
3600.07/3613.30	c CG blocks removed during cardinality reduction 0
3600.07/3613.30	c CG first core best 0
3600.07/3613.30	c CG decision core best 0
3600.07/3613.30	c CG core reduction tie 0
3600.07/3613.30	c CG core degree average 1.00
3600.07/3613.30	c CG core slack average 5.50
3600.07/3613.30	c CG exhausted 0
3600.07/3613.30	c CG exhaust time 0 s
3600.07/3613.30	c CG trimmed 0
3600.07/3613.30	c CG trim time 0.001635 s
3600.07/3613.30	c CG minimized 0
3600.07/3613.30	c CG minimize time 0 s
3600.07/3613.30	c CG am1 prop time 0.002382 s
3600.07/3613.30	c CG # am1s reformulated 0
3600.07/3613.30	c CG lower bound derived from am1s 0
3600.07/3613.30	c CG # clausal cores 6
3600.07/3613.30	c CG # cardinality cores 0
3600.07/3613.30	c CG # pb cores 0
3600.07/3613.30	c CG # pb reforms 0
3600.07/3613.30	c CG # cores discarded because of pb reform 0
3600.07/3613.30	d LOWERBOUND 32
3600.07/3613.30	d NCORES 6
3600.07/3613.30	d NPBCORES 0
3600.07/3613.30	d NPBREFORM 0
3600.07/3613.30	d NTRIMMED 0
3600.07/3613.30	d NEXHAUSTED 0
3600.07/3613.30	d NAM1S 0
3600.07/3613.30	d AM1LB 0
3600.07/3613.31	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: 63931 MiB (61225 MiB free)
  memory of node 1: 64510 MiB (63274 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435888-1721104735/watcher-4435888-1721104735 -o /tmp/evaluation-result-4435888-1721104735/solver-4435888-1721104735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721101137-839794 --watchdog 3760 pb-oll-rs HOME/instance-4435888-1721104735.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=841781, runsolver pid=841778

[startup+0.10088 s]*
/proc/loadavg: 4.05 4.16 4.16 4/248 841799
/proc/meminfo: memFree=127500616/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=41448 memory=11624 CPUtime=0.09 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 1381 0 0 0 9 0 0 0 20 0 1 0 162641786 42442752 2906 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 10362 2906 1166 291 0 1896 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41448 KiB
Current children cumulated memory: 11624 KiB

[startup+0.205534 s]*
/proc/loadavg: 4.05 4.16 4.16 5/254 841814
/proc/meminfo: memFree=127490528/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=44732 memory=12568 CPUtime=0.19 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 1666 0 0 0 19 0 0 0 20 0 1 0 162641786 45805568 3142 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 11183 3142 1166 291 0 2717 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 12568 KiB

[startup+0.305932 s]*
/proc/loadavg: 4.05 4.16 4.16 5/254 841814
/proc/meminfo: memFree=127478240/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=50552 memory=21528 CPUtime=0.3 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 3213 0 0 0 28 2 0 0 20 0 1 0 162641786 51765248 5382 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 12638 5382 1340 291 0 4172 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50552 KiB
Current children cumulated memory: 21528 KiB

[startup+0.700216 s]
/proc/loadavg: 4.05 4.16 4.16 5/254 841814
/proc/meminfo: memFree=127471404/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=50688 memory=22020 CPUtime=0.69 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 3250 0 0 0 67 2 0 0 20 0 1 0 162641786 51904512 5505 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 12672 5505 1401 291 0 4206 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50688 KiB
Current children cumulated memory: 22020 KiB

[startup+1.50022 s]
/proc/loadavg: 4.05 4.16 4.16 5/254 841814
/proc/meminfo: memFree=127470628/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=51808 memory=22548 CPUtime=1.48 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 3424 0 0 0 146 2 0 0 20 0 1 0 162641786 53051392 5637 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 12952 5637 1401 291 0 4486 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51808 KiB
Current children cumulated memory: 22548 KiB

[startup+3.1061 s]
/proc/loadavg: 4.13 4.17 4.17 5/254 841862
/proc/meminfo: memFree=128040148/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=52580 memory=23784 CPUtime=3.08 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 3581 0 0 0 304 4 0 0 20 0 1 0 162641786 53841920 5946 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 13145 5946 1401 291 0 4679 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52580 KiB
Current children cumulated memory: 23784 KiB

[startup+6.30022 s]
/proc/loadavg: 4.13 4.17 4.17 5/256 841894
/proc/meminfo: memFree=128032712/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=58088 memory=25608 CPUtime=6.27 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 4044 0 0 0 618 9 0 0 20 0 1 0 162641786 59482112 6402 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 14522 6402 1401 291 0 6056 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 25608 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.17 4.17 5/256 841895
/proc/meminfo: memFree=128016952/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=58324 memory=28272 CPUtime=12.66 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 4250 0 0 0 1250 16 0 0 20 0 1 0 162641786 59723776 7068 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 14581 7068 1401 291 0 6115 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 58324 KiB
Current children cumulated memory: 28272 KiB

[startup+25.5002 s]
/proc/loadavg: 4.32 4.21 4.18 5/256 841897
/proc/meminfo: memFree=127996108/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=59788 memory=29268 CPUtime=25.42 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 4506 0 0 0 2517 25 0 0 20 0 1 0 162641786 61222912 7317 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 14947 7317 1401 291 0 6481 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 59788 KiB
Current children cumulated memory: 29268 KiB

[startup+51.1063 s]
/proc/loadavg: 4.40 4.24 4.19 5/256 841900
/proc/meminfo: memFree=127971844/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=61964 memory=32040 CPUtime=50.96 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 5424 0 0 0 5056 40 0 0 20 0 1 0 162641786 63451136 8010 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 15491 8010 1401 291 0 7025 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 61964 KiB
Current children cumulated memory: 32040 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.22 4.18 5/258 841915
/proc/meminfo: memFree=127948692/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=71332 memory=37112 CPUtime=102.02 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 6448 0 0 0 10135 67 0 0 20 0 1 0 162641786 73043968 9278 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 17833 9278 1401 291 0 9367 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 71332 KiB
Current children cumulated memory: 37112 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.22 4.18 5/258 842016
/proc/meminfo: memFree=127026444/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=71580 memory=37428 CPUtime=161.85 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 6654 0 0 0 16091 94 0 0 20 0 1 0 162641786 73297920 9357 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 17895 9357 1401 291 0 9429 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 71580 KiB
Current children cumulated memory: 37428 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/258 842028
/proc/meminfo: memFree=126457484/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=72936 memory=40796 CPUtime=221.67 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 7095 0 0 0 22047 120 0 0 20 0 1 0 162641786 74686464 10199 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 18234 10199 1401 291 0 9768 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 72936 KiB
Current children cumulated memory: 40796 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/257 842038
/proc/meminfo: memFree=126278416/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=74332 memory=41556 CPUtime=281.47 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 7316 0 0 0 28005 142 0 0 20 0 1 0 162641786 76115968 10389 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 18583 10389 1401 291 0 10117 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 74332 KiB
Current children cumulated memory: 41556 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 4.20 4.18 5/257 842049
/proc/meminfo: memFree=126022784/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=76488 memory=47644 CPUtime=341.28 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 7725 0 0 0 33968 160 0 0 20 0 1 0 162641786 78323712 11911 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 19122 11911 1401 291 0 10656 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 76488 KiB
Current children cumulated memory: 47644 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/255 842059
/proc/meminfo: memFree=125833784/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=76488 memory=47836 CPUtime=401.1 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 7775 0 0 0 39931 179 0 0 20 0 1 0 162641786 78323712 11959 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 19122 11959 1401 291 0 10656 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 76488 KiB
Current children cumulated memory: 47836 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/256 842070
/proc/meminfo: memFree=125704916/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=77404 memory=48212 CPUtime=460.91 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 7923 0 0 0 45898 193 0 0 20 0 1 0 162641786 79261696 12053 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 19351 12053 1401 291 0 10885 0

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

Current children cumulated memory: 86952 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 843489
/proc/meminfo: memFree=124391092/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=134328 memory=87480 CPUtime=2911.81 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 15507 0 0 0 290489 692 0 0 20 0 1 0 162641786 137551872 21870 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 33582 21870 1401 291 0 25116 0
Current children cumulated CPU time: 2911.81 s
Current children cumulated vsize: 134328 KiB
Current children cumulated memory: 87480 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 843668
/proc/meminfo: memFree=124365884/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=135096 memory=94980 CPUtime=2971.58 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 15686 0 0 0 296458 700 0 0 20 0 1 0 162641786 138338304 23745 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 33774 23745 1401 291 0 25308 0
Current children cumulated CPU time: 2971.58 s
Current children cumulated vsize: 135096 KiB
Current children cumulated memory: 94980 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 843678
/proc/meminfo: memFree=124360652/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=136120 memory=95320 CPUtime=3031.35 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 15872 0 0 0 302429 706 0 0 20 0 1 0 162641786 139386880 23830 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34030 23830 1401 291 0 25564 0
Current children cumulated CPU time: 3031.35 s
Current children cumulated vsize: 136120 KiB
Current children cumulated memory: 95320 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 843748
/proc/meminfo: memFree=124350636/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=138652 memory=99308 CPUtime=3091.12 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 16379 0 0 0 308399 713 0 0 20 0 1 0 162641786 141979648 24827 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34663 24827 1401 291 0 26197 0
Current children cumulated CPU time: 3091.12 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 99308 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 843759
/proc/meminfo: memFree=124348760/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=138652 memory=99464 CPUtime=3150.88 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 16415 0 0 0 314365 723 0 0 20 0 1 0 162641786 141979648 24866 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34663 24866 1401 291 0 26197 0
Current children cumulated CPU time: 3150.88 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 99464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 843770
/proc/meminfo: memFree=124348176/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=138652 memory=99464 CPUtime=3210.63 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 16453 0 0 0 320332 731 0 0 20 0 1 0 162641786 141979648 24866 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34663 24866 1401 291 0 26197 0
Current children cumulated CPU time: 3210.63 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 99464 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.15 4.11 5/258 843782
/proc/meminfo: memFree=124328936/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=138652 memory=99464 CPUtime=3270.39 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 16492 0 0 0 326300 739 0 0 20 0 1 0 162641786 141979648 24866 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34663 24866 1401 291 0 26197 0
Current children cumulated CPU time: 3270.39 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 99464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/258 843794
/proc/meminfo: memFree=124321564/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=138652 memory=99464 CPUtime=3330.15 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 16530 0 0 0 332270 745 0 0 20 0 1 0 162641786 141979648 24866 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34663 24866 1401 291 0 26197 0
Current children cumulated CPU time: 3330.15 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 99464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/256 843804
/proc/meminfo: memFree=124319744/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=138652 memory=99464 CPUtime=3389.91 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 16570 0 0 0 338238 753 0 0 20 0 1 0 162641786 141979648 24866 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34663 24866 1401 291 0 26197 0
Current children cumulated CPU time: 3389.91 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 99464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/256 843814
/proc/meminfo: memFree=124318976/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=138652 memory=99464 CPUtime=3449.66 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 16611 0 0 0 344207 759 0 0 20 0 1 0 162641786 141979648 24866 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34663 24866 1401 291 0 26197 0
Current children cumulated CPU time: 3449.66 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 99464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/256 843826
/proc/meminfo: memFree=124318196/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=138652 memory=99464 CPUtime=3509.43 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 16652 0 0 0 350176 767 0 0 20 0 1 0 162641786 141979648 24866 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34663 24866 1401 291 0 26197 0
Current children cumulated CPU time: 3509.43 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 99464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/256 843836
/proc/meminfo: memFree=124317524/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=138652 memory=99488 CPUtime=3569.19 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 16700 0 0 0 356145 774 0 0 20 0 1 0 162641786 141979648 24872 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34663 24872 1401 291 0 26197 0
Current children cumulated CPU time: 3569.19 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 99488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 4.11 4.13 4.10 6/255 843888
/proc/meminfo: memFree=124403812/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=138652 memory=99488 CPUtime=3600.07 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 16701 0 0 0 359229 778 0 0 20 0 1 0 162641786 141979648 24872 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34663 24872 1401 291 0 26197 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 99488 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.31 s, system=7.78382 s

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

[startup+3613.3 s]
/proc/loadavg: 4.11 4.13 4.10 6/255 843888
/proc/meminfo: memFree=124403812/131524600 swapFree=131071996/131071996
[pid=841781] ppid=841778 vsize=138652 memory=99488 CPUtime=3600.07 cores=1,3
/proc/841781/stat : 841781 (pb-oll-rs) R 841778 841781 839782 0 -1 4194304 16701 0 0 0 359229 778 0 0 20 0 1 0 162641786 141979648 24872 134679101440 4194304 5384005 140736168196688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 20430848 140736168199191 140736168199268 140736168199268 140736168206283 0
/proc/841781/statm: 34663 24872 1401 291 0 26197 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 99488 KiB

Child status: 0

Real time (s): 3613.31
CPU time (s): 3600.09
CPU user time (s): 3592.31
CPU system time (s): 7.78382
CPU usage (%): 99.6341
Max. virtual memory (cumulated for all children) (KiB): 138652
Max. memory (cumulated for all children) (KiB): 99488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.31
system time used= 7.78382
maximum resident set size= 99732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16717
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= 33
involuntary context switches= 2743


# summary of solver processes directly reported to runsolver:
#   pid: 841781
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3592.31
#   total CPU system time (s): 7.78382

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.15556 second user time and 18.9798 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-16 06:39:08
IDJOB=4435888
IDBENCH=147625
IDSOLVER=3067
FILE ID=nodeC031/4435888-1721104735
RUNJOBID= nodeC031-1721101137-839794
SLURM_JOB_ID= 7505614
Free space on /tmp= 890024 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435888-1721104735/watcher-4435888-1721104735 -o /tmp/evaluation-result-4435888-1721104735/solver-4435888-1721104735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721101137-839794 --watchdog 3760  pb-oll-rs HOME/instance-4435888-1721104735.opb

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

MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a
RANDOM SEED=1793457882

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127488184 kB
MemAvailable:   129136756 kB
Buffers:          372924 kB
Cached:          2099476 kB
SwapCached:            0 kB
Active:           745780 kB
Inactive:        2667180 kB
Active(anon):       1544 kB
Inactive(anon):   976728 kB
Active(file):     744236 kB
Inactive(file):  1690452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7188 kB
Writeback:             0 kB
AnonPages:        938852 kB
Mapped:           105560 kB
Shmem:             37720 kB
KReclaimable:     107064 kB
Slab:             214780 kB
SReclaimable:     107064 kB
SUnreclaim:       107716 kB
KernelStack:        4048 kB
PageTables:        11568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1478896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62688 kB
HardwareCorrupted:     0 kB
AnonHugePages:    397312 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC031 at 2024-07-16 07:39:21