Trace number 4520296

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
roundingsat-ihs 63f22ad? (TO) 3600.17 3609.56

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb
MD5SUMf0f458c0649ba129d7d5b0a4b7bdfffa
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 benchmark4563
Best CPU time to get the best result obtained on this benchmark0.099217
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9126
Total number of constraints1521
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints1482
Minimum length of a constraint6
Maximum length of a constraint18
Number of terms in the objective function 9126
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 9126
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 9126
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.03	c #variables 9126 #constraints 1521
0.00/0.03	c objective is ce32 
0.00/0.04	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04	c initial counting CF 32, 64, 128, Arb: 1483 , 0 , 0 , 0
0.00/0.04	c GLOBAL bounds - >= 0 @ 0.017723
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.02204
231.66/232.31	c #Conflicts:       1000 | #Constraints:       2521
231.66/232.31	c #Conflicts:       2000 | #Constraints:       3521
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:       3000 | #Constraints:       3547
231.66/232.31	c #Conflicts:       4000 | #Constraints:       4547
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:       5000 | #Constraints:       3981
231.66/232.31	c #Conflicts:       6000 | #Constraints:       4981
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:       7000 | #Constraints:       3988
231.66/232.31	c #Conflicts:       8000 | #Constraints:       4988
231.66/232.31	c #Conflicts:       9000 | #Constraints:       5988
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      10000 | #Constraints:       4697
231.66/232.31	c #Conflicts:      11000 | #Constraints:       5697
231.66/232.31	c #Conflicts:      12000 | #Constraints:       6697
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      13000 | #Constraints:       5154
231.66/232.31	c #Conflicts:      14000 | #Constraints:       6154
231.66/232.31	c #Conflicts:      15000 | #Constraints:       7154
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      16000 | #Constraints:       5397
231.66/232.31	c #Conflicts:      17000 | #Constraints:       6397
231.66/232.31	c #Conflicts:      18000 | #Constraints:       7397
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      19000 | #Constraints:       5404
231.66/232.31	c #Conflicts:      20000 | #Constraints:       6404
231.66/232.31	c #Conflicts:      21000 | #Constraints:       7404
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      22000 | #Constraints:       5207
231.66/232.31	c #Conflicts:      23000 | #Constraints:       6207
231.66/232.31	c #Conflicts:      24000 | #Constraints:       7207
231.66/232.31	c #Conflicts:      25000 | #Constraints:       8207
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      26000 | #Constraints:       5783
231.66/232.31	c #Conflicts:      27000 | #Constraints:       6783
231.66/232.31	c #Conflicts:      28000 | #Constraints:       7783
231.66/232.31	c #Conflicts:      29000 | #Constraints:       8783
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      30000 | #Constraints:       6223
231.66/232.31	c #Conflicts:      31000 | #Constraints:       7223
231.66/232.31	c #Conflicts:      32000 | #Constraints:       8223
231.66/232.31	c #Conflicts:      33000 | #Constraints:       9223
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      34000 | #Constraints:       6448
231.66/232.31	c #Conflicts:      35000 | #Constraints:       7448
231.66/232.31	c #Conflicts:      36000 | #Constraints:       8448
231.66/232.31	c #Conflicts:      37000 | #Constraints:       9448
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      38000 | #Constraints:       6419
231.66/232.31	c #Conflicts:      39000 | #Constraints:       7419
231.66/232.31	c #Conflicts:      40000 | #Constraints:       8419
231.66/232.31	c #Conflicts:      41000 | #Constraints:       9419
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      42000 | #Constraints:       6235
231.66/232.31	c #Conflicts:      43000 | #Constraints:       7235
231.66/232.31	c #Conflicts:      44000 | #Constraints:       8235
231.66/232.31	c #Conflicts:      45000 | #Constraints:       9235
231.66/232.31	c #Conflicts:      46000 | #Constraints:      10235
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      47000 | #Constraints:       6861
231.66/232.31	c #Conflicts:      48000 | #Constraints:       7861
231.66/232.31	c #Conflicts:      49000 | #Constraints:       8861
231.66/232.31	c #Conflicts:      50000 | #Constraints:       9861
231.66/232.31	c #Conflicts:      51000 | #Constraints:      10861
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      52000 | #Constraints:       7236
231.66/232.31	c #Conflicts:      53000 | #Constraints:       8236
231.66/232.31	c #Conflicts:      54000 | #Constraints:       9236
231.66/232.31	c #Conflicts:      55000 | #Constraints:      10236
231.66/232.31	c #Conflicts:      56000 | #Constraints:      11236
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      57000 | #Constraints:       7443
231.66/232.31	c #Conflicts:      58000 | #Constraints:       8443
231.66/232.31	c #Conflicts:      59000 | #Constraints:       9443
231.66/232.31	c #Conflicts:      60000 | #Constraints:      10443
231.66/232.31	c #Conflicts:      61000 | #Constraints:      11443
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      62000 | #Constraints:       7437
231.66/232.31	c #Conflicts:      63000 | #Constraints:       8437
231.66/232.31	c #Conflicts:      64000 | #Constraints:       9437
231.66/232.31	c #Conflicts:      65000 | #Constraints:      10437
231.66/232.31	c #Conflicts:      66000 | #Constraints:      11437
231.66/232.31	c INPROCESSING
231.66/232.31	c GARBAGE COLLECT
231.66/232.31	c #Conflicts:      67000 | #Constraints:       7231
231.66/232.31	c #Conflicts:      68000 | #Constraints:       8231
503.92/505.31	c #Conflicts:      69000 | #Constraints:       9231
503.92/505.31	c #Conflicts:      70000 | #Constraints:      10231
503.92/505.31	c #Conflicts:      71000 | #Constraints:      11231
503.92/505.31	c #Conflicts:      72000 | #Constraints:      12231
503.92/505.31	c INPROCESSING
503.92/505.31	c GARBAGE COLLECT
503.92/505.31	c #Conflicts:      73000 | #Constraints:       7810
503.92/505.31	c #Conflicts:      74000 | #Constraints:       8810
503.92/505.31	c #Conflicts:      75000 | #Constraints:       9810
503.92/505.31	c #Conflicts:      76000 | #Constraints:      10810
503.92/505.31	c #Conflicts:      77000 | #Constraints:      11810
503.92/505.31	c #Conflicts:      78000 | #Constraints:      12810
503.92/505.31	c INPROCESSING
503.92/505.31	c GARBAGE COLLECT
503.92/505.31	c #Conflicts:      79000 | #Constraints:       8223
503.92/505.31	c #Conflicts:      80000 | #Constraints:       9223
503.92/505.31	c #Conflicts:      81000 | #Constraints:      10223
503.92/505.31	c #Conflicts:      82000 | #Constraints:      11223
503.92/505.31	c #Conflicts:      83000 | #Constraints:      12223
503.92/505.31	c #Conflicts:      84000 | #Constraints:      13223
503.92/505.31	c INPROCESSING
503.92/505.31	c GARBAGE COLLECT
503.92/505.31	c #Conflicts:      85000 | #Constraints:       8438
503.92/505.31	c #Conflicts:      86000 | #Constraints:       9438
503.92/505.31	c #Conflicts:      87000 | #Constraints:      10438
503.92/505.31	c #Conflicts:      88000 | #Constraints:      11438
503.92/505.31	c #Conflicts:      89000 | #Constraints:      12438
503.92/505.31	c #Conflicts:      90000 | #Constraints:      13438
503.92/505.31	c INPROCESSING
503.92/505.31	c GARBAGE COLLECT
503.92/505.31	c #Conflicts:      91000 | #Constraints:       8457
503.92/505.31	c #Conflicts:      92000 | #Constraints:       9457
503.92/505.31	c #Conflicts:      93000 | #Constraints:      10457
503.92/505.31	c #Conflicts:      94000 | #Constraints:      11457
503.92/505.31	c #Conflicts:      95000 | #Constraints:      12457
503.92/505.31	c #Conflicts:      96000 | #Constraints:      13457
503.92/505.31	c INPROCESSING
503.92/505.31	c GARBAGE COLLECT
503.92/505.31	c #Conflicts:      97000 | #Constraints:       8239
503.92/505.31	c #Conflicts:      98000 | #Constraints:       9239
503.92/505.31	c #Conflicts:      99000 | #Constraints:      10239
503.92/505.31	c #Conflicts:     100000 | #Constraints:      11239
503.92/505.31	c #Conflicts:     101000 | #Constraints:      12239
503.92/505.31	c #Conflicts:     102000 | #Constraints:      13239
503.92/505.31	c #Conflicts:     103000 | #Constraints:      14239
503.92/505.31	c INPROCESSING
503.92/505.31	c GARBAGE COLLECT
503.92/505.31	c #Conflicts:     104000 | #Constraints:       8838
503.92/505.31	c #Conflicts:     105000 | #Constraints:       9838
503.92/505.31	c #Conflicts:     106000 | #Constraints:      10838
503.92/505.31	c #Conflicts:     107000 | #Constraints:      11838
503.92/505.31	c #Conflicts:     108000 | #Constraints:      12838
503.92/505.31	c #Conflicts:     109000 | #Constraints:      13838
503.92/505.31	c #Conflicts:     110000 | #Constraints:      14838
503.92/505.31	c INPROCESSING
503.92/505.31	c GARBAGE COLLECT
503.92/505.31	c #Conflicts:     111000 | #Constraints:       9240
503.92/505.31	c #Conflicts:     112000 | #Constraints:      10240
503.92/505.31	c #Conflicts:     113000 | #Constraints:      11240
503.92/505.31	c #Conflicts:     114000 | #Constraints:      12240
503.92/505.31	c #Conflicts:     115000 | #Constraints:      13240
503.92/505.31	c #Conflicts:     116000 | #Constraints:      14240
503.92/505.31	c #Conflicts:     117000 | #Constraints:      15240
503.92/505.31	c INPROCESSING
503.92/505.31	c GARBAGE COLLECT
503.92/505.31	c #Conflicts:     118000 | #Constraints:       9475
503.92/505.31	c #Conflicts:     119000 | #Constraints:      10475
503.92/505.31	c #Conflicts:     120000 | #Constraints:      11475
503.92/505.31	c #Conflicts:     121000 | #Constraints:      12475
503.92/505.31	c #Conflicts:     122000 | #Constraints:      13475
503.92/505.31	c #Conflicts:     123000 | #Constraints:      14475
503.92/505.31	c #Conflicts:     124000 | #Constraints:      15475
503.92/505.31	c INPROCESSING
503.92/505.31	c GARBAGE COLLECT
503.92/505.31	c #Conflicts:     125000 | #Constraints:       9482
503.92/505.31	c #Conflicts:     126000 | #Constraints:      10482
503.92/505.31	c #Conflicts:     127000 | #Constraints:      11482
503.92/505.31	c #Conflicts:     128000 | #Constraints:      12482
503.92/505.31	c #Conflicts:     129000 | #Constraints:      13482
503.92/505.31	c #Conflicts:     130000 | #Constraints:      14482
503.92/505.31	c #Conflicts:     131000 | #Constraints:      15482
503.92/505.31	c INPROCESSING
503.92/505.31	c GARBAGE COLLECT
503.92/505.31	c #Conflicts:     132000 | #Constraints:       9294
503.92/505.31	c #Conflicts:     133000 | #Constraints:      10294
503.92/505.31	c #Conflicts:     134000 | #Constraints:      11294
503.92/505.31	c #Conflicts:     135000 | #Constraints:      12294
503.92/505.31	c #Conflicts:     136000 | #Constraints:      13294
503.92/505.31	c #Conflicts:     137000 | #Constraints:      14294
503.92/505.31	c #Conflicts:     138000 | #Constraints:      15294
503.92/505.31	c #Conflicts:     139000 | #Constraints:      16294
503.92/505.31	c INPROCESSING
503.92/505.31	c GARBAGE COLLECT
503.92/505.31	c #Conflicts:     140000 | #Constraints:       9899
742.19/744.28	c #Conflicts:     141000 | #Constraints:      10899
742.19/744.28	c #Conflicts:     142000 | #Constraints:      11899
742.19/744.28	c #Conflicts:     143000 | #Constraints:      12899
742.19/744.28	c #Conflicts:     144000 | #Constraints:      13899
742.19/744.28	c #Conflicts:     145000 | #Constraints:      14899
742.19/744.28	c #Conflicts:     146000 | #Constraints:      15899
742.19/744.28	c #Conflicts:     147000 | #Constraints:      16899
742.19/744.28	c INPROCESSING
742.19/744.28	c GARBAGE COLLECT
742.19/744.28	c #Conflicts:     148000 | #Constraints:      10292
742.19/744.28	c #Conflicts:     149000 | #Constraints:      11292
742.19/744.28	c #Conflicts:     150000 | #Constraints:      12292
742.19/744.28	c #Conflicts:     151000 | #Constraints:      13292
742.19/744.28	c #Conflicts:     152000 | #Constraints:      14292
742.19/744.28	c #Conflicts:     153000 | #Constraints:      15292
742.19/744.28	c #Conflicts:     154000 | #Constraints:      16292
742.19/744.28	c #Conflicts:     155000 | #Constraints:      17292
742.19/744.28	c INPROCESSING
742.19/744.28	c GARBAGE COLLECT
742.19/744.28	c #Conflicts:     156000 | #Constraints:      10497
742.19/744.28	c #Conflicts:     157000 | #Constraints:      11497
742.19/744.28	c #Conflicts:     158000 | #Constraints:      12497
742.19/744.28	c #Conflicts:     159000 | #Constraints:      13497
742.19/744.28	c #Conflicts:     160000 | #Constraints:      14497
742.19/744.28	c #Conflicts:     161000 | #Constraints:      15497
742.19/744.28	c #Conflicts:     162000 | #Constraints:      16497
742.19/744.28	c #Conflicts:     163000 | #Constraints:      17497
742.19/744.28	c INPROCESSING
742.19/744.28	c GARBAGE COLLECT
742.19/744.28	c #Conflicts:     164000 | #Constraints:      10502
742.19/744.28	c #Conflicts:     165000 | #Constraints:      11502
742.19/744.28	c #Conflicts:     166000 | #Constraints:      12502
742.19/744.28	c #Conflicts:     167000 | #Constraints:      13502
742.19/744.28	c #Conflicts:     168000 | #Constraints:      14502
742.19/744.28	c #Conflicts:     169000 | #Constraints:      15502
742.19/744.28	c #Conflicts:     170000 | #Constraints:      16502
742.19/744.28	c #Conflicts:     171000 | #Constraints:      17502
742.19/744.28	c INPROCESSING
742.19/744.28	c GARBAGE COLLECT
742.19/744.28	c #Conflicts:     172000 | #Constraints:      10277
742.19/744.28	c #Conflicts:     173000 | #Constraints:      11277
742.19/744.28	c #Conflicts:     174000 | #Constraints:      12277
742.19/744.28	c #Conflicts:     175000 | #Constraints:      13277
742.19/744.28	c #Conflicts:     176000 | #Constraints:      14277
742.19/744.28	c #Conflicts:     177000 | #Constraints:      15277
742.19/744.28	c #Conflicts:     178000 | #Constraints:      16277
742.19/744.28	c #Conflicts:     179000 | #Constraints:      17277
742.19/744.28	c #Conflicts:     180000 | #Constraints:      18277
742.19/744.28	c INPROCESSING
742.19/744.28	c GARBAGE COLLECT
742.19/744.28	c #Conflicts:     181000 | #Constraints:      10889
742.19/744.28	c #Conflicts:     182000 | #Constraints:      11889
742.19/744.28	c #Conflicts:     183000 | #Constraints:      12889
742.19/744.28	c #Conflicts:     184000 | #Constraints:      13889
742.19/744.28	c #Conflicts:     185000 | #Constraints:      14889
742.19/744.28	c #Conflicts:     186000 | #Constraints:      15889
742.19/744.28	c #Conflicts:     187000 | #Constraints:      16889
742.19/744.28	c #Conflicts:     188000 | #Constraints:      17889
742.19/744.28	c #Conflicts:     189000 | #Constraints:      18889
742.19/744.28	c INPROCESSING
742.19/744.28	c GARBAGE COLLECT
742.19/744.28	c #Conflicts:     190000 | #Constraints:      11254
742.19/744.28	c #Conflicts:     191000 | #Constraints:      12254
742.19/744.28	c #Conflicts:     192000 | #Constraints:      13254
742.19/744.28	c #Conflicts:     193000 | #Constraints:      14254
742.19/744.28	c #Conflicts:     194000 | #Constraints:      15254
742.19/744.28	c #Conflicts:     195000 | #Constraints:      16254
742.19/744.28	c #Conflicts:     196000 | #Constraints:      17254
742.19/744.28	c #Conflicts:     197000 | #Constraints:      18254
742.19/744.28	c #Conflicts:     198000 | #Constraints:      19254
742.19/744.28	c INPROCESSING
742.19/744.28	c GARBAGE COLLECT
742.19/744.28	c #Conflicts:     199000 | #Constraints:      11483
742.19/744.28	c #Conflicts:     200000 | #Constraints:      12483
742.19/744.28	c #Conflicts:     201000 | #Constraints:      13483
742.19/744.28	c #Conflicts:     202000 | #Constraints:      14483
742.19/744.28	c #Conflicts:     203000 | #Constraints:      15483
742.19/744.28	c #Conflicts:     204000 | #Constraints:      16483
742.19/744.28	c #Conflicts:     205000 | #Constraints:      17483
742.19/744.28	c #Conflicts:     206000 | #Constraints:      18483
742.19/744.28	c #Conflicts:     207000 | #Constraints:      19483
742.19/744.28	c INPROCESSING
742.19/744.28	c GARBAGE COLLECT
742.19/744.28	c #Conflicts:     208000 | #Constraints:      11458
742.19/744.28	c #Conflicts:     209000 | #Constraints:      12458
742.19/744.28	c #Conflicts:     210000 | #Constraints:      13458
742.19/744.28	c #Conflicts:     211000 | #Constraints:      14458
742.19/744.28	c #Conflicts:     212000 | #Constraints:      15458
742.19/744.28	c #Conflicts:     213000 | #Constraints:      16458
1049.67/1052.55	c #Conflicts:     214000 | #Constraints:      17458
1049.67/1052.55	c #Conflicts:     215000 | #Constraints:      18458
1049.67/1052.55	c #Conflicts:     216000 | #Constraints:      19458
1049.67/1052.55	c INPROCESSING
1049.67/1052.55	c GARBAGE COLLECT
1049.67/1052.55	c #Conflicts:     217000 | #Constraints:      11287
1049.67/1052.55	c #Conflicts:     218000 | #Constraints:      12287
1049.67/1052.55	c #Conflicts:     219000 | #Constraints:      13287
1049.67/1052.55	c #Conflicts:     220000 | #Constraints:      14287
1049.67/1052.55	c #Conflicts:     221000 | #Constraints:      15287
1049.67/1052.55	c #Conflicts:     222000 | #Constraints:      16287
1049.67/1052.55	c #Conflicts:     223000 | #Constraints:      17287
1049.67/1052.55	c #Conflicts:     224000 | #Constraints:      18287
1049.67/1052.55	c #Conflicts:     225000 | #Constraints:      19287
1049.67/1052.55	c #Conflicts:     226000 | #Constraints:      20287
1049.67/1052.55	c INPROCESSING
1049.67/1052.55	c GARBAGE COLLECT
1049.67/1052.55	c #Conflicts:     227000 | #Constraints:      11904
1049.67/1052.55	c #Conflicts:     228000 | #Constraints:      12904
1049.67/1052.55	c #Conflicts:     229000 | #Constraints:      13904
1049.67/1052.55	c #Conflicts:     230000 | #Constraints:      14904
1049.67/1052.55	c #Conflicts:     231000 | #Constraints:      15904
1049.67/1052.55	c #Conflicts:     232000 | #Constraints:      16904
1049.67/1052.55	c #Conflicts:     233000 | #Constraints:      17904
1049.67/1052.55	c #Conflicts:     234000 | #Constraints:      18904
1049.67/1052.55	c #Conflicts:     235000 | #Constraints:      19904
1049.67/1052.55	c #Conflicts:     236000 | #Constraints:      20904
1049.67/1052.55	c INPROCESSING
1049.67/1052.55	c GARBAGE COLLECT
1049.67/1052.55	c #Conflicts:     237000 | #Constraints:      12302
1049.67/1052.55	c #Conflicts:     238000 | #Constraints:      13302
1049.67/1052.55	c #Conflicts:     239000 | #Constraints:      14302
1049.67/1052.55	c #Conflicts:     240000 | #Constraints:      15302
1049.67/1052.55	c #Conflicts:     241000 | #Constraints:      16302
1049.67/1052.55	c #Conflicts:     242000 | #Constraints:      17302
1049.67/1052.55	c #Conflicts:     243000 | #Constraints:      18302
1049.67/1052.55	c #Conflicts:     244000 | #Constraints:      19302
1049.67/1052.55	c #Conflicts:     245000 | #Constraints:      20302
1049.67/1052.55	c #Conflicts:     246000 | #Constraints:      21302
1049.67/1052.55	c INPROCESSING
1049.67/1052.55	c GARBAGE COLLECT
1049.67/1052.55	c #Conflicts:     247000 | #Constraints:      12493
1049.67/1052.55	c #Conflicts:     248000 | #Constraints:      13493
1049.67/1052.55	c #Conflicts:     249000 | #Constraints:      14493
1049.67/1052.55	c #Conflicts:     250000 | #Constraints:      15493
1049.67/1052.55	c #Conflicts:     251000 | #Constraints:      16493
1049.67/1052.55	c #Conflicts:     252000 | #Constraints:      17493
1049.67/1052.55	c #Conflicts:     253000 | #Constraints:      18493
1049.67/1052.55	c #Conflicts:     254000 | #Constraints:      19493
1049.67/1052.55	c #Conflicts:     255000 | #Constraints:      20493
1049.67/1052.55	c #Conflicts:     256000 | #Constraints:      21493
1049.67/1052.55	c INPROCESSING
1049.67/1052.55	c GARBAGE COLLECT
1049.67/1052.55	c #Conflicts:     257000 | #Constraints:      12484
1049.67/1052.55	c #Conflicts:     258000 | #Constraints:      13484
1049.67/1052.55	c #Conflicts:     259000 | #Constraints:      14484
1049.67/1052.55	c #Conflicts:     260000 | #Constraints:      15484
1049.67/1052.55	c #Conflicts:     261000 | #Constraints:      16484
1049.67/1052.55	c #Conflicts:     262000 | #Constraints:      17484
1049.67/1052.55	c #Conflicts:     263000 | #Constraints:      18484
1049.67/1052.55	c #Conflicts:     264000 | #Constraints:      19484
1049.67/1052.55	c #Conflicts:     265000 | #Constraints:      20484
1049.67/1052.55	c #Conflicts:     266000 | #Constraints:      21484
1049.67/1052.55	c INPROCESSING
1049.67/1052.55	c GARBAGE COLLECT
1049.67/1052.55	c #Conflicts:     267000 | #Constraints:      12289
1049.67/1052.55	c #Conflicts:     268000 | #Constraints:      13289
1049.67/1052.55	c #Conflicts:     269000 | #Constraints:      14289
1049.67/1052.55	c #Conflicts:     270000 | #Constraints:      15289
1049.67/1052.55	c #Conflicts:     271000 | #Constraints:      16289
1049.67/1052.55	c #Conflicts:     272000 | #Constraints:      17289
1049.67/1052.55	c #Conflicts:     273000 | #Constraints:      18289
1049.67/1052.55	c #Conflicts:     274000 | #Constraints:      19289
1049.67/1052.55	c #Conflicts:     275000 | #Constraints:      20289
1049.67/1052.55	c #Conflicts:     276000 | #Constraints:      21289
1049.67/1052.55	c #Conflicts:     277000 | #Constraints:      22289
1049.67/1052.55	c INPROCESSING
1049.67/1052.55	c GARBAGE COLLECT
1049.67/1052.55	c #Conflicts:     278000 | #Constraints:      12914
1049.67/1052.55	c #Conflicts:     279000 | #Constraints:      13914
1049.67/1052.55	c #Conflicts:     280000 | #Constraints:      14914
1049.67/1052.55	c #Conflicts:     281000 | #Constraints:      15914
1049.67/1052.55	c #Conflicts:     282000 | #Constraints:      16914
1049.67/1052.55	c #Conflicts:     283000 | #Constraints:      17914
1049.67/1052.55	c #Conflicts:     284000 | #Constraints:      18914
1049.67/1052.55	c #Conflicts:     285000 | #Constraints:      19914
1049.67/1052.55	c #Conflicts:     286000 | #Constraints:      20914
1049.67/1052.55	c #Conflicts:     287000 | #Constraints:      21914
1049.67/1052.55	c #Conflicts:     288000 | #Constraints:      22914
1385.16/1388.95	c INPROCESSING
1385.16/1388.95	c GARBAGE COLLECT
1385.16/1388.95	c #Conflicts:     289000 | #Constraints:      13284
1385.16/1388.95	c #Conflicts:     290000 | #Constraints:      14284
1385.16/1388.95	c #Conflicts:     291000 | #Constraints:      15284
1385.16/1388.95	c #Conflicts:     292000 | #Constraints:      16284
1385.16/1388.95	c #Conflicts:     293000 | #Constraints:      17284
1385.16/1388.95	c #Conflicts:     294000 | #Constraints:      18284
1385.16/1388.95	c #Conflicts:     295000 | #Constraints:      19284
1385.16/1388.95	c #Conflicts:     296000 | #Constraints:      20284
1385.16/1388.95	c #Conflicts:     297000 | #Constraints:      21284
1385.16/1388.95	c #Conflicts:     298000 | #Constraints:      22284
1385.16/1388.95	c #Conflicts:     299000 | #Constraints:      23284
1385.16/1388.95	c INPROCESSING
1385.16/1388.95	c GARBAGE COLLECT
1385.16/1388.95	c #Conflicts:     300000 | #Constraints:      13476
1385.16/1388.95	c #Conflicts:     301000 | #Constraints:      14476
1385.16/1388.95	c #Conflicts:     302000 | #Constraints:      15476
1385.16/1388.95	c #Conflicts:     303000 | #Constraints:      16476
1385.16/1388.95	c #Conflicts:     304000 | #Constraints:      17476
1385.16/1388.95	c #Conflicts:     305000 | #Constraints:      18476
1385.16/1388.95	c #Conflicts:     306000 | #Constraints:      19476
1385.16/1388.95	c #Conflicts:     307000 | #Constraints:      20476
1385.16/1388.95	c #Conflicts:     308000 | #Constraints:      21476
1385.16/1388.95	c #Conflicts:     309000 | #Constraints:      22476
1385.16/1388.95	c #Conflicts:     310000 | #Constraints:      23476
1385.16/1388.95	c INPROCESSING
1385.16/1388.95	c GARBAGE COLLECT
1385.16/1388.95	c #Conflicts:     311000 | #Constraints:      13504
1385.16/1388.95	c #Conflicts:     312000 | #Constraints:      14504
1385.16/1388.95	c #Conflicts:     313000 | #Constraints:      15504
1385.16/1388.95	c #Conflicts:     314000 | #Constraints:      16504
1385.16/1388.95	c #Conflicts:     315000 | #Constraints:      17504
1385.16/1388.95	c #Conflicts:     316000 | #Constraints:      18504
1385.16/1388.95	c #Conflicts:     317000 | #Constraints:      19504
1385.16/1388.95	c #Conflicts:     318000 | #Constraints:      20504
1385.16/1388.95	c #Conflicts:     319000 | #Constraints:      21504
1385.16/1388.95	c #Conflicts:     320000 | #Constraints:      22504
1385.16/1388.95	c #Conflicts:     321000 | #Constraints:      23504
1385.16/1388.95	c INPROCESSING
1385.16/1388.95	c GARBAGE COLLECT
1385.16/1388.95	c #Conflicts:     322000 | #Constraints:      13342
1385.16/1388.95	c #Conflicts:     323000 | #Constraints:      14342
1385.16/1388.95	c #Conflicts:     324000 | #Constraints:      15342
1385.16/1388.95	c #Conflicts:     325000 | #Constraints:      16342
1385.16/1388.95	c #Conflicts:     326000 | #Constraints:      17342
1385.16/1388.95	c #Conflicts:     327000 | #Constraints:      18342
1385.16/1388.95	c #Conflicts:     328000 | #Constraints:      19342
1385.16/1388.95	c #Conflicts:     329000 | #Constraints:      20342
1385.16/1388.95	c #Conflicts:     330000 | #Constraints:      21342
1385.16/1388.95	c #Conflicts:     331000 | #Constraints:      22342
1385.16/1388.95	c #Conflicts:     332000 | #Constraints:      23342
1385.16/1388.95	c #Conflicts:     333000 | #Constraints:      24342
1385.16/1388.95	c INPROCESSING
1385.16/1388.95	c GARBAGE COLLECT
1385.16/1388.95	c #Conflicts:     334000 | #Constraints:      13955
1385.16/1388.95	c #Conflicts:     335000 | #Constraints:      14955
1385.16/1388.95	c #Conflicts:     336000 | #Constraints:      15955
1385.16/1388.95	c #Conflicts:     337000 | #Constraints:      16955
1385.16/1388.95	c #Conflicts:     338000 | #Constraints:      17955
1385.16/1388.95	c #Conflicts:     339000 | #Constraints:      18955
1385.16/1388.95	c #Conflicts:     340000 | #Constraints:      19955
1385.16/1388.95	c #Conflicts:     341000 | #Constraints:      20955
1385.16/1388.95	c #Conflicts:     342000 | #Constraints:      21955
1385.16/1388.95	c #Conflicts:     343000 | #Constraints:      22955
1385.16/1388.95	c #Conflicts:     344000 | #Constraints:      23955
1385.16/1388.95	c #Conflicts:     345000 | #Constraints:      24955
1385.16/1388.95	c INPROCESSING
1385.16/1388.95	c GARBAGE COLLECT
1385.16/1388.95	c #Conflicts:     346000 | #Constraints:      14340
1385.16/1388.95	c #Conflicts:     347000 | #Constraints:      15340
1385.16/1388.95	c #Conflicts:     348000 | #Constraints:      16340
1385.16/1388.95	c #Conflicts:     349000 | #Constraints:      17340
1385.16/1388.95	c #Conflicts:     350000 | #Constraints:      18340
1385.16/1388.95	c #Conflicts:     351000 | #Constraints:      19340
1385.16/1388.95	c #Conflicts:     352000 | #Constraints:      20340
1385.16/1388.95	c #Conflicts:     353000 | #Constraints:      21340
1385.16/1388.95	c #Conflicts:     354000 | #Constraints:      22340
1385.16/1388.95	c #Conflicts:     355000 | #Constraints:      23340
1385.16/1388.95	c #Conflicts:     356000 | #Constraints:      24340
1385.16/1388.95	c #Conflicts:     357000 | #Constraints:      25340
1385.16/1388.95	c INPROCESSING
1385.16/1388.95	c GARBAGE COLLECT
1385.16/1388.95	c #Conflicts:     358000 | #Constraints:      14509
1385.16/1388.95	c #Conflicts:     359000 | #Constraints:      15509
1385.16/1388.95	c #Conflicts:     360000 | #Constraints:      16509
1385.16/1388.95	c #Conflicts:     361000 | #Constraints:      17509
1385.16/1388.95	c #Conflicts:     362000 | #Constraints:      18509
1780.53/1785.35	c #Conflicts:     363000 | #Constraints:      19509
1780.53/1785.35	c #Conflicts:     364000 | #Constraints:      20509
1780.53/1785.35	c #Conflicts:     365000 | #Constraints:      21509
1780.53/1785.35	c #Conflicts:     366000 | #Constraints:      22509
1780.53/1785.35	c #Conflicts:     367000 | #Constraints:      23509
1780.53/1785.35	c #Conflicts:     368000 | #Constraints:      24509
1780.53/1785.35	c #Conflicts:     369000 | #Constraints:      25509
1780.53/1785.35	c INPROCESSING
1780.53/1785.35	c GARBAGE COLLECT
1780.53/1785.35	c #Conflicts:     370000 | #Constraints:      14547
1780.53/1785.35	c #Conflicts:     371000 | #Constraints:      15547
1780.53/1785.35	c #Conflicts:     372000 | #Constraints:      16547
1780.53/1785.35	c #Conflicts:     373000 | #Constraints:      17547
1780.53/1785.35	c #Conflicts:     374000 | #Constraints:      18547
1780.53/1785.35	c #Conflicts:     375000 | #Constraints:      19547
1780.53/1785.35	c #Conflicts:     376000 | #Constraints:      20547
1780.53/1785.35	c #Conflicts:     377000 | #Constraints:      21547
1780.53/1785.35	c #Conflicts:     378000 | #Constraints:      22547
1780.53/1785.35	c #Conflicts:     379000 | #Constraints:      23547
1780.53/1785.35	c #Conflicts:     380000 | #Constraints:      24547
1780.53/1785.35	c #Conflicts:     381000 | #Constraints:      25547
1780.53/1785.35	c INPROCESSING
1780.53/1785.35	c GARBAGE COLLECT
1780.53/1785.35	c #Conflicts:     382000 | #Constraints:      14365
1780.53/1785.35	c #Conflicts:     383000 | #Constraints:      15365
1780.53/1785.35	c #Conflicts:     384000 | #Constraints:      16365
1780.53/1785.35	c #Conflicts:     385000 | #Constraints:      17365
1780.53/1785.35	c #Conflicts:     386000 | #Constraints:      18365
1780.53/1785.35	c #Conflicts:     387000 | #Constraints:      19365
1780.53/1785.35	c #Conflicts:     388000 | #Constraints:      20365
1780.53/1785.35	c #Conflicts:     389000 | #Constraints:      21365
1780.53/1785.35	c #Conflicts:     390000 | #Constraints:      22365
1780.53/1785.35	c #Conflicts:     391000 | #Constraints:      23365
1780.53/1785.35	c #Conflicts:     392000 | #Constraints:      24365
1780.53/1785.35	c #Conflicts:     393000 | #Constraints:      25365
1780.53/1785.35	c #Conflicts:     394000 | #Constraints:      26365
1780.53/1785.35	c INPROCESSING
1780.53/1785.35	c GARBAGE COLLECT
1780.53/1785.35	c #Conflicts:     395000 | #Constraints:      14944
1780.53/1785.35	c #Conflicts:     396000 | #Constraints:      15944
1780.53/1785.35	c #Conflicts:     397000 | #Constraints:      16944
1780.53/1785.35	c #Conflicts:     398000 | #Constraints:      17944
1780.53/1785.35	c #Conflicts:     399000 | #Constraints:      18944
1780.53/1785.35	c #Conflicts:     400000 | #Constraints:      19944
1780.53/1785.35	c #Conflicts:     401000 | #Constraints:      20944
1780.53/1785.35	c #Conflicts:     402000 | #Constraints:      21944
1780.53/1785.35	c #Conflicts:     403000 | #Constraints:      22944
1780.53/1785.35	c #Conflicts:     404000 | #Constraints:      23944
1780.53/1785.35	c #Conflicts:     405000 | #Constraints:      24944
1780.53/1785.35	c #Conflicts:     406000 | #Constraints:      25944
1780.53/1785.35	c #Conflicts:     407000 | #Constraints:      26944
1780.53/1785.35	c INPROCESSING
1780.53/1785.35	c GARBAGE COLLECT
1780.53/1785.35	c #Conflicts:     408000 | #Constraints:      15378
1780.53/1785.35	c #Conflicts:     409000 | #Constraints:      16378
1780.53/1785.35	c #Conflicts:     410000 | #Constraints:      17378
1780.53/1785.35	c #Conflicts:     411000 | #Constraints:      18378
1780.53/1785.35	c #Conflicts:     412000 | #Constraints:      19378
1780.53/1785.35	c #Conflicts:     413000 | #Constraints:      20378
1780.53/1785.35	c #Conflicts:     414000 | #Constraints:      21378
1780.53/1785.35	c #Conflicts:     415000 | #Constraints:      22378
1780.53/1785.35	c #Conflicts:     416000 | #Constraints:      23378
1780.53/1785.35	c #Conflicts:     417000 | #Constraints:      24378
1780.53/1785.35	c #Conflicts:     418000 | #Constraints:      25378
1780.53/1785.35	c #Conflicts:     419000 | #Constraints:      26378
1780.53/1785.35	c #Conflicts:     420000 | #Constraints:      27378
1780.53/1785.35	c INPROCESSING
1780.53/1785.35	c GARBAGE COLLECT
1780.53/1785.35	c #Conflicts:     421000 | #Constraints:      15565
1780.53/1785.35	c #Conflicts:     422000 | #Constraints:      16565
1780.53/1785.35	c #Conflicts:     423000 | #Constraints:      17565
1780.53/1785.35	c #Conflicts:     424000 | #Constraints:      18565
1780.53/1785.35	c #Conflicts:     425000 | #Constraints:      19565
1780.53/1785.35	c #Conflicts:     426000 | #Constraints:      20565
1780.53/1785.35	c #Conflicts:     427000 | #Constraints:      21565
1780.53/1785.35	c #Conflicts:     428000 | #Constraints:      22565
1780.53/1785.35	c #Conflicts:     429000 | #Constraints:      23565
1780.53/1785.35	c #Conflicts:     430000 | #Constraints:      24565
1780.53/1785.35	c #Conflicts:     431000 | #Constraints:      25565
1780.53/1785.35	c #Conflicts:     432000 | #Constraints:      26565
1780.53/1785.35	c #Conflicts:     433000 | #Constraints:      27565
1780.53/1785.35	c INPROCESSING
1780.53/1785.35	c GARBAGE COLLECT
1780.53/1785.35	c #Conflicts:     434000 | #Constraints:      15499
1780.53/1785.35	c #Conflicts:     435000 | #Constraints:      16499
1780.53/1785.35	c #Conflicts:     436000 | #Constraints:      17499
1780.53/1785.35	c #Conflicts:     437000 | #Constraints:      18499
2025.80/2031.28	c #Conflicts:     438000 | #Constraints:      19499
2025.80/2031.28	c #Conflicts:     439000 | #Constraints:      20499
2025.80/2031.28	c #Conflicts:     440000 | #Constraints:      21499
2025.80/2031.28	c #Conflicts:     441000 | #Constraints:      22499
2025.80/2031.28	c #Conflicts:     442000 | #Constraints:      23499
2025.80/2031.28	c #Conflicts:     443000 | #Constraints:      24499
2025.80/2031.28	c #Conflicts:     444000 | #Constraints:      25499
2025.80/2031.28	c #Conflicts:     445000 | #Constraints:      26499
2025.80/2031.28	c #Conflicts:     446000 | #Constraints:      27499
2025.80/2031.28	c INPROCESSING
2025.80/2031.28	c GARBAGE COLLECT
2025.80/2031.28	c #Conflicts:     447000 | #Constraints:      15317
2025.80/2031.28	c #Conflicts:     448000 | #Constraints:      16317
2025.80/2031.28	c #Conflicts:     449000 | #Constraints:      17317
2025.80/2031.28	c #Conflicts:     450000 | #Constraints:      18317
2025.80/2031.28	c #Conflicts:     451000 | #Constraints:      19317
2025.80/2031.28	c #Conflicts:     452000 | #Constraints:      20317
2025.80/2031.28	c #Conflicts:     453000 | #Constraints:      21317
2025.80/2031.28	c #Conflicts:     454000 | #Constraints:      22317
2025.80/2031.28	c #Conflicts:     455000 | #Constraints:      23317
2025.80/2031.28	c #Conflicts:     456000 | #Constraints:      24317
2025.80/2031.28	c #Conflicts:     457000 | #Constraints:      25317
2025.80/2031.28	c #Conflicts:     458000 | #Constraints:      26317
2025.80/2031.28	c #Conflicts:     459000 | #Constraints:      27317
2025.80/2031.28	c #Conflicts:     460000 | #Constraints:      28317
2025.80/2031.28	c INPROCESSING
2025.80/2031.28	c GARBAGE COLLECT
2025.80/2031.28	c #Conflicts:     461000 | #Constraints:      15925
2025.80/2031.28	c #Conflicts:     462000 | #Constraints:      16925
2025.80/2031.28	c #Conflicts:     463000 | #Constraints:      17925
2025.80/2031.28	c #Conflicts:     464000 | #Constraints:      18925
2025.80/2031.28	c #Conflicts:     465000 | #Constraints:      19925
2025.80/2031.28	c #Conflicts:     466000 | #Constraints:      20925
2025.80/2031.28	c #Conflicts:     467000 | #Constraints:      21925
2025.80/2031.28	c #Conflicts:     468000 | #Constraints:      22925
2025.80/2031.28	c #Conflicts:     469000 | #Constraints:      23925
2025.80/2031.28	c #Conflicts:     470000 | #Constraints:      24925
2025.80/2031.28	c #Conflicts:     471000 | #Constraints:      25925
2025.80/2031.28	c #Conflicts:     472000 | #Constraints:      26925
2025.80/2031.28	c #Conflicts:     473000 | #Constraints:      27925
2025.80/2031.28	c #Conflicts:     474000 | #Constraints:      28925
2025.80/2031.28	c INPROCESSING
2025.80/2031.28	c GARBAGE COLLECT
2025.80/2031.28	c #Conflicts:     475000 | #Constraints:      16347
2025.80/2031.28	c #Conflicts:     476000 | #Constraints:      17347
2025.80/2031.28	c #Conflicts:     477000 | #Constraints:      18347
2025.80/2031.28	c #Conflicts:     478000 | #Constraints:      19347
2025.80/2031.28	c #Conflicts:     479000 | #Constraints:      20347
2025.80/2031.28	c #Conflicts:     480000 | #Constraints:      21347
2025.80/2031.28	c #Conflicts:     481000 | #Constraints:      22347
2025.80/2031.28	c #Conflicts:     482000 | #Constraints:      23347
2025.80/2031.28	c #Conflicts:     483000 | #Constraints:      24347
2025.80/2031.28	c #Conflicts:     484000 | #Constraints:      25347
2025.80/2031.28	c #Conflicts:     485000 | #Constraints:      26347
2025.80/2031.28	c #Conflicts:     486000 | #Constraints:      27347
2025.80/2031.28	c #Conflicts:     487000 | #Constraints:      28347
2025.80/2031.28	c #Conflicts:     488000 | #Constraints:      29347
2025.80/2031.28	c INPROCESSING
2025.80/2031.28	c GARBAGE COLLECT
2025.80/2031.28	c #Conflicts:     489000 | #Constraints:      16559
2025.80/2031.28	c #Conflicts:     490000 | #Constraints:      17559
2025.80/2031.28	c #Conflicts:     491000 | #Constraints:      18559
2025.80/2031.28	c #Conflicts:     492000 | #Constraints:      19559
2025.80/2031.28	c #Conflicts:     493000 | #Constraints:      20559
2025.80/2031.28	c #Conflicts:     494000 | #Constraints:      21559
2025.80/2031.28	c #Conflicts:     495000 | #Constraints:      22559
2025.80/2031.28	c #Conflicts:     496000 | #Constraints:      23559
2025.80/2031.28	c #Conflicts:     497000 | #Constraints:      24559
2025.80/2031.28	c #Conflicts:     498000 | #Constraints:      25559
2025.80/2031.28	c #Conflicts:     499000 | #Constraints:      26559
2025.80/2031.28	c #Conflicts:     500000 | #Constraints:      27559
2025.80/2031.28	c #Conflicts:     501000 | #Constraints:      28559
2025.80/2031.28	c #Conflicts:     502000 | #Constraints:      29559
2025.80/2031.28	c INPROCESSING
2025.80/2031.28	c GARBAGE COLLECT
2025.80/2031.28	c #Conflicts:     503000 | #Constraints:      16548
2025.80/2031.28	c #Conflicts:     504000 | #Constraints:      17548
2025.80/2031.28	c #Conflicts:     505000 | #Constraints:      18548
2025.80/2031.28	c #Conflicts:     506000 | #Constraints:      19548
2025.80/2031.28	c #Conflicts:     507000 | #Constraints:      20548
2025.80/2031.28	c #Conflicts:     508000 | #Constraints:      21548
2025.80/2031.28	c #Conflicts:     509000 | #Constraints:      22548
2025.80/2031.28	c #Conflicts:     510000 | #Constraints:      23548
2025.80/2031.28	c #Conflicts:     511000 | #Constraints:      24548
2025.80/2031.28	c #Conflicts:     512000 | #Constraints:      25548
2025.80/2031.28	c #Conflicts:     513000 | #Constraints:      26548
2402.16/2408.52	c #Conflicts:     514000 | #Constraints:      27548
2402.16/2408.52	c #Conflicts:     515000 | #Constraints:      28548
2402.16/2408.52	c #Conflicts:     516000 | #Constraints:      29548
2402.16/2408.52	c INPROCESSING
2402.16/2408.52	c GARBAGE COLLECT
2402.16/2408.52	c #Conflicts:     517000 | #Constraints:      16330
2402.16/2408.52	c #Conflicts:     518000 | #Constraints:      17330
2402.16/2408.52	c #Conflicts:     519000 | #Constraints:      18330
2402.16/2408.52	c #Conflicts:     520000 | #Constraints:      19330
2402.16/2408.52	c #Conflicts:     521000 | #Constraints:      20330
2402.16/2408.52	c #Conflicts:     522000 | #Constraints:      21330
2402.16/2408.52	c #Conflicts:     523000 | #Constraints:      22330
2402.16/2408.52	c #Conflicts:     524000 | #Constraints:      23330
2402.16/2408.52	c #Conflicts:     525000 | #Constraints:      24330
2402.16/2408.52	c #Conflicts:     526000 | #Constraints:      25330
2402.16/2408.52	c #Conflicts:     527000 | #Constraints:      26330
2402.16/2408.52	c #Conflicts:     528000 | #Constraints:      27330
2402.16/2408.52	c #Conflicts:     529000 | #Constraints:      28330
2402.16/2408.52	c #Conflicts:     530000 | #Constraints:      29330
2402.16/2408.52	c #Conflicts:     531000 | #Constraints:      30330
2402.16/2408.52	c INPROCESSING
2402.16/2408.52	c GARBAGE COLLECT
2402.16/2408.52	c #Conflicts:     532000 | #Constraints:      16927
2402.16/2408.52	c #Conflicts:     533000 | #Constraints:      17927
2402.16/2408.52	c #Conflicts:     534000 | #Constraints:      18927
2402.16/2408.52	c #Conflicts:     535000 | #Constraints:      19927
2402.16/2408.52	c #Conflicts:     536000 | #Constraints:      20927
2402.16/2408.52	c #Conflicts:     537000 | #Constraints:      21927
2402.16/2408.52	c #Conflicts:     538000 | #Constraints:      22927
2402.16/2408.52	c #Conflicts:     539000 | #Constraints:      23927
2402.16/2408.52	c #Conflicts:     540000 | #Constraints:      24927
2402.16/2408.52	c #Conflicts:     541000 | #Constraints:      25927
2402.16/2408.52	c #Conflicts:     542000 | #Constraints:      26927
2402.16/2408.52	c #Conflicts:     543000 | #Constraints:      27927
2402.16/2408.52	c #Conflicts:     544000 | #Constraints:      28927
2402.16/2408.52	c #Conflicts:     545000 | #Constraints:      29927
2402.16/2408.52	c #Conflicts:     546000 | #Constraints:      30927
2402.16/2408.52	c INPROCESSING
2402.16/2408.52	c GARBAGE COLLECT
2402.16/2408.52	c #Conflicts:     547000 | #Constraints:      17333
2402.16/2408.52	c #Conflicts:     548000 | #Constraints:      18333
2402.16/2408.52	c #Conflicts:     549000 | #Constraints:      19333
2402.16/2408.52	c #Conflicts:     550000 | #Constraints:      20333
2402.16/2408.52	c #Conflicts:     551000 | #Constraints:      21333
2402.16/2408.52	c #Conflicts:     552000 | #Constraints:      22333
2402.16/2408.52	c #Conflicts:     553000 | #Constraints:      23333
2402.16/2408.52	c #Conflicts:     554000 | #Constraints:      24333
2402.16/2408.52	c #Conflicts:     555000 | #Constraints:      25333
2402.16/2408.52	c #Conflicts:     556000 | #Constraints:      26333
2402.16/2408.52	c #Conflicts:     557000 | #Constraints:      27333
2402.16/2408.52	c #Conflicts:     558000 | #Constraints:      28333
2402.16/2408.52	c #Conflicts:     559000 | #Constraints:      29333
2402.16/2408.52	c #Conflicts:     560000 | #Constraints:      30333
2402.16/2408.52	c #Conflicts:     561000 | #Constraints:      31333
2402.16/2408.52	c INPROCESSING
2402.16/2408.52	c GARBAGE COLLECT
2402.16/2408.52	c #Conflicts:     562000 | #Constraints:      17504
2402.16/2408.52	c #Conflicts:     563000 | #Constraints:      18504
2402.16/2408.52	c #Conflicts:     564000 | #Constraints:      19504
2402.16/2408.52	c #Conflicts:     565000 | #Constraints:      20504
2402.16/2408.52	c #Conflicts:     566000 | #Constraints:      21504
2402.16/2408.52	c #Conflicts:     567000 | #Constraints:      22504
2402.16/2408.52	c #Conflicts:     568000 | #Constraints:      23504
2402.16/2408.52	c #Conflicts:     569000 | #Constraints:      24504
2402.16/2408.52	c #Conflicts:     570000 | #Constraints:      25504
2402.16/2408.52	c #Conflicts:     571000 | #Constraints:      26504
2402.16/2408.52	c #Conflicts:     572000 | #Constraints:      27504
2402.16/2408.52	c #Conflicts:     573000 | #Constraints:      28504
2402.16/2408.52	c #Conflicts:     574000 | #Constraints:      29504
2402.16/2408.52	c #Conflicts:     575000 | #Constraints:      30504
2402.16/2408.52	c #Conflicts:     576000 | #Constraints:      31504
2402.16/2408.52	c INPROCESSING
2402.16/2408.52	c GARBAGE COLLECT
2402.16/2408.52	c #Conflicts:     577000 | #Constraints:      17523
2402.16/2408.52	c #Conflicts:     578000 | #Constraints:      18523
2402.16/2408.52	c #Conflicts:     579000 | #Constraints:      19523
2402.16/2408.52	c #Conflicts:     580000 | #Constraints:      20523
2402.16/2408.52	c #Conflicts:     581000 | #Constraints:      21523
2402.16/2408.52	c #Conflicts:     582000 | #Constraints:      22523
2402.16/2408.52	c #Conflicts:     583000 | #Constraints:      23523
2402.16/2408.52	c #Conflicts:     584000 | #Constraints:      24523
2402.16/2408.52	c #Conflicts:     585000 | #Constraints:      25523
2402.16/2408.52	c #Conflicts:     586000 | #Constraints:      26523
2402.16/2408.52	c #Conflicts:     587000 | #Constraints:      27523
2402.16/2408.52	c #Conflicts:     588000 | #Constraints:      28523
2767.34/2774.65	c #Conflicts:     589000 | #Constraints:      29523
2767.34/2774.65	c #Conflicts:     590000 | #Constraints:      30523
2767.34/2774.65	c #Conflicts:     591000 | #Constraints:      31523
2767.34/2774.65	c INPROCESSING
2767.34/2774.65	c GARBAGE COLLECT
2767.34/2774.65	c #Conflicts:     592000 | #Constraints:      17333
2767.34/2774.65	c #Conflicts:     593000 | #Constraints:      18333
2767.34/2774.65	c #Conflicts:     594000 | #Constraints:      19333
2767.34/2774.65	c #Conflicts:     595000 | #Constraints:      20333
2767.34/2774.65	c #Conflicts:     596000 | #Constraints:      21333
2767.34/2774.65	c #Conflicts:     597000 | #Constraints:      22333
2767.34/2774.65	c #Conflicts:     598000 | #Constraints:      23333
2767.34/2774.65	c #Conflicts:     599000 | #Constraints:      24333
2767.34/2774.65	c #Conflicts:     600000 | #Constraints:      25333
2767.34/2774.65	c #Conflicts:     601000 | #Constraints:      26333
2767.34/2774.65	c #Conflicts:     602000 | #Constraints:      27333
2767.34/2774.65	c #Conflicts:     603000 | #Constraints:      28333
2767.34/2774.65	c #Conflicts:     604000 | #Constraints:      29333
2767.34/2774.65	c #Conflicts:     605000 | #Constraints:      30333
2767.34/2774.65	c #Conflicts:     606000 | #Constraints:      31333
2767.34/2774.65	c #Conflicts:     607000 | #Constraints:      32333
2767.34/2774.65	c INPROCESSING
2767.34/2774.65	c GARBAGE COLLECT
2767.34/2774.65	c #Conflicts:     608000 | #Constraints:      17964
2767.34/2774.65	c #Conflicts:     609000 | #Constraints:      18964
2767.34/2774.65	c #Conflicts:     610000 | #Constraints:      19964
2767.34/2774.65	c #Conflicts:     611000 | #Constraints:      20964
2767.34/2774.65	c #Conflicts:     612000 | #Constraints:      21964
2767.34/2774.65	c #Conflicts:     613000 | #Constraints:      22964
2767.34/2774.65	c #Conflicts:     614000 | #Constraints:      23964
2767.34/2774.65	c #Conflicts:     615000 | #Constraints:      24964
2767.34/2774.65	c #Conflicts:     616000 | #Constraints:      25964
2767.34/2774.65	c #Conflicts:     617000 | #Constraints:      26964
2767.34/2774.65	c #Conflicts:     618000 | #Constraints:      27964
2767.34/2774.65	c #Conflicts:     619000 | #Constraints:      28964
2767.34/2774.65	c #Conflicts:     620000 | #Constraints:      29964
2767.34/2774.65	c #Conflicts:     621000 | #Constraints:      30964
2767.34/2774.65	c #Conflicts:     622000 | #Constraints:      31964
2767.34/2774.65	c #Conflicts:     623000 | #Constraints:      32964
2767.34/2774.65	c INPROCESSING
2767.34/2774.65	c GARBAGE COLLECT
2767.34/2774.65	c #Conflicts:     624000 | #Constraints:      18366
2767.34/2774.65	c #Conflicts:     625000 | #Constraints:      19366
2767.34/2774.65	c #Conflicts:     626000 | #Constraints:      20366
2767.34/2774.65	c #Conflicts:     627000 | #Constraints:      21366
2767.34/2774.65	c #Conflicts:     628000 | #Constraints:      22366
2767.34/2774.65	c #Conflicts:     629000 | #Constraints:      23366
2767.34/2774.65	c #Conflicts:     630000 | #Constraints:      24366
2767.34/2774.65	c #Conflicts:     631000 | #Constraints:      25366
2767.34/2774.65	c #Conflicts:     632000 | #Constraints:      26366
2767.34/2774.65	c #Conflicts:     633000 | #Constraints:      27366
2767.34/2774.65	c #Conflicts:     634000 | #Constraints:      28366
2767.34/2774.65	c #Conflicts:     635000 | #Constraints:      29366
2767.34/2774.65	c #Conflicts:     636000 | #Constraints:      30366
2767.34/2774.65	c #Conflicts:     637000 | #Constraints:      31366
2767.34/2774.65	c #Conflicts:     638000 | #Constraints:      32366
2767.34/2774.65	c #Conflicts:     639000 | #Constraints:      33366
2767.34/2774.65	c INPROCESSING
2767.34/2774.65	c GARBAGE COLLECT
2767.34/2774.65	c #Conflicts:     640000 | #Constraints:      18550
2767.34/2774.65	c #Conflicts:     641000 | #Constraints:      19550
2767.34/2774.65	c #Conflicts:     642000 | #Constraints:      20550
2767.34/2774.65	c #Conflicts:     643000 | #Constraints:      21550
2767.34/2774.65	c #Conflicts:     644000 | #Constraints:      22550
2767.34/2774.65	c #Conflicts:     645000 | #Constraints:      23550
2767.34/2774.65	c #Conflicts:     646000 | #Constraints:      24550
2767.34/2774.65	c #Conflicts:     647000 | #Constraints:      25550
2767.34/2774.65	c #Conflicts:     648000 | #Constraints:      26550
2767.34/2774.65	c #Conflicts:     649000 | #Constraints:      27550
2767.34/2774.65	c #Conflicts:     650000 | #Constraints:      28550
2767.34/2774.65	c #Conflicts:     651000 | #Constraints:      29550
2767.34/2774.65	c #Conflicts:     652000 | #Constraints:      30550
2767.34/2774.65	c #Conflicts:     653000 | #Constraints:      31550
2767.34/2774.65	c #Conflicts:     654000 | #Constraints:      32550
2767.34/2774.65	c #Conflicts:     655000 | #Constraints:      33550
2767.34/2774.65	c INPROCESSING
2767.34/2774.65	c GARBAGE COLLECT
2767.34/2774.65	c #Conflicts:     656000 | #Constraints:      18570
2767.34/2774.65	c #Conflicts:     657000 | #Constraints:      19570
2767.34/2774.65	c #Conflicts:     658000 | #Constraints:      20570
2767.34/2774.65	c #Conflicts:     659000 | #Constraints:      21570
2767.34/2774.65	c #Conflicts:     660000 | #Constraints:      22570
2767.34/2774.65	c #Conflicts:     661000 | #Constraints:      23570
2767.34/2774.65	c #Conflicts:     662000 | #Constraints:      24570
2767.34/2774.65	c #Conflicts:     663000 | #Constraints:      25570
2767.34/2774.65	c #Conflicts:     664000 | #Constraints:      26570
3141.09/3149.35	c #Conflicts:     665000 | #Constraints:      27570
3141.09/3149.35	c #Conflicts:     666000 | #Constraints:      28570
3141.09/3149.35	c #Conflicts:     667000 | #Constraints:      29570
3141.09/3149.35	c #Conflicts:     668000 | #Constraints:      30570
3141.09/3149.35	c #Conflicts:     669000 | #Constraints:      31570
3141.09/3149.35	c #Conflicts:     670000 | #Constraints:      32570
3141.09/3149.35	c #Conflicts:     671000 | #Constraints:      33570
3141.09/3149.35	c INPROCESSING
3141.09/3149.35	c GARBAGE COLLECT
3141.09/3149.35	c #Conflicts:     672000 | #Constraints:      18382
3141.09/3149.35	c #Conflicts:     673000 | #Constraints:      19382
3141.09/3149.35	c #Conflicts:     674000 | #Constraints:      20382
3141.09/3149.35	c #Conflicts:     675000 | #Constraints:      21382
3141.09/3149.35	c #Conflicts:     676000 | #Constraints:      22382
3141.09/3149.35	c #Conflicts:     677000 | #Constraints:      23382
3141.09/3149.35	c #Conflicts:     678000 | #Constraints:      24382
3141.09/3149.35	c #Conflicts:     679000 | #Constraints:      25382
3141.09/3149.35	c #Conflicts:     680000 | #Constraints:      26382
3141.09/3149.35	c #Conflicts:     681000 | #Constraints:      27382
3141.09/3149.35	c #Conflicts:     682000 | #Constraints:      28382
3141.09/3149.35	c #Conflicts:     683000 | #Constraints:      29382
3141.09/3149.35	c #Conflicts:     684000 | #Constraints:      30382
3141.09/3149.35	c #Conflicts:     685000 | #Constraints:      31382
3141.09/3149.35	c #Conflicts:     686000 | #Constraints:      32382
3141.09/3149.35	c #Conflicts:     687000 | #Constraints:      33382
3141.09/3149.35	c #Conflicts:     688000 | #Constraints:      34382
3141.09/3149.35	c INPROCESSING
3141.09/3149.35	c GARBAGE COLLECT
3141.09/3149.35	c #Conflicts:     689000 | #Constraints:      18976
3141.09/3149.35	c #Conflicts:     690000 | #Constraints:      19976
3141.09/3149.35	c #Conflicts:     691000 | #Constraints:      20976
3141.09/3149.35	c #Conflicts:     692000 | #Constraints:      21976
3141.09/3149.35	c #Conflicts:     693000 | #Constraints:      22976
3141.09/3149.35	c #Conflicts:     694000 | #Constraints:      23976
3141.09/3149.35	c #Conflicts:     695000 | #Constraints:      24976
3141.09/3149.35	c #Conflicts:     696000 | #Constraints:      25976
3141.09/3149.35	c #Conflicts:     697000 | #Constraints:      26976
3141.09/3149.35	c #Conflicts:     698000 | #Constraints:      27976
3141.09/3149.35	c #Conflicts:     699000 | #Constraints:      28976
3141.09/3149.35	c #Conflicts:     700000 | #Constraints:      29976
3141.09/3149.35	c #Conflicts:     701000 | #Constraints:      30976
3141.09/3149.35	c #Conflicts:     702000 | #Constraints:      31976
3141.09/3149.35	c #Conflicts:     703000 | #Constraints:      32976
3141.09/3149.35	c #Conflicts:     704000 | #Constraints:      33976
3141.09/3149.35	c #Conflicts:     705000 | #Constraints:      34976
3141.09/3149.35	c INPROCESSING
3141.09/3149.35	c GARBAGE COLLECT
3141.09/3149.35	c #Conflicts:     706000 | #Constraints:      19382
3141.09/3149.35	c #Conflicts:     707000 | #Constraints:      20382
3141.09/3149.35	c #Conflicts:     708000 | #Constraints:      21382
3141.09/3149.35	c #Conflicts:     709000 | #Constraints:      22382
3141.09/3149.35	c #Conflicts:     710000 | #Constraints:      23382
3141.09/3149.35	c #Conflicts:     711000 | #Constraints:      24382
3141.09/3149.35	c #Conflicts:     712000 | #Constraints:      25382
3141.09/3149.35	c #Conflicts:     713000 | #Constraints:      26382
3141.09/3149.35	c #Conflicts:     714000 | #Constraints:      27382
3141.09/3149.35	c #Conflicts:     715000 | #Constraints:      28382
3141.09/3149.35	c #Conflicts:     716000 | #Constraints:      29382
3141.09/3149.35	c #Conflicts:     717000 | #Constraints:      30382
3141.09/3149.35	c #Conflicts:     718000 | #Constraints:      31382
3141.09/3149.35	c #Conflicts:     719000 | #Constraints:      32382
3141.09/3149.35	c #Conflicts:     720000 | #Constraints:      33382
3141.09/3149.35	c #Conflicts:     721000 | #Constraints:      34382
3141.09/3149.35	c #Conflicts:     722000 | #Constraints:      35382
3141.09/3149.35	c INPROCESSING
3141.09/3149.35	c GARBAGE COLLECT
3141.09/3149.35	c #Conflicts:     723000 | #Constraints:      19600
3141.09/3149.35	c #Conflicts:     724000 | #Constraints:      20600
3141.09/3149.35	c #Conflicts:     725000 | #Constraints:      21600
3141.09/3149.35	c #Conflicts:     726000 | #Constraints:      22600
3141.09/3149.35	c #Conflicts:     727000 | #Constraints:      23600
3141.09/3149.35	c #Conflicts:     728000 | #Constraints:      24600
3141.09/3149.35	c #Conflicts:     729000 | #Constraints:      25600
3141.09/3149.35	c #Conflicts:     730000 | #Constraints:      26600
3141.09/3149.35	c #Conflicts:     731000 | #Constraints:      27600
3141.09/3149.35	c #Conflicts:     732000 | #Constraints:      28600
3141.09/3149.35	c #Conflicts:     733000 | #Constraints:      29600
3141.09/3149.35	c #Conflicts:     734000 | #Constraints:      30600
3141.09/3149.35	c #Conflicts:     735000 | #Constraints:      31600
3141.09/3149.35	c #Conflicts:     736000 | #Constraints:      32600
3141.09/3149.35	c #Conflicts:     737000 | #Constraints:      33600
3141.09/3149.35	c #Conflicts:     738000 | #Constraints:      34600
3141.09/3149.35	c #Conflicts:     739000 | #Constraints:      35600
3141.09/3149.35	c INPROCESSING
3141.09/3149.35	c GARBAGE COLLECT
3530.68/3539.99	c #Conflicts:     740000 | #Constraints:      19605
3530.68/3539.99	c #Conflicts:     741000 | #Constraints:      20605
3530.68/3539.99	c #Conflicts:     742000 | #Constraints:      21605
3530.68/3539.99	c #Conflicts:     743000 | #Constraints:      22605
3530.68/3539.99	c #Conflicts:     744000 | #Constraints:      23605
3530.68/3539.99	c #Conflicts:     745000 | #Constraints:      24605
3530.68/3539.99	c #Conflicts:     746000 | #Constraints:      25605
3530.68/3539.99	c #Conflicts:     747000 | #Constraints:      26605
3530.68/3539.99	c #Conflicts:     748000 | #Constraints:      27605
3530.68/3539.99	c #Conflicts:     749000 | #Constraints:      28605
3530.68/3539.99	c #Conflicts:     750000 | #Constraints:      29605
3530.68/3539.99	c #Conflicts:     751000 | #Constraints:      30605
3530.68/3539.99	c #Conflicts:     752000 | #Constraints:      31605
3530.68/3539.99	c #Conflicts:     753000 | #Constraints:      32605
3530.68/3539.99	c #Conflicts:     754000 | #Constraints:      33605
3530.68/3539.99	c #Conflicts:     755000 | #Constraints:      34605
3530.68/3539.99	c #Conflicts:     756000 | #Constraints:      35605
3530.68/3539.99	c INPROCESSING
3530.68/3539.99	c GARBAGE COLLECT
3530.68/3539.99	c #Conflicts:     757000 | #Constraints:      19413
3530.68/3539.99	c #Conflicts:     758000 | #Constraints:      20413
3530.68/3539.99	c #Conflicts:     759000 | #Constraints:      21413
3530.68/3539.99	c #Conflicts:     760000 | #Constraints:      22413
3530.68/3539.99	c #Conflicts:     761000 | #Constraints:      23413
3530.68/3539.99	c #Conflicts:     762000 | #Constraints:      24413
3530.68/3539.99	c #Conflicts:     763000 | #Constraints:      25413
3530.68/3539.99	c #Conflicts:     764000 | #Constraints:      26413
3530.68/3539.99	c #Conflicts:     765000 | #Constraints:      27413
3530.68/3539.99	c #Conflicts:     766000 | #Constraints:      28413
3530.68/3539.99	c #Conflicts:     767000 | #Constraints:      29413
3530.68/3539.99	c #Conflicts:     768000 | #Constraints:      30413
3530.68/3539.99	c #Conflicts:     769000 | #Constraints:      31413
3530.68/3539.99	c #Conflicts:     770000 | #Constraints:      32413
3530.68/3539.99	c #Conflicts:     771000 | #Constraints:      33413
3530.68/3539.99	c #Conflicts:     772000 | #Constraints:      34413
3530.68/3539.99	c #Conflicts:     773000 | #Constraints:      35413
3530.68/3539.99	c #Conflicts:     774000 | #Constraints:      36413
3530.68/3539.99	c INPROCESSING
3530.68/3539.99	c GARBAGE COLLECT
3530.68/3539.99	c #Conflicts:     775000 | #Constraints:      20012
3530.68/3539.99	c #Conflicts:     776000 | #Constraints:      21012
3530.68/3539.99	c #Conflicts:     777000 | #Constraints:      22012
3530.68/3539.99	c #Conflicts:     778000 | #Constraints:      23012
3530.68/3539.99	c #Conflicts:     779000 | #Constraints:      24012
3530.68/3539.99	c #Conflicts:     780000 | #Constraints:      25012
3530.68/3539.99	c #Conflicts:     781000 | #Constraints:      26012
3530.68/3539.99	c #Conflicts:     782000 | #Constraints:      27012
3530.68/3539.99	c #Conflicts:     783000 | #Constraints:      28012
3530.68/3539.99	c #Conflicts:     784000 | #Constraints:      29012
3530.68/3539.99	c #Conflicts:     785000 | #Constraints:      30012
3530.68/3539.99	c #Conflicts:     786000 | #Constraints:      31012
3530.68/3539.99	c #Conflicts:     787000 | #Constraints:      32012
3530.68/3539.99	c #Conflicts:     788000 | #Constraints:      33012
3530.68/3539.99	c #Conflicts:     789000 | #Constraints:      34012
3530.68/3539.99	c #Conflicts:     790000 | #Constraints:      35012
3530.68/3539.99	c #Conflicts:     791000 | #Constraints:      36012
3530.68/3539.99	c #Conflicts:     792000 | #Constraints:      37012
3530.68/3539.99	c INPROCESSING
3530.68/3539.99	c GARBAGE COLLECT
3530.68/3539.99	c #Conflicts:     793000 | #Constraints:      20394
3530.68/3539.99	c #Conflicts:     794000 | #Constraints:      21394
3530.68/3539.99	c #Conflicts:     795000 | #Constraints:      22394
3530.68/3539.99	c #Conflicts:     796000 | #Constraints:      23394
3530.68/3539.99	c #Conflicts:     797000 | #Constraints:      24394
3530.68/3539.99	c #Conflicts:     798000 | #Constraints:      25394
3530.68/3539.99	c #Conflicts:     799000 | #Constraints:      26394
3530.68/3539.99	c #Conflicts:     800000 | #Constraints:      27394
3530.68/3539.99	c #Conflicts:     801000 | #Constraints:      28394
3530.68/3539.99	c #Conflicts:     802000 | #Constraints:      29394
3530.68/3539.99	c #Conflicts:     803000 | #Constraints:      30394
3530.68/3539.99	c #Conflicts:     804000 | #Constraints:      31394
3530.68/3539.99	c #Conflicts:     805000 | #Constraints:      32394
3530.68/3539.99	c #Conflicts:     806000 | #Constraints:      33394
3530.68/3539.99	c #Conflicts:     807000 | #Constraints:      34394
3530.68/3539.99	c #Conflicts:     808000 | #Constraints:      35394
3530.68/3539.99	c #Conflicts:     809000 | #Constraints:      36394
3530.68/3539.99	c #Conflicts:     810000 | #Constraints:      37394
3530.68/3539.99	c INPROCESSING
3530.68/3539.99	c GARBAGE COLLECT
3530.68/3539.99	c #Conflicts:     811000 | #Constraints:      20536
3530.68/3539.99	c #Conflicts:     812000 | #Constraints:      21536
3530.68/3539.99	c #Conflicts:     813000 | #Constraints:      22536
3530.68/3539.99	c #Conflicts:     814000 | #Constraints:      23536
3530.68/3539.99	c #Conflicts:     815000 | #Constraints:      24536
3530.68/3539.99	c #Conflicts:     816000 | #Constraints:      25536
3600.00/3609.43	c #Conflicts:     817000 | #Constraints:      26536
3600.00/3609.43	c #Conflicts:     818000 | #Constraints:      27536
3600.00/3609.43	c #Conflicts:     819000 | #Constraints:      28536
3600.00/3609.43	c #Conflicts:     820000 | #Constraints:      29536
3600.00/3609.43	c #Conflicts:     821000 | #Constraints:      30536
3600.00/3609.43	c #Conflicts:     822000 | #Constraints:      31536
3600.00/3609.43	c #Conflicts:     823000 | #Constraints:      32536
3600.00/3609.43	c #Conflicts:     824000 | #Constraints:      33536
3600.00/3609.43	c cpu time 3582.25 s
3600.00/3609.43	c deterministic time 1 1.00e+00
3600.00/3609.43	c optimization time 3582.24 s
3600.00/3609.43	c total solve time 0 s
3600.00/3609.43	c core-guided solve time 0 s
3600.00/3609.43	c propagation time 0.000357 s
3600.00/3609.43	c conflict analysis time 0 s
3600.00/3609.43	c propagations 0
3600.00/3609.43	c resolve steps 0
3600.00/3609.43	c decisions 0
3600.00/3609.43	c conflicts 0
3600.00/3609.43	c restarts 0
3600.00/3609.43	c inprocessing phases 0
3600.00/3609.43	c garbage collections 0 ,( -nan )
3600.00/3609.43	c input clauses 0 ,( 0.00 )
3600.00/3609.43	c input cardinalities 39 ,( 2.56 )
3600.00/3609.43	c input general constraints 1482 ,( 97.44 )
3600.00/3609.43	c input average constraint length 17.69
3600.00/3609.43	c input average constraint degree 11.77
3600.00/3609.43	c learned clauses 0 ,( 0.00 )
3600.00/3609.43	c learned cardinalities 0 ,( 0.00 )
3600.00/3609.43	c learned general constraints 0 ,( 0.00 )
3600.00/3609.43	c learned average constraint length 0.00
3600.00/3609.43	c learned average constraint degree 0.00
3600.00/3609.43	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3609.43	c counting CF 32, 64, 128, Arb: 1483 , 0 , 0 , 0
3600.00/3609.43	c watched   constraints 0 ,( 0.00 ) 
3600.00/3609.43	c counting  constraints 1482 ,( 100.00 ) 
3600.00/3609.43	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3609.43	c gcd simplifications 39
3600.00/3609.43	c detected cardinalities 0
3600.00/3609.43	c weakened non-implied lits 0
3600.00/3609.43	c weakened non-implying lits 0
3600.00/3609.43	c original variables 9126
3600.00/3609.43	c clausal propagations 0
3600.00/3609.43	c cardinality propagations 0
3600.00/3609.43	c watched propagations 0
3600.00/3609.43	c counting propagations 0
3600.00/3609.43	c watch lookups 0
3600.00/3609.43	c watch backjump lookups 0
3600.00/3609.43	c watch checks 0
3600.00/3609.43	c propagation checks 0
3600.00/3609.43	c constraint additions 0
3600.00/3609.43	c trail pops 0
3600.00/3609.43	c formula constraints 1521
3600.00/3609.43	c learned constraints 0
3600.00/3609.43	c bound constraints 0
3600.00/3609.43	c core-guided constraints 0
3600.00/3609.43	c encountered formula constraints 0
3600.00/3609.43	c encountered learned constraints 0
3600.00/3609.43	c encountered bound constraints 0
3600.00/3609.43	c encountered core-guided constraints 0
3600.00/3609.43	c LP total time 0 s
3600.00/3609.43	c LP solve time 0 s
3600.00/3609.43	c LP constraints added 0
3600.00/3609.43	c LP constraints removed 0
3600.00/3609.43	c LP pivots internal 0
3600.00/3609.43	c LP pivots root 0
3600.00/3609.43	c LP calls 0
3600.00/3609.43	c LP optimalities 0
3600.00/3609.43	c LP no pivot count 0
3600.00/3609.43	c LP infeasibilities 0
3600.00/3609.43	c LP valid Farkas constraints 0
3600.00/3609.43	c LP learned Farkas constraints 0
3600.00/3609.43	c LP basis resets 0
3600.00/3609.43	c LP cycling count 0
3600.00/3609.43	c LP singular count 0
3600.00/3609.43	c LP no primal count 0
3600.00/3609.43	c LP no farkas count 0
3600.00/3609.43	c LP other issue count 0
3600.00/3609.43	c LP Gomory cuts 0
3600.00/3609.43	c LP learned cuts 0
3600.00/3609.43	c LP deleted cuts 0
3600.00/3609.43	c LP encountered Gomory constraints 0
3600.00/3609.43	c LP encountered Farkas constraints 0
3600.00/3609.43	c LP encountered learned Farkas constraints 0
3600.00/3609.43	c CG auxiliary variables introduced 0
3600.00/3609.43	c CG solutions found 0
3600.00/3609.43	c CG cores constructed 0
3600.00/3609.43	c CG core cardinality constraints returned 0
3600.00/3609.43	c CG unit cores 0
3600.00/3609.43	c CG single cores 0
3600.00/3609.43	c CG blocks removed during cardinality reduction 0
3600.00/3609.43	c CG first core best 0
3600.00/3609.43	c CG decision core best 0
3600.00/3609.43	c CG core reduction tie 0
3600.00/3609.43	c CG core degree average 0.00
3600.00/3609.43	c CG core slack average 0.00
3600.00/3609.43	c CG core upper bound improvements 0
3600.00/3609.43	c STR number of successful calls 0
3600.00/3609.43	c STR number of unsuccessful calls 0
3600.00/3609.43	c STR number of inconclusive calls 0
3600.00/3609.43	c STR number of successful attempts 0
3600.00/3609.43	c STR number of unsuccessful attempts 0
3600.00/3609.43	c STR number of inconclusive attempts 0
3600.00/3609.43	c STR average degree increase per successful call inf
3600.00/3609.43	c STR average degree increase per successful attempt inf
3600.00/3609.43	c STR total number of conflicts for successful attempts 0
3600.00/3609.43	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.43	c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.43	c STR average number of conflicts per successful attempt inf
3600.00/3609.43	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.43	c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.43	c AVG.sumWPerc 72.22 
3600.00/3609.43	c bigint constraints 0 
3600.00/3609.43	s UNKNOWN
3600.00/3609.43	c Program interrupted by user.

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 (62494 MiB free)
  memory of node 1: 64465 MiB (57034 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520296-1751571455/watcher-4520296-1751571455 -o /tmp/evaluation-result-4520296-1751571455/solver-4520296-1751571455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751564231-79813 --watchdog 3760 run-opt.sh HOME/instance-4520296-1751571455.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=80531, runsolver pid=80525

[startup+0.100065 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 80539
/proc/meminfo: memFree=122367224/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=73804 memory=28464 CPUtime=0.08 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 4648 0 0 0 7 1 0 0 20 0 1 0 72820077 75575296 7116 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 18451 7116 2336 1147 0 5878 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77996 KiB
Current children cumulated memory: 31536 KiB

[startup+0.20577 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 80539
/proc/meminfo: memFree=122334968/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=90548 memory=44720 CPUtime=0.19 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 8699 0 0 0 17 2 0 0 20 0 1 0 72820077 92721152 11180 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 22637 11180 2336 1147 0 10064 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 94740 KiB
Current children cumulated memory: 47792 KiB

[startup+0.305878 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 80539
/proc/meminfo: memFree=122322872/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=91100 memory=47024 CPUtime=0.28 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 9283 0 0 0 26 2 0 0 20 0 1 0 72820077 93286400 11756 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 22775 11756 2336 1147 0 10202 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 95292 KiB
Current children cumulated memory: 50096 KiB

[startup+0.700194 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 80539
/proc/meminfo: memFree=122302900/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=103228 memory=52860 CPUtime=0.68 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 10240 0 0 0 65 3 0 0 20 0 1 0 72820077 105705472 13215 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 25807 13215 2336 1147 0 13234 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 55932 KiB

[startup+1.50019 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 80539
/proc/meminfo: memFree=122273100/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=134296 memory=89396 CPUtime=1.47 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 16293 0 0 0 142 5 0 0 20 0 1 0 72820077 137519104 22349 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 33574 22349 2336 1147 0 21001 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 138488 KiB
Current children cumulated memory: 92468 KiB

[startup+3.10544 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 80559
/proc/meminfo: memFree=122642976/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=221164 memory=149260 CPUtime=3.08 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 26654 0 0 0 300 8 0 0 20 0 1 0 72820077 226471936 37315 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 55291 37315 2336 1147 0 42718 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 225356 KiB
Current children cumulated memory: 152332 KiB

[startup+6.30018 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 80585
/proc/meminfo: memFree=122276188/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=295256 memory=248288 CPUtime=6.26 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 44785 0 0 0 613 13 0 0 20 0 1 0 72820077 302342144 62072 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 73814 62072 2336 1147 0 61241 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 299448 KiB
Current children cumulated memory: 251360 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 80586
/proc/meminfo: memFree=121885124/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=573100 memory=418384 CPUtime=12.64 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 74548 0 0 0 1242 22 0 0 20 0 1 0 72820077 586854400 104596 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 143275 104596 2336 1147 0 130702 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 577292 KiB
Current children cumulated memory: 421456 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 80637
/proc/meminfo: memFree=125834332/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=577312 memory=500016 CPUtime=25.41 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 83713 0 0 0 2507 34 0 0 20 0 1 0 72820077 591167488 125004 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 144328 125004 2336 1147 0 131755 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 581504 KiB
Current children cumulated memory: 503088 KiB

[startup+51.1058 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 80637
/proc/meminfo: memFree=124950016/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=989896 memory=822120 CPUtime=50.95 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 145285 0 0 0 5029 66 0 0 20 0 1 0 72820077 1013653504 205530 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 247474 205530 2336 1147 0 234901 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 994088 KiB
Current children cumulated memory: 825192 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 80639
/proc/meminfo: memFree=124043680/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=1535308 memory=1278068 CPUtime=102.01 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 237901 0 0 0 10080 121 0 0 20 0 1 0 72820077 1572155392 319517 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 383827 319517 2336 1147 0 371254 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1539500 KiB
Current children cumulated memory: 1281140 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 80641
/proc/meminfo: memFree=123578676/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=1775836 memory=1441184 CPUtime=161.85 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 259299 0 0 0 16022 163 0 0 20 0 1 0 72820077 1818456064 360296 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 443959 360296 2336 1147 0 431386 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1780028 KiB
Current children cumulated memory: 1444256 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 80643
/proc/meminfo: memFree=122830792/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=1776988 memory=1545640 CPUtime=221.69 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 273185 0 0 0 21959 210 0 0 20 0 1 0 72820077 1819635712 386410 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 444247 386410 2336 1147 0 431674 0

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

[pid=80533] ppid=80531 vsize=5718660 memory=5128160 CPUtime=3094.21 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 875018 0 0 0 307815 1606 0 0 20 0 1 0 72820077 5855907840 1282040 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 1429665 1282040 2336 1147 0 1417092 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 5722852 KiB
Current children cumulated memory: 5131232 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 80795
/proc/meminfo: memFree=113468260/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=5718660 memory=5128288 CPUtime=3154.05 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 875373 0 0 0 313785 1620 0 0 20 0 1 0 72820077 5855907840 1282072 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 1429665 1282072 2336 1147 0 1417092 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 5722852 KiB
Current children cumulated memory: 5131360 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 80798
/proc/meminfo: memFree=113440544/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=5718660 memory=5128288 CPUtime=3213.9 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 875620 0 0 0 319756 1634 0 0 20 0 1 0 72820077 5855907840 1282072 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 1429665 1282072 2336 1147 0 1417092 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 5722852 KiB
Current children cumulated memory: 5131360 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 80801
/proc/meminfo: memFree=113109864/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=5718660 memory=5128288 CPUtime=3273.75 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 876189 0 0 0 325729 1646 0 0 20 0 1 0 72820077 5855907840 1282072 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 1429665 1282072 2336 1147 0 1417092 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 5722852 KiB
Current children cumulated memory: 5131360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 80804
/proc/meminfo: memFree=113103580/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=5718660 memory=5128288 CPUtime=3333.59 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 876758 0 0 0 331688 1671 0 0 20 0 1 0 72820077 5855907840 1282072 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 1429665 1282072 2336 1147 0 1417092 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 5722852 KiB
Current children cumulated memory: 5131360 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/268 80806
/proc/meminfo: memFree=112878196/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=6721792 memory=5355268 CPUtime=3393.44 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 913724 0 0 0 337643 1701 0 0 20 0 1 0 72820077 6883115008 1338817 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 1680448 1338817 2336 1147 0 1667875 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 6725984 KiB
Current children cumulated memory: 5358340 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 80808
/proc/meminfo: memFree=112876204/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=6721792 memory=5355268 CPUtime=3453.29 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 913724 0 0 0 343598 1731 0 0 20 0 1 0 72820077 6883115008 1338817 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 1680448 1338817 2336 1147 0 1667875 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 6725984 KiB
Current children cumulated memory: 5358340 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 80813
/proc/meminfo: memFree=112783672/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=6738692 memory=5412416 CPUtime=3513.13 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 916284 0 0 0 349560 1753 0 0 20 0 1 0 72820077 6900420608 1353104 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 1684673 1353104 2336 1147 0 1672100 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 6742884 KiB
Current children cumulated memory: 5415488 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 80815
/proc/meminfo: memFree=112784084/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=6738692 memory=5412416 CPUtime=3572.97 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 916284 0 0 0 355526 1771 0 0 20 0 1 0 72820077 6900420608 1353104 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 1684673 1353104 2336 1147 0 1672100 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 6742884 KiB
Current children cumulated memory: 5415488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 80815
/proc/meminfo: memFree=112782640/131249992 swapFree=33009392/33010684
[pid=80531] ppid=80525 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80531/stat : 80531 (run-opt.sh) S 80525 80531 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820076 4292608 768 18446744073709551615 94547302174720 94547303069253 140727769760912 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94547303308304 94547303356048 94547320266752 140727769766253 140727769766376 140727769766376 140727769771978 0
/proc/80531/statm: 1048 768 704 219 0 110 0
[pid=80533] ppid=80531 vsize=6738692 memory=5412416 CPUtime=3600 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80531 80531 79801 0 -1 4194304 916305 0 0 0 358221 1779 0 0 20 0 1 0 72820077 6900420608 1353104 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 1684673 1353104 2336 1147 0 1672100 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6742884 KiB
Current children cumulated memory: 5415488 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.4 s]
# the end of solver process 80531 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.00086 s, system=0.00172 s
Sleeping 2 seconds

[startup+3609.56 s]
# the end of solver process 80533 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3582.25 s, system=17.9142 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3609.5 s]*
/proc/loadavg: 4.09 4.11 4.09 5/267 80815
/proc/meminfo: memFree=114134368/131249992 swapFree=33009392/33010684
[pid=80533] ppid=80525 vsize=6639360 memory=3936720 CPUtime=3600.11 cores=1,3
/proc/80533/stat : 80533 (roundingsat) R 80525 80531 79801 0 -1 4194304 916311 0 0 0 358225 1786 0 0 20 0 1 0 72820077 6798704640 984180 18446744073709551615 4227072 8923433 140732662519744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30625792 140732662524322 140732662524456 140732662524456 140732662530026 0
/proc/80533/statm: 1659840 984180 2432 1147 0 1647267 0
Current cumulated CPU time of completed processes: 0.00258 s
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 6639360 KiB
Current children cumulated memory: 3936720 KiB

Child status: 2

Real time (s): 3609.56
CPU time (s): 3600.17
CPU user time (s): 3582.25
CPU system time (s): 17.9142
CPU usage (%): 99.7398
Max. virtual memory (cumulated for all children) (KiB): 6742884
Max. memory (cumulated for all children) (KiB): 5415488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.25
system time used= 17.9142
maximum resident set size= 5412800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 916533
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= 604
involuntary context switches= 2159


# summary of solver processes directly reported to runsolver:
#   pid: 80531,80533
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3582.25
#   total CPU system time (s): 17.9142

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52598 second user time and 15.8451 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-03 21:37:35
IDJOB=4520296
IDBENCH=177885
IDSOLVER=3350
FILE ID=nodeC035/4520296-1751571455
RUNJOBID= nodeC035-1751564231-79813
SLURM_JOB_ID= 9598770
Free space on /tmp= 432800 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520296-1751571455/watcher-4520296-1751571455 -o /tmp/evaluation-result-4520296-1751571455/solver-4520296-1751571455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751564231-79813 --watchdog 3760  run-opt.sh HOME/instance-4520296-1751571455.opb

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

MD5SUM BENCH= f0f458c0649ba129d7d5b0a4b7bdfffa
RANDOM SEED=1484053265

nodeC035 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.981
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.51
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		: 3567.208
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.51
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		: 3599.390
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.51
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.749
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.51
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.588
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.51
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.742
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.427
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.51
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		: 3598.929
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        122389836 kB
MemAvailable:   124823108 kB
Buffers:             664 kB
Cached:          3184196 kB
SwapCached:          332 kB
Active:          5267340 kB
Inactive:        2883776 kB
Active(anon):    4962924 kB
Inactive(anon):    21060 kB
Active(file):     304416 kB
Inactive(file):  2862716 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7536 kB
Writeback:            44 kB
AnonPages:       4969056 kB
Mapped:           113216 kB
Shmem:             17700 kB
KReclaimable:     210760 kB
Slab:             301472 kB
SReclaimable:     210760 kB
SUnreclaim:        90712 kB
KernelStack:        4284 kB
PageTables:        13772 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5875352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    800768 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432784 MiB
End job on nodeC035 at 2025-07-03 22:37:45