Trace number 4491388

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 2025-05-06? (TO) 3600.08 3610.2

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
MD5SUM0c97dedf99f03a2f12057daa91676c25
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark202
Best CPU time to get the best result obtained on this benchmark72000.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5570
Total number of constraints10896
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10895
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 9
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 375
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1908
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.40/0.44	c [STEP] solving
0.40/0.44	c #variables 5570 #constraints 10896
0.40/0.44	c SMALL=int, LARGE=long long
0.40/0.44	c bounds - >= 120 @ 0.400997
0.40/0.44	c stratification level: 0
43.36/43.51	c #Conflicts:       1000 | #Constraints:      11895
43.36/43.51	c #Conflicts:       2000 | #Constraints:      12895
43.36/43.51	c INPROCESSING
43.36/43.51	c #Conflicts:       3000 | #Constraints:      12918
43.36/43.51	c #Conflicts:       4000 | #Constraints:      13918
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:       5000 | #Constraints:      13327
43.36/43.51	c #Conflicts:       6000 | #Constraints:      14327
43.36/43.51	c INPROCESSING
43.36/43.51	c #Conflicts:       7000 | #Constraints:      13334
43.36/43.51	c #Conflicts:       8000 | #Constraints:      14334
43.36/43.51	c #Conflicts:       9000 | #Constraints:      15334
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      10000 | #Constraints:      14039
43.36/43.51	c #Conflicts:      11000 | #Constraints:      15039
43.36/43.51	c #Conflicts:      12000 | #Constraints:      16039
43.36/43.51	c INPROCESSING
43.36/43.51	c #Conflicts:      13000 | #Constraints:      14498
43.36/43.51	c #Conflicts:      14000 | #Constraints:      15498
43.36/43.51	c #Conflicts:      15000 | #Constraints:      16498
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      16000 | #Constraints:      14725
43.36/43.51	c #Conflicts:      17000 | #Constraints:      15725
43.36/43.51	c #Conflicts:      18000 | #Constraints:      16725
43.36/43.51	c INPROCESSING
43.36/43.51	c #Conflicts:      19000 | #Constraints:      14749
43.36/43.51	c #Conflicts:      20000 | #Constraints:      15749
43.36/43.51	c #Conflicts:      21000 | #Constraints:      16749
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      22000 | #Constraints:      14552
43.36/43.51	c #Conflicts:      23000 | #Constraints:      15552
43.36/43.51	c #Conflicts:      24000 | #Constraints:      16552
43.36/43.51	c #Conflicts:      25000 | #Constraints:      17552
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      26000 | #Constraints:      15157
43.36/43.51	c #Conflicts:      27000 | #Constraints:      16157
43.36/43.51	c #Conflicts:      28000 | #Constraints:      17157
43.36/43.51	c #Conflicts:      29000 | #Constraints:      18157
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      30000 | #Constraints:      15551
43.36/43.51	c #Conflicts:      31000 | #Constraints:      16551
43.36/43.51	c #Conflicts:      32000 | #Constraints:      17551
43.36/43.51	c #Conflicts:      33000 | #Constraints:      18551
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      34000 | #Constraints:      15755
43.36/43.51	c #Conflicts:      35000 | #Constraints:      16755
43.36/43.51	c #Conflicts:      36000 | #Constraints:      17755
43.36/43.51	c #Conflicts:      37000 | #Constraints:      18755
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      38000 | #Constraints:      15763
43.36/43.51	c #Conflicts:      39000 | #Constraints:      16763
43.36/43.51	c #Conflicts:      40000 | #Constraints:      17763
43.36/43.51	c #Conflicts:      41000 | #Constraints:      18763
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      42000 | #Constraints:      15560
43.36/43.51	c #Conflicts:      43000 | #Constraints:      16560
43.36/43.51	c #Conflicts:      44000 | #Constraints:      17560
43.36/43.51	c #Conflicts:      45000 | #Constraints:      18560
43.36/43.51	c #Conflicts:      46000 | #Constraints:      19560
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      47000 | #Constraints:      16163
43.36/43.51	c #Conflicts:      48000 | #Constraints:      17163
43.36/43.51	c #Conflicts:      49000 | #Constraints:      18163
43.36/43.51	c #Conflicts:      50000 | #Constraints:      19163
43.36/43.51	c #Conflicts:      51000 | #Constraints:      20163
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      52000 | #Constraints:      16567
43.36/43.51	c #Conflicts:      53000 | #Constraints:      17567
43.36/43.51	c #Conflicts:      54000 | #Constraints:      18567
43.36/43.51	c #Conflicts:      55000 | #Constraints:      19567
43.36/43.51	c #Conflicts:      56000 | #Constraints:      20567
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      57000 | #Constraints:      16762
43.36/43.51	c #Conflicts:      58000 | #Constraints:      17762
43.36/43.51	c #Conflicts:      59000 | #Constraints:      18762
43.36/43.51	c #Conflicts:      60000 | #Constraints:      19762
43.36/43.51	c #Conflicts:      61000 | #Constraints:      20762
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      62000 | #Constraints:      16764
43.36/43.51	c #Conflicts:      63000 | #Constraints:      17764
43.36/43.51	c #Conflicts:      64000 | #Constraints:      18764
43.36/43.51	c #Conflicts:      65000 | #Constraints:      19764
43.36/43.51	c #Conflicts:      66000 | #Constraints:      20764
43.36/43.51	c INPROCESSING
43.36/43.51	c GARBAGE COLLECT
43.36/43.51	c #Conflicts:      67000 | #Constraints:      16558
43.36/43.51	c #Conflicts:      68000 | #Constraints:      17558
43.36/43.51	c #Conflicts:      69000 | #Constraints:      18558
112.78/113.16	c #Conflicts:      70000 | #Constraints:      19558
112.78/113.16	c #Conflicts:      71000 | #Constraints:      20558
112.78/113.16	c #Conflicts:      72000 | #Constraints:      21558
112.78/113.16	c INPROCESSING
112.78/113.16	c GARBAGE COLLECT
112.78/113.16	c #Conflicts:      73000 | #Constraints:      17161
112.78/113.16	c #Conflicts:      74000 | #Constraints:      18161
112.78/113.16	c #Conflicts:      75000 | #Constraints:      19161
112.78/113.16	c #Conflicts:      76000 | #Constraints:      20161
112.78/113.16	c #Conflicts:      77000 | #Constraints:      21161
112.78/113.16	c #Conflicts:      78000 | #Constraints:      22161
112.78/113.16	c INPROCESSING
112.78/113.16	c GARBAGE COLLECT
112.78/113.16	c #Conflicts:      79000 | #Constraints:      17566
112.78/113.16	c #Conflicts:      80000 | #Constraints:      18566
112.78/113.16	c #Conflicts:      81000 | #Constraints:      19566
112.78/113.16	c #Conflicts:      82000 | #Constraints:      20566
112.78/113.16	c #Conflicts:      83000 | #Constraints:      21566
112.78/113.16	c #Conflicts:      84000 | #Constraints:      22566
112.78/113.16	c INPROCESSING
112.78/113.16	c GARBAGE COLLECT
112.78/113.16	c #Conflicts:      85000 | #Constraints:      17763
112.78/113.16	c #Conflicts:      86000 | #Constraints:      18763
112.78/113.16	c #Conflicts:      87000 | #Constraints:      19763
112.78/113.16	c #Conflicts:      88000 | #Constraints:      20763
112.78/113.16	c #Conflicts:      89000 | #Constraints:      21763
112.78/113.16	c #Conflicts:      90000 | #Constraints:      22763
112.78/113.16	c INPROCESSING
112.78/113.16	c GARBAGE COLLECT
112.78/113.16	c #Conflicts:      91000 | #Constraints:      17768
112.78/113.16	c #Conflicts:      92000 | #Constraints:      18768
112.78/113.16	c #Conflicts:      93000 | #Constraints:      19768
112.78/113.16	c #Conflicts:      94000 | #Constraints:      20768
112.78/113.16	c #Conflicts:      95000 | #Constraints:      21768
112.78/113.16	c #Conflicts:      96000 | #Constraints:      22768
112.78/113.16	c INPROCESSING
112.78/113.16	c GARBAGE COLLECT
112.78/113.16	c #Conflicts:      97000 | #Constraints:      17556
112.78/113.16	c #Conflicts:      98000 | #Constraints:      18556
112.78/113.16	c #Conflicts:      99000 | #Constraints:      19556
112.78/113.16	c #Conflicts:     100000 | #Constraints:      20556
112.78/113.16	c #Conflicts:     101000 | #Constraints:      21556
112.78/113.16	c #Conflicts:     102000 | #Constraints:      22556
112.78/113.16	c #Conflicts:     103000 | #Constraints:      23556
112.78/113.16	c INPROCESSING
112.78/113.16	c GARBAGE COLLECT
112.78/113.16	c #Conflicts:     104000 | #Constraints:      18152
112.78/113.16	c #Conflicts:     105000 | #Constraints:      19152
112.78/113.16	c #Conflicts:     106000 | #Constraints:      20152
112.78/113.16	c #Conflicts:     107000 | #Constraints:      21152
112.78/113.16	c #Conflicts:     108000 | #Constraints:      22152
112.78/113.16	c #Conflicts:     109000 | #Constraints:      23152
112.78/113.16	c #Conflicts:     110000 | #Constraints:      24152
112.78/113.16	c INPROCESSING
112.78/113.16	c GARBAGE COLLECT
112.78/113.16	c #Conflicts:     111000 | #Constraints:      18549
112.78/113.16	c #Conflicts:     112000 | #Constraints:      19549
112.78/113.16	c #Conflicts:     113000 | #Constraints:      20549
112.78/113.16	c #Conflicts:     114000 | #Constraints:      21549
112.78/113.16	c #Conflicts:     115000 | #Constraints:      22549
112.78/113.16	c #Conflicts:     116000 | #Constraints:      23549
112.78/113.16	c #Conflicts:     117000 | #Constraints:      24549
112.78/113.16	c INPROCESSING
112.78/113.16	c GARBAGE COLLECT
112.78/113.16	c #Conflicts:     118000 | #Constraints:      18749
112.78/113.16	c #Conflicts:     119000 | #Constraints:      19749
112.78/113.16	c #Conflicts:     120000 | #Constraints:      20749
112.78/113.16	c #Conflicts:     121000 | #Constraints:      21749
112.78/113.16	c #Conflicts:     122000 | #Constraints:      22749
112.78/113.16	c #Conflicts:     123000 | #Constraints:      23749
112.78/113.16	c #Conflicts:     124000 | #Constraints:      24749
112.78/113.16	c INPROCESSING
112.78/113.16	c GARBAGE COLLECT
112.78/113.16	c #Conflicts:     125000 | #Constraints:      18760
112.78/113.16	c #Conflicts:     126000 | #Constraints:      19760
112.78/113.16	c #Conflicts:     127000 | #Constraints:      20760
112.78/113.16	c #Conflicts:     128000 | #Constraints:      21760
112.78/113.16	c #Conflicts:     129000 | #Constraints:      22760
112.78/113.16	c #Conflicts:     130000 | #Constraints:      23760
112.78/113.16	c #Conflicts:     131000 | #Constraints:      24760
112.78/113.16	c INPROCESSING
112.78/113.16	c GARBAGE COLLECT
112.78/113.16	c #Conflicts:     132000 | #Constraints:      18570
112.78/113.16	c #Conflicts:     133000 | #Constraints:      19570
112.78/113.16	c #Conflicts:     134000 | #Constraints:      20570
112.78/113.16	c #Conflicts:     135000 | #Constraints:      21570
112.78/113.16	c #Conflicts:     136000 | #Constraints:      22570
112.78/113.16	c #Conflicts:     137000 | #Constraints:      23570
112.78/113.16	c #Conflicts:     138000 | #Constraints:      24570
112.78/113.16	c #Conflicts:     139000 | #Constraints:      25570
112.78/113.16	c INPROCESSING
112.78/113.16	c GARBAGE COLLECT
112.78/113.16	c #Conflicts:     140000 | #Constraints:      19192
112.78/113.16	c #Conflicts:     141000 | #Constraints:      20192
202.10/202.77	c #Conflicts:     142000 | #Constraints:      21192
202.10/202.77	c #Conflicts:     143000 | #Constraints:      22192
202.10/202.77	c #Conflicts:     144000 | #Constraints:      23192
202.10/202.77	c #Conflicts:     145000 | #Constraints:      24192
202.10/202.77	c #Conflicts:     146000 | #Constraints:      25192
202.10/202.77	c #Conflicts:     147000 | #Constraints:      26192
202.10/202.77	c INPROCESSING
202.10/202.77	c GARBAGE COLLECT
202.10/202.77	c #Conflicts:     148000 | #Constraints:      19587
202.10/202.77	c #Conflicts:     149000 | #Constraints:      20587
202.10/202.77	c #Conflicts:     150000 | #Constraints:      21587
202.10/202.77	c #Conflicts:     151000 | #Constraints:      22587
202.10/202.77	c #Conflicts:     152000 | #Constraints:      23587
202.10/202.77	c #Conflicts:     153000 | #Constraints:      24587
202.10/202.77	c #Conflicts:     154000 | #Constraints:      25587
202.10/202.77	c #Conflicts:     155000 | #Constraints:      26587
202.10/202.77	c INPROCESSING
202.10/202.77	c GARBAGE COLLECT
202.10/202.77	c #Conflicts:     156000 | #Constraints:      19772
202.10/202.77	c #Conflicts:     157000 | #Constraints:      20772
202.10/202.77	c #Conflicts:     158000 | #Constraints:      21772
202.10/202.77	c #Conflicts:     159000 | #Constraints:      22772
202.10/202.77	c #Conflicts:     160000 | #Constraints:      23772
202.10/202.77	c #Conflicts:     161000 | #Constraints:      24772
202.10/202.77	c #Conflicts:     162000 | #Constraints:      25772
202.10/202.77	c #Conflicts:     163000 | #Constraints:      26772
202.10/202.77	c INPROCESSING
202.10/202.77	c GARBAGE COLLECT
202.10/202.77	c #Conflicts:     164000 | #Constraints:      19767
202.10/202.77	c #Conflicts:     165000 | #Constraints:      20767
202.10/202.77	c #Conflicts:     166000 | #Constraints:      21767
202.10/202.77	c #Conflicts:     167000 | #Constraints:      22767
202.10/202.77	c #Conflicts:     168000 | #Constraints:      23767
202.10/202.77	c #Conflicts:     169000 | #Constraints:      24767
202.10/202.77	c #Conflicts:     170000 | #Constraints:      25767
202.10/202.77	c #Conflicts:     171000 | #Constraints:      26767
202.10/202.77	c INPROCESSING
202.10/202.77	c GARBAGE COLLECT
202.10/202.77	c #Conflicts:     172000 | #Constraints:      19576
202.10/202.77	c #Conflicts:     173000 | #Constraints:      20576
202.10/202.77	c #Conflicts:     174000 | #Constraints:      21576
202.10/202.77	c #Conflicts:     175000 | #Constraints:      22576
202.10/202.77	c #Conflicts:     176000 | #Constraints:      23576
202.10/202.77	c #Conflicts:     177000 | #Constraints:      24576
202.10/202.77	c #Conflicts:     178000 | #Constraints:      25576
202.10/202.77	c #Conflicts:     179000 | #Constraints:      26576
202.10/202.77	c #Conflicts:     180000 | #Constraints:      27576
202.10/202.77	c INPROCESSING
202.10/202.77	c GARBAGE COLLECT
202.10/202.77	c #Conflicts:     181000 | #Constraints:      20170
202.10/202.77	c #Conflicts:     182000 | #Constraints:      21170
202.10/202.77	c #Conflicts:     183000 | #Constraints:      22170
202.10/202.77	c #Conflicts:     184000 | #Constraints:      23170
202.10/202.77	c #Conflicts:     185000 | #Constraints:      24170
202.10/202.77	c #Conflicts:     186000 | #Constraints:      25170
202.10/202.77	c #Conflicts:     187000 | #Constraints:      26170
202.10/202.77	c #Conflicts:     188000 | #Constraints:      27170
202.10/202.77	c #Conflicts:     189000 | #Constraints:      28170
202.10/202.77	c INPROCESSING
202.10/202.77	c GARBAGE COLLECT
202.10/202.77	c #Conflicts:     190000 | #Constraints:      20574
202.10/202.77	c #Conflicts:     191000 | #Constraints:      21574
202.10/202.77	c #Conflicts:     192000 | #Constraints:      22574
202.10/202.77	c #Conflicts:     193000 | #Constraints:      23574
202.10/202.77	c #Conflicts:     194000 | #Constraints:      24574
202.10/202.77	c #Conflicts:     195000 | #Constraints:      25574
202.10/202.77	c #Conflicts:     196000 | #Constraints:      26574
202.10/202.77	c #Conflicts:     197000 | #Constraints:      27574
202.10/202.77	c #Conflicts:     198000 | #Constraints:      28574
202.10/202.77	c INPROCESSING
202.10/202.77	c GARBAGE COLLECT
202.10/202.77	c #Conflicts:     199000 | #Constraints:      20779
202.10/202.77	c #Conflicts:     200000 | #Constraints:      21779
202.10/202.77	c #Conflicts:     201000 | #Constraints:      22779
202.10/202.77	c #Conflicts:     202000 | #Constraints:      23779
202.10/202.77	c #Conflicts:     203000 | #Constraints:      24779
202.10/202.77	c #Conflicts:     204000 | #Constraints:      25779
202.10/202.77	c #Conflicts:     205000 | #Constraints:      26779
202.10/202.77	c #Conflicts:     206000 | #Constraints:      27779
202.10/202.77	c #Conflicts:     207000 | #Constraints:      28779
202.10/202.77	c INPROCESSING
202.10/202.77	c GARBAGE COLLECT
202.10/202.77	c #Conflicts:     208000 | #Constraints:      20785
202.10/202.77	c #Conflicts:     209000 | #Constraints:      21785
202.10/202.77	c #Conflicts:     210000 | #Constraints:      22785
202.10/202.77	c #Conflicts:     211000 | #Constraints:      23785
202.10/202.77	c #Conflicts:     212000 | #Constraints:      24785
202.10/202.77	c #Conflicts:     213000 | #Constraints:      25785
202.10/202.77	c #Conflicts:     214000 | #Constraints:      26785
202.10/202.77	c #Conflicts:     215000 | #Constraints:      27785
304.41/305.38	c #Conflicts:     216000 | #Constraints:      28785
304.41/305.38	c INPROCESSING
304.41/305.38	c GARBAGE COLLECT
304.41/305.38	c #Conflicts:     217000 | #Constraints:      20586
304.41/305.38	c #Conflicts:     218000 | #Constraints:      21586
304.41/305.38	c #Conflicts:     219000 | #Constraints:      22586
304.41/305.38	c #Conflicts:     220000 | #Constraints:      23586
304.41/305.38	c #Conflicts:     221000 | #Constraints:      24586
304.41/305.38	c #Conflicts:     222000 | #Constraints:      25586
304.41/305.38	c #Conflicts:     223000 | #Constraints:      26586
304.41/305.38	c #Conflicts:     224000 | #Constraints:      27586
304.41/305.38	c #Conflicts:     225000 | #Constraints:      28586
304.41/305.38	c #Conflicts:     226000 | #Constraints:      29586
304.41/305.38	c INPROCESSING
304.41/305.38	c GARBAGE COLLECT
304.41/305.38	c #Conflicts:     227000 | #Constraints:      21187
304.41/305.38	c #Conflicts:     228000 | #Constraints:      22187
304.41/305.38	c #Conflicts:     229000 | #Constraints:      23187
304.41/305.38	c #Conflicts:     230000 | #Constraints:      24187
304.41/305.38	c #Conflicts:     231000 | #Constraints:      25187
304.41/305.38	c #Conflicts:     232000 | #Constraints:      26187
304.41/305.38	c #Conflicts:     233000 | #Constraints:      27187
304.41/305.38	c #Conflicts:     234000 | #Constraints:      28187
304.41/305.38	c #Conflicts:     235000 | #Constraints:      29187
304.41/305.38	c #Conflicts:     236000 | #Constraints:      30187
304.41/305.38	c INPROCESSING
304.41/305.38	c GARBAGE COLLECT
304.41/305.38	c #Conflicts:     237000 | #Constraints:      21591
304.41/305.38	c #Conflicts:     238000 | #Constraints:      22591
304.41/305.38	c #Conflicts:     239000 | #Constraints:      23591
304.41/305.38	c #Conflicts:     240000 | #Constraints:      24591
304.41/305.38	c #Conflicts:     241000 | #Constraints:      25591
304.41/305.38	c #Conflicts:     242000 | #Constraints:      26591
304.41/305.38	c #Conflicts:     243000 | #Constraints:      27591
304.41/305.38	c #Conflicts:     244000 | #Constraints:      28591
304.41/305.38	c #Conflicts:     245000 | #Constraints:      29591
304.41/305.38	c #Conflicts:     246000 | #Constraints:      30591
304.41/305.38	c INPROCESSING
304.41/305.38	c GARBAGE COLLECT
304.41/305.38	c #Conflicts:     247000 | #Constraints:      21785
304.41/305.38	c #Conflicts:     248000 | #Constraints:      22785
304.41/305.38	c #Conflicts:     249000 | #Constraints:      23785
304.41/305.38	c #Conflicts:     250000 | #Constraints:      24785
304.41/305.38	c #Conflicts:     251000 | #Constraints:      25785
304.41/305.38	c #Conflicts:     252000 | #Constraints:      26785
304.41/305.38	c #Conflicts:     253000 | #Constraints:      27785
304.41/305.38	c #Conflicts:     254000 | #Constraints:      28785
304.41/305.38	c #Conflicts:     255000 | #Constraints:      29785
304.41/305.38	c #Conflicts:     256000 | #Constraints:      30785
304.41/305.38	c INPROCESSING
304.41/305.38	c GARBAGE COLLECT
304.41/305.38	c #Conflicts:     257000 | #Constraints:      21786
304.41/305.38	c #Conflicts:     258000 | #Constraints:      22786
304.41/305.38	c #Conflicts:     259000 | #Constraints:      23786
304.41/305.38	c #Conflicts:     260000 | #Constraints:      24786
304.41/305.38	c #Conflicts:     261000 | #Constraints:      25786
304.41/305.38	c #Conflicts:     262000 | #Constraints:      26786
304.41/305.38	c #Conflicts:     263000 | #Constraints:      27786
304.41/305.38	c #Conflicts:     264000 | #Constraints:      28786
304.41/305.38	c #Conflicts:     265000 | #Constraints:      29786
304.41/305.38	c #Conflicts:     266000 | #Constraints:      30786
304.41/305.38	c INPROCESSING
304.41/305.38	c GARBAGE COLLECT
304.41/305.38	c #Conflicts:     267000 | #Constraints:      21591
304.41/305.38	c #Conflicts:     268000 | #Constraints:      22591
304.41/305.38	c #Conflicts:     269000 | #Constraints:      23591
304.41/305.38	c #Conflicts:     270000 | #Constraints:      24591
304.41/305.38	c #Conflicts:     271000 | #Constraints:      25591
304.41/305.38	c #Conflicts:     272000 | #Constraints:      26591
304.41/305.38	c #Conflicts:     273000 | #Constraints:      27591
304.41/305.38	c #Conflicts:     274000 | #Constraints:      28591
304.41/305.38	c #Conflicts:     275000 | #Constraints:      29591
304.41/305.38	c #Conflicts:     276000 | #Constraints:      30591
304.41/305.38	c #Conflicts:     277000 | #Constraints:      31591
304.41/305.38	c INPROCESSING
304.41/305.38	c GARBAGE COLLECT
304.41/305.38	c #Conflicts:     278000 | #Constraints:      22176
304.41/305.38	c #Conflicts:     279000 | #Constraints:      23176
304.41/305.38	c #Conflicts:     280000 | #Constraints:      24176
304.41/305.38	c #Conflicts:     281000 | #Constraints:      25176
304.41/305.38	c #Conflicts:     282000 | #Constraints:      26176
304.41/305.38	c #Conflicts:     283000 | #Constraints:      27176
304.41/305.38	c #Conflicts:     284000 | #Constraints:      28176
304.41/305.38	c #Conflicts:     285000 | #Constraints:      29176
304.41/305.38	c #Conflicts:     286000 | #Constraints:      30176
304.41/305.38	c #Conflicts:     287000 | #Constraints:      31176
304.41/305.38	c #Conflicts:     288000 | #Constraints:      32176
304.41/305.38	c INPROCESSING
304.41/305.38	c GARBAGE COLLECT
421.20/422.44	c #Conflicts:     289000 | #Constraints:      22574
421.20/422.44	c #Conflicts:     290000 | #Constraints:      23574
421.20/422.44	c #Conflicts:     291000 | #Constraints:      24574
421.20/422.44	c #Conflicts:     292000 | #Constraints:      25574
421.20/422.44	c #Conflicts:     293000 | #Constraints:      26574
421.20/422.44	c #Conflicts:     294000 | #Constraints:      27574
421.20/422.44	c #Conflicts:     295000 | #Constraints:      28574
421.20/422.44	c #Conflicts:     296000 | #Constraints:      29574
421.20/422.44	c #Conflicts:     297000 | #Constraints:      30574
421.20/422.44	c #Conflicts:     298000 | #Constraints:      31574
421.20/422.44	c #Conflicts:     299000 | #Constraints:      32574
421.20/422.44	c INPROCESSING
421.20/422.44	c GARBAGE COLLECT
421.20/422.44	c #Conflicts:     300000 | #Constraints:      22786
421.20/422.44	c #Conflicts:     301000 | #Constraints:      23786
421.20/422.44	c #Conflicts:     302000 | #Constraints:      24786
421.20/422.44	c #Conflicts:     303000 | #Constraints:      25786
421.20/422.44	c #Conflicts:     304000 | #Constraints:      26786
421.20/422.44	c #Conflicts:     305000 | #Constraints:      27786
421.20/422.44	c #Conflicts:     306000 | #Constraints:      28786
421.20/422.44	c #Conflicts:     307000 | #Constraints:      29786
421.20/422.44	c #Conflicts:     308000 | #Constraints:      30786
421.20/422.44	c #Conflicts:     309000 | #Constraints:      31786
421.20/422.44	c #Conflicts:     310000 | #Constraints:      32786
421.20/422.44	c INPROCESSING
421.20/422.44	c GARBAGE COLLECT
421.20/422.44	c #Conflicts:     311000 | #Constraints:      22782
421.20/422.44	c #Conflicts:     312000 | #Constraints:      23782
421.20/422.44	c #Conflicts:     313000 | #Constraints:      24782
421.20/422.44	c #Conflicts:     314000 | #Constraints:      25782
421.20/422.44	c #Conflicts:     315000 | #Constraints:      26782
421.20/422.44	c #Conflicts:     316000 | #Constraints:      27782
421.20/422.44	c #Conflicts:     317000 | #Constraints:      28782
421.20/422.44	c #Conflicts:     318000 | #Constraints:      29782
421.20/422.44	c #Conflicts:     319000 | #Constraints:      30782
421.20/422.44	c #Conflicts:     320000 | #Constraints:      31782
421.20/422.44	c #Conflicts:     321000 | #Constraints:      32782
421.20/422.44	c INPROCESSING
421.20/422.44	c GARBAGE COLLECT
421.20/422.44	c #Conflicts:     322000 | #Constraints:      22571
421.20/422.44	c #Conflicts:     323000 | #Constraints:      23571
421.20/422.44	c #Conflicts:     324000 | #Constraints:      24571
421.20/422.44	c #Conflicts:     325000 | #Constraints:      25571
421.20/422.44	c #Conflicts:     326000 | #Constraints:      26571
421.20/422.44	c #Conflicts:     327000 | #Constraints:      27571
421.20/422.44	c #Conflicts:     328000 | #Constraints:      28571
421.20/422.44	c #Conflicts:     329000 | #Constraints:      29571
421.20/422.44	c #Conflicts:     330000 | #Constraints:      30571
421.20/422.44	c #Conflicts:     331000 | #Constraints:      31571
421.20/422.44	c #Conflicts:     332000 | #Constraints:      32571
421.20/422.44	c #Conflicts:     333000 | #Constraints:      33571
421.20/422.44	c INPROCESSING
421.20/422.44	c GARBAGE COLLECT
421.20/422.44	c #Conflicts:     334000 | #Constraints:      23184
421.20/422.44	c #Conflicts:     335000 | #Constraints:      24184
421.20/422.44	c #Conflicts:     336000 | #Constraints:      25184
421.20/422.44	c #Conflicts:     337000 | #Constraints:      26184
421.20/422.44	c #Conflicts:     338000 | #Constraints:      27184
421.20/422.44	c #Conflicts:     339000 | #Constraints:      28184
421.20/422.44	c #Conflicts:     340000 | #Constraints:      29184
421.20/422.44	c #Conflicts:     341000 | #Constraints:      30184
421.20/422.44	c #Conflicts:     342000 | #Constraints:      31184
421.20/422.44	c #Conflicts:     343000 | #Constraints:      32184
421.20/422.44	c #Conflicts:     344000 | #Constraints:      33184
421.20/422.44	c #Conflicts:     345000 | #Constraints:      34184
421.20/422.44	c INPROCESSING
421.20/422.44	c GARBAGE COLLECT
421.20/422.44	c #Conflicts:     346000 | #Constraints:      23584
421.20/422.44	c #Conflicts:     347000 | #Constraints:      24584
421.20/422.44	c #Conflicts:     348000 | #Constraints:      25584
421.20/422.44	c #Conflicts:     349000 | #Constraints:      26584
421.20/422.44	c #Conflicts:     350000 | #Constraints:      27584
421.20/422.44	c #Conflicts:     351000 | #Constraints:      28584
421.20/422.44	c #Conflicts:     352000 | #Constraints:      29584
421.20/422.44	c #Conflicts:     353000 | #Constraints:      30584
421.20/422.44	c #Conflicts:     354000 | #Constraints:      31584
421.20/422.44	c #Conflicts:     355000 | #Constraints:      32584
421.20/422.44	c #Conflicts:     356000 | #Constraints:      33584
421.20/422.44	c #Conflicts:     357000 | #Constraints:      34584
421.20/422.44	c INPROCESSING
421.20/422.44	c GARBAGE COLLECT
421.20/422.44	c #Conflicts:     358000 | #Constraints:      23781
421.20/422.44	c #Conflicts:     359000 | #Constraints:      24781
421.20/422.44	c #Conflicts:     360000 | #Constraints:      25781
421.20/422.44	c #Conflicts:     361000 | #Constraints:      26781
421.20/422.44	c #Conflicts:     362000 | #Constraints:      27781
421.20/422.44	c #Conflicts:     363000 | #Constraints:      28781
698.13/700.15	c #Conflicts:     364000 | #Constraints:      29781
698.13/700.15	c #Conflicts:     365000 | #Constraints:      30781
698.13/700.15	c #Conflicts:     366000 | #Constraints:      31781
698.13/700.15	c #Conflicts:     367000 | #Constraints:      32781
698.13/700.15	c #Conflicts:     368000 | #Constraints:      33781
698.13/700.15	c #Conflicts:     369000 | #Constraints:      34781
698.13/700.15	c INPROCESSING
698.13/700.15	c GARBAGE COLLECT
698.13/700.15	c #Conflicts:     370000 | #Constraints:      23778
698.13/700.15	c #Conflicts:     371000 | #Constraints:      24778
698.13/700.15	c #Conflicts:     372000 | #Constraints:      25778
698.13/700.15	c #Conflicts:     373000 | #Constraints:      26778
698.13/700.15	c #Conflicts:     374000 | #Constraints:      27778
698.13/700.15	c #Conflicts:     375000 | #Constraints:      28778
698.13/700.15	c #Conflicts:     376000 | #Constraints:      29778
698.13/700.15	c #Conflicts:     377000 | #Constraints:      30778
698.13/700.15	c #Conflicts:     378000 | #Constraints:      31778
698.13/700.15	c #Conflicts:     379000 | #Constraints:      32778
698.13/700.15	c #Conflicts:     380000 | #Constraints:      33778
698.13/700.15	c #Conflicts:     381000 | #Constraints:      34778
698.13/700.15	c #Conflicts:     382000 | #Constraints:      35778
698.13/700.15	c #Conflicts:     383000 | #Constraints:      36778
698.13/700.15	c #Conflicts:     384000 | #Constraints:      37778
698.13/700.15	c #Conflicts:     385000 | #Constraints:      38778
698.13/700.15	c #Conflicts:     386000 | #Constraints:      39778
698.13/700.15	c #Conflicts:     387000 | #Constraints:      40778
698.13/700.15	c #Conflicts:     388000 | #Constraints:      41778
698.13/700.15	c #Conflicts:     389000 | #Constraints:      42778
698.13/700.15	c #Conflicts:     390000 | #Constraints:      43778
698.13/700.15	c #Conflicts:     391000 | #Constraints:      44778
698.13/700.15	c #Conflicts:     392000 | #Constraints:      45778
698.13/700.15	c #Conflicts:     393000 | #Constraints:      46778
698.13/700.15	c #Conflicts:     394000 | #Constraints:      47778
698.13/700.15	c #Conflicts:     395000 | #Constraints:      48778
698.13/700.15	c #Conflicts:     396000 | #Constraints:      49778
698.13/700.15	c #Conflicts:     397000 | #Constraints:      50778
698.13/700.15	c #Conflicts:     398000 | #Constraints:      51778
698.13/700.15	c #Conflicts:     399000 | #Constraints:      52778
698.13/700.15	c #Conflicts:     400000 | #Constraints:      53778
698.13/700.15	c #Conflicts:     401000 | #Constraints:      54778
698.13/700.15	c #Conflicts:     402000 | #Constraints:      55778
698.13/700.15	c #Conflicts:     403000 | #Constraints:      56778
698.13/700.15	c #Conflicts:     404000 | #Constraints:      57778
698.13/700.15	c #Conflicts:     405000 | #Constraints:      58778
698.13/700.15	c #Conflicts:     406000 | #Constraints:      59778
698.13/700.15	c #Conflicts:     407000 | #Constraints:      60778
698.13/700.15	c #Conflicts:     408000 | #Constraints:      61778
698.13/700.15	c #Conflicts:     409000 | #Constraints:      62778
698.13/700.15	c #Conflicts:     410000 | #Constraints:      63778
698.13/700.15	c #Conflicts:     411000 | #Constraints:      64778
698.13/700.15	c #Conflicts:     412000 | #Constraints:      65778
698.13/700.15	c #Conflicts:     413000 | #Constraints:      66778
698.13/700.15	c #Conflicts:     414000 | #Constraints:      67778
698.13/700.15	c #Conflicts:     415000 | #Constraints:      68778
698.13/700.15	c #Conflicts:     416000 | #Constraints:      69778
698.13/700.15	c #Conflicts:     417000 | #Constraints:      70778
698.13/700.15	c #Conflicts:     418000 | #Constraints:      71778
698.13/700.15	c #Conflicts:     419000 | #Constraints:      72778
698.13/700.15	c #Conflicts:     420000 | #Constraints:      73778
698.13/700.15	c #Conflicts:     421000 | #Constraints:      74778
698.13/700.15	c #Conflicts:     422000 | #Constraints:      75778
698.13/700.15	c #Conflicts:     423000 | #Constraints:      76778
698.13/700.15	c #Conflicts:     424000 | #Constraints:      77778
698.13/700.15	c #Conflicts:     425000 | #Constraints:      78778
698.13/700.15	c #Conflicts:     426000 | #Constraints:      79778
698.13/700.15	c #Conflicts:     427000 | #Constraints:      80778
698.13/700.15	c #Conflicts:     428000 | #Constraints:      81778
698.13/700.15	c #Conflicts:     429000 | #Constraints:      82778
698.13/700.15	c INPROCESSING
698.13/700.15	c GARBAGE COLLECT
698.13/700.15	c #Conflicts:     430000 | #Constraints:      47784
698.13/700.15	c #Conflicts:     431000 | #Constraints:      48784
698.13/700.15	c #Conflicts:     432000 | #Constraints:      49784
698.13/700.15	c #Conflicts:     433000 | #Constraints:      50784
698.13/700.15	c #Conflicts:     434000 | #Constraints:      51784
698.13/700.15	c #Conflicts:     435000 | #Constraints:      52784
698.13/700.15	c #Conflicts:     436000 | #Constraints:      53784
698.13/700.15	c #Conflicts:     437000 | #Constraints:      54784
698.13/700.15	c #Conflicts:     438000 | #Constraints:      55784
698.13/700.15	c #Conflicts:     439000 | #Constraints:      56784
698.13/700.15	c #Conflicts:     440000 | #Constraints:      57784
698.13/700.15	c #Conflicts:     441000 | #Constraints:      58784
921.10/923.74	c #Conflicts:     442000 | #Constraints:      59784
921.10/923.74	c INPROCESSING
921.10/923.74	c GARBAGE COLLECT
921.10/923.74	c #Conflicts:     443000 | #Constraints:      36055
921.10/923.74	c #Conflicts:     444000 | #Constraints:      37055
921.10/923.74	c #Conflicts:     445000 | #Constraints:      38055
921.10/923.74	c #Conflicts:     446000 | #Constraints:      39055
921.10/923.74	c #Conflicts:     447000 | #Constraints:      40055
921.10/923.74	c #Conflicts:     448000 | #Constraints:      41055
921.10/923.74	c #Conflicts:     449000 | #Constraints:      42055
921.10/923.74	c #Conflicts:     450000 | #Constraints:      43055
921.10/923.74	c #Conflicts:     451000 | #Constraints:      44055
921.10/923.74	c #Conflicts:     452000 | #Constraints:      45055
921.10/923.74	c #Conflicts:     453000 | #Constraints:      46055
921.10/923.74	c #Conflicts:     454000 | #Constraints:      47055
921.10/923.74	c #Conflicts:     455000 | #Constraints:      48055
921.10/923.74	c #Conflicts:     456000 | #Constraints:      49055
921.10/923.74	c INPROCESSING
921.10/923.74	c GARBAGE COLLECT
921.10/923.74	c #Conflicts:     457000 | #Constraints:      30777
921.10/923.74	c #Conflicts:     458000 | #Constraints:      31777
921.10/923.74	c #Conflicts:     459000 | #Constraints:      32777
921.10/923.74	c #Conflicts:     460000 | #Constraints:      33777
921.10/923.74	c #Conflicts:     461000 | #Constraints:      34777
921.10/923.74	c #Conflicts:     462000 | #Constraints:      35777
921.10/923.74	c #Conflicts:     463000 | #Constraints:      36777
921.10/923.74	c #Conflicts:     464000 | #Constraints:      37777
921.10/923.74	c #Conflicts:     465000 | #Constraints:      38777
921.10/923.74	c #Conflicts:     466000 | #Constraints:      39777
921.10/923.74	c #Conflicts:     467000 | #Constraints:      40777
921.10/923.74	c #Conflicts:     468000 | #Constraints:      41777
921.10/923.74	c #Conflicts:     469000 | #Constraints:      42777
921.10/923.74	c #Conflicts:     470000 | #Constraints:      43777
921.10/923.74	c INPROCESSING
921.10/923.74	c GARBAGE COLLECT
921.10/923.74	c #Conflicts:     471000 | #Constraints:      28190
921.10/923.74	c #Conflicts:     472000 | #Constraints:      29190
921.10/923.74	c #Conflicts:     473000 | #Constraints:      30190
921.10/923.74	c #Conflicts:     474000 | #Constraints:      31190
921.10/923.74	c #Conflicts:     475000 | #Constraints:      32190
921.10/923.74	c #Conflicts:     476000 | #Constraints:      33190
921.10/923.74	c #Conflicts:     477000 | #Constraints:      34190
921.10/923.74	c #Conflicts:     478000 | #Constraints:      35190
921.10/923.74	c #Conflicts:     479000 | #Constraints:      36190
921.10/923.74	c #Conflicts:     480000 | #Constraints:      37190
921.10/923.74	c #Conflicts:     481000 | #Constraints:      38190
921.10/923.74	c #Conflicts:     482000 | #Constraints:      39190
921.10/923.74	c #Conflicts:     483000 | #Constraints:      40190
921.10/923.74	c #Conflicts:     484000 | #Constraints:      41190
921.10/923.74	c INPROCESSING
921.10/923.74	c GARBAGE COLLECT
921.10/923.74	c #Conflicts:     485000 | #Constraints:      26852
921.10/923.74	c #Conflicts:     486000 | #Constraints:      27852
921.10/923.74	c #Conflicts:     487000 | #Constraints:      28852
921.10/923.74	c #Conflicts:     488000 | #Constraints:      29852
921.10/923.74	c #Conflicts:     489000 | #Constraints:      30852
921.10/923.74	c #Conflicts:     490000 | #Constraints:      31852
921.10/923.74	c #Conflicts:     491000 | #Constraints:      32852
921.10/923.74	c #Conflicts:     492000 | #Constraints:      33852
921.10/923.74	c #Conflicts:     493000 | #Constraints:      34852
921.10/923.74	c #Conflicts:     494000 | #Constraints:      35852
921.10/923.74	c #Conflicts:     495000 | #Constraints:      36852
921.10/923.74	c #Conflicts:     496000 | #Constraints:      37852
921.10/923.74	c #Conflicts:     497000 | #Constraints:      38852
921.10/923.74	c #Conflicts:     498000 | #Constraints:      39852
921.10/923.74	c #Conflicts:     499000 | #Constraints:      40852
921.10/923.74	c #Conflicts:     500000 | #Constraints:      41852
921.10/923.74	c #Conflicts:     501000 | #Constraints:      42852
921.10/923.74	c #Conflicts:     502000 | #Constraints:      43852
921.10/923.74	c #Conflicts:     503000 | #Constraints:      44852
921.10/923.74	c #Conflicts:     504000 | #Constraints:      45852
921.10/923.74	c #Conflicts:     505000 | #Constraints:      46852
921.10/923.74	c #Conflicts:     506000 | #Constraints:      47852
921.10/923.74	c #Conflicts:     507000 | #Constraints:      48852
921.10/923.74	c #Conflicts:     508000 | #Constraints:      49852
921.10/923.74	c #Conflicts:     509000 | #Constraints:      50852
921.10/923.74	c #Conflicts:     510000 | #Constraints:      51852
921.10/923.74	c #Conflicts:     511000 | #Constraints:      52852
921.10/923.74	c #Conflicts:     512000 | #Constraints:      53852
921.10/923.74	c #Conflicts:     513000 | #Constraints:      54852
921.10/923.74	c #Conflicts:     514000 | #Constraints:      55852
921.10/923.74	c #Conflicts:     515000 | #Constraints:      56852
921.10/923.74	c #Conflicts:     516000 | #Constraints:      57852
921.10/923.74	c #Conflicts:     517000 | #Constraints:      58852
1322.76/1326.75	c #Conflicts:     518000 | #Constraints:      59852
1322.76/1326.75	c #Conflicts:     519000 | #Constraints:      60852
1322.76/1326.75	c #Conflicts:     520000 | #Constraints:      61852
1322.76/1326.75	c #Conflicts:     521000 | #Constraints:      62852
1322.76/1326.75	c #Conflicts:     522000 | #Constraints:      63852
1322.76/1326.75	c #Conflicts:     523000 | #Constraints:      64852
1322.76/1326.75	c #Conflicts:     524000 | #Constraints:      65852
1322.76/1326.75	c #Conflicts:     525000 | #Constraints:      66852
1322.76/1326.75	c #Conflicts:     526000 | #Constraints:      67852
1322.76/1326.75	c #Conflicts:     527000 | #Constraints:      68852
1322.76/1326.75	c #Conflicts:     528000 | #Constraints:      69852
1322.76/1326.75	c #Conflicts:     529000 | #Constraints:      70852
1322.76/1326.75	c #Conflicts:     530000 | #Constraints:      71852
1322.76/1326.75	c #Conflicts:     531000 | #Constraints:      72852
1322.76/1326.75	c #Conflicts:     532000 | #Constraints:      73852
1322.76/1326.75	c #Conflicts:     533000 | #Constraints:      74852
1322.76/1326.75	c #Conflicts:     534000 | #Constraints:      75852
1322.76/1326.75	c #Conflicts:     535000 | #Constraints:      76852
1322.76/1326.75	c #Conflicts:     536000 | #Constraints:      77852
1322.76/1326.75	c #Conflicts:     537000 | #Constraints:      78852
1322.76/1326.75	c #Conflicts:     538000 | #Constraints:      79852
1322.76/1326.75	c #Conflicts:     539000 | #Constraints:      80852
1322.76/1326.75	c #Conflicts:     540000 | #Constraints:      81852
1322.76/1326.75	c #Conflicts:     541000 | #Constraints:      82852
1322.76/1326.75	c #Conflicts:     542000 | #Constraints:      83852
1322.76/1326.75	c #Conflicts:     543000 | #Constraints:      84852
1322.76/1326.75	c #Conflicts:     544000 | #Constraints:      85852
1322.76/1326.75	c #Conflicts:     545000 | #Constraints:      86852
1322.76/1326.75	c #Conflicts:     546000 | #Constraints:      87852
1322.76/1326.75	c #Conflicts:     547000 | #Constraints:      88852
1322.76/1326.75	c #Conflicts:     548000 | #Constraints:      89852
1322.76/1326.75	c #Conflicts:     549000 | #Constraints:      90852
1322.76/1326.75	c #Conflicts:     550000 | #Constraints:      91852
1322.76/1326.75	c #Conflicts:     551000 | #Constraints:      92852
1322.76/1326.75	c INPROCESSING
1322.76/1326.75	c GARBAGE COLLECT
1322.76/1326.75	c #Conflicts:     552000 | #Constraints:      52968
1322.76/1326.75	c #Conflicts:     553000 | #Constraints:      53968
1322.76/1326.75	c #Conflicts:     554000 | #Constraints:      54968
1322.76/1326.75	c #Conflicts:     555000 | #Constraints:      55968
1322.76/1326.75	c #Conflicts:     556000 | #Constraints:      56968
1322.76/1326.75	c #Conflicts:     557000 | #Constraints:      57968
1322.76/1326.75	c #Conflicts:     558000 | #Constraints:      58968
1322.76/1326.75	c #Conflicts:     559000 | #Constraints:      59968
1322.76/1326.75	c #Conflicts:     560000 | #Constraints:      60968
1322.76/1326.75	c #Conflicts:     561000 | #Constraints:      61968
1322.76/1326.75	c #Conflicts:     562000 | #Constraints:      62968
1322.76/1326.75	c #Conflicts:     563000 | #Constraints:      63968
1322.76/1326.75	c #Conflicts:     564000 | #Constraints:      64968
1322.76/1326.75	c #Conflicts:     565000 | #Constraints:      65968
1322.76/1326.75	c #Conflicts:     566000 | #Constraints:      66968
1322.76/1326.75	c INPROCESSING
1322.76/1326.75	c GARBAGE COLLECT
1322.76/1326.75	c #Conflicts:     567000 | #Constraints:      39833
1322.76/1326.75	c #Conflicts:     568000 | #Constraints:      40833
1322.76/1326.75	c #Conflicts:     569000 | #Constraints:      41833
1322.76/1326.75	c #Conflicts:     570000 | #Constraints:      42833
1322.76/1326.75	c #Conflicts:     571000 | #Constraints:      43833
1322.76/1326.75	c #Conflicts:     572000 | #Constraints:      44833
1322.76/1326.75	c #Conflicts:     573000 | #Constraints:      45833
1322.76/1326.75	c #Conflicts:     574000 | #Constraints:      46833
1322.76/1326.75	c #Conflicts:     575000 | #Constraints:      47833
1322.76/1326.75	c #Conflicts:     576000 | #Constraints:      48833
1322.76/1326.75	c #Conflicts:     577000 | #Constraints:      49833
1322.76/1326.75	c #Conflicts:     578000 | #Constraints:      50833
1322.76/1326.75	c #Conflicts:     579000 | #Constraints:      51833
1322.76/1326.75	c #Conflicts:     580000 | #Constraints:      52833
1322.76/1326.75	c #Conflicts:     581000 | #Constraints:      53833
1322.76/1326.75	c #Conflicts:     582000 | #Constraints:      54833
1322.76/1326.75	c INPROCESSING
1322.76/1326.75	c GARBAGE COLLECT
1322.76/1326.75	c #Conflicts:     583000 | #Constraints:      33925
1322.76/1326.75	c #Conflicts:     584000 | #Constraints:      34925
1322.76/1326.75	c #Conflicts:     585000 | #Constraints:      35925
1322.76/1326.75	c #Conflicts:     586000 | #Constraints:      36925
1322.76/1326.75	c #Conflicts:     587000 | #Constraints:      37925
1322.76/1326.75	c #Conflicts:     588000 | #Constraints:      38925
1322.76/1326.75	c #Conflicts:     589000 | #Constraints:      39925
1322.76/1326.75	c #Conflicts:     590000 | #Constraints:      40925
1322.76/1326.75	c #Conflicts:     591000 | #Constraints:      41925
1322.76/1326.75	c #Conflicts:     592000 | #Constraints:      42925
1322.76/1326.75	c #Conflicts:     593000 | #Constraints:      43925
1322.76/1326.75	c #Conflicts:     594000 | #Constraints:      44925
1651.27/1656.17	c #Conflicts:     595000 | #Constraints:      45925
1651.27/1656.17	c #Conflicts:     596000 | #Constraints:      46925
1651.27/1656.17	c #Conflicts:     597000 | #Constraints:      47925
1651.27/1656.17	c INPROCESSING
1651.27/1656.17	c GARBAGE COLLECT
1651.27/1656.17	c #Conflicts:     598000 | #Constraints:      30062
1651.27/1656.17	c #Conflicts:     599000 | #Constraints:      31062
1651.27/1656.17	c #Conflicts:     600000 | #Constraints:      32062
1651.27/1656.17	c #Conflicts:     601000 | #Constraints:      33062
1651.27/1656.17	c #Conflicts:     602000 | #Constraints:      34062
1651.27/1656.17	c #Conflicts:     603000 | #Constraints:      35062
1651.27/1656.17	c #Conflicts:     604000 | #Constraints:      36062
1651.27/1656.17	c #Conflicts:     605000 | #Constraints:      37062
1651.27/1656.17	c #Conflicts:     606000 | #Constraints:      38062
1651.27/1656.17	c #Conflicts:     607000 | #Constraints:      39062
1651.27/1656.17	c #Conflicts:     608000 | #Constraints:      40062
1651.27/1656.17	c #Conflicts:     609000 | #Constraints:      41062
1651.27/1656.17	c #Conflicts:     610000 | #Constraints:      42062
1651.27/1656.17	c #Conflicts:     611000 | #Constraints:      43062
1651.27/1656.17	c #Conflicts:     612000 | #Constraints:      44062
1651.27/1656.17	c #Conflicts:     613000 | #Constraints:      45062
1651.27/1656.17	c INPROCESSING
1651.27/1656.17	c GARBAGE COLLECT
1651.27/1656.17	c #Conflicts:     614000 | #Constraints:      28614
1651.27/1656.17	c #Conflicts:     615000 | #Constraints:      29614
1651.27/1656.17	c #Conflicts:     616000 | #Constraints:      30614
1651.27/1656.17	c #Conflicts:     617000 | #Constraints:      31614
1651.27/1656.17	c #Conflicts:     618000 | #Constraints:      32614
1651.27/1656.17	c #Conflicts:     619000 | #Constraints:      33614
1651.27/1656.17	c #Conflicts:     620000 | #Constraints:      34614
1651.27/1656.17	c #Conflicts:     621000 | #Constraints:      35614
1651.27/1656.17	c #Conflicts:     622000 | #Constraints:      36614
1651.27/1656.17	c #Conflicts:     623000 | #Constraints:      37614
1651.27/1656.17	c #Conflicts:     624000 | #Constraints:      38614
1651.27/1656.17	c #Conflicts:     625000 | #Constraints:      39614
1651.27/1656.17	c #Conflicts:     626000 | #Constraints:      40614
1651.27/1656.17	c #Conflicts:     627000 | #Constraints:      41614
1651.27/1656.17	c #Conflicts:     628000 | #Constraints:      42614
1651.27/1656.17	c #Conflicts:     629000 | #Constraints:      43614
1651.27/1656.17	c #Conflicts:     630000 | #Constraints:      44614
1651.27/1656.17	c #Conflicts:     631000 | #Constraints:      45614
1651.27/1656.17	c #Conflicts:     632000 | #Constraints:      46614
1651.27/1656.17	c #Conflicts:     633000 | #Constraints:      47614
1651.27/1656.17	c #Conflicts:     634000 | #Constraints:      48614
1651.27/1656.17	c #Conflicts:     635000 | #Constraints:      49614
1651.27/1656.17	c #Conflicts:     636000 | #Constraints:      50614
1651.27/1656.17	c #Conflicts:     637000 | #Constraints:      51614
1651.27/1656.17	c #Conflicts:     638000 | #Constraints:      52614
1651.27/1656.17	c #Conflicts:     639000 | #Constraints:      53614
1651.27/1656.17	c #Conflicts:     640000 | #Constraints:      54614
1651.27/1656.17	c #Conflicts:     641000 | #Constraints:      55614
1651.27/1656.17	c #Conflicts:     642000 | #Constraints:      56614
1651.27/1656.17	c #Conflicts:     643000 | #Constraints:      57614
1651.27/1656.17	c #Conflicts:     644000 | #Constraints:      58614
1651.27/1656.17	c #Conflicts:     645000 | #Constraints:      59614
1651.27/1656.17	c #Conflicts:     646000 | #Constraints:      60614
1651.27/1656.17	c #Conflicts:     647000 | #Constraints:      61614
1651.27/1656.17	c #Conflicts:     648000 | #Constraints:      62614
1651.27/1656.17	c #Conflicts:     649000 | #Constraints:      63614
1651.27/1656.17	c #Conflicts:     650000 | #Constraints:      64614
1651.27/1656.17	c #Conflicts:     651000 | #Constraints:      65614
1651.27/1656.17	c #Conflicts:     652000 | #Constraints:      66614
1651.27/1656.17	c #Conflicts:     653000 | #Constraints:      67614
1651.27/1656.17	c #Conflicts:     654000 | #Constraints:      68614
1651.27/1656.17	c #Conflicts:     655000 | #Constraints:      69614
1651.27/1656.17	c #Conflicts:     656000 | #Constraints:      70614
1651.27/1656.17	c #Conflicts:     657000 | #Constraints:      71614
1651.27/1656.17	c #Conflicts:     658000 | #Constraints:      72614
1651.27/1656.17	c #Conflicts:     659000 | #Constraints:      73614
1651.27/1656.17	c #Conflicts:     660000 | #Constraints:      74614
1651.27/1656.17	c #Conflicts:     661000 | #Constraints:      75614
1651.27/1656.17	c #Conflicts:     662000 | #Constraints:      76614
1651.27/1656.17	c #Conflicts:     663000 | #Constraints:      77614
1651.27/1656.17	c #Conflicts:     664000 | #Constraints:      78614
1651.27/1656.17	c #Conflicts:     665000 | #Constraints:      79614
1651.27/1656.17	c #Conflicts:     666000 | #Constraints:      80614
1651.27/1656.17	c #Conflicts:     667000 | #Constraints:      81614
1651.27/1656.17	c #Conflicts:     668000 | #Constraints:      82614
1651.27/1656.17	c #Conflicts:     669000 | #Constraints:      83614
1651.27/1656.17	c #Conflicts:     670000 | #Constraints:      84614
1651.27/1656.17	c #Conflicts:     671000 | #Constraints:      85614
2070.14/2076.16	c #Conflicts:     672000 | #Constraints:      86614
2070.14/2076.16	c #Conflicts:     673000 | #Constraints:      87614
2070.14/2076.16	c #Conflicts:     674000 | #Constraints:      88614
2070.14/2076.16	c #Conflicts:     675000 | #Constraints:      89614
2070.14/2076.16	c #Conflicts:     676000 | #Constraints:      90614
2070.14/2076.16	c #Conflicts:     677000 | #Constraints:      91614
2070.14/2076.16	c #Conflicts:     678000 | #Constraints:      92614
2070.14/2076.16	c #Conflicts:     679000 | #Constraints:      93614
2070.14/2076.16	c #Conflicts:     680000 | #Constraints:      94614
2070.14/2076.16	c #Conflicts:     681000 | #Constraints:      95614
2070.14/2076.16	c #Conflicts:     682000 | #Constraints:      96614
2070.14/2076.16	c #Conflicts:     683000 | #Constraints:      97614
2070.14/2076.16	c #Conflicts:     684000 | #Constraints:      98614
2070.14/2076.16	c #Conflicts:     685000 | #Constraints:      99614
2070.14/2076.16	c #Conflicts:     686000 | #Constraints:     100614
2070.14/2076.16	c INPROCESSING
2070.14/2076.16	c GARBAGE COLLECT
2070.14/2076.16	c #Conflicts:     687000 | #Constraints:      56513
2070.14/2076.16	c #Conflicts:     688000 | #Constraints:      57513
2070.14/2076.16	c #Conflicts:     689000 | #Constraints:      58513
2070.14/2076.16	c #Conflicts:     690000 | #Constraints:      59513
2070.14/2076.16	c #Conflicts:     691000 | #Constraints:      60513
2070.14/2076.16	c #Conflicts:     692000 | #Constraints:      61513
2070.14/2076.16	c #Conflicts:     693000 | #Constraints:      62513
2070.14/2076.16	c #Conflicts:     694000 | #Constraints:      63513
2070.14/2076.16	c #Conflicts:     695000 | #Constraints:      64513
2070.14/2076.16	c #Conflicts:     696000 | #Constraints:      65513
2070.14/2076.16	c #Conflicts:     697000 | #Constraints:      66513
2070.14/2076.16	c #Conflicts:     698000 | #Constraints:      67513
2070.14/2076.16	c #Conflicts:     699000 | #Constraints:      68513
2070.14/2076.16	c #Conflicts:     700000 | #Constraints:      69513
2070.14/2076.16	c #Conflicts:     701000 | #Constraints:      70513
2070.14/2076.16	c #Conflicts:     702000 | #Constraints:      71513
2070.14/2076.16	c #Conflicts:     703000 | #Constraints:      72513
2070.14/2076.16	c #Conflicts:     704000 | #Constraints:      73513
2070.14/2076.16	c INPROCESSING
2070.14/2076.16	c GARBAGE COLLECT
2070.14/2076.16	c #Conflicts:     705000 | #Constraints:      43306
2070.14/2076.16	c #Conflicts:     706000 | #Constraints:      44306
2070.14/2076.16	c #Conflicts:     707000 | #Constraints:      45306
2070.14/2076.16	c #Conflicts:     708000 | #Constraints:      46306
2070.14/2076.16	c #Conflicts:     709000 | #Constraints:      47306
2070.14/2076.16	c #Conflicts:     710000 | #Constraints:      48306
2070.14/2076.16	c #Conflicts:     711000 | #Constraints:      49306
2070.14/2076.16	c #Conflicts:     712000 | #Constraints:      50306
2070.14/2076.16	c #Conflicts:     713000 | #Constraints:      51306
2070.14/2076.16	c #Conflicts:     714000 | #Constraints:      52306
2070.14/2076.16	c #Conflicts:     715000 | #Constraints:      53306
2070.14/2076.16	c #Conflicts:     716000 | #Constraints:      54306
2070.14/2076.16	c #Conflicts:     717000 | #Constraints:      55306
2070.14/2076.16	c #Conflicts:     718000 | #Constraints:      56306
2070.14/2076.16	c #Conflicts:     719000 | #Constraints:      57306
2070.14/2076.16	c #Conflicts:     720000 | #Constraints:      58306
2070.14/2076.16	c #Conflicts:     721000 | #Constraints:      59306
2070.14/2076.16	c INPROCESSING
2070.14/2076.16	c GARBAGE COLLECT
2070.14/2076.16	c #Conflicts:     722000 | #Constraints:      35928
2070.14/2076.16	c #Conflicts:     723000 | #Constraints:      36928
2070.14/2076.16	c #Conflicts:     724000 | #Constraints:      37928
2070.14/2076.16	c #Conflicts:     725000 | #Constraints:      38928
2070.14/2076.16	c #Conflicts:     726000 | #Constraints:      39928
2070.14/2076.16	c #Conflicts:     727000 | #Constraints:      40928
2070.14/2076.16	c #Conflicts:     728000 | #Constraints:      41928
2070.14/2076.16	c #Conflicts:     729000 | #Constraints:      42928
2070.14/2076.16	c #Conflicts:     730000 | #Constraints:      43928
2070.14/2076.16	c #Conflicts:     731000 | #Constraints:      44928
2070.14/2076.16	c #Conflicts:     732000 | #Constraints:      45928
2070.14/2076.16	c #Conflicts:     733000 | #Constraints:      46928
2070.14/2076.16	c #Conflicts:     734000 | #Constraints:      47928
2070.14/2076.16	c #Conflicts:     735000 | #Constraints:      48928
2070.14/2076.16	c #Conflicts:     736000 | #Constraints:      49928
2070.14/2076.16	c #Conflicts:     737000 | #Constraints:      50928
2070.14/2076.16	c #Conflicts:     738000 | #Constraints:      51928
2070.14/2076.16	c #Conflicts:     739000 | #Constraints:      52928
2070.14/2076.16	c INPROCESSING
2070.14/2076.16	c GARBAGE COLLECT
2070.14/2076.16	c #Conflicts:     740000 | #Constraints:      32866
2070.14/2076.16	c #Conflicts:     741000 | #Constraints:      33866
2070.14/2076.16	c #Conflicts:     742000 | #Constraints:      34866
2070.14/2076.16	c #Conflicts:     743000 | #Constraints:      35866
2070.14/2076.16	c #Conflicts:     744000 | #Constraints:      36866
2070.14/2076.16	c #Conflicts:     745000 | #Constraints:      37866
2070.14/2076.16	c #Conflicts:     746000 | #Constraints:      38866
2070.14/2076.16	c #Conflicts:     747000 | #Constraints:      39866
2070.14/2076.16	c #Conflicts:     748000 | #Constraints:      40866
2590.43/2597.87	c #Conflicts:     749000 | #Constraints:      41866
2590.43/2597.87	c #Conflicts:     750000 | #Constraints:      42866
2590.43/2597.87	c #Conflicts:     751000 | #Constraints:      43866
2590.43/2597.87	c #Conflicts:     752000 | #Constraints:      44866
2590.43/2597.87	c #Conflicts:     753000 | #Constraints:      45866
2590.43/2597.87	c #Conflicts:     754000 | #Constraints:      46866
2590.43/2597.87	c #Conflicts:     755000 | #Constraints:      47866
2590.43/2597.87	c #Conflicts:     756000 | #Constraints:      48866
2590.43/2597.87	c #Conflicts:     757000 | #Constraints:      49866
2590.43/2597.87	c #Conflicts:     758000 | #Constraints:      50866
2590.43/2597.87	c #Conflicts:     759000 | #Constraints:      51866
2590.43/2597.87	c #Conflicts:     760000 | #Constraints:      52866
2590.43/2597.87	c #Conflicts:     761000 | #Constraints:      53866
2590.43/2597.87	c #Conflicts:     762000 | #Constraints:      54866
2590.43/2597.87	c #Conflicts:     763000 | #Constraints:      55866
2590.43/2597.87	c #Conflicts:     764000 | #Constraints:      56866
2590.43/2597.87	c #Conflicts:     765000 | #Constraints:      57866
2590.43/2597.87	c #Conflicts:     766000 | #Constraints:      58866
2590.43/2597.87	c #Conflicts:     767000 | #Constraints:      59866
2590.43/2597.87	c #Conflicts:     768000 | #Constraints:      60866
2590.43/2597.87	c #Conflicts:     769000 | #Constraints:      61866
2590.43/2597.87	c #Conflicts:     770000 | #Constraints:      62866
2590.43/2597.87	c #Conflicts:     771000 | #Constraints:      63866
2590.43/2597.87	c #Conflicts:     772000 | #Constraints:      64866
2590.43/2597.87	c #Conflicts:     773000 | #Constraints:      65866
2590.43/2597.87	c #Conflicts:     774000 | #Constraints:      66866
2590.43/2597.87	c #Conflicts:     775000 | #Constraints:      67866
2590.43/2597.87	c #Conflicts:     776000 | #Constraints:      68866
2590.43/2597.87	c #Conflicts:     777000 | #Constraints:      69866
2590.43/2597.87	c #Conflicts:     778000 | #Constraints:      70866
2590.43/2597.87	c #Conflicts:     779000 | #Constraints:      71866
2590.43/2597.87	c #Conflicts:     780000 | #Constraints:      72866
2590.43/2597.87	c #Conflicts:     781000 | #Constraints:      73866
2590.43/2597.87	c #Conflicts:     782000 | #Constraints:      74866
2590.43/2597.87	c #Conflicts:     783000 | #Constraints:      75866
2590.43/2597.87	c #Conflicts:     784000 | #Constraints:      76866
2590.43/2597.87	c #Conflicts:     785000 | #Constraints:      77866
2590.43/2597.87	c #Conflicts:     786000 | #Constraints:      78866
2590.43/2597.87	c #Conflicts:     787000 | #Constraints:      79866
2590.43/2597.87	c #Conflicts:     788000 | #Constraints:      80866
2590.43/2597.87	c #Conflicts:     789000 | #Constraints:      81866
2590.43/2597.87	c #Conflicts:     790000 | #Constraints:      82866
2590.43/2597.87	c #Conflicts:     791000 | #Constraints:      83866
2590.43/2597.87	c #Conflicts:     792000 | #Constraints:      84866
2590.43/2597.87	c #Conflicts:     793000 | #Constraints:      85866
2590.43/2597.87	c #Conflicts:     794000 | #Constraints:      86866
2590.43/2597.87	c #Conflicts:     795000 | #Constraints:      87866
2590.43/2597.87	c #Conflicts:     796000 | #Constraints:      88866
2590.43/2597.87	c #Conflicts:     797000 | #Constraints:      89866
2590.43/2597.87	c #Conflicts:     798000 | #Constraints:      90866
2590.43/2597.87	c #Conflicts:     799000 | #Constraints:      91866
2590.43/2597.87	c #Conflicts:     800000 | #Constraints:      92866
2590.43/2597.87	c #Conflicts:     801000 | #Constraints:      93866
2590.43/2597.87	c #Conflicts:     802000 | #Constraints:      94866
2590.43/2597.87	c #Conflicts:     803000 | #Constraints:      95866
2590.43/2597.87	c #Conflicts:     804000 | #Constraints:      96866
2590.43/2597.87	c #Conflicts:     805000 | #Constraints:      97866
2590.43/2597.87	c #Conflicts:     806000 | #Constraints:      98866
2590.43/2597.87	c #Conflicts:     807000 | #Constraints:      99866
2590.43/2597.87	c #Conflicts:     808000 | #Constraints:     100866
2590.43/2597.87	c #Conflicts:     809000 | #Constraints:     101866
2590.43/2597.87	c #Conflicts:     810000 | #Constraints:     102866
2590.43/2597.87	c #Conflicts:     811000 | #Constraints:     103866
2590.43/2597.87	c #Conflicts:     812000 | #Constraints:     104866
2590.43/2597.87	c #Conflicts:     813000 | #Constraints:     105866
2590.43/2597.87	c #Conflicts:     814000 | #Constraints:     106866
2590.43/2597.87	c #Conflicts:     815000 | #Constraints:     107866
2590.43/2597.87	c #Conflicts:     816000 | #Constraints:     108866
2590.43/2597.87	c #Conflicts:     817000 | #Constraints:     109866
2590.43/2597.87	c INPROCESSING
2590.43/2597.87	c GARBAGE COLLECT
2590.43/2597.87	c #Conflicts:     818000 | #Constraints:      61280
2590.43/2597.87	c #Conflicts:     819000 | #Constraints:      62280
2590.43/2597.87	c #Conflicts:     820000 | #Constraints:      63280
2590.43/2597.87	c #Conflicts:     821000 | #Constraints:      64280
2590.43/2597.87	c #Conflicts:     822000 | #Constraints:      65280
2590.43/2597.87	c #Conflicts:     823000 | #Constraints:      66280
2590.43/2597.87	c #Conflicts:     824000 | #Constraints:      67280
2590.43/2597.87	c #Conflicts:     825000 | #Constraints:      68280
2590.43/2597.87	c #Conflicts:     826000 | #Constraints:      69280
3006.40/3014.95	c #Conflicts:     827000 | #Constraints:      70280
3006.40/3014.95	c #Conflicts:     828000 | #Constraints:      71280
3006.40/3014.95	c #Conflicts:     829000 | #Constraints:      72280
3006.40/3014.95	c #Conflicts:     830000 | #Constraints:      73280
3006.40/3014.95	c #Conflicts:     831000 | #Constraints:      74280
3006.40/3014.95	c #Conflicts:     832000 | #Constraints:      75280
3006.40/3014.95	c #Conflicts:     833000 | #Constraints:      76280
3006.40/3014.95	c #Conflicts:     834000 | #Constraints:      77280
3006.40/3014.95	c #Conflicts:     835000 | #Constraints:      78280
3006.40/3014.95	c #Conflicts:     836000 | #Constraints:      79280
3006.40/3014.95	c INPROCESSING
3006.40/3014.95	c GARBAGE COLLECT
3006.40/3014.95	c #Conflicts:     837000 | #Constraints:      45983
3006.40/3014.95	c #Conflicts:     838000 | #Constraints:      46983
3006.40/3014.95	c #Conflicts:     839000 | #Constraints:      47983
3006.40/3014.95	c #Conflicts:     840000 | #Constraints:      48983
3006.40/3014.95	c #Conflicts:     841000 | #Constraints:      49983
3006.40/3014.95	c #Conflicts:     842000 | #Constraints:      50983
3006.40/3014.95	c #Conflicts:     843000 | #Constraints:      51983
3006.40/3014.95	c #Conflicts:     844000 | #Constraints:      52983
3006.40/3014.95	c #Conflicts:     845000 | #Constraints:      53983
3006.40/3014.95	c #Conflicts:     846000 | #Constraints:      54983
3006.40/3014.95	c #Conflicts:     847000 | #Constraints:      55983
3006.40/3014.95	c #Conflicts:     848000 | #Constraints:      56983
3006.40/3014.95	c #Conflicts:     849000 | #Constraints:      57983
3006.40/3014.95	c #Conflicts:     850000 | #Constraints:      58983
3006.40/3014.95	c #Conflicts:     851000 | #Constraints:      59983
3006.40/3014.95	c #Conflicts:     852000 | #Constraints:      60983
3006.40/3014.95	c #Conflicts:     853000 | #Constraints:      61983
3006.40/3014.95	c #Conflicts:     854000 | #Constraints:      62983
3006.40/3014.95	c #Conflicts:     855000 | #Constraints:      63983
3006.40/3014.95	c INPROCESSING
3006.40/3014.95	c GARBAGE COLLECT
3006.40/3014.95	c #Conflicts:     856000 | #Constraints:      38206
3006.40/3014.95	c #Conflicts:     857000 | #Constraints:      39206
3006.40/3014.95	c #Conflicts:     858000 | #Constraints:      40206
3006.40/3014.95	c #Conflicts:     859000 | #Constraints:      41206
3006.40/3014.95	c #Conflicts:     860000 | #Constraints:      42206
3006.40/3014.95	c #Conflicts:     861000 | #Constraints:      43206
3006.40/3014.95	c #Conflicts:     862000 | #Constraints:      44206
3006.40/3014.95	c #Conflicts:     863000 | #Constraints:      45206
3006.40/3014.95	c #Conflicts:     864000 | #Constraints:      46206
3006.40/3014.95	c #Conflicts:     865000 | #Constraints:      47206
3006.40/3014.95	c #Conflicts:     866000 | #Constraints:      48206
3006.40/3014.95	c #Conflicts:     867000 | #Constraints:      49206
3006.40/3014.95	c #Conflicts:     868000 | #Constraints:      50206
3006.40/3014.95	c #Conflicts:     869000 | #Constraints:      51206
3006.40/3014.95	c #Conflicts:     870000 | #Constraints:      52206
3006.40/3014.95	c #Conflicts:     871000 | #Constraints:      53206
3006.40/3014.95	c #Conflicts:     872000 | #Constraints:      54206
3006.40/3014.95	c #Conflicts:     873000 | #Constraints:      55206
3006.40/3014.95	c #Conflicts:     874000 | #Constraints:      56206
3006.40/3014.95	c #Conflicts:     875000 | #Constraints:      57206
3006.40/3014.95	c INPROCESSING
3006.40/3014.95	c GARBAGE COLLECT
3006.40/3014.95	c #Conflicts:     876000 | #Constraints:      35108
3006.40/3014.95	c #Conflicts:     877000 | #Constraints:      36108
3006.40/3014.95	c #Conflicts:     878000 | #Constraints:      37108
3006.40/3014.95	c #Conflicts:     879000 | #Constraints:      38108
3006.40/3014.95	c #Conflicts:     880000 | #Constraints:      39108
3006.40/3014.95	c #Conflicts:     881000 | #Constraints:      40108
3006.40/3014.95	c #Conflicts:     882000 | #Constraints:      41108
3006.40/3014.95	c #Conflicts:     883000 | #Constraints:      42108
3006.40/3014.95	c #Conflicts:     884000 | #Constraints:      43108
3006.40/3014.95	c #Conflicts:     885000 | #Constraints:      44108
3006.40/3014.95	c #Conflicts:     886000 | #Constraints:      45108
3006.40/3014.95	c #Conflicts:     887000 | #Constraints:      46108
3006.40/3014.95	c #Conflicts:     888000 | #Constraints:      47108
3006.40/3014.95	c #Conflicts:     889000 | #Constraints:      48108
3006.40/3014.95	c #Conflicts:     890000 | #Constraints:      49108
3006.40/3014.95	c #Conflicts:     891000 | #Constraints:      50108
3006.40/3014.95	c #Conflicts:     892000 | #Constraints:      51108
3006.40/3014.95	c #Conflicts:     893000 | #Constraints:      52108
3006.40/3014.95	c #Conflicts:     894000 | #Constraints:      53108
3006.40/3014.95	c #Conflicts:     895000 | #Constraints:      54108
3006.40/3014.95	c #Conflicts:     896000 | #Constraints:      55108
3006.40/3014.95	c #Conflicts:     897000 | #Constraints:      56108
3006.40/3014.95	c #Conflicts:     898000 | #Constraints:      57108
3006.40/3014.95	c #Conflicts:     899000 | #Constraints:      58108
3006.40/3014.95	c #Conflicts:     900000 | #Constraints:      59108
3006.40/3014.95	c #Conflicts:     901000 | #Constraints:      60108
3006.40/3014.95	c #Conflicts:     902000 | #Constraints:      61108
3006.40/3014.95	c #Conflicts:     903000 | #Constraints:      62108
3600.07/3610.20	c #Conflicts:     904000 | #Constraints:      63108
3600.07/3610.20	c #Conflicts:     905000 | #Constraints:      64108
3600.07/3610.20	c #Conflicts:     906000 | #Constraints:      65108
3600.07/3610.20	c #Conflicts:     907000 | #Constraints:      66108
3600.07/3610.20	c #Conflicts:     908000 | #Constraints:      67108
3600.07/3610.20	c #Conflicts:     909000 | #Constraints:      68108
3600.07/3610.20	c #Conflicts:     910000 | #Constraints:      69108
3600.07/3610.20	c #Conflicts:     911000 | #Constraints:      70108
3600.07/3610.20	c #Conflicts:     912000 | #Constraints:      71108
3600.07/3610.20	c #Conflicts:     913000 | #Constraints:      72108
3600.07/3610.20	c #Conflicts:     914000 | #Constraints:      73108
3600.07/3610.20	c #Conflicts:     915000 | #Constraints:      74108
3600.07/3610.20	c #Conflicts:     916000 | #Constraints:      75108
3600.07/3610.20	c #Conflicts:     917000 | #Constraints:      76108
3600.07/3610.20	c #Conflicts:     918000 | #Constraints:      77108
3600.07/3610.20	c #Conflicts:     919000 | #Constraints:      78108
3600.07/3610.20	c #Conflicts:     920000 | #Constraints:      79108
3600.07/3610.20	c #Conflicts:     921000 | #Constraints:      80108
3600.07/3610.20	c #Conflicts:     922000 | #Constraints:      81108
3600.07/3610.20	c #Conflicts:     923000 | #Constraints:      82108
3600.07/3610.20	c #Conflicts:     924000 | #Constraints:      83108
3600.07/3610.20	c #Conflicts:     925000 | #Constraints:      84108
3600.07/3610.20	c #Conflicts:     926000 | #Constraints:      85108
3600.07/3610.20	c #Conflicts:     927000 | #Constraints:      86108
3600.07/3610.20	c #Conflicts:     928000 | #Constraints:      87108
3600.07/3610.20	c #Conflicts:     929000 | #Constraints:      88108
3600.07/3610.20	c #Conflicts:     930000 | #Constraints:      89108
3600.07/3610.20	c #Conflicts:     931000 | #Constraints:      90108
3600.07/3610.20	c #Conflicts:     932000 | #Constraints:      91108
3600.07/3610.20	c #Conflicts:     933000 | #Constraints:      92108
3600.07/3610.20	c #Conflicts:     934000 | #Constraints:      93108
3600.07/3610.20	c #Conflicts:     935000 | #Constraints:      94108
3600.07/3610.20	c #Conflicts:     936000 | #Constraints:      95108
3600.07/3610.20	c #Conflicts:     937000 | #Constraints:      96108
3600.07/3610.20	c #Conflicts:     938000 | #Constraints:      97108
3600.07/3610.20	c #Conflicts:     939000 | #Constraints:      98108
3600.07/3610.20	c #Conflicts:     940000 | #Constraints:      99108
3600.07/3610.20	c #Conflicts:     941000 | #Constraints:     100108
3600.07/3610.20	c #Conflicts:     942000 | #Constraints:     101108
3600.07/3610.20	c #Conflicts:     943000 | #Constraints:     102108
3600.07/3610.20	c #Conflicts:     944000 | #Constraints:     103108
3600.07/3610.20	c #Conflicts:     945000 | #Constraints:     104108
3600.07/3610.20	c #Conflicts:     946000 | #Constraints:     105108
3600.07/3610.20	c #Conflicts:     947000 | #Constraints:     106108
3600.07/3610.20	c #Conflicts:     948000 | #Constraints:     107108
3600.07/3610.20	c #Conflicts:     949000 | #Constraints:     108108
3600.07/3610.20	c #Conflicts:     950000 | #Constraints:     109108
3600.07/3610.20	c #Conflicts:     951000 | #Constraints:     110108
3600.07/3610.20	c #Conflicts:     952000 | #Constraints:     111108
3600.07/3610.20	c #Conflicts:     953000 | #Constraints:     112108
3600.07/3610.20	c #Conflicts:     954000 | #Constraints:     113108
3600.07/3610.20	c #Conflicts:     955000 | #Constraints:     114108
3600.07/3610.20	c #Conflicts:     956000 | #Constraints:     115108
3600.07/3610.20	c #Conflicts:     957000 | #Constraints:     116108
3600.07/3610.20	c #Conflicts:     958000 | #Constraints:     117108
3600.07/3610.20	c INPROCESSING
3600.07/3610.20	c GARBAGE COLLECT
3600.07/3610.20	c #Conflicts:     959000 | #Constraints:      64887
3600.07/3610.20	c #Conflicts:     960000 | #Constraints:      65887
3600.07/3610.20	c #Conflicts:     961000 | #Constraints:      66887
3600.07/3610.20	c #Conflicts:     962000 | #Constraints:      67887
3600.07/3610.20	c #Conflicts:     963000 | #Constraints:      68887
3600.07/3610.20	c #Conflicts:     964000 | #Constraints:      69887
3600.07/3610.20	c #Conflicts:     965000 | #Constraints:      70887
3600.07/3610.20	c #Conflicts:     966000 | #Constraints:      71887
3600.07/3610.20	c #Conflicts:     967000 | #Constraints:      72887
3600.07/3610.20	c #Conflicts:     968000 | #Constraints:      73887
3600.07/3610.20	c #Conflicts:     969000 | #Constraints:      74887
3600.07/3610.20	c #Conflicts:     970000 | #Constraints:      75887
3600.07/3610.20	c #Conflicts:     971000 | #Constraints:      76887
3600.07/3610.20	c #Conflicts:     972000 | #Constraints:      77887
3600.07/3610.20	c #Conflicts:     973000 | #Constraints:      78887
3600.07/3610.20	c #Conflicts:     974000 | #Constraints:      79887
3600.07/3610.20	c #Conflicts:     975000 | #Constraints:      80887
3600.07/3610.20	c #Conflicts:     976000 | #Constraints:      81887
3600.07/3610.20	c #Conflicts:     977000 | #Constraints:      82887
3600.07/3610.20	c Program interrupted by user.
3600.07/3610.20	c cpu time 3590.5 s
3600.07/3610.20	c deterministic time 324995945630 3.25e+11
3600.07/3610.20	c optimization time 124.079 s
3600.07/3610.20	c total solve time 3466.02 s
3600.07/3610.20	c core-guided solve time 3466.02 s
3600.07/3610.20	c propagation time 3462.55 s
3600.07/3610.20	c conflict analysis time 107.525 s
3600.07/3610.20	c propagations 570379971
3600.07/3610.20	c resolve steps 3563092
3600.07/3610.20	c decisions 6474127
3600.07/3610.20	c conflicts 977144
3600.07/3610.20	c restarts 2045
3600.07/3610.20	c inprocessing phases 71
3600.07/3610.20	c input clauses 1
3600.07/3610.20	c input cardinalities 0
3600.07/3610.20	c input general constraints 10895
3600.07/3610.20	c input average constraint length 30.38
3600.07/3610.20	c input average constraint degree 511.06
3600.07/3610.20	c learned clauses 356761
3600.07/3610.20	c learned cardinalities 62
3600.07/3610.20	c learned general constraints 620321
3600.07/3610.20	c learned average constraint length 43.81
3600.07/3610.20	c learned average constraint degree 215020.41
3600.07/3610.20	c watched constraints 630846
3600.07/3610.20	c counting constraints 370
3600.07/3610.20	c gcd simplifications 8169
3600.07/3610.20	c detected cardinalities 62
3600.07/3610.20	c weakened non-implied lits 4429551
3600.07/3610.20	c weakened non-implying lits 630
3600.07/3610.20	c original variables 5570
3600.07/3610.20	c clausal propagations 552890
3600.07/3610.20	c cardinality propagations 111
3600.07/3610.20	c watched propagations 569160156
3600.07/3610.20	c counting propagations 75866
3600.07/3610.20	c watch lookups 64559420123
3600.07/3610.20	c watch backjump lookups 61474556174
3600.07/3610.20	c watch checks 112315953922
3600.07/3610.20	c propagation checks 85351124639
3600.07/3610.20	c constraint additions 140207618
3600.07/3610.20	c trail pops 577829055
3600.07/3610.20	c formula constraints 10896
3600.07/3610.20	c learned constraints 977144
3600.07/3610.20	c bound constraints 0
3600.07/3610.20	c core-guided constraints 0
3600.07/3610.20	c encountered formula constraints 3517042
3600.07/3610.20	c encountered learned constraints 1023194
3600.07/3610.20	c encountered bound constraints 0
3600.07/3610.20	c encountered core-guided constraints 0
3600.07/3610.20	c LP total time 0 s
3600.07/3610.20	c LP solve time 0 s
3600.07/3610.20	c LP constraints added 0
3600.07/3610.20	c LP constraints removed 0
3600.07/3610.20	c LP pivots internal 0
3600.07/3610.20	c LP pivots root 0
3600.07/3610.20	c LP calls 0
3600.07/3610.20	c LP optimalities 0
3600.07/3610.20	c LP no pivot count 0
3600.07/3610.20	c LP infeasibilities 0
3600.07/3610.20	c LP valid Farkas constraints 0
3600.07/3610.20	c LP learned Farkas constraints 0
3600.07/3610.20	c LP basis resets 0
3600.07/3610.20	c LP cycling count 0
3600.07/3610.20	c LP singular count 0
3600.07/3610.20	c LP no primal count 0
3600.07/3610.20	c LP no farkas count 0
3600.07/3610.20	c LP other issue count 0
3600.07/3610.20	c LP Gomory cuts 0
3600.07/3610.20	c LP learned cuts 0
3600.07/3610.20	c LP deleted cuts 0
3600.07/3610.20	c LP encountered Gomory constraints 0
3600.07/3610.20	c LP encountered Farkas constraints 0
3600.07/3610.20	c LP encountered learned Farkas constraints 0
3600.07/3610.20	c CG auxiliary variables introduced 0
3600.07/3610.20	c CG solutions found 0
3600.07/3610.20	c CG cores constructed 0
3600.07/3610.20	c CG core cardinality constraints returned 0
3600.07/3610.20	c CG unit cores 0
3600.07/3610.20	c CG single cores 0
3600.07/3610.20	c CG blocks removed during cardinality reduction 0
3600.07/3610.20	c CG first core best 0
3600.07/3610.20	c CG decision core best 0
3600.07/3610.20	c CG core reduction tie 0
3600.07/3610.20	c CG core degree average 0.00
3600.07/3610.20	c CG core slack average 0.00
3600.07/3610.20	c CG exhausted 0
3600.07/3610.20	c CG exhaust time 0 s
3600.07/3610.20	c CG trimmed 0
3600.07/3610.20	c CG trim time 0 s
3600.07/3610.20	c CG minimized 0
3600.07/3610.20	c CG minimize time 0 s
3600.07/3610.20	c CG am1 prop time 0.000246 s
3600.07/3610.20	c CG # am1s reformulated 0
3600.07/3610.20	c CG lower bound derived from am1s 0
3600.07/3610.20	c CG # clausal cores 0
3600.07/3610.20	c CG # cardinality cores 0
3600.07/3610.20	c CG # pb cores 0
3600.07/3610.20	c CG # pb reforms 0
3600.07/3610.20	c CG # cores discarded because of pb reform 0
3600.07/3610.20	d LOWERBOUND 0
3600.07/3610.20	d NCORES 0
3600.07/3610.20	d NPBCORES 0
3600.07/3610.20	d NPBREFORM 0
3600.07/3610.20	d NTRIMMED 0
3600.07/3610.20	d NEXHAUSTED 0
3600.07/3610.20	d NAM1S 0
3600.07/3610.20	d AM1LB 0
3600.07/3610.20	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63216 MiB free)
  memory of node 1: 64465 MiB (63780 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491388-1751383314/watcher-4491388-1751383314 -o /tmp/evaluation-result-4491388-1751383314/solver-4491388-1751383314 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48627 --watchdog 3760 pb-oll-rs HOME/instance-4491388-1751383314.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100098 s]*
/proc/loadavg: 3.54 2.49 2.62 5/251 48961
/proc/meminfo: memFree=130042424/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=21376 memory=8556 CPUtime=0.1 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 664 0 0 0 9 1 0 0 20 0 1 0 54010209 21889024 2139 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 5344 2139 1152 243 0 1593 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21376 KiB
Current children cumulated memory: 8556 KiB

[startup+0.212904 s]*
/proc/loadavg: 3.54 2.49 2.62 5/251 48961
/proc/meminfo: memFree=130040408/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=21512 memory=8812 CPUtime=0.2 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 725 0 0 0 19 1 0 0 20 0 1 0 54010209 22028288 2203 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 5378 2203 1152 243 0 1627 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21512 KiB
Current children cumulated memory: 8812 KiB

[startup+0.312337 s]*
/proc/loadavg: 3.54 2.49 2.62 5/251 48961
/proc/meminfo: memFree=130040408/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=21640 memory=9068 CPUtime=0.31 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 763 0 0 0 29 2 0 0 20 0 1 0 54010209 22159360 2267 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 5410 2267 1152 243 0 1659 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21640 KiB
Current children cumulated memory: 9068 KiB

[startup+0.700262 s]
/proc/loadavg: 3.54 2.49 2.62 5/251 48961
/proc/meminfo: memFree=130036376/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=26056 memory=15724 CPUtime=0.68 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 1736 0 0 0 65 3 0 0 20 0 1 0 54010209 26681344 3931 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 6514 3931 1376 243 0 2763 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26056 KiB
Current children cumulated memory: 15724 KiB

[startup+1.50025 s]
/proc/loadavg: 3.58 2.52 2.63 5/251 48961
/proc/meminfo: memFree=130036136/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=26056 memory=15852 CPUtime=1.47 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 1764 0 0 0 143 4 0 0 20 0 1 0 54010209 26681344 3963 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 6514 3963 1376 243 0 2763 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 26056 KiB
Current children cumulated memory: 15852 KiB

[startup+3.11278 s]
/proc/loadavg: 3.58 2.52 2.63 5/251 48961
/proc/meminfo: memFree=130036468/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=28924 memory=16492 CPUtime=3.09 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 1928 0 0 0 302 7 0 0 20 0 1 0 54010209 29618176 4123 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 7231 4123 1376 243 0 3480 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28924 KiB
Current children cumulated memory: 16492 KiB

[startup+6.30026 s]
/proc/loadavg: 3.61 2.54 2.63 5/251 48961
/proc/meminfo: memFree=130037100/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=29288 memory=17388 CPUtime=6.27 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 2216 0 0 0 616 11 0 0 20 0 1 0 54010209 29990912 4347 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 7322 4347 1376 243 0 3571 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 17388 KiB

[startup+12.7003 s]
/proc/loadavg: 3.64 2.57 2.64 5/251 48961
/proc/meminfo: memFree=130034840/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=30280 memory=19180 CPUtime=12.64 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 2725 0 0 0 1245 19 0 0 20 0 1 0 54010209 31006720 4795 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 7570 4795 1376 243 0 3819 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 30280 KiB
Current children cumulated memory: 19180 KiB

[startup+25.5003 s]
/proc/loadavg: 3.70 2.62 2.66 5/251 48961
/proc/meminfo: memFree=130030188/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=31416 memory=20300 CPUtime=25.41 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 3182 0 0 0 2507 34 0 0 20 0 1 0 54010209 32169984 5075 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 7854 5075 1376 243 0 4103 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 20300 KiB

[startup+51.1129 s]
/proc/loadavg: 3.80 2.73 2.69 5/251 48962
/proc/meminfo: memFree=130013712/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=32264 memory=21796 CPUtime=50.95 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 3832 0 0 0 5033 62 0 0 20 0 1 0 54010209 33038336 5449 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 8066 5449 1376 243 0 4315 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 32264 KiB
Current children cumulated memory: 21796 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 3.01 2.79 5/251 48963
/proc/meminfo: memFree=130031124/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=37764 memory=24072 CPUtime=102 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 4655 0 0 0 10098 102 0 0 20 0 1 0 54010209 38670336 6018 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 9441 6018 1376 243 0 5690 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 24072 KiB

[startup+162.3 s]
/proc/loadavg: 4.53 3.34 2.92 5/252 48968
/proc/meminfo: memFree=130016812/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=39556 memory=26632 CPUtime=161.83 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 5527 0 0 0 16029 154 0 0 20 0 1 0 54010209 40505344 6658 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 9889 6658 1376 243 0 6138 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 39556 KiB
Current children cumulated memory: 26632 KiB

[startup+222.3 s]
/proc/loadavg: 4.36 3.51 3.01 5/252 48974
/proc/meminfo: memFree=130011824/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=40836 memory=29828 CPUtime=221.64 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 5970 0 0 0 21960 204 0 0 20 0 1 0 54010209 41816064 7457 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 10209 7457 1376 243 0 6458 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 40836 KiB
Current children cumulated memory: 29828 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 3.62 3.08 5/251 48976
/proc/meminfo: memFree=130008744/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=42096 memory=31512 CPUtime=281.48 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 6496 0 0 0 27904 244 0 0 20 0 1 0 54010209 43106304 7878 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 10524 7878 1376 243 0 6773 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 42096 KiB
Current children cumulated memory: 31512 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 3.72 3.15 5/251 48979
/proc/meminfo: memFree=130005688/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=41860 memory=31468 CPUtime=341.31 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 6916 0 0 0 33850 281 0 0 20 0 1 0 54010209 42864640 7867 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 10465 7867 1376 243 0 6714 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 41860 KiB
Current children cumulated memory: 31468 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.79 3.21 5/251 48981
/proc/meminfo: memFree=130003992/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=41996 memory=31608 CPUtime=401.15 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 7283 0 0 0 39800 315 0 0 20 0 1 0 54010209 43003904 7902 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 10499 7902 1376 243 0 6748 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 41996 KiB
Current children cumulated memory: 31608 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.84 3.27 6/251 48983
/proc/meminfo: memFree=129995176/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=49808 memory=33344 CPUtime=461 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 7963 0 0 0 45757 343 0 0 20 0 1 0 54010209 51003392 8336 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 12452 8336 1376 243 0 8701 0
Current children cumulated CPU time: 461 s

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

Current children cumulated memory: 82012 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/249 49105
/proc/meminfo: memFree=129868680/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=104204 memory=82012 CPUtime=2854.21 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 14891 0 0 0 284572 849 0 0 20 0 1 0 54010209 106704896 20503 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26051 20503 1376 243 0 22300 0
Current children cumulated CPU time: 2854.21 s
Current children cumulated vsize: 104204 KiB
Current children cumulated memory: 82012 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.05 5/249 49107
/proc/meminfo: memFree=129864872/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=104204 memory=82140 CPUtime=2914.05 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 14899 0 0 0 290542 863 0 0 20 0 1 0 54010209 106704896 20535 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26051 20535 1376 243 0 22300 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 104204 KiB
Current children cumulated memory: 82140 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/249 49109
/proc/meminfo: memFree=129867724/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=104204 memory=82140 CPUtime=2973.88 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 14899 0 0 0 296514 874 0 0 20 0 1 0 54010209 106704896 20535 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26051 20535 1376 243 0 22300 0
Current children cumulated CPU time: 2973.88 s
Current children cumulated vsize: 104204 KiB
Current children cumulated memory: 82140 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/249 49111
/proc/meminfo: memFree=129862164/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=104204 memory=82908 CPUtime=3033.72 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 14911 0 0 0 302487 885 0 0 20 0 1 0 54010209 106704896 20727 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26051 20727 1376 243 0 22300 0
Current children cumulated CPU time: 3033.72 s
Current children cumulated vsize: 104204 KiB
Current children cumulated memory: 82908 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/249 49113
/proc/meminfo: memFree=129869512/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=104204 memory=82908 CPUtime=3093.56 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 14912 0 0 0 308461 895 0 0 20 0 1 0 54010209 106704896 20727 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26051 20727 1376 243 0 22300 0
Current children cumulated CPU time: 3093.56 s
Current children cumulated vsize: 104204 KiB
Current children cumulated memory: 82908 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.05 5/250 49118
/proc/meminfo: memFree=129870124/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=104204 memory=82908 CPUtime=3153.4 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 14913 0 0 0 314438 902 0 0 20 0 1 0 54010209 106704896 20727 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26051 20727 1376 243 0 22300 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 104204 KiB
Current children cumulated memory: 82908 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.09 4.06 5/250 49124
/proc/meminfo: memFree=129864296/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=104204 memory=82908 CPUtime=3213.24 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 14915 0 0 0 320415 909 0 0 20 0 1 0 54010209 106704896 20727 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26051 20727 1376 243 0 22300 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 104204 KiB
Current children cumulated memory: 82908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/251 49127
/proc/meminfo: memFree=129863576/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=104204 memory=82908 CPUtime=3273.08 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 14916 0 0 0 326393 915 0 0 20 0 1 0 54010209 106704896 20727 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26051 20727 1376 243 0 22300 0
Current children cumulated CPU time: 3273.08 s
Current children cumulated vsize: 104204 KiB
Current children cumulated memory: 82908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.05 5/251 49129
/proc/meminfo: memFree=129866088/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=104204 memory=82908 CPUtime=3332.93 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 14917 0 0 0 332369 924 0 0 20 0 1 0 54010209 106704896 20727 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26051 20727 1376 243 0 22300 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 104204 KiB
Current children cumulated memory: 82908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/251 49131
/proc/meminfo: memFree=129866016/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=104904 memory=83164 CPUtime=3392.77 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 15002 0 0 0 338346 931 0 0 20 0 1 0 54010209 107421696 20791 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26226 20791 1376 243 0 22475 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 104904 KiB
Current children cumulated memory: 83164 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/251 49133
/proc/meminfo: memFree=129864796/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=106440 memory=86108 CPUtime=3452.6 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 15212 0 0 0 344324 936 0 0 20 0 1 0 54010209 108994560 21527 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26610 21527 1376 243 0 22859 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 106440 KiB
Current children cumulated memory: 86108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.00 4.07 4.05 5/253 49543
/proc/meminfo: memFree=130022532/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=106696 memory=86420 CPUtime=3512.43 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 15648 0 0 0 350299 944 0 0 20 0 1 0 54010209 109256704 21605 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26674 21605 1376 243 0 22923 0
Current children cumulated CPU time: 3512.43 s
Current children cumulated vsize: 106696 KiB
Current children cumulated memory: 86420 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.08 4.06 5/252 49589
/proc/meminfo: memFree=129218728/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=106696 memory=87188 CPUtime=3572.25 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 15648 0 0 0 356271 954 0 0 20 0 1 0 54010209 109256704 21797 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26674 21797 1376 243 0 22923 0
Current children cumulated CPU time: 3572.25 s
Current children cumulated vsize: 106696 KiB
Current children cumulated memory: 87188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.15 4.09 4.06 5/252 49591
/proc/meminfo: memFree=129020452/131382120 swapFree=33010416/33010684
[pid=48960] ppid=48957 vsize=106696 memory=87188 CPUtime=3600.07 cores=0,2
/proc/48960/stat : 48960 (pb-oll-rs) R 48957 48960 48617 0 -1 4194304 15648 0 0 0 359050 957 0 0 20 0 1 0 54010209 109256704 21797 18446744073709551615 4218880 5211445 140721724770384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 17739776 140721724778908 140721724778985 140721724778985 140721724784587 0
/proc/48960/statm: 26674 21797 1376 243 0 22923 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 106696 KiB
Current children cumulated memory: 87188 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.51 s, system=9.57104 s

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

Child status: 0

Real time (s): 3610.2
CPU time (s): 3600.08
CPU user time (s): 3590.51
CPU system time (s): 9.57104
CPU usage (%): 99.7195
Max. virtual memory (cumulated for all children) (KiB): 107384
Max. memory (cumulated for all children) (KiB): 87188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.51
system time used= 9.57104
maximum resident set size= 87772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15663
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= 117
involuntary context switches= 8213


# summary of solver processes directly reported to runsolver:
#   pid: 48960
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3590.51
#   total CPU system time (s): 9.57104

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3259 second user time and 34.7777 second system time

The end

Launcher Data

Begin job on nodeC002 at 2025-07-01 17:21:54
IDJOB=4491388
IDBENCH=147704
IDSOLVER=3345
FILE ID=nodeC002/4491388-1751383314
RUNJOBID= nodeC002-1751383217-48627
SLURM_JOB_ID= 9598229
Free space on /tmp= 433052 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_16.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491388-1751383314/watcher-4491388-1751383314 -o /tmp/evaluation-result-4491388-1751383314/solver-4491388-1751383314 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751383217-48627 --watchdog 3760  pb-oll-rs HOME/instance-4491388-1751383314.opb

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

MD5SUM BENCH= 0c97dedf99f03a2f12057daa91676c25
RANDOM SEED=577065719

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130043612 kB
MemAvailable:   129835512 kB
Buffers:            2128 kB
Cached:           600912 kB
SwapCached:           28 kB
Active:           445872 kB
Inactive:         298332 kB
Active(anon):     152692 kB
Inactive(anon):     6404 kB
Active(file):     293180 kB
Inactive(file):   291928 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4284 kB
Writeback:             0 kB
AnonPages:        142352 kB
Mapped:           106820 kB
Shmem:             17932 kB
KReclaimable:      92836 kB
Slab:             176588 kB
SReclaimable:      92836 kB
SUnreclaim:        83752 kB
KernelStack:        4080 kB
PageTables:         3304 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     482736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149336 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC002 at 2025-07-01 18:22:04