Trace number 4435485

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag 2024-07-02? (TO) 3600.09 3612.21

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435485-1721103307/watcher-4435485-1721103307 -o /tmp/evaluation-result-4435485-1721103307/solver-4435485-1721103307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840502 --watchdog 3760 mixed-bag HOME/instance-4435485-1721103307.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=840562, runsolver pid=840559

[startup+0.100507 s]*
/proc/loadavg: 1.05 1.13 1.84 5/256 840563
/proc/meminfo: memFree=129113072/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=84048 memory=15632 CPUtime=0.09 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 2519 0 0 0 9 0 0 0 20 0 1 0 162501535 86065152 3908 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 21012 3908 1610 3002 0 5302 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84048 KiB
Current children cumulated memory: 15632 KiB

[startup+0.205268 s]*
/proc/loadavg: 1.05 1.13 1.84 5/253 840567
/proc/meminfo: memFree=129092940/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=92240 memory=24004 CPUtime=0.2 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 3070 0 0 0 20 0 0 0 20 0 1 0 162501535 94453760 6001 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 23060 6001 1610 3002 0 7350 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92240 KiB
Current children cumulated memory: 24004 KiB

[startup+0.304713 s]*
/proc/loadavg: 1.05 1.13 1.84 4/253 840577
/proc/meminfo: memFree=129048432/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=123556 memory=45256 CPUtime=0.3 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 4811 0 0 0 29 1 0 0 20 0 1 0 162501535 126521344 11314 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 30889 11314 1626 3002 0 15179 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 123556 KiB
Current children cumulated memory: 45256 KiB

[startup+0.700224 s]
/proc/loadavg: 1.05 1.13 1.84 5/250 840599
/proc/meminfo: memFree=128966580/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=236676 memory=156400 CPUtime=0.69 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 20935 0 0 0 65 4 0 0 20 0 1 0 162501535 242356224 39100 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 59169 39100 3734 3002 0 42920 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 236676 KiB
Current children cumulated memory: 156400 KiB

[startup+1.50023 s]
/proc/loadavg: 1.05 1.13 1.84 5/256 840609
/proc/meminfo: memFree=128750732/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=438752 memory=323932 CPUtime=1.48 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 53056 0 0 0 139 9 0 0 20 0 1 0 162501535 449282048 80983 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 109688 80983 3843 3002 0 93439 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 438752 KiB
Current children cumulated memory: 323932 KiB

[startup+3.10574 s]
/proc/loadavg: 1.05 1.13 1.84 5/256 840611
/proc/meminfo: memFree=128300748/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=509648 memory=397476 CPUtime=3.08 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 69868 0 0 0 296 12 0 0 20 0 1 0 162501535 521879552 99369 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 127412 99369 4019 3002 0 111163 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 509648 KiB
Current children cumulated memory: 397476 KiB

[startup+6.30021 s]
/proc/loadavg: 1.29 1.17 1.86 5/256 840611
/proc/meminfo: memFree=128095828/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=562932 memory=448620 CPUtime=6.27 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 78421 0 0 0 613 14 0 0 20 0 1 0 162501535 576442368 112155 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 140733 112155 4019 3002 0 124484 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 562932 KiB
Current children cumulated memory: 448620 KiB

[startup+12.7002 s]
/proc/loadavg: 1.51 1.22 1.87 5/256 840657
/proc/meminfo: memFree=127805952/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=615968 memory=497264 CPUtime=12.66 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 88067 0 0 0 1250 16 0 0 20 0 1 0 162501535 630751232 124316 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 153992 124316 4035 3002 0 137743 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 615968 KiB
Current children cumulated memory: 497264 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 1.36 1.90 5/254 840660
/proc/meminfo: memFree=127738456/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=615968 memory=497280 CPUtime=25.42 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 88131 0 0 0 2526 16 0 0 20 0 1 0 162501535 630751232 124320 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 153992 124320 4035 3002 0 137743 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 615968 KiB
Current children cumulated memory: 497280 KiB

[startup+51.1056 s]
/proc/loadavg: 2.95 1.62 1.97 5/254 840663
/proc/meminfo: memFree=127741092/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=615968 memory=497280 CPUtime=50.95 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 88213 0 0 0 5079 16 0 0 20 0 1 0 162501535 630751232 124320 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 153992 124320 4035 3002 0 137743 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 615968 KiB
Current children cumulated memory: 497280 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 2.00 2.09 5/254 840671
/proc/meminfo: memFree=127666716/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=621208 memory=507472 CPUtime=102.01 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 116992 0 0 0 10180 21 0 0 20 0 1 0 162501535 636116992 126868 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 155302 126868 4051 3002 0 139053 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 621208 KiB
Current children cumulated memory: 507472 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.40 2.22 5/254 840683
/proc/meminfo: memFree=127530576/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=667692 memory=552668 CPUtime=161.85 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 137661 0 0 0 16160 25 0 0 20 0 1 0 162501535 683716608 138167 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 166923 138167 4051 3002 0 150674 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 667692 KiB
Current children cumulated memory: 552668 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.72 2.35 5/254 840694
/proc/meminfo: memFree=127430288/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=706976 memory=591004 CPUtime=221.7 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 147382 0 0 0 22143 27 0 0 20 0 1 0 162501535 723943424 147751 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 176744 147751 4051 3002 0 160495 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 706976 KiB
Current children cumulated memory: 591004 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 2.99 2.46 5/254 840705
/proc/meminfo: memFree=127384704/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=706976 memory=591092 CPUtime=281.55 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 147444 0 0 0 28128 27 0 0 20 0 1 0 162501535 723943424 147773 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 176744 147773 4051 3002 0 160495 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 706976 KiB
Current children cumulated memory: 591092 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 3.22 2.58 5/257 840721
/proc/meminfo: memFree=127453688/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=680096 memory=580228 CPUtime=341.39 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 149079 0 0 0 34076 63 0 0 20 0 1 0 162501535 696418304 145057 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 170024 145057 4195 3002 0 153775 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 680096 KiB
Current children cumulated memory: 580228 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.38 2.68 5/257 840731
/proc/meminfo: memFree=127435988/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=687276 memory=583644 CPUtime=401.23 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 149419 0 0 0 40029 94 0 0 20 0 1 0 162501535 703770624 145911 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 171819 145911 4195 3002 0 155570 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 687276 KiB
Current children cumulated memory: 583644 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.53 2.77 5/257 840742
/proc/meminfo: memFree=127430980/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=687276 memory=584232 CPUtime=461.06 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 149436 0 0 0 45985 121 0 0 20 0 1 0 162501535 703770624 146058 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0

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

Current children cumulated memory: 647012 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.03 5/258 842363
/proc/meminfo: memFree=127227248/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=647012 CPUtime=2852.69 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 152955 0 0 0 284727 542 0 0 20 0 1 0 162501535 735150080 161753 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 161753 4195 3002 0 163231 0
Current children cumulated CPU time: 2852.69 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 647012 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.03 5/256 842374
/proc/meminfo: memFree=127226548/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=647012 CPUtime=2912.48 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153037 0 0 0 290699 549 0 0 20 0 1 0 162501535 735150080 161753 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 161753 4195 3002 0 163231 0
Current children cumulated CPU time: 2912.48 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 647012 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.04 5/256 842385
/proc/meminfo: memFree=127225928/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=647012 CPUtime=2972.29 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153121 0 0 0 296673 556 0 0 20 0 1 0 162501535 735150080 161753 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 161753 4195 3002 0 163231 0
Current children cumulated CPU time: 2972.29 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 647012 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/254 842396
/proc/meminfo: memFree=127224656/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=647012 CPUtime=3032.09 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153205 0 0 0 302648 561 0 0 20 0 1 0 162501535 735150080 161753 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 161753 4195 3002 0 163231 0
Current children cumulated CPU time: 3032.09 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 647012 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/254 842406
/proc/meminfo: memFree=127223232/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=647012 CPUtime=3091.89 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153289 0 0 0 308621 568 0 0 20 0 1 0 162501535 735150080 161753 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 161753 4195 3002 0 163231 0
Current children cumulated CPU time: 3091.89 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 647012 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.04 5/254 842417
/proc/meminfo: memFree=127222436/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=647012 CPUtime=3151.7 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153373 0 0 0 314595 575 0 0 20 0 1 0 162501535 735150080 161753 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 161753 4195 3002 0 163231 0
Current children cumulated CPU time: 3151.7 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 647012 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/254 842428
/proc/meminfo: memFree=127216880/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=649060 CPUtime=3211.5 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153460 0 0 0 320570 580 0 0 20 0 1 0 162501535 735150080 162265 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 162265 4195 3002 0 163231 0
Current children cumulated CPU time: 3211.5 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 649060 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/254 842438
/proc/meminfo: memFree=127216076/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=649060 CPUtime=3271.3 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153545 0 0 0 326546 584 0 0 20 0 1 0 162501535 735150080 162265 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 162265 4195 3002 0 163231 0
Current children cumulated CPU time: 3271.3 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 649060 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.04 5/257 842454
/proc/meminfo: memFree=127211308/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=651108 CPUtime=3331.1 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153632 0 0 0 332520 590 0 0 20 0 1 0 162501535 735150080 162777 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 162777 4195 3002 0 163231 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 651108 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.11 4.05 5/257 842464
/proc/meminfo: memFree=127208272/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=651108 CPUtime=3390.91 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153712 0 0 0 338494 597 0 0 20 0 1 0 162501535 735150080 162777 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 162777 4195 3002 0 163231 0
Current children cumulated CPU time: 3390.91 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 651108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/258 842477
/proc/meminfo: memFree=127207724/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=651108 CPUtime=3450.69 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153792 0 0 0 344465 604 0 0 20 0 1 0 162501535 735150080 162777 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 162777 4195 3002 0 163231 0
Current children cumulated CPU time: 3450.69 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 651108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/258 842487
/proc/meminfo: memFree=127206864/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=651108 CPUtime=3510.49 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153891 0 0 0 350436 613 0 0 20 0 1 0 162501535 735150080 162777 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 162777 4195 3002 0 163231 0
Current children cumulated CPU time: 3510.49 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 651108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/258 842498
/proc/meminfo: memFree=127206116/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=651108 CPUtime=3570.27 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153972 0 0 0 356409 618 0 0 20 0 1 0 162501535 735150080 162777 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 162777 4195 3002 0 163231 0
Current children cumulated CPU time: 3570.27 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 651108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.14 4.12 4.06 5/246 842579
/proc/meminfo: memFree=128132396/131524600 swapFree=131071996/131071996
[pid=840562] ppid=840559 vsize=717920 memory=651108 CPUtime=3600.08 cores=1,3
/proc/840562/stat : 840562 (mixed-bag) R 840559 840562 840490 0 -1 4194304 153993 0 0 0 359386 622 0 0 20 0 1 0 162501535 735150080 162777 134679101440 4194304 16487941 140723030990944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 39231488 140723031000087 140723031000164 140723031000164 140723031007179 0
/proc/840562/statm: 179480 162777 4195 3002 0 163231 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 717920 KiB
Current children cumulated memory: 651108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.87 s, system=6.22471 s

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

Child status: 0

Real time (s): 3612.21
CPU time (s): 3600.09
CPU user time (s): 3593.87
CPU system time (s): 6.22471
CPU usage (%): 99.6646
Max. virtual memory (cumulated for all children) (KiB): 717920
Max. memory (cumulated for all children) (KiB): 651108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.87
system time used= 6.22471
maximum resident set size= 651108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154027
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= 59
involuntary context switches= 2850


# summary of solver processes directly reported to runsolver:
#   pid: 840562
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3593.87
#   total CPU system time (s): 6.22471

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80299 second user time and 18.7355 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-16 06:15:19
IDJOB=4435485
IDBENCH=147625
IDSOLVER=3066
FILE ID=nodeC035/4435485-1721103307
RUNJOBID= nodeC035-1721103319-840502
SLURM_JOB_ID= 7505619
Free space on /tmp= 890016 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435485-1721103307/watcher-4435485-1721103307 -o /tmp/evaluation-result-4435485-1721103307/solver-4435485-1721103307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840502 --watchdog 3760  mixed-bag HOME/instance-4435485-1721103307.opb

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

MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a
RANDOM SEED=1521020731

nodeC035.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		: 3654.727
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.65
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		: 3660.494
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	: 7005.79
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		: 3620.021
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.65
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		: 3600.427
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	: 7005.79
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		: 3645.295
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.65
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		: 3635.203
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	: 7005.79
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		: 3620.731
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.65
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		: 3662.802
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	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129174660 kB
MemAvailable:   129733740 kB
Buffers:          379656 kB
Cached:          1018360 kB
SwapCached:            0 kB
Active:           689564 kB
Inactive:        1070768 kB
Active(anon):       1432 kB
Inactive(anon):   398604 kB
Active(file):     688132 kB
Inactive(file):   672164 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             70992 kB
Writeback:            64 kB
AnonPages:        362844 kB
Mapped:           114620 kB
Shmem:             37724 kB
KReclaimable:      77216 kB
Slab:             180688 kB
SReclaimable:      77216 kB
SUnreclaim:       103472 kB
KernelStack:        4040 kB
PageTables:         9712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     830784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62912 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889984 MiB
End job on nodeC035 at 2024-07-16 07:15:32