Trace number 4458073

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02? (TO) 3600.09 3609.02

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458073-1721868855/watcher-4458073-1721868855 -o /tmp/evaluation-result-4458073-1721868855/solver-4458073-1721868855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256777 --watchdog 3760 pb-oll-rs HOME/instance-4458073-1721868855.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_64SLinux 4.18.0-301.1.el8.x86_64Starting watchdog threadl
Current StackSize limit: 8192 KiB

solver pid=259253, runsolver pid=259250

[startup+0.100105 s]*
/proc/loadavg: 4.23 4.17 4.07 5/242 259254
/proc/meminfo: memFree=113646940/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=39692 memory=7416 CPUtime=0.1 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 620 0 0 0 10 0 0 0 20 0 1 0 22874881 40644608 1854 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 9923 1854 1411 291 0 1457 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39692 KiB
Current children cumulated memory: 7416 KiB

[startup+0.212984 s]*
/proc/loadavg: 4.23 4.17 4.07 6/242 259254
/proc/meminfo: memFree=113645456/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=39956 memory=7944 CPUtime=0.21 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 787 0 0 0 21 0 0 0 20 0 1 0 22874881 40914944 1986 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 9989 1986 1411 291 0 1523 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39956 KiB
Current children cumulated memory: 7944 KiB

[startup+0.313065 s]*
/proc/loadavg: 4.23 4.17 4.07 5/242 259254
/proc/meminfo: memFree=113644644/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=40088 memory=8712 CPUtime=0.32 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 887 0 0 0 31 1 0 0 20 0 1 0 22874881 41050112 2178 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 10022 2178 1475 291 0 1556 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 40088 KiB
Current children cumulated memory: 8712 KiB

[startup+0.700317 s]
/proc/loadavg: 4.23 4.17 4.07 5/242 259254
/proc/meminfo: memFree=113644504/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=40608 memory=9568 CPUtime=0.69 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 1117 0 0 0 68 1 0 0 20 0 1 0 22874881 41582592 2392 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 10152 2392 1475 291 0 1686 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 9568 KiB

[startup+1.50031 s]
/proc/loadavg: 4.23 4.17 4.07 5/242 259254
/proc/meminfo: memFree=113640684/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=41736 memory=13044 CPUtime=1.48 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 1440 0 0 0 146 2 0 0 20 0 1 0 22874881 42737664 3261 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 10434 3261 1475 291 0 1968 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41736 KiB
Current children cumulated memory: 13044 KiB

[startup+3.11254 s]
/proc/loadavg: 4.21 4.17 4.07 5/242 259254
/proc/meminfo: memFree=113638768/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=43064 memory=14140 CPUtime=3.09 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 1763 0 0 0 306 3 0 0 20 0 1 0 22874881 44097536 3535 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 10766 3535 1475 291 0 2300 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43064 KiB
Current children cumulated memory: 14140 KiB

[startup+6.3003 s]
/proc/loadavg: 4.21 4.17 4.07 5/242 259254
/proc/meminfo: memFree=113637432/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=47100 memory=16060 CPUtime=6.27 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 2240 0 0 0 621 6 0 0 20 0 1 0 22874881 48230400 4015 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 11775 4015 1475 291 0 3309 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47100 KiB
Current children cumulated memory: 16060 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.16 4.07 5/242 259255
/proc/meminfo: memFree=113632556/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=48056 memory=19364 CPUtime=12.66 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 2575 0 0 0 1256 10 0 0 20 0 1 0 22874881 49209344 4841 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 12014 4841 1475 291 0 3548 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 48056 KiB
Current children cumulated memory: 19364 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.15 4.07 5/242 259257
/proc/meminfo: memFree=113608172/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=50104 memory=21620 CPUtime=25.43 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 3204 0 0 0 2522 21 0 0 20 0 1 0 22874881 51306496 5405 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 12526 5405 1475 291 0 4060 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 50104 KiB
Current children cumulated memory: 21620 KiB

[startup+51.1127 s]
/proc/loadavg: 4.40 4.21 4.09 5/242 259643
/proc/meminfo: memFree=113538892/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=57684 memory=27252 CPUtime=50.97 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 4179 0 0 0 5064 33 0 0 20 0 1 0 22874881 59068416 6813 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 14421 6813 1475 291 0 5955 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 57684 KiB
Current children cumulated memory: 27252 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.20 4.09 5/239 259653
/proc/meminfo: memFree=113426100/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=72148 memory=39696 CPUtime=102.01 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 6358 0 0 0 10151 50 0 0 20 0 1 0 22874881 73879552 9924 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 18037 9924 1475 291 0 9571 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 72148 KiB
Current children cumulated memory: 39696 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.20 4.09 5/239 259663
/proc/meminfo: memFree=113380420/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=94852 memory=59048 CPUtime=161.86 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 9134 0 0 0 16125 61 0 0 20 0 1 0 22874881 97128448 14762 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 23713 14762 1475 291 0 15247 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 94852 KiB
Current children cumulated memory: 59048 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.17 4.09 5/239 259674
/proc/meminfo: memFree=113196860/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=121376 memory=71036 CPUtime=221.69 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 11111 0 0 0 22102 67 0 0 20 0 1 0 22874881 124289024 17759 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 30344 17759 1475 291 0 21878 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 121376 KiB
Current children cumulated memory: 71036 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.09 5/241 259854
/proc/meminfo: memFree=113112296/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=128648 memory=83480 CPUtime=281.53 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 12668 0 0 0 28081 72 0 0 20 0 1 0 22874881 131735552 20870 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 32162 20870 1475 291 0 23696 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 128648 KiB
Current children cumulated memory: 83480 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/241 259911
/proc/meminfo: memFree=113273992/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=132596 memory=90704 CPUtime=341.38 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 13515 0 0 0 34060 78 0 0 20 0 1 0 22874881 135778304 22676 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 33149 22676 1475 291 0 24683 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 132596 KiB
Current children cumulated memory: 90704 KiB

[startup+402.3 s]
/proc/loadavg: 4.63 4.28 4.14 5/240 259923
/proc/meminfo: memFree=113227892/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=134552 memory=94428 CPUtime=401.22 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 13914 0 0 0 40037 85 0 0 20 0 1 0 22874881 137781248 23607 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 33638 23607 1475 291 0 25172 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 134552 KiB
Current children cumulated memory: 94428 KiB

[startup+462.3 s]
/proc/loadavg: 4.49 4.32 4.16 5/241 259947
/proc/meminfo: memFree=113189124/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=134528 memory=99272 CPUtime=461.04 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 13998 0 0 0 46011 93 0 0 20 0 1 0 22874881 137756672 24818 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 33632 24818 1475 291 0 25166 0
Current children cumulated CPU time: 461.04 s

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

Current children cumulated memory: 140748 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/241 261007
/proc/meminfo: memFree=112527628/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=190444 memory=140748 CPUtime=2855.13 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 21608 0 0 0 285252 261 0 0 20 0 1 0 22874881 195014656 35187 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 47611 35187 1475 291 0 39145 0
Current children cumulated CPU time: 2855.13 s
Current children cumulated vsize: 190444 KiB
Current children cumulated memory: 140748 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/241 261018
/proc/meminfo: memFree=112527276/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=190444 memory=140748 CPUtime=2915 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 21655 0 0 0 291237 263 0 0 20 0 1 0 22874881 195014656 35187 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 47611 35187 1475 291 0 39145 0
Current children cumulated CPU time: 2915 s
Current children cumulated vsize: 190444 KiB
Current children cumulated memory: 140748 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.16 4.17 5/241 261028
/proc/meminfo: memFree=112521296/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=190444 memory=140748 CPUtime=2974.86 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 21703 0 0 0 297221 265 0 0 20 0 1 0 22874881 195014656 35187 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 47611 35187 1475 291 0 39145 0
Current children cumulated CPU time: 2974.86 s
Current children cumulated vsize: 190444 KiB
Current children cumulated memory: 140748 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/242 261039
/proc/meminfo: memFree=112520924/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=190444 memory=140748 CPUtime=3034.73 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 21753 0 0 0 303206 267 0 0 20 0 1 0 22874881 195014656 35187 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 47611 35187 1475 291 0 39145 0
Current children cumulated CPU time: 3034.73 s
Current children cumulated vsize: 190444 KiB
Current children cumulated memory: 140748 KiB

[startup+3102.3 s]
/proc/loadavg: 4.60 4.27 4.21 5/239 261051
/proc/meminfo: memFree=112520488/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=190444 memory=140748 CPUtime=3094.59 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 21804 0 0 0 309190 269 0 0 20 0 1 0 22874881 195014656 35187 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 47611 35187 1475 291 0 39145 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 190444 KiB
Current children cumulated memory: 140748 KiB

[startup+3162.3 s]
/proc/loadavg: 4.41 4.29 4.22 5/239 261061
/proc/meminfo: memFree=112514496/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=190444 memory=146288 CPUtime=3154.44 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 21871 0 0 0 315173 271 0 0 20 0 1 0 22874881 195014656 36572 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 47611 36572 1475 291 0 39145 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 190444 KiB
Current children cumulated memory: 146288 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.27 4.21 5/239 261071
/proc/meminfo: memFree=112512176/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=190868 memory=146372 CPUtime=3214.3 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 21993 0 0 0 321157 273 0 0 20 0 1 0 22874881 195448832 36593 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 47717 36593 1475 291 0 39251 0
Current children cumulated CPU time: 3214.3 s
Current children cumulated vsize: 190868 KiB
Current children cumulated memory: 146372 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.23 4.20 5/239 261081
/proc/meminfo: memFree=112498808/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=192336 memory=147332 CPUtime=3274.15 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 22285 0 0 0 327139 276 0 0 20 0 1 0 22874881 196952064 36833 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 48084 36833 1475 291 0 39618 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 192336 KiB
Current children cumulated memory: 147332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.20 4.19 5/238 261092
/proc/meminfo: memFree=112494840/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=194048 memory=150164 CPUtime=3334.01 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 22694 0 0 0 333123 278 0 0 20 0 1 0 22874881 198705152 37541 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 48512 37541 1475 291 0 40046 0
Current children cumulated CPU time: 3334.01 s
Current children cumulated vsize: 194048 KiB
Current children cumulated memory: 150164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.21 4.19 5/241 261108
/proc/meminfo: memFree=112490280/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=196392 memory=153296 CPUtime=3393.87 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 23209 0 0 0 339107 280 0 0 20 0 1 0 22874881 201105408 38324 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 49098 38324 1475 291 0 40632 0
Current children cumulated CPU time: 3393.87 s
Current children cumulated vsize: 196392 KiB
Current children cumulated memory: 153296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/241 261119
/proc/meminfo: memFree=112485648/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=198356 memory=156296 CPUtime=3453.73 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 23677 0 0 0 345090 283 0 0 20 0 1 0 22874881 203116544 39074 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 49589 39074 1475 291 0 41123 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 198356 KiB
Current children cumulated memory: 156296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/241 261174
/proc/meminfo: memFree=113618524/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=200832 memory=159512 CPUtime=3513.58 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 24233 0 0 0 351072 286 0 0 20 0 1 0 22874881 205651968 39878 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 50208 39878 1475 291 0 41742 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 200832 KiB
Current children cumulated memory: 159512 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 261229
/proc/meminfo: memFree=113895600/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=203124 memory=165868 CPUtime=3573.42 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 24718 0 0 0 357054 288 0 0 20 0 1 0 22874881 207998976 41467 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 50781 41467 1475 291 0 42315 0
Current children cumulated CPU time: 3573.42 s
Current children cumulated vsize: 203124 KiB
Current children cumulated memory: 165868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.14 4.16 4.17 5/241 261236
/proc/meminfo: memFree=113879892/131655788 swapFree=131061124/131071996
[pid=259253] ppid=259250 vsize=204204 memory=172008 CPUtime=3600.07 cores=4,6
/proc/259253/stat : 259253 (pb-oll-rs) R 259250 259253 256766 0 -1 4194304 24977 0 0 0 359719 288 0 0 20 0 1 0 22874881 209104896 43002 134679101440 4194304 5384005 140723821181808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 38019072 140723821184027 140723821184104 140723821184104 140723821191115 0
/proc/259253/statm: 51051 43002 1475 291 0 42585 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 204204 KiB
Current children cumulated memory: 172008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.2 s, system=2.89035 s

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

Child status: 0

Real time (s): 3609.02
CPU time (s): 3600.09
CPU user time (s): 3597.2
CPU system time (s): 2.89035
CPU usage (%): 99.7525
Max. virtual memory (cumulated for all children) (KiB): 204204
Max. memory (cumulated for all children) (KiB): 172008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.2
system time used= 2.89035
maximum resident set size= 172388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24994
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= 69
involuntary context switches= 2692


# summary of solver processes directly reported to runsolver:
#   pid: 259253
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3597.2
#   total CPU system time (s): 2.89035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4044 second user time and 33.3954 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 02:54:15
IDJOB=4458073
IDBENCH=177128
IDSOLVER=3067
FILE ID=nodeC005/4458073-1721868855
RUNJOBID= nodeC005-1721865124-256777
SLURM_JOB_ID= 8089204
Free space on /tmp= 723776 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4458073-1721868855/watcher-4458073-1721868855 -o /tmp/evaluation-result-4458073-1721868855/solver-4458073-1721868855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256777 --watchdog 3760  pb-oll-rs HOME/instance-4458073-1721868855.opb

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

MD5SUM BENCH= fdf899240a62c27f3e34a480d900809b
RANDOM SEED=2104489027

nodeC005.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		: 3642.014
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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		: 3627.271
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.287
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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.196
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		: 3491.603
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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		: 3538.316
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.116
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
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.226
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:        113649128 kB
MemAvailable:   129185300 kB
Buffers:          279336 kB
Cached:         16032228 kB
SwapCached:          620 kB
Active:          2532628 kB
Inactive:       14814884 kB
Active(anon):       1608 kB
Inactive(anon):  1087644 kB
Active(file):    2531020 kB
Inactive(file): 13727240 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:              2120 kB
Writeback:             0 kB
AnonPages:       1035296 kB
Mapped:           122492 kB
Shmem:             53264 kB
KReclaimable:     235888 kB
Slab:             346724 kB
SReclaimable:     235888 kB
SUnreclaim:       110836 kB
KernelStack:        3872 kB
PageTables:        11760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1470876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    415744 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-25 03:54:24