Trace number 4454601

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-19? (TO) 3600.29 3609.73

DiagnosticValue
AM1LB119
LOWERBOUND0
NAM1S1
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb
MD5SUM56678f8f787569ff6bace689e56ab709
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 benchmark127
Best CPU time to get the best result obtained on this benchmark2000.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables180608
Total number of constraints3078
Number of constraints which are clauses1410
Number of constraints which are cardinality constraints (but not clauses)1410
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1411
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 495101
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1113385
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.31/0.36	c [STEP] solving
0.31/0.36	c #variables 180608 #constraints 3078
0.31/0.36	c SMALL=int, LARGE=long long
0.31/0.36	c bounds - >= 8 @ 0.329759
0.31/0.36	c stratification level: 0
300.29/301.03	c #Conflicts:       1000 | #Constraints:       4078
300.29/301.03	c #Conflicts:       2000 | #Constraints:       5078
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:       3000 | #Constraints:       5098
300.29/301.03	c #Conflicts:       4000 | #Constraints:       6098
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:       5000 | #Constraints:       5504
300.29/301.03	c #Conflicts:       6000 | #Constraints:       6504
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:       7000 | #Constraints:       5515
300.29/301.03	c #Conflicts:       8000 | #Constraints:       6515
300.29/301.03	c #Conflicts:       9000 | #Constraints:       7515
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      10000 | #Constraints:       6221
300.29/301.03	c #Conflicts:      11000 | #Constraints:       7221
300.29/301.03	c #Conflicts:      12000 | #Constraints:       8221
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      13000 | #Constraints:       6670
300.29/301.03	c #Conflicts:      14000 | #Constraints:       7670
300.29/301.03	c #Conflicts:      15000 | #Constraints:       8670
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      16000 | #Constraints:       6898
300.29/301.03	c #Conflicts:      17000 | #Constraints:       7898
300.29/301.03	c #Conflicts:      18000 | #Constraints:       8898
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      19000 | #Constraints:       6911
300.29/301.03	c #Conflicts:      20000 | #Constraints:       7911
300.29/301.03	c #Conflicts:      21000 | #Constraints:       8911
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      22000 | #Constraints:       6713
300.29/301.03	c #Conflicts:      23000 | #Constraints:       7713
300.29/301.03	c #Conflicts:      24000 | #Constraints:       8713
300.29/301.03	c #Conflicts:      25000 | #Constraints:       9713
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      26000 | #Constraints:       7322
300.29/301.03	c #Conflicts:      27000 | #Constraints:       8322
300.29/301.03	c #Conflicts:      28000 | #Constraints:       9322
300.29/301.03	c #Conflicts:      29000 | #Constraints:      10322
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      30000 | #Constraints:       7725
300.29/301.03	c #Conflicts:      31000 | #Constraints:       8725
300.29/301.03	c #Conflicts:      32000 | #Constraints:       9725
300.29/301.03	c #Conflicts:      33000 | #Constraints:      10725
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      34000 | #Constraints:       7923
300.29/301.03	c #Conflicts:      35000 | #Constraints:       8923
300.29/301.03	c #Conflicts:      36000 | #Constraints:       9923
300.29/301.03	c #Conflicts:      37000 | #Constraints:      10923
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      38000 | #Constraints:       7927
300.29/301.03	c #Conflicts:      39000 | #Constraints:       8927
300.29/301.03	c #Conflicts:      40000 | #Constraints:       9927
300.29/301.03	c #Conflicts:      41000 | #Constraints:      10927
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      42000 | #Constraints:       7734
300.29/301.03	c #Conflicts:      43000 | #Constraints:       8734
300.29/301.03	c #Conflicts:      44000 | #Constraints:       9734
300.29/301.03	c #Conflicts:      45000 | #Constraints:      10734
300.29/301.03	c #Conflicts:      46000 | #Constraints:      11734
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      47000 | #Constraints:       8337
300.29/301.03	c #Conflicts:      48000 | #Constraints:       9337
300.29/301.03	c #Conflicts:      49000 | #Constraints:      10337
300.29/301.03	c #Conflicts:      50000 | #Constraints:      11337
300.29/301.03	c #Conflicts:      51000 | #Constraints:      12337
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      52000 | #Constraints:       8737
300.29/301.03	c #Conflicts:      53000 | #Constraints:       9737
300.29/301.03	c #Conflicts:      54000 | #Constraints:      10737
300.29/301.03	c #Conflicts:      55000 | #Constraints:      11737
300.29/301.03	c #Conflicts:      56000 | #Constraints:      12737
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      57000 | #Constraints:       8932
300.29/301.03	c #Conflicts:      58000 | #Constraints:       9932
300.29/301.03	c #Conflicts:      59000 | #Constraints:      10932
300.29/301.03	c #Conflicts:      60000 | #Constraints:      11932
300.29/301.03	c #Conflicts:      61000 | #Constraints:      12932
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      62000 | #Constraints:       8932
300.29/301.03	c #Conflicts:      63000 | #Constraints:       9932
300.29/301.03	c #Conflicts:      64000 | #Constraints:      10932
300.29/301.03	c #Conflicts:      65000 | #Constraints:      11932
300.29/301.03	c #Conflicts:      66000 | #Constraints:      12932
300.29/301.03	c INPROCESSING
300.29/301.03	c GARBAGE COLLECT
300.29/301.03	c #Conflicts:      67000 | #Constraints:       8726
300.29/301.03	c #Conflicts:      68000 | #Constraints:       9726
846.06/848.15	c #Conflicts:      69000 | #Constraints:      10726
846.06/848.15	c #Conflicts:      70000 | #Constraints:      11726
846.06/848.15	c #Conflicts:      71000 | #Constraints:      12726
846.06/848.15	c #Conflicts:      72000 | #Constraints:      13726
846.06/848.15	c INPROCESSING
846.06/848.15	c GARBAGE COLLECT
846.06/848.15	c #Conflicts:      73000 | #Constraints:       9328
846.06/848.15	c #Conflicts:      74000 | #Constraints:      10328
846.06/848.15	c #Conflicts:      75000 | #Constraints:      11328
846.06/848.15	c #Conflicts:      76000 | #Constraints:      12328
846.06/848.15	c #Conflicts:      77000 | #Constraints:      13328
846.06/848.15	c #Conflicts:      78000 | #Constraints:      14328
846.06/848.15	c INPROCESSING
846.06/848.15	c GARBAGE COLLECT
846.06/848.15	c #Conflicts:      79000 | #Constraints:       9734
846.06/848.15	c #Conflicts:      80000 | #Constraints:      10734
846.06/848.15	c #Conflicts:      81000 | #Constraints:      11734
846.06/848.15	c #Conflicts:      82000 | #Constraints:      12734
846.06/848.15	c #Conflicts:      83000 | #Constraints:      13734
846.06/848.15	c #Conflicts:      84000 | #Constraints:      14734
846.06/848.15	c INPROCESSING
846.06/848.15	c GARBAGE COLLECT
846.06/848.15	c #Conflicts:      85000 | #Constraints:       9938
846.06/848.15	c #Conflicts:      86000 | #Constraints:      10938
846.06/848.15	c #Conflicts:      87000 | #Constraints:      11938
846.06/848.15	c #Conflicts:      88000 | #Constraints:      12938
846.06/848.15	c #Conflicts:      89000 | #Constraints:      13938
846.06/848.15	c #Conflicts:      90000 | #Constraints:      14938
846.06/848.15	c INPROCESSING
846.06/848.15	c GARBAGE COLLECT
846.06/848.15	c #Conflicts:      91000 | #Constraints:       9937
846.06/848.15	c #Conflicts:      92000 | #Constraints:      10937
846.06/848.15	c #Conflicts:      93000 | #Constraints:      11937
846.06/848.15	c #Conflicts:      94000 | #Constraints:      12937
846.06/848.15	c #Conflicts:      95000 | #Constraints:      13937
846.06/848.15	c #Conflicts:      96000 | #Constraints:      14937
846.06/848.15	c INPROCESSING
846.06/848.15	c GARBAGE COLLECT
846.06/848.15	c #Conflicts:      97000 | #Constraints:       9737
846.06/848.15	c #Conflicts:      98000 | #Constraints:      10737
846.06/848.15	c #Conflicts:      99000 | #Constraints:      11737
846.06/848.15	c #Conflicts:     100000 | #Constraints:      12737
846.06/848.15	c #Conflicts:     101000 | #Constraints:      13737
846.06/848.15	c #Conflicts:     102000 | #Constraints:      14737
846.06/848.15	c #Conflicts:     103000 | #Constraints:      15737
846.06/848.15	c INPROCESSING
846.06/848.15	c GARBAGE COLLECT
846.06/848.15	c #Conflicts:     104000 | #Constraints:      10328
846.06/848.15	c #Conflicts:     105000 | #Constraints:      11328
846.06/848.15	c #Conflicts:     106000 | #Constraints:      12328
846.06/848.15	c #Conflicts:     107000 | #Constraints:      13328
846.06/848.15	c #Conflicts:     108000 | #Constraints:      14328
846.06/848.15	c #Conflicts:     109000 | #Constraints:      15328
846.06/848.15	c #Conflicts:     110000 | #Constraints:      16328
846.06/848.15	c INPROCESSING
846.06/848.15	c GARBAGE COLLECT
846.06/848.15	c #Conflicts:     111000 | #Constraints:      10734
846.06/848.15	c #Conflicts:     112000 | #Constraints:      11734
846.06/848.15	c #Conflicts:     113000 | #Constraints:      12734
846.06/848.15	c #Conflicts:     114000 | #Constraints:      13734
846.06/848.15	c #Conflicts:     115000 | #Constraints:      14734
846.06/848.15	c #Conflicts:     116000 | #Constraints:      15734
846.06/848.15	c #Conflicts:     117000 | #Constraints:      16734
846.06/848.15	c INPROCESSING
846.06/848.15	c GARBAGE COLLECT
846.06/848.15	c #Conflicts:     118000 | #Constraints:      10932
846.06/848.15	c #Conflicts:     119000 | #Constraints:      11932
846.06/848.15	c #Conflicts:     120000 | #Constraints:      12932
846.06/848.15	c #Conflicts:     121000 | #Constraints:      13932
846.06/848.15	c #Conflicts:     122000 | #Constraints:      14932
846.06/848.15	c #Conflicts:     123000 | #Constraints:      15932
846.06/848.15	c #Conflicts:     124000 | #Constraints:      16932
846.06/848.15	c INPROCESSING
846.06/848.15	c GARBAGE COLLECT
846.06/848.15	c #Conflicts:     125000 | #Constraints:      10930
846.06/848.15	c #Conflicts:     126000 | #Constraints:      11930
846.06/848.15	c #Conflicts:     127000 | #Constraints:      12930
846.06/848.15	c #Conflicts:     128000 | #Constraints:      13930
846.06/848.15	c #Conflicts:     129000 | #Constraints:      14930
846.06/848.15	c #Conflicts:     130000 | #Constraints:      15930
846.06/848.15	c #Conflicts:     131000 | #Constraints:      16930
846.06/848.15	c INPROCESSING
846.06/848.15	c GARBAGE COLLECT
846.06/848.15	c #Conflicts:     132000 | #Constraints:      10731
846.06/848.15	c #Conflicts:     133000 | #Constraints:      11731
846.06/848.15	c #Conflicts:     134000 | #Constraints:      12731
846.06/848.15	c #Conflicts:     135000 | #Constraints:      13731
846.06/848.15	c #Conflicts:     136000 | #Constraints:      14731
846.06/848.15	c #Conflicts:     137000 | #Constraints:      15731
846.06/848.15	c #Conflicts:     138000 | #Constraints:      16731
846.06/848.15	c #Conflicts:     139000 | #Constraints:      17731
846.06/848.15	c INPROCESSING
846.06/848.15	c GARBAGE COLLECT
846.06/848.15	c #Conflicts:     140000 | #Constraints:      11345
1383.56/1387.02	c #Conflicts:     141000 | #Constraints:      12345
1383.56/1387.02	c #Conflicts:     142000 | #Constraints:      13345
1383.56/1387.02	c #Conflicts:     143000 | #Constraints:      14345
1383.56/1387.02	c #Conflicts:     144000 | #Constraints:      15345
1383.56/1387.02	c #Conflicts:     145000 | #Constraints:      16345
1383.56/1387.02	c #Conflicts:     146000 | #Constraints:      17345
1383.56/1387.02	c #Conflicts:     147000 | #Constraints:      18345
1383.56/1387.02	c INPROCESSING
1383.56/1387.02	c GARBAGE COLLECT
1383.56/1387.02	c #Conflicts:     148000 | #Constraints:      11747
1383.56/1387.02	c #Conflicts:     149000 | #Constraints:      12747
1383.56/1387.02	c #Conflicts:     150000 | #Constraints:      13747
1383.56/1387.02	c #Conflicts:     151000 | #Constraints:      14747
1383.56/1387.02	c #Conflicts:     152000 | #Constraints:      15747
1383.56/1387.02	c #Conflicts:     153000 | #Constraints:      16747
1383.56/1387.02	c #Conflicts:     154000 | #Constraints:      17747
1383.56/1387.02	c #Conflicts:     155000 | #Constraints:      18747
1383.56/1387.02	c INPROCESSING
1383.56/1387.02	c GARBAGE COLLECT
1383.56/1387.02	c #Conflicts:     156000 | #Constraints:      11945
1383.56/1387.02	c #Conflicts:     157000 | #Constraints:      12945
1383.56/1387.02	c #Conflicts:     158000 | #Constraints:      13945
1383.56/1387.02	c #Conflicts:     159000 | #Constraints:      14945
1383.56/1387.02	c #Conflicts:     160000 | #Constraints:      15945
1383.56/1387.02	c #Conflicts:     161000 | #Constraints:      16945
1383.56/1387.02	c #Conflicts:     162000 | #Constraints:      17945
1383.56/1387.02	c #Conflicts:     163000 | #Constraints:      18945
1383.56/1387.02	c INPROCESSING
1383.56/1387.02	c GARBAGE COLLECT
1383.56/1387.02	c #Conflicts:     164000 | #Constraints:      11929
1383.56/1387.02	c #Conflicts:     165000 | #Constraints:      12929
1383.56/1387.02	c #Conflicts:     166000 | #Constraints:      13929
1383.56/1387.02	c #Conflicts:     167000 | #Constraints:      14929
1383.56/1387.02	c #Conflicts:     168000 | #Constraints:      15929
1383.56/1387.02	c #Conflicts:     169000 | #Constraints:      16929
1383.56/1387.02	c #Conflicts:     170000 | #Constraints:      17929
1383.56/1387.02	c #Conflicts:     171000 | #Constraints:      18929
1383.56/1387.02	c INPROCESSING
1383.56/1387.02	c GARBAGE COLLECT
1383.56/1387.02	c #Conflicts:     172000 | #Constraints:      11732
1383.56/1387.02	c #Conflicts:     173000 | #Constraints:      12732
1383.56/1387.02	c #Conflicts:     174000 | #Constraints:      13732
1383.56/1387.02	c #Conflicts:     175000 | #Constraints:      14732
1383.56/1387.02	c #Conflicts:     176000 | #Constraints:      15732
1383.56/1387.02	c #Conflicts:     177000 | #Constraints:      16732
1383.56/1387.02	c #Conflicts:     178000 | #Constraints:      17732
1383.56/1387.02	c #Conflicts:     179000 | #Constraints:      18732
1383.56/1387.02	c #Conflicts:     180000 | #Constraints:      19732
1383.56/1387.02	c INPROCESSING
1383.56/1387.02	c GARBAGE COLLECT
1383.56/1387.02	c #Conflicts:     181000 | #Constraints:      12333
1383.56/1387.02	c #Conflicts:     182000 | #Constraints:      13333
1383.56/1387.02	c #Conflicts:     183000 | #Constraints:      14333
1383.56/1387.02	c #Conflicts:     184000 | #Constraints:      15333
1383.56/1387.02	c #Conflicts:     185000 | #Constraints:      16333
1383.56/1387.02	c #Conflicts:     186000 | #Constraints:      17333
1383.56/1387.02	c #Conflicts:     187000 | #Constraints:      18333
1383.56/1387.02	c #Conflicts:     188000 | #Constraints:      19333
1383.56/1387.02	c #Conflicts:     189000 | #Constraints:      20333
1383.56/1387.02	c INPROCESSING
1383.56/1387.02	c GARBAGE COLLECT
1383.56/1387.02	c #Conflicts:     190000 | #Constraints:      12741
1383.56/1387.02	c #Conflicts:     191000 | #Constraints:      13741
1383.56/1387.02	c #Conflicts:     192000 | #Constraints:      14741
1383.56/1387.02	c #Conflicts:     193000 | #Constraints:      15741
1383.56/1387.02	c #Conflicts:     194000 | #Constraints:      16741
1383.56/1387.02	c #Conflicts:     195000 | #Constraints:      17741
1383.56/1387.02	c #Conflicts:     196000 | #Constraints:      18741
1383.56/1387.02	c #Conflicts:     197000 | #Constraints:      19741
1383.56/1387.02	c #Conflicts:     198000 | #Constraints:      20741
1383.56/1387.02	c INPROCESSING
1383.56/1387.02	c GARBAGE COLLECT
1383.56/1387.02	c #Conflicts:     199000 | #Constraints:      12980
1383.56/1387.02	c #Conflicts:     200000 | #Constraints:      13980
1383.56/1387.02	c #Conflicts:     201000 | #Constraints:      14980
1383.56/1387.02	c #Conflicts:     202000 | #Constraints:      15980
1383.56/1387.02	c #Conflicts:     203000 | #Constraints:      16980
1383.56/1387.02	c #Conflicts:     204000 | #Constraints:      17980
1383.56/1387.02	c #Conflicts:     205000 | #Constraints:      18980
1383.56/1387.02	c #Conflicts:     206000 | #Constraints:      19980
1383.56/1387.02	c #Conflicts:     207000 | #Constraints:      20980
1383.56/1387.02	c INPROCESSING
1383.56/1387.02	c GARBAGE COLLECT
1383.56/1387.02	c #Conflicts:     208000 | #Constraints:      12957
1383.56/1387.02	c #Conflicts:     209000 | #Constraints:      13957
1383.56/1387.02	c #Conflicts:     210000 | #Constraints:      14957
1383.56/1387.02	c #Conflicts:     211000 | #Constraints:      15957
1383.56/1387.02	c #Conflicts:     212000 | #Constraints:      16957
1383.56/1387.02	c #Conflicts:     213000 | #Constraints:      17957
1998.51/2003.78	c #Conflicts:     214000 | #Constraints:      18957
1998.51/2003.78	c #Conflicts:     215000 | #Constraints:      19957
1998.51/2003.78	c #Conflicts:     216000 | #Constraints:      20957
1998.51/2003.78	c INPROCESSING
1998.51/2003.78	c GARBAGE COLLECT
1998.51/2003.78	c #Conflicts:     217000 | #Constraints:      12762
1998.51/2003.78	c #Conflicts:     218000 | #Constraints:      13762
1998.51/2003.78	c #Conflicts:     219000 | #Constraints:      14762
1998.51/2003.78	c #Conflicts:     220000 | #Constraints:      15762
1998.51/2003.78	c #Conflicts:     221000 | #Constraints:      16762
1998.51/2003.78	c #Conflicts:     222000 | #Constraints:      17762
1998.51/2003.78	c #Conflicts:     223000 | #Constraints:      18762
1998.51/2003.78	c #Conflicts:     224000 | #Constraints:      19762
1998.51/2003.78	c #Conflicts:     225000 | #Constraints:      20762
1998.51/2003.78	c #Conflicts:     226000 | #Constraints:      21762
1998.51/2003.78	c INPROCESSING
1998.51/2003.78	c GARBAGE COLLECT
1998.51/2003.78	c #Conflicts:     227000 | #Constraints:      13356
1998.51/2003.78	c #Conflicts:     228000 | #Constraints:      14356
1998.51/2003.78	c #Conflicts:     229000 | #Constraints:      15356
1998.51/2003.78	c #Conflicts:     230000 | #Constraints:      16356
1998.51/2003.78	c #Conflicts:     231000 | #Constraints:      17356
1998.51/2003.78	c #Conflicts:     232000 | #Constraints:      18356
1998.51/2003.78	c #Conflicts:     233000 | #Constraints:      19356
1998.51/2003.78	c #Conflicts:     234000 | #Constraints:      20356
1998.51/2003.78	c #Conflicts:     235000 | #Constraints:      21356
1998.51/2003.78	c #Conflicts:     236000 | #Constraints:      22356
1998.51/2003.78	c INPROCESSING
1998.51/2003.78	c GARBAGE COLLECT
1998.51/2003.78	c #Conflicts:     237000 | #Constraints:      13742
1998.51/2003.78	c #Conflicts:     238000 | #Constraints:      14742
1998.51/2003.78	c #Conflicts:     239000 | #Constraints:      15742
1998.51/2003.78	c #Conflicts:     240000 | #Constraints:      16742
1998.51/2003.78	c #Conflicts:     241000 | #Constraints:      17742
1998.51/2003.78	c #Conflicts:     242000 | #Constraints:      18742
1998.51/2003.78	c #Conflicts:     243000 | #Constraints:      19742
1998.51/2003.78	c #Conflicts:     244000 | #Constraints:      20742
1998.51/2003.78	c #Conflicts:     245000 | #Constraints:      21742
1998.51/2003.78	c #Conflicts:     246000 | #Constraints:      22742
1998.51/2003.78	c INPROCESSING
1998.51/2003.78	c GARBAGE COLLECT
1998.51/2003.78	c #Conflicts:     247000 | #Constraints:      13933
1998.51/2003.78	c #Conflicts:     248000 | #Constraints:      14933
1998.51/2003.78	c #Conflicts:     249000 | #Constraints:      15933
1998.51/2003.78	c #Conflicts:     250000 | #Constraints:      16933
1998.51/2003.78	c #Conflicts:     251000 | #Constraints:      17933
1998.51/2003.78	c #Conflicts:     252000 | #Constraints:      18933
1998.51/2003.78	c #Conflicts:     253000 | #Constraints:      19933
1998.51/2003.78	c #Conflicts:     254000 | #Constraints:      20933
1998.51/2003.78	c #Conflicts:     255000 | #Constraints:      21933
1998.51/2003.78	c #Conflicts:     256000 | #Constraints:      22933
1998.51/2003.78	c INPROCESSING
1998.51/2003.78	c GARBAGE COLLECT
1998.51/2003.78	c #Conflicts:     257000 | #Constraints:      13929
1998.51/2003.78	c #Conflicts:     258000 | #Constraints:      14929
1998.51/2003.78	c #Conflicts:     259000 | #Constraints:      15929
1998.51/2003.78	c #Conflicts:     260000 | #Constraints:      16929
1998.51/2003.78	c #Conflicts:     261000 | #Constraints:      17929
1998.51/2003.78	c #Conflicts:     262000 | #Constraints:      18929
1998.51/2003.78	c #Conflicts:     263000 | #Constraints:      19929
1998.51/2003.78	c #Conflicts:     264000 | #Constraints:      20929
1998.51/2003.78	c #Conflicts:     265000 | #Constraints:      21929
1998.51/2003.78	c #Conflicts:     266000 | #Constraints:      22929
1998.51/2003.78	c INPROCESSING
1998.51/2003.78	c GARBAGE COLLECT
1998.51/2003.78	c #Conflicts:     267000 | #Constraints:      13728
1998.51/2003.78	c #Conflicts:     268000 | #Constraints:      14728
1998.51/2003.78	c #Conflicts:     269000 | #Constraints:      15728
1998.51/2003.78	c #Conflicts:     270000 | #Constraints:      16728
1998.51/2003.78	c #Conflicts:     271000 | #Constraints:      17728
1998.51/2003.78	c #Conflicts:     272000 | #Constraints:      18728
1998.51/2003.78	c #Conflicts:     273000 | #Constraints:      19728
1998.51/2003.78	c #Conflicts:     274000 | #Constraints:      20728
1998.51/2003.78	c #Conflicts:     275000 | #Constraints:      21728
1998.51/2003.78	c #Conflicts:     276000 | #Constraints:      22728
1998.51/2003.78	c #Conflicts:     277000 | #Constraints:      23728
1998.51/2003.78	c INPROCESSING
1998.51/2003.78	c GARBAGE COLLECT
1998.51/2003.78	c #Conflicts:     278000 | #Constraints:      14331
1998.51/2003.78	c #Conflicts:     279000 | #Constraints:      15331
1998.51/2003.78	c #Conflicts:     280000 | #Constraints:      16331
1998.51/2003.78	c #Conflicts:     281000 | #Constraints:      17331
1998.51/2003.78	c #Conflicts:     282000 | #Constraints:      18331
1998.51/2003.78	c #Conflicts:     283000 | #Constraints:      19331
1998.51/2003.78	c #Conflicts:     284000 | #Constraints:      20331
1998.51/2003.78	c #Conflicts:     285000 | #Constraints:      21331
1998.51/2003.78	c #Conflicts:     286000 | #Constraints:      22331
1998.51/2003.78	c #Conflicts:     287000 | #Constraints:      23331
1998.51/2003.78	c #Conflicts:     288000 | #Constraints:      24331
2550.03/2556.91	c INPROCESSING
2550.03/2556.91	c GARBAGE COLLECT
2550.03/2556.91	c #Conflicts:     289000 | #Constraints:      14728
2550.03/2556.91	c #Conflicts:     290000 | #Constraints:      15728
2550.03/2556.91	c #Conflicts:     291000 | #Constraints:      16728
2550.03/2556.91	c #Conflicts:     292000 | #Constraints:      17728
2550.03/2556.91	c #Conflicts:     293000 | #Constraints:      18728
2550.03/2556.91	c #Conflicts:     294000 | #Constraints:      19728
2550.03/2556.91	c #Conflicts:     295000 | #Constraints:      20728
2550.03/2556.91	c #Conflicts:     296000 | #Constraints:      21728
2550.03/2556.91	c #Conflicts:     297000 | #Constraints:      22728
2550.03/2556.91	c #Conflicts:     298000 | #Constraints:      23728
2550.03/2556.91	c #Conflicts:     299000 | #Constraints:      24728
2550.03/2556.91	c INPROCESSING
2550.03/2556.91	c GARBAGE COLLECT
2550.03/2556.91	c #Conflicts:     300000 | #Constraints:      14927
2550.03/2556.91	c #Conflicts:     301000 | #Constraints:      15927
2550.03/2556.91	c #Conflicts:     302000 | #Constraints:      16927
2550.03/2556.91	c #Conflicts:     303000 | #Constraints:      17927
2550.03/2556.91	c #Conflicts:     304000 | #Constraints:      18927
2550.03/2556.91	c #Conflicts:     305000 | #Constraints:      19927
2550.03/2556.91	c #Conflicts:     306000 | #Constraints:      20927
2550.03/2556.91	c #Conflicts:     307000 | #Constraints:      21927
2550.03/2556.91	c #Conflicts:     308000 | #Constraints:      22927
2550.03/2556.91	c #Conflicts:     309000 | #Constraints:      23927
2550.03/2556.91	c #Conflicts:     310000 | #Constraints:      24927
2550.03/2556.91	c INPROCESSING
2550.03/2556.91	c GARBAGE COLLECT
2550.03/2556.91	c #Conflicts:     311000 | #Constraints:      14925
2550.03/2556.91	c #Conflicts:     312000 | #Constraints:      15925
2550.03/2556.91	c #Conflicts:     313000 | #Constraints:      16925
2550.03/2556.91	c #Conflicts:     314000 | #Constraints:      17925
2550.03/2556.91	c #Conflicts:     315000 | #Constraints:      18925
2550.03/2556.91	c #Conflicts:     316000 | #Constraints:      19925
2550.03/2556.91	c #Conflicts:     317000 | #Constraints:      20925
2550.03/2556.91	c #Conflicts:     318000 | #Constraints:      21925
2550.03/2556.91	c #Conflicts:     319000 | #Constraints:      22925
2550.03/2556.91	c #Conflicts:     320000 | #Constraints:      23925
2550.03/2556.91	c #Conflicts:     321000 | #Constraints:      24925
2550.03/2556.91	c INPROCESSING
2550.03/2556.91	c GARBAGE COLLECT
2550.03/2556.91	c #Conflicts:     322000 | #Constraints:      14726
2550.03/2556.91	c #Conflicts:     323000 | #Constraints:      15726
2550.03/2556.91	c #Conflicts:     324000 | #Constraints:      16726
2550.03/2556.91	c #Conflicts:     325000 | #Constraints:      17726
2550.03/2556.91	c #Conflicts:     326000 | #Constraints:      18726
2550.03/2556.91	c #Conflicts:     327000 | #Constraints:      19726
2550.03/2556.91	c #Conflicts:     328000 | #Constraints:      20726
2550.03/2556.91	c #Conflicts:     329000 | #Constraints:      21726
2550.03/2556.91	c #Conflicts:     330000 | #Constraints:      22726
2550.03/2556.91	c #Conflicts:     331000 | #Constraints:      23726
2550.03/2556.91	c #Conflicts:     332000 | #Constraints:      24726
2550.03/2556.91	c #Conflicts:     333000 | #Constraints:      25726
2550.03/2556.91	c INPROCESSING
2550.03/2556.91	c GARBAGE COLLECT
2550.03/2556.91	c #Conflicts:     334000 | #Constraints:      15328
2550.03/2556.91	c #Conflicts:     335000 | #Constraints:      16328
2550.03/2556.91	c #Conflicts:     336000 | #Constraints:      17328
2550.03/2556.91	c #Conflicts:     337000 | #Constraints:      18328
2550.03/2556.91	c #Conflicts:     338000 | #Constraints:      19328
2550.03/2556.91	c #Conflicts:     339000 | #Constraints:      20328
2550.03/2556.91	c #Conflicts:     340000 | #Constraints:      21328
2550.03/2556.91	c #Conflicts:     341000 | #Constraints:      22328
2550.03/2556.91	c #Conflicts:     342000 | #Constraints:      23328
2550.03/2556.91	c #Conflicts:     343000 | #Constraints:      24328
2550.03/2556.91	c #Conflicts:     344000 | #Constraints:      25328
2550.03/2556.91	c #Conflicts:     345000 | #Constraints:      26328
2550.03/2556.91	c INPROCESSING
2550.03/2556.91	c GARBAGE COLLECT
2550.03/2556.91	c #Conflicts:     346000 | #Constraints:      15733
2550.03/2556.91	c #Conflicts:     347000 | #Constraints:      16733
2550.03/2556.91	c #Conflicts:     348000 | #Constraints:      17733
2550.03/2556.91	c #Conflicts:     349000 | #Constraints:      18733
2550.03/2556.91	c #Conflicts:     350000 | #Constraints:      19733
2550.03/2556.91	c #Conflicts:     351000 | #Constraints:      20733
2550.03/2556.91	c #Conflicts:     352000 | #Constraints:      21733
2550.03/2556.91	c #Conflicts:     353000 | #Constraints:      22733
2550.03/2556.91	c #Conflicts:     354000 | #Constraints:      23733
2550.03/2556.91	c #Conflicts:     355000 | #Constraints:      24733
2550.03/2556.91	c #Conflicts:     356000 | #Constraints:      25733
2550.03/2556.91	c #Conflicts:     357000 | #Constraints:      26733
2550.03/2556.91	c INPROCESSING
2550.03/2556.91	c GARBAGE COLLECT
2550.03/2556.91	c #Conflicts:     358000 | #Constraints:      15923
2550.03/2556.91	c #Conflicts:     359000 | #Constraints:      16923
2550.03/2556.91	c #Conflicts:     360000 | #Constraints:      17923
2550.03/2556.91	c #Conflicts:     361000 | #Constraints:      18923
2550.03/2556.91	c #Conflicts:     362000 | #Constraints:      19923
3078.34/3086.62	c #Conflicts:     363000 | #Constraints:      20923
3078.34/3086.62	c #Conflicts:     364000 | #Constraints:      21923
3078.34/3086.62	c #Conflicts:     365000 | #Constraints:      22923
3078.34/3086.62	c #Conflicts:     366000 | #Constraints:      23923
3078.34/3086.62	c #Conflicts:     367000 | #Constraints:      24923
3078.34/3086.62	c #Conflicts:     368000 | #Constraints:      25923
3078.34/3086.62	c #Conflicts:     369000 | #Constraints:      26923
3078.34/3086.62	c INPROCESSING
3078.34/3086.62	c GARBAGE COLLECT
3078.34/3086.62	c #Conflicts:     370000 | #Constraints:      15931
3078.34/3086.62	c #Conflicts:     371000 | #Constraints:      16931
3078.34/3086.62	c #Conflicts:     372000 | #Constraints:      17931
3078.34/3086.62	c #Conflicts:     373000 | #Constraints:      18931
3078.34/3086.62	c #Conflicts:     374000 | #Constraints:      19931
3078.34/3086.62	c #Conflicts:     375000 | #Constraints:      20931
3078.34/3086.62	c #Conflicts:     376000 | #Constraints:      21931
3078.34/3086.62	c #Conflicts:     377000 | #Constraints:      22931
3078.34/3086.62	c #Conflicts:     378000 | #Constraints:      23931
3078.34/3086.62	c #Conflicts:     379000 | #Constraints:      24931
3078.34/3086.62	c #Conflicts:     380000 | #Constraints:      25931
3078.34/3086.62	c #Conflicts:     381000 | #Constraints:      26931
3078.34/3086.62	c INPROCESSING
3078.34/3086.62	c GARBAGE COLLECT
3078.34/3086.62	c #Conflicts:     382000 | #Constraints:      15727
3078.34/3086.62	c #Conflicts:     383000 | #Constraints:      16727
3078.34/3086.62	c #Conflicts:     384000 | #Constraints:      17727
3078.34/3086.62	c #Conflicts:     385000 | #Constraints:      18727
3078.34/3086.62	c #Conflicts:     386000 | #Constraints:      19727
3078.34/3086.62	c #Conflicts:     387000 | #Constraints:      20727
3078.34/3086.62	c #Conflicts:     388000 | #Constraints:      21727
3078.34/3086.62	c #Conflicts:     389000 | #Constraints:      22727
3078.34/3086.62	c #Conflicts:     390000 | #Constraints:      23727
3078.34/3086.62	c #Conflicts:     391000 | #Constraints:      24727
3078.34/3086.62	c #Conflicts:     392000 | #Constraints:      25727
3078.34/3086.62	c #Conflicts:     393000 | #Constraints:      26727
3078.34/3086.62	c #Conflicts:     394000 | #Constraints:      27727
3078.34/3086.62	c INPROCESSING
3078.34/3086.62	c GARBAGE COLLECT
3078.34/3086.62	c #Conflicts:     395000 | #Constraints:      16335
3078.34/3086.62	c #Conflicts:     396000 | #Constraints:      17335
3078.34/3086.62	c #Conflicts:     397000 | #Constraints:      18335
3078.34/3086.62	c #Conflicts:     398000 | #Constraints:      19335
3078.34/3086.62	c #Conflicts:     399000 | #Constraints:      20335
3078.34/3086.62	c #Conflicts:     400000 | #Constraints:      21335
3078.34/3086.62	c #Conflicts:     401000 | #Constraints:      22335
3078.34/3086.62	c #Conflicts:     402000 | #Constraints:      23335
3078.34/3086.62	c #Conflicts:     403000 | #Constraints:      24335
3078.34/3086.62	c #Conflicts:     404000 | #Constraints:      25335
3078.34/3086.62	c #Conflicts:     405000 | #Constraints:      26335
3078.34/3086.62	c #Conflicts:     406000 | #Constraints:      27335
3078.34/3086.62	c #Conflicts:     407000 | #Constraints:      28335
3078.34/3086.62	c INPROCESSING
3078.34/3086.62	c GARBAGE COLLECT
3078.34/3086.62	c #Conflicts:     408000 | #Constraints:      16727
3078.34/3086.62	c #Conflicts:     409000 | #Constraints:      17727
3078.34/3086.62	c #Conflicts:     410000 | #Constraints:      18727
3078.34/3086.62	c #Conflicts:     411000 | #Constraints:      19727
3078.34/3086.62	c #Conflicts:     412000 | #Constraints:      20727
3078.34/3086.62	c #Conflicts:     413000 | #Constraints:      21727
3078.34/3086.62	c #Conflicts:     414000 | #Constraints:      22727
3078.34/3086.62	c #Conflicts:     415000 | #Constraints:      23727
3078.34/3086.62	c #Conflicts:     416000 | #Constraints:      24727
3078.34/3086.62	c #Conflicts:     417000 | #Constraints:      25727
3078.34/3086.62	c #Conflicts:     418000 | #Constraints:      26727
3078.34/3086.62	c #Conflicts:     419000 | #Constraints:      27727
3078.34/3086.62	c #Conflicts:     420000 | #Constraints:      28727
3078.34/3086.62	c INPROCESSING
3078.34/3086.62	c GARBAGE COLLECT
3078.34/3086.62	c #Conflicts:     421000 | #Constraints:      16943
3078.34/3086.62	c #Conflicts:     422000 | #Constraints:      17943
3078.34/3086.62	c #Conflicts:     423000 | #Constraints:      18943
3078.34/3086.62	c #Conflicts:     424000 | #Constraints:      19943
3078.34/3086.62	c #Conflicts:     425000 | #Constraints:      20943
3078.34/3086.62	c #Conflicts:     426000 | #Constraints:      21943
3078.34/3086.62	c #Conflicts:     427000 | #Constraints:      22943
3078.34/3086.62	c #Conflicts:     428000 | #Constraints:      23943
3078.34/3086.62	c #Conflicts:     429000 | #Constraints:      24943
3078.34/3086.62	c #Conflicts:     430000 | #Constraints:      25943
3078.34/3086.62	c #Conflicts:     431000 | #Constraints:      26943
3078.34/3086.62	c #Conflicts:     432000 | #Constraints:      27943
3078.34/3086.62	c #Conflicts:     433000 | #Constraints:      28943
3078.34/3086.62	c INPROCESSING
3078.34/3086.62	c GARBAGE COLLECT
3078.34/3086.62	c #Conflicts:     434000 | #Constraints:      16949
3078.34/3086.62	c #Conflicts:     435000 | #Constraints:      17949
3078.34/3086.62	c #Conflicts:     436000 | #Constraints:      18949
3078.34/3086.62	c #Conflicts:     437000 | #Constraints:      19949
3600.05/3609.50	c #Conflicts:     438000 | #Constraints:      20949
3600.05/3609.50	c #Conflicts:     439000 | #Constraints:      21949
3600.05/3609.50	c #Conflicts:     440000 | #Constraints:      22949
3600.05/3609.50	c #Conflicts:     441000 | #Constraints:      23949
3600.05/3609.50	c #Conflicts:     442000 | #Constraints:      24949
3600.05/3609.50	c #Conflicts:     443000 | #Constraints:      25949
3600.05/3609.50	c #Conflicts:     444000 | #Constraints:      26949
3600.05/3609.50	c #Conflicts:     445000 | #Constraints:      27949
3600.05/3609.50	c #Conflicts:     446000 | #Constraints:      28949
3600.05/3609.50	c INPROCESSING
3600.05/3609.50	c GARBAGE COLLECT
3600.05/3609.50	c #Conflicts:     447000 | #Constraints:      16751
3600.05/3609.50	c #Conflicts:     448000 | #Constraints:      17751
3600.05/3609.50	c #Conflicts:     449000 | #Constraints:      18751
3600.05/3609.50	c #Conflicts:     450000 | #Constraints:      19751
3600.05/3609.50	c #Conflicts:     451000 | #Constraints:      20751
3600.05/3609.50	c #Conflicts:     452000 | #Constraints:      21751
3600.05/3609.50	c #Conflicts:     453000 | #Constraints:      22751
3600.05/3609.50	c #Conflicts:     454000 | #Constraints:      23751
3600.05/3609.50	c #Conflicts:     455000 | #Constraints:      24751
3600.05/3609.50	c #Conflicts:     456000 | #Constraints:      25751
3600.05/3609.50	c #Conflicts:     457000 | #Constraints:      26751
3600.05/3609.50	c #Conflicts:     458000 | #Constraints:      27751
3600.05/3609.50	c #Conflicts:     459000 | #Constraints:      28751
3600.05/3609.50	c #Conflicts:     460000 | #Constraints:      29751
3600.05/3609.50	c INPROCESSING
3600.05/3609.50	c GARBAGE COLLECT
3600.05/3609.50	c #Conflicts:     461000 | #Constraints:      17347
3600.05/3609.50	c Program interrupted by user.
3600.05/3609.50	c cpu time 3532.37 s
3600.05/3609.50	c deterministic time 588034161098 5.88e+11
3600.05/3609.50	c optimization time 4.13048 s
3600.05/3609.50	c total solve time 3527.91 s
3600.05/3609.50	c core-guided solve time 3527.91 s
3600.05/3609.50	c propagation time 2394.01 s
3600.05/3609.50	c conflict analysis time 815.339 s
3600.05/3609.50	c propagations 394523108
3600.05/3609.50	c resolve steps 2309719
3600.05/3609.50	c decisions 81832862
3600.05/3609.50	c conflicts 461086
3600.05/3609.50	c restarts 1022
3600.05/3609.50	c inprocessing phases 59
3600.05/3609.50	c input clauses 1411
3600.05/3609.50	c input cardinalities 1410
3600.05/3609.50	c input general constraints 258
3600.05/3609.50	c input average constraint length 233.71
3600.05/3609.50	c input average constraint degree 48709.85
3600.05/3609.50	c learned clauses 18579
3600.05/3609.50	c learned cardinalities 689
3600.05/3609.50	c learned general constraints 441818
3600.05/3609.50	c learned average constraint length 5528.86
3600.05/3609.50	c learned average constraint degree 206748496.90
3600.05/3609.50	c watched constraints 268221
3600.05/3609.50	c counting constraints 173855
3600.05/3609.50	c gcd simplifications 10142
3600.05/3609.50	c detected cardinalities 46
3600.05/3609.50	c weakened non-implied lits 325374810
3600.05/3609.50	c weakened non-implying lits 88350
3600.05/3609.50	c original variables 180608
3600.05/3609.50	c clausal propagations 1619552
3600.05/3609.50	c cardinality propagations 43049360
3600.05/3609.50	c watched propagations 24001067
3600.05/3609.50	c counting propagations 323721037
3600.05/3609.50	c watch lookups 12287722130
3600.05/3609.50	c watch backjump lookups 12104656590
3600.05/3609.50	c watch checks 426503752475
3600.05/3609.50	c propagation checks 129183402189
3600.05/3609.50	c constraint additions 7001475290
3600.05/3609.50	c trail pops 476796453
3600.05/3609.50	c formula constraints 3078
3600.05/3609.50	c learned constraints 461086
3600.05/3609.50	c bound constraints 0
3600.05/3609.50	c core-guided constraints 1
3600.05/3609.50	c encountered formula constraints 1625276
3600.05/3609.50	c encountered learned constraints 1142940
3600.05/3609.50	c encountered bound constraints 0
3600.05/3609.50	c encountered core-guided constraints 2589
3600.05/3609.50	c LP total time 0 s
3600.05/3609.50	c LP solve time 0 s
3600.05/3609.50	c LP constraints added 0
3600.05/3609.50	c LP constraints removed 0
3600.05/3609.50	c LP pivots internal 0
3600.05/3609.50	c LP pivots root 0
3600.05/3609.50	c LP calls 0
3600.05/3609.50	c LP optimalities 0
3600.05/3609.50	c LP no pivot count 0
3600.05/3609.50	c LP infeasibilities 0
3600.05/3609.50	c LP valid Farkas constraints 0
3600.05/3609.50	c LP learned Farkas constraints 0
3600.05/3609.50	c LP basis resets 0
3600.05/3609.50	c LP cycling count 0
3600.05/3609.50	c LP singular count 0
3600.05/3609.50	c LP no primal count 0
3600.05/3609.50	c LP no farkas count 0
3600.05/3609.50	c LP other issue count 0
3600.05/3609.50	c LP Gomory cuts 0
3600.05/3609.50	c LP learned cuts 0
3600.05/3609.50	c LP deleted cuts 0
3600.05/3609.50	c LP encountered Gomory constraints 0
3600.05/3609.50	c LP encountered Farkas constraints 0
3600.05/3609.50	c LP encountered learned Farkas constraints 0
3600.05/3609.50	c CG auxiliary variables introduced 1
3600.05/3609.50	c CG solutions found 0
3600.05/3609.50	c CG cores constructed 0
3600.05/3609.50	c CG core cardinality constraints returned 0
3600.05/3609.50	c CG unit cores 0
3600.05/3609.50	c CG single cores 0
3600.05/3609.50	c CG blocks removed during cardinality reduction 0
3600.05/3609.50	c CG first core best 0
3600.05/3609.50	c CG decision core best 0
3600.05/3609.50	c CG core reduction tie 0
3600.05/3609.50	c CG core degree average 0.00
3600.05/3609.50	c CG core slack average 0.00
3600.05/3609.50	c CG exhausted 0
3600.05/3609.50	c CG exhaust time 0 s
3600.05/3609.50	c CG trimmed 0
3600.05/3609.50	c CG trim time 0 s
3600.05/3609.50	c CG minimized 0
3600.05/3609.50	c CG minimize time 0 s
3600.05/3609.50	c CG am1 prop time 0.008723 s
3600.05/3609.50	c CG # am1s reformulated 1
3600.05/3609.50	c CG lower bound derived from am1s 119
3600.05/3609.50	c CG # clausal cores 0
3600.05/3609.50	c CG # cardinality cores 0
3600.05/3609.50	c CG # pb cores 0
3600.05/3609.50	c CG # pb reforms 0
3600.05/3609.50	c CG # cores discarded because of pb reform 0
3600.05/3609.50	d LOWERBOUND 0
3600.05/3609.50	d NCORES 0
3600.05/3609.50	d NPBCORES 0
3600.05/3609.50	d NPBREFORM 0
3600.05/3609.50	d NTRIMMED 0
3600.05/3609.50	d NEXHAUSTED 0
3600.05/3609.50	d NAM1S 1
3600.05/3609.50	d AM1LB 119
3600.05/3609.57	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 (62752 MiB free)
  memory of node 1: 64510 MiB (60316 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454601-1721478431/watcher-4454601-1721478431 -o /tmp/evaluation-result-4454601-1721478431/solver-4454601-1721478431 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721469936-1056730 --watchdog 3760 pb-oll-rs HOME/instance-4454601-1721478431.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100096 s]*
/proc/loadavg: 4.12 4.13 4.14 5/243 1062441
/proc/meminfo: memFree=125974704/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=83752 memory=52688 CPUtime=0.1 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 10657 0 0 0 8 2 0 0 20 0 1 0 200001166 85762048 13172 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 20938 13172 1162 291 0 12472 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83752 KiB
Current children cumulated memory: 52688 KiB

[startup+0.211361 s]*
/proc/loadavg: 4.12 4.13 4.14 5/243 1062441
/proc/meminfo: memFree=125972520/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=85448 memory=54852 CPUtime=0.21 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 13193 0 0 0 19 2 0 0 20 0 1 0 200001166 87498752 13713 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 21362 13713 1162 291 0 12896 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 85448 KiB
Current children cumulated memory: 54852 KiB

[startup+0.312925 s]*
/proc/loadavg: 4.12 4.13 4.14 5/243 1062441
/proc/meminfo: memFree=125967004/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=89328 memory=59604 CPUtime=0.31 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 14359 0 0 0 29 2 0 0 20 0 1 0 200001166 91471872 14901 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 22332 14901 1162 291 0 13866 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 89328 KiB
Current children cumulated memory: 59604 KiB

[startup+0.700331 s]
/proc/loadavg: 4.12 4.13 4.14 5/243 1062441
/proc/meminfo: memFree=125954972/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=124232 memory=84244 CPUtime=0.69 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 19989 0 0 0 50 19 0 0 20 0 1 0 200001166 127213568 21061 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 31058 21061 1367 291 0 22592 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 124232 KiB
Current children cumulated memory: 84244 KiB

[startup+1.50034 s]
/proc/loadavg: 4.12 4.13 4.14 5/243 1062441
/proc/meminfo: memFree=125938300/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=135832 memory=96884 CPUtime=1.49 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 21071 0 0 0 128 21 0 0 20 0 1 0 200001166 139091968 24221 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 33958 24221 1367 291 0 25492 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 135832 KiB
Current children cumulated memory: 96884 KiB

[startup+3.1127 s]
/proc/loadavg: 4.12 4.13 4.14 5/243 1062443
/proc/meminfo: memFree=125912724/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=166476 memory=113408 CPUtime=3.09 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 21646 0 0 0 288 21 0 0 20 0 1 0 200001166 170471424 28352 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 41619 28352 1367 291 0 33153 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 166476 KiB
Current children cumulated memory: 113408 KiB

[startup+6.30032 s]
/proc/loadavg: 4.11 4.13 4.14 5/243 1062443
/proc/meminfo: memFree=125871468/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=202056 memory=158936 CPUtime=6.27 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 24021 0 0 0 589 38 0 0 20 0 1 0 200001166 206905344 39734 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 50514 39734 1367 291 0 42048 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 202056 KiB
Current children cumulated memory: 158936 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.13 4.14 5/243 1062445
/proc/meminfo: memFree=125806948/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=334196 memory=224356 CPUtime=12.66 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 25075 0 0 0 1226 40 0 0 20 0 1 0 200001166 342216704 56089 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 83549 56089 1367 291 0 75083 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 334196 KiB
Current children cumulated memory: 224356 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.14 4.14 5/243 1062446
/proc/meminfo: memFree=125634340/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=471684 memory=393344 CPUtime=25.43 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 27004 0 0 0 2486 57 0 0 20 0 1 0 200001166 483004416 98336 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 117921 98336 1367 291 0 109455 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 471684 KiB
Current children cumulated memory: 393344 KiB

[startup+51.1127 s]
/proc/loadavg: 4.10 4.13 4.13 5/243 1062449
/proc/meminfo: memFree=125394516/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=725064 memory=624412 CPUtime=50.99 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 37395 0 0 0 4992 107 0 0 20 0 1 0 200001166 742465536 156103 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 181266 156103 1441 291 0 172800 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 725064 KiB
Current children cumulated memory: 624412 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/245 1062630
/proc/meminfo: memFree=125015972/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=1101068 memory=991044 CPUtime=102.06 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 129117 0 0 0 9873 333 0 0 20 0 1 0 200001166 1127493632 247761 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 275267 247761 1441 291 0 266801 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 1101068 KiB
Current children cumulated memory: 991044 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/246 1062642
/proc/meminfo: memFree=124773264/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=1331404 memory=1220916 CPUtime=161.91 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 186618 0 0 0 15494 697 0 0 20 0 1 0 200001166 1363357696 305229 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 332851 305229 1441 291 0 324385 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 1331404 KiB
Current children cumulated memory: 1220916 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.13 4.13 5/246 1062710
/proc/meminfo: memFree=124560316/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=1545880 memory=1421676 CPUtime=221.77 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 236859 0 0 0 21278 899 0 0 20 0 1 0 200001166 1582981120 355419 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 386470 355419 1441 291 0 378004 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 1545880 KiB
Current children cumulated memory: 1421676 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/246 1062720
/proc/meminfo: memFree=124369728/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=1717860 memory=1592724 CPUtime=281.62 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 279658 0 0 0 26946 1216 0 0 20 0 1 0 200001166 1759088640 398181 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 429465 398181 1441 291 0 420999 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 1717860 KiB
Current children cumulated memory: 1592724 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/246 1062732
/proc/meminfo: memFree=124276912/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=1799204 memory=1673220 CPUtime=341.48 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 299872 0 0 0 32575 1573 0 0 20 0 1 0 200001166 1842384896 418305 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 449801 418305 1441 291 0 441335 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 1799204 KiB
Current children cumulated memory: 1673220 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.14 4.13 5/244 1062742
/proc/meminfo: memFree=123831644/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=2257292 memory=2089328 CPUtime=401.34 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 404365 0 0 0 38516 1618 0 0 20 0 1 0 200001166 2311467008 522332 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 564323 522332 1441 291 0 555857 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 2257292 KiB
Current children cumulated memory: 2089328 KiB

[startup+462.301 s]
/proc/loadavg: 4.18 4.15 4.13 5/243 1062753
/proc/meminfo: memFree=123171932/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=3085844 memory=2693788 CPUtime=461.2 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 507060 0 0 0 44460 1660 0 0 20 0 1 0 200001166 3159904256 673447 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0

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

/proc/meminfo: memFree=122789248/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=6135848 memory=5532896 CPUtime=2914.43 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1237740 0 0 0 284909 6534 0 0 20 0 1 0 200001166 6283108352 1383224 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1533962 1383224 1441 291 0 1525496 0
Current children cumulated CPU time: 2914.43 s
Current children cumulated vsize: 6135848 KiB
Current children cumulated memory: 5532896 KiB

[startup+2982.3 s]
/proc/loadavg: 1.13 1.92 2.81 2/221 1063883
/proc/meminfo: memFree=122747668/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=6168892 memory=5573740 CPUtime=2974.29 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1250619 0 0 0 290864 6565 0 0 20 0 1 0 200001166 6316945408 1393435 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1542223 1393435 1441 291 0 1533757 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 6168892 KiB
Current children cumulated memory: 5573740 KiB

[startup+3042.3 s]
/proc/loadavg: 1.15 1.78 2.70 2/221 1063893
/proc/meminfo: memFree=122629000/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=6293876 memory=5692704 CPUtime=3034.14 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1281805 0 0 0 296832 6582 0 0 20 0 1 0 200001166 6444929024 1423176 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1573469 1423176 1441 291 0 1565003 0
Current children cumulated CPU time: 3034.14 s
Current children cumulated vsize: 6293876 KiB
Current children cumulated memory: 5692704 KiB

[startup+3102.3 s]
/proc/loadavg: 1.11 1.65 2.60 2/220 1063903
/proc/meminfo: memFree=122532288/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=6411228 memory=5787108 CPUtime=3094.01 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1306918 0 0 0 302785 6616 0 0 20 0 1 0 200001166 6565097472 1446777 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1602807 1446777 1441 291 0 1594341 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 6411228 KiB
Current children cumulated memory: 5787108 KiB

[startup+3162.3 s]
/proc/loadavg: 1.16 1.56 2.50 2/220 1063914
/proc/meminfo: memFree=122494088/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=6453576 memory=5824540 CPUtime=3153.87 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1317388 0 0 0 308758 6629 0 0 20 0 1 0 200001166 6608461824 1456135 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1613394 1456135 1441 291 0 1604928 0
Current children cumulated CPU time: 3153.87 s
Current children cumulated vsize: 6453576 KiB
Current children cumulated memory: 5824540 KiB

[startup+3222.3 s]
/proc/loadavg: 1.19 1.49 2.42 2/222 1063929
/proc/meminfo: memFree=122481180/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=6459208 memory=5836928 CPUtime=3213.74 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1321612 0 0 0 314735 6639 0 0 20 0 1 0 200001166 6614228992 1459232 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1614802 1459232 1441 291 0 1606336 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 6459208 KiB
Current children cumulated memory: 5836928 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.41 2.33 2/223 1063940
/proc/meminfo: memFree=122251212/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=7118724 memory=6065924 CPUtime=3273.6 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1341517 0 0 0 320698 6662 0 0 20 0 1 0 200001166 7289573376 1516481 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1779681 1516481 1441 291 0 1771215 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 7118724 KiB
Current children cumulated memory: 6065924 KiB

[startup+3342.3 s]
/proc/loadavg: 1.15 1.37 2.26 2/223 1063951
/proc/meminfo: memFree=122100324/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=7129212 memory=6215800 CPUtime=3333.47 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1348292 0 0 0 326666 6681 0 0 20 0 1 0 200001166 7300313088 1553950 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1782303 1553950 1441 291 0 1773837 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 7129212 KiB
Current children cumulated memory: 6215800 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.31 2.18 2/223 1063961
/proc/meminfo: memFree=121966428/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=7129988 memory=6351024 CPUtime=3393.33 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1353699 0 0 0 332632 6701 0 0 20 0 1 0 200001166 7301107712 1587756 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1782497 1587756 1441 291 0 1774031 0
Current children cumulated CPU time: 3393.33 s
Current children cumulated vsize: 7129988 KiB
Current children cumulated memory: 6351024 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.27 2.11 2/223 1063971
/proc/meminfo: memFree=121764296/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=7298856 memory=6549680 CPUtime=3453.2 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1379832 0 0 0 338601 6719 0 0 20 0 1 0 200001166 7474028544 1637420 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1824714 1637420 1441 291 0 1816248 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 7298856 KiB
Current children cumulated memory: 6549680 KiB

[startup+3522.3 s]
/proc/loadavg: 1.18 1.26 2.05 2/224 1064366
/proc/meminfo: memFree=121732068/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=7334736 memory=6580484 CPUtime=3513.05 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1388404 0 0 0 344558 6747 0 0 20 0 1 0 200001166 7510769664 1645121 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1833684 1645121 1441 291 0 1825218 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 7334736 KiB
Current children cumulated memory: 6580484 KiB

[startup+3582.3 s]
/proc/loadavg: 1.11 1.23 1.99 2/221 1064377
/proc/meminfo: memFree=121725992/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=7334736 memory=6586404 CPUtime=3572.91 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1391449 0 0 0 350534 6757 0 0 20 0 1 0 200001166 7510769664 1646601 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1833684 1646601 1441 291 0 1825218 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 7334736 KiB
Current children cumulated memory: 6586404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 1.12 1.22 1.96 2/221 1064380
/proc/meminfo: memFree=121725620/131655788 swapFree=131071996/131071996
[pid=1062440] ppid=1062437 vsize=7334736 memory=6586532 CPUtime=3600.05 cores=4,6
/proc/1062440/stat : 1062440 (pb-oll-rs) R 1062437 1062440 1056719 0 -1 4194304 1392797 0 0 0 353236 6769 0 0 20 0 1 0 200001166 7510769664 1646633 134679101440 4194304 5384485 140727030220496 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 35094528 140727030227989 140727030228066 140727030228066 140727030235083 0
/proc/1062440/statm: 1833684 1646633 1441 291 0 1825218 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 7334736 KiB
Current children cumulated memory: 6586532 KiB

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

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

# cumulated CPU time of all completed processes:  user=3532.43 s, system=67.8613 s

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

[startup+3609.6 s]*
/proc/loadavg: 1.12 1.22 1.96 2/221 1064380
/proc/meminfo: memFree=123993548/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3609.71 s]
/proc/loadavg: 1.12 1.22 1.96 2/221 1064380
/proc/meminfo: memFree=123993548/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3609.73
CPU time (s): 3600.29
CPU user time (s): 3532.43
CPU system time (s): 67.8613
CPU usage (%): 99.7383
Max. virtual memory (cumulated for all children) (KiB): 7334736
Max. memory (cumulated for all children) (KiB): 6586532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3532.43
system time used= 67.8613
maximum resident set size= 6586532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1392973
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= 140
involuntary context switches= 4070


# summary of solver processes directly reported to runsolver:
#   pid: 1062440
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3532.43
#   total CPU system time (s): 67.8613

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7688 second user time and 29.0888 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-20 14:27:24
IDJOB=4454601
IDBENCH=158605
IDSOLVER=3082
FILE ID=nodeC002/4454601-1721478431
RUNJOBID= nodeC002-1721469936-1056730
SLURM_JOB_ID= 7545731
Free space on /tmp= 723652 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454601-1721478431/watcher-4454601-1721478431 -o /tmp/evaluation-result-4454601-1721478431/solver-4454601-1721478431 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721469936-1056730 --watchdog 3760  pb-oll-rs HOME/instance-4454601-1721478431.opb

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

MD5SUM BENCH= 56678f8f787569ff6bace689e56ab709
RANDOM SEED=1234408217

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126023076 kB
MemAvailable:   127665752 kB
Buffers:          594560 kB
Cached:          1881752 kB
SwapCached:            0 kB
Active:          1211864 kB
Inactive:        3830716 kB
Active(anon):       2716 kB
Inactive(anon):  2609452 kB
Active(file):    1209148 kB
Inactive(file):  1221264 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              9680 kB
Writeback:             0 kB
AnonPages:       2565260 kB
Mapped:           111752 kB
Shmem:             45896 kB
KReclaimable:     104592 kB
Slab:             210244 kB
SReclaimable:     104592 kB
SUnreclaim:       105652 kB
KernelStack:        3968 kB
PageTables:        14104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3049680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63968 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1810432 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:      252744 kB
DirectMap2M:    34254848 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC002 at 2024-07-20 15:27:33