Trace number 4528912

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-07-10? (TO) 3600.08 3610.6

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
MD5SUMf4fbd70ee8b80515313bebcddc52f82a
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 benchmark181
Best CPU time to get the best result obtained on this benchmark3600.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables476
Total number of constraints476
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 476
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 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
Number of bits of the biggest sum of numbers9
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.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
0.00/0.03	c [STEP] preprocessing with Papilo
0.00/0.04	c [STEP] solving with SCIP
299.38/300.23	c [STEP] preprocessing done, loading into solver
299.38/300.23	c [STEP] solving
299.38/300.23	c #variables 477 #constraints 476
299.38/300.23	c SMALL=int, LARGE=long long
299.38/300.23	d SCIPUB 190
299.38/300.23	c bounds - >= 0 @ 299.267
299.38/300.23	c stratification level: 0
339.67/340.69	c bounds - >= 54 @ 299.269
339.67/340.69	c bounds - >= 55 @ 299.269
339.67/340.69	c bounds - >= 56 @ 299.269
339.67/340.69	c bounds - >= 57 @ 299.269
339.67/340.69	c bounds - >= 58 @ 299.269
339.67/340.69	c bounds - >= 59 @ 299.269
339.67/340.69	c bounds - >= 60 @ 299.269
339.67/340.69	c bounds - >= 61 @ 299.269
339.67/340.69	c bounds - >= 62 @ 299.269
339.67/340.69	c bounds - >= 63 @ 299.269
339.67/340.69	c bounds - >= 64 @ 299.27
339.67/340.69	c bounds - >= 65 @ 299.27
339.67/340.69	c bounds - >= 66 @ 299.27
339.67/340.69	c bounds - >= 67 @ 299.27
339.67/340.69	c bounds - >= 68 @ 299.27
339.67/340.69	c bounds - >= 69 @ 299.27
339.67/340.69	c bounds - >= 70 @ 299.27
339.67/340.69	c bounds - >= 71 @ 299.27
339.67/340.69	c bounds - >= 72 @ 299.27
339.67/340.69	c bounds - >= 73 @ 299.27
339.67/340.69	c bounds - >= 74 @ 299.27
339.67/340.69	c bounds - >= 75 @ 299.27
339.67/340.69	c bounds - >= 76 @ 299.27
339.67/340.69	c bounds - >= 77 @ 299.27
339.67/340.69	c bounds - >= 78 @ 299.27
339.67/340.69	c bounds - >= 79 @ 299.27
339.67/340.69	c bounds - >= 80 @ 299.27
339.67/340.69	c bounds - >= 81 @ 299.27
339.67/340.69	c bounds - >= 82 @ 299.27
339.67/340.69	c bounds - >= 83 @ 299.27
339.67/340.69	c bounds - >= 84 @ 299.271
339.67/340.69	c bounds - >= 85 @ 299.271
339.67/340.69	c bounds - >= 86 @ 299.271
339.67/340.69	c bounds - >= 87 @ 299.271
339.67/340.69	c bounds - >= 88 @ 299.271
339.67/340.69	c bounds - >= 89 @ 299.271
339.67/340.69	c bounds - >= 90 @ 299.271
339.67/340.69	c bounds - >= 91 @ 299.271
339.67/340.69	c bounds - >= 92 @ 299.272
339.67/340.69	c bounds - >= 93 @ 299.272
339.67/340.69	c bounds - >= 94 @ 299.272
339.67/340.69	c bounds - >= 95 @ 299.272
339.67/340.69	c bounds - >= 96 @ 299.272
339.67/340.69	c bounds - >= 97 @ 299.272
339.67/340.69	c bounds - >= 98 @ 299.272
339.67/340.69	c bounds - >= 99 @ 299.272
339.67/340.69	c bounds - >= 100 @ 299.272
339.67/340.69	c bounds - >= 101 @ 299.273
339.67/340.69	c bounds - >= 102 @ 299.273
339.67/340.69	c bounds - >= 103 @ 299.273
339.67/340.69	c bounds - >= 104 @ 299.273
339.67/340.69	c bounds - >= 105 @ 299.273
339.67/340.69	c bounds - >= 106 @ 299.273
339.67/340.69	c bounds - >= 107 @ 299.273
339.67/340.69	c bounds - >= 108 @ 299.273
339.67/340.69	c bounds - >= 109 @ 299.274
339.67/340.69	c bounds - >= 110 @ 299.274
339.67/340.69	c bounds - >= 111 @ 299.274
339.67/340.69	c bounds - >= 112 @ 299.274
339.67/340.69	c bounds - >= 113 @ 299.274
339.67/340.69	c bounds - >= 114 @ 299.274
339.67/340.69	c bounds - >= 115 @ 299.274
339.67/340.69	c bounds - >= 116 @ 299.274
339.67/340.69	c bounds - >= 117 @ 299.274
339.67/340.69	c bounds - >= 118 @ 299.274
339.67/340.69	c bounds - >= 119 @ 299.274
339.67/340.69	c bounds - >= 120 @ 299.274
339.67/340.69	c bounds - >= 121 @ 299.275
339.67/340.69	c bounds - >= 122 @ 299.275
339.67/340.69	c bounds - >= 123 @ 299.275
339.67/340.69	c bounds - >= 124 @ 299.275
339.67/340.69	c bounds - >= 125 @ 299.275
339.67/340.69	c bounds - >= 126 @ 299.275
339.67/340.69	c bounds - >= 127 @ 299.275
339.67/340.69	c bounds - >= 128 @ 299.275
339.67/340.69	c #Conflicts:       1000 | #Constraints:       1613
339.67/340.69	c #Conflicts:       2000 | #Constraints:       2613
339.67/340.69	c INPROCESSING
339.67/340.69	c GARBAGE COLLECT
339.67/340.69	c #Conflicts:       3000 | #Constraints:       2540
339.67/340.69	c #Conflicts:       4000 | #Constraints:       3540
339.67/340.69	c INPROCESSING
339.67/340.69	c GARBAGE COLLECT
339.67/340.69	c #Conflicts:       5000 | #Constraints:       2943
339.67/340.69	c #Conflicts:       6000 | #Constraints:       3943
339.67/340.69	c INPROCESSING
339.67/340.69	c GARBAGE COLLECT
339.67/340.69	c #Conflicts:       7000 | #Constraints:       2941
339.67/340.69	c #Conflicts:       8000 | #Constraints:       3941
339.67/340.69	c #Conflicts:       9000 | #Constraints:       4941
339.67/340.69	c INPROCESSING
339.67/340.69	c GARBAGE COLLECT
339.67/340.69	c #Conflicts:      10000 | #Constraints:       3642
339.67/340.69	c #Conflicts:      11000 | #Constraints:       4642
339.67/340.69	c #Conflicts:      12000 | #Constraints:       5642
339.67/340.69	c INPROCESSING
339.67/340.69	c GARBAGE COLLECT
339.67/340.69	c #Conflicts:      13000 | #Constraints:       4092
339.67/340.69	c #Conflicts:      14000 | #Constraints:       5092
339.67/340.69	c #Conflicts:      15000 | #Constraints:       6092
339.67/340.69	c INPROCESSING
339.67/340.69	c GARBAGE COLLECT
339.67/340.69	c #Conflicts:      16000 | #Constraints:       4318
339.67/340.69	c #Conflicts:      17000 | #Constraints:       5318
339.67/340.69	c #Conflicts:      18000 | #Constraints:       6318
339.67/340.69	c INPROCESSING
339.67/340.69	c GARBAGE COLLECT
339.67/340.69	c #Conflicts:      19000 | #Constraints:       4332
339.67/340.69	c #Conflicts:      20000 | #Constraints:       5332
339.67/340.69	c #Conflicts:      21000 | #Constraints:       6332
339.67/340.69	c INPROCESSING
339.67/340.69	c GARBAGE COLLECT
339.67/340.69	c #Conflicts:      22000 | #Constraints:       4137
339.67/340.69	c #Conflicts:      23000 | #Constraints:       5137
339.67/340.69	c #Conflicts:      24000 | #Constraints:       6137
339.67/340.69	c #Conflicts:      25000 | #Constraints:       7137
339.67/340.69	c INPROCESSING
339.67/340.69	c GARBAGE COLLECT
339.67/340.69	c #Conflicts:      26000 | #Constraints:       4741
339.67/340.69	c #Conflicts:      27000 | #Constraints:       5741
339.67/340.69	c #Conflicts:      28000 | #Constraints:       6741
339.67/340.69	c #Conflicts:      29000 | #Constraints:       7741
339.67/340.69	c INPROCESSING
339.67/340.69	c GARBAGE COLLECT
339.67/340.69	c #Conflicts:      30000 | #Constraints:       5141
339.67/340.69	c #Conflicts:      31000 | #Constraints:       6141
339.67/340.69	c #Conflicts:      32000 | #Constraints:       7141
339.67/340.69	c #Conflicts:      33000 | #Constraints:       8141
339.67/340.69	c INPROCESSING
339.67/340.69	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      34000 | #Constraints:       5339
574.27/575.92	c #Conflicts:      35000 | #Constraints:       6339
574.27/575.92	c #Conflicts:      36000 | #Constraints:       7339
574.27/575.92	c #Conflicts:      37000 | #Constraints:       8339
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      38000 | #Constraints:       5341
574.27/575.92	c #Conflicts:      39000 | #Constraints:       6341
574.27/575.92	c #Conflicts:      40000 | #Constraints:       7341
574.27/575.92	c #Conflicts:      41000 | #Constraints:       8341
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      42000 | #Constraints:       5140
574.27/575.92	c #Conflicts:      43000 | #Constraints:       6140
574.27/575.92	c #Conflicts:      44000 | #Constraints:       7140
574.27/575.92	c #Conflicts:      45000 | #Constraints:       8140
574.27/575.92	c #Conflicts:      46000 | #Constraints:       9140
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      47000 | #Constraints:       5742
574.27/575.92	c #Conflicts:      48000 | #Constraints:       6742
574.27/575.92	c #Conflicts:      49000 | #Constraints:       7742
574.27/575.92	c #Conflicts:      50000 | #Constraints:       8742
574.27/575.92	c #Conflicts:      51000 | #Constraints:       9742
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      52000 | #Constraints:       6145
574.27/575.92	c #Conflicts:      53000 | #Constraints:       7145
574.27/575.92	c #Conflicts:      54000 | #Constraints:       8145
574.27/575.92	c #Conflicts:      55000 | #Constraints:       9145
574.27/575.92	c #Conflicts:      56000 | #Constraints:      10145
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      57000 | #Constraints:       6345
574.27/575.92	c #Conflicts:      58000 | #Constraints:       7345
574.27/575.92	c #Conflicts:      59000 | #Constraints:       8345
574.27/575.92	c #Conflicts:      60000 | #Constraints:       9345
574.27/575.92	c #Conflicts:      61000 | #Constraints:      10345
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      62000 | #Constraints:       6347
574.27/575.92	c #Conflicts:      63000 | #Constraints:       7347
574.27/575.92	c #Conflicts:      64000 | #Constraints:       8347
574.27/575.92	c #Conflicts:      65000 | #Constraints:       9347
574.27/575.92	c #Conflicts:      66000 | #Constraints:      10347
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      67000 | #Constraints:       6145
574.27/575.92	c #Conflicts:      68000 | #Constraints:       7145
574.27/575.92	c #Conflicts:      69000 | #Constraints:       8145
574.27/575.92	c #Conflicts:      70000 | #Constraints:       9145
574.27/575.92	c #Conflicts:      71000 | #Constraints:      10145
574.27/575.92	c #Conflicts:      72000 | #Constraints:      11145
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      73000 | #Constraints:       6746
574.27/575.92	c #Conflicts:      74000 | #Constraints:       7746
574.27/575.92	c #Conflicts:      75000 | #Constraints:       8746
574.27/575.92	c #Conflicts:      76000 | #Constraints:       9746
574.27/575.92	c #Conflicts:      77000 | #Constraints:      10746
574.27/575.92	c #Conflicts:      78000 | #Constraints:      11746
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      79000 | #Constraints:       7147
574.27/575.92	c #Conflicts:      80000 | #Constraints:       8147
574.27/575.92	c #Conflicts:      81000 | #Constraints:       9147
574.27/575.92	c #Conflicts:      82000 | #Constraints:      10147
574.27/575.92	c #Conflicts:      83000 | #Constraints:      11147
574.27/575.92	c #Conflicts:      84000 | #Constraints:      12147
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      85000 | #Constraints:       7349
574.27/575.92	c #Conflicts:      86000 | #Constraints:       8349
574.27/575.92	c #Conflicts:      87000 | #Constraints:       9349
574.27/575.92	c #Conflicts:      88000 | #Constraints:      10349
574.27/575.92	c #Conflicts:      89000 | #Constraints:      11349
574.27/575.92	c #Conflicts:      90000 | #Constraints:      12349
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      91000 | #Constraints:       7347
574.27/575.92	c #Conflicts:      92000 | #Constraints:       8347
574.27/575.92	c #Conflicts:      93000 | #Constraints:       9347
574.27/575.92	c #Conflicts:      94000 | #Constraints:      10347
574.27/575.92	c #Conflicts:      95000 | #Constraints:      11347
574.27/575.92	c #Conflicts:      96000 | #Constraints:      12347
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:      97000 | #Constraints:       7147
574.27/575.92	c #Conflicts:      98000 | #Constraints:       8147
574.27/575.92	c #Conflicts:      99000 | #Constraints:       9147
574.27/575.92	c #Conflicts:     100000 | #Constraints:      10147
574.27/575.92	c #Conflicts:     101000 | #Constraints:      11147
574.27/575.92	c #Conflicts:     102000 | #Constraints:      12147
574.27/575.92	c #Conflicts:     103000 | #Constraints:      13147
574.27/575.92	c INPROCESSING
574.27/575.92	c GARBAGE COLLECT
574.27/575.92	c #Conflicts:     104000 | #Constraints:       7746
1002.29/1005.24	c #Conflicts:     105000 | #Constraints:       8746
1002.29/1005.24	c #Conflicts:     106000 | #Constraints:       9746
1002.29/1005.24	c #Conflicts:     107000 | #Constraints:      10746
1002.29/1005.24	c #Conflicts:     108000 | #Constraints:      11746
1002.29/1005.24	c #Conflicts:     109000 | #Constraints:      12746
1002.29/1005.24	c #Conflicts:     110000 | #Constraints:      13746
1002.29/1005.24	c INPROCESSING
1002.29/1005.24	c GARBAGE COLLECT
1002.29/1005.24	c #Conflicts:     111000 | #Constraints:       8150
1002.29/1005.24	c #Conflicts:     112000 | #Constraints:       9150
1002.29/1005.24	c #Conflicts:     113000 | #Constraints:      10150
1002.29/1005.24	c #Conflicts:     114000 | #Constraints:      11150
1002.29/1005.24	c #Conflicts:     115000 | #Constraints:      12150
1002.29/1005.24	c #Conflicts:     116000 | #Constraints:      13150
1002.29/1005.24	c #Conflicts:     117000 | #Constraints:      14150
1002.29/1005.24	c INPROCESSING
1002.29/1005.24	c GARBAGE COLLECT
1002.29/1005.24	c #Conflicts:     118000 | #Constraints:       8351
1002.29/1005.24	c #Conflicts:     119000 | #Constraints:       9351
1002.29/1005.24	c #Conflicts:     120000 | #Constraints:      10351
1002.29/1005.24	c #Conflicts:     121000 | #Constraints:      11351
1002.29/1005.24	c #Conflicts:     122000 | #Constraints:      12351
1002.29/1005.24	c #Conflicts:     123000 | #Constraints:      13351
1002.29/1005.24	c #Conflicts:     124000 | #Constraints:      14351
1002.29/1005.24	c INPROCESSING
1002.29/1005.24	c GARBAGE COLLECT
1002.29/1005.24	c #Conflicts:     125000 | #Constraints:       8347
1002.29/1005.24	c #Conflicts:     126000 | #Constraints:       9347
1002.29/1005.24	c #Conflicts:     127000 | #Constraints:      10347
1002.29/1005.24	c #Conflicts:     128000 | #Constraints:      11347
1002.29/1005.24	c #Conflicts:     129000 | #Constraints:      12347
1002.29/1005.24	c #Conflicts:     130000 | #Constraints:      13347
1002.29/1005.24	c #Conflicts:     131000 | #Constraints:      14347
1002.29/1005.24	c INPROCESSING
1002.29/1005.24	c GARBAGE COLLECT
1002.29/1005.24	c #Conflicts:     132000 | #Constraints:       8146
1002.29/1005.24	c #Conflicts:     133000 | #Constraints:       9146
1002.29/1005.24	c #Conflicts:     134000 | #Constraints:      10146
1002.29/1005.24	c #Conflicts:     135000 | #Constraints:      11146
1002.29/1005.24	c #Conflicts:     136000 | #Constraints:      12146
1002.29/1005.24	c #Conflicts:     137000 | #Constraints:      13146
1002.29/1005.24	c #Conflicts:     138000 | #Constraints:      14146
1002.29/1005.24	c #Conflicts:     139000 | #Constraints:      15146
1002.29/1005.24	c INPROCESSING
1002.29/1005.24	c GARBAGE COLLECT
1002.29/1005.24	c #Conflicts:     140000 | #Constraints:       8747
1002.29/1005.24	c #Conflicts:     141000 | #Constraints:       9747
1002.29/1005.24	c #Conflicts:     142000 | #Constraints:      10747
1002.29/1005.24	c #Conflicts:     143000 | #Constraints:      11747
1002.29/1005.24	c #Conflicts:     144000 | #Constraints:      12747
1002.29/1005.24	c #Conflicts:     145000 | #Constraints:      13747
1002.29/1005.24	c #Conflicts:     146000 | #Constraints:      14747
1002.29/1005.24	c #Conflicts:     147000 | #Constraints:      15747
1002.29/1005.24	c INPROCESSING
1002.29/1005.24	c GARBAGE COLLECT
1002.29/1005.24	c #Conflicts:     148000 | #Constraints:       9152
1002.29/1005.24	c #Conflicts:     149000 | #Constraints:      10152
1002.29/1005.24	c #Conflicts:     150000 | #Constraints:      11152
1002.29/1005.24	c #Conflicts:     151000 | #Constraints:      12152
1002.29/1005.24	c #Conflicts:     152000 | #Constraints:      13152
1002.29/1005.24	c #Conflicts:     153000 | #Constraints:      14152
1002.29/1005.24	c #Conflicts:     154000 | #Constraints:      15152
1002.29/1005.24	c #Conflicts:     155000 | #Constraints:      16152
1002.29/1005.24	c INPROCESSING
1002.29/1005.24	c GARBAGE COLLECT
1002.29/1005.24	c #Conflicts:     156000 | #Constraints:       9346
1002.29/1005.24	c #Conflicts:     157000 | #Constraints:      10346
1002.29/1005.24	c #Conflicts:     158000 | #Constraints:      11346
1002.29/1005.24	c #Conflicts:     159000 | #Constraints:      12346
1002.29/1005.24	c #Conflicts:     160000 | #Constraints:      13346
1002.29/1005.24	c #Conflicts:     161000 | #Constraints:      14346
1002.29/1005.24	c #Conflicts:     162000 | #Constraints:      15346
1002.29/1005.24	c #Conflicts:     163000 | #Constraints:      16346
1002.29/1005.24	c INPROCESSING
1002.29/1005.24	c GARBAGE COLLECT
1002.29/1005.24	c #Conflicts:     164000 | #Constraints:       9348
1002.29/1005.24	c #Conflicts:     165000 | #Constraints:      10348
1002.29/1005.24	c #Conflicts:     166000 | #Constraints:      11348
1002.29/1005.24	c #Conflicts:     167000 | #Constraints:      12348
1002.29/1005.24	c #Conflicts:     168000 | #Constraints:      13348
1002.29/1005.24	c #Conflicts:     169000 | #Constraints:      14348
1002.29/1005.24	c #Conflicts:     170000 | #Constraints:      15348
1002.29/1005.24	c #Conflicts:     171000 | #Constraints:      16348
1002.29/1005.24	c INPROCESSING
1002.29/1005.24	c GARBAGE COLLECT
1002.29/1005.24	c #Conflicts:     172000 | #Constraints:       9148
1002.29/1005.24	c #Conflicts:     173000 | #Constraints:      10148
1002.29/1005.24	c #Conflicts:     174000 | #Constraints:      11148
1002.29/1005.24	c #Conflicts:     175000 | #Constraints:      12148
1002.29/1005.24	c #Conflicts:     176000 | #Constraints:      13148
1002.29/1005.24	c #Conflicts:     177000 | #Constraints:      14148
1688.11/1693.04	c #Conflicts:     178000 | #Constraints:      15148
1688.11/1693.04	c #Conflicts:     179000 | #Constraints:      16148
1688.11/1693.04	c #Conflicts:     180000 | #Constraints:      17148
1688.11/1693.04	c INPROCESSING
1688.11/1693.04	c GARBAGE COLLECT
1688.11/1693.04	c #Conflicts:     181000 | #Constraints:       9749
1688.11/1693.04	c #Conflicts:     182000 | #Constraints:      10749
1688.11/1693.04	c #Conflicts:     183000 | #Constraints:      11749
1688.11/1693.04	c #Conflicts:     184000 | #Constraints:      12749
1688.11/1693.04	c #Conflicts:     185000 | #Constraints:      13749
1688.11/1693.04	c #Conflicts:     186000 | #Constraints:      14749
1688.11/1693.04	c #Conflicts:     187000 | #Constraints:      15749
1688.11/1693.04	c #Conflicts:     188000 | #Constraints:      16749
1688.11/1693.04	c #Conflicts:     189000 | #Constraints:      17749
1688.11/1693.04	c INPROCESSING
1688.11/1693.04	c GARBAGE COLLECT
1688.11/1693.04	c #Conflicts:     190000 | #Constraints:      10146
1688.11/1693.04	c #Conflicts:     191000 | #Constraints:      11146
1688.11/1693.04	c #Conflicts:     192000 | #Constraints:      12146
1688.11/1693.04	c #Conflicts:     193000 | #Constraints:      13146
1688.11/1693.04	c #Conflicts:     194000 | #Constraints:      14146
1688.11/1693.04	c #Conflicts:     195000 | #Constraints:      15146
1688.11/1693.04	c #Conflicts:     196000 | #Constraints:      16146
1688.11/1693.04	c #Conflicts:     197000 | #Constraints:      17146
1688.11/1693.04	c #Conflicts:     198000 | #Constraints:      18146
1688.11/1693.04	c INPROCESSING
1688.11/1693.04	c GARBAGE COLLECT
1688.11/1693.04	c #Conflicts:     199000 | #Constraints:      10354
1688.11/1693.04	c #Conflicts:     200000 | #Constraints:      11354
1688.11/1693.04	c #Conflicts:     201000 | #Constraints:      12354
1688.11/1693.04	c #Conflicts:     202000 | #Constraints:      13354
1688.11/1693.04	c #Conflicts:     203000 | #Constraints:      14354
1688.11/1693.04	c #Conflicts:     204000 | #Constraints:      15354
1688.11/1693.04	c #Conflicts:     205000 | #Constraints:      16354
1688.11/1693.04	c #Conflicts:     206000 | #Constraints:      17354
1688.11/1693.04	c #Conflicts:     207000 | #Constraints:      18354
1688.11/1693.04	c INPROCESSING
1688.11/1693.04	c GARBAGE COLLECT
1688.11/1693.04	c #Conflicts:     208000 | #Constraints:      10351
1688.11/1693.04	c #Conflicts:     209000 | #Constraints:      11351
1688.11/1693.04	c #Conflicts:     210000 | #Constraints:      12351
1688.11/1693.04	c #Conflicts:     211000 | #Constraints:      13351
1688.11/1693.04	c #Conflicts:     212000 | #Constraints:      14351
1688.11/1693.04	c #Conflicts:     213000 | #Constraints:      15351
1688.11/1693.04	c #Conflicts:     214000 | #Constraints:      16351
1688.11/1693.04	c #Conflicts:     215000 | #Constraints:      17351
1688.11/1693.04	c #Conflicts:     216000 | #Constraints:      18351
1688.11/1693.04	c INPROCESSING
1688.11/1693.04	c GARBAGE COLLECT
1688.11/1693.04	c #Conflicts:     217000 | #Constraints:      10152
1688.11/1693.04	c #Conflicts:     218000 | #Constraints:      11152
1688.11/1693.04	c #Conflicts:     219000 | #Constraints:      12152
1688.11/1693.04	c #Conflicts:     220000 | #Constraints:      13152
1688.11/1693.04	c #Conflicts:     221000 | #Constraints:      14152
1688.11/1693.04	c #Conflicts:     222000 | #Constraints:      15152
1688.11/1693.04	c #Conflicts:     223000 | #Constraints:      16152
1688.11/1693.04	c #Conflicts:     224000 | #Constraints:      17152
1688.11/1693.04	c #Conflicts:     225000 | #Constraints:      18152
1688.11/1693.04	c #Conflicts:     226000 | #Constraints:      19152
1688.11/1693.04	c INPROCESSING
1688.11/1693.04	c GARBAGE COLLECT
1688.11/1693.04	c #Conflicts:     227000 | #Constraints:      10753
1688.11/1693.04	c #Conflicts:     228000 | #Constraints:      11753
1688.11/1693.04	c #Conflicts:     229000 | #Constraints:      12753
1688.11/1693.04	c #Conflicts:     230000 | #Constraints:      13753
1688.11/1693.04	c #Conflicts:     231000 | #Constraints:      14753
1688.11/1693.04	c #Conflicts:     232000 | #Constraints:      15753
1688.11/1693.04	c #Conflicts:     233000 | #Constraints:      16753
1688.11/1693.04	c #Conflicts:     234000 | #Constraints:      17753
1688.11/1693.04	c #Conflicts:     235000 | #Constraints:      18753
1688.11/1693.04	c #Conflicts:     236000 | #Constraints:      19753
1688.11/1693.04	c INPROCESSING
1688.11/1693.04	c GARBAGE COLLECT
1688.11/1693.04	c #Conflicts:     237000 | #Constraints:      11148
1688.11/1693.04	c #Conflicts:     238000 | #Constraints:      12148
1688.11/1693.04	c #Conflicts:     239000 | #Constraints:      13148
1688.11/1693.04	c #Conflicts:     240000 | #Constraints:      14148
1688.11/1693.04	c #Conflicts:     241000 | #Constraints:      15148
1688.11/1693.04	c #Conflicts:     242000 | #Constraints:      16148
1688.11/1693.04	c #Conflicts:     243000 | #Constraints:      17148
1688.11/1693.04	c #Conflicts:     244000 | #Constraints:      18148
1688.11/1693.04	c #Conflicts:     245000 | #Constraints:      19148
1688.11/1693.04	c #Conflicts:     246000 | #Constraints:      20148
1688.11/1693.04	c INPROCESSING
1688.11/1693.04	c GARBAGE COLLECT
1688.11/1693.04	c #Conflicts:     247000 | #Constraints:      11350
1688.11/1693.04	c #Conflicts:     248000 | #Constraints:      12350
1688.11/1693.04	c #Conflicts:     249000 | #Constraints:      13350
1688.11/1693.04	c #Conflicts:     250000 | #Constraints:      14350
2328.83/2335.64	c #Conflicts:     251000 | #Constraints:      15350
2328.83/2335.64	c #Conflicts:     252000 | #Constraints:      16350
2328.83/2335.64	c #Conflicts:     253000 | #Constraints:      17350
2328.83/2335.64	c #Conflicts:     254000 | #Constraints:      18350
2328.83/2335.64	c #Conflicts:     255000 | #Constraints:      19350
2328.83/2335.64	c #Conflicts:     256000 | #Constraints:      20350
2328.83/2335.64	c INPROCESSING
2328.83/2335.64	c GARBAGE COLLECT
2328.83/2335.64	c #Conflicts:     257000 | #Constraints:      11351
2328.83/2335.64	c #Conflicts:     258000 | #Constraints:      12351
2328.83/2335.64	c #Conflicts:     259000 | #Constraints:      13351
2328.83/2335.64	c #Conflicts:     260000 | #Constraints:      14351
2328.83/2335.64	c #Conflicts:     261000 | #Constraints:      15351
2328.83/2335.64	c #Conflicts:     262000 | #Constraints:      16351
2328.83/2335.64	c #Conflicts:     263000 | #Constraints:      17351
2328.83/2335.64	c #Conflicts:     264000 | #Constraints:      18351
2328.83/2335.64	c #Conflicts:     265000 | #Constraints:      19351
2328.83/2335.64	c #Conflicts:     266000 | #Constraints:      20351
2328.83/2335.64	c INPROCESSING
2328.83/2335.64	c GARBAGE COLLECT
2328.83/2335.64	c #Conflicts:     267000 | #Constraints:      11151
2328.83/2335.64	c #Conflicts:     268000 | #Constraints:      12151
2328.83/2335.64	c #Conflicts:     269000 | #Constraints:      13151
2328.83/2335.64	c #Conflicts:     270000 | #Constraints:      14151
2328.83/2335.64	c #Conflicts:     271000 | #Constraints:      15151
2328.83/2335.64	c #Conflicts:     272000 | #Constraints:      16151
2328.83/2335.64	c #Conflicts:     273000 | #Constraints:      17151
2328.83/2335.64	c #Conflicts:     274000 | #Constraints:      18151
2328.83/2335.64	c #Conflicts:     275000 | #Constraints:      19151
2328.83/2335.64	c #Conflicts:     276000 | #Constraints:      20151
2328.83/2335.64	c #Conflicts:     277000 | #Constraints:      21151
2328.83/2335.64	c INPROCESSING
2328.83/2335.64	c GARBAGE COLLECT
2328.83/2335.64	c #Conflicts:     278000 | #Constraints:      11753
2328.83/2335.64	c #Conflicts:     279000 | #Constraints:      12753
2328.83/2335.64	c #Conflicts:     280000 | #Constraints:      13753
2328.83/2335.64	c #Conflicts:     281000 | #Constraints:      14753
2328.83/2335.64	c #Conflicts:     282000 | #Constraints:      15753
2328.83/2335.64	c #Conflicts:     283000 | #Constraints:      16753
2328.83/2335.64	c #Conflicts:     284000 | #Constraints:      17753
2328.83/2335.64	c #Conflicts:     285000 | #Constraints:      18753
2328.83/2335.64	c #Conflicts:     286000 | #Constraints:      19753
2328.83/2335.64	c #Conflicts:     287000 | #Constraints:      20753
2328.83/2335.64	c #Conflicts:     288000 | #Constraints:      21753
2328.83/2335.64	c INPROCESSING
2328.83/2335.64	c GARBAGE COLLECT
2328.83/2335.64	c #Conflicts:     289000 | #Constraints:      12152
2328.83/2335.64	c #Conflicts:     290000 | #Constraints:      13152
2328.83/2335.64	c #Conflicts:     291000 | #Constraints:      14152
2328.83/2335.64	c #Conflicts:     292000 | #Constraints:      15152
2328.83/2335.64	c #Conflicts:     293000 | #Constraints:      16152
2328.83/2335.64	c #Conflicts:     294000 | #Constraints:      17152
2328.83/2335.64	c #Conflicts:     295000 | #Constraints:      18152
2328.83/2335.64	c #Conflicts:     296000 | #Constraints:      19152
2328.83/2335.64	c #Conflicts:     297000 | #Constraints:      20152
2328.83/2335.64	c #Conflicts:     298000 | #Constraints:      21152
2328.83/2335.64	c #Conflicts:     299000 | #Constraints:      22152
2328.83/2335.64	c INPROCESSING
2328.83/2335.64	c GARBAGE COLLECT
2328.83/2335.64	c #Conflicts:     300000 | #Constraints:      12346
2328.83/2335.64	c #Conflicts:     301000 | #Constraints:      13346
2328.83/2335.64	c #Conflicts:     302000 | #Constraints:      14346
2328.83/2335.64	c #Conflicts:     303000 | #Constraints:      15346
2328.83/2335.64	c #Conflicts:     304000 | #Constraints:      16346
2328.83/2335.64	c #Conflicts:     305000 | #Constraints:      17346
2328.83/2335.64	c #Conflicts:     306000 | #Constraints:      18346
2328.83/2335.64	c #Conflicts:     307000 | #Constraints:      19346
2328.83/2335.64	c #Conflicts:     308000 | #Constraints:      20346
2328.83/2335.64	c #Conflicts:     309000 | #Constraints:      21346
2328.83/2335.64	c #Conflicts:     310000 | #Constraints:      22346
2328.83/2335.64	c INPROCESSING
2328.83/2335.64	c GARBAGE COLLECT
2328.83/2335.64	c #Conflicts:     311000 | #Constraints:      12346
2328.83/2335.64	c #Conflicts:     312000 | #Constraints:      13346
2328.83/2335.64	c #Conflicts:     313000 | #Constraints:      14346
2328.83/2335.64	c #Conflicts:     314000 | #Constraints:      15346
2328.83/2335.64	c #Conflicts:     315000 | #Constraints:      16346
2328.83/2335.64	c #Conflicts:     316000 | #Constraints:      17346
2328.83/2335.64	c #Conflicts:     317000 | #Constraints:      18346
2328.83/2335.64	c #Conflicts:     318000 | #Constraints:      19346
2328.83/2335.64	c #Conflicts:     319000 | #Constraints:      20346
2328.83/2335.64	c #Conflicts:     320000 | #Constraints:      21346
2328.83/2335.64	c #Conflicts:     321000 | #Constraints:      22346
2328.83/2335.64	c INPROCESSING
2328.83/2335.64	c GARBAGE COLLECT
2328.83/2335.64	c #Conflicts:     322000 | #Constraints:      12149
2328.83/2335.64	c #Conflicts:     323000 | #Constraints:      13149
2328.83/2335.64	c #Conflicts:     324000 | #Constraints:      14149
2328.83/2335.64	c #Conflicts:     325000 | #Constraints:      15149
3345.23/3355.04	c #Conflicts:     326000 | #Constraints:      16149
3345.23/3355.04	c #Conflicts:     327000 | #Constraints:      17149
3345.23/3355.04	c #Conflicts:     328000 | #Constraints:      18149
3345.23/3355.04	c #Conflicts:     329000 | #Constraints:      19149
3345.23/3355.04	c #Conflicts:     330000 | #Constraints:      20149
3345.23/3355.04	c #Conflicts:     331000 | #Constraints:      21149
3345.23/3355.04	c #Conflicts:     332000 | #Constraints:      22149
3345.23/3355.04	c #Conflicts:     333000 | #Constraints:      23149
3345.23/3355.04	c INPROCESSING
3345.23/3355.04	c GARBAGE COLLECT
3345.23/3355.04	c #Conflicts:     334000 | #Constraints:      12748
3345.23/3355.04	c #Conflicts:     335000 | #Constraints:      13748
3345.23/3355.04	c #Conflicts:     336000 | #Constraints:      14748
3345.23/3355.04	c #Conflicts:     337000 | #Constraints:      15748
3345.23/3355.04	c #Conflicts:     338000 | #Constraints:      16748
3345.23/3355.04	c #Conflicts:     339000 | #Constraints:      17748
3345.23/3355.04	c #Conflicts:     340000 | #Constraints:      18748
3345.23/3355.04	c #Conflicts:     341000 | #Constraints:      19748
3345.23/3355.04	c #Conflicts:     342000 | #Constraints:      20748
3345.23/3355.04	c #Conflicts:     343000 | #Constraints:      21748
3345.23/3355.04	c #Conflicts:     344000 | #Constraints:      22748
3345.23/3355.04	c #Conflicts:     345000 | #Constraints:      23748
3345.23/3355.04	c INPROCESSING
3345.23/3355.04	c GARBAGE COLLECT
3345.23/3355.04	c #Conflicts:     346000 | #Constraints:      13149
3345.23/3355.04	c #Conflicts:     347000 | #Constraints:      14149
3345.23/3355.04	c #Conflicts:     348000 | #Constraints:      15149
3345.23/3355.04	c #Conflicts:     349000 | #Constraints:      16149
3345.23/3355.04	c #Conflicts:     350000 | #Constraints:      17149
3345.23/3355.04	c #Conflicts:     351000 | #Constraints:      18149
3345.23/3355.04	c #Conflicts:     352000 | #Constraints:      19149
3345.23/3355.04	c #Conflicts:     353000 | #Constraints:      20149
3345.23/3355.04	c #Conflicts:     354000 | #Constraints:      21149
3345.23/3355.04	c #Conflicts:     355000 | #Constraints:      22149
3345.23/3355.04	c #Conflicts:     356000 | #Constraints:      23149
3345.23/3355.04	c #Conflicts:     357000 | #Constraints:      24149
3345.23/3355.04	c INPROCESSING
3345.23/3355.04	c GARBAGE COLLECT
3345.23/3355.04	c #Conflicts:     358000 | #Constraints:      13348
3345.23/3355.04	c #Conflicts:     359000 | #Constraints:      14348
3345.23/3355.04	c #Conflicts:     360000 | #Constraints:      15348
3345.23/3355.04	c #Conflicts:     361000 | #Constraints:      16348
3345.23/3355.04	c #Conflicts:     362000 | #Constraints:      17348
3345.23/3355.04	c #Conflicts:     363000 | #Constraints:      18348
3345.23/3355.04	c #Conflicts:     364000 | #Constraints:      19348
3345.23/3355.04	c #Conflicts:     365000 | #Constraints:      20348
3345.23/3355.04	c #Conflicts:     366000 | #Constraints:      21348
3345.23/3355.04	c #Conflicts:     367000 | #Constraints:      22348
3345.23/3355.04	c #Conflicts:     368000 | #Constraints:      23348
3345.23/3355.04	c #Conflicts:     369000 | #Constraints:      24348
3345.23/3355.04	c INPROCESSING
3345.23/3355.04	c GARBAGE COLLECT
3345.23/3355.04	c #Conflicts:     370000 | #Constraints:      13353
3345.23/3355.04	c #Conflicts:     371000 | #Constraints:      14353
3345.23/3355.04	c #Conflicts:     372000 | #Constraints:      15353
3345.23/3355.04	c #Conflicts:     373000 | #Constraints:      16353
3345.23/3355.04	c #Conflicts:     374000 | #Constraints:      17353
3345.23/3355.04	c #Conflicts:     375000 | #Constraints:      18353
3345.23/3355.04	c #Conflicts:     376000 | #Constraints:      19353
3345.23/3355.04	c #Conflicts:     377000 | #Constraints:      20353
3345.23/3355.04	c #Conflicts:     378000 | #Constraints:      21353
3345.23/3355.04	c #Conflicts:     379000 | #Constraints:      22353
3345.23/3355.04	c #Conflicts:     380000 | #Constraints:      23353
3345.23/3355.04	c #Conflicts:     381000 | #Constraints:      24353
3345.23/3355.04	c INPROCESSING
3345.23/3355.04	c GARBAGE COLLECT
3345.23/3355.04	c #Conflicts:     382000 | #Constraints:      13156
3345.23/3355.04	c #Conflicts:     383000 | #Constraints:      14156
3345.23/3355.04	c #Conflicts:     384000 | #Constraints:      15156
3345.23/3355.04	c #Conflicts:     385000 | #Constraints:      16156
3345.23/3355.04	c #Conflicts:     386000 | #Constraints:      17156
3345.23/3355.04	c #Conflicts:     387000 | #Constraints:      18156
3345.23/3355.04	c #Conflicts:     388000 | #Constraints:      19156
3345.23/3355.04	c #Conflicts:     389000 | #Constraints:      20156
3345.23/3355.04	c #Conflicts:     390000 | #Constraints:      21156
3345.23/3355.04	c #Conflicts:     391000 | #Constraints:      22156
3345.23/3355.04	c #Conflicts:     392000 | #Constraints:      23156
3345.23/3355.04	c #Conflicts:     393000 | #Constraints:      24156
3345.23/3355.04	c #Conflicts:     394000 | #Constraints:      25156
3345.23/3355.04	c INPROCESSING
3345.23/3355.04	c GARBAGE COLLECT
3345.23/3355.04	c #Conflicts:     395000 | #Constraints:      13750
3345.23/3355.04	c #Conflicts:     396000 | #Constraints:      14750
3345.23/3355.04	c #Conflicts:     397000 | #Constraints:      15750
3345.23/3355.04	c #Conflicts:     398000 | #Constraints:      16750
3345.23/3355.04	c #Conflicts:     399000 | #Constraints:      17750
3345.23/3355.04	c #Conflicts:     400000 | #Constraints:      18750
3600.07/3610.60	c #Conflicts:     401000 | #Constraints:      19750
3600.07/3610.60	c #Conflicts:     402000 | #Constraints:      20750
3600.07/3610.60	c #Conflicts:     403000 | #Constraints:      21750
3600.07/3610.60	c #Conflicts:     404000 | #Constraints:      22750
3600.07/3610.60	c #Conflicts:     405000 | #Constraints:      23750
3600.07/3610.60	c #Conflicts:     406000 | #Constraints:      24750
3600.07/3610.60	c #Conflicts:     407000 | #Constraints:      25750
3600.07/3610.60	c INPROCESSING
3600.07/3610.60	c GARBAGE COLLECT
3600.07/3610.60	c #Conflicts:     408000 | #Constraints:      14145
3600.07/3610.60	c #Conflicts:     409000 | #Constraints:      15145
3600.07/3610.60	c #Conflicts:     410000 | #Constraints:      16145
3600.07/3610.60	c #Conflicts:     411000 | #Constraints:      17145
3600.07/3610.60	c #Conflicts:     412000 | #Constraints:      18145
3600.07/3610.60	c #Conflicts:     413000 | #Constraints:      19145
3600.07/3610.60	c #Conflicts:     414000 | #Constraints:      20145
3600.07/3610.60	c #Conflicts:     415000 | #Constraints:      21145
3600.07/3610.60	c #Conflicts:     416000 | #Constraints:      22145
3600.07/3610.60	c #Conflicts:     417000 | #Constraints:      23145
3600.07/3610.60	c #Conflicts:     418000 | #Constraints:      24145
3600.07/3610.60	c #Conflicts:     419000 | #Constraints:      25145
3600.07/3610.60	c #Conflicts:     420000 | #Constraints:      26145
3600.07/3610.60	c INPROCESSING
3600.07/3610.60	c GARBAGE COLLECT
3600.07/3610.60	c #Conflicts:     421000 | #Constraints:      14350
3600.07/3610.60	c #Conflicts:     422000 | #Constraints:      15350
3600.07/3610.60	c #Conflicts:     423000 | #Constraints:      16350
3600.07/3610.60	c #Conflicts:     424000 | #Constraints:      17350
3600.07/3610.60	c #Conflicts:     425000 | #Constraints:      18350
3600.07/3610.60	c #Conflicts:     426000 | #Constraints:      19350
3600.07/3610.60	c #Conflicts:     427000 | #Constraints:      20350
3600.07/3610.60	c #Conflicts:     428000 | #Constraints:      21350
3600.07/3610.60	c #Conflicts:     429000 | #Constraints:      22350
3600.07/3610.60	c #Conflicts:     430000 | #Constraints:      23350
3600.07/3610.60	c Program interrupted by user.
3600.07/3610.60	c cpu time 3592.93 s
3600.07/3610.60	c deterministic time 412881733546 4.13e+11
3600.07/3610.60	c optimization time 74.2426 s
3600.07/3610.60	c total solve time 3219.42 s
3600.07/3610.60	c core-guided solve time 3219.42 s
3600.07/3610.60	c propagation time 3124.42 s
3600.07/3610.60	c conflict analysis time 144.613 s
3600.07/3610.60	c propagations 31553497
3600.07/3610.60	c resolve steps 1979291
3600.07/3610.60	c decisions 5139730
3600.07/3610.60	c conflicts 430247
3600.07/3610.60	c restarts 1020
3600.07/3610.60	c inprocessing phases 56
3600.07/3610.60	c input clauses 56
3600.07/3610.60	c input cardinalities 76
3600.07/3610.60	c input general constraints 473
3600.07/3610.60	c input average constraint length 67.07
3600.07/3610.60	c input average constraint degree 34.20
3600.07/3610.60	c learned clauses 58657
3600.07/3610.60	c learned cardinalities 205
3600.07/3610.60	c learned general constraints 371394
3600.07/3610.60	c learned average constraint length 327.82
3600.07/3610.60	c learned average constraint degree 118340.84
3600.07/3610.60	c watched constraints 318238
3600.07/3610.60	c counting constraints 53629
3600.07/3610.60	c gcd simplifications 47421
3600.07/3610.60	c detected cardinalities 163
3600.07/3610.60	c weakened non-implied lits 9158164
3600.07/3610.60	c weakened non-implying lits 28856
3600.07/3610.60	c original variables 476
3600.07/3610.60	c clausal propagations 908700
3600.07/3610.60	c cardinality propagations 30916
3600.07/3610.60	c watched propagations 16465019
3600.07/3610.60	c counting propagations 13804106
3600.07/3610.60	c watch lookups 43384779548
3600.07/3610.60	c watch backjump lookups 41266026048
3600.07/3610.60	c watch checks 320343447331
3600.07/3610.60	c propagation checks 7411085873
3600.07/3610.60	c constraint additions 402578401
3600.07/3610.60	c trail pops 37123117
3600.07/3610.60	c formula constraints 476
3600.07/3610.60	c learned constraints 430256
3600.07/3610.60	c bound constraints 76
3600.07/3610.60	c core-guided constraints 53
3600.07/3610.60	c encountered formula constraints 1247603
3600.07/3610.60	c encountered learned constraints 1116262
3600.07/3610.60	c encountered bound constraints 303
3600.07/3610.60	c encountered core-guided constraints 45370
3600.07/3610.60	c LP total time 0 s
3600.07/3610.60	c LP solve time 0 s
3600.07/3610.60	c LP constraints added 0
3600.07/3610.60	c LP constraints removed 0
3600.07/3610.60	c LP pivots internal 0
3600.07/3610.60	c LP pivots root 0
3600.07/3610.60	c LP calls 0
3600.07/3610.60	c LP optimalities 0
3600.07/3610.60	c LP no pivot count 0
3600.07/3610.60	c LP infeasibilities 0
3600.07/3610.60	c LP valid Farkas constraints 0
3600.07/3610.60	c LP learned Farkas constraints 0
3600.07/3610.60	c LP basis resets 0
3600.07/3610.60	c LP cycling count 0
3600.07/3610.60	c LP singular count 0
3600.07/3610.60	c LP no primal count 0
3600.07/3610.60	c LP no farkas count 0
3600.07/3610.60	c LP other issue count 0
3600.07/3610.60	c LP Gomory cuts 0
3600.07/3610.60	c LP learned cuts 0
3600.07/3610.60	c LP deleted cuts 0
3600.07/3610.60	c LP encountered Gomory constraints 0
3600.07/3610.60	c LP encountered Farkas constraints 0
3600.07/3610.60	c LP encountered learned Farkas constraints 0
3600.07/3610.60	c CG auxiliary variables introduced 53
3600.07/3610.60	c CG solutions found 0
3600.07/3610.60	c CG cores constructed 75
3600.07/3610.60	c CG core cardinality constraints returned 0
3600.07/3610.60	c CG unit cores 0
3600.07/3610.60	c CG single cores 75
3600.07/3610.60	c CG blocks removed during cardinality reduction 0
3600.07/3610.60	c CG first core best 0
3600.07/3610.60	c CG decision core best 0
3600.07/3610.60	c CG core reduction tie 0
3600.07/3610.60	c CG core degree average 1.00
3600.07/3610.60	c CG core slack average 2.72
3600.07/3610.60	c CG exhausted 0
3600.07/3610.60	c CG exhaust time 0 s
3600.07/3610.60	c CG trimmed 0
3600.07/3610.60	c CG trim time 0.000431 s
3600.07/3610.60	c CG minimized 0
3600.07/3610.60	c CG minimize time 0 s
3600.07/3610.60	c CG am1 prop time 0.000791 s
3600.07/3610.60	c CG # am1s reformulated 53
3600.07/3610.60	c CG lower bound derived from am1s 53
3600.07/3610.60	c CG # clausal cores 16
3600.07/3610.60	c CG # cardinality cores 0
3600.07/3610.60	c CG # pb cores 59
3600.07/3610.60	c CG # pb reforms 0
3600.07/3610.60	c CG # cores discarded because of pb reform 0
3600.07/3610.60	d LOWERBOUND 128
3600.07/3610.60	d NCORES 75
3600.07/3610.60	d NPBCORES 59
3600.07/3610.60	d NPBREFORM 0
3600.07/3610.60	d NTRIMMED 0
3600.07/3610.60	d NEXHAUSTED 0
3600.07/3610.60	d NAM1S 53
3600.07/3610.60	d AM1LB 53
3600.07/3610.60	c [Papilo Statistics]
3600.07/3610.60	c prepro time 0.004622s
3600.07/3610.60	c # tsx applied 24
3600.07/3610.60	c # tsx conflicts 0
3600.07/3610.60	c # bound changes 0
3600.07/3610.60	c # side changes 0
3600.07/3610.60	c # coef changes 37
3600.07/3610.60	c # rounds 3
3600.07/3610.60	c # deted vars 0
3600.07/3610.60	c # deted constrs 0
3600.07/3610.60	c # consecutive rounds of only bound changes 0
3600.07/3610.60	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62886 MiB free)
  memory of node 1: 64507 MiB (61629 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=112185, runsolver pid=112176

[startup+0.100104 s]*
/proc/loadavg: 3.84 4.07 4.07 5/253 112194
/proc/meminfo: memFree=127487664/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=97416 memory=24552 CPUtime=0.09 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 2590 0 0 0 8 1 0 0 20 0 1 0 141336259 99753984 6138 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 24354 6138 4064 2834 0 6559 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97416 KiB
Current children cumulated memory: 24552 KiB

[startup+0.214018 s]*
/proc/loadavg: 3.93 4.09 4.08 5/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=99268 memory=26856 CPUtime=0.2 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 3059 0 0 0 19 1 0 0 20 0 1 0 141336259 101650432 6714 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 24817 6714 4192 2834 0 7022 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99268 KiB
Current children cumulated memory: 26856 KiB

[startup+0.313184 s]*
/proc/loadavg: 3.93 4.09 4.08 5/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=99268 memory=26856 CPUtime=0.3 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 3065 0 0 0 29 1 0 0 20 0 1 0 141336259 101650432 6714 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 24817 6714 4192 2834 0 7022 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 99268 KiB
Current children cumulated memory: 26856 KiB

[startup+0.700253 s]
/proc/loadavg: 3.93 4.09 4.08 5/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=99464 memory=27112 CPUtime=0.67 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 3104 0 0 0 66 1 0 0 20 0 1 0 141336259 101851136 6778 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 24866 6778 4192 2834 0 7071 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99464 KiB
Current children cumulated memory: 27112 KiB

[startup+1.50035 s]
/proc/loadavg: 3.93 4.09 4.08 5/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=115820 memory=43240 CPUtime=1.47 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 7174 0 0 0 145 2 0 0 20 0 1 0 141336259 118599680 10810 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 28955 10810 4224 2834 0 11160 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 115820 KiB
Current children cumulated memory: 43240 KiB

[startup+3.11298 s]
/proc/loadavg: 3.93 4.09 4.08 5/253 112194
/proc/meminfo: memFree=126972760/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=230600 memory=154672 CPUtime=3.08 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 36921 0 0 0 300 8 0 0 20 0 1 0 141336259 236134400 38668 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 57650 38668 4224 2834 0 39855 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 230600 KiB
Current children cumulated memory: 154672 KiB

[startup+6.30028 s]
/proc/loadavg: 3.94 4.09 4.08 5/253 112194
/proc/meminfo: memFree=126949000/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=234528 memory=158128 CPUtime=6.26 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 37781 0 0 0 618 8 0 0 20 0 1 0 141336259 240156672 39532 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 58632 39532 4224 2834 0 40837 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 234528 KiB
Current children cumulated memory: 158128 KiB

[startup+12.7002 s]
/proc/loadavg: 3.94 4.09 4.08 5/253 112194
/proc/meminfo: memFree=126949008/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=234528 memory=158128 CPUtime=12.64 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 37781 0 0 0 1256 8 0 0 20 0 1 0 141336259 240156672 39532 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 58632 39532 4224 2834 0 40837 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 234528 KiB
Current children cumulated memory: 158128 KiB

[startup+25.5004 s]
/proc/loadavg: 3.95 4.08 4.08 5/252 112194
/proc/meminfo: memFree=126755480/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=290968 memory=213164 CPUtime=25.4 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 52309 0 0 0 2530 10 0 0 20 0 1 0 141336259 297951232 53291 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 72742 53291 4224 2834 0 54947 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 290968 KiB
Current children cumulated memory: 213164 KiB

[startup+51.1128 s]
/proc/loadavg: 4.03 4.09 4.08 5/253 112196
/proc/meminfo: memFree=126727824/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=291736 memory=214188 CPUtime=50.95 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 52587 0 0 0 5085 10 0 0 20 0 1 0 141336259 298737664 53547 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 72934 53547 4224 2834 0 55139 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 291736 KiB
Current children cumulated memory: 214188 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/254 112203
/proc/meminfo: memFree=126380000/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=380276 memory=303728 CPUtime=102.01 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 75775 0 0 0 10188 13 0 0 20 0 1 0 141336259 389402624 75932 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 95069 75932 4224 2834 0 77274 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 380276 KiB
Current children cumulated memory: 303728 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/254 112205
/proc/meminfo: memFree=126338368/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=390580 memory=313968 CPUtime=161.84 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 78355 0 0 0 16171 13 0 0 20 0 1 0 141336259 399953920 78492 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 97645 78492 4224 2834 0 79850 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 390580 KiB
Current children cumulated memory: 313968 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/256 112210
/proc/meminfo: memFree=126344672/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=393316 memory=316912 CPUtime=221.69 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 79066 0 0 0 22155 14 0 0 20 0 1 0 141336259 402755584 79228 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 98329 79228 4224 2834 0 80534 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 393316 KiB
Current children cumulated memory: 316912 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 112211
/proc/meminfo: memFree=126338264/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=394372 memory=317936 CPUtime=281.53 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 79325 0 0 0 28139 14 0 0 20 0 1 0 141336259 403836928 79484 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 98593 79484 4224 2834 0 80798 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 394372 KiB
Current children cumulated memory: 317936 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 112224
/proc/meminfo: memFree=126541256/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=389436 memory=311372 CPUtime=341.37 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 81632 0 0 0 34071 66 0 0 20 0 1 0 141336259 398782464 77843 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 97359 77843 4448 2834 0 79564 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 389436 KiB
Current children cumulated memory: 311372 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/253 112226
/proc/meminfo: memFree=126542764/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=389436 memory=315476 CPUtime=401.19 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 81640 0 0 0 40014 105 0 0 20 0 1 0 141336259 398782464 78869 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 97359 78869 4448 2834 0 79564 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 389436 KiB
Current children cumulated memory: 315476 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/253 112229
/proc/meminfo: memFree=126496800/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=389436 memory=319576 CPUtime=461.01 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 81650 0 0 0 45964 137 0 0 20 0 1 0 141336259 398782464 79894 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 97359 79894 4448 2834 0 79564 0

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

Current children cumulated memory: 358468 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 112345
/proc/meminfo: memFree=126340020/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=360516 CPUtime=2853.97 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82782 0 0 0 284796 601 0 0 20 0 1 0 141336259 449765376 90129 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90129 4448 2834 0 92011 0
Current children cumulated CPU time: 2853.97 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 360516 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 112347
/proc/meminfo: memFree=126331980/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=360516 CPUtime=2913.79 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82782 0 0 0 290768 611 0 0 20 0 1 0 141336259 449765376 90129 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90129 4448 2834 0 92011 0
Current children cumulated CPU time: 2913.79 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 360516 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 112349
/proc/meminfo: memFree=126331168/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=360516 CPUtime=2973.62 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82782 0 0 0 296743 619 0 0 20 0 1 0 141336259 449765376 90129 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90129 4448 2834 0 92011 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 360516 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/249 112353
/proc/meminfo: memFree=126331596/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=360516 CPUtime=3033.43 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82783 0 0 0 302718 625 0 0 20 0 1 0 141336259 449765376 90129 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90129 4448 2834 0 92011 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 360516 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/251 112361
/proc/meminfo: memFree=126336532/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=360516 CPUtime=3093.26 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82785 0 0 0 308692 634 0 0 20 0 1 0 141336259 449765376 90129 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90129 4448 2834 0 92011 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 360516 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 112363
/proc/meminfo: memFree=126335920/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=362564 CPUtime=3153.09 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82786 0 0 0 314663 646 0 0 20 0 1 0 141336259 449765376 90641 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90641 4448 2834 0 92011 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 362564 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 112365
/proc/meminfo: memFree=126327544/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=362564 CPUtime=3212.91 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82786 0 0 0 320637 654 0 0 20 0 1 0 141336259 449765376 90641 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90641 4448 2834 0 92011 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 362564 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 112367
/proc/meminfo: memFree=126322248/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=362564 CPUtime=3272.74 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82786 0 0 0 326611 663 0 0 20 0 1 0 141336259 449765376 90641 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90641 4448 2834 0 92011 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 362564 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 112369
/proc/meminfo: memFree=126322400/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=362564 CPUtime=3332.56 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82786 0 0 0 332583 673 0 0 20 0 1 0 141336259 449765376 90641 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90641 4448 2834 0 92011 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 362564 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/249 112371
/proc/meminfo: memFree=126321968/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=362564 CPUtime=3392.38 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82786 0 0 0 338556 682 0 0 20 0 1 0 141336259 449765376 90641 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90641 4448 2834 0 92011 0
Current children cumulated CPU time: 3392.38 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 362564 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/250 112374
/proc/meminfo: memFree=126317624/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=362564 CPUtime=3452.21 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82786 0 0 0 344528 693 0 0 20 0 1 0 141336259 449765376 90641 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90641 4448 2834 0 92011 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 362564 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/250 112376
/proc/meminfo: memFree=126312732/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=362564 CPUtime=3512.04 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82786 0 0 0 350503 701 0 0 20 0 1 0 141336259 449765376 90641 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90641 4448 2834 0 92011 0
Current children cumulated CPU time: 3512.04 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 362564 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/250 112378
/proc/meminfo: memFree=126311580/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=362564 CPUtime=3571.86 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82786 0 0 0 356477 709 0 0 20 0 1 0 141336259 449765376 90641 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90641 4448 2834 0 92011 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 362564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/251 112383
/proc/meminfo: memFree=126312424/131382120 swapFree=33010416/33010684
[pid=112185] ppid=112176 vsize=439224 memory=362564 CPUtime=3600.07 cores=5,7
/proc/112185/stat : 112185 (mixed-bag) R 112176 112185 112124 0 -1 4194304 82786 0 0 0 359293 714 0 0 20 0 1 0 141336259 449765376 90641 18446744073709551615 4235264 15840557 140728205074352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 43151360 140728205076890 140728205076967 140728205076967 140728205082571 0
/proc/112185/statm: 109806 90641 4448 2834 0 92011 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 439224 KiB
Current children cumulated memory: 362564 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.93 s, system=7.14833 s

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

Child status: 0

Real time (s): 3610.6
CPU time (s): 3600.08
CPU user time (s): 3592.93
CPU system time (s): 7.14833
CPU usage (%): 99.7086
Max. virtual memory (cumulated for all children) (KiB): 439224
Max. memory (cumulated for all children) (KiB): 362564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.93
system time used= 7.14833
maximum resident set size= 363332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82817
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= 151
involuntary context switches= 1165


# summary of solver processes directly reported to runsolver:
#   pid: 112185
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3592.93
#   total CPU system time (s): 7.14833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7809 second user time and 34.133 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-11 19:56:09
IDJOB=4528912
IDBENCH=147545
IDSOLVER=3386
FILE ID=nodeC006/4528912-1752256569
RUNJOBID= nodeC006-1752256569-112137
SLURM_JOB_ID= 9682601
Free space on /tmp= 432024 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528912-1752256569/watcher-4528912-1752256569 -o /tmp/evaluation-result-4528912-1752256569/solver-4528912-1752256569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752256569-112137 --watchdog 3760  mixed-bag HOME/instance-4528912-1752256569.opb

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

MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=557889923

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127504604 kB
MemAvailable:   129869120 kB
Buffers:            2128 kB
Cached:          3126668 kB
SwapCached:           12 kB
Active:           590344 kB
Inactive:        2607588 kB
Active(anon):      76092 kB
Inactive(anon):    10992 kB
Active(file):     514252 kB
Inactive(file):  2596596 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61300 kB
Writeback:             0 kB
AnonPages:         71020 kB
Mapped:           104872 kB
Shmem:             17948 kB
KReclaimable:     186204 kB
Slab:             275292 kB
SReclaimable:     186204 kB
SUnreclaim:        89088 kB
KernelStack:        3748 kB
PageTables:         2412 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     333108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431960 MiB
End job on nodeC006 at 2025-07-11 20:56:20