Trace number 4435798

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.07 3612.21

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
MD5SUM881f02ab7f3f3b5ffe74a08302b7945a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark409600
Best CPU time to get the best result obtained on this benchmark42.4087
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19747
Total number of constraints3145
Number of constraints which are clauses426
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2719
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 133
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073847295
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147758078
Number of bits of the biggest sum of numbers32
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.00/0.07	c [STEP] solving
0.00/0.07	c #variables 19747 #constraints 3146
0.00/0.07	c SMALL=int, LARGE=long long
0.00/0.07	c bounds - >= 406528 @ 0.063648
0.00/0.07	c stratification level: 0
578.05/580.09	c #Conflicts:       1000 | #Constraints:       4145
578.05/580.09	c #Conflicts:       2000 | #Constraints:       5145
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:       3000 | #Constraints:       5215
578.05/580.09	c #Conflicts:       4000 | #Constraints:       6215
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:       5000 | #Constraints:       5646
578.05/580.09	c #Conflicts:       6000 | #Constraints:       6646
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:       7000 | #Constraints:       5664
578.05/580.09	c #Conflicts:       8000 | #Constraints:       6664
578.05/580.09	c #Conflicts:       9000 | #Constraints:       7664
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      10000 | #Constraints:       6366
578.05/580.09	c #Conflicts:      11000 | #Constraints:       7366
578.05/580.09	c #Conflicts:      12000 | #Constraints:       8366
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      13000 | #Constraints:       6814
578.05/580.09	c #Conflicts:      14000 | #Constraints:       7814
578.05/580.09	c #Conflicts:      15000 | #Constraints:       8814
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      16000 | #Constraints:       7052
578.05/580.09	c #Conflicts:      17000 | #Constraints:       8052
578.05/580.09	c #Conflicts:      18000 | #Constraints:       9052
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      19000 | #Constraints:       7067
578.05/580.09	c #Conflicts:      20000 | #Constraints:       8067
578.05/580.09	c #Conflicts:      21000 | #Constraints:       9067
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      22000 | #Constraints:       6869
578.05/580.09	c #Conflicts:      23000 | #Constraints:       7869
578.05/580.09	c #Conflicts:      24000 | #Constraints:       8869
578.05/580.09	c #Conflicts:      25000 | #Constraints:       9869
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      26000 | #Constraints:       7475
578.05/580.09	c #Conflicts:      27000 | #Constraints:       8475
578.05/580.09	c #Conflicts:      28000 | #Constraints:       9475
578.05/580.09	c #Conflicts:      29000 | #Constraints:      10475
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      30000 | #Constraints:       7882
578.05/580.09	c #Conflicts:      31000 | #Constraints:       8882
578.05/580.09	c #Conflicts:      32000 | #Constraints:       9882
578.05/580.09	c #Conflicts:      33000 | #Constraints:      10882
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      34000 | #Constraints:       8078
578.05/580.09	c #Conflicts:      35000 | #Constraints:       9078
578.05/580.09	c #Conflicts:      36000 | #Constraints:      10078
578.05/580.09	c #Conflicts:      37000 | #Constraints:      11078
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      38000 | #Constraints:       8070
578.05/580.09	c #Conflicts:      39000 | #Constraints:       9070
578.05/580.09	c #Conflicts:      40000 | #Constraints:      10070
578.05/580.09	c #Conflicts:      41000 | #Constraints:      11070
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      42000 | #Constraints:       7881
578.05/580.09	c #Conflicts:      43000 | #Constraints:       8881
578.05/580.09	c #Conflicts:      44000 | #Constraints:       9881
578.05/580.09	c #Conflicts:      45000 | #Constraints:      10881
578.05/580.09	c #Conflicts:      46000 | #Constraints:      11881
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      47000 | #Constraints:       8480
578.05/580.09	c #Conflicts:      48000 | #Constraints:       9480
578.05/580.09	c #Conflicts:      49000 | #Constraints:      10480
578.05/580.09	c #Conflicts:      50000 | #Constraints:      11480
578.05/580.09	c #Conflicts:      51000 | #Constraints:      12480
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      52000 | #Constraints:       8877
578.05/580.09	c #Conflicts:      53000 | #Constraints:       9877
578.05/580.09	c #Conflicts:      54000 | #Constraints:      10877
578.05/580.09	c #Conflicts:      55000 | #Constraints:      11877
578.05/580.09	c #Conflicts:      56000 | #Constraints:      12877
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      57000 | #Constraints:       9085
578.05/580.09	c #Conflicts:      58000 | #Constraints:      10085
578.05/580.09	c #Conflicts:      59000 | #Constraints:      11085
578.05/580.09	c #Conflicts:      60000 | #Constraints:      12085
578.05/580.09	c #Conflicts:      61000 | #Constraints:      13085
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      62000 | #Constraints:       9087
578.05/580.09	c #Conflicts:      63000 | #Constraints:      10087
578.05/580.09	c #Conflicts:      64000 | #Constraints:      11087
578.05/580.09	c #Conflicts:      65000 | #Constraints:      12087
578.05/580.09	c #Conflicts:      66000 | #Constraints:      13087
578.05/580.09	c INPROCESSING
578.05/580.09	c GARBAGE COLLECT
578.05/580.09	c #Conflicts:      67000 | #Constraints:       8882
578.05/580.09	c #Conflicts:      68000 | #Constraints:       9882
1712.24/1718.40	c #Conflicts:      69000 | #Constraints:      10882
1712.24/1718.40	c #Conflicts:      70000 | #Constraints:      11882
1712.24/1718.40	c #Conflicts:      71000 | #Constraints:      12882
1712.24/1718.40	c #Conflicts:      72000 | #Constraints:      13882
1712.24/1718.40	c INPROCESSING
1712.24/1718.40	c GARBAGE COLLECT
1712.24/1718.40	c #Conflicts:      73000 | #Constraints:       9481
1712.24/1718.40	c #Conflicts:      74000 | #Constraints:      10481
1712.24/1718.40	c #Conflicts:      75000 | #Constraints:      11481
1712.24/1718.40	c #Conflicts:      76000 | #Constraints:      12481
1712.24/1718.40	c #Conflicts:      77000 | #Constraints:      13481
1712.24/1718.40	c #Conflicts:      78000 | #Constraints:      14481
1712.24/1718.40	c INPROCESSING
1712.24/1718.40	c GARBAGE COLLECT
1712.24/1718.40	c #Conflicts:      79000 | #Constraints:       9876
1712.24/1718.40	c #Conflicts:      80000 | #Constraints:      10876
1712.24/1718.40	c #Conflicts:      81000 | #Constraints:      11876
1712.24/1718.40	c #Conflicts:      82000 | #Constraints:      12876
1712.24/1718.40	c #Conflicts:      83000 | #Constraints:      13876
1712.24/1718.40	c #Conflicts:      84000 | #Constraints:      14876
1712.24/1718.40	c INPROCESSING
1712.24/1718.40	c GARBAGE COLLECT
1712.24/1718.40	c #Conflicts:      85000 | #Constraints:      10085
1712.24/1718.40	c #Conflicts:      86000 | #Constraints:      11085
1712.24/1718.40	c #Conflicts:      87000 | #Constraints:      12085
1712.24/1718.40	c #Conflicts:      88000 | #Constraints:      13085
1712.24/1718.40	c #Conflicts:      89000 | #Constraints:      14085
1712.24/1718.40	c #Conflicts:      90000 | #Constraints:      15085
1712.24/1718.40	c INPROCESSING
1712.24/1718.40	c GARBAGE COLLECT
1712.24/1718.40	c #Conflicts:      91000 | #Constraints:      10093
1712.24/1718.40	c #Conflicts:      92000 | #Constraints:      11093
1712.24/1718.40	c #Conflicts:      93000 | #Constraints:      12093
1712.24/1718.40	c #Conflicts:      94000 | #Constraints:      13093
1712.24/1718.40	c #Conflicts:      95000 | #Constraints:      14093
1712.24/1718.40	c #Conflicts:      96000 | #Constraints:      15093
1712.24/1718.40	c INPROCESSING
1712.24/1718.40	c GARBAGE COLLECT
1712.24/1718.40	c #Conflicts:      97000 | #Constraints:       9894
1712.24/1718.40	c #Conflicts:      98000 | #Constraints:      10894
1712.24/1718.40	c #Conflicts:      99000 | #Constraints:      11894
1712.24/1718.40	c #Conflicts:     100000 | #Constraints:      12894
1712.24/1718.40	c #Conflicts:     101000 | #Constraints:      13894
1712.24/1718.40	c #Conflicts:     102000 | #Constraints:      14894
1712.24/1718.40	c #Conflicts:     103000 | #Constraints:      15894
1712.24/1718.40	c INPROCESSING
1712.24/1718.40	c GARBAGE COLLECT
1712.24/1718.40	c #Conflicts:     104000 | #Constraints:      10489
1712.24/1718.40	c #Conflicts:     105000 | #Constraints:      11489
1712.24/1718.40	c #Conflicts:     106000 | #Constraints:      12489
1712.24/1718.40	c #Conflicts:     107000 | #Constraints:      13489
1712.24/1718.40	c #Conflicts:     108000 | #Constraints:      14489
1712.24/1718.40	c #Conflicts:     109000 | #Constraints:      15489
1712.24/1718.40	c #Conflicts:     110000 | #Constraints:      16489
1712.24/1718.40	c INPROCESSING
1712.24/1718.40	c GARBAGE COLLECT
1712.24/1718.40	c #Conflicts:     111000 | #Constraints:      10886
1712.24/1718.40	c #Conflicts:     112000 | #Constraints:      11886
1712.24/1718.40	c #Conflicts:     113000 | #Constraints:      12886
1712.24/1718.40	c #Conflicts:     114000 | #Constraints:      13886
1712.24/1718.40	c #Conflicts:     115000 | #Constraints:      14886
1712.24/1718.40	c #Conflicts:     116000 | #Constraints:      15886
1712.24/1718.40	c #Conflicts:     117000 | #Constraints:      16886
1712.24/1718.40	c INPROCESSING
1712.24/1718.40	c GARBAGE COLLECT
1712.24/1718.40	c #Conflicts:     118000 | #Constraints:      11092
1712.24/1718.40	c #Conflicts:     119000 | #Constraints:      12092
1712.24/1718.40	c #Conflicts:     120000 | #Constraints:      13092
1712.24/1718.40	c #Conflicts:     121000 | #Constraints:      14092
1712.24/1718.40	c #Conflicts:     122000 | #Constraints:      15092
1712.24/1718.40	c #Conflicts:     123000 | #Constraints:      16092
1712.24/1718.40	c #Conflicts:     124000 | #Constraints:      17092
1712.24/1718.40	c INPROCESSING
1712.24/1718.40	c GARBAGE COLLECT
1712.24/1718.40	c #Conflicts:     125000 | #Constraints:      11088
1712.24/1718.40	c #Conflicts:     126000 | #Constraints:      12088
1712.24/1718.40	c #Conflicts:     127000 | #Constraints:      13088
1712.24/1718.40	c #Conflicts:     128000 | #Constraints:      14088
1712.24/1718.40	c #Conflicts:     129000 | #Constraints:      15088
1712.24/1718.40	c #Conflicts:     130000 | #Constraints:      16088
1712.24/1718.40	c #Conflicts:     131000 | #Constraints:      17088
1712.24/1718.40	c INPROCESSING
1712.24/1718.40	c GARBAGE COLLECT
1712.24/1718.40	c #Conflicts:     132000 | #Constraints:      10897
1712.24/1718.40	c #Conflicts:     133000 | #Constraints:      11897
1712.24/1718.40	c #Conflicts:     134000 | #Constraints:      12897
1712.24/1718.40	c #Conflicts:     135000 | #Constraints:      13897
1712.24/1718.40	c #Conflicts:     136000 | #Constraints:      14897
1712.24/1718.40	c #Conflicts:     137000 | #Constraints:      15897
1712.24/1718.40	c #Conflicts:     138000 | #Constraints:      16897
1712.24/1718.40	c #Conflicts:     139000 | #Constraints:      17897
1712.24/1718.40	c INPROCESSING
1712.24/1718.40	c GARBAGE COLLECT
1712.24/1718.40	c #Conflicts:     140000 | #Constraints:      11496
3453.81/3465.51	c #Conflicts:     141000 | #Constraints:      12496
3453.81/3465.51	c #Conflicts:     142000 | #Constraints:      13496
3453.81/3465.51	c #Conflicts:     143000 | #Constraints:      14496
3453.81/3465.51	c #Conflicts:     144000 | #Constraints:      15496
3453.81/3465.51	c #Conflicts:     145000 | #Constraints:      16496
3453.81/3465.51	c #Conflicts:     146000 | #Constraints:      17496
3453.81/3465.51	c #Conflicts:     147000 | #Constraints:      18496
3453.81/3465.51	c INPROCESSING
3453.81/3465.51	c GARBAGE COLLECT
3453.81/3465.51	c #Conflicts:     148000 | #Constraints:      11892
3453.81/3465.51	c #Conflicts:     149000 | #Constraints:      12892
3453.81/3465.51	c #Conflicts:     150000 | #Constraints:      13892
3453.81/3465.51	c #Conflicts:     151000 | #Constraints:      14892
3453.81/3465.51	c #Conflicts:     152000 | #Constraints:      15892
3453.81/3465.51	c #Conflicts:     153000 | #Constraints:      16892
3453.81/3465.51	c #Conflicts:     154000 | #Constraints:      17892
3453.81/3465.51	c #Conflicts:     155000 | #Constraints:      18892
3453.81/3465.51	c INPROCESSING
3453.81/3465.51	c GARBAGE COLLECT
3453.81/3465.51	c #Conflicts:     156000 | #Constraints:      12089
3453.81/3465.51	c #Conflicts:     157000 | #Constraints:      13089
3453.81/3465.51	c #Conflicts:     158000 | #Constraints:      14089
3453.81/3465.51	c #Conflicts:     159000 | #Constraints:      15089
3453.81/3465.51	c #Conflicts:     160000 | #Constraints:      16089
3453.81/3465.51	c #Conflicts:     161000 | #Constraints:      17089
3453.81/3465.51	c #Conflicts:     162000 | #Constraints:      18089
3453.81/3465.51	c #Conflicts:     163000 | #Constraints:      19089
3453.81/3465.51	c INPROCESSING
3453.81/3465.51	c GARBAGE COLLECT
3453.81/3465.51	c #Conflicts:     164000 | #Constraints:      12095
3453.81/3465.51	c #Conflicts:     165000 | #Constraints:      13095
3453.81/3465.51	c #Conflicts:     166000 | #Constraints:      14095
3453.81/3465.51	c #Conflicts:     167000 | #Constraints:      15095
3453.81/3465.51	c #Conflicts:     168000 | #Constraints:      16095
3453.81/3465.51	c #Conflicts:     169000 | #Constraints:      17095
3453.81/3465.51	c #Conflicts:     170000 | #Constraints:      18095
3453.81/3465.51	c #Conflicts:     171000 | #Constraints:      19095
3453.81/3465.51	c INPROCESSING
3453.81/3465.51	c GARBAGE COLLECT
3453.81/3465.51	c #Conflicts:     172000 | #Constraints:      11895
3453.81/3465.51	c #Conflicts:     173000 | #Constraints:      12895
3453.81/3465.51	c #Conflicts:     174000 | #Constraints:      13895
3453.81/3465.51	c #Conflicts:     175000 | #Constraints:      14895
3453.81/3465.51	c #Conflicts:     176000 | #Constraints:      15895
3453.81/3465.51	c #Conflicts:     177000 | #Constraints:      16895
3453.81/3465.51	c #Conflicts:     178000 | #Constraints:      17895
3453.81/3465.51	c #Conflicts:     179000 | #Constraints:      18895
3453.81/3465.51	c #Conflicts:     180000 | #Constraints:      19895
3453.81/3465.51	c INPROCESSING
3453.81/3465.51	c GARBAGE COLLECT
3453.81/3465.51	c #Conflicts:     181000 | #Constraints:      12496
3453.81/3465.51	c #Conflicts:     182000 | #Constraints:      13496
3453.81/3465.51	c #Conflicts:     183000 | #Constraints:      14496
3453.81/3465.51	c #Conflicts:     184000 | #Constraints:      15496
3453.81/3465.51	c #Conflicts:     185000 | #Constraints:      16496
3453.81/3465.51	c #Conflicts:     186000 | #Constraints:      17496
3453.81/3465.51	c #Conflicts:     187000 | #Constraints:      18496
3453.81/3465.51	c #Conflicts:     188000 | #Constraints:      19496
3453.81/3465.51	c #Conflicts:     189000 | #Constraints:      20496
3453.81/3465.51	c INPROCESSING
3453.81/3465.51	c GARBAGE COLLECT
3453.81/3465.51	c #Conflicts:     190000 | #Constraints:      12894
3453.81/3465.51	c #Conflicts:     191000 | #Constraints:      13894
3453.81/3465.51	c #Conflicts:     192000 | #Constraints:      14894
3453.81/3465.51	c #Conflicts:     193000 | #Constraints:      15894
3453.81/3465.51	c #Conflicts:     194000 | #Constraints:      16894
3453.81/3465.51	c #Conflicts:     195000 | #Constraints:      17894
3453.81/3465.51	c #Conflicts:     196000 | #Constraints:      18894
3453.81/3465.51	c #Conflicts:     197000 | #Constraints:      19894
3453.81/3465.51	c #Conflicts:     198000 | #Constraints:      20894
3453.81/3465.51	c INPROCESSING
3453.81/3465.51	c GARBAGE COLLECT
3453.81/3465.51	c #Conflicts:     199000 | #Constraints:      13102
3453.81/3465.51	c #Conflicts:     200000 | #Constraints:      14102
3453.81/3465.51	c #Conflicts:     201000 | #Constraints:      15102
3453.81/3465.51	c #Conflicts:     202000 | #Constraints:      16102
3453.81/3465.51	c #Conflicts:     203000 | #Constraints:      17102
3453.81/3465.51	c #Conflicts:     204000 | #Constraints:      18102
3453.81/3465.51	c #Conflicts:     205000 | #Constraints:      19102
3453.81/3465.51	c #Conflicts:     206000 | #Constraints:      20102
3453.81/3465.51	c #Conflicts:     207000 | #Constraints:      21102
3453.81/3465.51	c INPROCESSING
3453.81/3465.51	c GARBAGE COLLECT
3453.81/3465.51	c #Conflicts:     208000 | #Constraints:      13107
3453.81/3465.51	c #Conflicts:     209000 | #Constraints:      14107
3453.81/3465.51	c #Conflicts:     210000 | #Constraints:      15107
3453.81/3465.51	c #Conflicts:     211000 | #Constraints:      16107
3453.81/3465.51	c #Conflicts:     212000 | #Constraints:      17107
3453.81/3465.51	c #Conflicts:     213000 | #Constraints:      18107
3600.05/3612.20	c #Conflicts:     214000 | #Constraints:      19107
3600.05/3612.20	c #Conflicts:     215000 | #Constraints:      20107
3600.05/3612.20	c #Conflicts:     216000 | #Constraints:      21107
3600.05/3612.20	c Program interrupted by user.
3600.05/3612.20	c cpu time 3593.71 s
3600.05/3612.20	c deterministic time 292406568626 2.92e+11
3600.05/3612.20	c optimization time 280.028 s
3600.05/3612.20	c total solve time 3313.62 s
3600.05/3612.20	c core-guided solve time 3313.62 s
3600.05/3612.20	c propagation time 3453.55 s
3600.05/3612.20	c conflict analysis time 128.364 s
3600.05/3612.20	c propagations 367154744
3600.05/3612.20	c resolve steps 4358394
3600.05/3612.20	c decisions 3464987
3600.05/3612.20	c conflicts 216569
3600.05/3612.20	c restarts 510
3600.05/3612.20	c inprocessing phases 37
3600.05/3612.20	c input clauses 426
3600.05/3612.20	c input cardinalities 0
3600.05/3612.20	c input general constraints 2720
3600.05/3612.20	c input average constraint length 46.88
3600.05/3612.20	c input average constraint degree 726852106.66
3600.05/3612.20	c learned clauses 211
3600.05/3612.20	c learned cardinalities 0
3600.05/3612.20	c learned general constraints 216358
3600.05/3612.20	c learned average constraint length 145.89
3600.05/3612.20	c learned average constraint degree 944067131.30
3600.05/3612.20	c watched constraints 219065
3600.05/3612.20	c counting constraints 13
3600.05/3612.20	c gcd simplifications 78
3600.05/3612.20	c detected cardinalities 0
3600.05/3612.20	c weakened non-implied lits 26536
3600.05/3612.20	c weakened non-implying lits 338
3600.05/3612.20	c original variables 19747
3600.05/3612.20	c clausal propagations 856914
3600.05/3612.20	c cardinality propagations 0
3600.05/3612.20	c watched propagations 366183096
3600.05/3612.20	c counting propagations 114143
3600.05/3612.20	c watch lookups 79971743805
3600.05/3612.20	c watch backjump lookups 79908559965
3600.05/3612.20	c watch checks 38827938537
3600.05/3612.20	c propagation checks 92667541947
3600.05/3612.20	c constraint additions 289328818
3600.05/3612.20	c trail pops 370835822
3600.05/3612.20	c formula constraints 3146
3600.05/3612.20	c learned constraints 216569
3600.05/3612.20	c bound constraints 0
3600.05/3612.20	c core-guided constraints 0
3600.05/3612.20	c encountered formula constraints 2211250
3600.05/3612.20	c encountered learned constraints 2363713
3600.05/3612.20	c encountered bound constraints 0
3600.05/3612.20	c encountered core-guided constraints 0
3600.05/3612.20	c LP total time 0 s
3600.05/3612.20	c LP solve time 0 s
3600.05/3612.20	c LP constraints added 0
3600.05/3612.20	c LP constraints removed 0
3600.05/3612.20	c LP pivots internal 0
3600.05/3612.20	c LP pivots root 0
3600.05/3612.20	c LP calls 0
3600.05/3612.20	c LP optimalities 0
3600.05/3612.20	c LP no pivot count 0
3600.05/3612.20	c LP infeasibilities 0
3600.05/3612.20	c LP valid Farkas constraints 0
3600.05/3612.20	c LP learned Farkas constraints 0
3600.05/3612.20	c LP basis resets 0
3600.05/3612.20	c LP cycling count 0
3600.05/3612.20	c LP singular count 0
3600.05/3612.20	c LP no primal count 0
3600.05/3612.20	c LP no farkas count 0
3600.05/3612.20	c LP other issue count 0
3600.05/3612.20	c LP Gomory cuts 0
3600.05/3612.20	c LP learned cuts 0
3600.05/3612.20	c LP deleted cuts 0
3600.05/3612.20	c LP encountered Gomory constraints 0
3600.05/3612.20	c LP encountered Farkas constraints 0
3600.05/3612.20	c LP encountered learned Farkas constraints 0
3600.05/3612.20	c CG auxiliary variables introduced 0
3600.05/3612.20	c CG solutions found 0
3600.05/3612.20	c CG cores constructed 0
3600.05/3612.20	c CG core cardinality constraints returned 0
3600.05/3612.20	c CG unit cores 0
3600.05/3612.20	c CG single cores 0
3600.05/3612.20	c CG blocks removed during cardinality reduction 0
3600.05/3612.20	c CG first core best 0
3600.05/3612.20	c CG decision core best 0
3600.05/3612.20	c CG core reduction tie 0
3600.05/3612.20	c CG core degree average 0.00
3600.05/3612.20	c CG core slack average 0.00
3600.05/3612.20	c CG exhausted 0
3600.05/3612.20	c CG exhaust time 0 s
3600.05/3612.20	c CG trimmed 0
3600.05/3612.20	c CG trim time 0 s
3600.05/3612.20	c CG minimized 0
3600.05/3612.20	c CG minimize time 0 s
3600.05/3612.20	c CG am1 prop time 0.000203 s
3600.05/3612.20	c CG # am1s reformulated 0
3600.05/3612.20	c CG lower bound derived from am1s 0
3600.05/3612.20	c CG # clausal cores 0
3600.05/3612.20	c CG # cardinality cores 0
3600.05/3612.20	c CG # pb cores 0
3600.05/3612.20	c CG # pb reforms 0
3600.05/3612.20	c CG # cores discarded because of pb reform 0
3600.05/3612.20	d LOWERBOUND 0
3600.05/3612.20	d NCORES 0
3600.05/3612.20	d NPBCORES 0
3600.05/3612.20	d NPBREFORM 0
3600.05/3612.20	d NTRIMMED 0
3600.05/3612.20	d NEXHAUSTED 0
3600.05/3612.20	d NAM1S 0
3600.05/3612.20	d AM1LB 0
3600.05/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: 64059 MiB (63121 MiB free)
  memory of node 1: 64510 MiB (63498 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435798-1721073797/watcher-4435798-1721073797 -o /tmp/evaluation-result-4435798-1721073797/solver-4435798-1721073797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721070197-807783 --watchdog 3760 pb-oll-rs HOME/instance-4435798-1721073797.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
Starting watchdog thread
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB

solver pid=809862, runsolver pid=809859

[startup+0.100098 s]*
/proc/loadavg: 4.01 4.21 4.24 5/242 809863
/proc/meminfo: memFree=129642560/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=47056 memory=17204 CPUtime=0.1 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 2735 0 0 0 10 0 0 0 20 0 1 0 159536183 48185344 4301 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 11764 4301 1423 291 0 3298 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47056 KiB
Current children cumulated memory: 17204 KiB

[startup+0.21277 s]*
/proc/loadavg: 4.01 4.21 4.24 5/242 809863
/proc/meminfo: memFree=129640040/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=47320 memory=17468 CPUtime=0.21 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 2792 0 0 0 21 0 0 0 20 0 1 0 159536183 48455680 4367 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 11830 4367 1423 291 0 3364 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47320 KiB
Current children cumulated memory: 17468 KiB

[startup+0.31256 s]*
/proc/loadavg: 4.01 4.21 4.24 5/242 809863
/proc/meminfo: memFree=129638584/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=47584 memory=17732 CPUtime=0.32 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 2867 0 0 0 31 1 0 0 20 0 1 0 159536183 48726016 4433 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 11896 4433 1423 291 0 3430 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 17732 KiB

[startup+0.700313 s]
/proc/loadavg: 4.01 4.21 4.24 5/242 809863
/proc/meminfo: memFree=129632208/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=48376 memory=18524 CPUtime=0.68 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 3047 0 0 0 67 1 0 0 20 0 1 0 159536183 49537024 4631 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 12094 4631 1423 291 0 3628 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48376 KiB
Current children cumulated memory: 18524 KiB

[startup+1.50032 s]
/proc/loadavg: 4.01 4.21 4.24 5/242 809863
/proc/meminfo: memFree=129616996/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=49036 memory=19376 CPUtime=1.48 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 3239 0 0 0 146 2 0 0 20 0 1 0 159536183 50212864 4844 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 12259 4844 1439 291 0 3793 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49036 KiB
Current children cumulated memory: 19376 KiB

[startup+3.11273 s]
/proc/loadavg: 4.01 4.21 4.24 5/242 809863
/proc/meminfo: memFree=129561792/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=50252 memory=21220 CPUtime=3.09 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 3678 0 0 0 305 4 0 0 20 0 1 0 159536183 51458048 5305 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 12563 5305 1439 291 0 4097 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50252 KiB
Current children cumulated memory: 21220 KiB

[startup+6.3003 s]
/proc/loadavg: 4.01 4.21 4.24 5/242 809865
/proc/meminfo: memFree=129479644/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=51384 memory=22272 CPUtime=6.27 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 3987 0 0 0 621 6 0 0 20 0 1 0 159536183 52617216 5568 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 12846 5568 1439 291 0 4380 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51384 KiB
Current children cumulated memory: 22272 KiB

[startup+12.7003 s]
/proc/loadavg: 4.01 4.20 4.24 5/242 809865
/proc/meminfo: memFree=129365316/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=55548 memory=26596 CPUtime=12.65 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 4507 0 0 0 1255 10 0 0 20 0 1 0 159536183 56881152 6649 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 13887 6649 1439 291 0 5421 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 55548 KiB
Current children cumulated memory: 26596 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.21 4.24 5/241 809868
/proc/meminfo: memFree=129157248/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=58012 memory=28700 CPUtime=25.41 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 5075 0 0 0 2525 16 0 0 20 0 1 0 159536183 59404288 7175 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 14503 7175 1439 291 0 6037 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 58012 KiB
Current children cumulated memory: 28700 KiB

[startup+51.1126 s]
/proc/loadavg: 4.05 4.19 4.23 5/241 809871
/proc/meminfo: memFree=128957448/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=58636 memory=29488 CPUtime=50.94 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 5249 0 0 0 5070 24 0 0 20 0 1 0 159536183 60043264 7372 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 14659 7372 1439 291 0 6193 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 58636 KiB
Current children cumulated memory: 29488 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.18 4.22 5/241 809880
/proc/meminfo: memFree=128506496/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=65136 memory=34608 CPUtime=101.96 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 5999 0 0 0 10152 44 0 0 20 0 1 0 159536183 66699264 8652 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 16284 8652 1439 291 0 7818 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 65136 KiB
Current children cumulated memory: 34608 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.16 4.21 6/241 809891
/proc/meminfo: memFree=128269904/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=66412 memory=35656 CPUtime=161.75 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 6281 0 0 0 16111 64 0 0 20 0 1 0 159536183 68005888 8914 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 16603 8914 1439 291 0 8137 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 66412 KiB
Current children cumulated memory: 35656 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.14 4.20 5/241 809901
/proc/meminfo: memFree=127929144/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=67580 memory=36704 CPUtime=221.55 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 6525 0 0 0 22072 83 0 0 20 0 1 0 159536183 69201920 9176 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 16895 9176 1439 291 0 8429 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 67580 KiB
Current children cumulated memory: 36704 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.19 5/241 809911
/proc/meminfo: memFree=127704288/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=68096 memory=36964 CPUtime=281.34 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 6640 0 0 0 28035 99 0 0 20 0 1 0 159536183 69730304 9241 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 17024 9241 1439 291 0 8558 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 68096 KiB
Current children cumulated memory: 36964 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.18 5/241 809922
/proc/meminfo: memFree=127647992/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=68772 memory=37752 CPUtime=341.14 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 6792 0 0 0 33997 117 0 0 20 0 1 0 159536183 70422528 9438 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 17193 9438 1439 291 0 8727 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 68772 KiB
Current children cumulated memory: 37752 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.18 5/241 809932
/proc/meminfo: memFree=127401360/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=69380 memory=38804 CPUtime=400.94 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 7066 0 0 0 39959 135 0 0 20 0 1 0 159536183 71045120 9701 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 17345 9701 1439 291 0 8879 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 69380 KiB
Current children cumulated memory: 38804 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.18 5/243 809946
/proc/meminfo: memFree=127310032/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=69532 memory=39328 CPUtime=460.73 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 7235 0 0 0 45921 152 0 0 20 0 1 0 159536183 71200768 9832 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0

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

Current children cumulated memory: 59348 KiB

[startup+2862.3 s]
/proc/loadavg: 4.20 4.22 4.15 5/244 810991
/proc/meminfo: memFree=123953892/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=101560 memory=59872 CPUtime=2852.5 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 10751 0 0 0 284699 551 0 0 20 0 1 0 159536183 103997440 14968 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25390 14968 1439 291 0 16924 0
Current children cumulated CPU time: 2852.5 s
Current children cumulated vsize: 101560 KiB
Current children cumulated memory: 59872 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/244 811002
/proc/meminfo: memFree=123875264/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=102108 memory=60664 CPUtime=2912.32 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 10970 0 0 0 290671 561 0 0 20 0 1 0 159536183 104558592 15166 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25527 15166 1439 291 0 17061 0
Current children cumulated CPU time: 2912.32 s
Current children cumulated vsize: 102108 KiB
Current children cumulated memory: 60664 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/244 811013
/proc/meminfo: memFree=123821052/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=102108 memory=60664 CPUtime=2972.13 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 10991 0 0 0 296645 568 0 0 20 0 1 0 159536183 104558592 15166 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25527 15166 1439 291 0 17061 0
Current children cumulated CPU time: 2972.13 s
Current children cumulated vsize: 102108 KiB
Current children cumulated memory: 60664 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/244 811023
/proc/meminfo: memFree=123770404/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=102108 memory=60728 CPUtime=3031.94 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 11012 0 0 0 302621 573 0 0 20 0 1 0 159536183 104558592 15182 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25527 15182 1439 291 0 17061 0
Current children cumulated CPU time: 3031.94 s
Current children cumulated vsize: 102108 KiB
Current children cumulated memory: 60728 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/244 811034
/proc/meminfo: memFree=123754092/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=102108 memory=60728 CPUtime=3091.75 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 11033 0 0 0 308597 578 0 0 20 0 1 0 159536183 104558592 15182 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25527 15182 1439 291 0 17061 0
Current children cumulated CPU time: 3091.75 s
Current children cumulated vsize: 102108 KiB
Current children cumulated memory: 60728 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/244 811427
/proc/meminfo: memFree=123734828/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=103004 memory=61396 CPUtime=3151.56 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 11222 0 0 0 314571 585 0 0 20 0 1 0 159536183 105476096 15349 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25751 15349 1439 291 0 17285 0
Current children cumulated CPU time: 3151.56 s
Current children cumulated vsize: 103004 KiB
Current children cumulated memory: 61396 KiB

[startup+3222.3 s]
/proc/loadavg: 4.64 4.28 4.18 5/241 811437
/proc/meminfo: memFree=123719304/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=103004 memory=61396 CPUtime=3211.37 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 11244 0 0 0 320544 593 0 0 20 0 1 0 159536183 105476096 15349 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25751 15349 1439 291 0 17285 0
Current children cumulated CPU time: 3211.37 s
Current children cumulated vsize: 103004 KiB
Current children cumulated memory: 61396 KiB

[startup+3282.3 s]
/proc/loadavg: 4.42 4.30 4.19 5/241 811448
/proc/meminfo: memFree=123704772/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=103004 memory=61412 CPUtime=3271.18 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 11283 0 0 0 326518 600 0 0 20 0 1 0 159536183 105476096 15353 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25751 15353 1439 291 0 17285 0
Current children cumulated CPU time: 3271.18 s
Current children cumulated vsize: 103004 KiB
Current children cumulated memory: 61412 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.28 4.19 5/243 811629
/proc/meminfo: memFree=123685620/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=103976 memory=62384 CPUtime=3330.99 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 11553 0 0 0 332493 606 0 0 20 0 1 0 159536183 106471424 15596 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25994 15596 1439 291 0 17528 0
Current children cumulated CPU time: 3330.99 s
Current children cumulated vsize: 103976 KiB
Current children cumulated memory: 62384 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.23 4.17 5/243 811639
/proc/meminfo: memFree=123669904/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=103976 memory=62384 CPUtime=3390.81 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 11572 0 0 0 338467 614 0 0 20 0 1 0 159536183 106471424 15596 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25994 15596 1439 291 0 17528 0
Current children cumulated CPU time: 3390.81 s
Current children cumulated vsize: 103976 KiB
Current children cumulated memory: 62384 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/245 811664
/proc/meminfo: memFree=123653968/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=103976 memory=62384 CPUtime=3450.62 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 11593 0 0 0 344441 621 0 0 20 0 1 0 159536183 106471424 15596 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25994 15596 1439 291 0 17528 0
Current children cumulated CPU time: 3450.62 s
Current children cumulated vsize: 103976 KiB
Current children cumulated memory: 62384 KiB

[startup+3522.3 s]
/proc/loadavg: 4.50 4.29 4.20 5/245 811674
/proc/meminfo: memFree=123638384/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=103976 memory=62476 CPUtime=3510.43 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 11615 0 0 0 350417 626 0 0 20 0 1 0 159536183 106471424 15619 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25994 15619 1439 291 0 17528 0
Current children cumulated CPU time: 3510.43 s
Current children cumulated vsize: 103976 KiB
Current children cumulated memory: 62476 KiB

[startup+3582.3 s]
/proc/loadavg: 4.62 4.38 4.24 5/245 811686
/proc/meminfo: memFree=123622392/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=103976 memory=62476 CPUtime=3570.24 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 11638 0 0 0 356392 632 0 0 20 0 1 0 159536183 106471424 15619 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 25994 15619 1439 291 0 17528 0
Current children cumulated CPU time: 3570.24 s
Current children cumulated vsize: 103976 KiB
Current children cumulated memory: 62476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.38 4.35 4.23 5/245 811875
/proc/meminfo: memFree=129734108/131655788 swapFree=131071996/131071996
[pid=809862] ppid=809859 vsize=104124 memory=63108 CPUtime=3600.05 cores=0,2
/proc/809862/stat : 809862 (pb-oll-rs) R 809859 809862 807773 0 -1 4194304 11801 0 0 0 359371 634 0 0 20 0 1 0 159536183 106622976 15777 134679101440 4194304 5384005 140725412861216 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36573184 140725412869143 140725412869220 140725412869220 140725412876235 0
/proc/809862/statm: 26031 15777 1439 291 0 17565 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 104124 KiB
Current children cumulated memory: 63108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.72 s, system=6.34724 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.07
CPU user time (s): 3593.72
CPU system time (s): 6.34724
CPU usage (%): 99.6639
Max. virtual memory (cumulated for all children) (KiB): 104124
Max. memory (cumulated for all children) (KiB): 63108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.72
system time used= 6.34724
maximum resident set size= 63180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11817
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= 19
involuntary context switches= 24654


# summary of solver processes directly reported to runsolver:
#   pid: 809862
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3593.72
#   total CPU system time (s): 6.34724

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4188 second user time and 35.3182 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-15 22:03:30
IDJOB=4435798
IDBENCH=146791
IDSOLVER=3067
FILE ID=nodeC008/4435798-1721073797
RUNJOBID= nodeC008-1721070197-807783
SLURM_JOB_ID= 7505525
Free space on /tmp= 723752 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435798-1721073797/watcher-4435798-1721073797 -o /tmp/evaluation-result-4435798-1721073797/solver-4435798-1721073797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721070197-807783 --watchdog 3760  pb-oll-rs HOME/instance-4435798-1721073797.opb

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

MD5SUM BENCH= 881f02ab7f3f3b5ffe74a08302b7945a
RANDOM SEED=588421050

nodeC008.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	: 0xb00001f
cpu MHz		: 3491.998
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3524.104
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.245
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.405
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3660.383
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3659.548
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.380
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.317
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129659848 kB
MemAvailable:   129804912 kB
Buffers:          389688 kB
Cached:           600520 kB
SwapCached:            0 kB
Active:           626640 kB
Inactive:         854324 kB
Active(anon):       1484 kB
Inactive(anon):   526972 kB
Active(file):     625156 kB
Inactive(file):   327352 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21052 kB
Writeback:             0 kB
AnonPages:        490564 kB
Mapped:           107668 kB
Shmem:             37704 kB
KReclaimable:      65176 kB
Slab:             158224 kB
SReclaimable:      65176 kB
SUnreclaim:        93048 kB
KernelStack:        3904 kB
PageTables:        10200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     867168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51040 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC008 at 2024-07-15 23:03:42