Trace number 4519188

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 2025-05-06? (TO) 3600.12 3609.82

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb
MD5SUM1dc1bfd723a572791c0842725d28eb02
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3414.24
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15200
Total number of constraints22700
Number of constraints which are clauses15000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7700
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 200
Biggest coefficient in the objective function 633825300114114700748351602688
Number of bits for the biggest coefficient in the objective function 100
Sum of the numbers in the objective function 2535301200456458802993406410750
Number of bits of the sum of numbers in the objective function 101
Biggest number in a constraint 633825300114114700748351602688
Number of bits of the biggest number in a constraint 100
Biggest sum of numbers in a constraint 2535301200456458802993406410750
Number of bits of the biggest sum of numbers101
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.20/0.23	c [STEP] solving
0.20/0.23	c #variables 15200 #constraints 30400
0.20/0.23	c SMALL=int128, LARGE=int256
0.20/0.23	c bounds - >= -1267650600228229401496703205375 @ 0.162889
0.20/0.23	c stratification level: 316912650057057350374175801344
90.22/90.51	c bounds - >= -950737950171172051122527404031 @ 0.164462
90.22/90.51	c #Conflicts:       1000 | #Constraints:      31401
90.22/90.51	c #Conflicts:       2000 | #Constraints:      32401
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:       3000 | #Constraints:      32474
90.22/90.51	c #Conflicts:       4000 | #Constraints:      33474
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:       5000 | #Constraints:      32954
90.22/90.51	c #Conflicts:       6000 | #Constraints:      33954
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:       7000 | #Constraints:      33028
90.22/90.51	c #Conflicts:       8000 | #Constraints:      34028
90.22/90.51	c #Conflicts:       9000 | #Constraints:      35028
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:      10000 | #Constraints:      33759
90.22/90.51	c #Conflicts:      11000 | #Constraints:      34759
90.22/90.51	c #Conflicts:      12000 | #Constraints:      35759
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:      13000 | #Constraints:      34224
90.22/90.51	c #Conflicts:      14000 | #Constraints:      35224
90.22/90.51	c #Conflicts:      15000 | #Constraints:      36224
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:      16000 | #Constraints:      34518
90.22/90.51	c #Conflicts:      17000 | #Constraints:      35518
90.22/90.51	c #Conflicts:      18000 | #Constraints:      36518
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:      19000 | #Constraints:      34574
90.22/90.51	c #Conflicts:      20000 | #Constraints:      35574
90.22/90.51	c #Conflicts:      21000 | #Constraints:      36574
90.22/90.51	c #Conflicts:      22000 | #Constraints:      37574
90.22/90.51	c #Conflicts:      23000 | #Constraints:      38574
90.22/90.51	c #Conflicts:      24000 | #Constraints:      39574
90.22/90.51	c #Conflicts:      25000 | #Constraints:      40574
90.22/90.51	c #Conflicts:      26000 | #Constraints:      41574
90.22/90.51	c #Conflicts:      27000 | #Constraints:      42574
90.22/90.51	c #Conflicts:      28000 | #Constraints:      43574
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:      29000 | #Constraints:      37878
90.22/90.51	c #Conflicts:      30000 | #Constraints:      38878
90.22/90.51	c #Conflicts:      31000 | #Constraints:      39878
90.22/90.51	c #Conflicts:      32000 | #Constraints:      40878
90.22/90.51	c #Conflicts:      33000 | #Constraints:      41878
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:      34000 | #Constraints:      37268
90.22/90.51	c #Conflicts:      35000 | #Constraints:      38268
90.22/90.51	c #Conflicts:      36000 | #Constraints:      39268
90.22/90.51	c #Conflicts:      37000 | #Constraints:      40268
90.22/90.51	c #Conflicts:      38000 | #Constraints:      41268
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:      39000 | #Constraints:      37127
90.22/90.51	c #Conflicts:      40000 | #Constraints:      38127
90.22/90.51	c #Conflicts:      41000 | #Constraints:      39127
90.22/90.51	c #Conflicts:      42000 | #Constraints:      40127
90.22/90.51	c #Conflicts:      43000 | #Constraints:      41127
90.22/90.51	c #Conflicts:      44000 | #Constraints:      42127
90.22/90.51	c #Conflicts:      45000 | #Constraints:      43127
90.22/90.51	c #Conflicts:      46000 | #Constraints:      44127
90.22/90.51	c #Conflicts:      47000 | #Constraints:      45127
90.22/90.51	c #Conflicts:      48000 | #Constraints:      46127
90.22/90.51	c #Conflicts:      49000 | #Constraints:      47127
90.22/90.51	c #Conflicts:      50000 | #Constraints:      48127
90.22/90.51	c #Conflicts:      51000 | #Constraints:      49127
90.22/90.51	c #Conflicts:      52000 | #Constraints:      50127
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:      53000 | #Constraints:      41238
90.22/90.51	c #Conflicts:      54000 | #Constraints:      42238
90.22/90.51	c #Conflicts:      55000 | #Constraints:      43238
90.22/90.51	c #Conflicts:      56000 | #Constraints:      44238
90.22/90.51	c #Conflicts:      57000 | #Constraints:      45238
90.22/90.51	c #Conflicts:      58000 | #Constraints:      46238
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:      59000 | #Constraints:      39350
90.22/90.51	c #Conflicts:      60000 | #Constraints:      40350
90.22/90.51	c #Conflicts:      61000 | #Constraints:      41350
90.22/90.51	c #Conflicts:      62000 | #Constraints:      42350
90.22/90.51	c #Conflicts:      63000 | #Constraints:      43350
90.22/90.51	c #Conflicts:      64000 | #Constraints:      44350
90.22/90.51	c #Conflicts:      65000 | #Constraints:      45350
90.22/90.51	c INPROCESSING
90.22/90.51	c GARBAGE COLLECT
90.22/90.51	c #Conflicts:      66000 | #Constraints:      39266
90.22/90.51	c #Conflicts:      67000 | #Constraints:      40266
90.22/90.51	c #Conflicts:      68000 | #Constraints:      41266
90.22/90.51	c #Conflicts:      69000 | #Constraints:      42266
90.22/90.51	c #Conflicts:      70000 | #Constraints:      43266
657.35/659.20	c #Conflicts:      71000 | #Constraints:      44266
657.35/659.20	c #Conflicts:      72000 | #Constraints:      45266
657.35/659.20	c #Conflicts:      73000 | #Constraints:      46266
657.35/659.20	c #Conflicts:      74000 | #Constraints:      47266
657.35/659.20	c #Conflicts:      75000 | #Constraints:      48266
657.35/659.20	c #Conflicts:      76000 | #Constraints:      49266
657.35/659.20	c #Conflicts:      77000 | #Constraints:      50266
657.35/659.20	c #Conflicts:      78000 | #Constraints:      51266
657.35/659.20	c #Conflicts:      79000 | #Constraints:      52266
657.35/659.20	c #Conflicts:      80000 | #Constraints:      53266
657.35/659.20	c #Conflicts:      81000 | #Constraints:      54266
657.35/659.20	c #Conflicts:      82000 | #Constraints:      55266
657.35/659.20	c #Conflicts:      83000 | #Constraints:      56266
657.35/659.20	c #Conflicts:      84000 | #Constraints:      57266
657.35/659.20	c INPROCESSING
657.35/659.20	c GARBAGE COLLECT
657.35/659.20	c #Conflicts:      85000 | #Constraints:      45274
657.35/659.20	c #Conflicts:      86000 | #Constraints:      46274
657.35/659.20	c #Conflicts:      87000 | #Constraints:      47274
657.35/659.20	c #Conflicts:      88000 | #Constraints:      48274
657.35/659.20	c #Conflicts:      89000 | #Constraints:      49274
657.35/659.20	c #Conflicts:      90000 | #Constraints:      50274
657.35/659.20	c #Conflicts:      91000 | #Constraints:      51274
657.35/659.20	c INPROCESSING
657.35/659.20	c GARBAGE COLLECT
657.35/659.20	c #Conflicts:      92000 | #Constraints:      42025
657.35/659.20	c #Conflicts:      93000 | #Constraints:      43025
657.35/659.20	c #Conflicts:      94000 | #Constraints:      44025
657.35/659.20	c #Conflicts:      95000 | #Constraints:      45025
657.35/659.20	c #Conflicts:      96000 | #Constraints:      46025
657.35/659.20	c #Conflicts:      97000 | #Constraints:      47025
657.35/659.20	c #Conflicts:      98000 | #Constraints:      48025
657.35/659.20	c #Conflicts:      99000 | #Constraints:      49025
657.35/659.20	c #Conflicts:     100000 | #Constraints:      50025
657.35/659.20	c #Conflicts:     101000 | #Constraints:      51025
657.35/659.20	c #Conflicts:     102000 | #Constraints:      52025
657.35/659.20	c #Conflicts:     103000 | #Constraints:      53025
657.35/659.20	c #Conflicts:     104000 | #Constraints:      54025
657.35/659.20	c #Conflicts:     105000 | #Constraints:      55025
657.35/659.20	c #Conflicts:     106000 | #Constraints:      56025
657.35/659.20	c #Conflicts:     107000 | #Constraints:      57025
657.35/659.20	c #Conflicts:     108000 | #Constraints:      58025
657.35/659.20	c #Conflicts:     109000 | #Constraints:      59025
657.35/659.20	c #Conflicts:     110000 | #Constraints:      60025
657.35/659.20	c #Conflicts:     111000 | #Constraints:      61025
657.35/659.20	c #Conflicts:     112000 | #Constraints:      62025
657.35/659.20	c #Conflicts:     113000 | #Constraints:      63025
657.35/659.20	c INPROCESSING
657.35/659.20	c GARBAGE COLLECT
657.35/659.20	c #Conflicts:     114000 | #Constraints:      47874
657.35/659.20	c #Conflicts:     115000 | #Constraints:      48874
657.35/659.20	c #Conflicts:     116000 | #Constraints:      49874
657.35/659.20	c #Conflicts:     117000 | #Constraints:      50874
657.35/659.20	c #Conflicts:     118000 | #Constraints:      51874
657.35/659.20	c #Conflicts:     119000 | #Constraints:      52874
657.35/659.20	c #Conflicts:     120000 | #Constraints:      53874
657.35/659.20	c #Conflicts:     121000 | #Constraints:      54874
657.35/659.20	c #Conflicts:     122000 | #Constraints:      55874
657.35/659.20	c INPROCESSING
657.35/659.20	c GARBAGE COLLECT
657.35/659.20	c #Conflicts:     123000 | #Constraints:      44397
657.35/659.20	c #Conflicts:     124000 | #Constraints:      45397
657.35/659.20	c #Conflicts:     125000 | #Constraints:      46397
657.35/659.20	c #Conflicts:     126000 | #Constraints:      47397
657.35/659.20	c #Conflicts:     127000 | #Constraints:      48397
657.35/659.20	c #Conflicts:     128000 | #Constraints:      49397
657.35/659.20	c #Conflicts:     129000 | #Constraints:      50397
657.35/659.20	c #Conflicts:     130000 | #Constraints:      51397
657.35/659.20	c #Conflicts:     131000 | #Constraints:      52397
657.35/659.20	c #Conflicts:     132000 | #Constraints:      53397
657.35/659.20	c #Conflicts:     133000 | #Constraints:      54397
657.35/659.20	c #Conflicts:     134000 | #Constraints:      55397
657.35/659.20	c #Conflicts:     135000 | #Constraints:      56397
657.35/659.20	c #Conflicts:     136000 | #Constraints:      57397
657.35/659.20	c #Conflicts:     137000 | #Constraints:      58397
657.35/659.20	c #Conflicts:     138000 | #Constraints:      59397
657.35/659.20	c #Conflicts:     139000 | #Constraints:      60397
657.35/659.20	c #Conflicts:     140000 | #Constraints:      61397
657.35/659.20	c #Conflicts:     141000 | #Constraints:      62397
657.35/659.20	c #Conflicts:     142000 | #Constraints:      63397
657.35/659.20	c #Conflicts:     143000 | #Constraints:      64397
657.35/659.20	c #Conflicts:     144000 | #Constraints:      65397
657.35/659.20	c #Conflicts:     145000 | #Constraints:      66397
657.35/659.20	c #Conflicts:     146000 | #Constraints:      67397
1728.31/1733.02	c #Conflicts:     147000 | #Constraints:      68397
1728.31/1733.02	c INPROCESSING
1728.31/1733.02	c GARBAGE COLLECT
1728.31/1733.02	c #Conflicts:     148000 | #Constraints:      50654
1728.31/1733.02	c #Conflicts:     149000 | #Constraints:      51654
1728.31/1733.02	c #Conflicts:     150000 | #Constraints:      52654
1728.31/1733.02	c #Conflicts:     151000 | #Constraints:      53654
1728.31/1733.02	c #Conflicts:     152000 | #Constraints:      54654
1728.31/1733.02	c #Conflicts:     153000 | #Constraints:      55654
1728.31/1733.02	c #Conflicts:     154000 | #Constraints:      56654
1728.31/1733.02	c #Conflicts:     155000 | #Constraints:      57654
1728.31/1733.02	c #Conflicts:     156000 | #Constraints:      58654
1728.31/1733.02	c #Conflicts:     157000 | #Constraints:      59654
1728.31/1733.02	c INPROCESSING
1728.31/1733.02	c GARBAGE COLLECT
1728.31/1733.02	c #Conflicts:     158000 | #Constraints:      46208
1728.31/1733.02	c #Conflicts:     159000 | #Constraints:      47208
1728.31/1733.02	c #Conflicts:     160000 | #Constraints:      48208
1728.31/1733.02	c #Conflicts:     161000 | #Constraints:      49208
1728.31/1733.02	c #Conflicts:     162000 | #Constraints:      50208
1728.31/1733.02	c #Conflicts:     163000 | #Constraints:      51208
1728.31/1733.02	c #Conflicts:     164000 | #Constraints:      52208
1728.31/1733.02	c #Conflicts:     165000 | #Constraints:      53208
1728.31/1733.02	c #Conflicts:     166000 | #Constraints:      54208
1728.31/1733.02	c #Conflicts:     167000 | #Constraints:      55208
1728.31/1733.02	c #Conflicts:     168000 | #Constraints:      56208
1728.31/1733.02	c #Conflicts:     169000 | #Constraints:      57208
1728.31/1733.02	c #Conflicts:     170000 | #Constraints:      58208
1728.31/1733.02	c #Conflicts:     171000 | #Constraints:      59208
1728.31/1733.02	c #Conflicts:     172000 | #Constraints:      60208
1728.31/1733.02	c #Conflicts:     173000 | #Constraints:      61208
1728.31/1733.02	c #Conflicts:     174000 | #Constraints:      62208
1728.31/1733.02	c #Conflicts:     175000 | #Constraints:      63208
1728.31/1733.02	c #Conflicts:     176000 | #Constraints:      64208
1728.31/1733.02	c #Conflicts:     177000 | #Constraints:      65208
1728.31/1733.02	c #Conflicts:     178000 | #Constraints:      66208
1728.31/1733.02	c #Conflicts:     179000 | #Constraints:      67208
1728.31/1733.02	c #Conflicts:     180000 | #Constraints:      68208
1728.31/1733.02	c #Conflicts:     181000 | #Constraints:      69208
1728.31/1733.02	c #Conflicts:     182000 | #Constraints:      70208
1728.31/1733.02	c #Conflicts:     183000 | #Constraints:      71208
1728.31/1733.02	c #Conflicts:     184000 | #Constraints:      72208
1728.31/1733.02	c #Conflicts:     185000 | #Constraints:      73208
1728.31/1733.02	c #Conflicts:     186000 | #Constraints:      74208
1728.31/1733.02	c INPROCESSING
1728.31/1733.02	c GARBAGE COLLECT
1728.31/1733.02	c #Conflicts:     187000 | #Constraints:      53914
1728.31/1733.02	c #Conflicts:     188000 | #Constraints:      54914
1728.31/1733.02	c #Conflicts:     189000 | #Constraints:      55914
1728.31/1733.02	c #Conflicts:     190000 | #Constraints:      56914
1728.31/1733.02	c #Conflicts:     191000 | #Constraints:      57914
1728.31/1733.02	c #Conflicts:     192000 | #Constraints:      58914
1728.31/1733.02	c #Conflicts:     193000 | #Constraints:      59914
1728.31/1733.02	c #Conflicts:     194000 | #Constraints:      60914
1728.31/1733.02	c #Conflicts:     195000 | #Constraints:      61914
1728.31/1733.02	c #Conflicts:     196000 | #Constraints:      62914
1728.31/1733.02	c #Conflicts:     197000 | #Constraints:      63914
1728.31/1733.02	c INPROCESSING
1728.31/1733.02	c GARBAGE COLLECT
1728.31/1733.02	c #Conflicts:     198000 | #Constraints:      49091
1728.31/1733.02	c #Conflicts:     199000 | #Constraints:      50091
1728.31/1733.02	c #Conflicts:     200000 | #Constraints:      51091
1728.31/1733.02	c #Conflicts:     201000 | #Constraints:      52091
1728.31/1733.02	c #Conflicts:     202000 | #Constraints:      53091
1728.31/1733.02	c #Conflicts:     203000 | #Constraints:      54091
1728.31/1733.02	c #Conflicts:     204000 | #Constraints:      55091
1728.31/1733.02	c #Conflicts:     205000 | #Constraints:      56091
1728.31/1733.02	c #Conflicts:     206000 | #Constraints:      57091
1728.31/1733.02	c #Conflicts:     207000 | #Constraints:      58091
1728.31/1733.02	c #Conflicts:     208000 | #Constraints:      59091
1728.31/1733.02	c #Conflicts:     209000 | #Constraints:      60091
1728.31/1733.02	c #Conflicts:     210000 | #Constraints:      61091
1728.31/1733.02	c #Conflicts:     211000 | #Constraints:      62091
1728.31/1733.02	c #Conflicts:     212000 | #Constraints:      63091
1728.31/1733.02	c #Conflicts:     213000 | #Constraints:      64091
1728.31/1733.02	c #Conflicts:     214000 | #Constraints:      65091
1728.31/1733.02	c #Conflicts:     215000 | #Constraints:      66091
1728.31/1733.02	c #Conflicts:     216000 | #Constraints:      67091
1728.31/1733.02	c #Conflicts:     217000 | #Constraints:      68091
1728.31/1733.02	c #Conflicts:     218000 | #Constraints:      69091
1728.31/1733.02	c #Conflicts:     219000 | #Constraints:      70091
1728.31/1733.02	c #Conflicts:     220000 | #Constraints:      71091
1728.31/1733.02	c #Conflicts:     221000 | #Constraints:      72091
1728.31/1733.02	c #Conflicts:     222000 | #Constraints:      73091
3600.08/3609.81	c #Conflicts:     223000 | #Constraints:      74091
3600.08/3609.81	c #Conflicts:     224000 | #Constraints:      75091
3600.08/3609.81	c #Conflicts:     225000 | #Constraints:      76091
3600.08/3609.81	c #Conflicts:     226000 | #Constraints:      77091
3600.08/3609.81	c #Conflicts:     227000 | #Constraints:      78091
3600.08/3609.81	c #Conflicts:     228000 | #Constraints:      79091
3600.08/3609.81	c INPROCESSING
3600.08/3609.81	c GARBAGE COLLECT
3600.08/3609.81	c #Conflicts:     229000 | #Constraints:      55983
3600.08/3609.81	c #Conflicts:     230000 | #Constraints:      56983
3600.08/3609.81	c #Conflicts:     231000 | #Constraints:      57983
3600.08/3609.81	c #Conflicts:     232000 | #Constraints:      58983
3600.08/3609.81	c #Conflicts:     233000 | #Constraints:      59983
3600.08/3609.81	c #Conflicts:     234000 | #Constraints:      60983
3600.08/3609.81	c #Conflicts:     235000 | #Constraints:      61983
3600.08/3609.81	c #Conflicts:     236000 | #Constraints:      62983
3600.08/3609.81	c #Conflicts:     237000 | #Constraints:      63983
3600.08/3609.81	c #Conflicts:     238000 | #Constraints:      64983
3600.08/3609.81	c #Conflicts:     239000 | #Constraints:      65983
3600.08/3609.81	c #Conflicts:     240000 | #Constraints:      66983
3600.08/3609.81	c #Conflicts:     241000 | #Constraints:      67983
3600.08/3609.81	c INPROCESSING
3600.08/3609.81	c GARBAGE COLLECT
3600.08/3609.81	c #Conflicts:     242000 | #Constraints:      53487
3600.08/3609.81	c #Conflicts:     243000 | #Constraints:      54487
3600.08/3609.81	c #Conflicts:     244000 | #Constraints:      55487
3600.08/3609.81	c #Conflicts:     245000 | #Constraints:      56487
3600.08/3609.81	c #Conflicts:     246000 | #Constraints:      57487
3600.08/3609.81	c #Conflicts:     247000 | #Constraints:      58487
3600.08/3609.81	c #Conflicts:     248000 | #Constraints:      59487
3600.08/3609.81	c #Conflicts:     249000 | #Constraints:      60487
3600.08/3609.81	c #Conflicts:     250000 | #Constraints:      61487
3600.08/3609.81	c #Conflicts:     251000 | #Constraints:      62487
3600.08/3609.81	c #Conflicts:     252000 | #Constraints:      63487
3600.08/3609.81	c #Conflicts:     253000 | #Constraints:      64487
3600.08/3609.81	c #Conflicts:     254000 | #Constraints:      65487
3600.08/3609.81	c #Conflicts:     255000 | #Constraints:      66487
3600.08/3609.81	c #Conflicts:     256000 | #Constraints:      67487
3600.08/3609.81	c #Conflicts:     257000 | #Constraints:      68487
3600.08/3609.81	c #Conflicts:     258000 | #Constraints:      69487
3600.08/3609.81	c #Conflicts:     259000 | #Constraints:      70487
3600.08/3609.81	c #Conflicts:     260000 | #Constraints:      71487
3600.08/3609.81	c #Conflicts:     261000 | #Constraints:      72487
3600.08/3609.81	c #Conflicts:     262000 | #Constraints:      73487
3600.08/3609.81	c #Conflicts:     263000 | #Constraints:      74487
3600.08/3609.81	c #Conflicts:     264000 | #Constraints:      75487
3600.08/3609.81	c #Conflicts:     265000 | #Constraints:      76487
3600.08/3609.81	c #Conflicts:     266000 | #Constraints:      77487
3600.08/3609.81	c #Conflicts:     267000 | #Constraints:      78487
3600.08/3609.81	c #Conflicts:     268000 | #Constraints:      79487
3600.08/3609.81	c #Conflicts:     269000 | #Constraints:      80487
3600.08/3609.81	c #Conflicts:     270000 | #Constraints:      81487
3600.08/3609.81	c #Conflicts:     271000 | #Constraints:      82487
3600.08/3609.81	c #Conflicts:     272000 | #Constraints:      83487
3600.08/3609.81	c #Conflicts:     273000 | #Constraints:      84487
3600.08/3609.81	c #Conflicts:     274000 | #Constraints:      85487
3600.08/3609.81	c #Conflicts:     275000 | #Constraints:      86487
3600.08/3609.81	c #Conflicts:     276000 | #Constraints:      87487
3600.08/3609.81	c INPROCESSING
3600.08/3609.81	c GARBAGE COLLECT
3600.08/3609.81	c #Conflicts:     277000 | #Constraints:      60611
3600.08/3609.81	c #Conflicts:     278000 | #Constraints:      61611
3600.08/3609.81	c #Conflicts:     279000 | #Constraints:      62611
3600.08/3609.81	c #Conflicts:     280000 | #Constraints:      63611
3600.08/3609.81	c #Conflicts:     281000 | #Constraints:      64611
3600.08/3609.81	c #Conflicts:     282000 | #Constraints:      65611
3600.08/3609.81	c #Conflicts:     283000 | #Constraints:      66611
3600.08/3609.81	c #Conflicts:     284000 | #Constraints:      67611
3600.08/3609.81	c #Conflicts:     285000 | #Constraints:      68611
3600.08/3609.81	c Program interrupted by user.
3600.08/3609.81	c cpu time 3595.58 s
3600.08/3609.81	c deterministic time 240977482705 2.41e+11
3600.08/3609.81	c optimization time 316.418 s
3600.08/3609.81	c total solve time 3279 s
3600.08/3609.81	c core-guided solve time 3279 s
3600.08/3609.81	c propagation time 3363.77 s
3600.08/3609.81	c conflict analysis time 211.071 s
3600.08/3609.81	c propagations 272242759
3600.08/3609.81	c resolve steps 8829692
3600.08/3609.81	c decisions 3029548
3600.08/3609.81	c conflicts 285617
3600.08/3609.81	c restarts 683
3600.08/3609.81	c inprocessing phases 24
3600.08/3609.81	c input clauses 20600
3600.08/3609.81	c input cardinalities 0
3600.08/3609.81	c input general constraints 9801
3600.08/3609.81	c input average constraint length 3.13
3600.08/3609.81	c input average constraint degree 10424415317162506934288384.00
3600.08/3609.81	c learned clauses 52288
3600.08/3609.81	c learned cardinalities 61
3600.08/3609.81	c learned general constraints 233269
3600.08/3609.81	c learned average constraint length 240.12
3600.08/3609.81	c learned average constraint degree 134238948.83
3600.08/3609.81	c watched constraints 223251
3600.08/3609.81	c counting constraints 19819
3600.08/3609.81	c gcd simplifications 14010
3600.08/3609.81	c detected cardinalities 5
3600.08/3609.81	c weakened non-implied lits 3730202
3600.08/3609.81	c weakened non-implying lits 179656
3600.08/3609.81	c original variables 15200
3600.08/3609.81	c clausal propagations 136050577
3600.08/3609.81	c cardinality propagations 865
3600.08/3609.81	c watched propagations 21237430
3600.08/3609.81	c counting propagations 114839735
3600.08/3609.81	c watch lookups 60550877590
3600.08/3609.81	c watch backjump lookups 58600539904
3600.08/3609.81	c watch checks 74023601220
3600.08/3609.81	c propagation checks 47029993129
3600.08/3609.81	c constraint additions 221641993
3600.08/3609.81	c trail pops 275556561
3600.08/3609.81	c formula constraints 30400
3600.08/3609.81	c learned constraints 285618
3600.08/3609.81	c bound constraints 1
3600.08/3609.81	c core-guided constraints 0
3600.08/3609.81	c encountered formula constraints 6735121
3600.08/3609.81	c encountered learned constraints 2380188
3600.08/3609.81	c encountered bound constraints 0
3600.08/3609.81	c encountered core-guided constraints 0
3600.08/3609.81	c LP total time 0 s
3600.08/3609.81	c LP solve time 0 s
3600.08/3609.81	c LP constraints added 0
3600.08/3609.81	c LP constraints removed 0
3600.08/3609.81	c LP pivots internal 0
3600.08/3609.81	c LP pivots root 0
3600.08/3609.81	c LP calls 0
3600.08/3609.81	c LP optimalities 0
3600.08/3609.81	c LP no pivot count 0
3600.08/3609.81	c LP infeasibilities 0
3600.08/3609.81	c LP valid Farkas constraints 0
3600.08/3609.81	c LP learned Farkas constraints 0
3600.08/3609.81	c LP basis resets 0
3600.08/3609.81	c LP cycling count 0
3600.08/3609.81	c LP singular count 0
3600.08/3609.81	c LP no primal count 0
3600.08/3609.81	c LP no farkas count 0
3600.08/3609.81	c LP other issue count 0
3600.08/3609.81	c LP Gomory cuts 0
3600.08/3609.81	c LP learned cuts 0
3600.08/3609.81	c LP deleted cuts 0
3600.08/3609.81	c LP encountered Gomory constraints 0
3600.08/3609.81	c LP encountered Farkas constraints 0
3600.08/3609.81	c LP encountered learned Farkas constraints 0
3600.08/3609.81	c CG auxiliary variables introduced 0
3600.08/3609.81	c CG solutions found 0
3600.08/3609.81	c CG cores constructed 1
3600.08/3609.81	c CG core cardinality constraints returned 0
3600.08/3609.81	c CG unit cores 0
3600.08/3609.81	c CG single cores 1
3600.08/3609.81	c CG blocks removed during cardinality reduction 0
3600.08/3609.81	c CG first core best 0
3600.08/3609.81	c CG decision core best 0
3600.08/3609.81	c CG core reduction tie 0
3600.08/3609.81	c CG core degree average 1.00
3600.08/3609.81	c CG core slack average 3.00
3600.08/3609.81	c CG exhausted 0
3600.08/3609.81	c CG exhaust time 0 s
3600.08/3609.81	c CG trimmed 0
3600.08/3609.81	c CG trim time 0 s
3600.08/3609.81	c CG minimized 0
3600.08/3609.81	c CG minimize time 0 s
3600.08/3609.81	c CG am1 prop time 0.000215 s
3600.08/3609.81	c CG # am1s reformulated 0
3600.08/3609.81	c CG lower bound derived from am1s 0
3600.08/3609.81	c CG # clausal cores 1
3600.08/3609.81	c CG # cardinality cores 0
3600.08/3609.81	c CG # pb cores 0
3600.08/3609.81	c CG # pb reforms 0
3600.08/3609.81	c CG # cores discarded because of pb reform 0
3600.08/3609.81	d LOWERBOUND -9223372036854775808
3600.08/3609.81	d NCORES 1
3600.08/3609.81	d NPBCORES 0
3600.08/3609.81	d NPBREFORM 0
3600.08/3609.81	d NTRIMMED 0
3600.08/3609.81	d NEXHAUSTED 0
3600.08/3609.81	d NAM1S 0
3600.08/3609.81	d AM1LB 0
3600.08/3609.82	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: 63837 MiB (63091 MiB free)
  memory of node 1: 64465 MiB (63660 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519188-1751552798/watcher-4519188-1751552798 -o /tmp/evaluation-result-4519188-1751552798/solver-4519188-1751552798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76161 --watchdog 3760 pb-oll-rs HOME/instance-4519188-1751552798.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77074, runsolver pid=77071
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 4.18 4.10 4.09 5/250 77075
/proc/meminfo: memFree=129790852/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=23508 memory=9088 CPUtime=0.1 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 1400 0 0 0 7 3 0 0 20 0 1 0 70958935 24072192 2272 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 5877 2272 1120 243 0 2126 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23508 KiB
Current children cumulated memory: 9088 KiB

[startup+0.21317 s]*
/proc/loadavg: 4.18 4.10 4.09 5/250 77075
/proc/meminfo: memFree=129790852/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=24216 memory=10752 CPUtime=0.2 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 1836 0 0 0 15 5 0 0 20 0 1 0 70958935 24797184 2688 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 6054 2688 1120 243 0 2303 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24216 KiB
Current children cumulated memory: 10752 KiB

[startup+0.312578 s]*
/proc/loadavg: 4.18 4.10 4.09 6/250 77075
/proc/meminfo: memFree=129786820/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=27220 memory=14592 CPUtime=0.31 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 2630 0 0 0 25 6 0 0 20 0 1 0 70958935 27873280 3648 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 6805 3648 1344 243 0 3054 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27220 KiB
Current children cumulated memory: 14592 KiB

[startup+0.700217 s]
/proc/loadavg: 4.18 4.10 4.09 5/250 77075
/proc/meminfo: memFree=129786580/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=27356 memory=15232 CPUtime=0.68 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 2769 0 0 0 61 7 0 0 20 0 1 0 70958935 28012544 3808 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 6839 3808 1344 243 0 3088 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 15232 KiB

[startup+1.50025 s]
/proc/loadavg: 4.18 4.10 4.09 5/250 77075
/proc/meminfo: memFree=129786580/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=28704 memory=17096 CPUtime=1.48 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 3363 0 0 0 139 9 0 0 20 0 1 0 70958935 29392896 4274 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 7176 4274 1344 243 0 3425 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28704 KiB
Current children cumulated memory: 17096 KiB

[startup+3.11292 s]
/proc/loadavg: 4.16 4.10 4.09 5/250 77075
/proc/meminfo: memFree=129780412/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=30476 memory=20040 CPUtime=3.09 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 4114 0 0 0 297 12 0 0 20 0 1 0 70958935 31207424 5010 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 7619 5010 1344 243 0 3868 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30476 KiB
Current children cumulated memory: 20040 KiB

[startup+6.30027 s]
/proc/loadavg: 4.16 4.10 4.09 5/250 77075
/proc/meminfo: memFree=129771260/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=35672 memory=23368 CPUtime=6.26 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 4956 0 0 0 609 17 0 0 20 0 1 0 70958935 36528128 5842 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 8918 5842 1344 243 0 5167 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 35672 KiB
Current children cumulated memory: 23368 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 77076
/proc/meminfo: memFree=129763196/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=43288 memory=31492 CPUtime=12.65 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 6471 0 0 0 1240 25 0 0 20 0 1 0 70958935 44326912 7873 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 10822 7873 1344 243 0 7071 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 43288 KiB
Current children cumulated memory: 31492 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 77076
/proc/meminfo: memFree=129746484/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=55616 memory=40868 CPUtime=25.41 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 8306 0 0 0 2504 37 0 0 20 0 1 0 70958935 56950784 10217 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 13904 10217 1344 243 0 10153 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 55616 KiB
Current children cumulated memory: 40868 KiB

[startup+51.1132 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 77076
/proc/meminfo: memFree=129701900/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=74748 memory=60340 CPUtime=50.95 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 10655 0 0 0 5041 54 0 0 20 0 1 0 70958935 76541952 15085 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 18687 15085 1344 243 0 14936 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 74748 KiB
Current children cumulated memory: 60340 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 77078
/proc/meminfo: memFree=129634524/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=82928 memory=68280 CPUtime=101.99 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 12775 0 0 0 10117 82 0 0 20 0 1 0 70958935 84918272 17070 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 20732 17070 1344 243 0 16981 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 82928 KiB
Current children cumulated memory: 68280 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/250 77080
/proc/meminfo: memFree=129595628/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=117788 memory=92572 CPUtime=161.82 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 16834 0 0 0 16081 101 0 0 20 0 1 0 70958935 120614912 23143 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 29447 23143 1344 243 0 25696 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 117788 KiB
Current children cumulated memory: 92572 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 77082
/proc/meminfo: memFree=129568136/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=119528 memory=94120 CPUtime=221.65 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 17507 0 0 0 22042 123 0 0 20 0 1 0 70958935 122396672 23530 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 29882 23530 1344 243 0 26131 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 119528 KiB
Current children cumulated memory: 94120 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 77129
/proc/meminfo: memFree=129561800/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=120472 memory=95144 CPUtime=281.48 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 17766 0 0 0 28009 139 0 0 20 0 1 0 70958935 123363328 23786 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 30118 23786 1344 243 0 26367 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 120472 KiB
Current children cumulated memory: 95144 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/249 77135
/proc/meminfo: memFree=129532608/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=128488 memory=109772 CPUtime=341.29 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 19253 0 0 0 33978 151 0 0 20 0 1 0 70958935 131571712 27443 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 32122 27443 1344 243 0 28371 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 128488 KiB
Current children cumulated memory: 109772 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/250 77273
/proc/meminfo: memFree=128829120/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=130268 memory=113268 CPUtime=401.14 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 19872 0 0 0 39952 162 0 0 20 0 1 0 70958935 133394432 28317 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 32567 28317 1344 243 0 28816 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 130268 KiB
Current children cumulated memory: 113268 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/253 77279
/proc/meminfo: memFree=128578640/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=130268 memory=113268 CPUtime=460.98 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 20190 0 0 0 45925 173 0 0 20 0 1 0 70958935 133394432 28317 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 32567 28317 1344 243 0 28816 0
Current children cumulated CPU time: 460.98 s

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

Current children cumulated memory: 256164 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 77581
/proc/meminfo: memFree=129131536/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=297400 memory=256932 CPUtime=2854.58 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 40443 0 0 0 285052 406 0 0 20 0 1 0 70958935 304537600 64233 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 74350 64233 1344 243 0 70599 0
Current children cumulated CPU time: 2854.58 s
Current children cumulated vsize: 297400 KiB
Current children cumulated memory: 256932 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/250 77583
/proc/meminfo: memFree=129123944/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=299064 memory=257956 CPUtime=2914.4 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 40710 0 0 0 291032 408 0 0 20 0 1 0 70958935 306241536 64489 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 74766 64489 1344 243 0 71015 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 299064 KiB
Current children cumulated memory: 257956 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 77585
/proc/meminfo: memFree=129126920/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=300472 memory=263076 CPUtime=2974.24 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 40913 0 0 0 297011 413 0 0 20 0 1 0 70958935 307683328 65769 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 75118 65769 1344 243 0 71367 0
Current children cumulated CPU time: 2974.24 s
Current children cumulated vsize: 300472 KiB
Current children cumulated memory: 263076 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 77589
/proc/meminfo: memFree=129124164/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=302584 memory=264228 CPUtime=3034.07 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 41251 0 0 0 302990 417 0 0 20 0 1 0 70958935 309846016 66057 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 75646 66057 1344 243 0 71895 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 302584 KiB
Current children cumulated memory: 264228 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 77591
/proc/meminfo: memFree=129121040/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=305208 memory=265636 CPUtime=3093.91 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 41607 0 0 0 308970 421 0 0 20 0 1 0 70958935 312532992 66409 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 76302 66409 1344 243 0 72551 0
Current children cumulated CPU time: 3093.91 s
Current children cumulated vsize: 305208 KiB
Current children cumulated memory: 265636 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 77593
/proc/meminfo: memFree=129118648/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=306712 memory=266660 CPUtime=3153.76 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 41849 0 0 0 314951 425 0 0 20 0 1 0 70958935 314073088 66665 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 76678 66665 1344 243 0 72927 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 306712 KiB
Current children cumulated memory: 266660 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 77595
/proc/meminfo: memFree=129094912/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=311000 memory=269092 CPUtime=3213.6 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 42491 0 0 0 320930 430 0 0 20 0 1 0 70958935 318464000 67273 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 77750 67273 1344 243 0 73999 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 311000 KiB
Current children cumulated memory: 269092 KiB

[startup+3282.3 s]
/proc/loadavg: 4.66 4.25 4.14 5/249 77597
/proc/meminfo: memFree=129074196/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=313560 memory=272992 CPUtime=3273.43 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 42925 0 0 0 326910 433 0 0 20 0 1 0 70958935 321085440 68248 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 78390 68248 1344 243 0 74639 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 313560 KiB
Current children cumulated memory: 272992 KiB

[startup+3342.3 s]
/proc/loadavg: 4.39 4.26 4.15 5/249 77599
/proc/meminfo: memFree=129071568/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=314244 memory=273492 CPUtime=3333.27 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 43325 0 0 0 332888 439 0 0 20 0 1 0 70958935 321785856 68373 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 78561 68373 1344 243 0 74810 0
Current children cumulated CPU time: 3333.27 s
Current children cumulated vsize: 314244 KiB
Current children cumulated memory: 273492 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.22 4.15 5/250 77606
/proc/meminfo: memFree=129073432/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=314244 memory=273492 CPUtime=3393.12 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 43325 0 0 0 338870 442 0 0 20 0 1 0 70958935 321785856 68373 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 78561 68373 1344 243 0 74810 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 314244 KiB
Current children cumulated memory: 273492 KiB

[startup+3462.3 s]
/proc/loadavg: 4.68 4.35 4.20 5/250 77608
/proc/meminfo: memFree=129061648/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=314244 memory=273492 CPUtime=3452.95 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 43325 0 0 0 344852 443 0 0 20 0 1 0 70958935 321785856 68373 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 78561 68373 1344 243 0 74810 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 314244 KiB
Current children cumulated memory: 273492 KiB

[startup+3522.3 s]
/proc/loadavg: 4.46 4.36 4.21 5/250 77610
/proc/meminfo: memFree=129056520/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=314244 memory=273492 CPUtime=3512.8 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 43325 0 0 0 350832 448 0 0 20 0 1 0 70958935 321785856 68373 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 78561 68373 1344 243 0 74810 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 314244 KiB
Current children cumulated memory: 273492 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.31 4.20 5/250 77612
/proc/meminfo: memFree=129054628/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=314244 memory=273492 CPUtime=3572.66 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 43325 0 0 0 356815 451 0 0 20 0 1 0 70958935 321785856 68373 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 78561 68373 1344 243 0 74810 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 314244 KiB
Current children cumulated memory: 273492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.21 4.29 4.20 5/251 77660
/proc/meminfo: memFree=129274540/131382120 swapFree=33010160/33010684
[pid=77074] ppid=77071 vsize=314244 memory=273492 CPUtime=3600.08 cores=0,2
/proc/77074/stat : 77074 (pb-oll-rs) R 77071 77074 76151 0 -1 4194304 43325 0 0 0 359556 452 0 0 20 0 1 0 70958935 321785856 68373 18446744073709551615 4218880 5211445 140734965676192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7172096 140734965684636 140734965684713 140734965684713 140734965690315 0
/proc/77074/statm: 78561 68373 1344 243 0 74810 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 314244 KiB
Current children cumulated memory: 273492 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.59 s, system=4.53254 s

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

Child status: 0

Real time (s): 3609.82
CPU time (s): 3600.12
CPU user time (s): 3595.59
CPU system time (s): 4.53254
CPU usage (%): 99.7312
Max. virtual memory (cumulated for all children) (KiB): 315480
Max. memory (cumulated for all children) (KiB): 274528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.59
system time used= 4.53254
maximum resident set size= 274528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43339
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= 182
involuntary context switches= 8039


# summary of solver processes directly reported to runsolver:
#   pid: 77074
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3595.59
#   total CPU system time (s): 4.53254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6515 second user time and 34.6278 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 16:26:38
IDJOB=4519188
IDBENCH=177185
IDSOLVER=3345
FILE ID=nodeC008/4519188-1751552798
RUNJOBID= nodeC008-1751549168-76161
SLURM_JOB_ID= 9598725
Free space on /tmp= 432820 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519188-1751552798/watcher-4519188-1751552798 -o /tmp/evaluation-result-4519188-1751552798/solver-4519188-1751552798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76161 --watchdog 3760  pb-oll-rs HOME/instance-4519188-1751552798.opb

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

MD5SUM BENCH= 1dc1bfd723a572791c0842725d28eb02
RANDOM SEED=2003401933

nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 1197.214
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 3491.854
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.151
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.252
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1197.430
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 3662.047
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 3658.153
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1198.552
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129794312 kB
MemAvailable:   129805192 kB
Buffers:            2128 kB
Cached:           806124 kB
SwapCached:           16 kB
Active:           714100 kB
Inactive:         287280 kB
Active(anon):     174640 kB
Inactive(anon):    36408 kB
Active(file):     539460 kB
Inactive(file):   250872 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6412 kB
Writeback:             4 kB
AnonPages:        196260 kB
Mapped:           107488 kB
Shmem:             17920 kB
KReclaimable:     120352 kB
Slab:             204460 kB
SReclaimable:     120352 kB
SUnreclaim:        84108 kB
KernelStack:        4064 kB
PageTables:         3360 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     529288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149320 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432816 MiB
End job on nodeC008 at 2025-07-03 17:26:48