Trace number 4497505

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-05-06? (TO) 3600.01 3609.12

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
MD5SUMe3f6e03fc0c8fc921c0242da7dc19bcf
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark91.1167
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12935
Total number of constraints47889
Number of constraints which are clauses47870
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint1
Maximum length of a constraint953
Number of terms in the objective function 953
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 953
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 984
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
0.08/0.13	c [STEP] preprocessing with Papilo
0.08/0.19	c [STEP] solving with SCIP
299.52/300.44	c [STEP] preprocessing done, loading into solver
299.61/300.52	c [STEP] solving
299.61/300.52	c #variables 12914 #constraints 47832
299.61/300.52	c SMALL=int, LARGE=long long
299.61/300.52	d SCIPUB 21
299.61/300.52	c bounds - >= 0 @ 299.426
299.61/300.52	c stratification level: 0
517.82/519.31	c bounds - >= 1 @ 299.438
517.82/519.31	c bounds - >= 2 @ 299.439
517.82/519.31	c bounds - >= 3 @ 299.442
517.82/519.31	c bounds - >= 4 @ 299.443
517.82/519.31	c bounds - >= 5 @ 299.455
517.82/519.31	c bounds - >= 6 @ 299.457
517.82/519.31	c bounds - >= 7 @ 299.457
517.82/519.31	c #Conflicts:       1000 | #Constraints:      48843
517.82/519.31	c #Conflicts:       2000 | #Constraints:      49843
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:       3000 | #Constraints:      49845
517.82/519.31	c #Conflicts:       4000 | #Constraints:      50845
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:       5000 | #Constraints:      50252
517.82/519.31	c #Conflicts:       6000 | #Constraints:      51252
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:       7000 | #Constraints:      50259
517.82/519.31	c #Conflicts:       8000 | #Constraints:      51259
517.82/519.31	c #Conflicts:       9000 | #Constraints:      52259
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      10000 | #Constraints:      50966
517.82/519.31	c #Conflicts:      11000 | #Constraints:      51966
517.82/519.31	c #Conflicts:      12000 | #Constraints:      52966
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      13000 | #Constraints:      51418
517.82/519.31	c #Conflicts:      14000 | #Constraints:      52418
517.82/519.31	c #Conflicts:      15000 | #Constraints:      53418
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      16000 | #Constraints:      51656
517.82/519.31	c #Conflicts:      17000 | #Constraints:      52656
517.82/519.31	c #Conflicts:      18000 | #Constraints:      53656
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      19000 | #Constraints:      51665
517.82/519.31	c #Conflicts:      20000 | #Constraints:      52665
517.82/519.31	c #Conflicts:      21000 | #Constraints:      53665
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      22000 | #Constraints:      51489
517.82/519.31	c #Conflicts:      23000 | #Constraints:      52489
517.82/519.31	c #Conflicts:      24000 | #Constraints:      53489
517.82/519.31	c #Conflicts:      25000 | #Constraints:      54489
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      26000 | #Constraints:      52090
517.82/519.31	c #Conflicts:      27000 | #Constraints:      53090
517.82/519.31	c #Conflicts:      28000 | #Constraints:      54090
517.82/519.31	c #Conflicts:      29000 | #Constraints:      55090
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      30000 | #Constraints:      52483
517.82/519.31	c #Conflicts:      31000 | #Constraints:      53483
517.82/519.31	c #Conflicts:      32000 | #Constraints:      54483
517.82/519.31	c #Conflicts:      33000 | #Constraints:      55483
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      34000 | #Constraints:      52684
517.82/519.31	c #Conflicts:      35000 | #Constraints:      53684
517.82/519.31	c #Conflicts:      36000 | #Constraints:      54684
517.82/519.31	c #Conflicts:      37000 | #Constraints:      55684
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      38000 | #Constraints:      52689
517.82/519.31	c #Conflicts:      39000 | #Constraints:      53689
517.82/519.31	c #Conflicts:      40000 | #Constraints:      54689
517.82/519.31	c #Conflicts:      41000 | #Constraints:      55689
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      42000 | #Constraints:      52489
517.82/519.31	c #Conflicts:      43000 | #Constraints:      53489
517.82/519.31	c #Conflicts:      44000 | #Constraints:      54489
517.82/519.31	c #Conflicts:      45000 | #Constraints:      55489
517.82/519.31	c #Conflicts:      46000 | #Constraints:      56489
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      47000 | #Constraints:      53086
517.82/519.31	c #Conflicts:      48000 | #Constraints:      54086
517.82/519.31	c #Conflicts:      49000 | #Constraints:      55086
517.82/519.31	c #Conflicts:      50000 | #Constraints:      56086
517.82/519.31	c #Conflicts:      51000 | #Constraints:      57086
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      52000 | #Constraints:      53489
517.82/519.31	c #Conflicts:      53000 | #Constraints:      54489
517.82/519.31	c #Conflicts:      54000 | #Constraints:      55489
517.82/519.31	c #Conflicts:      55000 | #Constraints:      56489
517.82/519.31	c #Conflicts:      56000 | #Constraints:      57489
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      57000 | #Constraints:      53708
517.82/519.31	c #Conflicts:      58000 | #Constraints:      54708
517.82/519.31	c #Conflicts:      59000 | #Constraints:      55708
517.82/519.31	c #Conflicts:      60000 | #Constraints:      56708
517.82/519.31	c #Conflicts:      61000 | #Constraints:      57708
517.82/519.31	c INPROCESSING
517.82/519.31	c GARBAGE COLLECT
517.82/519.31	c #Conflicts:      62000 | #Constraints:      53701
517.82/519.31	c #Conflicts:      63000 | #Constraints:      54701
517.82/519.31	c #Conflicts:      64000 | #Constraints:      55701
517.82/519.31	c #Conflicts:      65000 | #Constraints:      56701
881.21/883.74	c #Conflicts:      66000 | #Constraints:      57701
881.21/883.74	c INPROCESSING
881.21/883.74	c GARBAGE COLLECT
881.21/883.74	c #Conflicts:      67000 | #Constraints:      53499
881.21/883.74	c #Conflicts:      68000 | #Constraints:      54499
881.21/883.74	c #Conflicts:      69000 | #Constraints:      55499
881.21/883.74	c #Conflicts:      70000 | #Constraints:      56499
881.21/883.74	c #Conflicts:      71000 | #Constraints:      57499
881.21/883.74	c #Conflicts:      72000 | #Constraints:      58499
881.21/883.74	c INPROCESSING
881.21/883.74	c GARBAGE COLLECT
881.21/883.74	c #Conflicts:      73000 | #Constraints:      54096
881.21/883.74	c #Conflicts:      74000 | #Constraints:      55096
881.21/883.74	c #Conflicts:      75000 | #Constraints:      56096
881.21/883.74	c #Conflicts:      76000 | #Constraints:      57096
881.21/883.74	c #Conflicts:      77000 | #Constraints:      58096
881.21/883.74	c #Conflicts:      78000 | #Constraints:      59096
881.21/883.74	c INPROCESSING
881.21/883.74	c GARBAGE COLLECT
881.21/883.74	c #Conflicts:      79000 | #Constraints:      54513
881.21/883.74	c #Conflicts:      80000 | #Constraints:      55513
881.21/883.74	c #Conflicts:      81000 | #Constraints:      56513
881.21/883.74	c #Conflicts:      82000 | #Constraints:      57513
881.21/883.74	c #Conflicts:      83000 | #Constraints:      58513
881.21/883.74	c #Conflicts:      84000 | #Constraints:      59513
881.21/883.74	c INPROCESSING
881.21/883.74	c GARBAGE COLLECT
881.21/883.74	c #Conflicts:      85000 | #Constraints:      54702
881.21/883.74	c #Conflicts:      86000 | #Constraints:      55702
881.21/883.74	c #Conflicts:      87000 | #Constraints:      56702
881.21/883.74	c #Conflicts:      88000 | #Constraints:      57702
881.21/883.74	c #Conflicts:      89000 | #Constraints:      58702
881.21/883.74	c #Conflicts:      90000 | #Constraints:      59702
881.21/883.74	c INPROCESSING
881.21/883.74	c GARBAGE COLLECT
881.21/883.74	c #Conflicts:      91000 | #Constraints:      54716
881.21/883.74	c #Conflicts:      92000 | #Constraints:      55716
881.21/883.74	c #Conflicts:      93000 | #Constraints:      56716
881.21/883.74	c #Conflicts:      94000 | #Constraints:      57716
881.21/883.74	c #Conflicts:      95000 | #Constraints:      58716
881.21/883.74	c #Conflicts:      96000 | #Constraints:      59716
881.21/883.74	c INPROCESSING
881.21/883.74	c GARBAGE COLLECT
881.21/883.74	c #Conflicts:      97000 | #Constraints:      54554
881.21/883.74	c #Conflicts:      98000 | #Constraints:      55554
881.21/883.74	c #Conflicts:      99000 | #Constraints:      56554
881.21/883.74	c #Conflicts:     100000 | #Constraints:      57554
881.21/883.74	c #Conflicts:     101000 | #Constraints:      58554
881.21/883.74	c #Conflicts:     102000 | #Constraints:      59554
881.21/883.74	c #Conflicts:     103000 | #Constraints:      60554
881.21/883.74	c INPROCESSING
881.21/883.74	c GARBAGE COLLECT
881.21/883.74	c #Conflicts:     104000 | #Constraints:      55145
881.21/883.74	c #Conflicts:     105000 | #Constraints:      56145
881.21/883.74	c #Conflicts:     106000 | #Constraints:      57145
881.21/883.74	c #Conflicts:     107000 | #Constraints:      58145
881.21/883.74	c #Conflicts:     108000 | #Constraints:      59145
881.21/883.74	c #Conflicts:     109000 | #Constraints:      60145
881.21/883.74	c #Conflicts:     110000 | #Constraints:      61145
881.21/883.74	c INPROCESSING
881.21/883.74	c GARBAGE COLLECT
881.21/883.74	c #Conflicts:     111000 | #Constraints:      55523
881.21/883.74	c #Conflicts:     112000 | #Constraints:      56523
881.21/883.74	c #Conflicts:     113000 | #Constraints:      57523
881.21/883.74	c #Conflicts:     114000 | #Constraints:      58523
881.21/883.74	c #Conflicts:     115000 | #Constraints:      59523
881.21/883.74	c #Conflicts:     116000 | #Constraints:      60523
881.21/883.74	c #Conflicts:     117000 | #Constraints:      61523
881.21/883.74	c INPROCESSING
881.21/883.74	c GARBAGE COLLECT
881.21/883.74	c #Conflicts:     118000 | #Constraints:      55757
881.21/883.74	c #Conflicts:     119000 | #Constraints:      56757
881.21/883.74	c #Conflicts:     120000 | #Constraints:      57757
881.21/883.74	c #Conflicts:     121000 | #Constraints:      58757
881.21/883.74	c #Conflicts:     122000 | #Constraints:      59757
881.21/883.74	c #Conflicts:     123000 | #Constraints:      60757
881.21/883.74	c #Conflicts:     124000 | #Constraints:      61757
881.21/883.74	c INPROCESSING
881.21/883.74	c GARBAGE COLLECT
881.21/883.74	c #Conflicts:     125000 | #Constraints:      55754
881.21/883.74	c #Conflicts:     126000 | #Constraints:      56754
881.21/883.74	c #Conflicts:     127000 | #Constraints:      57754
881.21/883.74	c #Conflicts:     128000 | #Constraints:      58754
881.21/883.74	c #Conflicts:     129000 | #Constraints:      59754
881.21/883.74	c #Conflicts:     130000 | #Constraints:      60754
881.21/883.74	c #Conflicts:     131000 | #Constraints:      61754
881.21/883.74	c INPROCESSING
881.21/883.74	c GARBAGE COLLECT
881.21/883.74	c #Conflicts:     132000 | #Constraints:      55541
881.21/883.74	c #Conflicts:     133000 | #Constraints:      56541
881.21/883.74	c #Conflicts:     134000 | #Constraints:      57541
881.21/883.74	c #Conflicts:     135000 | #Constraints:      58541
881.21/883.74	c #Conflicts:     136000 | #Constraints:      59541
881.21/883.74	c #Conflicts:     137000 | #Constraints:      60541
1245.81/1249.38	c #Conflicts:     138000 | #Constraints:      61541
1245.81/1249.38	c #Conflicts:     139000 | #Constraints:      62541
1245.81/1249.38	c INPROCESSING
1245.81/1249.38	c GARBAGE COLLECT
1245.81/1249.38	c #Conflicts:     140000 | #Constraints:      56135
1245.81/1249.38	c #Conflicts:     141000 | #Constraints:      57135
1245.81/1249.38	c #Conflicts:     142000 | #Constraints:      58135
1245.81/1249.38	c #Conflicts:     143000 | #Constraints:      59135
1245.81/1249.38	c #Conflicts:     144000 | #Constraints:      60135
1245.81/1249.38	c #Conflicts:     145000 | #Constraints:      61135
1245.81/1249.38	c #Conflicts:     146000 | #Constraints:      62135
1245.81/1249.38	c #Conflicts:     147000 | #Constraints:      63135
1245.81/1249.38	c INPROCESSING
1245.81/1249.38	c GARBAGE COLLECT
1245.81/1249.38	c #Conflicts:     148000 | #Constraints:      56538
1245.81/1249.38	c #Conflicts:     149000 | #Constraints:      57538
1245.81/1249.38	c #Conflicts:     150000 | #Constraints:      58538
1245.81/1249.38	c #Conflicts:     151000 | #Constraints:      59538
1245.81/1249.38	c #Conflicts:     152000 | #Constraints:      60538
1245.81/1249.38	c #Conflicts:     153000 | #Constraints:      61538
1245.81/1249.38	c #Conflicts:     154000 | #Constraints:      62538
1245.81/1249.38	c #Conflicts:     155000 | #Constraints:      63538
1245.81/1249.38	c INPROCESSING
1245.81/1249.38	c GARBAGE COLLECT
1245.81/1249.38	c #Conflicts:     156000 | #Constraints:      56717
1245.81/1249.38	c #Conflicts:     157000 | #Constraints:      57717
1245.81/1249.38	c #Conflicts:     158000 | #Constraints:      58717
1245.81/1249.38	c #Conflicts:     159000 | #Constraints:      59717
1245.81/1249.38	c #Conflicts:     160000 | #Constraints:      60717
1245.81/1249.38	c #Conflicts:     161000 | #Constraints:      61717
1245.81/1249.38	c #Conflicts:     162000 | #Constraints:      62717
1245.81/1249.38	c #Conflicts:     163000 | #Constraints:      63717
1245.81/1249.38	c INPROCESSING
1245.81/1249.38	c GARBAGE COLLECT
1245.81/1249.38	c #Conflicts:     164000 | #Constraints:      56705
1245.81/1249.38	c #Conflicts:     165000 | #Constraints:      57705
1245.81/1249.38	c #Conflicts:     166000 | #Constraints:      58705
1245.81/1249.38	c #Conflicts:     167000 | #Constraints:      59705
1245.81/1249.38	c #Conflicts:     168000 | #Constraints:      60705
1245.81/1249.38	c #Conflicts:     169000 | #Constraints:      61705
1245.81/1249.38	c #Conflicts:     170000 | #Constraints:      62705
1245.81/1249.38	c #Conflicts:     171000 | #Constraints:      63705
1245.81/1249.38	c INPROCESSING
1245.81/1249.38	c GARBAGE COLLECT
1245.81/1249.38	c #Conflicts:     172000 | #Constraints:      56493
1245.81/1249.38	c #Conflicts:     173000 | #Constraints:      57493
1245.81/1249.38	c #Conflicts:     174000 | #Constraints:      58493
1245.81/1249.38	c #Conflicts:     175000 | #Constraints:      59493
1245.81/1249.38	c #Conflicts:     176000 | #Constraints:      60493
1245.81/1249.38	c #Conflicts:     177000 | #Constraints:      61493
1245.81/1249.38	c #Conflicts:     178000 | #Constraints:      62493
1245.81/1249.38	c #Conflicts:     179000 | #Constraints:      63493
1245.81/1249.38	c #Conflicts:     180000 | #Constraints:      64493
1245.81/1249.38	c INPROCESSING
1245.81/1249.38	c GARBAGE COLLECT
1245.81/1249.38	c #Conflicts:     181000 | #Constraints:      57090
1245.81/1249.38	c #Conflicts:     182000 | #Constraints:      58090
1245.81/1249.38	c #Conflicts:     183000 | #Constraints:      59090
1245.81/1249.38	c #Conflicts:     184000 | #Constraints:      60090
1245.81/1249.38	c #Conflicts:     185000 | #Constraints:      61090
1245.81/1249.38	c #Conflicts:     186000 | #Constraints:      62090
1245.81/1249.38	c #Conflicts:     187000 | #Constraints:      63090
1245.81/1249.38	c #Conflicts:     188000 | #Constraints:      64090
1245.81/1249.38	c #Conflicts:     189000 | #Constraints:      65090
1245.81/1249.38	c INPROCESSING
1245.81/1249.38	c GARBAGE COLLECT
1245.81/1249.38	c #Conflicts:     190000 | #Constraints:      57498
1245.81/1249.38	c #Conflicts:     191000 | #Constraints:      58498
1245.81/1249.38	c #Conflicts:     192000 | #Constraints:      59498
1245.81/1249.38	c #Conflicts:     193000 | #Constraints:      60498
1245.81/1249.38	c #Conflicts:     194000 | #Constraints:      61498
1245.81/1249.38	c #Conflicts:     195000 | #Constraints:      62498
1245.81/1249.38	c #Conflicts:     196000 | #Constraints:      63498
1245.81/1249.38	c #Conflicts:     197000 | #Constraints:      64498
1245.81/1249.38	c #Conflicts:     198000 | #Constraints:      65498
1245.81/1249.38	c INPROCESSING
1245.81/1249.38	c GARBAGE COLLECT
1245.81/1249.38	c #Conflicts:     199000 | #Constraints:      57704
1245.81/1249.38	c #Conflicts:     200000 | #Constraints:      58704
1245.81/1249.38	c #Conflicts:     201000 | #Constraints:      59704
1245.81/1249.38	c #Conflicts:     202000 | #Constraints:      60704
1245.81/1249.38	c #Conflicts:     203000 | #Constraints:      61704
1245.81/1249.38	c #Conflicts:     204000 | #Constraints:      62704
1245.81/1249.38	c #Conflicts:     205000 | #Constraints:      63704
1245.81/1249.38	c #Conflicts:     206000 | #Constraints:      64704
1245.81/1249.38	c #Conflicts:     207000 | #Constraints:      65704
1245.81/1249.38	c INPROCESSING
1245.81/1249.38	c GARBAGE COLLECT
1245.81/1249.38	c #Conflicts:     208000 | #Constraints:      57707
1245.81/1249.38	c #Conflicts:     209000 | #Constraints:      58707
1245.81/1249.38	c #Conflicts:     210000 | #Constraints:      59707
1608.67/1613.26	c #Conflicts:     211000 | #Constraints:      60707
1608.67/1613.26	c #Conflicts:     212000 | #Constraints:      61707
1608.67/1613.26	c #Conflicts:     213000 | #Constraints:      62707
1608.67/1613.26	c #Conflicts:     214000 | #Constraints:      63707
1608.67/1613.26	c #Conflicts:     215000 | #Constraints:      64707
1608.67/1613.26	c #Conflicts:     216000 | #Constraints:      65707
1608.67/1613.26	c INPROCESSING
1608.67/1613.26	c GARBAGE COLLECT
1608.67/1613.26	c #Conflicts:     217000 | #Constraints:      57496
1608.67/1613.26	c #Conflicts:     218000 | #Constraints:      58496
1608.67/1613.26	c #Conflicts:     219000 | #Constraints:      59496
1608.67/1613.26	c #Conflicts:     220000 | #Constraints:      60496
1608.67/1613.26	c #Conflicts:     221000 | #Constraints:      61496
1608.67/1613.26	c #Conflicts:     222000 | #Constraints:      62496
1608.67/1613.26	c #Conflicts:     223000 | #Constraints:      63496
1608.67/1613.26	c #Conflicts:     224000 | #Constraints:      64496
1608.67/1613.26	c #Conflicts:     225000 | #Constraints:      65496
1608.67/1613.26	c #Conflicts:     226000 | #Constraints:      66496
1608.67/1613.26	c INPROCESSING
1608.67/1613.26	c GARBAGE COLLECT
1608.67/1613.26	c #Conflicts:     227000 | #Constraints:      58114
1608.67/1613.26	c #Conflicts:     228000 | #Constraints:      59114
1608.67/1613.26	c #Conflicts:     229000 | #Constraints:      60114
1608.67/1613.26	c #Conflicts:     230000 | #Constraints:      61114
1608.67/1613.26	c #Conflicts:     231000 | #Constraints:      62114
1608.67/1613.26	c #Conflicts:     232000 | #Constraints:      63114
1608.67/1613.26	c #Conflicts:     233000 | #Constraints:      64114
1608.67/1613.26	c #Conflicts:     234000 | #Constraints:      65114
1608.67/1613.26	c #Conflicts:     235000 | #Constraints:      66114
1608.67/1613.26	c #Conflicts:     236000 | #Constraints:      67114
1608.67/1613.26	c INPROCESSING
1608.67/1613.26	c GARBAGE COLLECT
1608.67/1613.26	c #Conflicts:     237000 | #Constraints:      58512
1608.67/1613.26	c #Conflicts:     238000 | #Constraints:      59512
1608.67/1613.26	c #Conflicts:     239000 | #Constraints:      60512
1608.67/1613.26	c #Conflicts:     240000 | #Constraints:      61512
1608.67/1613.26	c #Conflicts:     241000 | #Constraints:      62512
1608.67/1613.26	c #Conflicts:     242000 | #Constraints:      63512
1608.67/1613.26	c #Conflicts:     243000 | #Constraints:      64512
1608.67/1613.26	c #Conflicts:     244000 | #Constraints:      65512
1608.67/1613.26	c #Conflicts:     245000 | #Constraints:      66512
1608.67/1613.26	c #Conflicts:     246000 | #Constraints:      67512
1608.67/1613.26	c INPROCESSING
1608.67/1613.26	c GARBAGE COLLECT
1608.67/1613.26	c #Conflicts:     247000 | #Constraints:      58717
1608.67/1613.26	c #Conflicts:     248000 | #Constraints:      59717
1608.67/1613.26	c #Conflicts:     249000 | #Constraints:      60717
1608.67/1613.26	c #Conflicts:     250000 | #Constraints:      61717
1608.67/1613.26	c #Conflicts:     251000 | #Constraints:      62717
1608.67/1613.26	c #Conflicts:     252000 | #Constraints:      63717
1608.67/1613.26	c #Conflicts:     253000 | #Constraints:      64717
1608.67/1613.26	c #Conflicts:     254000 | #Constraints:      65717
1608.67/1613.26	c #Conflicts:     255000 | #Constraints:      66717
1608.67/1613.26	c #Conflicts:     256000 | #Constraints:      67717
1608.67/1613.26	c INPROCESSING
1608.67/1613.26	c GARBAGE COLLECT
1608.67/1613.26	c #Conflicts:     257000 | #Constraints:      58733
1608.67/1613.26	c #Conflicts:     258000 | #Constraints:      59733
1608.67/1613.26	c #Conflicts:     259000 | #Constraints:      60733
1608.67/1613.26	c #Conflicts:     260000 | #Constraints:      61733
1608.67/1613.26	c #Conflicts:     261000 | #Constraints:      62733
1608.67/1613.26	c #Conflicts:     262000 | #Constraints:      63733
1608.67/1613.26	c #Conflicts:     263000 | #Constraints:      64733
1608.67/1613.26	c #Conflicts:     264000 | #Constraints:      65733
1608.67/1613.26	c #Conflicts:     265000 | #Constraints:      66733
1608.67/1613.26	c #Conflicts:     266000 | #Constraints:      67733
1608.67/1613.26	c INPROCESSING
1608.67/1613.26	c GARBAGE COLLECT
1608.67/1613.26	c #Conflicts:     267000 | #Constraints:      58530
1608.67/1613.26	c #Conflicts:     268000 | #Constraints:      59530
1608.67/1613.26	c #Conflicts:     269000 | #Constraints:      60530
1608.67/1613.26	c #Conflicts:     270000 | #Constraints:      61530
1608.67/1613.26	c #Conflicts:     271000 | #Constraints:      62530
1608.67/1613.26	c #Conflicts:     272000 | #Constraints:      63530
1608.67/1613.26	c #Conflicts:     273000 | #Constraints:      64530
1608.67/1613.26	c #Conflicts:     274000 | #Constraints:      65530
1608.67/1613.26	c #Conflicts:     275000 | #Constraints:      66530
1608.67/1613.26	c #Conflicts:     276000 | #Constraints:      67530
1608.67/1613.26	c #Conflicts:     277000 | #Constraints:      68530
1608.67/1613.26	c INPROCESSING
1608.67/1613.26	c GARBAGE COLLECT
1608.67/1613.26	c #Conflicts:     278000 | #Constraints:      59119
1608.67/1613.26	c #Conflicts:     279000 | #Constraints:      60119
1608.67/1613.26	c #Conflicts:     280000 | #Constraints:      61119
1608.67/1613.26	c #Conflicts:     281000 | #Constraints:      62119
1608.67/1613.26	c #Conflicts:     282000 | #Constraints:      63119
1608.67/1613.26	c #Conflicts:     283000 | #Constraints:      64119
1608.67/1613.26	c #Conflicts:     284000 | #Constraints:      65119
1826.22/1831.39	c #Conflicts:     285000 | #Constraints:      66119
1826.22/1831.39	c #Conflicts:     286000 | #Constraints:      67119
1826.22/1831.39	c #Conflicts:     287000 | #Constraints:      68119
1826.22/1831.39	c #Conflicts:     288000 | #Constraints:      69119
1826.22/1831.39	c INPROCESSING
1826.22/1831.39	c GARBAGE COLLECT
1826.22/1831.39	c #Conflicts:     289000 | #Constraints:      59510
1826.22/1831.39	c #Conflicts:     290000 | #Constraints:      60510
1826.22/1831.39	c #Conflicts:     291000 | #Constraints:      61510
1826.22/1831.39	c #Conflicts:     292000 | #Constraints:      62510
1826.22/1831.39	c #Conflicts:     293000 | #Constraints:      63510
1826.22/1831.39	c #Conflicts:     294000 | #Constraints:      64510
1826.22/1831.39	c #Conflicts:     295000 | #Constraints:      65510
1826.22/1831.39	c #Conflicts:     296000 | #Constraints:      66510
1826.22/1831.39	c #Conflicts:     297000 | #Constraints:      67510
1826.22/1831.39	c #Conflicts:     298000 | #Constraints:      68510
1826.22/1831.39	c #Conflicts:     299000 | #Constraints:      69510
1826.22/1831.39	c INPROCESSING
1826.22/1831.39	c GARBAGE COLLECT
1826.22/1831.39	c #Conflicts:     300000 | #Constraints:      59704
1826.22/1831.39	c #Conflicts:     301000 | #Constraints:      60704
1826.22/1831.39	c #Conflicts:     302000 | #Constraints:      61704
1826.22/1831.39	c #Conflicts:     303000 | #Constraints:      62704
1826.22/1831.39	c #Conflicts:     304000 | #Constraints:      63704
1826.22/1831.39	c #Conflicts:     305000 | #Constraints:      64704
1826.22/1831.39	c #Conflicts:     306000 | #Constraints:      65704
1826.22/1831.39	c #Conflicts:     307000 | #Constraints:      66704
1826.22/1831.39	c #Conflicts:     308000 | #Constraints:      67704
1826.22/1831.39	c #Conflicts:     309000 | #Constraints:      68704
1826.22/1831.39	c #Conflicts:     310000 | #Constraints:      69704
1826.22/1831.39	c INPROCESSING
1826.22/1831.39	c GARBAGE COLLECT
1826.22/1831.39	c #Conflicts:     311000 | #Constraints:      59703
1826.22/1831.39	c #Conflicts:     312000 | #Constraints:      60703
1826.22/1831.39	c #Conflicts:     313000 | #Constraints:      61703
1826.22/1831.39	c #Conflicts:     314000 | #Constraints:      62703
1826.22/1831.39	c #Conflicts:     315000 | #Constraints:      63703
1826.22/1831.39	c #Conflicts:     316000 | #Constraints:      64703
1826.22/1831.39	c #Conflicts:     317000 | #Constraints:      65703
1826.22/1831.39	c #Conflicts:     318000 | #Constraints:      66703
1826.22/1831.39	c #Conflicts:     319000 | #Constraints:      67703
1826.22/1831.39	c #Conflicts:     320000 | #Constraints:      68703
1826.22/1831.39	c #Conflicts:     321000 | #Constraints:      69703
1826.22/1831.39	c INPROCESSING
1826.22/1831.39	c GARBAGE COLLECT
1826.22/1831.39	c #Conflicts:     322000 | #Constraints:      59513
1826.22/1831.39	c #Conflicts:     323000 | #Constraints:      60513
1826.22/1831.39	c #Conflicts:     324000 | #Constraints:      61513
1826.22/1831.39	c #Conflicts:     325000 | #Constraints:      62513
1826.22/1831.39	c #Conflicts:     326000 | #Constraints:      63513
1826.22/1831.39	c #Conflicts:     327000 | #Constraints:      64513
1826.22/1831.39	c #Conflicts:     328000 | #Constraints:      65513
1826.22/1831.39	c #Conflicts:     329000 | #Constraints:      66513
1826.22/1831.39	c #Conflicts:     330000 | #Constraints:      67513
1826.22/1831.39	c #Conflicts:     331000 | #Constraints:      68513
1826.22/1831.39	c #Conflicts:     332000 | #Constraints:      69513
1826.22/1831.39	c #Conflicts:     333000 | #Constraints:      70513
1826.22/1831.39	c INPROCESSING
1826.22/1831.39	c GARBAGE COLLECT
1826.22/1831.39	c #Conflicts:     334000 | #Constraints:      60110
1826.22/1831.39	c #Conflicts:     335000 | #Constraints:      61110
1826.22/1831.39	c #Conflicts:     336000 | #Constraints:      62110
1826.22/1831.39	c #Conflicts:     337000 | #Constraints:      63110
1826.22/1831.39	c #Conflicts:     338000 | #Constraints:      64110
1826.22/1831.39	c #Conflicts:     339000 | #Constraints:      65110
1826.22/1831.39	c #Conflicts:     340000 | #Constraints:      66110
1826.22/1831.39	c #Conflicts:     341000 | #Constraints:      67110
1826.22/1831.39	c #Conflicts:     342000 | #Constraints:      68110
1826.22/1831.39	c #Conflicts:     343000 | #Constraints:      69110
1826.22/1831.39	c #Conflicts:     344000 | #Constraints:      70110
1826.22/1831.39	c #Conflicts:     345000 | #Constraints:      71110
1826.22/1831.39	c INPROCESSING
1826.22/1831.39	c GARBAGE COLLECT
1826.22/1831.39	c #Conflicts:     346000 | #Constraints:      60504
1826.22/1831.39	c #Conflicts:     347000 | #Constraints:      61504
1826.22/1831.39	c #Conflicts:     348000 | #Constraints:      62504
1826.22/1831.39	c #Conflicts:     349000 | #Constraints:      63504
1826.22/1831.39	c #Conflicts:     350000 | #Constraints:      64504
1826.22/1831.39	c #Conflicts:     351000 | #Constraints:      65504
1826.22/1831.39	c #Conflicts:     352000 | #Constraints:      66504
1826.22/1831.39	c #Conflicts:     353000 | #Constraints:      67504
1826.22/1831.39	c #Conflicts:     354000 | #Constraints:      68504
1826.22/1831.39	c #Conflicts:     355000 | #Constraints:      69504
1826.22/1831.39	c #Conflicts:     356000 | #Constraints:      70504
1826.22/1831.39	c #Conflicts:     357000 | #Constraints:      71504
1826.22/1831.39	c INPROCESSING
1826.22/1831.39	c GARBAGE COLLECT
1826.22/1831.39	c #Conflicts:     358000 | #Constraints:      60706
2061.98/2067.64	c #Conflicts:     359000 | #Constraints:      61706
2061.98/2067.64	c #Conflicts:     360000 | #Constraints:      62706
2061.98/2067.64	c #Conflicts:     361000 | #Constraints:      63706
2061.98/2067.64	c #Conflicts:     362000 | #Constraints:      64706
2061.98/2067.64	c #Conflicts:     363000 | #Constraints:      65706
2061.98/2067.64	c #Conflicts:     364000 | #Constraints:      66706
2061.98/2067.64	c #Conflicts:     365000 | #Constraints:      67706
2061.98/2067.64	c #Conflicts:     366000 | #Constraints:      68706
2061.98/2067.64	c #Conflicts:     367000 | #Constraints:      69706
2061.98/2067.64	c #Conflicts:     368000 | #Constraints:      70706
2061.98/2067.64	c #Conflicts:     369000 | #Constraints:      71706
2061.98/2067.64	c INPROCESSING
2061.98/2067.64	c GARBAGE COLLECT
2061.98/2067.64	c #Conflicts:     370000 | #Constraints:      60711
2061.98/2067.64	c #Conflicts:     371000 | #Constraints:      61711
2061.98/2067.64	c #Conflicts:     372000 | #Constraints:      62711
2061.98/2067.64	c #Conflicts:     373000 | #Constraints:      63711
2061.98/2067.64	c #Conflicts:     374000 | #Constraints:      64711
2061.98/2067.64	c #Conflicts:     375000 | #Constraints:      65711
2061.98/2067.64	c #Conflicts:     376000 | #Constraints:      66711
2061.98/2067.64	c #Conflicts:     377000 | #Constraints:      67711
2061.98/2067.64	c #Conflicts:     378000 | #Constraints:      68711
2061.98/2067.64	c #Conflicts:     379000 | #Constraints:      69711
2061.98/2067.64	c #Conflicts:     380000 | #Constraints:      70711
2061.98/2067.64	c #Conflicts:     381000 | #Constraints:      71711
2061.98/2067.64	c INPROCESSING
2061.98/2067.64	c GARBAGE COLLECT
2061.98/2067.64	c #Conflicts:     382000 | #Constraints:      60523
2061.98/2067.64	c #Conflicts:     383000 | #Constraints:      61523
2061.98/2067.64	c #Conflicts:     384000 | #Constraints:      62523
2061.98/2067.64	c #Conflicts:     385000 | #Constraints:      63523
2061.98/2067.64	c #Conflicts:     386000 | #Constraints:      64523
2061.98/2067.64	c #Conflicts:     387000 | #Constraints:      65523
2061.98/2067.64	c #Conflicts:     388000 | #Constraints:      66523
2061.98/2067.64	c #Conflicts:     389000 | #Constraints:      67523
2061.98/2067.64	c #Conflicts:     390000 | #Constraints:      68523
2061.98/2067.64	c #Conflicts:     391000 | #Constraints:      69523
2061.98/2067.64	c #Conflicts:     392000 | #Constraints:      70523
2061.98/2067.64	c #Conflicts:     393000 | #Constraints:      71523
2061.98/2067.64	c #Conflicts:     394000 | #Constraints:      72523
2061.98/2067.64	c INPROCESSING
2061.98/2067.64	c GARBAGE COLLECT
2061.98/2067.64	c #Conflicts:     395000 | #Constraints:      61119
2061.98/2067.64	c #Conflicts:     396000 | #Constraints:      62119
2061.98/2067.64	c #Conflicts:     397000 | #Constraints:      63119
2061.98/2067.64	c #Conflicts:     398000 | #Constraints:      64119
2061.98/2067.64	c #Conflicts:     399000 | #Constraints:      65119
2061.98/2067.64	c #Conflicts:     400000 | #Constraints:      66119
2061.98/2067.64	c #Conflicts:     401000 | #Constraints:      67119
2061.98/2067.64	c #Conflicts:     402000 | #Constraints:      68119
2061.98/2067.64	c #Conflicts:     403000 | #Constraints:      69119
2061.98/2067.64	c #Conflicts:     404000 | #Constraints:      70119
2061.98/2067.64	c #Conflicts:     405000 | #Constraints:      71119
2061.98/2067.64	c #Conflicts:     406000 | #Constraints:      72119
2061.98/2067.64	c #Conflicts:     407000 | #Constraints:      73119
2061.98/2067.64	c INPROCESSING
2061.98/2067.64	c GARBAGE COLLECT
2061.98/2067.64	c #Conflicts:     408000 | #Constraints:      61506
2061.98/2067.64	c #Conflicts:     409000 | #Constraints:      62506
2061.98/2067.64	c #Conflicts:     410000 | #Constraints:      63506
2061.98/2067.64	c #Conflicts:     411000 | #Constraints:      64506
2061.98/2067.64	c #Conflicts:     412000 | #Constraints:      65506
2061.98/2067.64	c #Conflicts:     413000 | #Constraints:      66506
2061.98/2067.64	c #Conflicts:     414000 | #Constraints:      67506
2061.98/2067.64	c #Conflicts:     415000 | #Constraints:      68506
2061.98/2067.64	c #Conflicts:     416000 | #Constraints:      69506
2061.98/2067.64	c #Conflicts:     417000 | #Constraints:      70506
2061.98/2067.64	c #Conflicts:     418000 | #Constraints:      71506
2061.98/2067.64	c #Conflicts:     419000 | #Constraints:      72506
2061.98/2067.64	c #Conflicts:     420000 | #Constraints:      73506
2061.98/2067.64	c INPROCESSING
2061.98/2067.64	c GARBAGE COLLECT
2061.98/2067.64	c #Conflicts:     421000 | #Constraints:      61708
2061.98/2067.64	c #Conflicts:     422000 | #Constraints:      62708
2061.98/2067.64	c #Conflicts:     423000 | #Constraints:      63708
2061.98/2067.64	c #Conflicts:     424000 | #Constraints:      64708
2061.98/2067.64	c #Conflicts:     425000 | #Constraints:      65708
2061.98/2067.64	c #Conflicts:     426000 | #Constraints:      66708
2061.98/2067.64	c #Conflicts:     427000 | #Constraints:      67708
2061.98/2067.64	c #Conflicts:     428000 | #Constraints:      68708
2061.98/2067.64	c #Conflicts:     429000 | #Constraints:      69708
2061.98/2067.64	c #Conflicts:     430000 | #Constraints:      70708
2061.98/2067.64	c #Conflicts:     431000 | #Constraints:      71708
2061.98/2067.64	c #Conflicts:     432000 | #Constraints:      72708
2061.98/2067.64	c #Conflicts:     433000 | #Constraints:      73708
2061.98/2067.64	c INPROCESSING
2061.98/2067.64	c GARBAGE COLLECT
2320.69/2326.98	c #Conflicts:     434000 | #Constraints:      61739
2320.69/2326.98	c #Conflicts:     435000 | #Constraints:      62739
2320.69/2326.98	c #Conflicts:     436000 | #Constraints:      63739
2320.69/2326.98	c #Conflicts:     437000 | #Constraints:      64739
2320.69/2326.98	c #Conflicts:     438000 | #Constraints:      65739
2320.69/2326.98	c #Conflicts:     439000 | #Constraints:      66739
2320.69/2326.98	c #Conflicts:     440000 | #Constraints:      67739
2320.69/2326.98	c #Conflicts:     441000 | #Constraints:      68739
2320.69/2326.98	c #Conflicts:     442000 | #Constraints:      69739
2320.69/2326.98	c #Conflicts:     443000 | #Constraints:      70739
2320.69/2326.98	c #Conflicts:     444000 | #Constraints:      71739
2320.69/2326.98	c #Conflicts:     445000 | #Constraints:      72739
2320.69/2326.98	c #Conflicts:     446000 | #Constraints:      73739
2320.69/2326.98	c INPROCESSING
2320.69/2326.98	c GARBAGE COLLECT
2320.69/2326.98	c #Conflicts:     447000 | #Constraints:      61542
2320.69/2326.98	c #Conflicts:     448000 | #Constraints:      62542
2320.69/2326.98	c #Conflicts:     449000 | #Constraints:      63542
2320.69/2326.98	c #Conflicts:     450000 | #Constraints:      64542
2320.69/2326.98	c #Conflicts:     451000 | #Constraints:      65542
2320.69/2326.98	c #Conflicts:     452000 | #Constraints:      66542
2320.69/2326.98	c #Conflicts:     453000 | #Constraints:      67542
2320.69/2326.98	c #Conflicts:     454000 | #Constraints:      68542
2320.69/2326.98	c #Conflicts:     455000 | #Constraints:      69542
2320.69/2326.98	c #Conflicts:     456000 | #Constraints:      70542
2320.69/2326.98	c #Conflicts:     457000 | #Constraints:      71542
2320.69/2326.98	c #Conflicts:     458000 | #Constraints:      72542
2320.69/2326.98	c #Conflicts:     459000 | #Constraints:      73542
2320.69/2326.98	c #Conflicts:     460000 | #Constraints:      74542
2320.69/2326.98	c INPROCESSING
2320.69/2326.98	c GARBAGE COLLECT
2320.69/2326.98	c #Conflicts:     461000 | #Constraints:      62125
2320.69/2326.98	c #Conflicts:     462000 | #Constraints:      63125
2320.69/2326.98	c #Conflicts:     463000 | #Constraints:      64125
2320.69/2326.98	c #Conflicts:     464000 | #Constraints:      65125
2320.69/2326.98	c #Conflicts:     465000 | #Constraints:      66125
2320.69/2326.98	c #Conflicts:     466000 | #Constraints:      67125
2320.69/2326.98	c #Conflicts:     467000 | #Constraints:      68125
2320.69/2326.98	c #Conflicts:     468000 | #Constraints:      69125
2320.69/2326.98	c #Conflicts:     469000 | #Constraints:      70125
2320.69/2326.98	c #Conflicts:     470000 | #Constraints:      71125
2320.69/2326.98	c #Conflicts:     471000 | #Constraints:      72125
2320.69/2326.98	c #Conflicts:     472000 | #Constraints:      73125
2320.69/2326.98	c #Conflicts:     473000 | #Constraints:      74125
2320.69/2326.98	c #Conflicts:     474000 | #Constraints:      75125
2320.69/2326.98	c INPROCESSING
2320.69/2326.98	c GARBAGE COLLECT
2320.69/2326.98	c #Conflicts:     475000 | #Constraints:      62518
2320.69/2326.98	c #Conflicts:     476000 | #Constraints:      63518
2320.69/2326.98	c #Conflicts:     477000 | #Constraints:      64518
2320.69/2326.98	c #Conflicts:     478000 | #Constraints:      65518
2320.69/2326.98	c #Conflicts:     479000 | #Constraints:      66518
2320.69/2326.98	c #Conflicts:     480000 | #Constraints:      67518
2320.69/2326.98	c #Conflicts:     481000 | #Constraints:      68518
2320.69/2326.98	c #Conflicts:     482000 | #Constraints:      69518
2320.69/2326.98	c #Conflicts:     483000 | #Constraints:      70518
2320.69/2326.98	c #Conflicts:     484000 | #Constraints:      71518
2320.69/2326.98	c #Conflicts:     485000 | #Constraints:      72518
2320.69/2326.98	c #Conflicts:     486000 | #Constraints:      73518
2320.69/2326.98	c #Conflicts:     487000 | #Constraints:      74518
2320.69/2326.98	c #Conflicts:     488000 | #Constraints:      75518
2320.69/2326.98	c INPROCESSING
2320.69/2326.98	c GARBAGE COLLECT
2320.69/2326.98	c #Conflicts:     489000 | #Constraints:      62709
2320.69/2326.98	c #Conflicts:     490000 | #Constraints:      63709
2320.69/2326.98	c #Conflicts:     491000 | #Constraints:      64709
2320.69/2326.98	c #Conflicts:     492000 | #Constraints:      65709
2320.69/2326.98	c #Conflicts:     493000 | #Constraints:      66709
2320.69/2326.98	c #Conflicts:     494000 | #Constraints:      67709
2320.69/2326.98	c #Conflicts:     495000 | #Constraints:      68709
2320.69/2326.98	c #Conflicts:     496000 | #Constraints:      69709
2320.69/2326.98	c #Conflicts:     497000 | #Constraints:      70709
2320.69/2326.98	c #Conflicts:     498000 | #Constraints:      71709
2320.69/2326.98	c #Conflicts:     499000 | #Constraints:      72709
2320.69/2326.98	c #Conflicts:     500000 | #Constraints:      73709
2320.69/2326.98	c #Conflicts:     501000 | #Constraints:      74709
2320.69/2326.98	c #Conflicts:     502000 | #Constraints:      75709
2320.69/2326.98	c INPROCESSING
2320.69/2326.98	c GARBAGE COLLECT
2320.69/2326.98	c #Conflicts:     503000 | #Constraints:      62711
2320.69/2326.98	c #Conflicts:     504000 | #Constraints:      63711
2320.69/2326.98	c #Conflicts:     505000 | #Constraints:      64711
2320.69/2326.98	c #Conflicts:     506000 | #Constraints:      65711
2320.69/2326.98	c #Conflicts:     507000 | #Constraints:      66711
2320.69/2326.98	c #Conflicts:     508000 | #Constraints:      67711
2320.69/2326.98	c #Conflicts:     509000 | #Constraints:      68711
2552.07/2558.81	c #Conflicts:     510000 | #Constraints:      69711
2552.07/2558.81	c #Conflicts:     511000 | #Constraints:      70711
2552.07/2558.81	c #Conflicts:     512000 | #Constraints:      71711
2552.07/2558.81	c #Conflicts:     513000 | #Constraints:      72711
2552.07/2558.81	c #Conflicts:     514000 | #Constraints:      73711
2552.07/2558.81	c #Conflicts:     515000 | #Constraints:      74711
2552.07/2558.81	c #Conflicts:     516000 | #Constraints:      75711
2552.07/2558.81	c INPROCESSING
2552.07/2558.81	c GARBAGE COLLECT
2552.07/2558.81	c #Conflicts:     517000 | #Constraints:      62510
2552.07/2558.81	c #Conflicts:     518000 | #Constraints:      63510
2552.07/2558.81	c #Conflicts:     519000 | #Constraints:      64510
2552.07/2558.81	c #Conflicts:     520000 | #Constraints:      65510
2552.07/2558.81	c #Conflicts:     521000 | #Constraints:      66510
2552.07/2558.81	c #Conflicts:     522000 | #Constraints:      67510
2552.07/2558.81	c #Conflicts:     523000 | #Constraints:      68510
2552.07/2558.81	c #Conflicts:     524000 | #Constraints:      69510
2552.07/2558.81	c #Conflicts:     525000 | #Constraints:      70510
2552.07/2558.81	c #Conflicts:     526000 | #Constraints:      71510
2552.07/2558.81	c #Conflicts:     527000 | #Constraints:      72510
2552.07/2558.81	c #Conflicts:     528000 | #Constraints:      73510
2552.07/2558.81	c #Conflicts:     529000 | #Constraints:      74510
2552.07/2558.81	c #Conflicts:     530000 | #Constraints:      75510
2552.07/2558.81	c #Conflicts:     531000 | #Constraints:      76510
2552.07/2558.81	c INPROCESSING
2552.07/2558.81	c GARBAGE COLLECT
2552.07/2558.81	c #Conflicts:     532000 | #Constraints:      63112
2552.07/2558.81	c #Conflicts:     533000 | #Constraints:      64112
2552.07/2558.81	c #Conflicts:     534000 | #Constraints:      65112
2552.07/2558.81	c #Conflicts:     535000 | #Constraints:      66112
2552.07/2558.81	c #Conflicts:     536000 | #Constraints:      67112
2552.07/2558.81	c #Conflicts:     537000 | #Constraints:      68112
2552.07/2558.81	c #Conflicts:     538000 | #Constraints:      69112
2552.07/2558.81	c #Conflicts:     539000 | #Constraints:      70112
2552.07/2558.81	c #Conflicts:     540000 | #Constraints:      71112
2552.07/2558.81	c #Conflicts:     541000 | #Constraints:      72112
2552.07/2558.81	c #Conflicts:     542000 | #Constraints:      73112
2552.07/2558.81	c #Conflicts:     543000 | #Constraints:      74112
2552.07/2558.81	c #Conflicts:     544000 | #Constraints:      75112
2552.07/2558.81	c #Conflicts:     545000 | #Constraints:      76112
2552.07/2558.81	c #Conflicts:     546000 | #Constraints:      77112
2552.07/2558.81	c INPROCESSING
2552.07/2558.81	c GARBAGE COLLECT
2552.07/2558.81	c #Conflicts:     547000 | #Constraints:      63510
2552.07/2558.81	c #Conflicts:     548000 | #Constraints:      64510
2552.07/2558.81	c #Conflicts:     549000 | #Constraints:      65510
2552.07/2558.81	c #Conflicts:     550000 | #Constraints:      66510
2552.07/2558.81	c #Conflicts:     551000 | #Constraints:      67510
2552.07/2558.81	c #Conflicts:     552000 | #Constraints:      68510
2552.07/2558.81	c #Conflicts:     553000 | #Constraints:      69510
2552.07/2558.81	c #Conflicts:     554000 | #Constraints:      70510
2552.07/2558.81	c #Conflicts:     555000 | #Constraints:      71510
2552.07/2558.81	c #Conflicts:     556000 | #Constraints:      72510
2552.07/2558.81	c #Conflicts:     557000 | #Constraints:      73510
2552.07/2558.81	c #Conflicts:     558000 | #Constraints:      74510
2552.07/2558.81	c #Conflicts:     559000 | #Constraints:      75510
2552.07/2558.81	c #Conflicts:     560000 | #Constraints:      76510
2552.07/2558.81	c #Conflicts:     561000 | #Constraints:      77510
2552.07/2558.81	c INPROCESSING
2552.07/2558.81	c GARBAGE COLLECT
2552.07/2558.81	c #Conflicts:     562000 | #Constraints:      63717
2552.07/2558.81	c #Conflicts:     563000 | #Constraints:      64717
2552.07/2558.81	c #Conflicts:     564000 | #Constraints:      65717
2552.07/2558.81	c #Conflicts:     565000 | #Constraints:      66717
2552.07/2558.81	c #Conflicts:     566000 | #Constraints:      67717
2552.07/2558.81	c #Conflicts:     567000 | #Constraints:      68717
2552.07/2558.81	c #Conflicts:     568000 | #Constraints:      69717
2552.07/2558.81	c #Conflicts:     569000 | #Constraints:      70717
2552.07/2558.81	c #Conflicts:     570000 | #Constraints:      71717
2552.07/2558.81	c #Conflicts:     571000 | #Constraints:      72717
2552.07/2558.81	c #Conflicts:     572000 | #Constraints:      73717
2552.07/2558.81	c #Conflicts:     573000 | #Constraints:      74717
2552.07/2558.81	c #Conflicts:     574000 | #Constraints:      75717
2552.07/2558.81	c #Conflicts:     575000 | #Constraints:      76717
2552.07/2558.81	c #Conflicts:     576000 | #Constraints:      77717
2552.07/2558.81	c INPROCESSING
2552.07/2558.81	c GARBAGE COLLECT
2552.07/2558.81	c #Conflicts:     577000 | #Constraints:      63722
2552.07/2558.81	c #Conflicts:     578000 | #Constraints:      64722
2552.07/2558.81	c #Conflicts:     579000 | #Constraints:      65722
2552.07/2558.81	c #Conflicts:     580000 | #Constraints:      66722
2552.07/2558.81	c #Conflicts:     581000 | #Constraints:      67722
2552.07/2558.81	c #Conflicts:     582000 | #Constraints:      68722
2552.07/2558.81	c #Conflicts:     583000 | #Constraints:      69722
2552.07/2558.81	c #Conflicts:     584000 | #Constraints:      70722
2552.07/2558.81	c #Conflicts:     585000 | #Constraints:      71722
2778.07/2785.31	c #Conflicts:     586000 | #Constraints:      72722
2778.07/2785.31	c #Conflicts:     587000 | #Constraints:      73722
2778.07/2785.31	c #Conflicts:     588000 | #Constraints:      74722
2778.07/2785.31	c #Conflicts:     589000 | #Constraints:      75722
2778.07/2785.31	c #Conflicts:     590000 | #Constraints:      76722
2778.07/2785.31	c #Conflicts:     591000 | #Constraints:      77722
2778.07/2785.31	c INPROCESSING
2778.07/2785.31	c GARBAGE COLLECT
2778.07/2785.31	c #Conflicts:     592000 | #Constraints:      63521
2778.07/2785.31	c #Conflicts:     593000 | #Constraints:      64521
2778.07/2785.31	c #Conflicts:     594000 | #Constraints:      65521
2778.07/2785.31	c #Conflicts:     595000 | #Constraints:      66521
2778.07/2785.31	c #Conflicts:     596000 | #Constraints:      67521
2778.07/2785.31	c #Conflicts:     597000 | #Constraints:      68521
2778.07/2785.31	c #Conflicts:     598000 | #Constraints:      69521
2778.07/2785.31	c #Conflicts:     599000 | #Constraints:      70521
2778.07/2785.31	c #Conflicts:     600000 | #Constraints:      71521
2778.07/2785.31	c #Conflicts:     601000 | #Constraints:      72521
2778.07/2785.31	c #Conflicts:     602000 | #Constraints:      73521
2778.07/2785.31	c #Conflicts:     603000 | #Constraints:      74521
2778.07/2785.31	c #Conflicts:     604000 | #Constraints:      75521
2778.07/2785.31	c #Conflicts:     605000 | #Constraints:      76521
2778.07/2785.31	c #Conflicts:     606000 | #Constraints:      77521
2778.07/2785.31	c #Conflicts:     607000 | #Constraints:      78521
2778.07/2785.31	c INPROCESSING
2778.07/2785.31	c GARBAGE COLLECT
2778.07/2785.31	c #Conflicts:     608000 | #Constraints:      64122
2778.07/2785.31	c #Conflicts:     609000 | #Constraints:      65122
2778.07/2785.31	c #Conflicts:     610000 | #Constraints:      66122
2778.07/2785.31	c #Conflicts:     611000 | #Constraints:      67122
2778.07/2785.31	c #Conflicts:     612000 | #Constraints:      68122
2778.07/2785.31	c #Conflicts:     613000 | #Constraints:      69122
2778.07/2785.31	c #Conflicts:     614000 | #Constraints:      70122
2778.07/2785.31	c #Conflicts:     615000 | #Constraints:      71122
2778.07/2785.31	c #Conflicts:     616000 | #Constraints:      72122
2778.07/2785.31	c #Conflicts:     617000 | #Constraints:      73122
2778.07/2785.31	c #Conflicts:     618000 | #Constraints:      74122
2778.07/2785.31	c #Conflicts:     619000 | #Constraints:      75122
2778.07/2785.31	c #Conflicts:     620000 | #Constraints:      76122
2778.07/2785.31	c #Conflicts:     621000 | #Constraints:      77122
2778.07/2785.31	c #Conflicts:     622000 | #Constraints:      78122
2778.07/2785.31	c #Conflicts:     623000 | #Constraints:      79122
2778.07/2785.31	c INPROCESSING
2778.07/2785.31	c GARBAGE COLLECT
2778.07/2785.31	c #Conflicts:     624000 | #Constraints:      64529
2778.07/2785.31	c #Conflicts:     625000 | #Constraints:      65529
2778.07/2785.31	c #Conflicts:     626000 | #Constraints:      66529
2778.07/2785.31	c #Conflicts:     627000 | #Constraints:      67529
2778.07/2785.31	c #Conflicts:     628000 | #Constraints:      68529
2778.07/2785.31	c #Conflicts:     629000 | #Constraints:      69529
2778.07/2785.31	c #Conflicts:     630000 | #Constraints:      70529
2778.07/2785.31	c #Conflicts:     631000 | #Constraints:      71529
2778.07/2785.31	c #Conflicts:     632000 | #Constraints:      72529
2778.07/2785.31	c #Conflicts:     633000 | #Constraints:      73529
2778.07/2785.31	c #Conflicts:     634000 | #Constraints:      74529
2778.07/2785.31	c #Conflicts:     635000 | #Constraints:      75529
2778.07/2785.31	c #Conflicts:     636000 | #Constraints:      76529
2778.07/2785.31	c #Conflicts:     637000 | #Constraints:      77529
2778.07/2785.31	c #Conflicts:     638000 | #Constraints:      78529
2778.07/2785.31	c #Conflicts:     639000 | #Constraints:      79529
2778.07/2785.31	c INPROCESSING
2778.07/2785.31	c GARBAGE COLLECT
2778.07/2785.31	c #Conflicts:     640000 | #Constraints:      64727
2778.07/2785.31	c #Conflicts:     641000 | #Constraints:      65727
2778.07/2785.31	c #Conflicts:     642000 | #Constraints:      66727
2778.07/2785.31	c #Conflicts:     643000 | #Constraints:      67727
2778.07/2785.31	c #Conflicts:     644000 | #Constraints:      68727
2778.07/2785.31	c #Conflicts:     645000 | #Constraints:      69727
2778.07/2785.31	c #Conflicts:     646000 | #Constraints:      70727
2778.07/2785.31	c #Conflicts:     647000 | #Constraints:      71727
2778.07/2785.31	c #Conflicts:     648000 | #Constraints:      72727
2778.07/2785.31	c #Conflicts:     649000 | #Constraints:      73727
2778.07/2785.31	c #Conflicts:     650000 | #Constraints:      74727
2778.07/2785.31	c #Conflicts:     651000 | #Constraints:      75727
2778.07/2785.31	c #Conflicts:     652000 | #Constraints:      76727
2778.07/2785.31	c #Conflicts:     653000 | #Constraints:      77727
2778.07/2785.31	c #Conflicts:     654000 | #Constraints:      78727
2778.07/2785.31	c #Conflicts:     655000 | #Constraints:      79727
2778.07/2785.31	c INPROCESSING
2778.07/2785.31	c GARBAGE COLLECT
2778.07/2785.31	c #Conflicts:     656000 | #Constraints:      64724
2778.07/2785.31	c #Conflicts:     657000 | #Constraints:      65724
2778.07/2785.31	c #Conflicts:     658000 | #Constraints:      66724
2778.07/2785.31	c #Conflicts:     659000 | #Constraints:      67724
2778.07/2785.31	c #Conflicts:     660000 | #Constraints:      68724
3013.73/3021.54	c #Conflicts:     661000 | #Constraints:      69724
3013.73/3021.54	c #Conflicts:     662000 | #Constraints:      70724
3013.73/3021.54	c #Conflicts:     663000 | #Constraints:      71724
3013.73/3021.54	c #Conflicts:     664000 | #Constraints:      72724
3013.73/3021.54	c #Conflicts:     665000 | #Constraints:      73724
3013.73/3021.54	c #Conflicts:     666000 | #Constraints:      74724
3013.73/3021.54	c #Conflicts:     667000 | #Constraints:      75724
3013.73/3021.54	c #Conflicts:     668000 | #Constraints:      76724
3013.73/3021.54	c #Conflicts:     669000 | #Constraints:      77724
3013.73/3021.54	c #Conflicts:     670000 | #Constraints:      78724
3013.73/3021.54	c #Conflicts:     671000 | #Constraints:      79724
3013.73/3021.54	c INPROCESSING
3013.73/3021.54	c GARBAGE COLLECT
3013.73/3021.54	c #Conflicts:     672000 | #Constraints:      64509
3013.73/3021.54	c #Conflicts:     673000 | #Constraints:      65509
3013.73/3021.54	c #Conflicts:     674000 | #Constraints:      66509
3013.73/3021.54	c #Conflicts:     675000 | #Constraints:      67509
3013.73/3021.54	c #Conflicts:     676000 | #Constraints:      68509
3013.73/3021.54	c #Conflicts:     677000 | #Constraints:      69509
3013.73/3021.54	c #Conflicts:     678000 | #Constraints:      70509
3013.73/3021.54	c #Conflicts:     679000 | #Constraints:      71509
3013.73/3021.54	c #Conflicts:     680000 | #Constraints:      72509
3013.73/3021.54	c #Conflicts:     681000 | #Constraints:      73509
3013.73/3021.54	c #Conflicts:     682000 | #Constraints:      74509
3013.73/3021.54	c #Conflicts:     683000 | #Constraints:      75509
3013.73/3021.54	c #Conflicts:     684000 | #Constraints:      76509
3013.73/3021.54	c #Conflicts:     685000 | #Constraints:      77509
3013.73/3021.54	c #Conflicts:     686000 | #Constraints:      78509
3013.73/3021.54	c #Conflicts:     687000 | #Constraints:      79509
3013.73/3021.54	c #Conflicts:     688000 | #Constraints:      80509
3013.73/3021.54	c INPROCESSING
3013.73/3021.54	c GARBAGE COLLECT
3013.73/3021.54	c #Conflicts:     689000 | #Constraints:      65109
3013.73/3021.54	c #Conflicts:     690000 | #Constraints:      66109
3013.73/3021.54	c #Conflicts:     691000 | #Constraints:      67109
3013.73/3021.54	c #Conflicts:     692000 | #Constraints:      68109
3013.73/3021.54	c #Conflicts:     693000 | #Constraints:      69109
3013.73/3021.54	c #Conflicts:     694000 | #Constraints:      70109
3013.73/3021.54	c #Conflicts:     695000 | #Constraints:      71109
3013.73/3021.54	c #Conflicts:     696000 | #Constraints:      72109
3013.73/3021.54	c #Conflicts:     697000 | #Constraints:      73109
3013.73/3021.54	c #Conflicts:     698000 | #Constraints:      74109
3013.73/3021.54	c #Conflicts:     699000 | #Constraints:      75109
3013.73/3021.54	c #Conflicts:     700000 | #Constraints:      76109
3013.73/3021.54	c #Conflicts:     701000 | #Constraints:      77109
3013.73/3021.54	c #Conflicts:     702000 | #Constraints:      78109
3013.73/3021.54	c #Conflicts:     703000 | #Constraints:      79109
3013.73/3021.54	c #Conflicts:     704000 | #Constraints:      80109
3013.73/3021.54	c #Conflicts:     705000 | #Constraints:      81109
3013.73/3021.54	c INPROCESSING
3013.73/3021.54	c GARBAGE COLLECT
3013.73/3021.54	c #Conflicts:     706000 | #Constraints:      65529
3013.73/3021.54	c #Conflicts:     707000 | #Constraints:      66529
3013.73/3021.54	c #Conflicts:     708000 | #Constraints:      67529
3013.73/3021.54	c #Conflicts:     709000 | #Constraints:      68529
3013.73/3021.54	c #Conflicts:     710000 | #Constraints:      69529
3013.73/3021.54	c #Conflicts:     711000 | #Constraints:      70529
3013.73/3021.54	c #Conflicts:     712000 | #Constraints:      71529
3013.73/3021.54	c #Conflicts:     713000 | #Constraints:      72529
3013.73/3021.54	c #Conflicts:     714000 | #Constraints:      73529
3013.73/3021.54	c #Conflicts:     715000 | #Constraints:      74529
3013.73/3021.54	c #Conflicts:     716000 | #Constraints:      75529
3013.73/3021.54	c #Conflicts:     717000 | #Constraints:      76529
3013.73/3021.54	c #Conflicts:     718000 | #Constraints:      77529
3013.73/3021.54	c #Conflicts:     719000 | #Constraints:      78529
3013.73/3021.54	c #Conflicts:     720000 | #Constraints:      79529
3013.73/3021.54	c #Conflicts:     721000 | #Constraints:      80529
3013.73/3021.54	c #Conflicts:     722000 | #Constraints:      81529
3013.73/3021.54	c INPROCESSING
3013.73/3021.54	c GARBAGE COLLECT
3013.73/3021.54	c #Conflicts:     723000 | #Constraints:      65732
3013.73/3021.54	c #Conflicts:     724000 | #Constraints:      66732
3013.73/3021.54	c #Conflicts:     725000 | #Constraints:      67732
3013.73/3021.54	c #Conflicts:     726000 | #Constraints:      68732
3013.73/3021.54	c #Conflicts:     727000 | #Constraints:      69732
3013.73/3021.54	c #Conflicts:     728000 | #Constraints:      70732
3013.73/3021.54	c #Conflicts:     729000 | #Constraints:      71732
3013.73/3021.54	c #Conflicts:     730000 | #Constraints:      72732
3013.73/3021.54	c #Conflicts:     731000 | #Constraints:      73732
3013.73/3021.54	c #Conflicts:     732000 | #Constraints:      74732
3013.73/3021.54	c #Conflicts:     733000 | #Constraints:      75732
3013.73/3021.54	c #Conflicts:     734000 | #Constraints:      76732
3013.73/3021.54	c #Conflicts:     735000 | #Constraints:      77732
3013.73/3021.54	c #Conflicts:     736000 | #Constraints:      78732
3254.59/3262.91	c #Conflicts:     737000 | #Constraints:      79732
3254.59/3262.91	c #Conflicts:     738000 | #Constraints:      80732
3254.59/3262.91	c #Conflicts:     739000 | #Constraints:      81732
3254.59/3262.91	c INPROCESSING
3254.59/3262.91	c GARBAGE COLLECT
3254.59/3262.91	c #Conflicts:     740000 | #Constraints:      65728
3254.59/3262.91	c #Conflicts:     741000 | #Constraints:      66728
3254.59/3262.91	c #Conflicts:     742000 | #Constraints:      67728
3254.59/3262.91	c #Conflicts:     743000 | #Constraints:      68728
3254.59/3262.91	c #Conflicts:     744000 | #Constraints:      69728
3254.59/3262.91	c #Conflicts:     745000 | #Constraints:      70728
3254.59/3262.91	c #Conflicts:     746000 | #Constraints:      71728
3254.59/3262.91	c #Conflicts:     747000 | #Constraints:      72728
3254.59/3262.91	c #Conflicts:     748000 | #Constraints:      73728
3254.59/3262.91	c #Conflicts:     749000 | #Constraints:      74728
3254.59/3262.91	c #Conflicts:     750000 | #Constraints:      75728
3254.59/3262.91	c #Conflicts:     751000 | #Constraints:      76728
3254.59/3262.91	c #Conflicts:     752000 | #Constraints:      77728
3254.59/3262.91	c #Conflicts:     753000 | #Constraints:      78728
3254.59/3262.91	c #Conflicts:     754000 | #Constraints:      79728
3254.59/3262.91	c #Conflicts:     755000 | #Constraints:      80728
3254.59/3262.91	c #Conflicts:     756000 | #Constraints:      81728
3254.59/3262.91	c INPROCESSING
3254.59/3262.91	c GARBAGE COLLECT
3254.59/3262.91	c #Conflicts:     757000 | #Constraints:      65518
3254.59/3262.91	c #Conflicts:     758000 | #Constraints:      66518
3254.59/3262.91	c #Conflicts:     759000 | #Constraints:      67518
3254.59/3262.91	c #Conflicts:     760000 | #Constraints:      68518
3254.59/3262.91	c #Conflicts:     761000 | #Constraints:      69518
3254.59/3262.91	c #Conflicts:     762000 | #Constraints:      70518
3254.59/3262.91	c #Conflicts:     763000 | #Constraints:      71518
3254.59/3262.91	c #Conflicts:     764000 | #Constraints:      72518
3254.59/3262.91	c #Conflicts:     765000 | #Constraints:      73518
3254.59/3262.91	c #Conflicts:     766000 | #Constraints:      74518
3254.59/3262.91	c #Conflicts:     767000 | #Constraints:      75518
3254.59/3262.91	c #Conflicts:     768000 | #Constraints:      76518
3254.59/3262.91	c #Conflicts:     769000 | #Constraints:      77518
3254.59/3262.91	c #Conflicts:     770000 | #Constraints:      78518
3254.59/3262.91	c #Conflicts:     771000 | #Constraints:      79518
3254.59/3262.91	c #Conflicts:     772000 | #Constraints:      80518
3254.59/3262.91	c #Conflicts:     773000 | #Constraints:      81518
3254.59/3262.91	c #Conflicts:     774000 | #Constraints:      82518
3254.59/3262.91	c INPROCESSING
3254.59/3262.91	c GARBAGE COLLECT
3254.59/3262.91	c #Conflicts:     775000 | #Constraints:      66115
3254.59/3262.91	c #Conflicts:     776000 | #Constraints:      67115
3254.59/3262.91	c #Conflicts:     777000 | #Constraints:      68115
3254.59/3262.91	c #Conflicts:     778000 | #Constraints:      69115
3254.59/3262.91	c #Conflicts:     779000 | #Constraints:      70115
3254.59/3262.91	c #Conflicts:     780000 | #Constraints:      71115
3254.59/3262.91	c #Conflicts:     781000 | #Constraints:      72115
3254.59/3262.91	c #Conflicts:     782000 | #Constraints:      73115
3254.59/3262.91	c #Conflicts:     783000 | #Constraints:      74115
3254.59/3262.91	c #Conflicts:     784000 | #Constraints:      75115
3254.59/3262.91	c #Conflicts:     785000 | #Constraints:      76115
3254.59/3262.91	c #Conflicts:     786000 | #Constraints:      77115
3254.59/3262.91	c #Conflicts:     787000 | #Constraints:      78115
3254.59/3262.91	c #Conflicts:     788000 | #Constraints:      79115
3254.59/3262.91	c #Conflicts:     789000 | #Constraints:      80115
3254.59/3262.91	c #Conflicts:     790000 | #Constraints:      81115
3254.59/3262.91	c #Conflicts:     791000 | #Constraints:      82115
3254.59/3262.91	c #Conflicts:     792000 | #Constraints:      83115
3254.59/3262.91	c INPROCESSING
3254.59/3262.91	c GARBAGE COLLECT
3254.59/3262.91	c #Conflicts:     793000 | #Constraints:      66513
3254.59/3262.91	c #Conflicts:     794000 | #Constraints:      67513
3254.59/3262.91	c #Conflicts:     795000 | #Constraints:      68513
3254.59/3262.91	c #Conflicts:     796000 | #Constraints:      69513
3254.59/3262.91	c #Conflicts:     797000 | #Constraints:      70513
3254.59/3262.91	c #Conflicts:     798000 | #Constraints:      71513
3254.59/3262.91	c #Conflicts:     799000 | #Constraints:      72513
3254.59/3262.91	c #Conflicts:     800000 | #Constraints:      73513
3254.59/3262.91	c #Conflicts:     801000 | #Constraints:      74513
3254.59/3262.91	c #Conflicts:     802000 | #Constraints:      75513
3254.59/3262.91	c #Conflicts:     803000 | #Constraints:      76513
3254.59/3262.91	c #Conflicts:     804000 | #Constraints:      77513
3254.59/3262.91	c #Conflicts:     805000 | #Constraints:      78513
3254.59/3262.91	c #Conflicts:     806000 | #Constraints:      79513
3254.59/3262.91	c #Conflicts:     807000 | #Constraints:      80513
3254.59/3262.91	c #Conflicts:     808000 | #Constraints:      81513
3254.59/3262.91	c #Conflicts:     809000 | #Constraints:      82513
3254.59/3262.91	c #Conflicts:     810000 | #Constraints:      83513
3254.59/3262.91	c INPROCESSING
3254.59/3262.91	c GARBAGE COLLECT
3254.59/3262.91	c #Conflicts:     811000 | #Constraints:      66723
3254.59/3262.91	c #Conflicts:     812000 | #Constraints:      67723
3596.30/3605.49	c #Conflicts:     813000 | #Constraints:      68723
3596.30/3605.49	c #Conflicts:     814000 | #Constraints:      69723
3596.30/3605.49	c #Conflicts:     815000 | #Constraints:      70723
3596.30/3605.49	c #Conflicts:     816000 | #Constraints:      71723
3596.30/3605.49	c #Conflicts:     817000 | #Constraints:      72723
3596.30/3605.49	c #Conflicts:     818000 | #Constraints:      73723
3596.30/3605.49	c #Conflicts:     819000 | #Constraints:      74723
3596.30/3605.49	c #Conflicts:     820000 | #Constraints:      75723
3596.30/3605.49	c #Conflicts:     821000 | #Constraints:      76723
3596.30/3605.49	c #Conflicts:     822000 | #Constraints:      77723
3596.30/3605.49	c #Conflicts:     823000 | #Constraints:      78723
3596.30/3605.49	c #Conflicts:     824000 | #Constraints:      79723
3596.30/3605.49	c #Conflicts:     825000 | #Constraints:      80723
3596.30/3605.49	c #Conflicts:     826000 | #Constraints:      81723
3596.30/3605.49	c #Conflicts:     827000 | #Constraints:      82723
3596.30/3605.49	c #Conflicts:     828000 | #Constraints:      83723
3596.30/3605.49	c INPROCESSING
3596.30/3605.49	c GARBAGE COLLECT
3596.30/3605.49	c #Conflicts:     829000 | #Constraints:      66720
3596.30/3605.49	c #Conflicts:     830000 | #Constraints:      67720
3596.30/3605.49	c #Conflicts:     831000 | #Constraints:      68720
3596.30/3605.49	c #Conflicts:     832000 | #Constraints:      69720
3596.30/3605.49	c #Conflicts:     833000 | #Constraints:      70720
3596.30/3605.49	c #Conflicts:     834000 | #Constraints:      71720
3596.30/3605.49	c #Conflicts:     835000 | #Constraints:      72720
3596.30/3605.49	c #Conflicts:     836000 | #Constraints:      73720
3596.30/3605.49	c #Conflicts:     837000 | #Constraints:      74720
3596.30/3605.49	c #Conflicts:     838000 | #Constraints:      75720
3596.30/3605.49	c #Conflicts:     839000 | #Constraints:      76720
3596.30/3605.49	c #Conflicts:     840000 | #Constraints:      77720
3596.30/3605.49	c #Conflicts:     841000 | #Constraints:      78720
3596.30/3605.49	c #Conflicts:     842000 | #Constraints:      79720
3596.30/3605.49	c #Conflicts:     843000 | #Constraints:      80720
3596.30/3605.49	c #Conflicts:     844000 | #Constraints:      81720
3596.30/3605.49	c #Conflicts:     845000 | #Constraints:      82720
3596.30/3605.49	c #Conflicts:     846000 | #Constraints:      83720
3596.30/3605.49	c INPROCESSING
3596.30/3605.49	c GARBAGE COLLECT
3596.30/3605.49	c #Conflicts:     847000 | #Constraints:      66518
3596.30/3605.49	c #Conflicts:     848000 | #Constraints:      67518
3596.30/3605.49	c #Conflicts:     849000 | #Constraints:      68518
3596.30/3605.49	c #Conflicts:     850000 | #Constraints:      69518
3596.30/3605.49	c #Conflicts:     851000 | #Constraints:      70518
3596.30/3605.49	c #Conflicts:     852000 | #Constraints:      71518
3596.30/3605.49	c #Conflicts:     853000 | #Constraints:      72518
3596.30/3605.49	c #Conflicts:     854000 | #Constraints:      73518
3596.30/3605.49	c #Conflicts:     855000 | #Constraints:      74518
3596.30/3605.49	c #Conflicts:     856000 | #Constraints:      75518
3596.30/3605.49	c #Conflicts:     857000 | #Constraints:      76518
3596.30/3605.49	c #Conflicts:     858000 | #Constraints:      77518
3596.30/3605.49	c #Conflicts:     859000 | #Constraints:      78518
3596.30/3605.49	c #Conflicts:     860000 | #Constraints:      79518
3596.30/3605.49	c #Conflicts:     861000 | #Constraints:      80518
3596.30/3605.49	c #Conflicts:     862000 | #Constraints:      81518
3596.30/3605.49	c #Conflicts:     863000 | #Constraints:      82518
3596.30/3605.49	c #Conflicts:     864000 | #Constraints:      83518
3596.30/3605.49	c #Conflicts:     865000 | #Constraints:      84518
3596.30/3605.49	c INPROCESSING
3596.30/3605.49	c GARBAGE COLLECT
3596.30/3605.49	c #Conflicts:     866000 | #Constraints:      67122
3596.30/3605.49	c #Conflicts:     867000 | #Constraints:      68122
3596.30/3605.49	c #Conflicts:     868000 | #Constraints:      69122
3596.30/3605.49	c #Conflicts:     869000 | #Constraints:      70122
3596.30/3605.49	c #Conflicts:     870000 | #Constraints:      71122
3596.30/3605.49	c #Conflicts:     871000 | #Constraints:      72122
3596.30/3605.49	c #Conflicts:     872000 | #Constraints:      73122
3596.30/3605.49	c #Conflicts:     873000 | #Constraints:      74122
3596.30/3605.49	c #Conflicts:     874000 | #Constraints:      75122
3596.30/3605.49	c #Conflicts:     875000 | #Constraints:      76122
3596.30/3605.49	c #Conflicts:     876000 | #Constraints:      77122
3596.30/3605.49	c #Conflicts:     877000 | #Constraints:      78122
3596.30/3605.49	c #Conflicts:     878000 | #Constraints:      79122
3596.30/3605.49	c #Conflicts:     879000 | #Constraints:      80122
3596.30/3605.49	c #Conflicts:     880000 | #Constraints:      81122
3596.30/3605.49	c #Conflicts:     881000 | #Constraints:      82122
3596.30/3605.49	c #Conflicts:     882000 | #Constraints:      83122
3596.30/3605.49	c #Conflicts:     883000 | #Constraints:      84122
3596.30/3605.49	c #Conflicts:     884000 | #Constraints:      85122
3596.30/3605.49	c INPROCESSING
3596.30/3605.49	c GARBAGE COLLECT
3596.30/3605.49	c #Conflicts:     885000 | #Constraints:      67550
3596.30/3605.49	c #Conflicts:     886000 | #Constraints:      68550
3596.30/3605.49	c #Conflicts:     887000 | #Constraints:      69550
3596.30/3605.49	c #Conflicts:     888000 | #Constraints:      70550
3600.00/3609.10	c Program interrupted by user.
3600.00/3609.10	c cpu time 3591.33 s
3600.00/3609.10	c deterministic time 1195730103749 1.20e+12
3600.00/3609.10	c optimization time 12.3227 s
3600.00/3609.10	c total solve time 3279.59 s
3600.00/3609.10	c core-guided solve time 3279.59 s
3600.00/3609.10	c propagation time 2463 s
3600.00/3609.10	c conflict analysis time 739.705 s
3600.00/3609.10	c propagations 777785162
3600.00/3609.10	c resolve steps 19079188
3600.00/3609.10	c decisions 6224010
3600.00/3609.10	c conflicts 888923
3600.00/3609.10	c restarts 1915
3600.00/3609.10	c inprocessing phases 85
3600.00/3609.10	c input clauses 47832
3600.00/3609.10	c input cardinalities 8
3600.00/3609.10	c input general constraints 0
3600.00/3609.10	c input average constraint length 2.69
3600.00/3609.10	c input average constraint degree 1.04
3600.00/3609.10	c learned clauses 559110
3600.00/3609.10	c learned cardinalities 5313
3600.00/3609.10	c learned general constraints 324503
3600.00/3609.10	c learned average constraint length 2433.43
3600.00/3609.10	c learned average constraint degree 813948.82
3600.00/3609.10	c watched constraints 287490
3600.00/3609.10	c counting constraints 37013
3600.00/3609.10	c gcd simplifications 6683
3600.00/3609.10	c detected cardinalities 4
3600.00/3609.10	c weakened non-implied lits 349331433
3600.00/3609.10	c weakened non-implying lits 49357
3600.00/3609.10	c original variables 12935
3600.00/3609.10	c clausal propagations 706334096
3600.00/3609.10	c cardinality propagations 7524344
3600.00/3609.10	c watched propagations 24317738
3600.00/3609.10	c counting propagations 36645387
3600.00/3609.10	c watch lookups 12457527172
3600.00/3609.10	c watch backjump lookups 9451562787
3600.00/3609.10	c watch checks 1066422119693
3600.00/3609.10	c propagation checks 99325493473
3600.00/3609.10	c constraint additions 6504503932
3600.00/3609.10	c trail pops 784887519
3600.00/3609.10	c formula constraints 47832
3600.00/3609.10	c learned constraints 888926
3600.00/3609.10	c bound constraints 8
3600.00/3609.10	c core-guided constraints 0
3600.00/3609.10	c encountered formula constraints 16112951
3600.00/3609.10	c encountered learned constraints 3855130
3600.00/3609.10	c encountered bound constraints 30
3600.00/3609.10	c encountered core-guided constraints 0
3600.00/3609.10	c LP total time 0 s
3600.00/3609.10	c LP solve time 0 s
3600.00/3609.10	c LP constraints added 0
3600.00/3609.10	c LP constraints removed 0
3600.00/3609.10	c LP pivots internal 0
3600.00/3609.10	c LP pivots root 0
3600.00/3609.10	c LP calls 0
3600.00/3609.10	c LP optimalities 0
3600.00/3609.10	c LP no pivot count 0
3600.00/3609.10	c LP infeasibilities 0
3600.00/3609.10	c LP valid Farkas constraints 0
3600.00/3609.10	c LP learned Farkas constraints 0
3600.00/3609.10	c LP basis resets 0
3600.00/3609.10	c LP cycling count 0
3600.00/3609.10	c LP singular count 0
3600.00/3609.10	c LP no primal count 0
3600.00/3609.10	c LP no farkas count 0
3600.00/3609.10	c LP other issue count 0
3600.00/3609.10	c LP Gomory cuts 0
3600.00/3609.10	c LP learned cuts 0
3600.00/3609.10	c LP deleted cuts 0
3600.00/3609.10	c LP encountered Gomory constraints 0
3600.00/3609.10	c LP encountered Farkas constraints 0
3600.00/3609.10	c LP encountered learned Farkas constraints 0
3600.00/3609.10	c CG auxiliary variables introduced 0
3600.00/3609.10	c CG solutions found 0
3600.00/3609.10	c CG cores constructed 7
3600.00/3609.10	c CG core cardinality constraints returned 0
3600.00/3609.10	c CG unit cores 0
3600.00/3609.10	c CG single cores 7
3600.00/3609.10	c CG blocks removed during cardinality reduction 0
3600.00/3609.10	c CG first core best 0
3600.00/3609.10	c CG decision core best 0
3600.00/3609.10	c CG core reduction tie 0
3600.00/3609.10	c CG core degree average 1.00
3600.00/3609.10	c CG core slack average 55.57
3600.00/3609.10	c CG exhausted 0
3600.00/3609.10	c CG exhaust time 0 s
3600.00/3609.10	c CG trimmed 0
3600.00/3609.10	c CG trim time 0.001503 s
3600.00/3609.10	c CG minimized 0
3600.00/3609.10	c CG minimize time 0 s
3600.00/3609.10	c CG am1 prop time 0.003023 s
3600.00/3609.10	c CG # am1s reformulated 0
3600.00/3609.10	c CG lower bound derived from am1s 0
3600.00/3609.10	c CG # clausal cores 7
3600.00/3609.10	c CG # cardinality cores 0
3600.00/3609.10	c CG # pb cores 0
3600.00/3609.10	c CG # pb reforms 0
3600.00/3609.10	c CG # cores discarded because of pb reform 0
3600.00/3609.10	d LOWERBOUND 7
3600.00/3609.10	d NCORES 7
3600.00/3609.10	d NPBCORES 0
3600.00/3609.10	d NPBREFORM 0
3600.00/3609.10	d NTRIMMED 0
3600.00/3609.10	d NEXHAUSTED 0
3600.00/3609.10	d NAM1S 0
3600.00/3609.10	d AM1LB 0
3600.00/3609.10	c [Papilo Statistics]
3600.00/3609.10	c prepro time 0.0570516s
3600.00/3609.10	c # tsx applied 53
3600.00/3609.10	c # tsx conflicts 0
3600.00/3609.10	c # bound changes 5
3600.00/3609.10	c # side changes 34
3600.00/3609.10	c # coef changes 120
3600.00/3609.10	c # rounds 2
3600.00/3609.10	c # deted vars 22
3600.00/3609.10	c # deted constrs 57
3600.00/3609.10	c # consecutive rounds of only bound changes 0
3600.00/3609.11	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: 63708 MiB (60658 MiB free)
  memory of node 1: 64465 MiB (61030 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497505-1751385333/watcher-4497505-1751385333 -o /tmp/evaluation-result-4497505-1751385333/solver-4497505-1751385333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60450 --watchdog 3760 mixed-bag HOME/instance-4497505-1751385333.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=62927, runsolver pid=62924

[startup+0.100064 s]*
/proc/loadavg: 4.11 4.11 4.09 5/262 62928
/proc/meminfo: memFree=124604860/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=90492 memory=17688 CPUtime=0.08 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 2952 0 0 0 7 1 0 0 20 0 1 0 54212058 92663808 4422 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 22623 4422 2208 2842 0 4856 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90492 KiB
Current children cumulated memory: 17688 KiB

[startup+0.205615 s]*
/proc/loadavg: 4.11 4.11 4.09 5/262 62928
/proc/meminfo: memFree=124588416/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=128036 memory=53708 CPUtime=0.17 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 12040 0 0 0 15 2 0 0 20 0 1 0 54212058 131108864 13427 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 32009 13427 3744 2842 0 13703 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 128036 KiB
Current children cumulated memory: 53708 KiB

[startup+0.305463 s]*
/proc/loadavg: 4.11 4.11 4.09 5/262 62928
/proc/meminfo: memFree=124524584/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=200252 memory=125004 CPUtime=0.28 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 29539 0 0 0 23 5 0 0 20 0 1 0 54212058 205058048 31251 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 50063 31251 4096 2842 0 31757 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 200252 KiB
Current children cumulated memory: 125004 KiB

[startup+0.700184 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 62928
/proc/meminfo: memFree=124492328/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=244244 memory=167968 CPUtime=0.67 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 41721 0 0 0 60 7 0 0 20 0 1 0 54212058 250105856 41992 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 61061 41992 4128 2842 0 42755 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 244244 KiB
Current children cumulated memory: 167968 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 62929
/proc/meminfo: memFree=124452260/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=317096 memory=223004 CPUtime=1.46 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 54963 0 0 0 137 9 0 0 20 0 1 0 54212058 324706304 55751 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 79274 55751 4192 2842 0 60968 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 317096 KiB
Current children cumulated memory: 223004 KiB

[startup+3.10547 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 62929
/proc/meminfo: memFree=124327204/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=431116 memory=334660 CPUtime=3.06 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 78282 0 0 0 293 13 0 0 20 0 1 0 54212058 441462784 83665 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 107779 83665 4320 2842 0 89473 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 431116 KiB
Current children cumulated memory: 334660 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 62929
/proc/meminfo: memFree=124319140/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=444448 memory=345028 CPUtime=6.25 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 80867 0 0 0 611 14 0 0 20 0 1 0 54212058 455114752 86257 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 111112 86257 4320 2842 0 92806 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 444448 KiB
Current children cumulated memory: 345028 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 62929
/proc/meminfo: memFree=124283136/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=500088 memory=373828 CPUtime=12.63 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 88080 0 0 0 1248 15 0 0 20 0 1 0 54212058 512090112 93457 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 125022 93457 4320 2842 0 106716 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 500088 KiB
Current children cumulated memory: 373828 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 62929
/proc/meminfo: memFree=124259844/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=507756 memory=381636 CPUtime=25.4 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 90048 0 0 0 2524 16 0 0 20 0 1 0 54212058 519942144 95409 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 126939 95409 4320 2842 0 108633 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 507756 KiB
Current children cumulated memory: 381636 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 62930
/proc/meminfo: memFree=124167788/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=574236 memory=448324 CPUtime=50.92 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 106713 0 0 0 5074 18 0 0 20 0 1 0 54212058 588017664 112081 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 143559 112081 4320 2842 0 125253 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 574236 KiB
Current children cumulated memory: 448324 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 62939
/proc/meminfo: memFree=124170204/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=574236 memory=448580 CPUtime=101.98 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 106791 0 0 0 10179 19 0 0 20 0 1 0 54212058 588017664 112145 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 143559 112145 4320 2842 0 125253 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 574236 KiB
Current children cumulated memory: 448580 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 62941
/proc/meminfo: memFree=124149668/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=574236 memory=448836 CPUtime=161.8 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 106855 0 0 0 16161 19 0 0 20 0 1 0 54212058 588017664 112209 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 143559 112209 4320 2842 0 125253 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 574236 KiB
Current children cumulated memory: 448836 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 62943
/proc/meminfo: memFree=124135164/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=574236 memory=448836 CPUtime=221.63 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 106879 0 0 0 22144 19 0 0 20 0 1 0 54212058 588017664 112209 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 143559 112209 4320 2842 0 125253 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 574236 KiB
Current children cumulated memory: 448836 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 62945
/proc/meminfo: memFree=124132256/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=574236 memory=448964 CPUtime=281.47 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 106891 0 0 0 28128 19 0 0 20 0 1 0 54212058 588017664 112241 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 143559 112241 4320 2842 0 125253 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 574236 KiB
Current children cumulated memory: 448964 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 62957
/proc/meminfo: memFree=124096912/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=605480 memory=491516 CPUtime=341.3 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 109704 0 0 0 34088 42 0 0 20 0 1 0 54212058 620011520 122879 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 151370 122879 4512 2842 0 133064 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 605480 KiB
Current children cumulated memory: 491516 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 62960
/proc/meminfo: memFree=124083140/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=655568 memory=509140 CPUtime=401.14 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 110527 0 0 0 40052 62 0 0 20 0 1 0 54212058 671301632 127285 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 163892 127285 4512 2842 0 145586 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 655568 KiB
Current children cumulated memory: 509140 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 62962
/proc/meminfo: memFree=123986916/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=655568 memory=519380 CPUtime=460.97 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 110533 0 0 0 46020 77 0 0 20 0 1 0 54212058 671301632 129845 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 163892 129845 4512 2842 0 145586 0
Current children cumulated CPU time: 460.97 s

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

Current children cumulated memory: 701908 KiB

[startup+2922.3 s]
/proc/loadavg: 1.12 1.12 1.62 2/244 63171
/proc/meminfo: memFree=126323052/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=701908 CPUtime=2914.75 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112085 0 0 0 290766 709 0 0 20 0 1 0 54212058 890077184 175477 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 175477 4512 2842 0 198998 0
Current children cumulated CPU time: 2914.75 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 701908 KiB

[startup+2982.3 s]
/proc/loadavg: 1.09 1.11 1.58 2/244 63173
/proc/meminfo: memFree=126322068/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=701908 CPUtime=2974.62 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112085 0 0 0 296739 723 0 0 20 0 1 0 54212058 890077184 175477 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 175477 4512 2842 0 198998 0
Current children cumulated CPU time: 2974.62 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 701908 KiB

[startup+3042.3 s]
/proc/loadavg: 1.14 1.12 1.55 2/245 63176
/proc/meminfo: memFree=126321672/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=701908 CPUtime=3034.48 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112087 0 0 0 302711 737 0 0 20 0 1 0 54212058 890077184 175477 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 175477 4512 2842 0 198998 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 701908 KiB

[startup+3102.3 s]
/proc/loadavg: 1.11 1.11 1.52 2/246 63179
/proc/meminfo: memFree=126320776/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=701908 CPUtime=3094.35 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112087 0 0 0 308679 756 0 0 20 0 1 0 54212058 890077184 175477 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 175477 4512 2842 0 198998 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 701908 KiB

[startup+3162.3 s]
/proc/loadavg: 1.16 1.12 1.50 2/247 63188
/proc/meminfo: memFree=126322036/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=701908 CPUtime=3154.22 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112089 0 0 0 314648 774 0 0 20 0 1 0 54212058 890077184 175477 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 175477 4512 2842 0 198998 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 701908 KiB

[startup+3222.3 s]
/proc/loadavg: 1.12 1.11 1.47 2/247 63190
/proc/meminfo: memFree=126301540/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=722388 CPUtime=3214.08 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112099 0 0 0 320618 790 0 0 20 0 1 0 54212058 890077184 180597 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 180597 4512 2842 0 198998 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 722388 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.11 1.44 2/247 63192
/proc/meminfo: memFree=126301572/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=722388 CPUtime=3273.95 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112099 0 0 0 326590 805 0 0 20 0 1 0 54212058 890077184 180597 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 180597 4512 2842 0 198998 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 722388 KiB

[startup+3342.3 s]
/proc/loadavg: 1.14 1.12 1.42 2/246 63194
/proc/meminfo: memFree=126281240/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=742868 CPUtime=3333.81 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112109 0 0 0 332565 816 0 0 20 0 1 0 54212058 890077184 185717 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 185717 4512 2842 0 198998 0
Current children cumulated CPU time: 3333.81 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 742868 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.11 1.40 2/245 63196
/proc/meminfo: memFree=126281128/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=742868 CPUtime=3393.67 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112109 0 0 0 338542 825 0 0 20 0 1 0 54212058 890077184 185717 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 185717 4512 2842 0 198998 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 742868 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.10 1.38 2/244 63198
/proc/meminfo: memFree=126232260/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=792020 CPUtime=3453.52 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112133 0 0 0 344518 834 0 0 20 0 1 0 54212058 890077184 198005 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 198005 4512 2842 0 198998 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 792020 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.11 1.36 2/244 63200
/proc/meminfo: memFree=126233448/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=792020 CPUtime=3513.39 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112262 0 0 0 350491 848 0 0 20 0 1 0 54212058 890077184 198005 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 198005 4512 2842 0 198998 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 792020 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.11 1.34 2/245 63203
/proc/meminfo: memFree=126228792/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=792020 CPUtime=3573.25 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112262 0 0 0 356463 862 0 0 20 0 1 0 54212058 890077184 198005 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 198005 4512 2842 0 198998 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 792020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.1 s]
/proc/loadavg: 1.11 1.11 1.34 2/245 63205
/proc/meminfo: memFree=126229912/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=792020 CPUtime=3600 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112276 0 0 0 359133 867 0 0 20 0 1 0 54212058 890077184 198005 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 198005 4512 2842 0 198998 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 792020 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.34 s, system=8.67352 s

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

[startup+3609.1 s]
/proc/loadavg: 1.11 1.11 1.34 2/245 63205
/proc/meminfo: memFree=126229912/131249992 swapFree=33010684/33010684
[pid=62927] ppid=62924 vsize=869216 memory=792020 CPUtime=3600 cores=1,3
/proc/62927/stat : 62927 (mixed-bag) R 62924 62927 60438 0 -1 4194304 112276 0 0 0 359133 867 0 0 20 0 1 0 54212058 890077184 198005 18446744073709551615 4235264 15874749 140731939468992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31080448 140731939473820 140731939473897 140731939473897 140731939479499 0
/proc/62927/statm: 217304 198005 4512 2842 0 198998 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 869216 KiB
Current children cumulated memory: 792020 KiB

Child status: 0

Real time (s): 3609.12
CPU time (s): 3600.01
CPU user time (s): 3591.34
CPU system time (s): 8.67352
CPU usage (%): 99.7478
Max. virtual memory (cumulated for all children) (KiB): 869216
Max. memory (cumulated for all children) (KiB): 792020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.34
system time used= 8.67352
maximum resident set size= 792916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112303
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= 216
involuntary context switches= 4795


# summary of solver processes directly reported to runsolver:
#   pid: 62927
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3591.34
#   total CPU system time (s): 8.67352

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40999 second user time and 15.4064 second system time

The end

Launcher Data

Begin job on nodeC025 at 2025-07-01 17:55:33
IDJOB=4497505
IDBENCH=148187
IDSOLVER=3340
FILE ID=nodeC025/4497505-1751385333
RUNJOBID= nodeC025-1751375766-60450
SLURM_JOB_ID= 9598215
Free space on /tmp= 433008 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497505-1751385333/watcher-4497505-1751385333 -o /tmp/evaluation-result-4497505-1751385333/solver-4497505-1751385333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60450 --watchdog 3760  mixed-bag HOME/instance-4497505-1751385333.opb

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

MD5SUM BENCH= e3f6e03fc0c8fc921c0242da7dc19bcf
RANDOM SEED=365019138

nodeC025 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	: 0xb00002a
cpu MHz		: 3599.874
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3621.262
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3569.312
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.826
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.765
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.840
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3563.715
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3511.010
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124609052 kB
MemAvailable:   127417228 kB
Buffers:            3280 kB
Cached:          3606096 kB
SwapCached:            0 kB
Active:          2707724 kB
Inactive:        3266404 kB
Active(anon):    2382836 kB
Inactive(anon):        0 kB
Active(file):     324888 kB
Inactive(file):  3266404 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16868 kB
Writeback:           180 kB
AnonPages:       2365484 kB
Mapped:           138636 kB
Shmem:             18084 kB
KReclaimable:     112248 kB
Slab:             201336 kB
SReclaimable:     112248 kB
SUnreclaim:        89088 kB
KernelStack:        4224 kB
PageTables:         8124 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2895392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    892928 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC025 at 2025-07-01 18:55:42