Trace number 4458126

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-19? (TO) 3600.06 3609.31

DiagnosticValue
AM1LB0
LOWERBOUND-211106232532991
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_24.opb
MD5SUM4e18c86f02508cf43f5cae5e82895ebd
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 benchmark0
Best CPU time to get the best result obtained on this benchmark0.676532
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3552
Total number of constraints5280
Number of constraints which are clauses3456
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1824
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 96
Biggest coefficient in the objective function 140737488355328
Number of bits for the biggest coefficient in the objective function 48
Sum of the numbers in the objective function 562949953421310
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 140737488355328
Number of bits of the biggest number in a constraint 48
Biggest sum of numbers in a constraint 562949953421310
Number of bits of the biggest sum of numbers49
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.05	c [STEP] solving
0.00/0.05	c #variables 3552 #constraints 7104
0.00/0.05	c SMALL=long long, LARGE=int128
0.00/0.05	c bounds - >= -281474976710655 @ 0.041896
0.00/0.05	c stratification level: 70368744177664
84.66/85.01	c bounds - >= -211106232532991 @ 0.042435
84.66/85.01	c #Conflicts:       1000 | #Constraints:       8105
84.66/85.01	c #Conflicts:       2000 | #Constraints:       9105
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:       3000 | #Constraints:       9174
84.66/85.01	c #Conflicts:       4000 | #Constraints:      10174
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:       5000 | #Constraints:       9630
84.66/85.01	c #Conflicts:       6000 | #Constraints:      10630
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:       7000 | #Constraints:       9659
84.66/85.01	c #Conflicts:       8000 | #Constraints:      10659
84.66/85.01	c #Conflicts:       9000 | #Constraints:      11659
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      10000 | #Constraints:      10387
84.66/85.01	c #Conflicts:      11000 | #Constraints:      11387
84.66/85.01	c #Conflicts:      12000 | #Constraints:      12387
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      13000 | #Constraints:      10883
84.66/85.01	c #Conflicts:      14000 | #Constraints:      11883
84.66/85.01	c #Conflicts:      15000 | #Constraints:      12883
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      16000 | #Constraints:      11127
84.66/85.01	c #Conflicts:      17000 | #Constraints:      12127
84.66/85.01	c #Conflicts:      18000 | #Constraints:      13127
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      19000 | #Constraints:      11174
84.66/85.01	c #Conflicts:      20000 | #Constraints:      12174
84.66/85.01	c #Conflicts:      21000 | #Constraints:      13174
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      22000 | #Constraints:      10991
84.66/85.01	c #Conflicts:      23000 | #Constraints:      11991
84.66/85.01	c #Conflicts:      24000 | #Constraints:      12991
84.66/85.01	c #Conflicts:      25000 | #Constraints:      13991
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      26000 | #Constraints:      11627
84.66/85.01	c #Conflicts:      27000 | #Constraints:      12627
84.66/85.01	c #Conflicts:      28000 | #Constraints:      13627
84.66/85.01	c #Conflicts:      29000 | #Constraints:      14627
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      30000 | #Constraints:      12033
84.66/85.01	c #Conflicts:      31000 | #Constraints:      13033
84.66/85.01	c #Conflicts:      32000 | #Constraints:      14033
84.66/85.01	c #Conflicts:      33000 | #Constraints:      15033
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      34000 | #Constraints:      12261
84.66/85.01	c #Conflicts:      35000 | #Constraints:      13261
84.66/85.01	c #Conflicts:      36000 | #Constraints:      14261
84.66/85.01	c #Conflicts:      37000 | #Constraints:      15261
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      38000 | #Constraints:      12273
84.66/85.01	c #Conflicts:      39000 | #Constraints:      13273
84.66/85.01	c #Conflicts:      40000 | #Constraints:      14273
84.66/85.01	c #Conflicts:      41000 | #Constraints:      15273
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      42000 | #Constraints:      12075
84.66/85.01	c #Conflicts:      43000 | #Constraints:      13075
84.66/85.01	c #Conflicts:      44000 | #Constraints:      14075
84.66/85.01	c #Conflicts:      45000 | #Constraints:      15075
84.66/85.01	c #Conflicts:      46000 | #Constraints:      16075
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      47000 | #Constraints:      12706
84.66/85.01	c #Conflicts:      48000 | #Constraints:      13706
84.66/85.01	c #Conflicts:      49000 | #Constraints:      14706
84.66/85.01	c #Conflicts:      50000 | #Constraints:      15706
84.66/85.01	c #Conflicts:      51000 | #Constraints:      16706
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      52000 | #Constraints:      13099
84.66/85.01	c #Conflicts:      53000 | #Constraints:      14099
84.66/85.01	c #Conflicts:      54000 | #Constraints:      15099
84.66/85.01	c #Conflicts:      55000 | #Constraints:      16099
84.66/85.01	c #Conflicts:      56000 | #Constraints:      17099
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      57000 | #Constraints:      13320
84.66/85.01	c #Conflicts:      58000 | #Constraints:      14320
84.66/85.01	c #Conflicts:      59000 | #Constraints:      15320
84.66/85.01	c #Conflicts:      60000 | #Constraints:      16320
84.66/85.01	c #Conflicts:      61000 | #Constraints:      17320
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      62000 | #Constraints:      13323
84.66/85.01	c #Conflicts:      63000 | #Constraints:      14323
84.66/85.01	c #Conflicts:      64000 | #Constraints:      15323
84.66/85.01	c #Conflicts:      65000 | #Constraints:      16323
84.66/85.01	c #Conflicts:      66000 | #Constraints:      17323
84.66/85.01	c INPROCESSING
84.66/85.01	c GARBAGE COLLECT
84.66/85.01	c #Conflicts:      67000 | #Constraints:      13114
912.92/915.43	c #Conflicts:      68000 | #Constraints:      14114
912.92/915.43	c #Conflicts:      69000 | #Constraints:      15114
912.92/915.43	c #Conflicts:      70000 | #Constraints:      16114
912.92/915.43	c #Conflicts:      71000 | #Constraints:      17114
912.92/915.43	c #Conflicts:      72000 | #Constraints:      18114
912.92/915.43	c INPROCESSING
912.92/915.43	c GARBAGE COLLECT
912.92/915.43	c #Conflicts:      73000 | #Constraints:      13719
912.92/915.43	c #Conflicts:      74000 | #Constraints:      14719
912.92/915.43	c #Conflicts:      75000 | #Constraints:      15719
912.92/915.43	c #Conflicts:      76000 | #Constraints:      16719
912.92/915.43	c #Conflicts:      77000 | #Constraints:      17719
912.92/915.43	c #Conflicts:      78000 | #Constraints:      18719
912.92/915.43	c INPROCESSING
912.92/915.43	c GARBAGE COLLECT
912.92/915.43	c #Conflicts:      79000 | #Constraints:      14142
912.92/915.43	c #Conflicts:      80000 | #Constraints:      15142
912.92/915.43	c #Conflicts:      81000 | #Constraints:      16142
912.92/915.43	c #Conflicts:      82000 | #Constraints:      17142
912.92/915.43	c #Conflicts:      83000 | #Constraints:      18142
912.92/915.43	c #Conflicts:      84000 | #Constraints:      19142
912.92/915.43	c INPROCESSING
912.92/915.43	c GARBAGE COLLECT
912.92/915.43	c #Conflicts:      85000 | #Constraints:      14364
912.92/915.43	c #Conflicts:      86000 | #Constraints:      15364
912.92/915.43	c #Conflicts:      87000 | #Constraints:      16364
912.92/915.43	c #Conflicts:      88000 | #Constraints:      17364
912.92/915.43	c #Conflicts:      89000 | #Constraints:      18364
912.92/915.43	c #Conflicts:      90000 | #Constraints:      19364
912.92/915.43	c #Conflicts:      91000 | #Constraints:      20364
912.92/915.43	c #Conflicts:      92000 | #Constraints:      21364
912.92/915.43	c #Conflicts:      93000 | #Constraints:      22364
912.92/915.43	c #Conflicts:      94000 | #Constraints:      23364
912.92/915.43	c #Conflicts:      95000 | #Constraints:      24364
912.92/915.43	c #Conflicts:      96000 | #Constraints:      25364
912.92/915.43	c #Conflicts:      97000 | #Constraints:      26364
912.92/915.43	c #Conflicts:      98000 | #Constraints:      27364
912.92/915.43	c #Conflicts:      99000 | #Constraints:      28364
912.92/915.43	c #Conflicts:     100000 | #Constraints:      29364
912.92/915.43	c #Conflicts:     101000 | #Constraints:      30364
912.92/915.43	c #Conflicts:     102000 | #Constraints:      31364
912.92/915.43	c #Conflicts:     103000 | #Constraints:      32364
912.92/915.43	c #Conflicts:     104000 | #Constraints:      33364
912.92/915.43	c #Conflicts:     105000 | #Constraints:      34364
912.92/915.43	c #Conflicts:     106000 | #Constraints:      35364
912.92/915.43	c #Conflicts:     107000 | #Constraints:      36364
912.92/915.43	c #Conflicts:     108000 | #Constraints:      37364
912.92/915.43	c #Conflicts:     109000 | #Constraints:      38364
912.92/915.43	c #Conflicts:     110000 | #Constraints:      39364
912.92/915.43	c INPROCESSING
912.92/915.43	c GARBAGE COLLECT
912.92/915.43	c #Conflicts:     111000 | #Constraints:      24518
912.92/915.43	c #Conflicts:     112000 | #Constraints:      25518
912.92/915.43	c #Conflicts:     113000 | #Constraints:      26518
912.92/915.43	c #Conflicts:     114000 | #Constraints:      27518
912.92/915.43	c #Conflicts:     115000 | #Constraints:      28518
912.92/915.43	c #Conflicts:     116000 | #Constraints:      29518
912.92/915.43	c #Conflicts:     117000 | #Constraints:      30518
912.92/915.43	c INPROCESSING
912.92/915.43	c GARBAGE COLLECT
912.92/915.43	c #Conflicts:     118000 | #Constraints:      19918
912.92/915.43	c #Conflicts:     119000 | #Constraints:      20918
912.92/915.43	c #Conflicts:     120000 | #Constraints:      21918
912.92/915.43	c #Conflicts:     121000 | #Constraints:      22918
912.92/915.43	c #Conflicts:     122000 | #Constraints:      23918
912.92/915.43	c #Conflicts:     123000 | #Constraints:      24918
912.92/915.43	c #Conflicts:     124000 | #Constraints:      25918
912.92/915.43	c INPROCESSING
912.92/915.43	c GARBAGE COLLECT
912.92/915.43	c #Conflicts:     125000 | #Constraints:      17386
912.92/915.43	c #Conflicts:     126000 | #Constraints:      18386
912.92/915.43	c #Conflicts:     127000 | #Constraints:      19386
912.92/915.43	c #Conflicts:     128000 | #Constraints:      20386
912.92/915.43	c #Conflicts:     129000 | #Constraints:      21386
912.92/915.43	c #Conflicts:     130000 | #Constraints:      22386
912.92/915.43	c #Conflicts:     131000 | #Constraints:      23386
912.92/915.43	c #Conflicts:     132000 | #Constraints:      24386
912.92/915.43	c INPROCESSING
912.92/915.43	c GARBAGE COLLECT
912.92/915.43	c #Conflicts:     133000 | #Constraints:      16748
912.92/915.43	c #Conflicts:     134000 | #Constraints:      17748
912.92/915.43	c #Conflicts:     135000 | #Constraints:      18748
912.92/915.43	c #Conflicts:     136000 | #Constraints:      19748
912.92/915.43	c #Conflicts:     137000 | #Constraints:      20748
912.92/915.43	c #Conflicts:     138000 | #Constraints:      21748
912.92/915.43	c #Conflicts:     139000 | #Constraints:      22748
912.92/915.43	c #Conflicts:     140000 | #Constraints:      23748
912.92/915.43	c INPROCESSING
912.92/915.43	c GARBAGE COLLECT
912.92/915.43	c #Conflicts:     141000 | #Constraints:      16485
2475.38/2481.84	c #Conflicts:     142000 | #Constraints:      17485
2475.38/2481.84	c #Conflicts:     143000 | #Constraints:      18485
2475.38/2481.84	c #Conflicts:     144000 | #Constraints:      19485
2475.38/2481.84	c #Conflicts:     145000 | #Constraints:      20485
2475.38/2481.84	c #Conflicts:     146000 | #Constraints:      21485
2475.38/2481.84	c #Conflicts:     147000 | #Constraints:      22485
2475.38/2481.84	c #Conflicts:     148000 | #Constraints:      23485
2475.38/2481.84	c INPROCESSING
2475.38/2481.84	c GARBAGE COLLECT
2475.38/2481.84	c #Conflicts:     149000 | #Constraints:      16319
2475.38/2481.84	c #Conflicts:     150000 | #Constraints:      17319
2475.38/2481.84	c #Conflicts:     151000 | #Constraints:      18319
2475.38/2481.84	c #Conflicts:     152000 | #Constraints:      19319
2475.38/2481.84	c #Conflicts:     153000 | #Constraints:      20319
2475.38/2481.84	c #Conflicts:     154000 | #Constraints:      21319
2475.38/2481.84	c #Conflicts:     155000 | #Constraints:      22319
2475.38/2481.84	c #Conflicts:     156000 | #Constraints:      23319
2475.38/2481.84	c INPROCESSING
2475.38/2481.84	c GARBAGE COLLECT
2475.38/2481.84	c #Conflicts:     157000 | #Constraints:      16057
2475.38/2481.84	c #Conflicts:     158000 | #Constraints:      17057
2475.38/2481.84	c #Conflicts:     159000 | #Constraints:      18057
2475.38/2481.84	c #Conflicts:     160000 | #Constraints:      19057
2475.38/2481.84	c #Conflicts:     161000 | #Constraints:      20057
2475.38/2481.84	c #Conflicts:     162000 | #Constraints:      21057
2475.38/2481.84	c #Conflicts:     163000 | #Constraints:      22057
2475.38/2481.84	c #Conflicts:     164000 | #Constraints:      23057
2475.38/2481.84	c #Conflicts:     165000 | #Constraints:      24057
2475.38/2481.84	c #Conflicts:     166000 | #Constraints:      25057
2475.38/2481.84	c #Conflicts:     167000 | #Constraints:      26057
2475.38/2481.84	c #Conflicts:     168000 | #Constraints:      27057
2475.38/2481.84	c #Conflicts:     169000 | #Constraints:      28057
2475.38/2481.84	c #Conflicts:     170000 | #Constraints:      29057
2475.38/2481.84	c #Conflicts:     171000 | #Constraints:      30057
2475.38/2481.84	c #Conflicts:     172000 | #Constraints:      31057
2475.38/2481.84	c #Conflicts:     173000 | #Constraints:      32057
2475.38/2481.84	c #Conflicts:     174000 | #Constraints:      33057
2475.38/2481.84	c #Conflicts:     175000 | #Constraints:      34057
2475.38/2481.84	c #Conflicts:     176000 | #Constraints:      35057
2475.38/2481.84	c #Conflicts:     177000 | #Constraints:      36057
2475.38/2481.84	c #Conflicts:     178000 | #Constraints:      37057
2475.38/2481.84	c #Conflicts:     179000 | #Constraints:      38057
2475.38/2481.84	c #Conflicts:     180000 | #Constraints:      39057
2475.38/2481.84	c #Conflicts:     181000 | #Constraints:      40057
2475.38/2481.84	c #Conflicts:     182000 | #Constraints:      41057
2475.38/2481.84	c #Conflicts:     183000 | #Constraints:      42057
2475.38/2481.84	c #Conflicts:     184000 | #Constraints:      43057
2475.38/2481.84	c #Conflicts:     185000 | #Constraints:      44057
2475.38/2481.84	c #Conflicts:     186000 | #Constraints:      45057
2475.38/2481.84	c #Conflicts:     187000 | #Constraints:      46057
2475.38/2481.84	c #Conflicts:     188000 | #Constraints:      47057
2475.38/2481.84	c #Conflicts:     189000 | #Constraints:      48057
2475.38/2481.84	c #Conflicts:     190000 | #Constraints:      49057
2475.38/2481.84	c #Conflicts:     191000 | #Constraints:      50057
2475.38/2481.84	c INPROCESSING
2475.38/2481.84	c GARBAGE COLLECT
2475.38/2481.84	c #Conflicts:     192000 | #Constraints:      29679
2475.38/2481.84	c #Conflicts:     193000 | #Constraints:      30679
2475.38/2481.84	c #Conflicts:     194000 | #Constraints:      31679
2475.38/2481.84	c #Conflicts:     195000 | #Constraints:      32679
2475.38/2481.84	c #Conflicts:     196000 | #Constraints:      33679
2475.38/2481.84	c #Conflicts:     197000 | #Constraints:      34679
2475.38/2481.84	c #Conflicts:     198000 | #Constraints:      35679
2475.38/2481.84	c #Conflicts:     199000 | #Constraints:      36679
2475.38/2481.84	c #Conflicts:     200000 | #Constraints:      37679
2475.38/2481.84	c #Conflicts:     201000 | #Constraints:      38679
2475.38/2481.84	c INPROCESSING
2475.38/2481.84	c GARBAGE COLLECT
2475.38/2481.84	c #Conflicts:     202000 | #Constraints:      24191
2475.38/2481.84	c #Conflicts:     203000 | #Constraints:      25191
2475.38/2481.84	c #Conflicts:     204000 | #Constraints:      26191
2475.38/2481.84	c #Conflicts:     205000 | #Constraints:      27191
2475.38/2481.84	c #Conflicts:     206000 | #Constraints:      28191
2475.38/2481.84	c #Conflicts:     207000 | #Constraints:      29191
2475.38/2481.84	c #Conflicts:     208000 | #Constraints:      30191
2475.38/2481.84	c #Conflicts:     209000 | #Constraints:      31191
2475.38/2481.84	c #Conflicts:     210000 | #Constraints:      32191
2475.38/2481.84	c INPROCESSING
2475.38/2481.84	c GARBAGE COLLECT
2475.38/2481.84	c #Conflicts:     211000 | #Constraints:      20524
2475.38/2481.84	c #Conflicts:     212000 | #Constraints:      21524
2475.38/2481.84	c #Conflicts:     213000 | #Constraints:      22524
2475.38/2481.84	c #Conflicts:     214000 | #Constraints:      23524
2475.38/2481.84	c #Conflicts:     215000 | #Constraints:      24524
2475.38/2481.84	c #Conflicts:     216000 | #Constraints:      25524
3600.03/3609.31	c #Conflicts:     217000 | #Constraints:      26524
3600.03/3609.31	c #Conflicts:     218000 | #Constraints:      27524
3600.03/3609.31	c #Conflicts:     219000 | #Constraints:      28524
3600.03/3609.31	c #Conflicts:     220000 | #Constraints:      29524
3600.03/3609.31	c INPROCESSING
3600.03/3609.31	c GARBAGE COLLECT
3600.03/3609.31	c #Conflicts:     221000 | #Constraints:      19215
3600.03/3609.31	c #Conflicts:     222000 | #Constraints:      20215
3600.03/3609.31	c #Conflicts:     223000 | #Constraints:      21215
3600.03/3609.31	c #Conflicts:     224000 | #Constraints:      22215
3600.03/3609.31	c #Conflicts:     225000 | #Constraints:      23215
3600.03/3609.31	c #Conflicts:     226000 | #Constraints:      24215
3600.03/3609.31	c #Conflicts:     227000 | #Constraints:      25215
3600.03/3609.31	c #Conflicts:     228000 | #Constraints:      26215
3600.03/3609.31	c #Conflicts:     229000 | #Constraints:      27215
3600.03/3609.31	c #Conflicts:     230000 | #Constraints:      28215
3600.03/3609.31	c #Conflicts:     231000 | #Constraints:      29215
3600.03/3609.31	c INPROCESSING
3600.03/3609.31	c GARBAGE COLLECT
3600.03/3609.31	c #Conflicts:     232000 | #Constraints:      19425
3600.03/3609.31	c #Conflicts:     233000 | #Constraints:      20425
3600.03/3609.31	c #Conflicts:     234000 | #Constraints:      21425
3600.03/3609.31	c #Conflicts:     235000 | #Constraints:      22425
3600.03/3609.31	c #Conflicts:     236000 | #Constraints:      23425
3600.03/3609.31	c #Conflicts:     237000 | #Constraints:      24425
3600.03/3609.31	c #Conflicts:     238000 | #Constraints:      25425
3600.03/3609.31	c #Conflicts:     239000 | #Constraints:      26425
3600.03/3609.31	c #Conflicts:     240000 | #Constraints:      27425
3600.03/3609.31	c #Conflicts:     241000 | #Constraints:      28425
3600.03/3609.31	c INPROCESSING
3600.03/3609.31	c GARBAGE COLLECT
3600.03/3609.31	c #Conflicts:     242000 | #Constraints:      18857
3600.03/3609.31	c #Conflicts:     243000 | #Constraints:      19857
3600.03/3609.31	c #Conflicts:     244000 | #Constraints:      20857
3600.03/3609.31	c #Conflicts:     245000 | #Constraints:      21857
3600.03/3609.31	c #Conflicts:     246000 | #Constraints:      22857
3600.03/3609.31	c #Conflicts:     247000 | #Constraints:      23857
3600.03/3609.31	c #Conflicts:     248000 | #Constraints:      24857
3600.03/3609.31	c #Conflicts:     249000 | #Constraints:      25857
3600.03/3609.31	c #Conflicts:     250000 | #Constraints:      26857
3600.03/3609.31	c #Conflicts:     251000 | #Constraints:      27857
3600.03/3609.31	c #Conflicts:     252000 | #Constraints:      28857
3600.03/3609.31	c #Conflicts:     253000 | #Constraints:      29857
3600.03/3609.31	c #Conflicts:     254000 | #Constraints:      30857
3600.03/3609.31	c #Conflicts:     255000 | #Constraints:      31857
3600.03/3609.31	c #Conflicts:     256000 | #Constraints:      32857
3600.03/3609.31	c #Conflicts:     257000 | #Constraints:      33857
3600.03/3609.31	c #Conflicts:     258000 | #Constraints:      34857
3600.03/3609.31	c #Conflicts:     259000 | #Constraints:      35857
3600.03/3609.31	c #Conflicts:     260000 | #Constraints:      36857
3600.03/3609.31	c #Conflicts:     261000 | #Constraints:      37857
3600.03/3609.31	c #Conflicts:     262000 | #Constraints:      38857
3600.03/3609.31	c #Conflicts:     263000 | #Constraints:      39857
3600.03/3609.31	c #Conflicts:     264000 | #Constraints:      40857
3600.03/3609.31	c #Conflicts:     265000 | #Constraints:      41857
3600.03/3609.31	c #Conflicts:     266000 | #Constraints:      42857
3600.03/3609.31	c #Conflicts:     267000 | #Constraints:      43857
3600.03/3609.31	c #Conflicts:     268000 | #Constraints:      44857
3600.03/3609.31	c #Conflicts:     269000 | #Constraints:      45857
3600.03/3609.31	c #Conflicts:     270000 | #Constraints:      46857
3600.03/3609.31	c #Conflicts:     271000 | #Constraints:      47857
3600.03/3609.31	c #Conflicts:     272000 | #Constraints:      48857
3600.03/3609.31	c #Conflicts:     273000 | #Constraints:      49857
3600.03/3609.31	c #Conflicts:     274000 | #Constraints:      50857
3600.03/3609.31	c Program interrupted by user.
3600.03/3609.31	c cpu time 3595.66 s
3600.03/3609.31	c deterministic time 276681969836 2.77e+11
3600.03/3609.31	c optimization time 828.49 s
3600.03/3609.31	c total solve time 2767.13 s
3600.03/3609.31	c core-guided solve time 2767.13 s
3600.03/3609.31	c propagation time 3285.08 s
3600.03/3609.31	c conflict analysis time 296.783 s
3600.03/3609.31	c propagations 177847517
3600.03/3609.31	c resolve steps 13473141
3600.03/3609.31	c decisions 2058980
3600.03/3609.31	c conflicts 274248
3600.03/3609.31	c restarts 637
3600.03/3609.31	c inprocessing phases 34
3600.03/3609.31	c input clauses 4896
3600.03/3609.31	c input cardinalities 0
3600.03/3609.31	c input general constraints 2209
3600.03/3609.31	c input average constraint length 3.09
3600.03/3609.31	c input average constraint degree 9904116001.29
3600.03/3609.31	c learned clauses 40967
3600.03/3609.31	c learned cardinalities 34
3600.03/3609.31	c learned general constraints 233247
3600.03/3609.31	c learned average constraint length 341.37
3600.03/3609.31	c learned average constraint degree 318530883.90
3600.03/3609.31	c watched constraints 229719
3600.03/3609.31	c counting constraints 5737
3600.03/3609.31	c gcd simplifications 13317
3600.03/3609.31	c detected cardinalities 2
3600.03/3609.31	c weakened non-implied lits 4888812
3600.03/3609.31	c weakened non-implying lits 191525
3600.03/3609.31	c original variables 3552
3600.03/3609.31	c clausal propagations 72996606
3600.03/3609.31	c cardinality propagations 375
3600.03/3609.31	c watched propagations 22626736
3600.03/3609.31	c counting propagations 82131693
3600.03/3609.31	c watch lookups 52573637914
3600.03/3609.31	c watch backjump lookups 49368855875
3600.03/3609.31	c watch checks 132214280691
3600.03/3609.31	c propagation checks 41818943151
3600.03/3609.31	c constraint additions 346165865
3600.03/3609.31	c trail pops 180179842
3600.03/3609.31	c formula constraints 7104
3600.03/3609.31	c learned constraints 274248
3600.03/3609.31	c bound constraints 1
3600.03/3609.31	c core-guided constraints 0
3600.03/3609.31	c encountered formula constraints 10009222
3600.03/3609.31	c encountered learned constraints 3738167
3600.03/3609.31	c encountered bound constraints 0
3600.03/3609.31	c encountered core-guided constraints 0
3600.03/3609.31	c LP total time 0 s
3600.03/3609.31	c LP solve time 0 s
3600.03/3609.31	c LP constraints added 0
3600.03/3609.31	c LP constraints removed 0
3600.03/3609.31	c LP pivots internal 0
3600.03/3609.31	c LP pivots root 0
3600.03/3609.31	c LP calls 0
3600.03/3609.31	c LP optimalities 0
3600.03/3609.31	c LP no pivot count 0
3600.03/3609.31	c LP infeasibilities 0
3600.03/3609.31	c LP valid Farkas constraints 0
3600.03/3609.31	c LP learned Farkas constraints 0
3600.03/3609.31	c LP basis resets 0
3600.03/3609.31	c LP cycling count 0
3600.03/3609.31	c LP singular count 0
3600.03/3609.31	c LP no primal count 0
3600.03/3609.31	c LP no farkas count 0
3600.03/3609.31	c LP other issue count 0
3600.03/3609.31	c LP Gomory cuts 0
3600.03/3609.31	c LP learned cuts 0
3600.03/3609.31	c LP deleted cuts 0
3600.03/3609.31	c LP encountered Gomory constraints 0
3600.03/3609.31	c LP encountered Farkas constraints 0
3600.03/3609.31	c LP encountered learned Farkas constraints 0
3600.03/3609.31	c CG auxiliary variables introduced 0
3600.03/3609.31	c CG solutions found 0
3600.03/3609.31	c CG cores constructed 1
3600.03/3609.31	c CG core cardinality constraints returned 0
3600.03/3609.31	c CG unit cores 0
3600.03/3609.31	c CG single cores 1
3600.03/3609.31	c CG blocks removed during cardinality reduction 0
3600.03/3609.31	c CG first core best 0
3600.03/3609.31	c CG decision core best 0
3600.03/3609.31	c CG core reduction tie 0
3600.03/3609.31	c CG core degree average 1.00
3600.03/3609.31	c CG core slack average 3.00
3600.03/3609.31	c CG exhausted 0
3600.03/3609.31	c CG exhaust time 0 s
3600.03/3609.31	c CG trimmed 0
3600.03/3609.31	c CG trim time 3.7e-05 s
3600.03/3609.31	c CG minimized 0
3600.03/3609.31	c CG minimize time 0 s
3600.03/3609.31	c CG am1 prop time 6.6e-05 s
3600.03/3609.31	c CG # am1s reformulated 0
3600.03/3609.31	c CG lower bound derived from am1s 0
3600.03/3609.31	c CG # clausal cores 1
3600.03/3609.31	c CG # cardinality cores 0
3600.03/3609.31	c CG # pb cores 0
3600.03/3609.31	c CG # pb reforms 0
3600.03/3609.31	c CG # cores discarded because of pb reform 0
3600.03/3609.31	d LOWERBOUND -211106232532991
3600.03/3609.31	d NCORES 1
3600.03/3609.31	d NPBCORES 0
3600.03/3609.31	d NPBREFORM 0
3600.03/3609.31	d NTRIMMED 0
3600.03/3609.31	d NEXHAUSTED 0
3600.03/3609.31	d NAM1S 0
3600.03/3609.31	d AM1LB 0
3600.03/3609.31	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (41468 MiB free)
  memory of node 1: 64510 MiB (55393 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458126-1721876409/watcher-4458126-1721876409 -o /tmp/evaluation-result-4458126-1721876409/solver-4458126-1721876409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721875971-215807 --watchdog 3760 pb-oll-rs HOME/instance-4458126-1721876409.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=216821, runsolver pid=216818

[startup+0.100825 s]*
/proc/loadavg: 4.53 4.23 4.20 5/244 216822
/proc/meminfo: memFree=99183444/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=40224 memory=7620 CPUtime=0.1 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 738 0 0 0 9 1 0 0 20 0 1 0 23629925 41189376 1905 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 10056 1905 1391 291 0 1590 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40224 KiB
Current children cumulated memory: 7620 KiB

[startup+0.213365 s]*
/proc/loadavg: 4.53 4.23 4.20 6/244 216822
/proc/meminfo: memFree=99182660/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=40484 memory=8548 CPUtime=0.21 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 871 0 0 0 20 1 0 0 20 0 1 0 23629925 41455616 2137 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 10121 2137 1454 291 0 1655 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40484 KiB
Current children cumulated memory: 8548 KiB

[startup+0.313153 s]*
/proc/loadavg: 4.53 4.23 4.20 5/244 216822
/proc/meminfo: memFree=99181876/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=40740 memory=9108 CPUtime=0.31 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 1019 0 0 0 29 2 0 0 20 0 1 0 23629925 41717760 2277 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 10185 2277 1454 291 0 1719 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40740 KiB
Current children cumulated memory: 9108 KiB

[startup+0.700316 s]
/proc/loadavg: 4.53 4.23 4.20 5/244 216822
/proc/meminfo: memFree=99180672/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=41552 memory=10372 CPUtime=0.68 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 1361 0 0 0 65 3 0 0 20 0 1 0 23629925 42549248 2593 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 10388 2593 1454 291 0 1922 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41552 KiB
Current children cumulated memory: 10372 KiB

[startup+1.50032 s]
/proc/loadavg: 4.53 4.23 4.20 6/244 216822
/proc/meminfo: memFree=99180000/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=42324 memory=13460 CPUtime=1.49 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 1583 0 0 0 144 5 0 0 20 0 1 0 23629925 43339776 3365 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 10581 3365 1454 291 0 2115 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42324 KiB
Current children cumulated memory: 13460 KiB

[startup+3.11296 s]
/proc/loadavg: 4.53 4.23 4.20 6/244 216822
/proc/meminfo: memFree=99173308/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=43408 memory=14500 CPUtime=3.1 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 1847 0 0 0 302 8 0 0 20 0 1 0 23629925 44449792 3625 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 10852 3625 1454 291 0 2386 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 14500 KiB

[startup+6.3003 s]
/proc/loadavg: 4.57 4.24 4.20 6/244 216822
/proc/meminfo: memFree=99170988/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=44496 memory=15732 CPUtime=6.27 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 2157 0 0 0 615 12 0 0 20 0 1 0 23629925 45563904 3933 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 11124 3933 1454 291 0 2658 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44496 KiB
Current children cumulated memory: 15732 KiB

[startup+12.7003 s]
/proc/loadavg: 4.61 4.25 4.21 6/244 216824
/proc/meminfo: memFree=99155448/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=50368 memory=21896 CPUtime=12.65 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 3243 0 0 0 1247 18 0 0 20 0 1 0 23629925 51576832 5474 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 12592 5474 1469 291 0 4126 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50368 KiB
Current children cumulated memory: 21896 KiB

[startup+25.5003 s]
/proc/loadavg: 4.92 4.34 4.24 6/244 216825
/proc/meminfo: memFree=99142328/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=57568 memory=25612 CPUtime=25.42 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 4350 0 0 0 2510 32 0 0 20 0 1 0 23629925 58949632 6403 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 14392 6403 1469 291 0 5926 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 57568 KiB
Current children cumulated memory: 25612 KiB

[startup+51.1131 s]
/proc/loadavg: 5.01 4.41 4.26 6/244 216830
/proc/meminfo: memFree=99104220/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=72684 memory=39552 CPUtime=50.97 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 6915 0 0 0 5049 48 0 0 20 0 1 0 23629925 74428416 9888 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 18171 9888 1469 291 0 9705 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 72684 KiB
Current children cumulated memory: 39552 KiB

[startup+102.3 s]
/proc/loadavg: 5.05 4.52 4.31 6/244 216850
/proc/meminfo: memFree=99081032/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=75220 memory=41980 CPUtime=102.02 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 7746 0 0 0 10124 78 0 0 20 0 1 0 23629925 77025280 10495 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 18805 10495 1469 291 0 10339 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 41980 KiB

[startup+162.3 s]
/proc/loadavg: 4.49 4.45 4.30 6/244 216861
/proc/meminfo: memFree=99041736/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=92392 memory=54872 CPUtime=161.84 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 9392 0 0 0 16081 103 0 0 20 0 1 0 23629925 94609408 13718 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 23098 13718 1469 291 0 14632 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 92392 KiB
Current children cumulated memory: 54872 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.40 4.29 7/244 216871
/proc/meminfo: memFree=99014988/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=123616 memory=81716 CPUtime=221.69 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 12536 0 0 0 22056 113 0 0 20 0 1 0 23629925 126582784 20429 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 30904 20429 1469 291 0 22438 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 123616 KiB
Current children cumulated memory: 81716 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.34 4.27 6/243 216881
/proc/meminfo: memFree=98987160/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=164600 memory=102400 CPUtime=281.54 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 15203 0 0 0 28035 119 0 0 20 0 1 0 23629925 168550400 25600 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 41150 25600 1469 291 0 32684 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 164600 KiB
Current children cumulated memory: 102400 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.31 4.26 6/242 216892
/proc/meminfo: memFree=98931356/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=180376 memory=125760 CPUtime=341.38 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 18546 0 0 0 34013 125 0 0 20 0 1 0 23629925 184705024 31440 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 45094 31440 1469 291 0 36628 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 180376 KiB
Current children cumulated memory: 125760 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.25 4.25 6/242 216903
/proc/meminfo: memFree=98914080/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=188120 memory=140732 CPUtime=401.23 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 20235 0 0 0 39991 132 0 0 20 0 1 0 23629925 192634880 35183 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 47030 35183 1469 291 0 38564 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 188120 KiB
Current children cumulated memory: 140732 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.23 4.24 6/242 216913
/proc/meminfo: memFree=98900096/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=194684 memory=152848 CPUtime=461.06 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 21744 0 0 0 45968 138 0 0 20 0 1 0 23629925 199356416 38212 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 48671 38212 1469 291 0 40205 0

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

Current children cumulated memory: 241124 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.14 6/242 217971
/proc/meminfo: memFree=98367080/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=300052 memory=241124 CPUtime=2914.82 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 33737 0 0 0 291076 406 0 0 20 0 1 0 23629925 307253248 60281 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75013 60281 1469 291 0 66547 0
Current children cumulated CPU time: 2914.82 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 241124 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.14 4.14 6/242 217983
/proc/meminfo: memFree=98364456/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=300052 memory=241124 CPUtime=2974.68 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 33808 0 0 0 297058 410 0 0 20 0 1 0 23629925 307253248 60281 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75013 60281 1469 291 0 66547 0
Current children cumulated CPU time: 2974.68 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 241124 KiB

[startup+3042.3 s]
/proc/loadavg: 4.25 4.16 4.15 7/244 217997
/proc/meminfo: memFree=98345016/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=300052 memory=255996 CPUtime=3034.53 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 33821 0 0 0 303039 414 0 0 20 0 1 0 23629925 307253248 63999 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75013 63999 1469 291 0 66547 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 255996 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.14 6/244 218008
/proc/meminfo: memFree=98340436/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=300052 memory=255996 CPUtime=3094.39 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 33917 0 0 0 309020 419 0 0 20 0 1 0 23629925 307253248 63999 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75013 63999 1469 291 0 66547 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 255996 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.14 6/244 218019
/proc/meminfo: memFree=98336128/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=300052 memory=255996 CPUtime=3154.24 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 33920 0 0 0 315002 422 0 0 20 0 1 0 23629925 307253248 63999 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75013 63999 1469 291 0 66547 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 255996 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.14 6/244 218121
/proc/meminfo: memFree=99801568/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=300052 memory=255996 CPUtime=3214.11 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 34023 0 0 0 320986 425 0 0 20 0 1 0 23629925 307253248 63999 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75013 63999 1469 291 0 66547 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 255996 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.14 6/243 218131
/proc/meminfo: memFree=99747988/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=300052 memory=255996 CPUtime=3273.97 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 34026 0 0 0 326970 427 0 0 20 0 1 0 23629925 307253248 63999 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75013 63999 1469 291 0 66547 0
Current children cumulated CPU time: 3273.97 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 255996 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/243 218570
/proc/meminfo: memFree=99873244/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=300052 memory=255996 CPUtime=3333.8 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 34136 0 0 0 332951 429 0 0 20 0 1 0 23629925 307253248 63999 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75013 63999 1469 291 0 66547 0
Current children cumulated CPU time: 3333.8 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 255996 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/243 218581
/proc/meminfo: memFree=99847848/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=300052 memory=255996 CPUtime=3393.63 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 34138 0 0 0 338932 431 0 0 20 0 1 0 23629925 307253248 63999 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75013 63999 1469 291 0 66547 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 255996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/243 218591
/proc/meminfo: memFree=99821816/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=300832 memory=256364 CPUtime=3453.45 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 34360 0 0 0 344912 433 0 0 20 0 1 0 23629925 308051968 64091 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75208 64091 1469 291 0 66742 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 300832 KiB
Current children cumulated memory: 256364 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/244 218771
/proc/meminfo: memFree=99816168/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=301344 memory=256536 CPUtime=3513.28 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 34448 0 0 0 350893 435 0 0 20 0 1 0 23629925 308576256 64134 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75336 64134 1469 291 0 66870 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 301344 KiB
Current children cumulated memory: 256536 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/244 218783
/proc/meminfo: memFree=99802628/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=302304 memory=257224 CPUtime=3573.11 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 34677 0 0 0 356873 438 0 0 20 0 1 0 23629925 309559296 64306 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75576 64306 1469 291 0 67110 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 302304 KiB
Current children cumulated memory: 257224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/244 218792
/proc/meminfo: memFree=99797492/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=302752 memory=257384 CPUtime=3600.03 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 34751 0 0 0 359564 439 0 0 20 0 1 0 23629925 310018048 64346 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75688 64346 1469 291 0 67222 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 302752 KiB
Current children cumulated memory: 257384 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.66 s, system=4.39944 s

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

[startup+3609.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/244 218792
/proc/meminfo: memFree=99797492/131655788 swapFree=131062644/131071996
[pid=216821] ppid=216818 vsize=302752 memory=257384 CPUtime=3600.03 cores=4,6
/proc/216821/stat : 216821 (pb-oll-rs) R 216818 216821 215796 0 -1 4194304 34751 0 0 0 359564 439 0 0 20 0 1 0 23629925 310018048 64346 134679101440 4194304 5384485 140729603950944 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6303744 140729603953687 140729603953764 140729603953764 140729603960779 0
/proc/216821/statm: 75688 64346 1469 291 0 67222 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 302752 KiB
Current children cumulated memory: 257384 KiB

Child status: 0

Real time (s): 3609.31
CPU time (s): 3600.06
CPU user time (s): 3595.66
CPU system time (s): 4.39944
CPU usage (%): 99.7436
Max. virtual memory (cumulated for all children) (KiB): 302752
Max. memory (cumulated for all children) (KiB): 257384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.66
system time used= 4.39944
maximum resident set size= 257384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34766
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= 78
involuntary context switches= 2544


# summary of solver processes directly reported to runsolver:
#   pid: 216821
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3595.66
#   total CPU system time (s): 4.39944

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8244 second user time and 36.5163 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-25 05:00:09
IDJOB=4458126
IDBENCH=177145
IDSOLVER=3082
FILE ID=nodeC003/4458126-1721876409
RUNJOBID= nodeC003-1721875971-215807
SLURM_JOB_ID= 8089247
Free space on /tmp= 723776 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_24.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458126-1721876409/watcher-4458126-1721876409 -o /tmp/evaluation-result-4458126-1721876409/solver-4458126-1721876409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721875971-215807 --watchdog 3760  pb-oll-rs HOME/instance-4458126-1721876409.opb

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

MD5SUM BENCH= 4e18c86f02508cf43f5cae5e82895ebd
RANDOM SEED=1775809716

nodeC003.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		: 3554.601
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	: 6984.09
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		: 3514.095
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.464
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	: 6984.09
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.296
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		: 3492.071
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	: 6984.09
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		: 3554.081
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.281
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	: 6984.09
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.373
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:        99186332 kB
MemAvailable:   128701684 kB
Buffers:          292528 kB
Cached:         29770668 kB
SwapCached:          968 kB
Active:          2485096 kB
Inactive:       28985860 kB
Active(anon):       2592 kB
Inactive(anon):  1458324 kB
Active(file):    2482504 kB
Inactive(file): 27527536 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062644 kB
Dirty:              1880 kB
Writeback:             0 kB
AnonPages:       1405188 kB
Mapped:           114072 kB
Shmem:             53440 kB
KReclaimable:     567056 kB
Slab:             681032 kB
SReclaimable:     567056 kB
SUnreclaim:       113976 kB
KernelStack:        3932 kB
PageTables:        12884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2025548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    712704 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC003 at 2024-07-25 06:00:18