Trace number 4436159

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02? (TO) 3600.19 3609.86

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436159-1721170160/watcher-4436159-1721170160 -o /tmp/evaluation-result-4436159-1721170160/solver-4436159-1721170160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721162948-874844 --watchdog 3760 pb-oll-rs HOME/instance-4436159-1721170160.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=879668, runsolver pid=879664
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 4.10 4.12 4.09 5/249 879676
/proc/meminfo: memFree=126137832/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=83752 memory=51584 CPUtime=0.09 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 9777 0 0 0 8 1 0 0 20 0 1 0 169179819 85762048 12896 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 20938 12896 1235 291 0 12472 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83752 KiB
Current children cumulated memory: 51584 KiB

[startup+0.205037 s]*
/proc/loadavg: 4.09 4.12 4.09 5/252 879682
/proc/meminfo: memFree=126085636/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=85448 memory=55412 CPUtime=0.2 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 12268 0 0 0 18 2 0 0 20 0 1 0 169179819 87498752 13853 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 21362 13853 1235 291 0 12896 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 85448 KiB
Current children cumulated memory: 55412 KiB

[startup+0.305452 s]*
/proc/loadavg: 4.09 4.12 4.09 5/252 879682
/proc/meminfo: memFree=126074908/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=89328 memory=59900 CPUtime=0.3 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 13391 0 0 0 28 2 0 0 20 0 1 0 169179819 91471872 14975 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 22332 14975 1235 291 0 13866 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 89328 KiB
Current children cumulated memory: 59900 KiB

[startup+0.700211 s]
/proc/loadavg: 4.09 4.12 4.09 5/252 879682
/proc/meminfo: memFree=126031896/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=128652 memory=84508 CPUtime=0.69 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 19493 0 0 0 54 15 0 0 20 0 1 0 169179819 131739648 21127 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 32163 21127 1408 291 0 23697 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 84508 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.12 4.09 6/248 879697
/proc/meminfo: memFree=126003204/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=147508 memory=98236 CPUtime=1.49 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 20843 0 0 0 133 16 0 0 20 0 1 0 169179819 151048192 24559 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 36877 24559 1408 291 0 28411 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 147508 KiB
Current children cumulated memory: 98236 KiB

[startup+3.10533 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 879762
/proc/meminfo: memFree=125904548/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=166476 memory=116748 CPUtime=3.09 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 21418 0 0 0 292 17 0 0 20 0 1 0 169179819 170471424 29187 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 41619 29187 1408 291 0 33153 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 166476 KiB
Current children cumulated memory: 116748 KiB

[startup+6.30022 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 879762
/proc/meminfo: memFree=125715612/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=202056 memory=160356 CPUtime=6.27 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 23102 0 0 0 594 33 0 0 20 0 1 0 169179819 206905344 40089 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 50514 40089 1408 291 0 42048 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 202056 KiB
Current children cumulated memory: 160356 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 879762
/proc/meminfo: memFree=125450956/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=334196 memory=227688 CPUtime=12.66 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 24660 0 0 0 1232 34 0 0 20 0 1 0 169179819 342216704 56922 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 83549 56922 1408 291 0 75083 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 334196 KiB
Current children cumulated memory: 227688 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.10 5/254 879765
/proc/meminfo: memFree=124928704/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=471880 memory=394872 CPUtime=25.42 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 26642 0 0 0 2491 51 0 0 20 0 1 0 169179819 483205120 98718 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 117970 98718 1408 291 0 109504 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 471880 KiB
Current children cumulated memory: 394872 KiB

[startup+51.1058 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 879772
/proc/meminfo: memFree=124258912/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=728020 memory=624488 CPUtime=50.95 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 37703 0 0 0 4993 102 0 0 20 0 1 0 169179819 745492480 156122 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 182005 156122 1461 291 0 173539 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 728020 KiB
Current children cumulated memory: 624488 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 879781
/proc/meminfo: memFree=123332096/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=1101916 memory=989020 CPUtime=101.99 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 128873 0 0 0 9880 319 0 0 20 0 1 0 169179819 1128361984 247255 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 275479 247255 1461 291 0 267013 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1101916 KiB
Current children cumulated memory: 989020 KiB

[startup+162.3 s]
/proc/loadavg: 4.43 4.22 4.13 5/256 879791
/proc/meminfo: memFree=122400688/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=1327488 memory=1214156 CPUtime=161.8 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 185205 0 0 0 15494 686 0 0 20 0 1 0 169179819 1359347712 303539 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 331872 303539 1461 291 0 323406 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1327488 KiB
Current children cumulated memory: 1214156 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.19 4.13 5/256 879801
/proc/meminfo: memFree=121535708/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=1541148 memory=1414156 CPUtime=221.6 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 235226 0 0 0 21308 852 0 0 20 0 1 0 169179819 1578135552 353539 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 385287 353539 1461 291 0 376821 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1541148 KiB
Current children cumulated memory: 1414156 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/256 879814
/proc/meminfo: memFree=121045696/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=1701104 memory=1573700 CPUtime=281.41 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 275159 0 0 0 26955 1186 0 0 20 0 1 0 169179819 1741930496 393425 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 425276 393425 1461 291 0 416810 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1701104 KiB
Current children cumulated memory: 1573700 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/258 880208
/proc/meminfo: memFree=120600860/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=1790836 memory=1662276 CPUtime=341.22 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 297783 0 0 0 32629 1493 0 0 20 0 1 0 169179819 1833816064 415569 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 447709 415569 1461 291 0 439243 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 1790836 KiB
Current children cumulated memory: 1662276 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/256 880218
/proc/meminfo: memFree=119979616/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=2138148 memory=1993436 CPUtime=401.04 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 380961 0 0 0 38519 1585 0 0 20 0 1 0 169179819 2189463552 498359 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 534537 498359 1461 291 0 526071 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 2138148 KiB
Current children cumulated memory: 1993436 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/256 880228
/proc/meminfo: memFree=118983428/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=2954072 memory=2559524 CPUtime=460.85 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 483529 0 0 0 44469 1616 0 0 20 0 1 0 169179819 3024969728 639881 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 738518 639881 1461 291 0 730052 0

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

Current children cumulated memory: 5681000 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/255 881472
/proc/meminfo: memFree=106390580/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=6135980 memory=5815336 CPUtime=2914.4 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1242836 0 0 0 285192 6248 0 0 20 0 1 0 169179819 6283243520 1453834 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1533995 1453834 1461 291 0 1525529 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 6135980 KiB
Current children cumulated memory: 5815336 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/255 881482
/proc/meminfo: memFree=106089752/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=6171000 memory=5852612 CPUtime=2974.24 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1254906 0 0 0 291148 6276 0 0 20 0 1 0 169179819 6319104000 1463153 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1542750 1463153 1461 291 0 1534284 0
Current children cumulated CPU time: 2974.24 s
Current children cumulated vsize: 6171000 KiB
Current children cumulated memory: 5852612 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/256 881496
/proc/meminfo: memFree=105837444/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=6289768 memory=5958224 CPUtime=3034.08 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1283204 0 0 0 297118 6290 0 0 20 0 1 0 169179819 6440722432 1489556 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1572442 1489556 1461 291 0 1563976 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 6289768 KiB
Current children cumulated memory: 5958224 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/257 881510
/proc/meminfo: memFree=105697616/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=6411228 memory=6051000 CPUtime=3093.93 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1309018 0 0 0 303075 6318 0 0 20 0 1 0 169179819 6565097472 1512750 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1602807 1512750 1461 291 0 1594341 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 6411228 KiB
Current children cumulated memory: 6051000 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/257 881520
/proc/meminfo: memFree=105604900/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=6453576 memory=6087312 CPUtime=3153.77 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1319179 0 0 0 309048 6329 0 0 20 0 1 0 169179819 6608461824 1521828 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1613394 1521828 1461 291 0 1604928 0
Current children cumulated CPU time: 3153.77 s
Current children cumulated vsize: 6453576 KiB
Current children cumulated memory: 6087312 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 881530
/proc/meminfo: memFree=105559684/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=6458600 memory=6098160 CPUtime=3213.61 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1323026 0 0 0 315027 6334 0 0 20 0 1 0 169179819 6613606400 1524540 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1614650 1524540 1461 291 0 1606184 0
Current children cumulated CPU time: 3213.61 s
Current children cumulated vsize: 6458600 KiB
Current children cumulated memory: 6098160 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/257 881543
/proc/meminfo: memFree=105317320/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=7116080 memory=6293944 CPUtime=3273.46 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1341613 0 0 0 320996 6350 0 0 20 0 1 0 169179819 7286865920 1573486 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1779020 1573486 1461 291 0 1770554 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 7116080 KiB
Current children cumulated memory: 6293944 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 881553
/proc/meminfo: memFree=105084152/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=7128340 memory=6442208 CPUtime=3333.3 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1347433 0 0 0 326966 6364 0 0 20 0 1 0 169179819 7299420160 1610552 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1782085 1610552 1461 291 0 1773619 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 7128340 KiB
Current children cumulated memory: 6442208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 881565
/proc/meminfo: memFree=104764532/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=7129800 memory=6566860 CPUtime=3393.15 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1351993 0 0 0 332936 6379 0 0 20 0 1 0 169179819 7300915200 1641715 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1782450 1641715 1461 291 0 1773984 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 7129800 KiB
Current children cumulated memory: 6566860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 881575
/proc/meminfo: memFree=104496716/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=7136388 memory=6686960 CPUtime=3452.99 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1356036 0 0 0 338911 6388 0 0 20 0 1 0 169179819 7307661312 1671740 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1784097 1671740 1461 291 0 1775631 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 7136388 KiB
Current children cumulated memory: 6686960 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 881586
/proc/meminfo: memFree=104174200/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=7334736 memory=6830988 CPUtime=3512.84 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1385894 0 0 0 344866 6418 0 0 20 0 1 0 169179819 7510769664 1707747 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1833684 1707747 1461 291 0 1825218 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 7334736 KiB
Current children cumulated memory: 6830988 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 881596
/proc/meminfo: memFree=104117756/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=7334736 memory=6831020 CPUtime=3572.69 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1387550 0 0 0 350844 6425 0 0 20 0 1 0 169179819 7510769664 1707755 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1833684 1707755 1461 291 0 1825218 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 7334736 KiB
Current children cumulated memory: 6831020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.11 4.11 4.09 4/249 881632
/proc/meminfo: memFree=108481104/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=7334736 memory=6831088 CPUtime=3600.02 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1388209 0 0 0 353574 6428 0 0 20 0 1 0 169179819 7510769664 1707772 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1833684 1707772 1461 291 0 1825218 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 7334736 KiB
Current children cumulated memory: 6831088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3535.81 s, system=64.3727 s

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

[startup+3609.8 s]
/proc/loadavg: 4.11 4.11 4.09 4/249 881632
/proc/meminfo: memFree=108481104/131524600 swapFree=131071996/131071996
[pid=879668] ppid=879664 vsize=6450540 memory=5909568 CPUtime=3600.11 cores=5,7
/proc/879668/stat : 879668 (pb-oll-rs) R 879664 879668 874831 0 -1 4194304 1389029 0 0 0 353580 6431 0 0 20 0 1 0 169179819 6605352960 1477392 134679101440 4194304 5384005 140736996275376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 30769152 140736996283415 140736996283492 140736996283492 140736996290507 0
/proc/879668/statm: 1612635 1477392 1568 291 0 1604169 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 6450540 KiB
Current children cumulated memory: 5909568 KiB

Child status: 0

Real time (s): 3609.86
CPU time (s): 3600.19
CPU user time (s): 3535.81
CPU system time (s): 64.3727
CPU usage (%): 99.7321
Max. virtual memory (cumulated for all children) (KiB): 7334736
Max. memory (cumulated for all children) (KiB): 6831088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3535.81
system time used= 64.3727
maximum resident set size= 6831548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1389045
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= 181
involuntary context switches= 3984


# summary of solver processes directly reported to runsolver:
#   pid: 879668
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3535.81
#   total CPU system time (s): 64.3727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67304 second user time and 16.5881 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-17 00:49:32
IDJOB=4436159
IDBENCH=158605
IDSOLVER=3067
FILE ID=nodeC021/4436159-1721170160
RUNJOBID= nodeC021-1721162948-874844
SLURM_JOB_ID= 7505782
Free space on /tmp= 890056 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4436159-1721170160/watcher-4436159-1721170160 -o /tmp/evaluation-result-4436159-1721170160/solver-4436159-1721170160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721162948-874844 --watchdog 3760  pb-oll-rs HOME/instance-4436159-1721170160.opb

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

MD5SUM BENCH= 56678f8f787569ff6bace689e56ab709
RANDOM SEED=1107679111

nodeC021.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	: 0xb00002a
cpu MHz		: 3600.498
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.42
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	: 0xb00002a
cpu MHz		: 3603.197
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.23
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	: 0xb00002a
cpu MHz		: 3673.799
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.42
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	: 0xb00002a
cpu MHz		: 3600.332
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.23
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	: 0xb00002a
cpu MHz		: 3673.718
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.42
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	: 0xb00002a
cpu MHz		: 3694.568
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.23
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	: 0xb00002a
cpu MHz		: 3600.067
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.42
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	: 0xb00002a
cpu MHz		: 3675.884
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126196276 kB
MemAvailable:   129546668 kB
Buffers:          438904 kB
Cached:          3711748 kB
SwapCached:            0 kB
Active:           806748 kB
Inactive:        3843580 kB
Active(anon):       1528 kB
Inactive(anon):   535860 kB
Active(file):     805220 kB
Inactive(file):  3307720 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18464 kB
Writeback:            80 kB
AnonPages:        498604 kB
Mapped:           106528 kB
Shmem:             37720 kB
KReclaimable:     154548 kB
Slab:             269328 kB
SReclaimable:     154548 kB
SUnreclaim:       114780 kB
KernelStack:        3936 kB
PageTables:        10300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     945576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    548864 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:      256724 kB
DirectMap2M:    23633920 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC021 at 2024-07-17 01:49:42