Trace number 4454913

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-07-19? (TO) 3600.11 3609.15

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB6483124683

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-stp3d.opb
MD5SUMa4b0cd988cdc47ea50384dbc6c682a43
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables204880
Total number of constraints159488
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)5805
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint2
Maximum length of a constraint120
Number of terms in the objective function 75648
Biggest coefficient in the objective function 100303
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 7576266096
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 100303
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7576266096
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
1.10/1.19	c [STEP] preprocessing with Papilo
20.73/20.89	c [STEP] solving with SCIP
320.74/321.76	c [STEP] preprocessing done, loading into solver
321.14/322.13	c [STEP] solving
321.14/322.13	c #variables 175269 #constraints 160185
321.14/322.13	c SMALL=int, LARGE=long long
321.14/322.13	d SCIPUB 6483124683
321.14/322.13	c bounds - >= -12 @ 320.505
321.14/322.13	c stratification level: 100301
467.85/469.21	c #Conflicts:       1000 | #Constraints:     161184
467.85/469.21	c #Conflicts:       2000 | #Constraints:     162184
467.85/469.21	c INPROCESSING
467.85/469.21	c #Conflicts:       3000 | #Constraints:     161117
467.85/469.21	c #Conflicts:       4000 | #Constraints:     162117
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:       5000 | #Constraints:     155324
467.85/469.21	c #Conflicts:       6000 | #Constraints:     156324
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:       7000 | #Constraints:     155461
467.85/469.21	c #Conflicts:       8000 | #Constraints:     156461
467.85/469.21	c #Conflicts:       9000 | #Constraints:     157461
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:      10000 | #Constraints:     156259
467.85/469.21	c #Conflicts:      11000 | #Constraints:     157259
467.85/469.21	c #Conflicts:      12000 | #Constraints:     158259
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:      13000 | #Constraints:     156519
467.85/469.21	c #Conflicts:      14000 | #Constraints:     157519
467.85/469.21	c #Conflicts:      15000 | #Constraints:     158519
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:      16000 | #Constraints:     156090
467.85/469.21	c #Conflicts:      17000 | #Constraints:     157090
467.85/469.21	c #Conflicts:      18000 | #Constraints:     158090
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:      19000 | #Constraints:     156144
467.85/469.21	c #Conflicts:      20000 | #Constraints:     157144
467.85/469.21	c #Conflicts:      21000 | #Constraints:     158144
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:      22000 | #Constraints:     155978
467.85/469.21	c #Conflicts:      23000 | #Constraints:     156978
467.85/469.21	c #Conflicts:      24000 | #Constraints:     157978
467.85/469.21	c #Conflicts:      25000 | #Constraints:     158978
467.85/469.21	c #Conflicts:      26000 | #Constraints:     159978
467.85/469.21	c #Conflicts:      27000 | #Constraints:     160978
467.85/469.21	c #Conflicts:      28000 | #Constraints:     161978
467.85/469.21	c #Conflicts:      29000 | #Constraints:     162978
467.85/469.21	c #Conflicts:      30000 | #Constraints:     163978
467.85/469.21	c #Conflicts:      31000 | #Constraints:     164978
467.85/469.21	c #Conflicts:      32000 | #Constraints:     165978
467.85/469.21	c #Conflicts:      33000 | #Constraints:     166978
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:      34000 | #Constraints:     160355
467.85/469.21	c #Conflicts:      35000 | #Constraints:     161355
467.85/469.21	c #Conflicts:      36000 | #Constraints:     162355
467.85/469.21	c #Conflicts:      37000 | #Constraints:     163355
467.85/469.21	c #Conflicts:      38000 | #Constraints:     164355
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:      39000 | #Constraints:     159348
467.85/469.21	c #Conflicts:      40000 | #Constraints:     160348
467.85/469.21	c #Conflicts:      41000 | #Constraints:     161348
467.85/469.21	c #Conflicts:      42000 | #Constraints:     162348
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:      43000 | #Constraints:     157916
467.85/469.21	c #Conflicts:      44000 | #Constraints:     158916
467.85/469.21	c #Conflicts:      45000 | #Constraints:     159916
467.85/469.21	c #Conflicts:      46000 | #Constraints:     160916
467.85/469.21	c #Conflicts:      47000 | #Constraints:     161916
467.85/469.21	c #Conflicts:      48000 | #Constraints:     162916
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:      49000 | #Constraints:     158644
467.85/469.21	c #Conflicts:      50000 | #Constraints:     159644
467.85/469.21	c #Conflicts:      51000 | #Constraints:     160644
467.85/469.21	c #Conflicts:      52000 | #Constraints:     161644
467.85/469.21	c #Conflicts:      53000 | #Constraints:     162644
467.85/469.21	c #Conflicts:      54000 | #Constraints:     163644
467.85/469.21	c #Conflicts:      55000 | #Constraints:     164644
467.85/469.21	c #Conflicts:      56000 | #Constraints:     165644
467.85/469.21	c #Conflicts:      57000 | #Constraints:     166644
467.85/469.21	c #Conflicts:      58000 | #Constraints:     167644
467.85/469.21	c #Conflicts:      59000 | #Constraints:     168644
467.85/469.21	c #Conflicts:      60000 | #Constraints:     169644
467.85/469.21	c #Conflicts:      61000 | #Constraints:     170644
467.85/469.21	c #Conflicts:      62000 | #Constraints:     171644
467.85/469.21	c #Conflicts:      63000 | #Constraints:     172644
467.85/469.21	c #Conflicts:      64000 | #Constraints:     173644
467.85/469.21	c #Conflicts:      65000 | #Constraints:     174644
467.85/469.21	c INPROCESSING
467.85/469.21	c GARBAGE COLLECT
467.85/469.21	c #Conflicts:      66000 | #Constraints:     164266
467.85/469.21	c #Conflicts:      67000 | #Constraints:     165266
467.85/469.21	c #Conflicts:      68000 | #Constraints:     166266
467.85/469.21	c #Conflicts:      69000 | #Constraints:     167266
467.85/469.21	c #Conflicts:      70000 | #Constraints:     168266
467.85/469.21	c #Conflicts:      71000 | #Constraints:     169266
700.86/702.84	c INPROCESSING
700.86/702.84	c GARBAGE COLLECT
700.86/702.84	c #Conflicts:      72000 | #Constraints:     161608
700.86/702.84	c #Conflicts:      73000 | #Constraints:     162608
700.86/702.84	c #Conflicts:      74000 | #Constraints:     163608
700.86/702.84	c #Conflicts:      75000 | #Constraints:     164608
700.86/702.84	c #Conflicts:      76000 | #Constraints:     165608
700.86/702.84	c #Conflicts:      77000 | #Constraints:     166608
700.86/702.84	c #Conflicts:      78000 | #Constraints:     167608
700.86/702.84	c INPROCESSING
700.86/702.84	c GARBAGE COLLECT
700.86/702.84	c #Conflicts:      79000 | #Constraints:     161003
700.86/702.84	c #Conflicts:      80000 | #Constraints:     162003
700.86/702.84	c #Conflicts:      81000 | #Constraints:     163003
700.86/702.84	c #Conflicts:      82000 | #Constraints:     164003
700.86/702.84	c #Conflicts:      83000 | #Constraints:     165003
700.86/702.84	c #Conflicts:      84000 | #Constraints:     166003
700.86/702.84	c #Conflicts:      85000 | #Constraints:     167003
700.86/702.84	c #Conflicts:      86000 | #Constraints:     168003
700.86/702.84	c #Conflicts:      87000 | #Constraints:     169003
700.86/702.84	c #Conflicts:      88000 | #Constraints:     170003
700.86/702.84	c #Conflicts:      89000 | #Constraints:     171003
700.86/702.84	c #Conflicts:      90000 | #Constraints:     172003
700.86/702.84	c #Conflicts:      91000 | #Constraints:     173003
700.86/702.84	c #Conflicts:      92000 | #Constraints:     174003
700.86/702.84	c #Conflicts:      93000 | #Constraints:     175003
700.86/702.84	c #Conflicts:      94000 | #Constraints:     176003
700.86/702.84	c #Conflicts:      95000 | #Constraints:     177003
700.86/702.84	c #Conflicts:      96000 | #Constraints:     178003
700.86/702.84	c #Conflicts:      97000 | #Constraints:     179003
700.86/702.84	c #Conflicts:      98000 | #Constraints:     180003
700.86/702.84	c #Conflicts:      99000 | #Constraints:     181003
700.86/702.84	c INPROCESSING
700.86/702.84	c GARBAGE COLLECT
700.86/702.84	c #Conflicts:     100000 | #Constraints:     167672
700.86/702.84	c #Conflicts:     101000 | #Constraints:     168672
700.86/702.84	c #Conflicts:     102000 | #Constraints:     169672
700.86/702.84	c #Conflicts:     103000 | #Constraints:     170672
700.86/702.84	c #Conflicts:     104000 | #Constraints:     171672
700.86/702.84	c #Conflicts:     105000 | #Constraints:     172672
700.86/702.84	c #Conflicts:     106000 | #Constraints:     173672
700.86/702.84	c #Conflicts:     107000 | #Constraints:     174672
700.86/702.84	c INPROCESSING
700.86/702.84	c GARBAGE COLLECT
700.86/702.84	c #Conflicts:     108000 | #Constraints:     164524
700.86/702.84	c #Conflicts:     109000 | #Constraints:     165524
700.86/702.84	c #Conflicts:     110000 | #Constraints:     166524
700.86/702.84	c #Conflicts:     111000 | #Constraints:     167524
700.86/702.84	c #Conflicts:     112000 | #Constraints:     168524
700.86/702.84	c #Conflicts:     113000 | #Constraints:     169524
700.86/702.84	c #Conflicts:     114000 | #Constraints:     170524
700.86/702.84	c #Conflicts:     115000 | #Constraints:     171524
700.86/702.84	c INPROCESSING
700.86/702.84	c GARBAGE COLLECT
700.86/702.84	c #Conflicts:     116000 | #Constraints:     162978
700.86/702.84	c #Conflicts:     117000 | #Constraints:     163978
700.86/702.84	c #Conflicts:     118000 | #Constraints:     164978
700.86/702.84	c #Conflicts:     119000 | #Constraints:     165978
700.86/702.84	c #Conflicts:     120000 | #Constraints:     166978
700.86/702.84	c #Conflicts:     121000 | #Constraints:     167978
700.86/702.84	c #Conflicts:     122000 | #Constraints:     168978
700.86/702.84	c #Conflicts:     123000 | #Constraints:     169978
700.86/702.84	c INPROCESSING
700.86/702.84	c GARBAGE COLLECT
700.86/702.84	c #Conflicts:     124000 | #Constraints:     162033
700.86/702.84	c #Conflicts:     125000 | #Constraints:     163033
700.86/702.84	c #Conflicts:     126000 | #Constraints:     164033
700.86/702.84	c #Conflicts:     127000 | #Constraints:     165033
700.86/702.84	c #Conflicts:     128000 | #Constraints:     166033
700.86/702.84	c #Conflicts:     129000 | #Constraints:     167033
700.86/702.84	c #Conflicts:     130000 | #Constraints:     168033
700.86/702.84	c #Conflicts:     131000 | #Constraints:     169033
700.86/702.84	c #Conflicts:     132000 | #Constraints:     170033
700.86/702.84	c #Conflicts:     133000 | #Constraints:     171033
700.86/702.84	c #Conflicts:     134000 | #Constraints:     172033
700.86/702.84	c #Conflicts:     135000 | #Constraints:     173033
700.86/702.84	c #Conflicts:     136000 | #Constraints:     174033
700.86/702.84	c #Conflicts:     137000 | #Constraints:     175033
700.86/702.84	c #Conflicts:     138000 | #Constraints:     176033
700.86/702.84	c #Conflicts:     139000 | #Constraints:     177033
700.86/702.84	c #Conflicts:     140000 | #Constraints:     178033
700.86/702.84	c #Conflicts:     141000 | #Constraints:     179033
700.86/702.84	c #Conflicts:     142000 | #Constraints:     180033
700.86/702.84	c #Conflicts:     143000 | #Constraints:     181033
700.86/702.84	c #Conflicts:     144000 | #Constraints:     182033
700.86/702.84	c #Conflicts:     145000 | #Constraints:     183033
700.86/702.84	c #Conflicts:     146000 | #Constraints:     184033
1476.26/1480.23	c #Conflicts:     147000 | #Constraints:     185033
1476.26/1480.23	c #Conflicts:     148000 | #Constraints:     186033
1476.26/1480.23	c #Conflicts:     149000 | #Constraints:     187033
1476.26/1480.23	c #Conflicts:     150000 | #Constraints:     188033
1476.26/1480.23	c INPROCESSING
1476.26/1480.23	c GARBAGE COLLECT
1476.26/1480.23	c #Conflicts:     151000 | #Constraints:     171322
1476.26/1480.23	c #Conflicts:     152000 | #Constraints:     172322
1476.26/1480.23	c #Conflicts:     153000 | #Constraints:     173322
1476.26/1480.23	c #Conflicts:     154000 | #Constraints:     174322
1476.26/1480.23	c #Conflicts:     155000 | #Constraints:     175322
1476.26/1480.23	c #Conflicts:     156000 | #Constraints:     176322
1476.26/1480.23	c #Conflicts:     157000 | #Constraints:     177322
1476.26/1480.23	c #Conflicts:     158000 | #Constraints:     178322
1476.26/1480.23	c #Conflicts:     159000 | #Constraints:     179322
1476.26/1480.23	c INPROCESSING
1476.26/1480.23	c GARBAGE COLLECT
1476.26/1480.23	c #Conflicts:     160000 | #Constraints:     166664
1476.26/1480.23	c #Conflicts:     161000 | #Constraints:     167664
1476.26/1480.23	c #Conflicts:     162000 | #Constraints:     168664
1476.26/1480.23	c #Conflicts:     163000 | #Constraints:     169664
1476.26/1480.23	c #Conflicts:     164000 | #Constraints:     170664
1476.26/1480.23	c #Conflicts:     165000 | #Constraints:     171664
1476.26/1480.23	c #Conflicts:     166000 | #Constraints:     172664
1476.26/1480.23	c #Conflicts:     167000 | #Constraints:     173664
1476.26/1480.23	c #Conflicts:     168000 | #Constraints:     174664
1476.26/1480.23	c #Conflicts:     169000 | #Constraints:     175664
1476.26/1480.23	c INPROCESSING
1476.26/1480.23	c GARBAGE COLLECT
1476.26/1480.23	c #Conflicts:     170000 | #Constraints:     164980
1476.26/1480.23	c #Conflicts:     171000 | #Constraints:     165980
1476.26/1480.23	c #Conflicts:     172000 | #Constraints:     166980
1476.26/1480.23	c #Conflicts:     173000 | #Constraints:     167980
1476.26/1480.23	c #Conflicts:     174000 | #Constraints:     168980
1476.26/1480.23	c #Conflicts:     175000 | #Constraints:     169980
1476.26/1480.23	c #Conflicts:     176000 | #Constraints:     170980
1476.26/1480.23	c #Conflicts:     177000 | #Constraints:     171980
1476.26/1480.23	c #Conflicts:     178000 | #Constraints:     172980
1476.26/1480.23	c #Conflicts:     179000 | #Constraints:     173980
1476.26/1480.23	c INPROCESSING
1476.26/1480.23	c GARBAGE COLLECT
1476.26/1480.23	c #Conflicts:     180000 | #Constraints:     164134
1476.26/1480.23	c #Conflicts:     181000 | #Constraints:     165134
1476.26/1480.23	c #Conflicts:     182000 | #Constraints:     166134
1476.26/1480.23	c #Conflicts:     183000 | #Constraints:     167134
1476.26/1480.23	c #Conflicts:     184000 | #Constraints:     168134
1476.26/1480.23	c #Conflicts:     185000 | #Constraints:     169134
1476.26/1480.23	c #Conflicts:     186000 | #Constraints:     170134
1476.26/1480.23	c #Conflicts:     187000 | #Constraints:     171134
1476.26/1480.23	c #Conflicts:     188000 | #Constraints:     172134
1476.26/1480.23	c #Conflicts:     189000 | #Constraints:     173134
1476.26/1480.23	c #Conflicts:     190000 | #Constraints:     174134
1476.26/1480.23	c #Conflicts:     191000 | #Constraints:     175134
1476.26/1480.23	c #Conflicts:     192000 | #Constraints:     176134
1476.26/1480.23	c #Conflicts:     193000 | #Constraints:     177134
1476.26/1480.23	c #Conflicts:     194000 | #Constraints:     178134
1476.26/1480.23	c #Conflicts:     195000 | #Constraints:     179134
1476.26/1480.23	c #Conflicts:     196000 | #Constraints:     180134
1476.26/1480.23	c #Conflicts:     197000 | #Constraints:     181134
1476.26/1480.23	c #Conflicts:     198000 | #Constraints:     182134
1476.26/1480.23	c #Conflicts:     199000 | #Constraints:     183134
1476.26/1480.23	c #Conflicts:     200000 | #Constraints:     184134
1476.26/1480.23	c #Conflicts:     201000 | #Constraints:     185134
1476.26/1480.23	c #Conflicts:     202000 | #Constraints:     186134
1476.26/1480.23	c #Conflicts:     203000 | #Constraints:     187134
1476.26/1480.23	c #Conflicts:     204000 | #Constraints:     188134
1476.26/1480.23	c #Conflicts:     205000 | #Constraints:     189134
1476.26/1480.23	c #Conflicts:     206000 | #Constraints:     190134
1476.26/1480.23	c #Conflicts:     207000 | #Constraints:     191134
1476.26/1480.23	c #Conflicts:     208000 | #Constraints:     192134
1476.26/1480.23	c #Conflicts:     209000 | #Constraints:     193134
1476.26/1480.23	c #Conflicts:     210000 | #Constraints:     194134
1476.26/1480.23	c #Conflicts:     211000 | #Constraints:     195134
1476.26/1480.23	c INPROCESSING
1476.26/1480.23	c GARBAGE COLLECT
1476.26/1480.23	c #Conflicts:     212000 | #Constraints:     174880
1476.26/1480.23	c #Conflicts:     213000 | #Constraints:     175880
1476.26/1480.23	c #Conflicts:     214000 | #Constraints:     176880
1476.26/1480.23	c #Conflicts:     215000 | #Constraints:     177880
1476.26/1480.23	c #Conflicts:     216000 | #Constraints:     178880
1476.26/1480.23	c #Conflicts:     217000 | #Constraints:     179880
1476.26/1480.23	c #Conflicts:     218000 | #Constraints:     180880
1476.26/1480.23	c #Conflicts:     219000 | #Constraints:     181880
1476.26/1480.23	c #Conflicts:     220000 | #Constraints:     182880
1476.26/1480.23	c #Conflicts:     221000 | #Constraints:     183880
1476.26/1480.23	c #Conflicts:     222000 | #Constraints:     184880
1899.54/1904.56	c INPROCESSING
1899.54/1904.56	c GARBAGE COLLECT
1899.54/1904.56	c #Conflicts:     223000 | #Constraints:     169655
1899.54/1904.56	c #Conflicts:     224000 | #Constraints:     170655
1899.54/1904.56	c #Conflicts:     225000 | #Constraints:     171655
1899.54/1904.56	c #Conflicts:     226000 | #Constraints:     172655
1899.54/1904.56	c #Conflicts:     227000 | #Constraints:     173655
1899.54/1904.56	c #Conflicts:     228000 | #Constraints:     174655
1899.54/1904.56	c #Conflicts:     229000 | #Constraints:     175655
1899.54/1904.56	c #Conflicts:     230000 | #Constraints:     176655
1899.54/1904.56	c #Conflicts:     231000 | #Constraints:     177655
1899.54/1904.56	c #Conflicts:     232000 | #Constraints:     178655
1899.54/1904.56	c #Conflicts:     233000 | #Constraints:     179655
1899.54/1904.56	c #Conflicts:     234000 | #Constraints:     180655
1899.54/1904.56	c INPROCESSING
1899.54/1904.56	c GARBAGE COLLECT
1899.54/1904.56	c #Conflicts:     235000 | #Constraints:     167748
1899.54/1904.56	c #Conflicts:     236000 | #Constraints:     168748
1899.54/1904.56	c #Conflicts:     237000 | #Constraints:     169748
1899.54/1904.56	c #Conflicts:     238000 | #Constraints:     170748
1899.54/1904.56	c #Conflicts:     239000 | #Constraints:     171748
1899.54/1904.56	c #Conflicts:     240000 | #Constraints:     172748
1899.54/1904.56	c #Conflicts:     241000 | #Constraints:     173748
1899.54/1904.56	c #Conflicts:     242000 | #Constraints:     174748
1899.54/1904.56	c #Conflicts:     243000 | #Constraints:     175748
1899.54/1904.56	c #Conflicts:     244000 | #Constraints:     176748
1899.54/1904.56	c #Conflicts:     245000 | #Constraints:     177748
1899.54/1904.56	c INPROCESSING
1899.54/1904.56	c GARBAGE COLLECT
1899.54/1904.56	c #Conflicts:     246000 | #Constraints:     166035
1899.54/1904.56	c #Conflicts:     247000 | #Constraints:     167035
1899.54/1904.56	c #Conflicts:     248000 | #Constraints:     168035
1899.54/1904.56	c #Conflicts:     249000 | #Constraints:     169035
1899.54/1904.56	c #Conflicts:     250000 | #Constraints:     170035
1899.54/1904.56	c #Conflicts:     251000 | #Constraints:     171035
1899.54/1904.56	c #Conflicts:     252000 | #Constraints:     172035
1899.54/1904.56	c #Conflicts:     253000 | #Constraints:     173035
1899.54/1904.56	c #Conflicts:     254000 | #Constraints:     174035
1899.54/1904.56	c #Conflicts:     255000 | #Constraints:     175035
1899.54/1904.56	c #Conflicts:     256000 | #Constraints:     176035
1899.54/1904.56	c #Conflicts:     257000 | #Constraints:     177035
1899.54/1904.56	c #Conflicts:     258000 | #Constraints:     178035
1899.54/1904.56	c #Conflicts:     259000 | #Constraints:     179035
1899.54/1904.56	c #Conflicts:     260000 | #Constraints:     180035
1899.54/1904.56	c #Conflicts:     261000 | #Constraints:     181035
1899.54/1904.56	c #Conflicts:     262000 | #Constraints:     182035
1899.54/1904.56	c #Conflicts:     263000 | #Constraints:     183035
1899.54/1904.56	c #Conflicts:     264000 | #Constraints:     184035
1899.54/1904.56	c #Conflicts:     265000 | #Constraints:     185035
1899.54/1904.56	c #Conflicts:     266000 | #Constraints:     186035
1899.54/1904.56	c #Conflicts:     267000 | #Constraints:     187035
1899.54/1904.56	c #Conflicts:     268000 | #Constraints:     188035
1899.54/1904.56	c #Conflicts:     269000 | #Constraints:     189035
1899.54/1904.56	c #Conflicts:     270000 | #Constraints:     190035
1899.54/1904.56	c #Conflicts:     271000 | #Constraints:     191035
1899.54/1904.56	c #Conflicts:     272000 | #Constraints:     192035
1899.54/1904.56	c #Conflicts:     273000 | #Constraints:     193035
1899.54/1904.56	c #Conflicts:     274000 | #Constraints:     194035
1899.54/1904.56	c #Conflicts:     275000 | #Constraints:     195035
1899.54/1904.56	c #Conflicts:     276000 | #Constraints:     196035
1899.54/1904.56	c #Conflicts:     277000 | #Constraints:     197035
1899.54/1904.56	c #Conflicts:     278000 | #Constraints:     198035
1899.54/1904.56	c #Conflicts:     279000 | #Constraints:     199035
1899.54/1904.56	c #Conflicts:     280000 | #Constraints:     200035
1899.54/1904.56	c #Conflicts:     281000 | #Constraints:     201035
1899.54/1904.56	c #Conflicts:     282000 | #Constraints:     202035
1899.54/1904.56	c INPROCESSING
1899.54/1904.56	c GARBAGE COLLECT
1899.54/1904.56	c #Conflicts:     283000 | #Constraints:     178086
1899.54/1904.56	c #Conflicts:     284000 | #Constraints:     179086
1899.54/1904.56	c #Conflicts:     285000 | #Constraints:     180086
1899.54/1904.56	c #Conflicts:     286000 | #Constraints:     181086
1899.54/1904.56	c #Conflicts:     287000 | #Constraints:     182086
1899.54/1904.56	c #Conflicts:     288000 | #Constraints:     183086
1899.54/1904.56	c #Conflicts:     289000 | #Constraints:     184086
1899.54/1904.56	c #Conflicts:     290000 | #Constraints:     185086
1899.54/1904.56	c #Conflicts:     291000 | #Constraints:     186086
1899.54/1904.56	c #Conflicts:     292000 | #Constraints:     187086
1899.54/1904.56	c #Conflicts:     293000 | #Constraints:     188086
1899.54/1904.56	c #Conflicts:     294000 | #Constraints:     189086
1899.54/1904.56	c #Conflicts:     295000 | #Constraints:     190086
1899.54/1904.56	c INPROCESSING
1899.54/1904.56	c GARBAGE COLLECT
1899.54/1904.56	c #Conflicts:     296000 | #Constraints:     172131
1899.54/1904.56	c #Conflicts:     297000 | #Constraints:     173131
1899.54/1904.56	c #Conflicts:     298000 | #Constraints:     174131
2417.38/2423.66	c #Conflicts:     299000 | #Constraints:     175131
2417.38/2423.66	c #Conflicts:     300000 | #Constraints:     176131
2417.38/2423.66	c #Conflicts:     301000 | #Constraints:     177131
2417.38/2423.66	c #Conflicts:     302000 | #Constraints:     178131
2417.38/2423.66	c #Conflicts:     303000 | #Constraints:     179131
2417.38/2423.66	c #Conflicts:     304000 | #Constraints:     180131
2417.38/2423.66	c #Conflicts:     305000 | #Constraints:     181131
2417.38/2423.66	c #Conflicts:     306000 | #Constraints:     182131
2417.38/2423.66	c #Conflicts:     307000 | #Constraints:     183131
2417.38/2423.66	c #Conflicts:     308000 | #Constraints:     184131
2417.38/2423.66	c #Conflicts:     309000 | #Constraints:     185131
2417.38/2423.66	c INPROCESSING
2417.38/2423.66	c GARBAGE COLLECT
2417.38/2423.66	c #Conflicts:     310000 | #Constraints:     170173
2417.38/2423.66	c #Conflicts:     311000 | #Constraints:     171173
2417.38/2423.66	c #Conflicts:     312000 | #Constraints:     172173
2417.38/2423.66	c #Conflicts:     313000 | #Constraints:     173173
2417.38/2423.66	c #Conflicts:     314000 | #Constraints:     174173
2417.38/2423.66	c #Conflicts:     315000 | #Constraints:     175173
2417.38/2423.66	c #Conflicts:     316000 | #Constraints:     176173
2417.38/2423.66	c #Conflicts:     317000 | #Constraints:     177173
2417.38/2423.66	c #Conflicts:     318000 | #Constraints:     178173
2417.38/2423.66	c #Conflicts:     319000 | #Constraints:     179173
2417.38/2423.66	c #Conflicts:     320000 | #Constraints:     180173
2417.38/2423.66	c #Conflicts:     321000 | #Constraints:     181173
2417.38/2423.66	c #Conflicts:     322000 | #Constraints:     182173
2417.38/2423.66	c #Conflicts:     323000 | #Constraints:     183173
2417.38/2423.66	c #Conflicts:     324000 | #Constraints:     184173
2417.38/2423.66	c #Conflicts:     325000 | #Constraints:     185173
2417.38/2423.66	c #Conflicts:     326000 | #Constraints:     186173
2417.38/2423.66	c #Conflicts:     327000 | #Constraints:     187173
2417.38/2423.66	c #Conflicts:     328000 | #Constraints:     188173
2417.38/2423.66	c #Conflicts:     329000 | #Constraints:     189173
2417.38/2423.66	c #Conflicts:     330000 | #Constraints:     190173
2417.38/2423.66	c #Conflicts:     331000 | #Constraints:     191173
2417.38/2423.66	c #Conflicts:     332000 | #Constraints:     192173
2417.38/2423.66	c #Conflicts:     333000 | #Constraints:     193173
2417.38/2423.66	c #Conflicts:     334000 | #Constraints:     194173
2417.38/2423.66	c #Conflicts:     335000 | #Constraints:     195173
2417.38/2423.66	c #Conflicts:     336000 | #Constraints:     196173
2417.38/2423.66	c #Conflicts:     337000 | #Constraints:     197173
2417.38/2423.66	c #Conflicts:     338000 | #Constraints:     198173
2417.38/2423.66	c #Conflicts:     339000 | #Constraints:     199173
2417.38/2423.66	c #Conflicts:     340000 | #Constraints:     200173
2417.38/2423.66	c #Conflicts:     341000 | #Constraints:     201173
2417.38/2423.66	c #Conflicts:     342000 | #Constraints:     202173
2417.38/2423.66	c #Conflicts:     343000 | #Constraints:     203173
2417.38/2423.66	c #Conflicts:     344000 | #Constraints:     204173
2417.38/2423.66	c #Conflicts:     345000 | #Constraints:     205173
2417.38/2423.66	c #Conflicts:     346000 | #Constraints:     206173
2417.38/2423.66	c #Conflicts:     347000 | #Constraints:     207173
2417.38/2423.66	c #Conflicts:     348000 | #Constraints:     208173
2417.38/2423.66	c #Conflicts:     349000 | #Constraints:     209173
2417.38/2423.66	c #Conflicts:     350000 | #Constraints:     210173
2417.38/2423.66	c INPROCESSING
2417.38/2423.66	c GARBAGE COLLECT
2417.38/2423.66	c #Conflicts:     351000 | #Constraints:     181948
2417.38/2423.66	c #Conflicts:     352000 | #Constraints:     182948
2417.38/2423.66	c #Conflicts:     353000 | #Constraints:     183948
2417.38/2423.66	c #Conflicts:     354000 | #Constraints:     184948
2417.38/2423.66	c #Conflicts:     355000 | #Constraints:     185948
2417.38/2423.66	c #Conflicts:     356000 | #Constraints:     186948
2417.38/2423.66	c #Conflicts:     357000 | #Constraints:     187948
2417.38/2423.66	c #Conflicts:     358000 | #Constraints:     188948
2417.38/2423.66	c #Conflicts:     359000 | #Constraints:     189948
2417.38/2423.66	c #Conflicts:     360000 | #Constraints:     190948
2417.38/2423.66	c #Conflicts:     361000 | #Constraints:     191948
2417.38/2423.66	c #Conflicts:     362000 | #Constraints:     192948
2417.38/2423.66	c #Conflicts:     363000 | #Constraints:     193948
2417.38/2423.66	c #Conflicts:     364000 | #Constraints:     194948
2417.38/2423.66	c INPROCESSING
2417.38/2423.66	c GARBAGE COLLECT
2417.38/2423.66	c #Conflicts:     365000 | #Constraints:     174449
2417.38/2423.66	c #Conflicts:     366000 | #Constraints:     175449
2417.38/2423.66	c #Conflicts:     367000 | #Constraints:     176449
2417.38/2423.66	c #Conflicts:     368000 | #Constraints:     177449
2417.38/2423.66	c #Conflicts:     369000 | #Constraints:     178449
2417.38/2423.66	c #Conflicts:     370000 | #Constraints:     179449
2417.38/2423.66	c #Conflicts:     371000 | #Constraints:     180449
2417.38/2423.66	c #Conflicts:     372000 | #Constraints:     181449
2417.38/2423.66	c #Conflicts:     373000 | #Constraints:     182449
2417.38/2423.66	c #Conflicts:     374000 | #Constraints:     183449
3339.69/3348.19	c #Conflicts:     375000 | #Constraints:     184449
3339.69/3348.19	c #Conflicts:     376000 | #Constraints:     185449
3339.69/3348.19	c #Conflicts:     377000 | #Constraints:     186449
3339.69/3348.19	c #Conflicts:     378000 | #Constraints:     187449
3339.69/3348.19	c #Conflicts:     379000 | #Constraints:     188449
3339.69/3348.19	c INPROCESSING
3339.69/3348.19	c GARBAGE COLLECT
3339.69/3348.19	c #Conflicts:     380000 | #Constraints:     171292
3339.69/3348.19	c #Conflicts:     381000 | #Constraints:     172292
3339.69/3348.19	c #Conflicts:     382000 | #Constraints:     173292
3339.69/3348.19	c #Conflicts:     383000 | #Constraints:     174292
3339.69/3348.19	c #Conflicts:     384000 | #Constraints:     175292
3339.69/3348.19	c #Conflicts:     385000 | #Constraints:     176292
3339.69/3348.19	c #Conflicts:     386000 | #Constraints:     177292
3339.69/3348.19	c #Conflicts:     387000 | #Constraints:     178292
3339.69/3348.19	c #Conflicts:     388000 | #Constraints:     179292
3339.69/3348.19	c #Conflicts:     389000 | #Constraints:     180292
3339.69/3348.19	c #Conflicts:     390000 | #Constraints:     181292
3339.69/3348.19	c #Conflicts:     391000 | #Constraints:     182292
3339.69/3348.19	c #Conflicts:     392000 | #Constraints:     183292
3339.69/3348.19	c #Conflicts:     393000 | #Constraints:     184292
3339.69/3348.19	c #Conflicts:     394000 | #Constraints:     185292
3339.69/3348.19	c #Conflicts:     395000 | #Constraints:     186292
3339.69/3348.19	c #Conflicts:     396000 | #Constraints:     187292
3339.69/3348.19	c #Conflicts:     397000 | #Constraints:     188292
3339.69/3348.19	c #Conflicts:     398000 | #Constraints:     189292
3339.69/3348.19	c #Conflicts:     399000 | #Constraints:     190292
3339.69/3348.19	c #Conflicts:     400000 | #Constraints:     191292
3339.69/3348.19	c #Conflicts:     401000 | #Constraints:     192292
3339.69/3348.19	c #Conflicts:     402000 | #Constraints:     193292
3339.69/3348.19	c #Conflicts:     403000 | #Constraints:     194292
3339.69/3348.19	c #Conflicts:     404000 | #Constraints:     195292
3339.69/3348.19	c #Conflicts:     405000 | #Constraints:     196292
3339.69/3348.19	c #Conflicts:     406000 | #Constraints:     197292
3339.69/3348.19	c #Conflicts:     407000 | #Constraints:     198292
3339.69/3348.19	c #Conflicts:     408000 | #Constraints:     199292
3339.69/3348.19	c #Conflicts:     409000 | #Constraints:     200292
3339.69/3348.19	c #Conflicts:     410000 | #Constraints:     201292
3339.69/3348.19	c #Conflicts:     411000 | #Constraints:     202292
3339.69/3348.19	c #Conflicts:     412000 | #Constraints:     203292
3339.69/3348.19	c #Conflicts:     413000 | #Constraints:     204292
3339.69/3348.19	c #Conflicts:     414000 | #Constraints:     205292
3339.69/3348.19	c #Conflicts:     415000 | #Constraints:     206292
3339.69/3348.19	c #Conflicts:     416000 | #Constraints:     207292
3339.69/3348.19	c #Conflicts:     417000 | #Constraints:     208292
3339.69/3348.19	c #Conflicts:     418000 | #Constraints:     209292
3339.69/3348.19	c #Conflicts:     419000 | #Constraints:     210292
3339.69/3348.19	c #Conflicts:     420000 | #Constraints:     211292
3339.69/3348.19	c #Conflicts:     421000 | #Constraints:     212292
3339.69/3348.19	c #Conflicts:     422000 | #Constraints:     213292
3339.69/3348.19	c #Conflicts:     423000 | #Constraints:     214292
3339.69/3348.19	c #Conflicts:     424000 | #Constraints:     215292
3339.69/3348.19	c #Conflicts:     425000 | #Constraints:     216292
3339.69/3348.19	c INPROCESSING
3339.69/3348.19	c GARBAGE COLLECT
3339.69/3348.19	c #Conflicts:     426000 | #Constraints:     185540
3339.69/3348.19	c #Conflicts:     427000 | #Constraints:     186540
3339.69/3348.19	c #Conflicts:     428000 | #Constraints:     187540
3339.69/3348.19	c #Conflicts:     429000 | #Constraints:     188540
3339.69/3348.19	c #Conflicts:     430000 | #Constraints:     189540
3339.69/3348.19	c #Conflicts:     431000 | #Constraints:     190540
3339.69/3348.19	c #Conflicts:     432000 | #Constraints:     191540
3339.69/3348.19	c #Conflicts:     433000 | #Constraints:     192540
3339.69/3348.19	c #Conflicts:     434000 | #Constraints:     193540
3339.69/3348.19	c #Conflicts:     435000 | #Constraints:     194540
3339.69/3348.19	c #Conflicts:     436000 | #Constraints:     195540
3339.69/3348.19	c #Conflicts:     437000 | #Constraints:     196540
3339.69/3348.19	c #Conflicts:     438000 | #Constraints:     197540
3339.69/3348.19	c #Conflicts:     439000 | #Constraints:     198540
3339.69/3348.19	c #Conflicts:     440000 | #Constraints:     199540
3339.69/3348.19	c #Conflicts:     441000 | #Constraints:     200540
3339.69/3348.19	c INPROCESSING
3339.69/3348.19	c GARBAGE COLLECT
3339.69/3348.19	c #Conflicts:     442000 | #Constraints:     177647
3339.69/3348.19	c #Conflicts:     443000 | #Constraints:     178647
3339.69/3348.19	c #Conflicts:     444000 | #Constraints:     179647
3339.69/3348.19	c #Conflicts:     445000 | #Constraints:     180647
3339.69/3348.19	c #Conflicts:     446000 | #Constraints:     181647
3339.69/3348.19	c #Conflicts:     447000 | #Constraints:     182647
3339.69/3348.19	c #Conflicts:     448000 | #Constraints:     183647
3339.69/3348.19	c #Conflicts:     449000 | #Constraints:     184647
3339.69/3348.19	c #Conflicts:     450000 | #Constraints:     185647
3339.69/3348.19	c #Conflicts:     451000 | #Constraints:     186647
3600.07/3609.11	c #Conflicts:     452000 | #Constraints:     187647
3600.07/3609.11	c #Conflicts:     453000 | #Constraints:     188647
3600.07/3609.11	c #Conflicts:     454000 | #Constraints:     189647
3600.07/3609.11	c #Conflicts:     455000 | #Constraints:     190647
3600.07/3609.11	c #Conflicts:     456000 | #Constraints:     191647
3600.07/3609.11	c #Conflicts:     457000 | #Constraints:     192647
3600.07/3609.11	c INPROCESSING
3600.07/3609.11	c GARBAGE COLLECT
3600.07/3609.11	c #Conflicts:     458000 | #Constraints:     173779
3600.07/3609.11	c #Conflicts:     459000 | #Constraints:     174779
3600.07/3609.11	c #Conflicts:     460000 | #Constraints:     175779
3600.07/3609.11	c #Conflicts:     461000 | #Constraints:     176779
3600.07/3609.11	c #Conflicts:     462000 | #Constraints:     177779
3600.07/3609.11	c #Conflicts:     463000 | #Constraints:     178779
3600.07/3609.11	c #Conflicts:     464000 | #Constraints:     179779
3600.07/3609.11	c #Conflicts:     465000 | #Constraints:     180779
3600.07/3609.11	c #Conflicts:     466000 | #Constraints:     181779
3600.07/3609.11	c #Conflicts:     467000 | #Constraints:     182779
3600.07/3609.11	c #Conflicts:     468000 | #Constraints:     183779
3600.07/3609.11	c #Conflicts:     469000 | #Constraints:     184779
3600.07/3609.11	c #Conflicts:     470000 | #Constraints:     185779
3600.07/3609.11	c #Conflicts:     471000 | #Constraints:     186779
3600.07/3609.11	c #Conflicts:     472000 | #Constraints:     187779
3600.07/3609.11	c #Conflicts:     473000 | #Constraints:     188779
3600.07/3609.11	c #Conflicts:     474000 | #Constraints:     189779
3600.07/3609.11	c #Conflicts:     475000 | #Constraints:     190779
3600.07/3609.11	c #Conflicts:     476000 | #Constraints:     191779
3600.07/3609.11	c #Conflicts:     477000 | #Constraints:     192779
3600.07/3609.11	c #Conflicts:     478000 | #Constraints:     193779
3600.07/3609.11	c Program interrupted by user.
3600.07/3609.11	c cpu time 3593.53 s
3600.07/3609.11	c deterministic time 172153706252 1.72e+11
3600.07/3609.11	c optimization time 208.308 s
3600.07/3609.11	c total solve time 3064.72 s
3600.07/3609.11	c core-guided solve time 3064.72 s
3600.07/3609.11	c propagation time 955.285 s
3600.07/3609.11	c conflict analysis time 2260.61 s
3600.07/3609.11	c propagations 1838486582
3600.07/3609.11	c resolve steps 28240177
3600.07/3609.11	c decisions 4483866
3600.07/3609.11	c conflicts 478214
3600.07/3609.11	c restarts 1022
3600.07/3609.11	c inprocessing phases 36
3600.07/3609.11	c input clauses 110696
3600.07/3609.11	c input cardinalities 49489
3600.07/3609.11	c input general constraints 0
3600.07/3609.11	c input average constraint length 4.95
3600.07/3609.11	c input average constraint degree 2.87
3600.07/3609.11	c learned clauses 221562
3600.07/3609.11	c learned cardinalities 29730
3600.07/3609.11	c learned general constraints 226921
3600.07/3609.11	c learned average constraint length 1233.23
3600.07/3609.11	c learned average constraint degree 333499345.21
3600.07/3609.11	c watched constraints 118526
3600.07/3609.11	c counting constraints 108395
3600.07/3609.11	c gcd simplifications 1427
3600.07/3609.11	c detected cardinalities 39
3600.07/3609.11	c weakened non-implied lits 617675378
3600.07/3609.11	c weakened non-implying lits 194144
3600.07/3609.11	c original variables 204880
3600.07/3609.11	c clausal propagations 624747865
3600.07/3609.11	c cardinality propagations 965398187
3600.07/3609.11	c watched propagations 46720862
3600.07/3609.11	c counting propagations 187867166
3600.07/3609.11	c watch lookups 16337620333
3600.07/3609.11	c watch backjump lookups 14545820465
3600.07/3609.11	c watch checks 76959488051
3600.07/3609.11	c propagation checks 57382023872
3600.07/3609.11	c constraint additions 3242409666
3600.07/3609.11	c trail pops 1843373416
3600.07/3609.11	c formula constraints 160185
3600.07/3609.11	c learned constraints 478213
3600.07/3609.11	c bound constraints 0
3600.07/3609.11	c core-guided constraints 0
3600.07/3609.11	c encountered formula constraints 20960519
3600.07/3609.11	c encountered learned constraints 7757872
3600.07/3609.11	c encountered bound constraints 0
3600.07/3609.11	c encountered core-guided constraints 0
3600.07/3609.11	c LP total time 0 s
3600.07/3609.11	c LP solve time 0 s
3600.07/3609.11	c LP constraints added 0
3600.07/3609.11	c LP constraints removed 0
3600.07/3609.11	c LP pivots internal 0
3600.07/3609.11	c LP pivots root 0
3600.07/3609.11	c LP calls 0
3600.07/3609.11	c LP optimalities 0
3600.07/3609.11	c LP no pivot count 0
3600.07/3609.11	c LP infeasibilities 0
3600.07/3609.11	c LP valid Farkas constraints 0
3600.07/3609.11	c LP learned Farkas constraints 0
3600.07/3609.11	c LP basis resets 0
3600.07/3609.11	c LP cycling count 0
3600.07/3609.11	c LP singular count 0
3600.07/3609.11	c LP no primal count 0
3600.07/3609.11	c LP no farkas count 0
3600.07/3609.11	c LP other issue count 0
3600.07/3609.11	c LP Gomory cuts 0
3600.07/3609.11	c LP learned cuts 0
3600.07/3609.11	c LP deleted cuts 0
3600.07/3609.11	c LP encountered Gomory constraints 0
3600.07/3609.11	c LP encountered Farkas constraints 0
3600.07/3609.11	c LP encountered learned Farkas constraints 0
3600.07/3609.11	c CG auxiliary variables introduced 0
3600.07/3609.11	c CG solutions found 0
3600.07/3609.11	c CG cores constructed 0
3600.07/3609.11	c CG core cardinality constraints returned 0
3600.07/3609.11	c CG unit cores 0
3600.07/3609.11	c CG single cores 0
3600.07/3609.11	c CG blocks removed during cardinality reduction 0
3600.07/3609.11	c CG first core best 0
3600.07/3609.11	c CG decision core best 0
3600.07/3609.11	c CG core reduction tie 0
3600.07/3609.11	c CG core degree average 0.00
3600.07/3609.11	c CG core slack average 0.00
3600.07/3609.11	c CG exhausted 0
3600.07/3609.11	c CG exhaust time 0 s
3600.07/3609.11	c CG trimmed 0
3600.07/3609.11	c CG trim time 0 s
3600.07/3609.11	c CG minimized 0
3600.07/3609.11	c CG minimize time 0 s
3600.07/3609.11	c CG am1 prop time 0.000324 s
3600.07/3609.11	c CG # am1s reformulated 0
3600.07/3609.11	c CG lower bound derived from am1s 0
3600.07/3609.11	c CG # clausal cores 0
3600.07/3609.11	c CG # cardinality cores 0
3600.07/3609.11	c CG # pb cores 0
3600.07/3609.11	c CG # pb reforms 0
3600.07/3609.11	c CG # cores discarded because of pb reform 0
3600.07/3609.11	d LOWERBOUND 0
3600.07/3609.11	d NCORES 0
3600.07/3609.11	d NPBCORES 0
3600.07/3609.11	d NPBREFORM 0
3600.07/3609.11	d NTRIMMED 0
3600.07/3609.11	d NEXHAUSTED 0
3600.07/3609.11	d NAM1S 0
3600.07/3609.11	d AM1LB 0
3600.07/3609.11	c [Papilo Statistics]
3600.07/3609.11	c prepro time 19.691s
3600.07/3609.11	c # tsx applied 66116
3600.07/3609.11	c # tsx conflicts 528
3600.07/3609.11	c # bound changes 29424
3600.07/3609.11	c # side changes 47
3600.07/3609.11	c # coef changes 1112
3600.07/3609.11	c # rounds 13
3600.07/3609.11	c # deted vars 29612
3600.07/3609.11	c # deted constrs 23089
3600.07/3609.11	c # consecutive rounds of only bound changes 0
3600.07/3609.14	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62018 MiB free)
  memory of node 1: 64510 MiB (62871 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454913-1721473234/watcher-4454913-1721473234 -o /tmp/evaluation-result-4454913-1721473234/solver-4454913-1721473234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721472791-1072408 --watchdog 3760 mixed-bag HOME/instance-4454913-1721473234.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1073645, runsolver pid=1073642

[startup+0.100097 s]*
/proc/loadavg: 4.26 3.95 3.57 5/240 1073647
/proc/meminfo: memFree=127826476/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=116896 memory=40916 CPUtime=0.09 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 8895 0 0 0 7 2 0 0 20 0 1 0 199479486 119701504 10229 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 29224 10229 1552 3002 0 13512 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 116896 KiB
Current children cumulated memory: 40916 KiB

[startup+0.210675 s]*
/proc/loadavg: 4.26 3.95 3.57 6/245 1073657
/proc/meminfo: memFree=127800748/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=130216 memory=55808 CPUtime=0.21 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 12080 0 0 0 18 3 0 0 20 0 1 0 199479486 133341184 13952 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 32554 13952 1600 3002 0 16842 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 130216 KiB
Current children cumulated memory: 55808 KiB

[startup+0.310487 s]*
/proc/loadavg: 4.26 3.95 3.57 5/245 1073657
/proc/meminfo: memFree=127758592/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=138408 memory=62012 CPUtime=0.3 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 12618 0 0 0 27 3 0 0 20 0 1 0 199479486 141729792 15503 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 34602 15503 1600 3002 0 18890 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 138408 KiB
Current children cumulated memory: 62012 KiB

[startup+0.700337 s]
/proc/loadavg: 4.26 3.95 3.57 6/245 1073657
/proc/meminfo: memFree=127742548/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=138436 memory=65344 CPUtime=0.68 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 13918 0 0 0 64 4 0 0 20 0 1 0 199479486 141758464 16336 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 34609 16336 1600 3002 0 18897 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 138436 KiB
Current children cumulated memory: 65344 KiB

[startup+1.50035 s]
/proc/loadavg: 4.26 3.95 3.57 5/245 1073657
/proc/meminfo: memFree=127710104/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=301688 memory=216128 CPUtime=1.48 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 25683 0 0 0 139 9 0 0 20 0 1 0 199479486 308928512 54032 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 75422 54032 1738 3002 0 59171 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 301688 KiB
Current children cumulated memory: 216128 KiB

[startup+3.11332 s]
/proc/loadavg: 4.26 3.95 3.57 5/245 1073657
/proc/meminfo: memFree=127122112/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=302724 memory=217212 CPUtime=3.09 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 25909 0 0 0 300 9 0 0 20 0 1 0 199479486 309989376 54303 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 75681 54303 1818 3002 0 59430 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 302724 KiB
Current children cumulated memory: 217212 KiB

[startup+6.30032 s]
/proc/loadavg: 4.32 3.97 3.58 5/245 1073657
/proc/meminfo: memFree=126343624/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=302724 memory=217220 CPUtime=6.27 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 25945 0 0 0 618 9 0 0 20 0 1 0 199479486 309989376 54305 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 75681 54305 1818 3002 0 59430 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 302724 KiB
Current children cumulated memory: 217220 KiB

[startup+12.7003 s]
/proc/loadavg: 4.38 3.99 3.58 5/245 1073659
/proc/meminfo: memFree=125636708/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=302724 memory=217220 CPUtime=12.65 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 26014 0 0 0 1256 9 0 0 20 0 1 0 199479486 309989376 54305 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 75681 54305 1818 3002 0 59430 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 302724 KiB
Current children cumulated memory: 217220 KiB

[startup+25.5004 s]
/proc/loadavg: 4.36 4.00 3.60 5/245 1073671
/proc/meminfo: memFree=123907640/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1236832 memory=1075940 CPUtime=25.42 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 222990 0 0 0 2499 43 0 0 20 0 1 0 199479486 1266515968 268985 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 309208 268985 3900 3002 0 292957 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1236832 KiB
Current children cumulated memory: 1075940 KiB

[startup+51.1135 s]
/proc/loadavg: 4.24 4.00 3.61 5/245 1073676
/proc/meminfo: memFree=123407104/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1362172 memory=1189484 CPUtime=50.94 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 247786 0 0 0 5047 47 0 0 20 0 1 0 199479486 1394864128 297371 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 340543 297371 4044 3002 0 324292 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1362172 KiB
Current children cumulated memory: 1189484 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.03 3.64 6/245 1073684
/proc/meminfo: memFree=123385392/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1365164 memory=1193356 CPUtime=101.97 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 248767 0 0 0 10149 48 0 0 20 0 1 0 199479486 1397927936 298339 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 341291 298339 4044 3002 0 325040 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1365164 KiB
Current children cumulated memory: 1193356 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.05 3.68 5/244 1073696
/proc/meminfo: memFree=123366520/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1365432 memory=1193796 CPUtime=161.8 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 248940 0 0 0 16130 50 0 0 20 0 1 0 199479486 1398202368 298449 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 341358 298449 4044 3002 0 325107 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1365432 KiB
Current children cumulated memory: 1193796 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.07 3.71 5/243 1073706
/proc/meminfo: memFree=123186964/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1365856 memory=1194736 CPUtime=221.62 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 249167 0 0 0 22111 51 0 0 20 0 1 0 199479486 1398636544 298684 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 341464 298684 4044 3002 0 325213 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1365856 KiB
Current children cumulated memory: 1194736 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.10 3.75 5/243 1073718
/proc/meminfo: memFree=123183276/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1372292 memory=1200224 CPUtime=281.44 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 250558 0 0 0 28092 52 0 0 20 0 1 0 199479486 1405227008 300056 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 343073 300056 4044 3002 0 326822 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 1372292 KiB
Current children cumulated memory: 1200224 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.09 3.77 5/241 1073729
/proc/meminfo: memFree=124011328/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1126380 memory=1042996 CPUtime=341.27 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 253661 0 0 0 34022 105 0 0 20 0 1 0 199479486 1153413120 260749 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 281595 260749 4202 3002 0 265344 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 1126380 KiB
Current children cumulated memory: 1042996 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.11 3.80 5/241 1073739
/proc/meminfo: memFree=123944500/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1145348 memory=1069088 CPUtime=401.12 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 254581 0 0 0 39972 140 0 0 20 0 1 0 199479486 1172836352 267272 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 286337 267272 4202 3002 0 270086 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1145348 KiB
Current children cumulated memory: 1069088 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 3.82 5/241 1073749
/proc/meminfo: memFree=123804704/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1226256 memory=1129492 CPUtime=460.96 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 255396 0 0 0 45927 169 0 0 20 0 1 0 199479486 1255686144 282373 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 306564 282373 4202 3002 0 290313 0

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

Current children cumulated memory: 1511496 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 1074895
/proc/meminfo: memFree=114674488/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1511496 CPUtime=2914.89 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 270841 0 0 0 290896 593 0 0 20 0 1 0 199479486 1694543872 377874 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 377874 4202 3002 0 397456 0
Current children cumulated CPU time: 2914.89 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1511496 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/243 1074909
/proc/meminfo: memFree=114666696/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1511496 CPUtime=2974.74 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 271319 0 0 0 296877 597 0 0 20 0 1 0 199479486 1694543872 377874 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 377874 4202 3002 0 397456 0
Current children cumulated CPU time: 2974.74 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1511496 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/243 1074919
/proc/meminfo: memFree=114264856/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1511496 CPUtime=3034.61 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 271825 0 0 0 302861 600 0 0 20 0 1 0 199479486 1694543872 377874 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 377874 4202 3002 0 397456 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1511496 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/244 1074930
/proc/meminfo: memFree=114121312/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1511496 CPUtime=3094.47 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 272394 0 0 0 308843 604 0 0 20 0 1 0 199479486 1694543872 377874 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 377874 4202 3002 0 397456 0
Current children cumulated CPU time: 3094.47 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1511496 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/244 1074941
/proc/meminfo: memFree=114099232/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1511496 CPUtime=3154.33 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 272939 0 0 0 314826 607 0 0 20 0 1 0 199479486 1694543872 377874 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 377874 4202 3002 0 397456 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1511496 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/244 1074951
/proc/meminfo: memFree=114071084/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1525832 CPUtime=3214.18 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 273428 0 0 0 320802 616 0 0 20 0 1 0 199479486 1694543872 381458 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 381458 4202 3002 0 397456 0
Current children cumulated CPU time: 3214.18 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1525832 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/244 1075349
/proc/meminfo: memFree=113938776/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1525832 CPUtime=3274.04 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 273799 0 0 0 326784 620 0 0 20 0 1 0 199479486 1694543872 381458 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 381458 4202 3002 0 397456 0
Current children cumulated CPU time: 3274.04 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1525832 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/244 1075360
/proc/meminfo: memFree=113647924/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1525832 CPUtime=3333.9 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 274267 0 0 0 332767 623 0 0 20 0 1 0 199479486 1694543872 381458 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 381458 4202 3002 0 397456 0
Current children cumulated CPU time: 3333.9 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1525832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/244 1075370
/proc/meminfo: memFree=113638660/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1525832 CPUtime=3393.75 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 274793 0 0 0 338744 631 0 0 20 0 1 0 199479486 1694543872 381458 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 381458 4202 3002 0 397456 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1525832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/243 1075548
/proc/meminfo: memFree=113633788/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1525832 CPUtime=3453.6 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 275140 0 0 0 344720 640 0 0 20 0 1 0 199479486 1694543872 381458 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 381458 4202 3002 0 397456 0
Current children cumulated CPU time: 3453.6 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1525832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/244 1075560
/proc/meminfo: memFree=113627656/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1525832 CPUtime=3513.46 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 275634 0 0 0 350699 647 0 0 20 0 1 0 199479486 1694543872 381458 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 381458 4202 3002 0 397456 0
Current children cumulated CPU time: 3513.46 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1525832 KiB

[startup+3582.3 s]
/proc/loadavg: 4.37 4.18 4.11 5/246 1075574
/proc/meminfo: memFree=113203848/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1525832 CPUtime=3573.32 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 276175 0 0 0 356680 652 0 0 20 0 1 0 199479486 1694543872 381458 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 381458 4202 3002 0 397456 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1525832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.65 4.27 4.14 5/244 1075623
/proc/meminfo: memFree=112888464/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1525832 CPUtime=3600.07 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 276363 0 0 0 359353 654 0 0 20 0 1 0 199479486 1694543872 381458 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 381458 4202 3002 0 397456 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1525832 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.57 s, system=6.54543 s

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

[startup+3609.11 s]
/proc/loadavg: 4.65 4.27 4.14 5/244 1075623
/proc/meminfo: memFree=112888464/131655788 swapFree=131071996/131071996
[pid=1073645] ppid=1073642 vsize=1654828 memory=1525832 CPUtime=3600.07 cores=1,3
/proc/1073645/stat : 1073645 (mixed-bag) R 1073642 1073645 1072396 0 -1 4194304 276363 0 0 0 359353 654 0 0 20 0 1 0 199479486 1694543872 381458 134679101440 4194304 16488053 140735795222288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 43569152 140735795229717 140735795229794 140735795229794 140735795236811 0
/proc/1073645/statm: 413707 381458 4202 3002 0 397456 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1654828 KiB
Current children cumulated memory: 1525832 KiB

Child status: 0

Real time (s): 3609.15
CPU time (s): 3600.11
CPU user time (s): 3593.57
CPU system time (s): 6.54543
CPU usage (%): 99.7495
Max. virtual memory (cumulated for all children) (KiB): 1654828
Max. memory (cumulated for all children) (KiB): 1525832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.57
system time used= 6.54544
maximum resident set size= 1525832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276401
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= 122
involuntary context switches= 1830


# summary of solver processes directly reported to runsolver:
#   pid: 1073645
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3593.57
#   total CPU system time (s): 6.54543

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2426 second user time and 36.394 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 13:00:46
IDJOB=4454913
IDBENCH=155358
IDSOLVER=3083
FILE ID=nodeC003/4454913-1721473234
RUNJOBID= nodeC003-1721472791-1072408
SLURM_JOB_ID= 7545744
Free space on /tmp= 723716 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-stp3d.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454913-1721473234/watcher-4454913-1721473234 -o /tmp/evaluation-result-4454913-1721473234/solver-4454913-1721473234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721472791-1072408 --watchdog 3760  mixed-bag HOME/instance-4454913-1721473234.opb

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

MD5SUM BENCH= a4b0cd988cdc47ea50384dbc6c682a43
RANDOM SEED=219872694

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3597.273
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3492.396
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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.288
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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.216
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.881
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3645.505
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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.233
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.370
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127910464 kB
MemAvailable:   129301092 kB
Buffers:          585060 kB
Cached:          1646748 kB
SwapCached:            0 kB
Active:          1108200 kB
Inactive:        2078396 kB
Active(anon):       1428 kB
Inactive(anon):   999252 kB
Active(file):    1106772 kB
Inactive(file):  1079144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             47636 kB
Writeback:             0 kB
AnonPages:        954008 kB
Mapped:           129144 kB
Shmem:             45896 kB
KReclaimable:      89484 kB
Slab:             192612 kB
SReclaimable:      89484 kB
SUnreclaim:       103128 kB
KernelStack:        3856 kB
PageTables:        11164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1370244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    385024 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723644 MiB
End job on nodeC003 at 2024-07-20 14:00:55