Trace number 4458087

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.09 3609.7

DiagnosticValue
AM1LB0
LOWERBOUND-805306367
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_15.opb
MD5SUMfdf899240a62c27f3e34a480d900809b
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.077126
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1410
Total number of constraints2085
Number of constraints which are clauses1350
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints735
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 60
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 2147483646
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147483646
Number of bits of the biggest sum of numbers31
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.02	c [STEP] solving
0.00/0.02	c #variables 1410 #constraints 2820
0.00/0.02	c SMALL=int, LARGE=long long
0.00/0.02	c bounds - >= -1073741823 @ 0.013748
0.00/0.02	c stratification level: 268435456
103.90/104.28	c bounds - >= -805306367 @ 0.014187
103.90/104.28	c #Conflicts:       1000 | #Constraints:       3821
103.90/104.28	c #Conflicts:       2000 | #Constraints:       4821
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:       3000 | #Constraints:       4854
103.90/104.28	c #Conflicts:       4000 | #Constraints:       5854
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:       5000 | #Constraints:       5286
103.90/104.28	c #Conflicts:       6000 | #Constraints:       6286
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:       7000 | #Constraints:       5326
103.90/104.28	c #Conflicts:       8000 | #Constraints:       6326
103.90/104.28	c #Conflicts:       9000 | #Constraints:       7326
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      10000 | #Constraints:       6049
103.90/104.28	c #Conflicts:      11000 | #Constraints:       7049
103.90/104.28	c #Conflicts:      12000 | #Constraints:       8049
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      13000 | #Constraints:       6507
103.90/104.28	c #Conflicts:      14000 | #Constraints:       7507
103.90/104.28	c #Conflicts:      15000 | #Constraints:       8507
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      16000 | #Constraints:       6740
103.90/104.28	c #Conflicts:      17000 | #Constraints:       7740
103.90/104.28	c #Conflicts:      18000 | #Constraints:       8740
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      19000 | #Constraints:       6775
103.90/104.28	c #Conflicts:      20000 | #Constraints:       7775
103.90/104.28	c #Conflicts:      21000 | #Constraints:       8775
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      22000 | #Constraints:       6575
103.90/104.28	c #Conflicts:      23000 | #Constraints:       7575
103.90/104.28	c #Conflicts:      24000 | #Constraints:       8575
103.90/104.28	c #Conflicts:      25000 | #Constraints:       9575
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      26000 | #Constraints:       7203
103.90/104.28	c #Conflicts:      27000 | #Constraints:       8203
103.90/104.28	c #Conflicts:      28000 | #Constraints:       9203
103.90/104.28	c #Conflicts:      29000 | #Constraints:      10203
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      30000 | #Constraints:       7617
103.90/104.28	c #Conflicts:      31000 | #Constraints:       8617
103.90/104.28	c #Conflicts:      32000 | #Constraints:       9617
103.90/104.28	c #Conflicts:      33000 | #Constraints:      10617
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      34000 | #Constraints:       7829
103.90/104.28	c #Conflicts:      35000 | #Constraints:       8829
103.90/104.28	c #Conflicts:      36000 | #Constraints:       9829
103.90/104.28	c #Conflicts:      37000 | #Constraints:      10829
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      38000 | #Constraints:       7854
103.90/104.28	c #Conflicts:      39000 | #Constraints:       8854
103.90/104.28	c #Conflicts:      40000 | #Constraints:       9854
103.90/104.28	c #Conflicts:      41000 | #Constraints:      10854
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      42000 | #Constraints:       7627
103.90/104.28	c #Conflicts:      43000 | #Constraints:       8627
103.90/104.28	c #Conflicts:      44000 | #Constraints:       9627
103.90/104.28	c #Conflicts:      45000 | #Constraints:      10627
103.90/104.28	c #Conflicts:      46000 | #Constraints:      11627
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      47000 | #Constraints:       8246
103.90/104.28	c #Conflicts:      48000 | #Constraints:       9246
103.90/104.28	c #Conflicts:      49000 | #Constraints:      10246
103.90/104.28	c #Conflicts:      50000 | #Constraints:      11246
103.90/104.28	c #Conflicts:      51000 | #Constraints:      12246
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      52000 | #Constraints:       8645
103.90/104.28	c #Conflicts:      53000 | #Constraints:       9645
103.90/104.28	c #Conflicts:      54000 | #Constraints:      10645
103.90/104.28	c #Conflicts:      55000 | #Constraints:      11645
103.90/104.28	c #Conflicts:      56000 | #Constraints:      12645
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      57000 | #Constraints:       8826
103.90/104.28	c #Conflicts:      58000 | #Constraints:       9826
103.90/104.28	c #Conflicts:      59000 | #Constraints:      10826
103.90/104.28	c #Conflicts:      60000 | #Constraints:      11826
103.90/104.28	c #Conflicts:      61000 | #Constraints:      12826
103.90/104.28	c INPROCESSING
103.90/104.28	c GARBAGE COLLECT
103.90/104.28	c #Conflicts:      62000 | #Constraints:       8848
103.90/104.28	c #Conflicts:      63000 | #Constraints:       9848
103.90/104.28	c #Conflicts:      64000 | #Constraints:      10848
103.90/104.28	c #Conflicts:      65000 | #Constraints:      11848
103.90/104.28	c #Conflicts:      66000 | #Constraints:      12848
103.90/104.28	c #Conflicts:      67000 | #Constraints:      13848
103.90/104.28	c #Conflicts:      68000 | #Constraints:      14848
1166.03/1169.22	c #Conflicts:      69000 | #Constraints:      15848
1166.03/1169.22	c #Conflicts:      70000 | #Constraints:      16848
1166.03/1169.22	c #Conflicts:      71000 | #Constraints:      17848
1166.03/1169.22	c #Conflicts:      72000 | #Constraints:      18848
1166.03/1169.22	c #Conflicts:      73000 | #Constraints:      19848
1166.03/1169.22	c #Conflicts:      74000 | #Constraints:      20848
1166.03/1169.22	c #Conflicts:      75000 | #Constraints:      21848
1166.03/1169.22	c #Conflicts:      76000 | #Constraints:      22848
1166.03/1169.22	c #Conflicts:      77000 | #Constraints:      23848
1166.03/1169.22	c #Conflicts:      78000 | #Constraints:      24848
1166.03/1169.22	c #Conflicts:      79000 | #Constraints:      25848
1166.03/1169.22	c #Conflicts:      80000 | #Constraints:      26848
1166.03/1169.22	c #Conflicts:      81000 | #Constraints:      27848
1166.03/1169.22	c #Conflicts:      82000 | #Constraints:      28848
1166.03/1169.22	c INPROCESSING
1166.03/1169.22	c GARBAGE COLLECT
1166.03/1169.22	c #Conflicts:      83000 | #Constraints:      16553
1166.03/1169.22	c #Conflicts:      84000 | #Constraints:      17553
1166.03/1169.22	c #Conflicts:      85000 | #Constraints:      18553
1166.03/1169.22	c #Conflicts:      86000 | #Constraints:      19553
1166.03/1169.22	c #Conflicts:      87000 | #Constraints:      20553
1166.03/1169.22	c #Conflicts:      88000 | #Constraints:      21553
1166.03/1169.22	c #Conflicts:      89000 | #Constraints:      22553
1166.03/1169.22	c INPROCESSING
1166.03/1169.22	c GARBAGE COLLECT
1166.03/1169.22	c #Conflicts:      90000 | #Constraints:      13662
1166.03/1169.22	c #Conflicts:      91000 | #Constraints:      14662
1166.03/1169.22	c #Conflicts:      92000 | #Constraints:      15662
1166.03/1169.22	c #Conflicts:      93000 | #Constraints:      16662
1166.03/1169.22	c #Conflicts:      94000 | #Constraints:      17662
1166.03/1169.22	c #Conflicts:      95000 | #Constraints:      18662
1166.03/1169.22	c #Conflicts:      96000 | #Constraints:      19662
1166.03/1169.22	c INPROCESSING
1166.03/1169.22	c GARBAGE COLLECT
1166.03/1169.22	c #Conflicts:      97000 | #Constraints:      12369
1166.03/1169.22	c #Conflicts:      98000 | #Constraints:      13369
1166.03/1169.22	c #Conflicts:      99000 | #Constraints:      14369
1166.03/1169.22	c #Conflicts:     100000 | #Constraints:      15369
1166.03/1169.22	c #Conflicts:     101000 | #Constraints:      16369
1166.03/1169.22	c #Conflicts:     102000 | #Constraints:      17369
1166.03/1169.22	c INPROCESSING
1166.03/1169.22	c GARBAGE COLLECT
1166.03/1169.22	c #Conflicts:     103000 | #Constraints:      10775
1166.03/1169.22	c #Conflicts:     104000 | #Constraints:      11775
1166.03/1169.22	c #Conflicts:     105000 | #Constraints:      12775
1166.03/1169.22	c #Conflicts:     106000 | #Constraints:      13775
1166.03/1169.22	c #Conflicts:     107000 | #Constraints:      14775
1166.03/1169.22	c #Conflicts:     108000 | #Constraints:      15775
1166.03/1169.22	c #Conflicts:     109000 | #Constraints:      16775
1166.03/1169.22	c #Conflicts:     110000 | #Constraints:      17775
1166.03/1169.22	c #Conflicts:     111000 | #Constraints:      18775
1166.03/1169.22	c #Conflicts:     112000 | #Constraints:      19775
1166.03/1169.22	c #Conflicts:     113000 | #Constraints:      20775
1166.03/1169.22	c #Conflicts:     114000 | #Constraints:      21775
1166.03/1169.22	c #Conflicts:     115000 | #Constraints:      22775
1166.03/1169.22	c #Conflicts:     116000 | #Constraints:      23775
1166.03/1169.22	c #Conflicts:     117000 | #Constraints:      24775
1166.03/1169.22	c #Conflicts:     118000 | #Constraints:      25775
1166.03/1169.22	c #Conflicts:     119000 | #Constraints:      26775
1166.03/1169.22	c #Conflicts:     120000 | #Constraints:      27775
1166.03/1169.22	c #Conflicts:     121000 | #Constraints:      28775
1166.03/1169.22	c #Conflicts:     122000 | #Constraints:      29775
1166.03/1169.22	c #Conflicts:     123000 | #Constraints:      30775
1166.03/1169.22	c #Conflicts:     124000 | #Constraints:      31775
1166.03/1169.22	c #Conflicts:     125000 | #Constraints:      32775
1166.03/1169.22	c #Conflicts:     126000 | #Constraints:      33775
1166.03/1169.22	c #Conflicts:     127000 | #Constraints:      34775
1166.03/1169.22	c #Conflicts:     128000 | #Constraints:      35775
1166.03/1169.22	c #Conflicts:     129000 | #Constraints:      36775
1166.03/1169.22	c INPROCESSING
1166.03/1169.22	c GARBAGE COLLECT
1166.03/1169.22	c #Conflicts:     130000 | #Constraints:      20527
1166.03/1169.22	c #Conflicts:     131000 | #Constraints:      21527
1166.03/1169.22	c #Conflicts:     132000 | #Constraints:      22527
1166.03/1169.22	c #Conflicts:     133000 | #Constraints:      23527
1166.03/1169.22	c #Conflicts:     134000 | #Constraints:      24527
1166.03/1169.22	c #Conflicts:     135000 | #Constraints:      25527
1166.03/1169.22	c #Conflicts:     136000 | #Constraints:      26527
1166.03/1169.22	c #Conflicts:     137000 | #Constraints:      27527
1166.03/1169.22	c #Conflicts:     138000 | #Constraints:      28527
1166.03/1169.22	c INPROCESSING
1166.03/1169.22	c GARBAGE COLLECT
1166.03/1169.22	c #Conflicts:     139000 | #Constraints:      16813
1166.03/1169.22	c #Conflicts:     140000 | #Constraints:      17813
1166.03/1169.22	c #Conflicts:     141000 | #Constraints:      18813
1166.03/1169.22	c #Conflicts:     142000 | #Constraints:      19813
1166.03/1169.22	c #Conflicts:     143000 | #Constraints:      20813
3052.39/3060.59	c #Conflicts:     144000 | #Constraints:      21813
3052.39/3060.59	c #Conflicts:     145000 | #Constraints:      22813
3052.39/3060.59	c #Conflicts:     146000 | #Constraints:      23813
3052.39/3060.59	c INPROCESSING
3052.39/3060.59	c GARBAGE COLLECT
3052.39/3060.59	c #Conflicts:     147000 | #Constraints:      14250
3052.39/3060.59	c #Conflicts:     148000 | #Constraints:      15250
3052.39/3060.59	c #Conflicts:     149000 | #Constraints:      16250
3052.39/3060.59	c #Conflicts:     150000 | #Constraints:      17250
3052.39/3060.59	c #Conflicts:     151000 | #Constraints:      18250
3052.39/3060.59	c #Conflicts:     152000 | #Constraints:      19250
3052.39/3060.59	c #Conflicts:     153000 | #Constraints:      20250
3052.39/3060.59	c #Conflicts:     154000 | #Constraints:      21250
3052.39/3060.59	c #Conflicts:     155000 | #Constraints:      22250
3052.39/3060.59	c #Conflicts:     156000 | #Constraints:      23250
3052.39/3060.59	c #Conflicts:     157000 | #Constraints:      24250
3052.39/3060.59	c #Conflicts:     158000 | #Constraints:      25250
3052.39/3060.59	c #Conflicts:     159000 | #Constraints:      26250
3052.39/3060.59	c #Conflicts:     160000 | #Constraints:      27250
3052.39/3060.59	c #Conflicts:     161000 | #Constraints:      28250
3052.39/3060.59	c #Conflicts:     162000 | #Constraints:      29250
3052.39/3060.59	c #Conflicts:     163000 | #Constraints:      30250
3052.39/3060.59	c #Conflicts:     164000 | #Constraints:      31250
3052.39/3060.59	c #Conflicts:     165000 | #Constraints:      32250
3052.39/3060.59	c #Conflicts:     166000 | #Constraints:      33250
3052.39/3060.59	c #Conflicts:     167000 | #Constraints:      34250
3052.39/3060.59	c #Conflicts:     168000 | #Constraints:      35250
3052.39/3060.59	c #Conflicts:     169000 | #Constraints:      36250
3052.39/3060.59	c #Conflicts:     170000 | #Constraints:      37250
3052.39/3060.59	c #Conflicts:     171000 | #Constraints:      38250
3052.39/3060.59	c #Conflicts:     172000 | #Constraints:      39250
3052.39/3060.59	c #Conflicts:     173000 | #Constraints:      40250
3052.39/3060.59	c #Conflicts:     174000 | #Constraints:      41250
3052.39/3060.59	c #Conflicts:     175000 | #Constraints:      42250
3052.39/3060.59	c #Conflicts:     176000 | #Constraints:      43250
3052.39/3060.59	c #Conflicts:     177000 | #Constraints:      44250
3052.39/3060.59	c INPROCESSING
3052.39/3060.59	c GARBAGE COLLECT
3052.39/3060.59	c #Conflicts:     178000 | #Constraints:      24434
3052.39/3060.59	c #Conflicts:     179000 | #Constraints:      25434
3052.39/3060.59	c #Conflicts:     180000 | #Constraints:      26434
3052.39/3060.59	c #Conflicts:     181000 | #Constraints:      27434
3052.39/3060.59	c #Conflicts:     182000 | #Constraints:      28434
3052.39/3060.59	c #Conflicts:     183000 | #Constraints:      29434
3052.39/3060.59	c #Conflicts:     184000 | #Constraints:      30434
3052.39/3060.59	c #Conflicts:     185000 | #Constraints:      31434
3052.39/3060.59	c #Conflicts:     186000 | #Constraints:      32434
3052.39/3060.59	c #Conflicts:     187000 | #Constraints:      33434
3052.39/3060.59	c INPROCESSING
3052.39/3060.59	c GARBAGE COLLECT
3052.39/3060.59	c #Conflicts:     188000 | #Constraints:      19156
3052.39/3060.59	c #Conflicts:     189000 | #Constraints:      20156
3052.39/3060.59	c #Conflicts:     190000 | #Constraints:      21156
3052.39/3060.59	c #Conflicts:     191000 | #Constraints:      22156
3052.39/3060.59	c #Conflicts:     192000 | #Constraints:      23156
3052.39/3060.59	c #Conflicts:     193000 | #Constraints:      24156
3052.39/3060.59	c #Conflicts:     194000 | #Constraints:      25156
3052.39/3060.59	c #Conflicts:     195000 | #Constraints:      26156
3052.39/3060.59	c #Conflicts:     196000 | #Constraints:      27156
3052.39/3060.59	c #Conflicts:     197000 | #Constraints:      28156
3052.39/3060.59	c INPROCESSING
3052.39/3060.59	c GARBAGE COLLECT
3052.39/3060.59	c #Conflicts:     198000 | #Constraints:      16588
3052.39/3060.59	c #Conflicts:     199000 | #Constraints:      17588
3052.39/3060.59	c #Conflicts:     200000 | #Constraints:      18588
3052.39/3060.59	c #Conflicts:     201000 | #Constraints:      19588
3052.39/3060.59	c #Conflicts:     202000 | #Constraints:      20588
3052.39/3060.59	c #Conflicts:     203000 | #Constraints:      21588
3052.39/3060.59	c #Conflicts:     204000 | #Constraints:      22588
3052.39/3060.59	c #Conflicts:     205000 | #Constraints:      23588
3052.39/3060.59	c #Conflicts:     206000 | #Constraints:      24588
3052.39/3060.59	c #Conflicts:     207000 | #Constraints:      25588
3052.39/3060.59	c #Conflicts:     208000 | #Constraints:      26588
3052.39/3060.59	c #Conflicts:     209000 | #Constraints:      27588
3052.39/3060.59	c #Conflicts:     210000 | #Constraints:      28588
3052.39/3060.59	c #Conflicts:     211000 | #Constraints:      29588
3052.39/3060.59	c #Conflicts:     212000 | #Constraints:      30588
3052.39/3060.59	c #Conflicts:     213000 | #Constraints:      31588
3052.39/3060.59	c #Conflicts:     214000 | #Constraints:      32588
3052.39/3060.59	c #Conflicts:     215000 | #Constraints:      33588
3052.39/3060.59	c #Conflicts:     216000 | #Constraints:      34588
3052.39/3060.59	c #Conflicts:     217000 | #Constraints:      35588
3052.39/3060.59	c #Conflicts:     218000 | #Constraints:      36588
3052.39/3060.59	c #Conflicts:     219000 | #Constraints:      37588
3600.08/3609.70	c #Conflicts:     220000 | #Constraints:      38588
3600.08/3609.70	c #Conflicts:     221000 | #Constraints:      39588
3600.08/3609.70	c #Conflicts:     222000 | #Constraints:      40588
3600.08/3609.70	c #Conflicts:     223000 | #Constraints:      41588
3600.08/3609.70	c #Conflicts:     224000 | #Constraints:      42588
3600.08/3609.70	c #Conflicts:     225000 | #Constraints:      43588
3600.08/3609.70	c #Conflicts:     226000 | #Constraints:      44588
3600.08/3609.70	c #Conflicts:     227000 | #Constraints:      45588
3600.08/3609.70	c #Conflicts:     228000 | #Constraints:      46588
3600.08/3609.70	c #Conflicts:     229000 | #Constraints:      47588
3600.08/3609.70	c #Conflicts:     230000 | #Constraints:      48588
3600.08/3609.70	c #Conflicts:     231000 | #Constraints:      49588
3600.08/3609.70	c Program interrupted by user.
3600.08/3609.70	c cpu time 3596.69 s
3600.08/3609.70	c deterministic time 239548117326 2.40e+11
3600.08/3609.70	c optimization time 1083.22 s
3600.08/3609.70	c total solve time 2513.45 s
3600.08/3609.70	c core-guided solve time 2513.45 s
3600.08/3609.70	c propagation time 3219.64 s
3600.08/3609.70	c conflict analysis time 368.601 s
3600.08/3609.70	c propagations 80961233
3600.08/3609.70	c resolve steps 11157661
3600.08/3609.70	c decisions 1051313
3600.08/3609.70	c conflicts 231274
3600.08/3609.70	c restarts 517
3600.08/3609.70	c inprocessing phases 27
3600.08/3609.70	c input clauses 1980
3600.08/3609.70	c input cardinalities 0
3600.08/3609.70	c input general constraints 841
3600.08/3609.70	c input average constraint length 3.05
3600.08/3609.70	c input average constraint degree 95157.72
3600.08/3609.70	c learned clauses 43608
3600.08/3609.70	c learned cardinalities 19
3600.08/3609.70	c learned general constraints 187647
3600.08/3609.70	c learned average constraint length 214.71
3600.08/3609.70	c learned average constraint degree 152703947.08
3600.08/3609.70	c watched constraints 185955
3600.08/3609.70	c counting constraints 2533
3600.08/3609.70	c gcd simplifications 10750
3600.08/3609.70	c detected cardinalities 2
3600.08/3609.70	c weakened non-implied lits 4349985
3600.08/3609.70	c weakened non-implying lits 69953
3600.08/3609.70	c original variables 1410
3600.08/3609.70	c clausal propagations 35728636
3600.08/3609.70	c cardinality propagations 1130
3600.08/3609.70	c watched propagations 11940722
3600.08/3609.70	c counting propagations 33202856
3600.08/3609.70	c watch lookups 59302749653
3600.08/3609.70	c watch backjump lookups 55534931412
3600.08/3609.70	c watch checks 99513177469
3600.08/3609.70	c propagation checks 24806233078
3600.08/3609.70	c constraint additions 226770065
3600.08/3609.70	c trail pops 82243102
3600.08/3609.70	c formula constraints 2820
3600.08/3609.70	c learned constraints 231274
3600.08/3609.70	c bound constraints 1
3600.08/3609.70	c core-guided constraints 0
3600.08/3609.70	c encountered formula constraints 8024396
3600.08/3609.70	c encountered learned constraints 3364539
3600.08/3609.70	c encountered bound constraints 0
3600.08/3609.70	c encountered core-guided constraints 0
3600.08/3609.70	c LP total time 0 s
3600.08/3609.70	c LP solve time 0 s
3600.08/3609.70	c LP constraints added 0
3600.08/3609.70	c LP constraints removed 0
3600.08/3609.70	c LP pivots internal 0
3600.08/3609.70	c LP pivots root 0
3600.08/3609.70	c LP calls 0
3600.08/3609.70	c LP optimalities 0
3600.08/3609.70	c LP no pivot count 0
3600.08/3609.70	c LP infeasibilities 0
3600.08/3609.70	c LP valid Farkas constraints 0
3600.08/3609.70	c LP learned Farkas constraints 0
3600.08/3609.70	c LP basis resets 0
3600.08/3609.70	c LP cycling count 0
3600.08/3609.70	c LP singular count 0
3600.08/3609.70	c LP no primal count 0
3600.08/3609.70	c LP no farkas count 0
3600.08/3609.70	c LP other issue count 0
3600.08/3609.70	c LP Gomory cuts 0
3600.08/3609.70	c LP learned cuts 0
3600.08/3609.70	c LP deleted cuts 0
3600.08/3609.70	c LP encountered Gomory constraints 0
3600.08/3609.70	c LP encountered Farkas constraints 0
3600.08/3609.70	c LP encountered learned Farkas constraints 0
3600.08/3609.70	c CG auxiliary variables introduced 0
3600.08/3609.70	c CG solutions found 0
3600.08/3609.70	c CG cores constructed 1
3600.08/3609.70	c CG core cardinality constraints returned 0
3600.08/3609.70	c CG unit cores 0
3600.08/3609.70	c CG single cores 1
3600.08/3609.70	c CG blocks removed during cardinality reduction 0
3600.08/3609.70	c CG first core best 0
3600.08/3609.70	c CG decision core best 0
3600.08/3609.70	c CG core reduction tie 0
3600.08/3609.70	c CG core degree average 1.00
3600.08/3609.70	c CG core slack average 3.00
3600.08/3609.70	c CG exhausted 0
3600.08/3609.70	c CG exhaust time 0 s
3600.08/3609.70	c CG trimmed 0
3600.08/3609.70	c CG trim time 3.9e-05 s
3600.08/3609.70	c CG minimized 0
3600.08/3609.70	c CG minimize time 0 s
3600.08/3609.70	c CG am1 prop time 4.5e-05 s
3600.08/3609.70	c CG # am1s reformulated 0
3600.08/3609.70	c CG lower bound derived from am1s 0
3600.08/3609.70	c CG # clausal cores 1
3600.08/3609.70	c CG # cardinality cores 0
3600.08/3609.70	c CG # pb cores 0
3600.08/3609.70	c CG # pb reforms 0
3600.08/3609.70	c CG # cores discarded because of pb reform 0
3600.08/3609.70	d LOWERBOUND -805306367
3600.08/3609.70	d NCORES 1
3600.08/3609.70	d NPBCORES 0
3600.08/3609.70	d NPBREFORM 0
3600.08/3609.70	d NTRIMMED 0
3600.08/3609.70	d NEXHAUSTED 0
3600.08/3609.70	d NAM1S 0
3600.08/3609.70	d AM1LB 0
3600.08/3609.70	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 (41638 MiB free)
  memory of node 1: 64510 MiB (55532 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=216164, runsolver pid=216161

[startup+0.100745 s]*
/proc/loadavg: 4.05 4.11 4.17 6/244 216165
/proc/meminfo: memFree=99501668/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=39432 memory=6576 CPUtime=0.1 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 489 0 0 0 9 1 0 0 20 0 1 0 23597924 40378368 1644 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 9858 1644 1374 291 0 1392 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39432 KiB
Current children cumulated memory: 6576 KiB

[startup+0.213259 s]*
/proc/loadavg: 4.05 4.11 4.17 5/244 216165
/proc/meminfo: memFree=99498780/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=39692 memory=9320 CPUtime=0.21 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 662 0 0 0 20 1 0 0 20 0 1 0 23597924 40644608 2330 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 9923 2330 1374 291 0 1457 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39692 KiB
Current children cumulated memory: 9320 KiB

[startup+0.31329 s]*
/proc/loadavg: 4.05 4.11 4.17 5/244 216165
/proc/meminfo: memFree=99498656/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=39956 memory=9640 CPUtime=0.3 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 725 0 0 0 29 1 0 0 20 0 1 0 23597924 40914944 2410 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 9989 2410 1390 291 0 1523 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39956 KiB
Current children cumulated memory: 9640 KiB

[startup+0.70028 s]
/proc/loadavg: 4.05 4.11 4.17 6/244 216165
/proc/meminfo: memFree=99497968/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=40348 memory=10408 CPUtime=0.68 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 806 0 0 0 66 2 0 0 20 0 1 0 23597924 41316352 2602 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 10087 2602 1452 291 0 1621 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 10408 KiB

[startup+1.50033 s]
/proc/loadavg: 4.05 4.11 4.17 5/244 216165
/proc/meminfo: memFree=99497312/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=41736 memory=11880 CPUtime=1.47 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 1168 0 0 0 144 3 0 0 20 0 1 0 23597924 42737664 2970 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 10434 2970 1452 291 0 1968 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 41736 KiB
Current children cumulated memory: 11880 KiB

[startup+3.1128 s]
/proc/loadavg: 4.12 4.12 4.17 5/244 216165
/proc/meminfo: memFree=99493756/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=43064 memory=14032 CPUtime=3.09 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 1718 0 0 0 304 5 0 0 20 0 1 0 23597924 44097536 3508 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 10766 3508 1452 291 0 2300 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43064 KiB
Current children cumulated memory: 14032 KiB

[startup+6.30032 s]
/proc/loadavg: 4.12 4.12 4.17 5/244 216165
/proc/meminfo: memFree=99490476/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=44236 memory=15680 CPUtime=6.27 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 2167 0 0 0 619 8 0 0 20 0 1 0 23597924 45297664 3920 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 11059 3920 1452 291 0 2593 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44236 KiB
Current children cumulated memory: 15680 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.17 5/244 216167
/proc/meminfo: memFree=99488152/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=48056 memory=17668 CPUtime=12.65 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 2679 0 0 0 1252 13 0 0 20 0 1 0 23597924 49209344 4417 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 12014 4417 1452 291 0 3548 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 48056 KiB
Current children cumulated memory: 17668 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.11 4.17 5/244 216552
/proc/meminfo: memFree=99465436/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=50104 memory=21532 CPUtime=25.41 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 3708 0 0 0 2516 25 0 0 20 0 1 0 23597924 51306496 5383 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 12526 5383 1452 291 0 4060 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 50104 KiB
Current children cumulated memory: 21532 KiB

[startup+51.1129 s]
/proc/loadavg: 4.13 4.12 4.17 5/244 216557
/proc/meminfo: memFree=99398576/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=58564 memory=28664 CPUtime=50.97 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 5090 0 0 0 5059 38 0 0 20 0 1 0 23597924 59969536 7166 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 14641 7166 1452 291 0 6175 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 58564 KiB
Current children cumulated memory: 28664 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.17 5/243 216566
/proc/meminfo: memFree=99291772/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=73108 memory=41332 CPUtime=102 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 7293 0 0 0 10144 56 0 0 20 0 1 0 23597924 74862592 10333 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 18277 10333 1452 291 0 9811 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 73108 KiB
Current children cumulated memory: 41332 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.17 5/244 216577
/proc/meminfo: memFree=99238252/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=95620 memory=60724 CPUtime=161.84 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 10054 0 0 0 16119 65 0 0 20 0 1 0 23597924 97914880 15181 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 23905 15181 1452 291 0 15439 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 95620 KiB
Current children cumulated memory: 60724 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.17 5/244 216755
/proc/meminfo: memFree=99068112/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=122228 memory=72976 CPUtime=221.66 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 12130 0 0 0 22094 72 0 0 20 0 1 0 23597924 125161472 18244 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 30557 18244 1452 291 0 22091 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 122228 KiB
Current children cumulated memory: 72976 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.17 5/244 216766
/proc/meminfo: memFree=98955612/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=128912 memory=84624 CPUtime=281.49 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 13512 0 0 0 28071 78 0 0 20 0 1 0 23597924 132005888 21156 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 32228 21156 1452 291 0 23762 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 128912 KiB
Current children cumulated memory: 84624 KiB

[startup+342.3 s]
/proc/loadavg: 4.82 4.31 4.23 5/244 216825
/proc/meminfo: memFree=99146928/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=133388 memory=92372 CPUtime=341.32 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 14422 0 0 0 34048 84 0 0 20 0 1 0 23597924 136589312 23093 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 33347 23093 1452 291 0 24881 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 133388 KiB
Current children cumulated memory: 92372 KiB

[startup+402.3 s]
/proc/loadavg: 5.07 4.49 4.29 5/244 216847
/proc/meminfo: memFree=99091248/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=134552 memory=93264 CPUtime=401.16 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 14670 0 0 0 40024 92 0 0 20 0 1 0 23597924 137781248 23316 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 33638 23316 1452 291 0 25172 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 134552 KiB
Current children cumulated memory: 93264 KiB

[startup+462.3 s]
/proc/loadavg: 4.59 4.47 4.30 5/244 216857
/proc/meminfo: memFree=99055268/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=134528 memory=97076 CPUtime=460.97 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 14747 0 0 0 45998 99 0 0 20 0 1 0 23597924 137756672 24269 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 33632 24269 1452 291 0 25166 0

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

Current children cumulated memory: 141980 KiB

[startup+2922.3 s]
/proc/loadavg: 4.27 4.16 4.16 5/244 217916
/proc/meminfo: memFree=98378984/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=190444 memory=141980 CPUtime=2914.54 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 21923 0 0 0 291153 301 0 0 20 0 1 0 23597924 195014656 35495 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 47611 35495 1452 291 0 39145 0
Current children cumulated CPU time: 2914.54 s
Current children cumulated vsize: 190444 KiB
Current children cumulated memory: 141980 KiB

[startup+2982.3 s]
/proc/loadavg: 4.20 4.16 4.16 5/244 217926
/proc/meminfo: memFree=98378692/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=190444 memory=141980 CPUtime=2974.39 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 21971 0 0 0 297134 305 0 0 20 0 1 0 23597924 195014656 35495 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 47611 35495 1452 291 0 39145 0
Current children cumulated CPU time: 2974.39 s
Current children cumulated vsize: 190444 KiB
Current children cumulated memory: 141980 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/242 217937
/proc/meminfo: memFree=98372552/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=190444 memory=141980 CPUtime=3034.24 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 22023 0 0 0 303115 309 0 0 20 0 1 0 23597924 195014656 35495 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 47611 35495 1452 291 0 39145 0
Current children cumulated CPU time: 3034.24 s
Current children cumulated vsize: 190444 KiB
Current children cumulated memory: 141980 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/242 217948
/proc/meminfo: memFree=98372344/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=190444 memory=141980 CPUtime=3094.08 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 22074 0 0 0 309095 313 0 0 20 0 1 0 23597924 195014656 35495 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 47611 35495 1452 291 0 39145 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 190444 KiB
Current children cumulated memory: 141980 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/242 217958
/proc/meminfo: memFree=98371908/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=190444 memory=142048 CPUtime=3153.92 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 22146 0 0 0 315077 315 0 0 20 0 1 0 23597924 195014656 35512 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 47611 35512 1452 291 0 39145 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 190444 KiB
Current children cumulated memory: 142048 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/242 217968
/proc/meminfo: memFree=98367680/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=191028 memory=145468 CPUtime=3213.76 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 22283 0 0 0 321057 319 0 0 20 0 1 0 23597924 195612672 36367 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 47757 36367 1452 291 0 39291 0
Current children cumulated CPU time: 3213.76 s
Current children cumulated vsize: 191028 KiB
Current children cumulated memory: 145468 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/242 217979
/proc/meminfo: memFree=98365144/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=192720 memory=147068 CPUtime=3273.6 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 22616 0 0 0 327039 321 0 0 20 0 1 0 23597924 197345280 36767 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 48180 36767 1452 291 0 39714 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 192720 KiB
Current children cumulated memory: 147068 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/244 217994
/proc/meminfo: memFree=98345612/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=194300 memory=150040 CPUtime=3333.42 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 23023 0 0 0 333018 324 0 0 20 0 1 0 23597924 198963200 37510 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 48575 37510 1452 291 0 40109 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 194300 KiB
Current children cumulated memory: 150040 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.15 4.15 5/244 218005
/proc/meminfo: memFree=98341048/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=197224 memory=153692 CPUtime=3393.26 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 23650 0 0 0 338998 328 0 0 20 0 1 0 23597924 201957376 38423 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 49306 38423 1452 291 0 40840 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 197224 KiB
Current children cumulated memory: 153692 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/244 218016
/proc/meminfo: memFree=98336964/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=198356 memory=156196 CPUtime=3453.1 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 24007 0 0 0 344979 331 0 0 20 0 1 0 23597924 203116544 39049 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 49589 39049 1452 291 0 41123 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 198356 KiB
Current children cumulated memory: 156196 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/244 218072
/proc/meminfo: memFree=99489868/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=201336 memory=159776 CPUtime=3512.94 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 24701 0 0 0 350959 335 0 0 20 0 1 0 23597924 206168064 39944 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 50334 39944 1452 291 0 41868 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 201336 KiB
Current children cumulated memory: 159776 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.15 4.14 6/244 218127
/proc/meminfo: memFree=99761772/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=203948 memory=163240 CPUtime=3572.76 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 25219 0 0 0 356939 337 0 0 20 0 1 0 23597924 208842752 40810 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 50987 40810 1452 291 0 42521 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 203948 KiB
Current children cumulated memory: 163240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.12 4.13 4.13 6/243 218132
/proc/meminfo: memFree=99740656/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=205092 memory=165852 CPUtime=3600.08 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 25503 0 0 0 359668 340 0 0 20 0 1 0 23597924 210014208 41463 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 51273 41463 1452 291 0 42807 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 205092 KiB
Current children cumulated memory: 165852 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.69 s, system=3.40375 s

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

[startup+3609.7 s]
/proc/loadavg: 4.12 4.13 4.13 6/243 218132
/proc/meminfo: memFree=99740656/131655788 swapFree=131062644/131071996
[pid=216164] ppid=216161 vsize=205092 memory=165852 CPUtime=3600.08 cores=1,3
/proc/216164/stat : 216164 (pb-oll-rs) R 216161 216164 215796 0 -1 4194304 25503 0 0 0 359668 340 0 0 20 0 1 0 23597924 210014208 41463 134679101440 4194304 5384485 140732439573440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 22466560 140732439581719 140732439581796 140732439581796 140732439588811 0
/proc/216164/statm: 51273 41463 1452 291 0 42807 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 205092 KiB
Current children cumulated memory: 165852 KiB

Child status: 0

Real time (s): 3609.7
CPU time (s): 3600.09
CPU user time (s): 3596.69
CPU system time (s): 3.40375
CPU usage (%): 99.7337
Max. virtual memory (cumulated for all children) (KiB): 205092
Max. memory (cumulated for all children) (KiB): 165852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.69
system time used= 3.40375
maximum resident set size= 166124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25519
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= 60
involuntary context switches= 2776


# summary of solver processes directly reported to runsolver:
#   pid: 216164
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3596.69
#   total CPU system time (s): 3.40375

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8077 second user time and 36.43 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-25 04:54:49
IDJOB=4458087
IDBENCH=177128
IDSOLVER=3082
FILE ID=nodeC003/4458087-1721876089
RUNJOBID= nodeC003-1721875971-215808
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_15.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458087-1721876089/watcher-4458087-1721876089 -o /tmp/evaluation-result-4458087-1721876089/solver-4458087-1721876089 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721875971-215808 --watchdog 3760  pb-oll-rs HOME/instance-4458087-1721876089.opb

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

MD5SUM BENCH= fdf899240a62c27f3e34a480d900809b
RANDOM SEED=1645781306

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		: 3545.367
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		: 3492.067
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.432
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.276
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		: 3665.961
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		: 3645.490
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.623
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.344
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:        99503460 kB
MemAvailable:   129016984 kB
Buffers:          292228 kB
Cached:         29769048 kB
SwapCached:          968 kB
Active:          2484556 kB
Inactive:       28670048 kB
Active(anon):       2592 kB
Inactive(anon):  1143848 kB
Active(file):    2481964 kB
Inactive(file): 27526200 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062644 kB
Dirty:              1864 kB
Writeback:             8 kB
AnonPages:       1092172 kB
Mapped:           113900 kB
Shmem:             53440 kB
KReclaimable:     567104 kB
Slab:             681064 kB
SReclaimable:     567104 kB
SUnreclaim:       113960 kB
KernelStack:        3984 kB
PageTables:        11880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1637696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 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 05:54:59