Trace number 4454377

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-19SAT (TO)1 3600.07 3611.9

DiagnosticValue
AM1LB1
LOWERBOUND-173
NAM1S1
NCORES37
NEXHAUSTED1
NPBCORES0
NPBREFORM12
NTRIMMED2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
MD5SUMb7b6c18a5ccb5e8755a0006a4c4ad211
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.02114
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables411
Total number of constraints477
Number of constraints which are clauses387
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 411
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1129
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1129
Number of bits of the biggest sum of numbers11
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.00/0.00	c [STEP] solving
0.00/0.00	c #variables 411 #constraints 477
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= -268 @ 0.001486
0.00/0.00	c stratification level: 3
0.00/0.00	c bounds - >= -265 @ 0.002052
0.00/0.00	c bounds - >= -262 @ 0.002102
0.00/0.00	c bounds - >= -259 @ 0.002102
0.00/0.00	c finalizing WCE round: reformulating cores
0.00/0.00	c bounds 16 >= -259 @ 0.005767
0.00/0.00	c bounds 15 >= -259 @ 0.006168
0.00/0.00	c stratification level: 2
0.00/0.01	c bounds 15 >= -255 @ 0.006603
0.00/0.01	c bounds 15 >= -253 @ 0.006746
0.00/0.01	c bounds 15 >= -249 @ 0.0069
0.00/0.01	c bounds 15 >= -247 @ 0.007049
0.00/0.01	c bounds 15 >= -241 @ 0.007197
0.00/0.01	c bounds 15 >= -239 @ 0.007379
0.00/0.01	c bounds 15 >= -237 @ 0.007529
0.00/0.01	c bounds 15 >= -235 @ 0.007669
0.00/0.01	c bounds 15 >= -231 @ 0.007807
0.00/0.01	c bounds 15 >= -229 @ 0.007945
0.00/0.01	c bounds 15 >= -227 @ 0.00807
0.00/0.01	c bounds 15 >= -225 @ 0.008212
0.00/0.01	c bounds 15 >= -223 @ 0.008359
0.00/0.01	c bounds 15 >= -221 @ 0.008503
0.00/0.01	c bounds 15 >= -217 @ 0.008664
0.00/0.01	c bounds 15 >= -215 @ 0.008798
0.00/0.01	c bounds 15 >= -213 @ 0.008963
0.00/0.01	c bounds 15 >= -211 @ 0.009006
0.00/0.01	c bounds 15 >= -209 @ 0.009006
0.00/0.01	c bounds 15 >= -207 @ 0.009006
0.00/0.01	c bounds 15 >= -203 @ 0.009006
0.00/0.01	c bounds 15 >= -201 @ 0.009006
0.00/0.01	c bounds 15 >= -199 @ 0.009006
0.00/0.01	c bounds 15 >= -197 @ 0.009006
0.00/0.01	c bounds 15 >= -193 @ 0.009094
0.00/0.01	c bounds 15 >= -191 @ 0.009216
0.00/0.01	c bounds 15 >= -189 @ 0.00935
0.00/0.01	c bounds 15 >= -187 @ 0.009502
0.00/0.01	c bounds 15 >= -185 @ 0.009632
0.00/0.01	c bounds 15 >= -183 @ 0.009776
0.00/0.01	c finalizing WCE round: reformulating cores
36.07/36.21	c bounds 13 >= -255 @ 0.038802
36.07/36.21	c #Conflicts:       1000 | #Constraints:       1562
36.07/36.21	c #Conflicts:       2000 | #Constraints:       2573
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:       3000 | #Constraints:       2530
36.07/36.21	c #Conflicts:       4000 | #Constraints:       3535
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:       5000 | #Constraints:       2936
36.07/36.21	c #Conflicts:       6000 | #Constraints:       3938
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:       7000 | #Constraints:       2944
36.07/36.21	c #Conflicts:       8000 | #Constraints:       3946
36.07/36.21	c #Conflicts:       9000 | #Constraints:       4950
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      10000 | #Constraints:       3662
36.07/36.21	c #Conflicts:      11000 | #Constraints:       4664
36.07/36.21	c #Conflicts:      12000 | #Constraints:       5666
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      13000 | #Constraints:       4121
36.07/36.21	c #Conflicts:      14000 | #Constraints:       5123
36.07/36.21	c #Conflicts:      15000 | #Constraints:       6125
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      16000 | #Constraints:       4354
36.07/36.21	c #Conflicts:      17000 | #Constraints:       5356
36.07/36.21	c bounds 1 >= -182 @ 3.48622
36.07/36.21	c bounds 1 >= -179 @ 3.48798
36.07/36.21	c bounds 1 >= -177 @ 3.48821
36.07/36.21	c bounds 1 >= -175 @ 3.48938
36.07/36.21	c bounds 1 >= -173 @ 3.49707
36.07/36.21	c #Conflicts:      18000 | #Constraints:       6388
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      19000 | #Constraints:       4392
36.07/36.21	c #Conflicts:      20000 | #Constraints:       5392
36.07/36.21	c #Conflicts:      21000 | #Constraints:       6392
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      22000 | #Constraints:       4198
36.07/36.21	c #Conflicts:      23000 | #Constraints:       5198
36.07/36.21	c #Conflicts:      24000 | #Constraints:       6198
36.07/36.21	c #Conflicts:      25000 | #Constraints:       7198
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      26000 | #Constraints:       4812
36.07/36.21	c #Conflicts:      27000 | #Constraints:       5812
36.07/36.21	c #Conflicts:      28000 | #Constraints:       6812
36.07/36.21	c #Conflicts:      29000 | #Constraints:       7812
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      30000 | #Constraints:       5212
36.07/36.21	c #Conflicts:      31000 | #Constraints:       6212
36.07/36.21	c #Conflicts:      32000 | #Constraints:       7212
36.07/36.21	c #Conflicts:      33000 | #Constraints:       8212
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      34000 | #Constraints:       5417
36.07/36.21	c #Conflicts:      35000 | #Constraints:       6417
36.07/36.21	c #Conflicts:      36000 | #Constraints:       7417
36.07/36.21	c #Conflicts:      37000 | #Constraints:       8417
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      38000 | #Constraints:       5417
36.07/36.21	c #Conflicts:      39000 | #Constraints:       6417
36.07/36.21	c #Conflicts:      40000 | #Constraints:       7417
36.07/36.21	c #Conflicts:      41000 | #Constraints:       8417
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      42000 | #Constraints:       5219
36.07/36.21	c #Conflicts:      43000 | #Constraints:       6219
36.07/36.21	c #Conflicts:      44000 | #Constraints:       7219
36.07/36.21	c #Conflicts:      45000 | #Constraints:       8219
36.07/36.21	c #Conflicts:      46000 | #Constraints:       9219
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      47000 | #Constraints:       5815
36.07/36.21	c #Conflicts:      48000 | #Constraints:       6815
36.07/36.21	c #Conflicts:      49000 | #Constraints:       7815
36.07/36.21	c #Conflicts:      50000 | #Constraints:       8815
36.07/36.21	c #Conflicts:      51000 | #Constraints:       9815
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      52000 | #Constraints:       6215
36.07/36.21	c #Conflicts:      53000 | #Constraints:       7215
36.07/36.21	c #Conflicts:      54000 | #Constraints:       8215
36.07/36.21	c #Conflicts:      55000 | #Constraints:       9215
36.07/36.21	c #Conflicts:      56000 | #Constraints:      10215
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      57000 | #Constraints:       6416
36.07/36.21	c #Conflicts:      58000 | #Constraints:       7416
36.07/36.21	c #Conflicts:      59000 | #Constraints:       8416
36.07/36.21	c #Conflicts:      60000 | #Constraints:       9416
36.07/36.21	c #Conflicts:      61000 | #Constraints:      10416
36.07/36.21	c INPROCESSING
36.07/36.21	c GARBAGE COLLECT
36.07/36.21	c #Conflicts:      62000 | #Constraints:       6418
36.07/36.21	c #Conflicts:      63000 | #Constraints:       7418
36.07/36.21	c #Conflicts:      64000 | #Constraints:       8418
36.07/36.21	c #Conflicts:      65000 | #Constraints:       9418
135.33/135.86	c #Conflicts:      66000 | #Constraints:      10418
135.33/135.86	c INPROCESSING
135.33/135.86	c GARBAGE COLLECT
135.33/135.86	c #Conflicts:      67000 | #Constraints:       6219
135.33/135.86	c #Conflicts:      68000 | #Constraints:       7219
135.33/135.86	c #Conflicts:      69000 | #Constraints:       8219
135.33/135.86	c #Conflicts:      70000 | #Constraints:       9219
135.33/135.86	c #Conflicts:      71000 | #Constraints:      10219
135.33/135.86	c #Conflicts:      72000 | #Constraints:      11219
135.33/135.86	c INPROCESSING
135.33/135.86	c GARBAGE COLLECT
135.33/135.86	c #Conflicts:      73000 | #Constraints:       6821
135.33/135.86	c #Conflicts:      74000 | #Constraints:       7821
135.33/135.86	c #Conflicts:      75000 | #Constraints:       8821
135.33/135.86	c #Conflicts:      76000 | #Constraints:       9821
135.33/135.86	c #Conflicts:      77000 | #Constraints:      10821
135.33/135.86	c #Conflicts:      78000 | #Constraints:      11821
135.33/135.86	c INPROCESSING
135.33/135.86	c GARBAGE COLLECT
135.33/135.86	c #Conflicts:      79000 | #Constraints:       7221
135.33/135.86	c #Conflicts:      80000 | #Constraints:       8221
135.33/135.86	c #Conflicts:      81000 | #Constraints:       9221
135.33/135.86	c #Conflicts:      82000 | #Constraints:      10221
135.33/135.86	c #Conflicts:      83000 | #Constraints:      11221
135.33/135.86	c #Conflicts:      84000 | #Constraints:      12221
135.33/135.86	c INPROCESSING
135.33/135.86	c GARBAGE COLLECT
135.33/135.86	c #Conflicts:      85000 | #Constraints:       7423
135.33/135.86	c #Conflicts:      86000 | #Constraints:       8423
135.33/135.86	c #Conflicts:      87000 | #Constraints:       9423
135.33/135.86	c #Conflicts:      88000 | #Constraints:      10423
135.33/135.86	c #Conflicts:      89000 | #Constraints:      11423
135.33/135.86	c #Conflicts:      90000 | #Constraints:      12423
135.33/135.86	c INPROCESSING
135.33/135.86	c GARBAGE COLLECT
135.33/135.86	c #Conflicts:      91000 | #Constraints:       7429
135.33/135.86	c #Conflicts:      92000 | #Constraints:       8429
135.33/135.86	c #Conflicts:      93000 | #Constraints:       9429
135.33/135.86	c #Conflicts:      94000 | #Constraints:      10429
135.33/135.86	c #Conflicts:      95000 | #Constraints:      11429
135.33/135.86	c #Conflicts:      96000 | #Constraints:      12429
135.33/135.86	c INPROCESSING
135.33/135.86	c GARBAGE COLLECT
135.33/135.86	c #Conflicts:      97000 | #Constraints:       7230
135.33/135.86	c #Conflicts:      98000 | #Constraints:       8230
135.33/135.86	c #Conflicts:      99000 | #Constraints:       9230
135.33/135.86	c #Conflicts:     100000 | #Constraints:      10230
135.33/135.86	c #Conflicts:     101000 | #Constraints:      11230
135.33/135.86	c #Conflicts:     102000 | #Constraints:      12230
135.33/135.86	c #Conflicts:     103000 | #Constraints:      13230
135.33/135.86	c INPROCESSING
135.33/135.86	c GARBAGE COLLECT
135.33/135.86	c #Conflicts:     104000 | #Constraints:       7827
135.33/135.86	c #Conflicts:     105000 | #Constraints:       8827
135.33/135.86	c #Conflicts:     106000 | #Constraints:       9827
135.33/135.86	c #Conflicts:     107000 | #Constraints:      10827
135.33/135.86	c #Conflicts:     108000 | #Constraints:      11827
135.33/135.86	c #Conflicts:     109000 | #Constraints:      12827
135.33/135.86	c #Conflicts:     110000 | #Constraints:      13827
135.33/135.86	c INPROCESSING
135.33/135.86	c GARBAGE COLLECT
135.33/135.86	c #Conflicts:     111000 | #Constraints:       8229
135.33/135.86	c #Conflicts:     112000 | #Constraints:       9229
135.33/135.86	c #Conflicts:     113000 | #Constraints:      10229
135.33/135.86	c #Conflicts:     114000 | #Constraints:      11229
135.33/135.86	c #Conflicts:     115000 | #Constraints:      12229
135.33/135.86	c #Conflicts:     116000 | #Constraints:      13229
135.33/135.86	c #Conflicts:     117000 | #Constraints:      14229
135.33/135.86	c INPROCESSING
135.33/135.86	c GARBAGE COLLECT
135.33/135.86	c #Conflicts:     118000 | #Constraints:       8428
135.33/135.86	c #Conflicts:     119000 | #Constraints:       9428
135.33/135.86	c #Conflicts:     120000 | #Constraints:      10428
135.33/135.86	c #Conflicts:     121000 | #Constraints:      11428
135.33/135.86	c #Conflicts:     122000 | #Constraints:      12428
135.33/135.86	c #Conflicts:     123000 | #Constraints:      13428
135.33/135.86	c #Conflicts:     124000 | #Constraints:      14428
135.33/135.86	c INPROCESSING
135.33/135.86	c GARBAGE COLLECT
135.33/135.86	c #Conflicts:     125000 | #Constraints:       8428
135.33/135.86	c #Conflicts:     126000 | #Constraints:       9428
135.33/135.86	c #Conflicts:     127000 | #Constraints:      10428
135.33/135.86	c #Conflicts:     128000 | #Constraints:      11428
135.33/135.86	c #Conflicts:     129000 | #Constraints:      12428
135.33/135.86	c #Conflicts:     130000 | #Constraints:      13428
135.33/135.86	c #Conflicts:     131000 | #Constraints:      14428
135.33/135.86	c INPROCESSING
135.33/135.86	c GARBAGE COLLECT
135.33/135.86	c #Conflicts:     132000 | #Constraints:       8231
135.33/135.86	c #Conflicts:     133000 | #Constraints:       9231
135.33/135.86	c #Conflicts:     134000 | #Constraints:      10231
135.33/135.86	c #Conflicts:     135000 | #Constraints:      11231
135.33/135.86	c #Conflicts:     136000 | #Constraints:      12231
135.33/135.86	c #Conflicts:     137000 | #Constraints:      13231
320.11/321.29	c #Conflicts:     138000 | #Constraints:      14231
320.11/321.29	c #Conflicts:     139000 | #Constraints:      15231
320.11/321.29	c INPROCESSING
320.11/321.29	c GARBAGE COLLECT
320.11/321.29	c #Conflicts:     140000 | #Constraints:       8832
320.11/321.29	c #Conflicts:     141000 | #Constraints:       9832
320.11/321.29	c #Conflicts:     142000 | #Constraints:      10832
320.11/321.29	c #Conflicts:     143000 | #Constraints:      11832
320.11/321.29	c #Conflicts:     144000 | #Constraints:      12832
320.11/321.29	c #Conflicts:     145000 | #Constraints:      13832
320.11/321.29	c #Conflicts:     146000 | #Constraints:      14832
320.11/321.29	c #Conflicts:     147000 | #Constraints:      15832
320.11/321.29	c INPROCESSING
320.11/321.29	c GARBAGE COLLECT
320.11/321.29	c #Conflicts:     148000 | #Constraints:       9234
320.11/321.29	c #Conflicts:     149000 | #Constraints:      10234
320.11/321.29	c #Conflicts:     150000 | #Constraints:      11234
320.11/321.29	c #Conflicts:     151000 | #Constraints:      12234
320.11/321.29	c #Conflicts:     152000 | #Constraints:      13234
320.11/321.29	c #Conflicts:     153000 | #Constraints:      14234
320.11/321.29	c #Conflicts:     154000 | #Constraints:      15234
320.11/321.29	c #Conflicts:     155000 | #Constraints:      16234
320.11/321.29	c INPROCESSING
320.11/321.29	c GARBAGE COLLECT
320.11/321.29	c #Conflicts:     156000 | #Constraints:       9434
320.11/321.29	c #Conflicts:     157000 | #Constraints:      10434
320.11/321.29	c #Conflicts:     158000 | #Constraints:      11434
320.11/321.29	c #Conflicts:     159000 | #Constraints:      12434
320.11/321.29	c #Conflicts:     160000 | #Constraints:      13434
320.11/321.29	c #Conflicts:     161000 | #Constraints:      14434
320.11/321.29	c #Conflicts:     162000 | #Constraints:      15434
320.11/321.29	c #Conflicts:     163000 | #Constraints:      16434
320.11/321.29	c INPROCESSING
320.11/321.29	c GARBAGE COLLECT
320.11/321.29	c #Conflicts:     164000 | #Constraints:       9435
320.11/321.29	c #Conflicts:     165000 | #Constraints:      10435
320.11/321.29	c #Conflicts:     166000 | #Constraints:      11435
320.11/321.29	c #Conflicts:     167000 | #Constraints:      12435
320.11/321.29	c #Conflicts:     168000 | #Constraints:      13435
320.11/321.29	c #Conflicts:     169000 | #Constraints:      14435
320.11/321.29	c #Conflicts:     170000 | #Constraints:      15435
320.11/321.29	c #Conflicts:     171000 | #Constraints:      16435
320.11/321.29	c INPROCESSING
320.11/321.29	c GARBAGE COLLECT
320.11/321.29	c #Conflicts:     172000 | #Constraints:       9230
320.11/321.29	c #Conflicts:     173000 | #Constraints:      10230
320.11/321.29	c #Conflicts:     174000 | #Constraints:      11230
320.11/321.29	c #Conflicts:     175000 | #Constraints:      12230
320.11/321.29	c #Conflicts:     176000 | #Constraints:      13230
320.11/321.29	c #Conflicts:     177000 | #Constraints:      14230
320.11/321.29	c #Conflicts:     178000 | #Constraints:      15230
320.11/321.29	c #Conflicts:     179000 | #Constraints:      16230
320.11/321.29	c #Conflicts:     180000 | #Constraints:      17230
320.11/321.29	c INPROCESSING
320.11/321.29	c GARBAGE COLLECT
320.11/321.29	c #Conflicts:     181000 | #Constraints:       9832
320.11/321.29	c #Conflicts:     182000 | #Constraints:      10832
320.11/321.29	c #Conflicts:     183000 | #Constraints:      11832
320.11/321.29	c #Conflicts:     184000 | #Constraints:      12832
320.11/321.29	c #Conflicts:     185000 | #Constraints:      13832
320.11/321.29	c #Conflicts:     186000 | #Constraints:      14832
320.11/321.29	c #Conflicts:     187000 | #Constraints:      15832
320.11/321.29	c #Conflicts:     188000 | #Constraints:      16832
320.11/321.29	c #Conflicts:     189000 | #Constraints:      17832
320.11/321.29	c INPROCESSING
320.11/321.29	c GARBAGE COLLECT
320.11/321.29	c #Conflicts:     190000 | #Constraints:      10235
320.11/321.29	c #Conflicts:     191000 | #Constraints:      11235
320.11/321.29	c #Conflicts:     192000 | #Constraints:      12235
320.11/321.29	c #Conflicts:     193000 | #Constraints:      13235
320.11/321.29	c #Conflicts:     194000 | #Constraints:      14235
320.11/321.29	c #Conflicts:     195000 | #Constraints:      15235
320.11/321.29	c #Conflicts:     196000 | #Constraints:      16235
320.11/321.29	c #Conflicts:     197000 | #Constraints:      17235
320.11/321.29	c #Conflicts:     198000 | #Constraints:      18235
320.11/321.29	c INPROCESSING
320.11/321.29	c GARBAGE COLLECT
320.11/321.29	c #Conflicts:     199000 | #Constraints:      10434
320.11/321.29	c #Conflicts:     200000 | #Constraints:      11434
320.11/321.29	c #Conflicts:     201000 | #Constraints:      12434
320.11/321.29	c #Conflicts:     202000 | #Constraints:      13434
320.11/321.29	c #Conflicts:     203000 | #Constraints:      14434
320.11/321.29	c #Conflicts:     204000 | #Constraints:      15434
320.11/321.29	c #Conflicts:     205000 | #Constraints:      16434
320.11/321.29	c #Conflicts:     206000 | #Constraints:      17434
320.11/321.29	c #Conflicts:     207000 | #Constraints:      18434
320.11/321.29	c INPROCESSING
320.11/321.29	c GARBAGE COLLECT
320.11/321.29	c #Conflicts:     208000 | #Constraints:      10431
320.11/321.29	c #Conflicts:     209000 | #Constraints:      11431
320.11/321.29	c #Conflicts:     210000 | #Constraints:      12431
603.95/606.00	c #Conflicts:     211000 | #Constraints:      13431
603.95/606.00	c #Conflicts:     212000 | #Constraints:      14431
603.95/606.00	c #Conflicts:     213000 | #Constraints:      15431
603.95/606.00	c #Conflicts:     214000 | #Constraints:      16431
603.95/606.00	c #Conflicts:     215000 | #Constraints:      17431
603.95/606.00	c #Conflicts:     216000 | #Constraints:      18431
603.95/606.00	c INPROCESSING
603.95/606.00	c GARBAGE COLLECT
603.95/606.00	c #Conflicts:     217000 | #Constraints:      10235
603.95/606.00	c #Conflicts:     218000 | #Constraints:      11235
603.95/606.00	c #Conflicts:     219000 | #Constraints:      12235
603.95/606.00	c #Conflicts:     220000 | #Constraints:      13235
603.95/606.00	c #Conflicts:     221000 | #Constraints:      14235
603.95/606.00	c #Conflicts:     222000 | #Constraints:      15235
603.95/606.00	c #Conflicts:     223000 | #Constraints:      16235
603.95/606.00	c #Conflicts:     224000 | #Constraints:      17235
603.95/606.00	c #Conflicts:     225000 | #Constraints:      18235
603.95/606.00	c #Conflicts:     226000 | #Constraints:      19235
603.95/606.00	c INPROCESSING
603.95/606.00	c GARBAGE COLLECT
603.95/606.00	c #Conflicts:     227000 | #Constraints:      10832
603.95/606.00	c #Conflicts:     228000 | #Constraints:      11832
603.95/606.00	c #Conflicts:     229000 | #Constraints:      12832
603.95/606.00	c #Conflicts:     230000 | #Constraints:      13832
603.95/606.00	c #Conflicts:     231000 | #Constraints:      14832
603.95/606.00	c #Conflicts:     232000 | #Constraints:      15832
603.95/606.00	c #Conflicts:     233000 | #Constraints:      16832
603.95/606.00	c #Conflicts:     234000 | #Constraints:      17832
603.95/606.00	c #Conflicts:     235000 | #Constraints:      18832
603.95/606.00	c #Conflicts:     236000 | #Constraints:      19832
603.95/606.00	c INPROCESSING
603.95/606.00	c GARBAGE COLLECT
603.95/606.00	c #Conflicts:     237000 | #Constraints:      11236
603.95/606.00	c #Conflicts:     238000 | #Constraints:      12236
603.95/606.00	c #Conflicts:     239000 | #Constraints:      13236
603.95/606.00	c #Conflicts:     240000 | #Constraints:      14236
603.95/606.00	c #Conflicts:     241000 | #Constraints:      15236
603.95/606.00	c #Conflicts:     242000 | #Constraints:      16236
603.95/606.00	c #Conflicts:     243000 | #Constraints:      17236
603.95/606.00	c #Conflicts:     244000 | #Constraints:      18236
603.95/606.00	c #Conflicts:     245000 | #Constraints:      19236
603.95/606.00	c #Conflicts:     246000 | #Constraints:      20236
603.95/606.00	c INPROCESSING
603.95/606.00	c GARBAGE COLLECT
603.95/606.00	c #Conflicts:     247000 | #Constraints:      11432
603.95/606.00	c #Conflicts:     248000 | #Constraints:      12432
603.95/606.00	c #Conflicts:     249000 | #Constraints:      13432
603.95/606.00	c #Conflicts:     250000 | #Constraints:      14432
603.95/606.00	c #Conflicts:     251000 | #Constraints:      15432
603.95/606.00	c #Conflicts:     252000 | #Constraints:      16432
603.95/606.00	c #Conflicts:     253000 | #Constraints:      17432
603.95/606.00	c #Conflicts:     254000 | #Constraints:      18432
603.95/606.00	c #Conflicts:     255000 | #Constraints:      19432
603.95/606.00	c #Conflicts:     256000 | #Constraints:      20432
603.95/606.00	c INPROCESSING
603.95/606.00	c GARBAGE COLLECT
603.95/606.00	c #Conflicts:     257000 | #Constraints:      11437
603.95/606.00	c #Conflicts:     258000 | #Constraints:      12437
603.95/606.00	c #Conflicts:     259000 | #Constraints:      13437
603.95/606.00	c #Conflicts:     260000 | #Constraints:      14437
603.95/606.00	c #Conflicts:     261000 | #Constraints:      15437
603.95/606.00	c #Conflicts:     262000 | #Constraints:      16437
603.95/606.00	c #Conflicts:     263000 | #Constraints:      17437
603.95/606.00	c #Conflicts:     264000 | #Constraints:      18437
603.95/606.00	c #Conflicts:     265000 | #Constraints:      19437
603.95/606.00	c #Conflicts:     266000 | #Constraints:      20437
603.95/606.00	c INPROCESSING
603.95/606.00	c GARBAGE COLLECT
603.95/606.00	c #Conflicts:     267000 | #Constraints:      11243
603.95/606.00	c #Conflicts:     268000 | #Constraints:      12243
603.95/606.00	c #Conflicts:     269000 | #Constraints:      13243
603.95/606.00	c #Conflicts:     270000 | #Constraints:      14243
603.95/606.00	c #Conflicts:     271000 | #Constraints:      15243
603.95/606.00	c #Conflicts:     272000 | #Constraints:      16243
603.95/606.00	c #Conflicts:     273000 | #Constraints:      17243
603.95/606.00	c #Conflicts:     274000 | #Constraints:      18243
603.95/606.00	c #Conflicts:     275000 | #Constraints:      19243
603.95/606.00	c #Conflicts:     276000 | #Constraints:      20243
603.95/606.00	c #Conflicts:     277000 | #Constraints:      21243
603.95/606.00	c INPROCESSING
603.95/606.00	c GARBAGE COLLECT
603.95/606.00	c #Conflicts:     278000 | #Constraints:      11839
603.95/606.00	c #Conflicts:     279000 | #Constraints:      12839
603.95/606.00	c #Conflicts:     280000 | #Constraints:      13839
603.95/606.00	c #Conflicts:     281000 | #Constraints:      14839
603.95/606.00	c #Conflicts:     282000 | #Constraints:      15839
603.95/606.00	c #Conflicts:     283000 | #Constraints:      16839
603.95/606.00	c #Conflicts:     284000 | #Constraints:      17839
1007.91/1011.38	c #Conflicts:     285000 | #Constraints:      18839
1007.91/1011.38	c #Conflicts:     286000 | #Constraints:      19839
1007.91/1011.38	c #Conflicts:     287000 | #Constraints:      20839
1007.91/1011.38	c #Conflicts:     288000 | #Constraints:      21839
1007.91/1011.38	c INPROCESSING
1007.91/1011.38	c GARBAGE COLLECT
1007.91/1011.38	c #Conflicts:     289000 | #Constraints:      12234
1007.91/1011.38	c #Conflicts:     290000 | #Constraints:      13234
1007.91/1011.38	c #Conflicts:     291000 | #Constraints:      14234
1007.91/1011.38	c #Conflicts:     292000 | #Constraints:      15234
1007.91/1011.38	c #Conflicts:     293000 | #Constraints:      16234
1007.91/1011.38	c #Conflicts:     294000 | #Constraints:      17234
1007.91/1011.38	c #Conflicts:     295000 | #Constraints:      18234
1007.91/1011.38	c #Conflicts:     296000 | #Constraints:      19234
1007.91/1011.38	c #Conflicts:     297000 | #Constraints:      20234
1007.91/1011.38	c #Conflicts:     298000 | #Constraints:      21234
1007.91/1011.38	c #Conflicts:     299000 | #Constraints:      22234
1007.91/1011.38	c INPROCESSING
1007.91/1011.38	c GARBAGE COLLECT
1007.91/1011.38	c #Conflicts:     300000 | #Constraints:      12439
1007.91/1011.38	c #Conflicts:     301000 | #Constraints:      13439
1007.91/1011.38	c #Conflicts:     302000 | #Constraints:      14439
1007.91/1011.38	c #Conflicts:     303000 | #Constraints:      15439
1007.91/1011.38	c #Conflicts:     304000 | #Constraints:      16439
1007.91/1011.38	c #Conflicts:     305000 | #Constraints:      17439
1007.91/1011.38	c #Conflicts:     306000 | #Constraints:      18439
1007.91/1011.38	c #Conflicts:     307000 | #Constraints:      19439
1007.91/1011.38	c #Conflicts:     308000 | #Constraints:      20439
1007.91/1011.38	c #Conflicts:     309000 | #Constraints:      21439
1007.91/1011.38	c #Conflicts:     310000 | #Constraints:      22439
1007.91/1011.38	c INPROCESSING
1007.91/1011.38	c GARBAGE COLLECT
1007.91/1011.38	c #Conflicts:     311000 | #Constraints:      12444
1007.91/1011.38	c #Conflicts:     312000 | #Constraints:      13444
1007.91/1011.38	c #Conflicts:     313000 | #Constraints:      14444
1007.91/1011.38	c #Conflicts:     314000 | #Constraints:      15444
1007.91/1011.38	c #Conflicts:     315000 | #Constraints:      16444
1007.91/1011.38	c #Conflicts:     316000 | #Constraints:      17444
1007.91/1011.38	c #Conflicts:     317000 | #Constraints:      18444
1007.91/1011.38	c #Conflicts:     318000 | #Constraints:      19444
1007.91/1011.38	c #Conflicts:     319000 | #Constraints:      20444
1007.91/1011.38	c #Conflicts:     320000 | #Constraints:      21444
1007.91/1011.38	c #Conflicts:     321000 | #Constraints:      22444
1007.91/1011.38	c INPROCESSING
1007.91/1011.38	c GARBAGE COLLECT
1007.91/1011.38	c #Conflicts:     322000 | #Constraints:      12240
1007.91/1011.38	c #Conflicts:     323000 | #Constraints:      13240
1007.91/1011.38	c #Conflicts:     324000 | #Constraints:      14240
1007.91/1011.38	c #Conflicts:     325000 | #Constraints:      15240
1007.91/1011.38	c #Conflicts:     326000 | #Constraints:      16240
1007.91/1011.38	c #Conflicts:     327000 | #Constraints:      17240
1007.91/1011.38	c #Conflicts:     328000 | #Constraints:      18240
1007.91/1011.38	c #Conflicts:     329000 | #Constraints:      19240
1007.91/1011.38	c #Conflicts:     330000 | #Constraints:      20240
1007.91/1011.38	c #Conflicts:     331000 | #Constraints:      21240
1007.91/1011.38	c #Conflicts:     332000 | #Constraints:      22240
1007.91/1011.38	c #Conflicts:     333000 | #Constraints:      23240
1007.91/1011.38	c INPROCESSING
1007.91/1011.38	c GARBAGE COLLECT
1007.91/1011.38	c #Conflicts:     334000 | #Constraints:      12839
1007.91/1011.38	c #Conflicts:     335000 | #Constraints:      13839
1007.91/1011.38	c #Conflicts:     336000 | #Constraints:      14839
1007.91/1011.38	c #Conflicts:     337000 | #Constraints:      15839
1007.91/1011.38	c #Conflicts:     338000 | #Constraints:      16839
1007.91/1011.38	c #Conflicts:     339000 | #Constraints:      17839
1007.91/1011.38	c #Conflicts:     340000 | #Constraints:      18839
1007.91/1011.38	c #Conflicts:     341000 | #Constraints:      19839
1007.91/1011.38	c #Conflicts:     342000 | #Constraints:      20839
1007.91/1011.38	c #Conflicts:     343000 | #Constraints:      21839
1007.91/1011.38	c #Conflicts:     344000 | #Constraints:      22839
1007.91/1011.38	c #Conflicts:     345000 | #Constraints:      23839
1007.91/1011.38	c INPROCESSING
1007.91/1011.38	c GARBAGE COLLECT
1007.91/1011.38	c #Conflicts:     346000 | #Constraints:      13234
1007.91/1011.38	c #Conflicts:     347000 | #Constraints:      14234
1007.91/1011.38	c #Conflicts:     348000 | #Constraints:      15234
1007.91/1011.38	c #Conflicts:     349000 | #Constraints:      16234
1007.91/1011.38	c #Conflicts:     350000 | #Constraints:      17234
1007.91/1011.38	c #Conflicts:     351000 | #Constraints:      18234
1007.91/1011.38	c #Conflicts:     352000 | #Constraints:      19234
1007.91/1011.38	c #Conflicts:     353000 | #Constraints:      20234
1007.91/1011.38	c #Conflicts:     354000 | #Constraints:      21234
1007.91/1011.38	c #Conflicts:     355000 | #Constraints:      22234
1007.91/1011.38	c #Conflicts:     356000 | #Constraints:      23234
1007.91/1011.38	c #Conflicts:     357000 | #Constraints:      24234
1007.91/1011.38	c INPROCESSING
1007.91/1011.38	c GARBAGE COLLECT
1007.91/1011.38	c #Conflicts:     358000 | #Constraints:      13433
1007.91/1011.38	c #Conflicts:     359000 | #Constraints:      14433
1542.12/1547.35	c #Conflicts:     360000 | #Constraints:      15433
1542.12/1547.35	c #Conflicts:     361000 | #Constraints:      16433
1542.12/1547.35	c #Conflicts:     362000 | #Constraints:      17433
1542.12/1547.35	c #Conflicts:     363000 | #Constraints:      18433
1542.12/1547.35	c #Conflicts:     364000 | #Constraints:      19433
1542.12/1547.35	c #Conflicts:     365000 | #Constraints:      20433
1542.12/1547.35	c #Conflicts:     366000 | #Constraints:      21433
1542.12/1547.35	c #Conflicts:     367000 | #Constraints:      22433
1542.12/1547.35	c #Conflicts:     368000 | #Constraints:      23433
1542.12/1547.35	c #Conflicts:     369000 | #Constraints:      24433
1542.12/1547.35	c INPROCESSING
1542.12/1547.35	c GARBAGE COLLECT
1542.12/1547.35	c #Conflicts:     370000 | #Constraints:      13437
1542.12/1547.35	c #Conflicts:     371000 | #Constraints:      14437
1542.12/1547.35	c #Conflicts:     372000 | #Constraints:      15437
1542.12/1547.35	c #Conflicts:     373000 | #Constraints:      16437
1542.12/1547.35	c #Conflicts:     374000 | #Constraints:      17437
1542.12/1547.35	c #Conflicts:     375000 | #Constraints:      18437
1542.12/1547.35	c #Conflicts:     376000 | #Constraints:      19437
1542.12/1547.35	c #Conflicts:     377000 | #Constraints:      20437
1542.12/1547.35	c #Conflicts:     378000 | #Constraints:      21437
1542.12/1547.35	c #Conflicts:     379000 | #Constraints:      22437
1542.12/1547.35	c #Conflicts:     380000 | #Constraints:      23437
1542.12/1547.35	c #Conflicts:     381000 | #Constraints:      24437
1542.12/1547.35	c INPROCESSING
1542.12/1547.35	c GARBAGE COLLECT
1542.12/1547.35	c #Conflicts:     382000 | #Constraints:      13241
1542.12/1547.35	c #Conflicts:     383000 | #Constraints:      14241
1542.12/1547.35	c #Conflicts:     384000 | #Constraints:      15241
1542.12/1547.35	c #Conflicts:     385000 | #Constraints:      16241
1542.12/1547.35	c #Conflicts:     386000 | #Constraints:      17241
1542.12/1547.35	c #Conflicts:     387000 | #Constraints:      18241
1542.12/1547.35	c #Conflicts:     388000 | #Constraints:      19241
1542.12/1547.35	c #Conflicts:     389000 | #Constraints:      20241
1542.12/1547.35	c #Conflicts:     390000 | #Constraints:      21241
1542.12/1547.35	c #Conflicts:     391000 | #Constraints:      22241
1542.12/1547.35	c #Conflicts:     392000 | #Constraints:      23241
1542.12/1547.35	c #Conflicts:     393000 | #Constraints:      24241
1542.12/1547.35	c #Conflicts:     394000 | #Constraints:      25241
1542.12/1547.35	c INPROCESSING
1542.12/1547.35	c GARBAGE COLLECT
1542.12/1547.35	c #Conflicts:     395000 | #Constraints:      13839
1542.12/1547.35	c #Conflicts:     396000 | #Constraints:      14839
1542.12/1547.35	c #Conflicts:     397000 | #Constraints:      15839
1542.12/1547.35	c #Conflicts:     398000 | #Constraints:      16839
1542.12/1547.35	c #Conflicts:     399000 | #Constraints:      17839
1542.12/1547.35	c #Conflicts:     400000 | #Constraints:      18839
1542.12/1547.35	c #Conflicts:     401000 | #Constraints:      19839
1542.12/1547.35	c #Conflicts:     402000 | #Constraints:      20839
1542.12/1547.35	c #Conflicts:     403000 | #Constraints:      21839
1542.12/1547.35	c #Conflicts:     404000 | #Constraints:      22839
1542.12/1547.35	c #Conflicts:     405000 | #Constraints:      23839
1542.12/1547.35	c #Conflicts:     406000 | #Constraints:      24839
1542.12/1547.35	c #Conflicts:     407000 | #Constraints:      25839
1542.12/1547.35	c INPROCESSING
1542.12/1547.35	c GARBAGE COLLECT
1542.12/1547.35	c #Conflicts:     408000 | #Constraints:      14249
1542.12/1547.35	c #Conflicts:     409000 | #Constraints:      15249
1542.12/1547.35	c #Conflicts:     410000 | #Constraints:      16249
1542.12/1547.35	c #Conflicts:     411000 | #Constraints:      17249
1542.12/1547.35	c #Conflicts:     412000 | #Constraints:      18249
1542.12/1547.35	c #Conflicts:     413000 | #Constraints:      19249
1542.12/1547.35	c #Conflicts:     414000 | #Constraints:      20249
1542.12/1547.35	c #Conflicts:     415000 | #Constraints:      21249
1542.12/1547.35	c #Conflicts:     416000 | #Constraints:      22249
1542.12/1547.35	c #Conflicts:     417000 | #Constraints:      23249
1542.12/1547.35	c #Conflicts:     418000 | #Constraints:      24249
1542.12/1547.35	c #Conflicts:     419000 | #Constraints:      25249
1542.12/1547.35	c #Conflicts:     420000 | #Constraints:      26249
1542.12/1547.35	c INPROCESSING
1542.12/1547.35	c GARBAGE COLLECT
1542.12/1547.35	c #Conflicts:     421000 | #Constraints:      14445
1542.12/1547.35	c #Conflicts:     422000 | #Constraints:      15445
1542.12/1547.35	c #Conflicts:     423000 | #Constraints:      16445
1542.12/1547.35	c #Conflicts:     424000 | #Constraints:      17445
1542.12/1547.35	c #Conflicts:     425000 | #Constraints:      18445
1542.12/1547.35	c #Conflicts:     426000 | #Constraints:      19445
1542.12/1547.35	c #Conflicts:     427000 | #Constraints:      20445
1542.12/1547.35	c #Conflicts:     428000 | #Constraints:      21445
1542.12/1547.35	c #Conflicts:     429000 | #Constraints:      22445
1542.12/1547.35	c #Conflicts:     430000 | #Constraints:      23445
1542.12/1547.35	c #Conflicts:     431000 | #Constraints:      24445
1542.12/1547.35	c #Conflicts:     432000 | #Constraints:      25445
1542.12/1547.35	c #Conflicts:     433000 | #Constraints:      26445
1542.12/1547.35	c INPROCESSING
1542.12/1547.35	c GARBAGE COLLECT
1542.12/1547.35	c #Conflicts:     434000 | #Constraints:      14441
2107.00/2114.00	c #Conflicts:     435000 | #Constraints:      15441
2107.00/2114.00	c #Conflicts:     436000 | #Constraints:      16441
2107.00/2114.00	c #Conflicts:     437000 | #Constraints:      17441
2107.00/2114.00	c #Conflicts:     438000 | #Constraints:      18441
2107.00/2114.00	c #Conflicts:     439000 | #Constraints:      19441
2107.00/2114.00	c #Conflicts:     440000 | #Constraints:      20441
2107.00/2114.00	c #Conflicts:     441000 | #Constraints:      21441
2107.00/2114.00	c #Conflicts:     442000 | #Constraints:      22441
2107.00/2114.00	c #Conflicts:     443000 | #Constraints:      23441
2107.00/2114.00	c #Conflicts:     444000 | #Constraints:      24441
2107.00/2114.00	c #Conflicts:     445000 | #Constraints:      25441
2107.00/2114.00	c #Conflicts:     446000 | #Constraints:      26441
2107.00/2114.00	c INPROCESSING
2107.00/2114.00	c GARBAGE COLLECT
2107.00/2114.00	c #Conflicts:     447000 | #Constraints:      14239
2107.00/2114.00	c #Conflicts:     448000 | #Constraints:      15239
2107.00/2114.00	c #Conflicts:     449000 | #Constraints:      16239
2107.00/2114.00	c #Conflicts:     450000 | #Constraints:      17239
2107.00/2114.00	c #Conflicts:     451000 | #Constraints:      18239
2107.00/2114.00	c #Conflicts:     452000 | #Constraints:      19239
2107.00/2114.00	c #Conflicts:     453000 | #Constraints:      20239
2107.00/2114.00	c #Conflicts:     454000 | #Constraints:      21239
2107.00/2114.00	c #Conflicts:     455000 | #Constraints:      22239
2107.00/2114.00	c #Conflicts:     456000 | #Constraints:      23239
2107.00/2114.00	c #Conflicts:     457000 | #Constraints:      24239
2107.00/2114.00	c #Conflicts:     458000 | #Constraints:      25239
2107.00/2114.00	c #Conflicts:     459000 | #Constraints:      26239
2107.00/2114.00	c #Conflicts:     460000 | #Constraints:      27239
2107.00/2114.00	c INPROCESSING
2107.00/2114.00	c GARBAGE COLLECT
2107.00/2114.00	c #Conflicts:     461000 | #Constraints:      14838
2107.00/2114.00	c #Conflicts:     462000 | #Constraints:      15838
2107.00/2114.00	c #Conflicts:     463000 | #Constraints:      16838
2107.00/2114.00	c #Conflicts:     464000 | #Constraints:      17838
2107.00/2114.00	c #Conflicts:     465000 | #Constraints:      18838
2107.00/2114.00	c #Conflicts:     466000 | #Constraints:      19838
2107.00/2114.00	c #Conflicts:     467000 | #Constraints:      20838
2107.00/2114.00	c #Conflicts:     468000 | #Constraints:      21838
2107.00/2114.00	c #Conflicts:     469000 | #Constraints:      22838
2107.00/2114.00	c #Conflicts:     470000 | #Constraints:      23838
2107.00/2114.00	c #Conflicts:     471000 | #Constraints:      24838
2107.00/2114.00	c #Conflicts:     472000 | #Constraints:      25838
2107.00/2114.00	c #Conflicts:     473000 | #Constraints:      26838
2107.00/2114.00	c #Conflicts:     474000 | #Constraints:      27838
2107.00/2114.00	c INPROCESSING
2107.00/2114.00	c GARBAGE COLLECT
2107.00/2114.00	c #Conflicts:     475000 | #Constraints:      15237
2107.00/2114.00	c #Conflicts:     476000 | #Constraints:      16237
2107.00/2114.00	c #Conflicts:     477000 | #Constraints:      17237
2107.00/2114.00	c #Conflicts:     478000 | #Constraints:      18237
2107.00/2114.00	c #Conflicts:     479000 | #Constraints:      19237
2107.00/2114.00	c #Conflicts:     480000 | #Constraints:      20237
2107.00/2114.00	c #Conflicts:     481000 | #Constraints:      21237
2107.00/2114.00	c #Conflicts:     482000 | #Constraints:      22237
2107.00/2114.00	c #Conflicts:     483000 | #Constraints:      23237
2107.00/2114.00	c #Conflicts:     484000 | #Constraints:      24237
2107.00/2114.00	c #Conflicts:     485000 | #Constraints:      25237
2107.00/2114.00	c #Conflicts:     486000 | #Constraints:      26237
2107.00/2114.00	c #Conflicts:     487000 | #Constraints:      27237
2107.00/2114.00	c #Conflicts:     488000 | #Constraints:      28237
2107.00/2114.00	c INPROCESSING
2107.00/2114.00	c GARBAGE COLLECT
2107.00/2114.00	c #Conflicts:     489000 | #Constraints:      15440
2107.00/2114.00	c #Conflicts:     490000 | #Constraints:      16440
2107.00/2114.00	c #Conflicts:     491000 | #Constraints:      17440
2107.00/2114.00	c #Conflicts:     492000 | #Constraints:      18440
2107.00/2114.00	c #Conflicts:     493000 | #Constraints:      19440
2107.00/2114.00	c #Conflicts:     494000 | #Constraints:      20440
2107.00/2114.00	c #Conflicts:     495000 | #Constraints:      21440
2107.00/2114.00	c #Conflicts:     496000 | #Constraints:      22440
2107.00/2114.00	c #Conflicts:     497000 | #Constraints:      23440
2107.00/2114.00	c #Conflicts:     498000 | #Constraints:      24440
2107.00/2114.00	c #Conflicts:     499000 | #Constraints:      25440
2107.00/2114.00	c #Conflicts:     500000 | #Constraints:      26440
2107.00/2114.00	c #Conflicts:     501000 | #Constraints:      27440
2107.00/2114.00	c #Conflicts:     502000 | #Constraints:      28440
2107.00/2114.00	c INPROCESSING
2107.00/2114.00	c GARBAGE COLLECT
2107.00/2114.00	c #Conflicts:     503000 | #Constraints:      15437
2107.00/2114.00	c #Conflicts:     504000 | #Constraints:      16437
2107.00/2114.00	c #Conflicts:     505000 | #Constraints:      17437
2107.00/2114.00	c #Conflicts:     506000 | #Constraints:      18437
2107.00/2114.00	c #Conflicts:     507000 | #Constraints:      19437
2107.00/2114.00	c #Conflicts:     508000 | #Constraints:      20437
2107.00/2114.00	c #Conflicts:     509000 | #Constraints:      21437
2782.17/2791.34	c #Conflicts:     510000 | #Constraints:      22437
2782.17/2791.34	c #Conflicts:     511000 | #Constraints:      23437
2782.17/2791.34	c #Conflicts:     512000 | #Constraints:      24437
2782.17/2791.34	c #Conflicts:     513000 | #Constraints:      25437
2782.17/2791.34	c #Conflicts:     514000 | #Constraints:      26437
2782.17/2791.34	c #Conflicts:     515000 | #Constraints:      27437
2782.17/2791.34	c #Conflicts:     516000 | #Constraints:      28437
2782.17/2791.34	c INPROCESSING
2782.17/2791.34	c GARBAGE COLLECT
2782.17/2791.34	c #Conflicts:     517000 | #Constraints:      15242
2782.17/2791.34	c #Conflicts:     518000 | #Constraints:      16242
2782.17/2791.34	c #Conflicts:     519000 | #Constraints:      17242
2782.17/2791.34	c #Conflicts:     520000 | #Constraints:      18242
2782.17/2791.34	c #Conflicts:     521000 | #Constraints:      19242
2782.17/2791.34	c #Conflicts:     522000 | #Constraints:      20242
2782.17/2791.34	c #Conflicts:     523000 | #Constraints:      21242
2782.17/2791.34	c #Conflicts:     524000 | #Constraints:      22242
2782.17/2791.34	c #Conflicts:     525000 | #Constraints:      23242
2782.17/2791.34	c #Conflicts:     526000 | #Constraints:      24242
2782.17/2791.34	c #Conflicts:     527000 | #Constraints:      25242
2782.17/2791.34	c #Conflicts:     528000 | #Constraints:      26242
2782.17/2791.34	c #Conflicts:     529000 | #Constraints:      27242
2782.17/2791.34	c #Conflicts:     530000 | #Constraints:      28242
2782.17/2791.34	c #Conflicts:     531000 | #Constraints:      29242
2782.17/2791.34	c INPROCESSING
2782.17/2791.34	c GARBAGE COLLECT
2782.17/2791.34	c #Conflicts:     532000 | #Constraints:      15839
2782.17/2791.34	c #Conflicts:     533000 | #Constraints:      16839
2782.17/2791.34	c #Conflicts:     534000 | #Constraints:      17839
2782.17/2791.34	c #Conflicts:     535000 | #Constraints:      18839
2782.17/2791.34	c #Conflicts:     536000 | #Constraints:      19839
2782.17/2791.34	c #Conflicts:     537000 | #Constraints:      20839
2782.17/2791.34	c #Conflicts:     538000 | #Constraints:      21839
2782.17/2791.34	c #Conflicts:     539000 | #Constraints:      22839
2782.17/2791.34	c #Conflicts:     540000 | #Constraints:      23839
2782.17/2791.34	c #Conflicts:     541000 | #Constraints:      24839
2782.17/2791.34	c #Conflicts:     542000 | #Constraints:      25839
2782.17/2791.34	c #Conflicts:     543000 | #Constraints:      26839
2782.17/2791.34	c #Conflicts:     544000 | #Constraints:      27839
2782.17/2791.34	c #Conflicts:     545000 | #Constraints:      28839
2782.17/2791.34	c #Conflicts:     546000 | #Constraints:      29839
2782.17/2791.34	c INPROCESSING
2782.17/2791.34	c GARBAGE COLLECT
2782.17/2791.34	c #Conflicts:     547000 | #Constraints:      16239
2782.17/2791.34	c #Conflicts:     548000 | #Constraints:      17239
2782.17/2791.34	c #Conflicts:     549000 | #Constraints:      18239
2782.17/2791.34	c #Conflicts:     550000 | #Constraints:      19239
2782.17/2791.34	c #Conflicts:     551000 | #Constraints:      20239
2782.17/2791.34	c #Conflicts:     552000 | #Constraints:      21239
2782.17/2791.34	c #Conflicts:     553000 | #Constraints:      22239
2782.17/2791.34	c #Conflicts:     554000 | #Constraints:      23239
2782.17/2791.34	c #Conflicts:     555000 | #Constraints:      24239
2782.17/2791.34	c #Conflicts:     556000 | #Constraints:      25239
2782.17/2791.34	c #Conflicts:     557000 | #Constraints:      26239
2782.17/2791.34	c #Conflicts:     558000 | #Constraints:      27239
2782.17/2791.34	c #Conflicts:     559000 | #Constraints:      28239
2782.17/2791.34	c #Conflicts:     560000 | #Constraints:      29239
2782.17/2791.34	c #Conflicts:     561000 | #Constraints:      30239
2782.17/2791.34	c INPROCESSING
2782.17/2791.34	c GARBAGE COLLECT
2782.17/2791.34	c #Conflicts:     562000 | #Constraints:      16445
2782.17/2791.34	c #Conflicts:     563000 | #Constraints:      17445
2782.17/2791.34	c #Conflicts:     564000 | #Constraints:      18445
2782.17/2791.34	c #Conflicts:     565000 | #Constraints:      19445
2782.17/2791.34	c #Conflicts:     566000 | #Constraints:      20445
2782.17/2791.35	c #Conflicts:     567000 | #Constraints:      21445
2782.17/2791.35	c #Conflicts:     568000 | #Constraints:      22445
2782.17/2791.35	c #Conflicts:     569000 | #Constraints:      23445
2782.17/2791.35	c #Conflicts:     570000 | #Constraints:      24445
2782.17/2791.35	c #Conflicts:     571000 | #Constraints:      25445
2782.17/2791.35	c #Conflicts:     572000 | #Constraints:      26445
2782.17/2791.35	c #Conflicts:     573000 | #Constraints:      27445
2782.17/2791.35	c #Conflicts:     574000 | #Constraints:      28445
2782.17/2791.35	c #Conflicts:     575000 | #Constraints:      29445
2782.17/2791.35	c #Conflicts:     576000 | #Constraints:      30445
2782.17/2791.35	c INPROCESSING
2782.17/2791.35	c GARBAGE COLLECT
2782.17/2791.35	c #Conflicts:     577000 | #Constraints:      16444
2782.17/2791.35	c #Conflicts:     578000 | #Constraints:      17444
2782.17/2791.35	c #Conflicts:     579000 | #Constraints:      18444
2782.17/2791.35	c #Conflicts:     580000 | #Constraints:      19444
2782.17/2791.35	c #Conflicts:     581000 | #Constraints:      20444
2782.17/2791.35	c #Conflicts:     582000 | #Constraints:      21444
2782.17/2791.35	c #Conflicts:     583000 | #Constraints:      22444
2782.17/2791.35	c #Conflicts:     584000 | #Constraints:      23444
2782.17/2791.35	c #Conflicts:     585000 | #Constraints:      24444
3600.06/3611.90	c #Conflicts:     586000 | #Constraints:      25444
3600.06/3611.90	c #Conflicts:     587000 | #Constraints:      26444
3600.06/3611.90	c #Conflicts:     588000 | #Constraints:      27444
3600.06/3611.90	c #Conflicts:     589000 | #Constraints:      28444
3600.06/3611.90	c #Conflicts:     590000 | #Constraints:      29444
3600.06/3611.90	c #Conflicts:     591000 | #Constraints:      30444
3600.06/3611.90	c INPROCESSING
3600.06/3611.90	c GARBAGE COLLECT
3600.06/3611.90	c #Conflicts:     592000 | #Constraints:      16238
3600.06/3611.90	c #Conflicts:     593000 | #Constraints:      17238
3600.06/3611.90	c #Conflicts:     594000 | #Constraints:      18238
3600.06/3611.90	c #Conflicts:     595000 | #Constraints:      19238
3600.06/3611.90	c #Conflicts:     596000 | #Constraints:      20238
3600.06/3611.90	c #Conflicts:     597000 | #Constraints:      21238
3600.06/3611.90	c #Conflicts:     598000 | #Constraints:      22238
3600.06/3611.90	c #Conflicts:     599000 | #Constraints:      23238
3600.06/3611.90	c #Conflicts:     600000 | #Constraints:      24238
3600.06/3611.90	c #Conflicts:     601000 | #Constraints:      25238
3600.06/3611.90	c #Conflicts:     602000 | #Constraints:      26238
3600.06/3611.90	c #Conflicts:     603000 | #Constraints:      27238
3600.06/3611.90	c #Conflicts:     604000 | #Constraints:      28238
3600.06/3611.90	c #Conflicts:     605000 | #Constraints:      29238
3600.06/3611.90	c #Conflicts:     606000 | #Constraints:      30238
3600.06/3611.90	c #Conflicts:     607000 | #Constraints:      31238
3600.06/3611.90	c INPROCESSING
3600.06/3611.90	c GARBAGE COLLECT
3600.06/3611.90	c #Conflicts:     608000 | #Constraints:      16841
3600.06/3611.90	c #Conflicts:     609000 | #Constraints:      17841
3600.06/3611.90	c #Conflicts:     610000 | #Constraints:      18841
3600.06/3611.90	c #Conflicts:     611000 | #Constraints:      19841
3600.06/3611.90	c #Conflicts:     612000 | #Constraints:      20841
3600.06/3611.90	c #Conflicts:     613000 | #Constraints:      21841
3600.06/3611.90	c #Conflicts:     614000 | #Constraints:      22841
3600.06/3611.90	c #Conflicts:     615000 | #Constraints:      23841
3600.06/3611.90	c #Conflicts:     616000 | #Constraints:      24841
3600.06/3611.90	c #Conflicts:     617000 | #Constraints:      25841
3600.06/3611.90	c #Conflicts:     618000 | #Constraints:      26841
3600.06/3611.90	c #Conflicts:     619000 | #Constraints:      27841
3600.06/3611.90	c #Conflicts:     620000 | #Constraints:      28841
3600.06/3611.90	c #Conflicts:     621000 | #Constraints:      29841
3600.06/3611.90	c #Conflicts:     622000 | #Constraints:      30841
3600.06/3611.90	c #Conflicts:     623000 | #Constraints:      31841
3600.06/3611.90	c INPROCESSING
3600.06/3611.90	c GARBAGE COLLECT
3600.06/3611.90	c #Conflicts:     624000 | #Constraints:      17244
3600.06/3611.90	c #Conflicts:     625000 | #Constraints:      18244
3600.06/3611.90	c #Conflicts:     626000 | #Constraints:      19244
3600.06/3611.90	c #Conflicts:     627000 | #Constraints:      20244
3600.06/3611.90	c #Conflicts:     628000 | #Constraints:      21244
3600.06/3611.90	c #Conflicts:     629000 | #Constraints:      22244
3600.06/3611.90	c #Conflicts:     630000 | #Constraints:      23244
3600.06/3611.90	c #Conflicts:     631000 | #Constraints:      24244
3600.06/3611.90	c #Conflicts:     632000 | #Constraints:      25244
3600.06/3611.90	c #Conflicts:     633000 | #Constraints:      26244
3600.06/3611.90	c #Conflicts:     634000 | #Constraints:      27244
3600.06/3611.90	c #Conflicts:     635000 | #Constraints:      28244
3600.06/3611.90	c #Conflicts:     636000 | #Constraints:      29244
3600.06/3611.90	c #Conflicts:     637000 | #Constraints:      30244
3600.06/3611.90	c #Conflicts:     638000 | #Constraints:      31244
3600.06/3611.90	c #Conflicts:     639000 | #Constraints:      32244
3600.06/3611.90	c INPROCESSING
3600.06/3611.90	c GARBAGE COLLECT
3600.06/3611.90	c #Conflicts:     640000 | #Constraints:      17439
3600.06/3611.90	c #Conflicts:     641000 | #Constraints:      18439
3600.06/3611.90	c #Conflicts:     642000 | #Constraints:      19439
3600.06/3611.90	c #Conflicts:     643000 | #Constraints:      20439
3600.06/3611.90	c #Conflicts:     644000 | #Constraints:      21439
3600.06/3611.90	c #Conflicts:     645000 | #Constraints:      22439
3600.06/3611.90	c #Conflicts:     646000 | #Constraints:      23439
3600.06/3611.90	c #Conflicts:     647000 | #Constraints:      24439
3600.06/3611.90	c #Conflicts:     648000 | #Constraints:      25439
3600.06/3611.90	c #Conflicts:     649000 | #Constraints:      26439
3600.06/3611.90	c #Conflicts:     650000 | #Constraints:      27439
3600.06/3611.90	c #Conflicts:     651000 | #Constraints:      28439
3600.06/3611.90	c #Conflicts:     652000 | #Constraints:      29439
3600.06/3611.90	c #Conflicts:     653000 | #Constraints:      30439
3600.06/3611.90	c #Conflicts:     654000 | #Constraints:      31439
3600.06/3611.90	c #Conflicts:     655000 | #Constraints:      32439
3600.06/3611.90	c INPROCESSING
3600.06/3611.90	c GARBAGE COLLECT
3600.06/3611.90	c #Conflicts:     656000 | #Constraints:      17444
3600.06/3611.90	c #Conflicts:     657000 | #Constraints:      18444
3600.06/3611.90	c #Conflicts:     658000 | #Constraints:      19444
3600.06/3611.90	c #Conflicts:     659000 | #Constraints:      20444
3600.06/3611.90	c Program interrupted by user.
3600.06/3611.90	c cpu time 3591.67 s
3600.06/3611.90	c deterministic time 400393755040 4.00e+11
3600.06/3611.90	c optimization time 41.5119 s
3600.06/3611.90	c total solve time 3550.16 s
3600.06/3611.90	c core-guided solve time 3550.16 s
3600.06/3611.90	c propagation time 3319.65 s
3600.06/3611.90	c conflict analysis time 250.814 s
3600.06/3611.90	c propagations 40180389
3600.06/3611.90	c resolve steps 5001894
3600.06/3611.90	c decisions 4506711
3600.06/3611.90	c conflicts 659848
3600.06/3611.90	c restarts 1410
3600.06/3611.90	c inprocessing phases 72
3600.06/3611.90	c input clauses 399
3600.06/3611.90	c input cardinalities 119
3600.06/3611.90	c input general constraints 112
3600.06/3611.90	c input average constraint length 40.10
3600.06/3611.90	c input average constraint degree 22.42
3600.06/3611.90	c learned clauses 36023
3600.06/3611.90	c learned cardinalities 167
3600.06/3611.90	c learned general constraints 623679
3600.06/3611.90	c learned average constraint length 255.24
3600.06/3611.90	c learned average constraint degree 7858980.82
3600.06/3611.90	c watched constraints 489215
3600.06/3611.90	c counting constraints 134576
3600.06/3611.90	c gcd simplifications 7699
3600.06/3611.90	c detected cardinalities 1
3600.06/3611.90	c weakened non-implied lits 7539265
3600.06/3611.90	c weakened non-implying lits 31140
3600.06/3611.90	c original variables 411
3600.06/3611.90	c clausal propagations 9016084
3600.06/3611.90	c cardinality propagations 5359945
3600.06/3611.90	c watched propagations 10232637
3600.06/3611.90	c counting propagations 15422249
3600.06/3611.90	c watch lookups 58106734639
3600.06/3611.90	c watch backjump lookups 55614171124
3600.06/3611.90	c watch checks 206120431683
3600.06/3611.90	c propagation checks 79757913277
3600.06/3611.90	c constraint additions 704470350
3600.06/3611.90	c trail pops 45346866
3600.06/3611.90	c formula constraints 477
3600.06/3611.90	c learned constraints 659869
3600.06/3611.90	c bound constraints 56
3600.06/3611.90	c core-guided constraints 97
3600.06/3611.90	c encountered formula constraints 2080831
3600.06/3611.90	c encountered learned constraints 3371180
3600.06/3611.90	c encountered bound constraints 168
3600.06/3611.90	c encountered core-guided constraints 209563
3600.06/3611.90	c LP total time 0 s
3600.06/3611.90	c LP solve time 0 s
3600.06/3611.90	c LP constraints added 0
3600.06/3611.90	c LP constraints removed 0
3600.06/3611.90	c LP pivots internal 0
3600.06/3611.90	c LP pivots root 0
3600.06/3611.90	c LP calls 0
3600.06/3611.90	c LP optimalities 0
3600.06/3611.90	c LP no pivot count 0
3600.06/3611.90	c LP infeasibilities 0
3600.06/3611.90	c LP valid Farkas constraints 0
3600.06/3611.90	c LP learned Farkas constraints 0
3600.06/3611.90	c LP basis resets 0
3600.06/3611.90	c LP cycling count 0
3600.06/3611.90	c LP singular count 0
3600.06/3611.90	c LP no primal count 0
3600.06/3611.90	c LP no farkas count 0
3600.06/3611.90	c LP other issue count 0
3600.06/3611.90	c LP Gomory cuts 0
3600.06/3611.90	c LP learned cuts 0
3600.06/3611.90	c LP deleted cuts 0
3600.06/3611.90	c LP encountered Gomory constraints 0
3600.06/3611.90	c LP encountered Farkas constraints 0
3600.06/3611.90	c LP encountered learned Farkas constraints 0
3600.06/3611.90	c CG auxiliary variables introduced 44
3600.06/3611.90	c CG solutions found 3
3600.06/3611.90	c CG cores constructed 37
3600.06/3611.90	c CG core cardinality constraints returned 7
3600.06/3611.90	c CG unit cores 0
3600.06/3611.90	c CG single cores 34
3600.06/3611.90	c CG blocks removed during cardinality reduction 0
3600.06/3611.90	c CG first core best 0
3600.06/3611.90	c CG decision core best 2
3600.06/3611.90	c CG core reduction tie 1
3600.06/3611.90	c CG core degree average 1.22
3600.06/3611.90	c CG core slack average 5.81
3600.06/3611.90	c CG exhausted 1
3600.06/3611.90	c CG exhaust time 3.45339 s
3600.06/3611.90	c CG trimmed 2
3600.06/3611.90	c CG trim time 0.001114 s
3600.06/3611.90	c CG minimized 0
3600.06/3611.90	c CG minimize time 0 s
3600.06/3611.90	c CG am1 prop time 0.000779 s
3600.06/3611.90	c CG # am1s reformulated 1
3600.06/3611.90	c CG lower bound derived from am1s 1
3600.06/3611.90	c CG # clausal cores 33
3600.06/3611.90	c CG # cardinality cores 7
3600.06/3611.90	c CG # pb cores 0
3600.06/3611.90	c CG # pb reforms 12
3600.06/3611.90	c CG # cores discarded because of pb reform 0
3600.06/3611.90	d LOWERBOUND -173
3600.06/3611.90	d NCORES 37
3600.06/3611.90	d NPBCORES 0
3600.06/3611.90	d NPBREFORM 12
3600.06/3611.90	d NTRIMMED 2
3600.06/3611.90	d NEXHAUSTED 1
3600.06/3611.90	d NAM1S 1
3600.06/3611.90	d AM1LB 1
3600.06/3611.90	o 1
3600.06/3611.90	s SATISFIABLE
3600.06/3611.90	v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 x9 x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 x26 -x27 -x28 x29 x30 x31 -x32 -x33 -x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 -x44 -x45 -x46 x47 x48 -x49 x50 x51 x52 x53 -x54 x55 x56 -x57 x58 x59 -x60 -x61 x62 x63 x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 x84 x85 x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 x125 x126 x127 -x128 -x129 -x130 x131 x132 -x133 x134 x135 x136 x137 x138 -x139 x140 x141 x142 -x143 x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 x154 x155 x156 x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 x166 x167 x168 x169 x170 x171 x172 x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 x183 x184 -x185 -x186 x187 x188 x189 x190 x191 x192 -x193 -x194 x195 x196 -x197 -x198 -x199 -x200 x201 -x202 x203 x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 x213 x214 x215 x216 x217 x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 x227 x228 x229 x230 x231 x232 x233 -x234 x235 x236 -x237 -x238 x239 x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 x248 x249 -x250 x251 x252 x253 -x254 -x255 -x256 x257 x258 x259 x260 x261 x262 x263 -x264 -x265 -x266 x267 x268 x269 x270 x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 x294 x295 x296 x297 x298 -x299 -x300 x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 x330 x331 -x332 -x333 -x334 x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 x344 -x345 x346 -x347 x348 -x349 -x350 -x351 x352 x353 -x354 x355 x356 x357 -x358 -x359 -x360 -x361 x362 x363 x364 x365 -x366 -x367 x368 x369 -x370 -x371 x372 x373 -x374 -x375 -x376 x377 x378 x379 -x380 -x381 x382 x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411

Verifier Data 

OK	1

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: 63931 MiB (59974 MiB free)
  memory of node 1: 64510 MiB (60621 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454377-1721434063/watcher-4454377-1721434063 -o /tmp/evaluation-result-4454377-1721434063/solver-4454377-1721434063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063212 --watchdog 3760 pb-oll-rs HOME/instance-4454377-1721434063.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=1063260, runsolver pid=1063255

[startup+0.100469 s]*
/proc/loadavg: 1.06 1.50 2.09 6/256 1063276
/proc/meminfo: memFree=123467184/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=41556 memory=10424 CPUtime=0.09 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 1446 0 0 0 8 1 0 0 20 0 1 0 195571695 42553344 2606 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 10389 2606 1369 291 0 1923 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41556 KiB
Current children cumulated memory: 10424 KiB

[startup+0.20585 s]*
/proc/loadavg: 1.06 1.50 2.09 5/256 1063276
/proc/meminfo: memFree=123448332/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=42660 memory=13524 CPUtime=0.2 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 1705 0 0 0 19 1 0 0 20 0 1 0 195571695 43683840 3381 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 10665 3381 1369 291 0 2199 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42660 KiB
Current children cumulated memory: 13524 KiB

[startup+0.305451 s]*
/proc/loadavg: 1.06 1.50 2.09 5/256 1063276
/proc/meminfo: memFree=123438020/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=44392 memory=15108 CPUtime=0.29 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 2083 0 0 0 28 1 0 0 20 0 1 0 195571695 45457408 3777 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 11098 3777 1369 291 0 2632 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44392 KiB
Current children cumulated memory: 15108 KiB

[startup+0.700205 s]
/proc/loadavg: 1.06 1.50 2.09 5/256 1063276
/proc/meminfo: memFree=123417404/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=49400 memory=20516 CPUtime=0.68 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 2839 0 0 0 66 2 0 0 20 0 1 0 195571695 50585600 5129 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 12350 5129 1443 291 0 3884 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49400 KiB
Current children cumulated memory: 20516 KiB

[startup+1.50021 s]
/proc/loadavg: 1.06 1.50 2.09 5/256 1063278
/proc/meminfo: memFree=123387012/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=50840 memory=21572 CPUtime=1.48 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 3119 0 0 0 144 4 0 0 20 0 1 0 195571695 52060160 5393 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 12710 5393 1443 291 0 4244 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50840 KiB
Current children cumulated memory: 21572 KiB

[startup+3.10594 s]
/proc/loadavg: 1.06 1.50 2.09 5/256 1063278
/proc/meminfo: memFree=123255840/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=58716 memory=25844 CPUtime=3.08 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 4169 0 0 0 300 8 0 0 20 0 1 0 195571695 60125184 6461 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 14679 6461 1443 291 0 6213 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58716 KiB
Current children cumulated memory: 25844 KiB

[startup+6.30021 s]
/proc/loadavg: 1.30 1.54 2.10 5/256 1063278
/proc/meminfo: memFree=123196444/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=59100 memory=25844 CPUtime=6.26 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 4212 0 0 0 612 14 0 0 20 0 1 0 195571695 60518400 6461 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 14775 6461 1443 291 0 6309 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 59100 KiB
Current children cumulated memory: 25844 KiB

[startup+12.7002 s]
/proc/loadavg: 1.52 1.58 2.11 5/256 1063279
/proc/meminfo: memFree=123040608/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=60828 memory=29472 CPUtime=12.64 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 4596 0 0 0 1241 23 0 0 20 0 1 0 195571695 62287872 7368 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 15207 7368 1443 291 0 6741 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 60828 KiB
Current children cumulated memory: 29472 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 1.72 2.15 5/256 1063281
/proc/meminfo: memFree=122857416/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=69352 memory=32360 CPUtime=25.41 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 5287 0 0 0 2508 33 0 0 20 0 1 0 195571695 71016448 8090 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 17338 8090 1443 291 0 8872 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 69352 KiB
Current children cumulated memory: 32360 KiB

[startup+51.106 s]
/proc/loadavg: 2.78 1.90 2.20 5/256 1063286
/proc/meminfo: memFree=122659484/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=71028 memory=36636 CPUtime=50.92 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 5843 0 0 0 5036 56 0 0 20 0 1 0 195571695 72732672 9159 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 17757 9159 1443 291 0 9291 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 71028 KiB
Current children cumulated memory: 36636 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 2.24 2.30 5/256 1063294
/proc/meminfo: memFree=122360756/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=88808 memory=46244 CPUtime=101.94 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 7278 0 0 0 10103 91 0 0 20 0 1 0 195571695 90939392 11561 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 22202 11561 1443 291 0 13736 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 88808 KiB
Current children cumulated memory: 46244 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.61 2.43 5/258 1063309
/proc/meminfo: memFree=122300596/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=95512 memory=56132 CPUtime=161.74 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 8737 0 0 0 16046 128 0 0 20 0 1 0 195571695 97804288 14033 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 23878 14033 1443 291 0 15412 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 95512 KiB
Current children cumulated memory: 56132 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.87 2.53 5/258 1063320
/proc/meminfo: memFree=122143620/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=97096 memory=59752 CPUtime=221.54 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 9086 0 0 0 21998 156 0 0 20 0 1 0 195571695 99426304 14938 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 24274 14938 1443 291 0 15808 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 97096 KiB
Current children cumulated memory: 59752 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.11 2.63 5/258 1063331
/proc/meminfo: memFree=122074644/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=99472 memory=61324 CPUtime=281.34 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 9534 0 0 0 27951 183 0 0 20 0 1 0 195571695 101859328 15331 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 24868 15331 1443 291 0 16402 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 99472 KiB
Current children cumulated memory: 61324 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.29 2.73 5/258 1063343
/proc/meminfo: memFree=121959604/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=102112 memory=66520 CPUtime=341.13 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 10286 0 0 0 33905 208 0 0 20 0 1 0 195571695 104562688 16630 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 25528 16630 1443 291 0 17062 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 102112 KiB
Current children cumulated memory: 66520 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.43 2.81 5/258 1063354
/proc/meminfo: memFree=121846744/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=102772 memory=68352 CPUtime=400.93 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 10729 0 0 0 39863 230 0 0 20 0 1 0 195571695 105238528 17088 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 25693 17088 1443 291 0 17227 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 102772 KiB
Current children cumulated memory: 68352 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 3.57 2.90 5/258 1063366
/proc/meminfo: memFree=121777764/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=122512 memory=71716 CPUtime=460.74 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 11136 0 0 0 45824 250 0 0 20 0 1 0 195571695 125452288 17929 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 30628 17929 1443 291 0 22162 0

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

Current children cumulated memory: 105716 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.16 4.06 5/259 1064825
/proc/meminfo: memFree=119398848/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=172784 memory=106500 CPUtime=2912.74 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 17833 0 0 0 290539 735 0 0 20 0 1 0 195571695 176930816 26625 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43196 26625 1443 291 0 34730 0
Current children cumulated CPU time: 2912.74 s
Current children cumulated vsize: 172784 KiB
Current children cumulated memory: 106500 KiB

[startup+2982.3 s]
/proc/loadavg: 4.21 4.17 4.07 5/257 1064836
/proc/meminfo: memFree=119357272/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=172784 memory=106500 CPUtime=2972.54 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 17849 0 0 0 296511 743 0 0 20 0 1 0 195571695 176930816 26625 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43196 26625 1443 291 0 34730 0
Current children cumulated CPU time: 2972.54 s
Current children cumulated vsize: 172784 KiB
Current children cumulated memory: 106500 KiB

[startup+3042.3 s]
/proc/loadavg: 4.35 4.22 4.09 5/258 1065015
/proc/meminfo: memFree=119264396/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=173844 memory=107816 CPUtime=3032.34 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 18388 0 0 0 302482 752 0 0 20 0 1 0 195571695 178016256 26954 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43461 26954 1443 291 0 34995 0
Current children cumulated CPU time: 3032.34 s
Current children cumulated vsize: 173844 KiB
Current children cumulated memory: 107816 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.19 4.09 5/258 1065026
/proc/meminfo: memFree=119220276/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=173844 memory=108064 CPUtime=3092.16 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 18404 0 0 0 308453 763 0 0 20 0 1 0 195571695 178016256 27016 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43461 27016 1443 291 0 34995 0
Current children cumulated CPU time: 3092.16 s
Current children cumulated vsize: 173844 KiB
Current children cumulated memory: 108064 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.17 4.09 5/258 1065040
/proc/meminfo: memFree=119169836/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=173844 memory=108064 CPUtime=3151.95 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 18420 0 0 0 314425 770 0 0 20 0 1 0 195571695 178016256 27016 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43461 27016 1443 291 0 34995 0
Current children cumulated CPU time: 3151.95 s
Current children cumulated vsize: 173844 KiB
Current children cumulated memory: 108064 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.10 5/259 1065064
/proc/meminfo: memFree=119112456/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=174068 memory=110780 CPUtime=3211.76 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 18643 0 0 0 320396 780 0 0 20 0 1 0 195571695 178245632 27695 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43517 27695 1443 291 0 35051 0
Current children cumulated CPU time: 3211.76 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 110780 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.15 4.09 5/260 1065075
/proc/meminfo: memFree=119069600/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=174068 memory=110780 CPUtime=3271.56 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 18659 0 0 0 326365 791 0 0 20 0 1 0 195571695 178245632 27695 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43517 27695 1443 291 0 35051 0
Current children cumulated CPU time: 3271.56 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 110780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/259 1065086
/proc/meminfo: memFree=119023792/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=174068 memory=110780 CPUtime=3331.37 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 18675 0 0 0 332338 799 0 0 20 0 1 0 195571695 178245632 27695 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43517 27695 1443 291 0 35051 0
Current children cumulated CPU time: 3331.37 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 110780 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/259 1065099
/proc/meminfo: memFree=118862156/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=174612 memory=110820 CPUtime=3391.17 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 18840 0 0 0 338310 807 0 0 20 0 1 0 195571695 178802688 27705 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43653 27705 1443 291 0 35187 0
Current children cumulated CPU time: 3391.17 s
Current children cumulated vsize: 174612 KiB
Current children cumulated memory: 110820 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/257 1065109
/proc/meminfo: memFree=118827736/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=174612 memory=110820 CPUtime=3450.97 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 18856 0 0 0 344280 817 0 0 20 0 1 0 195571695 178802688 27705 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43653 27705 1443 291 0 35187 0
Current children cumulated CPU time: 3450.97 s
Current children cumulated vsize: 174612 KiB
Current children cumulated memory: 110820 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/257 1065119
/proc/meminfo: memFree=118784932/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=174612 memory=110976 CPUtime=3510.76 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 18872 0 0 0 350252 824 0 0 20 0 1 0 195571695 178802688 27744 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43653 27744 1443 291 0 35187 0
Current children cumulated CPU time: 3510.76 s
Current children cumulated vsize: 174612 KiB
Current children cumulated memory: 110976 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 1065130
/proc/meminfo: memFree=118740968/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=174576 memory=111104 CPUtime=3570.55 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 18994 0 0 0 356222 833 0 0 20 0 1 0 195571695 178765824 27776 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43644 27776 1443 291 0 35178 0
Current children cumulated CPU time: 3570.55 s
Current children cumulated vsize: 174576 KiB
Current children cumulated memory: 111104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.13 4.14 4.09 4/253 1065242
/proc/meminfo: memFree=123412876/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=174576 memory=111104 CPUtime=3600.06 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 19010 0 0 0 359167 839 0 0 20 0 1 0 195571695 178765824 27776 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43644 27776 1443 291 0 35178 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 174576 KiB
Current children cumulated memory: 111104 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.67 s, system=8.39346 s

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

[startup+3611.9 s]
/proc/loadavg: 4.13 4.14 4.09 4/253 1065242
/proc/meminfo: memFree=123412876/131524600 swapFree=131071996/131071996
[pid=1063260] ppid=1063255 vsize=174576 memory=111104 CPUtime=3600.06 cores=0,2
/proc/1063260/stat : 1063260 (pb-oll-rs) R 1063255 1063260 1063202 0 -1 4194304 19010 0 0 0 359167 839 0 0 20 0 1 0 195571695 178765824 27776 134679101440 4194304 5384485 140721565010144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 36679680 140721565013013 140721565013090 140721565013090 140721565020107 0
/proc/1063260/statm: 43644 27776 1443 291 0 35178 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 174576 KiB
Current children cumulated memory: 111104 KiB

Child status: 0

Real time (s): 3611.9
CPU time (s): 3600.07
CPU user time (s): 3591.67
CPU system time (s): 8.39346
CPU usage (%): 99.6722
Max. virtual memory (cumulated for all children) (KiB): 174704
Max. memory (cumulated for all children) (KiB): 111104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.67
system time used= 8.39346
maximum resident set size= 111300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19025
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= 34
involuntary context switches= 24677


# summary of solver processes directly reported to runsolver:
#   pid: 1063260
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3591.67
#   total CPU system time (s): 8.39346

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68154 second user time and 19.4933 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-20 02:07:56
IDJOB=4454377
IDBENCH=146661
IDSOLVER=3082
FILE ID=nodeC025/4454377-1721434063
RUNJOBID= nodeC025-1721434076-1063212
SLURM_JOB_ID= 7545633
Free space on /tmp= 890032 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454377-1721434063/watcher-4454377-1721434063 -o /tmp/evaluation-result-4454377-1721434063/solver-4454377-1721434063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063212 --watchdog 3760  pb-oll-rs HOME/instance-4454377-1721434063.opb

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

MD5SUM BENCH= b7b6c18a5ccb5e8755a0006a4c4ad211
RANDOM SEED=2034756044

nodeC025.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		: 3594.001
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.72
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		: 3499.466
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	: 7007.09
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		: 3598.509
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.72
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		: 3221.278
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	: 7007.09
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		: 3599.214
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.72
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		: 3384.116
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	: 7007.09
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		: 3515.829
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.72
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		: 3551.888
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	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123493140 kB
MemAvailable:   129603744 kB
Buffers:          560328 kB
Cached:          6320340 kB
SwapCached:            0 kB
Active:          1138432 kB
Inactive:        6112776 kB
Active(anon):       1420 kB
Inactive(anon):   415028 kB
Active(file):    1137012 kB
Inactive(file):  5697748 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6120 kB
Writeback:             0 kB
AnonPages:        367984 kB
Mapped:           106696 kB
Shmem:             45912 kB
KReclaimable:     230980 kB
Slab:             360472 kB
SReclaimable:     230980 kB
SUnreclaim:       129492 kB
KernelStack:        3856 kB
PageTables:         9856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     789756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC025 at 2024-07-20 03:08:08