Trace number 4458112

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.04 3612.12

DiagnosticValue
AM1LB0
LOWERBOUND-211106232532991
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_24.opb
MD5SUM4e18c86f02508cf43f5cae5e82895ebd
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.676532
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3552
Total number of constraints5280
Number of constraints which are clauses3456
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1824
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 96
Biggest coefficient in the objective function 140737488355328
Number of bits for the biggest coefficient in the objective function 48
Sum of the numbers in the objective function 562949953421310
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 140737488355328
Number of bits of the biggest number in a constraint 48
Biggest sum of numbers in a constraint 562949953421310
Number of bits of the biggest sum of numbers49
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458112-1721869162/watcher-4458112-1721869162 -o /tmp/evaluation-result-4458112-1721869162/solver-4458112-1721869162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256776 --watchdog 3760 pb-oll-rs HOME/instance-4458112-1721869162.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=259904, runsolver pid=259901

[startup+0.100102 s]*
/proc/loadavg: 4.11 4.16 4.09 5/241 259905
/proc/meminfo: memFree=113336668/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=40352 memory=10028 CPUtime=0.1 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 772 0 0 0 10 0 0 0 20 0 1 0 22905575 41320448 2507 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 10088 2507 1419 291 0 1622 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40352 KiB
Current children cumulated memory: 10028 KiB

[startup+0.213069 s]*
/proc/loadavg: 4.11 4.16 4.09 5/241 259905
/proc/meminfo: memFree=113334116/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=40740 memory=10560 CPUtime=0.21 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 879 0 0 0 21 0 0 0 20 0 1 0 22905575 41717760 2640 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 10185 2640 1419 291 0 1719 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40740 KiB
Current children cumulated memory: 10560 KiB

[startup+0.312896 s]*
/proc/loadavg: 4.11 4.16 4.09 5/241 259905
/proc/meminfo: memFree=113333668/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=41000 memory=10820 CPUtime=0.32 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 952 0 0 0 31 1 0 0 20 0 1 0 22905575 41984000 2705 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 10250 2705 1419 291 0 1784 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 41000 KiB
Current children cumulated memory: 10820 KiB

[startup+0.700329 s]
/proc/loadavg: 4.11 4.16 4.09 5/241 259906
/proc/meminfo: memFree=113333140/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=41552 memory=11344 CPUtime=0.69 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 1086 0 0 0 68 1 0 0 20 0 1 0 22905575 42549248 2836 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 10388 2836 1419 291 0 1922 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41552 KiB
Current children cumulated memory: 11344 KiB

[startup+1.5003 s]
/proc/loadavg: 4.11 4.16 4.09 5/241 259906
/proc/meminfo: memFree=113332072/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=42884 memory=13052 CPUtime=1.48 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 1557 0 0 0 146 2 0 0 20 0 1 0 22905575 43913216 3263 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 10721 3263 1419 291 0 2255 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42884 KiB
Current children cumulated memory: 13052 KiB

[startup+3.11273 s]
/proc/loadavg: 4.11 4.16 4.09 5/241 259906
/proc/meminfo: memFree=113329272/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=43672 memory=14104 CPUtime=3.09 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 1761 0 0 0 304 5 0 0 20 0 1 0 22905575 44720128 3526 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 10918 3526 1419 291 0 2452 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43672 KiB
Current children cumulated memory: 14104 KiB

[startup+6.3003 s]
/proc/loadavg: 4.10 4.15 4.09 5/241 259906
/proc/meminfo: memFree=113323616/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=47532 memory=16180 CPUtime=6.27 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 2336 0 0 0 616 11 0 0 20 0 1 0 22905575 48672768 4045 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 11883 4045 1419 291 0 3417 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47532 KiB
Current children cumulated memory: 16180 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.15 4.09 5/241 259908
/proc/meminfo: memFree=113313736/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=50368 memory=21692 CPUtime=12.64 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 3737 0 0 0 1247 17 0 0 20 0 1 0 22905575 51576832 5423 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 12592 5423 1430 291 0 4126 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 50368 KiB
Current children cumulated memory: 21692 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.14 4.09 5/241 259910
/proc/meminfo: memFree=113297280/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=57700 memory=26252 CPUtime=25.39 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 5063 0 0 0 2510 29 0 0 20 0 1 0 22905575 59084800 6563 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 14425 6563 1430 291 0 5959 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 57700 KiB
Current children cumulated memory: 26252 KiB

[startup+51.1129 s]
/proc/loadavg: 4.18 4.16 4.10 5/241 259916
/proc/meminfo: memFree=113252080/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=72684 memory=40276 CPUtime=50.9 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 7639 0 0 0 5046 44 0 0 20 0 1 0 22905575 74428416 10069 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 18171 10069 1430 291 0 9705 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 72684 KiB
Current children cumulated memory: 40276 KiB

[startup+102.3 s]
/proc/loadavg: 4.69 4.31 4.15 5/241 259938
/proc/meminfo: memFree=113225784/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=75220 memory=42704 CPUtime=101.88 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 8469 0 0 0 10113 75 0 0 20 0 1 0 22905575 77025280 10676 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 18805 10676 1430 291 0 10339 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 42704 KiB

[startup+162.3 s]
/proc/loadavg: 4.42 4.31 4.16 5/241 259949
/proc/meminfo: memFree=113183236/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=93832 memory=56720 CPUtime=161.64 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 10375 0 0 0 16064 100 0 0 20 0 1 0 22905575 96083968 14180 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 23458 14180 1430 291 0 14992 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 93832 KiB
Current children cumulated memory: 56720 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.27 4.16 5/241 259960
/proc/meminfo: memFree=113155936/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=124816 memory=85492 CPUtime=221.43 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 13494 0 0 0 22033 110 0 0 20 0 1 0 22905575 127811584 21373 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 31204 21373 1430 291 0 22738 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 124816 KiB
Current children cumulated memory: 85492 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.25 4.16 5/240 259970
/proc/meminfo: memFree=113132916/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=165960 memory=106400 CPUtime=281.23 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 16197 0 0 0 28006 117 0 0 20 0 1 0 22905575 169943040 26600 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 41490 26600 1430 291 0 33024 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 165960 KiB
Current children cumulated memory: 106400 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.21 4.15 5/239 259980
/proc/meminfo: memFree=113097648/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=183256 memory=129024 CPUtime=341.04 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 19856 0 0 0 33980 124 0 0 20 0 1 0 22905575 187654144 32256 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 45814 32256 1430 291 0 37348 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 183256 KiB
Current children cumulated memory: 129024 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.19 4.14 5/239 259991
/proc/meminfo: memFree=113056160/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=188664 memory=142128 CPUtime=400.84 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 21091 0 0 0 39952 132 0 0 20 0 1 0 22905575 193191936 35532 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 47166 35532 1430 291 0 38700 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 188664 KiB
Current children cumulated memory: 142128 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/240 260002
/proc/meminfo: memFree=113044116/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=195644 memory=154504 CPUtime=460.63 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 22652 0 0 0 45926 137 0 0 20 0 1 0 22905575 200339456 38626 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 48911 38626 1430 291 0 40445 0

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

Current children cumulated memory: 240716 KiB

[startup+2922.3 s]
/proc/loadavg: 4.22 4.26 4.21 5/239 261073
/proc/meminfo: memFree=112512040/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=300052 memory=248836 CPUtime=2912.55 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 34697 0 0 0 290852 403 0 0 20 0 1 0 22905575 307253248 62209 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 75013 62209 1430 291 0 66547 0
Current children cumulated CPU time: 2912.55 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 248836 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.22 4.20 5/239 261083
/proc/meminfo: memFree=112498816/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=300052 memory=254508 CPUtime=2972.36 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 34789 0 0 0 296830 406 0 0 20 0 1 0 22905575 307253248 63627 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 75013 63627 1430 291 0 66547 0
Current children cumulated CPU time: 2972.36 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 254508 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/241 261099
/proc/meminfo: memFree=112494704/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=300052 memory=254508 CPUtime=3032.18 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 34792 0 0 0 302808 410 0 0 20 0 1 0 22905575 307253248 63627 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 75013 63627 1430 291 0 66547 0
Current children cumulated CPU time: 3032.18 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 254508 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.20 4.19 5/241 261110
/proc/meminfo: memFree=112490028/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=300052 memory=254508 CPUtime=3091.98 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 34893 0 0 0 308786 412 0 0 20 0 1 0 22905575 307253248 63627 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 75013 63627 1430 291 0 66547 0
Current children cumulated CPU time: 3091.98 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 254508 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/241 261121
/proc/meminfo: memFree=112485528/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=300052 memory=254508 CPUtime=3151.8 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 34896 0 0 0 314765 415 0 0 20 0 1 0 22905575 307253248 63627 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 75013 63627 1430 291 0 66547 0
Current children cumulated CPU time: 3151.8 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 254508 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/241 261176
/proc/meminfo: memFree=113606472/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=300052 memory=254508 CPUtime=3211.61 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 35003 0 0 0 320743 418 0 0 20 0 1 0 22905575 307253248 63627 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 75013 63627 1430 291 0 66547 0
Current children cumulated CPU time: 3211.61 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 254508 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/241 261231
/proc/meminfo: memFree=113888752/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=300052 memory=254508 CPUtime=3271.42 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 35006 0 0 0 326721 421 0 0 20 0 1 0 22905575 307253248 63627 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 75013 63627 1430 291 0 66547 0
Current children cumulated CPU time: 3271.42 s
Current children cumulated vsize: 300052 KiB
Current children cumulated memory: 254508 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/240 261672
/proc/meminfo: memFree=114005896/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=300832 memory=254764 CPUtime=3331.2 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 35227 0 0 0 332697 423 0 0 20 0 1 0 22905575 308051968 63691 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 75208 63691 1430 291 0 66742 0
Current children cumulated CPU time: 3331.2 s
Current children cumulated vsize: 300832 KiB
Current children cumulated memory: 254764 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/240 261682
/proc/meminfo: memFree=113958544/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=301792 memory=256048 CPUtime=3390.98 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 35358 0 0 0 338673 425 0 0 20 0 1 0 22905575 309035008 64012 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 75448 64012 1430 291 0 66982 0
Current children cumulated CPU time: 3390.98 s
Current children cumulated vsize: 301792 KiB
Current children cumulated memory: 256048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/240 261692
/proc/meminfo: memFree=113930348/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=302560 memory=256376 CPUtime=3450.76 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 35577 0 0 0 344650 426 0 0 20 0 1 0 22905575 309821440 64094 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 75640 64094 1430 291 0 67174 0
Current children cumulated CPU time: 3450.76 s
Current children cumulated vsize: 302560 KiB
Current children cumulated memory: 256376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 261874
/proc/meminfo: memFree=113889032/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=304160 memory=257424 CPUtime=3510.53 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 35822 0 0 0 350625 428 0 0 20 0 1 0 22905575 311459840 64356 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 76040 64356 1430 291 0 67574 0
Current children cumulated CPU time: 3510.53 s
Current children cumulated vsize: 304160 KiB
Current children cumulated memory: 257424 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/243 261884
/proc/meminfo: memFree=113842308/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=305792 memory=258256 CPUtime=3570.31 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 36150 0 0 0 356602 429 0 0 20 0 1 0 22905575 313131008 64564 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 76448 64564 1430 291 0 67982 0
Current children cumulated CPU time: 3570.31 s
Current children cumulated vsize: 305792 KiB
Current children cumulated memory: 258256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 261890
/proc/meminfo: memFree=113827772/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=308096 memory=261620 CPUtime=3600.01 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 36471 0 0 0 359571 430 0 0 20 0 1 0 22905575 315490304 65405 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 77024 65405 1430 291 0 68558 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 308096 KiB
Current children cumulated memory: 261620 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.73 s, system=4.30903 s

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

[startup+3612.11 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 261890
/proc/meminfo: memFree=113827772/131655788 swapFree=131061124/131071996
[pid=259904] ppid=259901 vsize=308096 memory=261620 CPUtime=3600.01 cores=0,2
/proc/259904/stat : 259904 (pb-oll-rs) R 259901 259904 256766 0 -1 4194304 36471 0 0 0 359571 430 0 0 20 0 1 0 22905575 315490304 65405 134679101440 4194304 5384005 140734826446752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 17301504 140734826451995 140734826452072 140734826452072 140734826459083 0
/proc/259904/statm: 77024 65405 1430 291 0 68558 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 308096 KiB
Current children cumulated memory: 261620 KiB

Child status: 0

Real time (s): 3612.12
CPU time (s): 3600.04
CPU user time (s): 3595.73
CPU system time (s): 4.30903
CPU usage (%): 99.6654
Max. virtual memory (cumulated for all children) (KiB): 308096
Max. memory (cumulated for all children) (KiB): 261620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.73
system time used= 4.30903
maximum resident set size= 261776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36487
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= 87
involuntary context switches= 24648


# summary of solver processes directly reported to runsolver:
#   pid: 259904
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3595.73
#   total CPU system time (s): 4.30903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5792 second user time and 34.1321 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 02:59:22
IDJOB=4458112
IDBENCH=177145
IDSOLVER=3067
FILE ID=nodeC005/4458112-1721869162
RUNJOBID= nodeC005-1721865124-256776
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_24.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458112-1721869162/watcher-4458112-1721869162 -o /tmp/evaluation-result-4458112-1721869162/solver-4458112-1721869162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256776 --watchdog 3760  pb-oll-rs HOME/instance-4458112-1721869162.opb

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

MD5SUM BENCH= 4e18c86f02508cf43f5cae5e82895ebd
RANDOM SEED=1326223201

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		: 3491.594
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		: 3543.839
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.116
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.194
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		: 3534.643
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		: 3559.884
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.311
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.311
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:        113343668 kB
MemAvailable:   128881784 kB
Buffers:          279624 kB
Cached:         16033844 kB
SwapCached:          620 kB
Active:          2532916 kB
Inactive:       15118888 kB
Active(anon):       1600 kB
Inactive(anon):  1390004 kB
Active(file):    2531316 kB
Inactive(file): 13728884 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:              2200 kB
Writeback:             0 kB
AnonPages:       1334600 kB
Mapped:           122480 kB
Shmem:             53264 kB
KReclaimable:     235892 kB
Slab:             346756 kB
SReclaimable:     235892 kB
SUnreclaim:       110864 kB
KernelStack:        3888 kB
PageTables:        12544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1859492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    821248 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:59:34