Trace number 4519183

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
mixed-bag-2024 2025-05-06? (TO) 3600.05 3611.03

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

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.04	c RoundingSat 2
0.00/0.04	c branch 
0.00/0.04	c commit 
0.00/0.04	c with Papilo
0.00/0.04	c with SCIP
0.00/0.04	c [STEP] parsing instance
0.00/0.04	c skipping papilo and scip due to too large bitwidth of coefficients
0.18/0.28	c [STEP] solving
0.18/0.28	c #variables 15200 #constraints 30400
0.18/0.28	c SMALL=int128, LARGE=int256
0.18/0.28	d SCIPUB 2535301200456458802993406410751
0.18/0.28	c bounds - >= -1267650600228229401496703205375 @ 0.155962
0.18/0.28	c stratification level: 316912650057057350374175801344
81.95/82.36	c bounds - >= -950737950171172051122527404031 @ 0.156324
81.95/82.36	c #Conflicts:       1000 | #Constraints:      31401
81.95/82.36	c #Conflicts:       2000 | #Constraints:      32401
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:       3000 | #Constraints:      32474
81.95/82.36	c #Conflicts:       4000 | #Constraints:      33474
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:       5000 | #Constraints:      32954
81.95/82.36	c #Conflicts:       6000 | #Constraints:      33954
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:       7000 | #Constraints:      33028
81.95/82.36	c #Conflicts:       8000 | #Constraints:      34028
81.95/82.36	c #Conflicts:       9000 | #Constraints:      35028
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:      10000 | #Constraints:      33759
81.95/82.36	c #Conflicts:      11000 | #Constraints:      34759
81.95/82.36	c #Conflicts:      12000 | #Constraints:      35759
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:      13000 | #Constraints:      34224
81.95/82.36	c #Conflicts:      14000 | #Constraints:      35224
81.95/82.36	c #Conflicts:      15000 | #Constraints:      36224
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:      16000 | #Constraints:      34518
81.95/82.36	c #Conflicts:      17000 | #Constraints:      35518
81.95/82.36	c #Conflicts:      18000 | #Constraints:      36518
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:      19000 | #Constraints:      34574
81.95/82.36	c #Conflicts:      20000 | #Constraints:      35574
81.95/82.36	c #Conflicts:      21000 | #Constraints:      36574
81.95/82.36	c #Conflicts:      22000 | #Constraints:      37574
81.95/82.36	c #Conflicts:      23000 | #Constraints:      38574
81.95/82.36	c #Conflicts:      24000 | #Constraints:      39574
81.95/82.36	c #Conflicts:      25000 | #Constraints:      40574
81.95/82.36	c #Conflicts:      26000 | #Constraints:      41574
81.95/82.36	c #Conflicts:      27000 | #Constraints:      42574
81.95/82.36	c #Conflicts:      28000 | #Constraints:      43574
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:      29000 | #Constraints:      37878
81.95/82.36	c #Conflicts:      30000 | #Constraints:      38878
81.95/82.36	c #Conflicts:      31000 | #Constraints:      39878
81.95/82.36	c #Conflicts:      32000 | #Constraints:      40878
81.95/82.36	c #Conflicts:      33000 | #Constraints:      41878
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:      34000 | #Constraints:      37268
81.95/82.36	c #Conflicts:      35000 | #Constraints:      38268
81.95/82.36	c #Conflicts:      36000 | #Constraints:      39268
81.95/82.36	c #Conflicts:      37000 | #Constraints:      40268
81.95/82.36	c #Conflicts:      38000 | #Constraints:      41268
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:      39000 | #Constraints:      37127
81.95/82.36	c #Conflicts:      40000 | #Constraints:      38127
81.95/82.36	c #Conflicts:      41000 | #Constraints:      39127
81.95/82.36	c #Conflicts:      42000 | #Constraints:      40127
81.95/82.36	c #Conflicts:      43000 | #Constraints:      41127
81.95/82.36	c #Conflicts:      44000 | #Constraints:      42127
81.95/82.36	c #Conflicts:      45000 | #Constraints:      43127
81.95/82.36	c #Conflicts:      46000 | #Constraints:      44127
81.95/82.36	c #Conflicts:      47000 | #Constraints:      45127
81.95/82.36	c #Conflicts:      48000 | #Constraints:      46127
81.95/82.36	c #Conflicts:      49000 | #Constraints:      47127
81.95/82.36	c #Conflicts:      50000 | #Constraints:      48127
81.95/82.36	c #Conflicts:      51000 | #Constraints:      49127
81.95/82.36	c #Conflicts:      52000 | #Constraints:      50127
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:      53000 | #Constraints:      41238
81.95/82.36	c #Conflicts:      54000 | #Constraints:      42238
81.95/82.36	c #Conflicts:      55000 | #Constraints:      43238
81.95/82.36	c #Conflicts:      56000 | #Constraints:      44238
81.95/82.36	c #Conflicts:      57000 | #Constraints:      45238
81.95/82.36	c #Conflicts:      58000 | #Constraints:      46238
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:      59000 | #Constraints:      39350
81.95/82.36	c #Conflicts:      60000 | #Constraints:      40350
81.95/82.36	c #Conflicts:      61000 | #Constraints:      41350
81.95/82.36	c #Conflicts:      62000 | #Constraints:      42350
81.95/82.36	c #Conflicts:      63000 | #Constraints:      43350
81.95/82.36	c #Conflicts:      64000 | #Constraints:      44350
81.95/82.36	c #Conflicts:      65000 | #Constraints:      45350
81.95/82.36	c INPROCESSING
81.95/82.36	c GARBAGE COLLECT
81.95/82.36	c #Conflicts:      66000 | #Constraints:      39266
81.95/82.36	c #Conflicts:      67000 | #Constraints:      40266
81.95/82.36	c #Conflicts:      68000 | #Constraints:      41266
81.95/82.36	c #Conflicts:      69000 | #Constraints:      42266
81.95/82.36	c #Conflicts:      70000 | #Constraints:      43266
598.66/600.55	c #Conflicts:      71000 | #Constraints:      44266
598.66/600.55	c #Conflicts:      72000 | #Constraints:      45266
598.66/600.55	c #Conflicts:      73000 | #Constraints:      46266
598.66/600.55	c #Conflicts:      74000 | #Constraints:      47266
598.66/600.55	c #Conflicts:      75000 | #Constraints:      48266
598.66/600.55	c #Conflicts:      76000 | #Constraints:      49266
598.66/600.55	c #Conflicts:      77000 | #Constraints:      50266
598.66/600.55	c #Conflicts:      78000 | #Constraints:      51266
598.66/600.55	c #Conflicts:      79000 | #Constraints:      52266
598.66/600.55	c #Conflicts:      80000 | #Constraints:      53266
598.66/600.55	c #Conflicts:      81000 | #Constraints:      54266
598.66/600.55	c #Conflicts:      82000 | #Constraints:      55266
598.66/600.55	c #Conflicts:      83000 | #Constraints:      56266
598.66/600.55	c #Conflicts:      84000 | #Constraints:      57266
598.66/600.55	c INPROCESSING
598.66/600.55	c GARBAGE COLLECT
598.66/600.55	c #Conflicts:      85000 | #Constraints:      45274
598.66/600.55	c #Conflicts:      86000 | #Constraints:      46274
598.66/600.55	c #Conflicts:      87000 | #Constraints:      47274
598.66/600.55	c #Conflicts:      88000 | #Constraints:      48274
598.66/600.55	c #Conflicts:      89000 | #Constraints:      49274
598.66/600.55	c #Conflicts:      90000 | #Constraints:      50274
598.66/600.55	c #Conflicts:      91000 | #Constraints:      51274
598.66/600.55	c INPROCESSING
598.66/600.55	c GARBAGE COLLECT
598.66/600.55	c #Conflicts:      92000 | #Constraints:      42025
598.66/600.55	c #Conflicts:      93000 | #Constraints:      43025
598.66/600.55	c #Conflicts:      94000 | #Constraints:      44025
598.66/600.55	c #Conflicts:      95000 | #Constraints:      45025
598.66/600.55	c #Conflicts:      96000 | #Constraints:      46025
598.66/600.55	c #Conflicts:      97000 | #Constraints:      47025
598.66/600.55	c #Conflicts:      98000 | #Constraints:      48025
598.66/600.55	c #Conflicts:      99000 | #Constraints:      49025
598.66/600.55	c #Conflicts:     100000 | #Constraints:      50025
598.66/600.55	c #Conflicts:     101000 | #Constraints:      51025
598.66/600.55	c #Conflicts:     102000 | #Constraints:      52025
598.66/600.55	c #Conflicts:     103000 | #Constraints:      53025
598.66/600.55	c #Conflicts:     104000 | #Constraints:      54025
598.66/600.55	c #Conflicts:     105000 | #Constraints:      55025
598.66/600.55	c #Conflicts:     106000 | #Constraints:      56025
598.66/600.55	c #Conflicts:     107000 | #Constraints:      57025
598.66/600.55	c #Conflicts:     108000 | #Constraints:      58025
598.66/600.55	c #Conflicts:     109000 | #Constraints:      59025
598.66/600.55	c #Conflicts:     110000 | #Constraints:      60025
598.66/600.55	c #Conflicts:     111000 | #Constraints:      61025
598.66/600.55	c #Conflicts:     112000 | #Constraints:      62025
598.66/600.55	c #Conflicts:     113000 | #Constraints:      63025
598.66/600.55	c INPROCESSING
598.66/600.55	c GARBAGE COLLECT
598.66/600.55	c #Conflicts:     114000 | #Constraints:      47874
598.66/600.55	c #Conflicts:     115000 | #Constraints:      48874
598.66/600.55	c #Conflicts:     116000 | #Constraints:      49874
598.66/600.55	c #Conflicts:     117000 | #Constraints:      50874
598.66/600.55	c #Conflicts:     118000 | #Constraints:      51874
598.66/600.55	c #Conflicts:     119000 | #Constraints:      52874
598.66/600.55	c #Conflicts:     120000 | #Constraints:      53874
598.66/600.55	c #Conflicts:     121000 | #Constraints:      54874
598.66/600.55	c #Conflicts:     122000 | #Constraints:      55874
598.66/600.55	c INPROCESSING
598.66/600.55	c GARBAGE COLLECT
598.66/600.55	c #Conflicts:     123000 | #Constraints:      44397
598.66/600.55	c #Conflicts:     124000 | #Constraints:      45397
598.66/600.55	c #Conflicts:     125000 | #Constraints:      46397
598.66/600.55	c #Conflicts:     126000 | #Constraints:      47397
598.66/600.55	c #Conflicts:     127000 | #Constraints:      48397
598.66/600.55	c #Conflicts:     128000 | #Constraints:      49397
598.66/600.55	c #Conflicts:     129000 | #Constraints:      50397
598.66/600.55	c #Conflicts:     130000 | #Constraints:      51397
598.66/600.55	c #Conflicts:     131000 | #Constraints:      52397
598.66/600.55	c #Conflicts:     132000 | #Constraints:      53397
598.66/600.55	c #Conflicts:     133000 | #Constraints:      54397
598.66/600.55	c #Conflicts:     134000 | #Constraints:      55397
598.66/600.55	c #Conflicts:     135000 | #Constraints:      56397
598.66/600.55	c #Conflicts:     136000 | #Constraints:      57397
598.66/600.55	c #Conflicts:     137000 | #Constraints:      58397
598.66/600.55	c #Conflicts:     138000 | #Constraints:      59397
598.66/600.55	c #Conflicts:     139000 | #Constraints:      60397
598.66/600.55	c #Conflicts:     140000 | #Constraints:      61397
598.66/600.55	c #Conflicts:     141000 | #Constraints:      62397
598.66/600.55	c #Conflicts:     142000 | #Constraints:      63397
598.66/600.55	c #Conflicts:     143000 | #Constraints:      64397
598.66/600.55	c #Conflicts:     144000 | #Constraints:      65397
598.66/600.55	c #Conflicts:     145000 | #Constraints:      66397
598.66/600.55	c #Conflicts:     146000 | #Constraints:      67397
1686.85/1691.81	c #Conflicts:     147000 | #Constraints:      68397
1686.85/1691.81	c INPROCESSING
1686.85/1691.81	c GARBAGE COLLECT
1686.85/1691.81	c #Conflicts:     148000 | #Constraints:      50654
1686.85/1691.81	c #Conflicts:     149000 | #Constraints:      51654
1686.85/1691.81	c #Conflicts:     150000 | #Constraints:      52654
1686.85/1691.81	c #Conflicts:     151000 | #Constraints:      53654
1686.85/1691.81	c #Conflicts:     152000 | #Constraints:      54654
1686.85/1691.81	c #Conflicts:     153000 | #Constraints:      55654
1686.85/1691.81	c #Conflicts:     154000 | #Constraints:      56654
1686.85/1691.81	c #Conflicts:     155000 | #Constraints:      57654
1686.85/1691.81	c #Conflicts:     156000 | #Constraints:      58654
1686.85/1691.81	c #Conflicts:     157000 | #Constraints:      59654
1686.85/1691.81	c INPROCESSING
1686.85/1691.81	c GARBAGE COLLECT
1686.85/1691.81	c #Conflicts:     158000 | #Constraints:      46208
1686.85/1691.81	c #Conflicts:     159000 | #Constraints:      47208
1686.85/1691.81	c #Conflicts:     160000 | #Constraints:      48208
1686.85/1691.81	c #Conflicts:     161000 | #Constraints:      49208
1686.85/1691.81	c #Conflicts:     162000 | #Constraints:      50208
1686.85/1691.81	c #Conflicts:     163000 | #Constraints:      51208
1686.85/1691.81	c #Conflicts:     164000 | #Constraints:      52208
1686.85/1691.81	c #Conflicts:     165000 | #Constraints:      53208
1686.85/1691.81	c #Conflicts:     166000 | #Constraints:      54208
1686.85/1691.81	c #Conflicts:     167000 | #Constraints:      55208
1686.85/1691.81	c #Conflicts:     168000 | #Constraints:      56208
1686.85/1691.81	c #Conflicts:     169000 | #Constraints:      57208
1686.85/1691.81	c #Conflicts:     170000 | #Constraints:      58208
1686.85/1691.81	c #Conflicts:     171000 | #Constraints:      59208
1686.85/1691.81	c #Conflicts:     172000 | #Constraints:      60208
1686.85/1691.81	c #Conflicts:     173000 | #Constraints:      61208
1686.85/1691.81	c #Conflicts:     174000 | #Constraints:      62208
1686.85/1691.81	c #Conflicts:     175000 | #Constraints:      63208
1686.85/1691.81	c #Conflicts:     176000 | #Constraints:      64208
1686.85/1691.81	c #Conflicts:     177000 | #Constraints:      65208
1686.85/1691.81	c #Conflicts:     178000 | #Constraints:      66208
1686.85/1691.81	c #Conflicts:     179000 | #Constraints:      67208
1686.85/1691.81	c #Conflicts:     180000 | #Constraints:      68208
1686.85/1691.81	c #Conflicts:     181000 | #Constraints:      69208
1686.85/1691.81	c #Conflicts:     182000 | #Constraints:      70208
1686.85/1691.81	c #Conflicts:     183000 | #Constraints:      71208
1686.85/1691.81	c #Conflicts:     184000 | #Constraints:      72208
1686.85/1691.81	c #Conflicts:     185000 | #Constraints:      73208
1686.85/1691.81	c #Conflicts:     186000 | #Constraints:      74208
1686.85/1691.81	c INPROCESSING
1686.85/1691.81	c GARBAGE COLLECT
1686.85/1691.81	c #Conflicts:     187000 | #Constraints:      53914
1686.85/1691.81	c #Conflicts:     188000 | #Constraints:      54914
1686.85/1691.81	c #Conflicts:     189000 | #Constraints:      55914
1686.85/1691.81	c #Conflicts:     190000 | #Constraints:      56914
1686.85/1691.81	c #Conflicts:     191000 | #Constraints:      57914
1686.85/1691.81	c #Conflicts:     192000 | #Constraints:      58914
1686.85/1691.81	c #Conflicts:     193000 | #Constraints:      59914
1686.85/1691.81	c #Conflicts:     194000 | #Constraints:      60914
1686.85/1691.81	c #Conflicts:     195000 | #Constraints:      61914
1686.85/1691.81	c #Conflicts:     196000 | #Constraints:      62914
1686.85/1691.81	c #Conflicts:     197000 | #Constraints:      63914
1686.85/1691.81	c INPROCESSING
1686.85/1691.81	c GARBAGE COLLECT
1686.85/1691.81	c #Conflicts:     198000 | #Constraints:      49091
1686.85/1691.81	c #Conflicts:     199000 | #Constraints:      50091
1686.85/1691.81	c #Conflicts:     200000 | #Constraints:      51091
1686.85/1691.81	c #Conflicts:     201000 | #Constraints:      52091
1686.85/1691.81	c #Conflicts:     202000 | #Constraints:      53091
1686.85/1691.81	c #Conflicts:     203000 | #Constraints:      54091
1686.85/1691.81	c #Conflicts:     204000 | #Constraints:      55091
1686.85/1691.81	c #Conflicts:     205000 | #Constraints:      56091
1686.85/1691.81	c #Conflicts:     206000 | #Constraints:      57091
1686.85/1691.81	c #Conflicts:     207000 | #Constraints:      58091
1686.85/1691.81	c #Conflicts:     208000 | #Constraints:      59091
1686.85/1691.81	c #Conflicts:     209000 | #Constraints:      60091
1686.85/1691.81	c #Conflicts:     210000 | #Constraints:      61091
1686.85/1691.81	c #Conflicts:     211000 | #Constraints:      62091
1686.85/1691.81	c #Conflicts:     212000 | #Constraints:      63091
1686.85/1691.81	c #Conflicts:     213000 | #Constraints:      64091
1686.85/1691.81	c #Conflicts:     214000 | #Constraints:      65091
1686.85/1691.81	c #Conflicts:     215000 | #Constraints:      66091
1686.85/1691.81	c #Conflicts:     216000 | #Constraints:      67091
1686.85/1691.81	c #Conflicts:     217000 | #Constraints:      68091
1686.85/1691.81	c #Conflicts:     218000 | #Constraints:      69091
1686.85/1691.81	c #Conflicts:     219000 | #Constraints:      70091
1686.85/1691.81	c #Conflicts:     220000 | #Constraints:      71091
1686.85/1691.81	c #Conflicts:     221000 | #Constraints:      72091
1686.85/1691.81	c #Conflicts:     222000 | #Constraints:      73091
3600.02/3611.02	c #Conflicts:     223000 | #Constraints:      74091
3600.02/3611.02	c #Conflicts:     224000 | #Constraints:      75091
3600.02/3611.02	c #Conflicts:     225000 | #Constraints:      76091
3600.02/3611.02	c #Conflicts:     226000 | #Constraints:      77091
3600.02/3611.02	c #Conflicts:     227000 | #Constraints:      78091
3600.02/3611.02	c #Conflicts:     228000 | #Constraints:      79091
3600.02/3611.02	c INPROCESSING
3600.02/3611.02	c GARBAGE COLLECT
3600.02/3611.02	c #Conflicts:     229000 | #Constraints:      55983
3600.02/3611.02	c #Conflicts:     230000 | #Constraints:      56983
3600.02/3611.02	c #Conflicts:     231000 | #Constraints:      57983
3600.02/3611.02	c #Conflicts:     232000 | #Constraints:      58983
3600.02/3611.02	c #Conflicts:     233000 | #Constraints:      59983
3600.02/3611.02	c #Conflicts:     234000 | #Constraints:      60983
3600.02/3611.02	c #Conflicts:     235000 | #Constraints:      61983
3600.02/3611.02	c #Conflicts:     236000 | #Constraints:      62983
3600.02/3611.02	c #Conflicts:     237000 | #Constraints:      63983
3600.02/3611.02	c #Conflicts:     238000 | #Constraints:      64983
3600.02/3611.02	c #Conflicts:     239000 | #Constraints:      65983
3600.02/3611.02	c #Conflicts:     240000 | #Constraints:      66983
3600.02/3611.02	c #Conflicts:     241000 | #Constraints:      67983
3600.02/3611.02	c INPROCESSING
3600.02/3611.02	c GARBAGE COLLECT
3600.02/3611.02	c #Conflicts:     242000 | #Constraints:      53487
3600.02/3611.02	c #Conflicts:     243000 | #Constraints:      54487
3600.02/3611.02	c #Conflicts:     244000 | #Constraints:      55487
3600.02/3611.02	c #Conflicts:     245000 | #Constraints:      56487
3600.02/3611.02	c #Conflicts:     246000 | #Constraints:      57487
3600.02/3611.02	c #Conflicts:     247000 | #Constraints:      58487
3600.02/3611.02	c #Conflicts:     248000 | #Constraints:      59487
3600.02/3611.02	c #Conflicts:     249000 | #Constraints:      60487
3600.02/3611.02	c #Conflicts:     250000 | #Constraints:      61487
3600.02/3611.02	c #Conflicts:     251000 | #Constraints:      62487
3600.02/3611.02	c #Conflicts:     252000 | #Constraints:      63487
3600.02/3611.02	c #Conflicts:     253000 | #Constraints:      64487
3600.02/3611.02	c #Conflicts:     254000 | #Constraints:      65487
3600.02/3611.02	c #Conflicts:     255000 | #Constraints:      66487
3600.02/3611.02	c #Conflicts:     256000 | #Constraints:      67487
3600.02/3611.02	c #Conflicts:     257000 | #Constraints:      68487
3600.02/3611.02	c #Conflicts:     258000 | #Constraints:      69487
3600.02/3611.02	c #Conflicts:     259000 | #Constraints:      70487
3600.02/3611.02	c #Conflicts:     260000 | #Constraints:      71487
3600.02/3611.02	c #Conflicts:     261000 | #Constraints:      72487
3600.02/3611.02	c #Conflicts:     262000 | #Constraints:      73487
3600.02/3611.02	c #Conflicts:     263000 | #Constraints:      74487
3600.02/3611.02	c #Conflicts:     264000 | #Constraints:      75487
3600.02/3611.02	c #Conflicts:     265000 | #Constraints:      76487
3600.02/3611.02	c #Conflicts:     266000 | #Constraints:      77487
3600.02/3611.02	c #Conflicts:     267000 | #Constraints:      78487
3600.02/3611.02	c #Conflicts:     268000 | #Constraints:      79487
3600.02/3611.02	c #Conflicts:     269000 | #Constraints:      80487
3600.02/3611.02	c #Conflicts:     270000 | #Constraints:      81487
3600.02/3611.02	c #Conflicts:     271000 | #Constraints:      82487
3600.02/3611.02	c #Conflicts:     272000 | #Constraints:      83487
3600.02/3611.02	c #Conflicts:     273000 | #Constraints:      84487
3600.02/3611.02	c #Conflicts:     274000 | #Constraints:      85487
3600.02/3611.02	c #Conflicts:     275000 | #Constraints:      86487
3600.02/3611.02	c #Conflicts:     276000 | #Constraints:      87487
3600.02/3611.02	c INPROCESSING
3600.02/3611.02	c GARBAGE COLLECT
3600.02/3611.02	c #Conflicts:     277000 | #Constraints:      60611
3600.02/3611.02	c #Conflicts:     278000 | #Constraints:      61611
3600.02/3611.02	c #Conflicts:     279000 | #Constraints:      62611
3600.02/3611.02	c #Conflicts:     280000 | #Constraints:      63611
3600.02/3611.02	c #Conflicts:     281000 | #Constraints:      64611
3600.02/3611.02	c #Conflicts:     282000 | #Constraints:      65611
3600.02/3611.02	c #Conflicts:     283000 | #Constraints:      66611
3600.02/3611.02	c #Conflicts:     284000 | #Constraints:      67611
3600.02/3611.02	c Program interrupted by user.
3600.02/3611.02	c cpu time 3594.46 s
3600.02/3611.02	c deterministic time 238506587961 2.39e+11
3600.02/3611.02	c optimization time 287.426 s
3600.02/3611.02	c total solve time 3306.88 s
3600.02/3611.02	c core-guided solve time 3306.88 s
3600.02/3611.02	c propagation time 3362.78 s
3600.02/3611.02	c conflict analysis time 210.195 s
3600.02/3611.02	c propagations 270813269
3600.02/3611.02	c resolve steps 8798159
3600.02/3611.02	c decisions 3013962
3600.02/3611.02	c conflicts 284316
3600.02/3611.02	c restarts 675
3600.02/3611.02	c inprocessing phases 24
3600.02/3611.02	c input clauses 20600
3600.02/3611.02	c input cardinalities 0
3600.02/3611.02	c input general constraints 9801
3600.02/3611.02	c input average constraint length 3.13
3600.02/3611.02	c input average constraint degree 10424415317162506934288384.00
3600.02/3611.02	c learned clauses 52139
3600.02/3611.02	c learned cardinalities 60
3600.02/3611.02	c learned general constraints 232118
3600.02/3611.02	c learned average constraint length 240.07
3600.02/3611.02	c learned average constraint degree 134172851.97
3600.02/3611.02	c watched constraints 222116
3600.02/3611.02	c counting constraints 19803
3600.02/3611.02	c gcd simplifications 13941
3600.02/3611.02	c detected cardinalities 5
3600.02/3611.02	c weakened non-implied lits 3716067
3600.02/3611.02	c weakened non-implying lits 179057
3600.02/3611.02	c original variables 15200
3600.02/3611.02	c clausal propagations 135298836
3600.02/3611.02	c cardinality propagations 801
3600.02/3611.02	c watched propagations 21109621
3600.02/3611.02	c counting propagations 114290219
3600.02/3611.02	c watch lookups 59834104533
3600.02/3611.02	c watch backjump lookups 57897785460
3600.02/3611.02	c watch checks 73489772312
3600.02/3611.02	c propagation checks 46516345322
3600.02/3611.02	c constraint additions 220641745
3600.02/3611.02	c trail pops 274111357
3600.02/3611.02	c formula constraints 30400
3600.02/3611.02	c learned constraints 284317
3600.02/3611.02	c bound constraints 1
3600.02/3611.02	c core-guided constraints 0
3600.02/3611.02	c encountered formula constraints 6713910
3600.02/3611.02	c encountered learned constraints 2368565
3600.02/3611.02	c encountered bound constraints 0
3600.02/3611.02	c encountered core-guided constraints 0
3600.02/3611.02	c LP total time 0 s
3600.02/3611.02	c LP solve time 0 s
3600.02/3611.02	c LP constraints added 0
3600.02/3611.02	c LP constraints removed 0
3600.02/3611.02	c LP pivots internal 0
3600.02/3611.02	c LP pivots root 0
3600.02/3611.02	c LP calls 0
3600.02/3611.02	c LP optimalities 0
3600.02/3611.02	c LP no pivot count 0
3600.02/3611.02	c LP infeasibilities 0
3600.02/3611.02	c LP valid Farkas constraints 0
3600.02/3611.02	c LP learned Farkas constraints 0
3600.02/3611.02	c LP basis resets 0
3600.02/3611.02	c LP cycling count 0
3600.02/3611.02	c LP singular count 0
3600.02/3611.02	c LP no primal count 0
3600.02/3611.02	c LP no farkas count 0
3600.02/3611.02	c LP other issue count 0
3600.02/3611.02	c LP Gomory cuts 0
3600.02/3611.02	c LP learned cuts 0
3600.02/3611.02	c LP deleted cuts 0
3600.02/3611.02	c LP encountered Gomory constraints 0
3600.02/3611.02	c LP encountered Farkas constraints 0
3600.02/3611.02	c LP encountered learned Farkas constraints 0
3600.02/3611.02	c CG auxiliary variables introduced 0
3600.02/3611.02	c CG solutions found 0
3600.02/3611.02	c CG cores constructed 1
3600.02/3611.02	c CG core cardinality constraints returned 0
3600.02/3611.02	c CG unit cores 0
3600.02/3611.02	c CG single cores 1
3600.02/3611.02	c CG blocks removed during cardinality reduction 0
3600.02/3611.02	c CG first core best 0
3600.02/3611.02	c CG decision core best 0
3600.02/3611.02	c CG core reduction tie 0
3600.02/3611.02	c CG core degree average 1.00
3600.02/3611.02	c CG core slack average 3.00
3600.02/3611.02	c CG exhausted 0
3600.02/3611.02	c CG exhaust time 0 s
3600.02/3611.02	c CG trimmed 0
3600.02/3611.02	c CG trim time 0 s
3600.02/3611.02	c CG minimized 0
3600.02/3611.02	c CG minimize time 0 s
3600.02/3611.02	c CG am1 prop time 0 s
3600.02/3611.02	c CG # am1s reformulated 0
3600.02/3611.02	c CG lower bound derived from am1s 0
3600.02/3611.02	c CG # clausal cores 1
3600.02/3611.02	c CG # cardinality cores 0
3600.02/3611.02	c CG # pb cores 0
3600.02/3611.02	c CG # pb reforms 0
3600.02/3611.02	c CG # cores discarded because of pb reform 0
3600.02/3611.02	d LOWERBOUND -9223372036854775808
3600.02/3611.02	d NCORES 1
3600.02/3611.02	d NPBCORES 0
3600.02/3611.02	d NPBREFORM 0
3600.02/3611.02	d NTRIMMED 0
3600.02/3611.02	d NEXHAUSTED 0
3600.02/3611.02	d NAM1S 0
3600.02/3611.02	d AM1LB 0
3600.02/3611.03	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: 63794 MiB (63044 MiB free)
  memory of node 1: 64507 MiB (63645 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519183-1751553490/watcher-4519183-1751553490 -o /tmp/evaluation-result-4519183-1751553490/solver-4519183-1751553490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77709 --watchdog 3760 mixed-bag HOME/instance-4519183-1751553490.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=77756, runsolver pid=77749
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 1.42 3.22 3.81 5/249 77765
/proc/meminfo: memFree=129729144/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=84896 memory=14996 CPUtime=0.07 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 1385 0 1 0 4 3 0 0 20 0 1 0 71028706 86933504 3749 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 21224 3749 2112 2842 0 3457 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 84896 KiB
Current children cumulated memory: 14996 KiB

[startup+0.21383 s]*
/proc/loadavg: 1.42 3.22 3.81 6/247 77770
/proc/meminfo: memFree=129712200/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=85736 memory=15764 CPUtime=0.18 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 1578 0 1 0 12 6 0 0 20 0 1 0 71028706 87793664 3941 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 21434 3941 2112 2842 0 3667 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 85736 KiB
Current children cumulated memory: 15764 KiB

[startup+0.313001 s]*
/proc/loadavg: 1.42 3.22 3.81 5/247 77773
/proc/meminfo: memFree=129700860/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=88672 memory=19604 CPUtime=0.28 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 2393 0 1 0 19 9 0 0 20 0 1 0 71028706 90800128 4901 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 22168 4901 2304 2842 0 4401 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 88672 KiB
Current children cumulated memory: 19604 KiB

[startup+0.70027 s]
/proc/loadavg: 1.42 3.22 3.81 5/245 77777
/proc/meminfo: memFree=129661096/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=88952 memory=19860 CPUtime=0.64 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 2452 0 1 0 54 10 0 0 20 0 1 0 71028706 91086848 4965 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 22238 4965 2304 2842 0 4471 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 88952 KiB
Current children cumulated memory: 19860 KiB

[startup+1.50023 s]
/proc/loadavg: 1.42 3.22 3.81 5/243 77781
/proc/meminfo: memFree=129626504/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=90300 memory=23204 CPUtime=1.44 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 2903 0 1 0 131 13 0 0 20 0 1 0 71028706 92467200 5801 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 22575 5801 2304 2842 0 4808 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 90300 KiB
Current children cumulated memory: 23204 KiB

[startup+3.11316 s]
/proc/loadavg: 1.42 3.22 3.81 6/248 77845
/proc/meminfo: memFree=129241392/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=91592 memory=24484 CPUtime=3.04 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 3238 0 1 0 285 19 0 0 20 0 1 0 71028706 93790208 6121 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 22898 6121 2304 2842 0 5131 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 91592 KiB
Current children cumulated memory: 24484 KiB

[startup+6.30032 s]
/proc/loadavg: 1.63 3.24 3.81 6/251 77855
/proc/meminfo: memFree=127861540/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=97260 memory=27940 CPUtime=6.21 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 4098 0 1 0 598 23 0 0 20 0 1 0 71028706 99594240 6985 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 24315 6985 2304 2842 0 6548 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 97260 KiB
Current children cumulated memory: 27940 KiB

[startup+12.7003 s]
/proc/loadavg: 1.90 3.27 3.82 6/251 77855
/proc/meminfo: memFree=122586524/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=104872 memory=36768 CPUtime=12.59 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 5797 0 1 0 1228 31 0 0 20 0 1 0 71028706 107388928 9192 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 26218 9192 2304 2842 0 8451 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 104872 KiB
Current children cumulated memory: 36768 KiB

[startup+25.5002 s]
/proc/loadavg: 2.22 3.29 3.82 6/251 77855
/proc/meminfo: memFree=117390988/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=117204 memory=46076 CPUtime=25.34 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 7609 0 1 0 2493 41 0 0 20 0 1 0 71028706 120016896 11519 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 29301 11519 2304 2842 0 11534 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 117204 KiB
Current children cumulated memory: 46076 KiB

[startup+51.1131 s]
/proc/loadavg: 2.93 3.36 3.83 6/251 77855
/proc/meminfo: memFree=117557876/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=136344 memory=65512 CPUtime=50.88 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 9949 0 1 0 5028 60 0 0 20 0 1 0 71028706 139616256 16378 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 34086 16378 2304 2842 0 16319 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 136344 KiB
Current children cumulated memory: 65512 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 3.51 3.85 6/251 77857
/proc/meminfo: memFree=116968508/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=148224 memory=76392 CPUtime=101.89 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 12744 0 1 0 10100 89 0 0 20 0 1 0 71028706 151781376 19098 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 37056 19098 2304 2842 0 19289 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 148224 KiB
Current children cumulated memory: 76392 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 3.61 3.87 6/253 77861
/proc/meminfo: memFree=116477080/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=180436 memory=98696 CPUtime=161.72 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 16551 0 1 0 16064 108 0 0 20 0 1 0 71028706 184766464 24674 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 45109 24674 2304 2842 0 27342 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 180436 KiB
Current children cumulated memory: 98696 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.70 3.89 6/252 77864
/proc/meminfo: memFree=116425040/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=181100 memory=99208 CPUtime=221.53 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 16694 0 1 0 22024 129 0 0 20 0 1 0 71028706 185446400 24802 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 45275 24802 2304 2842 0 27508 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 181100 KiB
Current children cumulated memory: 99208 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.79 3.91 6/252 77866
/proc/meminfo: memFree=116040864/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=182736 memory=100744 CPUtime=281.34 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 17094 0 1 0 27990 144 0 0 20 0 1 0 71028706 187121664 25186 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 45684 25186 2304 2842 0 27917 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 182736 KiB
Current children cumulated memory: 100744 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.85 3.92 5/252 77913
/proc/meminfo: memFree=115234560/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=191504 memory=116412 CPUtime=341.13 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 18956 0 1 0 33953 160 0 0 20 0 1 0 71028706 196100096 29103 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 47876 29103 2304 2842 0 30109 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 191504 KiB
Current children cumulated memory: 116412 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.91 3.94 5/253 77920
/proc/meminfo: memFree=115049544/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=191836 memory=116784 CPUtime=400.99 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 19613 0 1 0 39920 179 0 0 20 0 1 0 71028706 196440064 29196 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 47959 29196 2304 2842 0 30192 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 191836 KiB
Current children cumulated memory: 116784 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.94 3.95 5/252 77922
/proc/meminfo: memFree=114018368/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=191836 memory=116784 CPUtime=460.83 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 19643 0 1 0 45888 195 0 0 20 0 1 0 71028706 196440064 29196 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 47959 29196 2304 2842 0 30192 0
Current children cumulated CPU time: 460.83 s

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

Current children cumulated memory: 251352 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.18 4.11 5/249 79165
/proc/meminfo: memFree=125689636/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=358748 memory=252504 CPUtime=2853.81 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 42035 0 1 0 284884 497 0 0 20 0 1 0 71028706 367357952 63126 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 89687 63126 2304 2842 0 71920 0
Current children cumulated CPU time: 2853.81 s
Current children cumulated vsize: 358748 KiB
Current children cumulated memory: 252504 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.18 4.11 5/249 79167
/proc/meminfo: memFree=125648244/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=360348 memory=253784 CPUtime=2913.61 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 42380 0 1 0 290859 502 0 0 20 0 1 0 71028706 368996352 63446 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 90087 63446 2304 2842 0 72320 0
Current children cumulated CPU time: 2913.61 s
Current children cumulated vsize: 360348 KiB
Current children cumulated memory: 253784 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/250 79172
/proc/meminfo: memFree=125609616/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=361564 memory=255192 CPUtime=2973.41 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 42710 0 1 0 296833 508 0 0 20 0 1 0 71028706 370241536 63798 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 90391 63798 2304 2842 0 72624 0
Current children cumulated CPU time: 2973.41 s
Current children cumulated vsize: 361564 KiB
Current children cumulated memory: 255192 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/250 79174
/proc/meminfo: memFree=125583400/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=363612 memory=256728 CPUtime=3033.21 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 43106 0 1 0 302810 511 0 0 20 0 1 0 71028706 372338688 64182 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 90903 64182 2304 2842 0 73136 0
Current children cumulated CPU time: 3033.21 s
Current children cumulated vsize: 363612 KiB
Current children cumulated memory: 256728 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/250 79176
/proc/meminfo: memFree=125496508/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=365532 memory=258648 CPUtime=3093.01 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 43584 0 1 0 308785 516 0 0 20 0 1 0 71028706 374304768 64662 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 91383 64662 2304 2842 0 73616 0
Current children cumulated CPU time: 3093.01 s
Current children cumulated vsize: 365532 KiB
Current children cumulated memory: 258648 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/250 79178
/proc/meminfo: memFree=125441772/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=367392 memory=260440 CPUtime=3152.81 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 44028 0 1 0 314762 519 0 0 20 0 1 0 71028706 376209408 65110 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 91848 65110 2304 2842 0 74081 0
Current children cumulated CPU time: 3152.81 s
Current children cumulated vsize: 367392 KiB
Current children cumulated memory: 260440 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/250 79180
/proc/meminfo: memFree=125364428/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=370624 memory=262872 CPUtime=3212.61 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 44666 0 1 0 320737 524 0 0 20 0 1 0 71028706 379518976 65718 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 92656 65718 2304 2842 0 74889 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 370624 KiB
Current children cumulated memory: 262872 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/250 79182
/proc/meminfo: memFree=125320452/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=373888 memory=265944 CPUtime=3272.41 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 45416 0 1 0 326711 530 0 0 20 0 1 0 71028706 382861312 66486 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 93472 66486 2304 2842 0 75705 0
Current children cumulated CPU time: 3272.41 s
Current children cumulated vsize: 373888 KiB
Current children cumulated memory: 265944 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/250 79184
/proc/meminfo: memFree=125320964/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=375756 memory=267524 CPUtime=3332.2 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 46089 0 1 0 332687 533 0 0 20 0 1 0 71028706 384774144 66881 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 93939 66881 2304 2842 0 76172 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 375756 KiB
Current children cumulated memory: 267524 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/250 79186
/proc/meminfo: memFree=125262272/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=375756 memory=267524 CPUtime=3392 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 46089 0 1 0 338660 540 0 0 20 0 1 0 71028706 384774144 66881 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 93939 66881 2304 2842 0 76172 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 375756 KiB
Current children cumulated memory: 267524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/250 79192
/proc/meminfo: memFree=125247728/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=375756 memory=267524 CPUtime=3451.8 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 46089 0 1 0 344635 545 0 0 20 0 1 0 71028706 384774144 66881 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 93939 66881 2304 2842 0 76172 0
Current children cumulated CPU time: 3451.8 s
Current children cumulated vsize: 375756 KiB
Current children cumulated memory: 267524 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/250 79194
/proc/meminfo: memFree=124531048/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=375756 memory=267524 CPUtime=3511.6 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 46090 0 1 0 350610 550 0 0 20 0 1 0 71028706 384774144 66881 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 93939 66881 2304 2842 0 76172 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 375756 KiB
Current children cumulated memory: 267524 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/249 79198
/proc/meminfo: memFree=124425356/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=375756 memory=267524 CPUtime=3571.4 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 46090 0 1 0 356586 554 0 0 20 0 1 0 71028706 384774144 66881 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 93939 66881 2304 2842 0 76172 0
Current children cumulated CPU time: 3571.4 s
Current children cumulated vsize: 375756 KiB
Current children cumulated memory: 267524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.11 4.13 4.09 5/249 79199
/proc/meminfo: memFree=124424600/131382112 swapFree=33010416/33010684
[pid=77756] ppid=77749 vsize=375756 memory=267524 CPUtime=3600.02 cores=5,7
/proc/77756/stat : 77756 (mixed-bag) R 77749 77756 77674 0 -1 4194304 46090 0 1 0 359445 557 0 0 20 0 1 0 71028706 384774144 66881 18446744073709551615 4235264 15874749 140723398281760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 39473152 140723398285724 140723398285801 140723398285801 140723398291403 0
/proc/77756/statm: 93939 66881 2304 2842 0 76172 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 375756 KiB
Current children cumulated memory: 267524 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.47 s, system=5.58579 s

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

Child status: 0

Real time (s): 3611.03
CPU time (s): 3600.05
CPU user time (s): 3594.47
CPU system time (s): 5.58579
CPU usage (%): 99.6959
Max. virtual memory (cumulated for all children) (KiB): 376992
Max. memory (cumulated for all children) (KiB): 268632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.47
system time used= 5.5858
maximum resident set size= 268632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46121
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199
involuntary context switches= 3492


# summary of solver processes directly reported to runsolver:
#   pid: 77756
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3594.47
#   total CPU system time (s): 5.58579

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4328 second user time and 35.3546 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-03 16:38:10
IDJOB=4519183
IDBENCH=177185
IDSOLVER=3340
FILE ID=nodeC012/4519183-1751553490
RUNJOBID= nodeC012-1751553490-77709
SLURM_JOB_ID= 9598739
Free space on /tmp= 431860 MiB

SOLVER NAME= mixed-bag-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= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519183-1751553490/watcher-4519183-1751553490 -o /tmp/evaluation-result-4519183-1751553490/solver-4519183-1751553490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77709 --watchdog 3760  mixed-bag HOME/instance-4519183-1751553490.opb

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

MD5SUM BENCH= 1dc1bfd723a572791c0842725d28eb02
RANDOM SEED=1102447568

nodeC012 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.217
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.39
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		: 1197.152
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.39
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.260
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.39
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		: 3700.000
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.39
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.153
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.39
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		: 1197.157
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.39
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.103
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.39
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		: 3700.000
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129731060 kB
MemAvailable:   129943408 kB
Buffers:            2136 kB
Cached:          1013148 kB
SwapCached:           16 kB
Active:           684352 kB
Inactive:         394980 kB
Active(anon):      75008 kB
Inactive(anon):     6996 kB
Active(file):     609344 kB
Inactive(file):   387984 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             63640 kB
Writeback:             8 kB
AnonPages:         67116 kB
Mapped:           103364 kB
Shmem:             17944 kB
KReclaimable:     108912 kB
Slab:             194060 kB
SReclaimable:     108912 kB
SUnreclaim:        85148 kB
KernelStack:        3808 kB
PageTables:         2760 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     330012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431800 MiB
End job on nodeC012 at 2025-07-03 17:38:21