Trace number 4515311

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 NameAnswerCPU timeWall clock time
roundingsat-log 63f22ad? (TO) 3600.36 3611.35

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
MD5SUMc2f3e0c6154609bf2d3178c0d208b6f5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31248
Total number of constraints354
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint168
Maximum length of a constraint343
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1050
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 27454
Number of bits of the biggest sum of numbers15
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.06	c #variables 31248 #constraints 522
7.16/7.21	c #Conflicts:       1000 | #Constraints:       1521
7.16/7.21	c #Conflicts:       2000 | #Constraints:       2521
7.16/7.21	c INPROCESSING
7.16/7.21	c GARBAGE COLLECT
7.16/7.21	c #Conflicts:       3000 | #Constraints:       2537
7.16/7.21	c #Conflicts:       4000 | #Constraints:       3537
7.16/7.21	c INPROCESSING
7.16/7.21	c GARBAGE COLLECT
7.16/7.21	c #Conflicts:       5000 | #Constraints:       2952
7.16/7.21	c #Conflicts:       6000 | #Constraints:       3952
7.16/7.21	c INPROCESSING
7.16/7.21	c GARBAGE COLLECT
7.16/7.21	c #Conflicts:       7000 | #Constraints:       2955
7.16/7.21	c #Conflicts:       8000 | #Constraints:       3955
7.16/7.21	c #Conflicts:       9000 | #Constraints:       4955
7.16/7.21	c INPROCESSING
7.16/7.21	c GARBAGE COLLECT
7.16/7.21	c #Conflicts:      10000 | #Constraints:       3648
7.16/7.21	c #Conflicts:      11000 | #Constraints:       4648
7.16/7.21	c #Conflicts:      12000 | #Constraints:       5648
7.16/7.21	c INPROCESSING
7.16/7.21	c GARBAGE COLLECT
7.16/7.21	c rational objective 177
10.35/10.47	c #Conflicts:      13000 | #Constraints:       4139
10.35/10.47	c #Conflicts:      14000 | #Constraints:       5139
10.35/10.47	c #Conflicts:      15000 | #Constraints:       6139
10.35/10.47	c INPROCESSING
10.35/10.47	c GARBAGE COLLECT
10.35/10.47	c #Conflicts:      16000 | #Constraints:       4352
10.35/10.47	c #Conflicts:      17000 | #Constraints:       5352
10.35/10.47	c #Conflicts:      18000 | #Constraints:       6352
10.35/10.47	c INPROCESSING
10.35/10.47	c GARBAGE COLLECT
10.35/10.47	c rational objective 177
48.45/48.67	c #Conflicts:      19000 | #Constraints:       4367
48.45/48.67	c #Conflicts:      20000 | #Constraints:       5367
48.45/48.67	c #Conflicts:      21000 | #Constraints:       6368
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      22000 | #Constraints:       4150
48.45/48.67	c #Conflicts:      23000 | #Constraints:       5150
48.45/48.67	c #Conflicts:      24000 | #Constraints:       6150
48.45/48.67	c #Conflicts:      25000 | #Constraints:       7150
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      26000 | #Constraints:       4756
48.45/48.67	c #Conflicts:      27000 | #Constraints:       5756
48.45/48.67	c #Conflicts:      28000 | #Constraints:       6756
48.45/48.67	c #Conflicts:      29000 | #Constraints:       7761
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      30000 | #Constraints:       5146
48.45/48.67	c #Conflicts:      31000 | #Constraints:       6146
48.45/48.67	c #Conflicts:      32000 | #Constraints:       7146
48.45/48.67	c #Conflicts:      33000 | #Constraints:       8146
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      34000 | #Constraints:       5355
48.45/48.67	c #Conflicts:      35000 | #Constraints:       6355
48.45/48.67	c #Conflicts:      36000 | #Constraints:       7355
48.45/48.67	c #Conflicts:      37000 | #Constraints:       8355
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      38000 | #Constraints:       5412
48.45/48.67	c #Conflicts:      39000 | #Constraints:       6412
48.45/48.67	c #Conflicts:      40000 | #Constraints:       7412
48.45/48.67	c #Conflicts:      41000 | #Constraints:       8412
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      42000 | #Constraints:       5219
48.45/48.67	c #Conflicts:      43000 | #Constraints:       6219
48.45/48.67	c #Conflicts:      44000 | #Constraints:       7219
48.45/48.67	c #Conflicts:      45000 | #Constraints:       8219
48.45/48.67	c #Conflicts:      46000 | #Constraints:       9219
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      47000 | #Constraints:       5774
48.45/48.67	c #Conflicts:      48000 | #Constraints:       6774
48.45/48.67	c #Conflicts:      49000 | #Constraints:       7774
48.45/48.67	c #Conflicts:      50000 | #Constraints:       8774
48.45/48.67	c #Conflicts:      51000 | #Constraints:       9774
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      52000 | #Constraints:       6156
48.45/48.67	c #Conflicts:      53000 | #Constraints:       7170
48.45/48.67	c #Conflicts:      54000 | #Constraints:       8181
48.45/48.67	c #Conflicts:      55000 | #Constraints:       9183
48.45/48.67	c #Conflicts:      56000 | #Constraints:      10195
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      57000 | #Constraints:       6407
48.45/48.67	c #Conflicts:      58000 | #Constraints:       7409
48.45/48.67	c #Conflicts:      59000 | #Constraints:       8409
48.45/48.67	c #Conflicts:      60000 | #Constraints:       9409
48.45/48.67	c #Conflicts:      61000 | #Constraints:      10413
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      62000 | #Constraints:       6418
48.45/48.67	c #Conflicts:      63000 | #Constraints:       7419
48.45/48.67	c #Conflicts:      64000 | #Constraints:       8448
48.45/48.67	c #Conflicts:      65000 | #Constraints:       9449
48.45/48.67	c #Conflicts:      66000 | #Constraints:      10449
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      67000 | #Constraints:       6204
48.45/48.67	c #Conflicts:      68000 | #Constraints:       7210
48.45/48.67	c #Conflicts:      69000 | #Constraints:       8212
48.45/48.67	c #Conflicts:      70000 | #Constraints:       9213
48.45/48.67	c #Conflicts:      71000 | #Constraints:      10213
48.45/48.67	c #Conflicts:      72000 | #Constraints:      11213
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      73000 | #Constraints:       6789
48.45/48.67	c #Conflicts:      74000 | #Constraints:       7790
48.45/48.67	c #Conflicts:      75000 | #Constraints:       8790
48.45/48.67	c #Conflicts:      76000 | #Constraints:       9791
48.45/48.67	c #Conflicts:      77000 | #Constraints:      10796
48.45/48.67	c #Conflicts:      78000 | #Constraints:      11798
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      79000 | #Constraints:       7189
48.45/48.67	c #Conflicts:      80000 | #Constraints:       8214
48.45/48.67	c #Conflicts:      81000 | #Constraints:       9218
48.45/48.67	c #Conflicts:      82000 | #Constraints:      10230
48.45/48.67	c #Conflicts:      83000 | #Constraints:      11230
48.45/48.67	c #Conflicts:      84000 | #Constraints:      12248
48.45/48.67	c INPROCESSING
48.45/48.67	c GARBAGE COLLECT
48.45/48.67	c #Conflicts:      85000 | #Constraints:       7472
48.45/48.67	c #Conflicts:      86000 | #Constraints:       8484
48.45/48.67	c #Conflicts:      87000 | #Constraints:       9527
48.45/48.67	c #Conflicts:      88000 | #Constraints:      10697
118.86/119.23	c #Conflicts:      89000 | #Constraints:      12212
118.86/119.23	c #Conflicts:      90000 | #Constraints:      13548
118.86/119.23	c INPROCESSING
118.86/119.23	c GARBAGE COLLECT
118.86/119.23	c #Conflicts:      91000 | #Constraints:       7979
118.86/119.23	c #Conflicts:      92000 | #Constraints:       8994
118.86/119.23	c #Conflicts:      93000 | #Constraints:      10063
118.86/119.23	c #Conflicts:      94000 | #Constraints:      11087
118.86/119.23	c #Conflicts:      95000 | #Constraints:      12097
118.86/119.23	c #Conflicts:      96000 | #Constraints:      13097
118.86/119.23	c INPROCESSING
118.86/119.23	c GARBAGE COLLECT
118.86/119.23	c #Conflicts:      97000 | #Constraints:       7647
118.86/119.23	c #Conflicts:      98000 | #Constraints:       8647
118.86/119.23	c #Conflicts:      99000 | #Constraints:       9647
118.86/119.23	c #Conflicts:     100000 | #Constraints:      10647
118.86/119.23	c #Conflicts:     101000 | #Constraints:      11647
118.86/119.23	c #Conflicts:     102000 | #Constraints:      12648
118.86/119.23	c #Conflicts:     103000 | #Constraints:      13648
118.86/119.23	c INPROCESSING
118.86/119.23	c GARBAGE COLLECT
118.86/119.23	c #Conflicts:     104000 | #Constraints:       7998
118.86/119.23	c #Conflicts:     105000 | #Constraints:       8998
118.86/119.23	c #Conflicts:     106000 | #Constraints:      10000
118.86/119.23	c #Conflicts:     107000 | #Constraints:      11001
118.86/119.23	c #Conflicts:     108000 | #Constraints:      12002
118.86/119.23	c #Conflicts:     109000 | #Constraints:      13005
118.86/119.23	c #Conflicts:     110000 | #Constraints:      14007
118.86/119.23	c INPROCESSING
118.86/119.23	c GARBAGE COLLECT
118.86/119.23	c #Conflicts:     111000 | #Constraints:       8307
118.86/119.23	c #Conflicts:     112000 | #Constraints:       9307
118.86/119.23	c #Conflicts:     113000 | #Constraints:      10314
118.86/119.23	c #Conflicts:     114000 | #Constraints:      11320
118.86/119.23	c #Conflicts:     115000 | #Constraints:      12321
118.86/119.23	c #Conflicts:     116000 | #Constraints:      13322
118.86/119.23	c #Conflicts:     117000 | #Constraints:      14327
118.86/119.23	c INPROCESSING
118.86/119.23	c GARBAGE COLLECT
118.86/119.23	c #Conflicts:     118000 | #Constraints:       8431
118.86/119.23	c #Conflicts:     119000 | #Constraints:       9431
118.86/119.23	c #Conflicts:     120000 | #Constraints:      10433
118.86/119.23	c #Conflicts:     121000 | #Constraints:      11517
118.86/119.23	c #Conflicts:     122000 | #Constraints:      12900
118.86/119.23	c #Conflicts:     123000 | #Constraints:      13900
118.86/119.23	c #Conflicts:     124000 | #Constraints:      14900
118.86/119.23	c INPROCESSING
118.86/119.23	c GARBAGE COLLECT
118.86/119.23	c #Conflicts:     125000 | #Constraints:       8623
118.86/119.23	c #Conflicts:     126000 | #Constraints:       9623
118.86/119.23	c #Conflicts:     127000 | #Constraints:      10623
118.86/119.23	c #Conflicts:     128000 | #Constraints:      11623
118.86/119.23	c #Conflicts:     129000 | #Constraints:      12623
118.86/119.23	c #Conflicts:     130000 | #Constraints:      13623
118.86/119.23	c #Conflicts:     131000 | #Constraints:      14721
118.86/119.23	c INPROCESSING
118.86/119.23	c GARBAGE COLLECT
118.86/119.23	c #Conflicts:     132000 | #Constraints:       8342
118.86/119.23	c #Conflicts:     133000 | #Constraints:       9343
118.86/119.23	c #Conflicts:     134000 | #Constraints:      10343
118.86/119.23	c #Conflicts:     135000 | #Constraints:      11344
118.86/119.23	c #Conflicts:     136000 | #Constraints:      12347
118.86/119.23	c #Conflicts:     137000 | #Constraints:      13368
118.86/119.23	c #Conflicts:     138000 | #Constraints:      14388
118.86/119.23	c #Conflicts:     139000 | #Constraints:      15397
118.86/119.23	c INPROCESSING
118.86/119.23	c GARBAGE COLLECT
118.86/119.23	c #Conflicts:     140000 | #Constraints:       9247
118.86/119.23	c #Conflicts:     141000 | #Constraints:      10724
118.86/119.23	c #Conflicts:     142000 | #Constraints:      11724
118.86/119.23	c #Conflicts:     143000 | #Constraints:      12724
118.86/119.23	c #Conflicts:     144000 | #Constraints:      13724
118.86/119.23	c #Conflicts:     145000 | #Constraints:      14724
118.86/119.23	c #Conflicts:     146000 | #Constraints:      15724
118.86/119.23	c #Conflicts:     147000 | #Constraints:      16724
118.86/119.23	c INPROCESSING
118.86/119.23	c GARBAGE COLLECT
118.86/119.23	c #Conflicts:     148000 | #Constraints:       9725
118.86/119.23	c #Conflicts:     149000 | #Constraints:      10725
118.86/119.23	c #Conflicts:     150000 | #Constraints:      11725
118.86/119.23	c #Conflicts:     151000 | #Constraints:      12725
118.86/119.23	c #Conflicts:     152000 | #Constraints:      13725
118.86/119.23	c #Conflicts:     153000 | #Constraints:      14725
118.86/119.23	c #Conflicts:     154000 | #Constraints:      15731
118.86/119.23	c #Conflicts:     155000 | #Constraints:      16767
118.86/119.23	c INPROCESSING
118.86/119.23	c GARBAGE COLLECT
118.86/119.23	c #Conflicts:     156000 | #Constraints:       9705
118.86/119.23	c #Conflicts:     157000 | #Constraints:      10705
118.86/119.23	c #Conflicts:     158000 | #Constraints:      11705
118.86/119.23	c #Conflicts:     159000 | #Constraints:      12705
118.86/119.23	c #Conflicts:     160000 | #Constraints:      13705
118.86/119.23	c #Conflicts:     161000 | #Constraints:      14705
155.35/155.81	c #Conflicts:     162000 | #Constraints:      15705
155.35/155.81	c #Conflicts:     163000 | #Constraints:      16705
155.35/155.81	c INPROCESSING
155.35/155.81	c GARBAGE COLLECT
155.35/155.81	c #Conflicts:     164000 | #Constraints:       9594
155.35/155.81	c #Conflicts:     165000 | #Constraints:      10594
155.35/155.81	c #Conflicts:     166000 | #Constraints:      11594
155.35/155.81	c #Conflicts:     167000 | #Constraints:      12594
155.35/155.81	c #Conflicts:     168000 | #Constraints:      13594
155.35/155.81	c #Conflicts:     169000 | #Constraints:      14594
155.35/155.81	c #Conflicts:     170000 | #Constraints:      15594
155.35/155.81	c #Conflicts:     171000 | #Constraints:      16594
155.35/155.81	c INPROCESSING
155.35/155.81	c GARBAGE COLLECT
155.35/155.81	c #Conflicts:     172000 | #Constraints:       9272
155.35/155.81	c #Conflicts:     173000 | #Constraints:      10272
155.35/155.81	c #Conflicts:     174000 | #Constraints:      11272
155.35/155.81	c #Conflicts:     175000 | #Constraints:      12272
155.35/155.81	c #Conflicts:     176000 | #Constraints:      13272
155.35/155.81	c #Conflicts:     177000 | #Constraints:      14272
155.35/155.81	c #Conflicts:     178000 | #Constraints:      15272
155.35/155.81	c #Conflicts:     179000 | #Constraints:      16272
155.35/155.81	c #Conflicts:     180000 | #Constraints:      17272
155.35/155.81	c INPROCESSING
155.35/155.81	c GARBAGE COLLECT
155.35/155.81	c #Conflicts:     181000 | #Constraints:       9833
155.35/155.81	c #Conflicts:     182000 | #Constraints:      10833
155.35/155.81	c #Conflicts:     183000 | #Constraints:      11833
155.35/155.81	c #Conflicts:     184000 | #Constraints:      12833
155.35/155.81	c #Conflicts:     185000 | #Constraints:      13833
155.35/155.81	c #Conflicts:     186000 | #Constraints:      14833
155.35/155.81	c #Conflicts:     187000 | #Constraints:      15833
155.35/155.81	c #Conflicts:     188000 | #Constraints:      16833
155.35/155.81	c #Conflicts:     189000 | #Constraints:      17833
155.35/155.81	c INPROCESSING
155.35/155.81	c GARBAGE COLLECT
155.35/155.81	c #Conflicts:     190000 | #Constraints:      10270
155.35/155.81	c #Conflicts:     191000 | #Constraints:      11270
155.35/155.81	c #Conflicts:     192000 | #Constraints:      12270
155.35/155.81	c #Conflicts:     193000 | #Constraints:      13270
155.35/155.81	c #Conflicts:     194000 | #Constraints:      14270
155.35/155.81	c #Conflicts:     195000 | #Constraints:      15270
155.35/155.81	c #Conflicts:     196000 | #Constraints:      16270
155.35/155.81	c #Conflicts:     197000 | #Constraints:      17270
155.35/155.81	c #Conflicts:     198000 | #Constraints:      18270
155.35/155.81	c INPROCESSING
155.35/155.81	c GARBAGE COLLECT
155.35/155.81	c #Conflicts:     199000 | #Constraints:      10498
155.35/155.81	c #Conflicts:     200000 | #Constraints:      11498
155.35/155.81	c #Conflicts:     201000 | #Constraints:      12498
155.35/155.81	c #Conflicts:     202000 | #Constraints:      13498
155.35/155.81	c #Conflicts:     203000 | #Constraints:      14498
155.35/155.81	c #Conflicts:     204000 | #Constraints:      15498
155.35/155.81	c #Conflicts:     205000 | #Constraints:      16498
155.35/155.81	c #Conflicts:     206000 | #Constraints:      17498
155.35/155.81	c #Conflicts:     207000 | #Constraints:      18498
155.35/155.81	c INPROCESSING
155.35/155.81	c GARBAGE COLLECT
155.35/155.81	c #Conflicts:     208000 | #Constraints:      10524
155.35/155.81	c #Conflicts:     209000 | #Constraints:      11524
155.35/155.81	c #Conflicts:     210000 | #Constraints:      12524
155.35/155.81	c #Conflicts:     211000 | #Constraints:      13524
155.35/155.81	c #Conflicts:     212000 | #Constraints:      14524
155.35/155.81	c #Conflicts:     213000 | #Constraints:      15524
155.35/155.81	c #Conflicts:     214000 | #Constraints:      16524
155.35/155.81	c #Conflicts:     215000 | #Constraints:      17524
155.35/155.81	c #Conflicts:     216000 | #Constraints:      18524
155.35/155.81	c INPROCESSING
155.35/155.81	c GARBAGE COLLECT
155.35/155.81	c #Conflicts:     217000 | #Constraints:      10328
155.35/155.81	c #Conflicts:     218000 | #Constraints:      11328
155.35/155.81	c #Conflicts:     219000 | #Constraints:      12328
155.35/155.81	c #Conflicts:     220000 | #Constraints:      13328
155.35/155.81	c #Conflicts:     221000 | #Constraints:      14328
155.35/155.81	c #Conflicts:     222000 | #Constraints:      15328
155.35/155.81	c #Conflicts:     223000 | #Constraints:      16328
155.35/155.81	c #Conflicts:     224000 | #Constraints:      17328
155.35/155.81	c #Conflicts:     225000 | #Constraints:      18328
155.35/155.81	c #Conflicts:     226000 | #Constraints:      19328
155.35/155.81	c INPROCESSING
155.35/155.81	c GARBAGE COLLECT
155.35/155.81	c #Conflicts:     227000 | #Constraints:      10911
155.35/155.81	c #Conflicts:     228000 | #Constraints:      11911
155.35/155.81	c #Conflicts:     229000 | #Constraints:      12911
155.35/155.81	c #Conflicts:     230000 | #Constraints:      13911
155.35/155.81	c #Conflicts:     231000 | #Constraints:      14911
155.35/155.81	c #Conflicts:     232000 | #Constraints:      15911
155.35/155.81	c #Conflicts:     233000 | #Constraints:      16911
155.35/155.81	c #Conflicts:     234000 | #Constraints:      17911
196.44/197.09	c #Conflicts:     235000 | #Constraints:      18911
196.44/197.09	c #Conflicts:     236000 | #Constraints:      19911
196.44/197.09	c INPROCESSING
196.44/197.09	c GARBAGE COLLECT
196.44/197.09	c #Conflicts:     237000 | #Constraints:      11235
196.44/197.09	c #Conflicts:     238000 | #Constraints:      12235
196.44/197.09	c #Conflicts:     239000 | #Constraints:      13235
196.44/197.09	c #Conflicts:     240000 | #Constraints:      14235
196.44/197.09	c #Conflicts:     241000 | #Constraints:      15235
196.44/197.09	c #Conflicts:     242000 | #Constraints:      16235
196.44/197.09	c #Conflicts:     243000 | #Constraints:      17235
196.44/197.09	c #Conflicts:     244000 | #Constraints:      18235
196.44/197.09	c #Conflicts:     245000 | #Constraints:      19235
196.44/197.09	c #Conflicts:     246000 | #Constraints:      20235
196.44/197.09	c INPROCESSING
196.44/197.09	c GARBAGE COLLECT
196.44/197.09	c #Conflicts:     247000 | #Constraints:      11449
196.44/197.09	c #Conflicts:     248000 | #Constraints:      12449
196.44/197.09	c #Conflicts:     249000 | #Constraints:      13449
196.44/197.09	c #Conflicts:     250000 | #Constraints:      14449
196.44/197.09	c #Conflicts:     251000 | #Constraints:      15449
196.44/197.09	c #Conflicts:     252000 | #Constraints:      16449
196.44/197.09	c #Conflicts:     253000 | #Constraints:      17449
196.44/197.09	c #Conflicts:     254000 | #Constraints:      18449
196.44/197.09	c #Conflicts:     255000 | #Constraints:      19449
196.44/197.09	c #Conflicts:     256000 | #Constraints:      20449
196.44/197.09	c INPROCESSING
196.44/197.09	c GARBAGE COLLECT
196.44/197.09	c #Conflicts:     257000 | #Constraints:      11405
196.44/197.09	c #Conflicts:     258000 | #Constraints:      12405
196.44/197.09	c #Conflicts:     259000 | #Constraints:      13405
196.44/197.09	c #Conflicts:     260000 | #Constraints:      14405
196.44/197.09	c #Conflicts:     261000 | #Constraints:      15405
196.44/197.09	c #Conflicts:     262000 | #Constraints:      16405
196.44/197.09	c #Conflicts:     263000 | #Constraints:      17405
196.44/197.09	c #Conflicts:     264000 | #Constraints:      18405
196.44/197.09	c #Conflicts:     265000 | #Constraints:      19405
196.44/197.09	c #Conflicts:     266000 | #Constraints:      20405
196.44/197.09	c INPROCESSING
196.44/197.09	c GARBAGE COLLECT
196.44/197.09	c #Conflicts:     267000 | #Constraints:      11223
196.44/197.09	c #Conflicts:     268000 | #Constraints:      12223
196.44/197.09	c #Conflicts:     269000 | #Constraints:      13223
196.44/197.09	c #Conflicts:     270000 | #Constraints:      14223
196.44/197.09	c #Conflicts:     271000 | #Constraints:      15223
196.44/197.09	c #Conflicts:     272000 | #Constraints:      16223
196.44/197.09	c #Conflicts:     273000 | #Constraints:      17223
196.44/197.09	c #Conflicts:     274000 | #Constraints:      18223
196.44/197.09	c #Conflicts:     275000 | #Constraints:      19223
196.44/197.09	c #Conflicts:     276000 | #Constraints:      20223
196.44/197.09	c #Conflicts:     277000 | #Constraints:      21223
196.44/197.09	c INPROCESSING
196.44/197.09	c GARBAGE COLLECT
196.44/197.09	c #Conflicts:     278000 | #Constraints:      11780
196.44/197.09	c #Conflicts:     279000 | #Constraints:      12780
196.44/197.09	c #Conflicts:     280000 | #Constraints:      13780
196.44/197.09	c #Conflicts:     281000 | #Constraints:      14780
196.44/197.09	c #Conflicts:     282000 | #Constraints:      15780
196.44/197.09	c #Conflicts:     283000 | #Constraints:      16780
196.44/197.09	c #Conflicts:     284000 | #Constraints:      17780
196.44/197.09	c #Conflicts:     285000 | #Constraints:      18780
196.44/197.09	c #Conflicts:     286000 | #Constraints:      19780
196.44/197.09	c #Conflicts:     287000 | #Constraints:      20780
196.44/197.09	c #Conflicts:     288000 | #Constraints:      21780
196.44/197.09	c INPROCESSING
196.44/197.09	c GARBAGE COLLECT
196.44/197.09	c #Conflicts:     289000 | #Constraints:      12159
196.44/197.09	c #Conflicts:     290000 | #Constraints:      13159
196.44/197.09	c #Conflicts:     291000 | #Constraints:      14159
196.44/197.09	c #Conflicts:     292000 | #Constraints:      15159
196.44/197.09	c #Conflicts:     293000 | #Constraints:      16159
196.44/197.09	c #Conflicts:     294000 | #Constraints:      17159
196.44/197.09	c #Conflicts:     295000 | #Constraints:      18159
196.44/197.09	c #Conflicts:     296000 | #Constraints:      19159
196.44/197.09	c #Conflicts:     297000 | #Constraints:      20159
196.44/197.09	c #Conflicts:     298000 | #Constraints:      21159
196.44/197.09	c #Conflicts:     299000 | #Constraints:      22159
196.44/197.09	c INPROCESSING
196.44/197.09	c GARBAGE COLLECT
196.44/197.09	c #Conflicts:     300000 | #Constraints:      12352
196.44/197.09	c #Conflicts:     301000 | #Constraints:      13352
196.44/197.09	c #Conflicts:     302000 | #Constraints:      14352
196.44/197.09	c #Conflicts:     303000 | #Constraints:      15352
196.44/197.09	c #Conflicts:     304000 | #Constraints:      16352
196.44/197.09	c #Conflicts:     305000 | #Constraints:      17352
196.44/197.09	c #Conflicts:     306000 | #Constraints:      18352
196.44/197.09	c #Conflicts:     307000 | #Constraints:      19352
196.44/197.09	c #Conflicts:     308000 | #Constraints:      20352
196.44/197.09	c #Conflicts:     309000 | #Constraints:      21352
284.38/285.24	c #Conflicts:     310000 | #Constraints:      22352
284.38/285.24	c INPROCESSING
284.38/285.24	c GARBAGE COLLECT
284.38/285.24	c #Conflicts:     311000 | #Constraints:      12393
284.38/285.24	c #Conflicts:     312000 | #Constraints:      13393
284.38/285.24	c #Conflicts:     313000 | #Constraints:      14393
284.38/285.24	c #Conflicts:     314000 | #Constraints:      15393
284.38/285.24	c #Conflicts:     315000 | #Constraints:      16393
284.38/285.24	c #Conflicts:     316000 | #Constraints:      17393
284.38/285.24	c #Conflicts:     317000 | #Constraints:      18393
284.38/285.24	c #Conflicts:     318000 | #Constraints:      19393
284.38/285.24	c #Conflicts:     319000 | #Constraints:      20393
284.38/285.24	c #Conflicts:     320000 | #Constraints:      21393
284.38/285.24	c #Conflicts:     321000 | #Constraints:      22393
284.38/285.24	c INPROCESSING
284.38/285.24	c GARBAGE COLLECT
284.38/285.24	c #Conflicts:     322000 | #Constraints:      12271
284.38/285.24	c #Conflicts:     323000 | #Constraints:      13271
284.38/285.24	c #Conflicts:     324000 | #Constraints:      14271
284.38/285.24	c #Conflicts:     325000 | #Constraints:      15271
284.38/285.24	c #Conflicts:     326000 | #Constraints:      16271
284.38/285.24	c #Conflicts:     327000 | #Constraints:      17271
284.38/285.24	c #Conflicts:     328000 | #Constraints:      18271
284.38/285.24	c #Conflicts:     329000 | #Constraints:      19271
284.38/285.24	c #Conflicts:     330000 | #Constraints:      20271
284.38/285.24	c #Conflicts:     331000 | #Constraints:      21271
284.38/285.24	c #Conflicts:     332000 | #Constraints:      22271
284.38/285.24	c #Conflicts:     333000 | #Constraints:      23271
284.38/285.24	c INPROCESSING
284.38/285.24	c GARBAGE COLLECT
284.38/285.24	c #Conflicts:     334000 | #Constraints:      12824
284.38/285.24	c #Conflicts:     335000 | #Constraints:      13824
284.38/285.24	c #Conflicts:     336000 | #Constraints:      14824
284.38/285.24	c #Conflicts:     337000 | #Constraints:      15824
284.38/285.24	c #Conflicts:     338000 | #Constraints:      16824
284.38/285.24	c #Conflicts:     339000 | #Constraints:      17824
284.38/285.24	c #Conflicts:     340000 | #Constraints:      18824
284.38/285.24	c #Conflicts:     341000 | #Constraints:      19824
284.38/285.24	c #Conflicts:     342000 | #Constraints:      20824
284.38/285.24	c #Conflicts:     343000 | #Constraints:      21824
284.38/285.24	c #Conflicts:     344000 | #Constraints:      22824
284.38/285.24	c #Conflicts:     345000 | #Constraints:      23824
284.38/285.24	c INPROCESSING
284.38/285.24	c GARBAGE COLLECT
284.38/285.24	c #Conflicts:     346000 | #Constraints:      13181
284.38/285.24	c #Conflicts:     347000 | #Constraints:      14181
284.38/285.24	c #Conflicts:     348000 | #Constraints:      15181
284.38/285.24	c #Conflicts:     349000 | #Constraints:      16181
284.38/285.24	c #Conflicts:     350000 | #Constraints:      17181
284.38/285.24	c #Conflicts:     351000 | #Constraints:      18181
284.38/285.24	c #Conflicts:     352000 | #Constraints:      19181
284.38/285.24	c #Conflicts:     353000 | #Constraints:      20181
284.38/285.24	c #Conflicts:     354000 | #Constraints:      21181
284.38/285.24	c #Conflicts:     355000 | #Constraints:      22181
284.38/285.24	c #Conflicts:     356000 | #Constraints:      23181
284.38/285.24	c #Conflicts:     357000 | #Constraints:      24181
284.38/285.24	c INPROCESSING
284.38/285.24	c GARBAGE COLLECT
284.38/285.24	c #Conflicts:     358000 | #Constraints:      13354
284.38/285.24	c #Conflicts:     359000 | #Constraints:      14354
284.38/285.24	c #Conflicts:     360000 | #Constraints:      15354
284.38/285.24	c #Conflicts:     361000 | #Constraints:      16354
284.38/285.24	c #Conflicts:     362000 | #Constraints:      17354
284.38/285.24	c #Conflicts:     363000 | #Constraints:      18354
284.38/285.24	c #Conflicts:     364000 | #Constraints:      19354
284.38/285.24	c #Conflicts:     365000 | #Constraints:      20354
284.38/285.24	c #Conflicts:     366000 | #Constraints:      21354
284.38/285.24	c #Conflicts:     367000 | #Constraints:      22354
284.38/285.24	c #Conflicts:     368000 | #Constraints:      23354
284.38/285.24	c #Conflicts:     369000 | #Constraints:      24354
284.38/285.24	c INPROCESSING
284.38/285.24	c GARBAGE COLLECT
284.38/285.24	c #Conflicts:     370000 | #Constraints:      13393
284.38/285.24	c #Conflicts:     371000 | #Constraints:      14393
284.38/285.24	c #Conflicts:     372000 | #Constraints:      15393
284.38/285.24	c #Conflicts:     373000 | #Constraints:      16393
284.38/285.24	c #Conflicts:     374000 | #Constraints:      17393
284.38/285.24	c #Conflicts:     375000 | #Constraints:      18393
284.38/285.24	c #Conflicts:     376000 | #Constraints:      19393
284.38/285.24	c #Conflicts:     377000 | #Constraints:      20393
284.38/285.24	c #Conflicts:     378000 | #Constraints:      21393
284.38/285.24	c #Conflicts:     379000 | #Constraints:      22393
284.38/285.24	c #Conflicts:     380000 | #Constraints:      23393
284.38/285.24	c #Conflicts:     381000 | #Constraints:      24393
284.38/285.24	c INPROCESSING
284.38/285.24	c GARBAGE COLLECT
284.38/285.24	c #Conflicts:     382000 | #Constraints:      13170
284.38/285.24	c #Conflicts:     383000 | #Constraints:      14170
352.68/353.76	c #Conflicts:     384000 | #Constraints:      15170
352.68/353.76	c #Conflicts:     385000 | #Constraints:      16170
352.68/353.76	c #Conflicts:     386000 | #Constraints:      17170
352.68/353.76	c #Conflicts:     387000 | #Constraints:      18170
352.68/353.76	c #Conflicts:     388000 | #Constraints:      19170
352.68/353.76	c #Conflicts:     389000 | #Constraints:      20170
352.68/353.76	c #Conflicts:     390000 | #Constraints:      21170
352.68/353.76	c #Conflicts:     391000 | #Constraints:      22170
352.68/353.76	c #Conflicts:     392000 | #Constraints:      23170
352.68/353.76	c #Conflicts:     393000 | #Constraints:      24170
352.68/353.76	c #Conflicts:     394000 | #Constraints:      25170
352.68/353.76	c INPROCESSING
352.68/353.76	c GARBAGE COLLECT
352.68/353.76	c #Conflicts:     395000 | #Constraints:      13755
352.68/353.76	c #Conflicts:     396000 | #Constraints:      14755
352.68/353.76	c #Conflicts:     397000 | #Constraints:      15755
352.68/353.76	c #Conflicts:     398000 | #Constraints:      16755
352.68/353.76	c #Conflicts:     399000 | #Constraints:      17755
352.68/353.76	c #Conflicts:     400000 | #Constraints:      18755
352.68/353.76	c #Conflicts:     401000 | #Constraints:      19755
352.68/353.76	c #Conflicts:     402000 | #Constraints:      20755
352.68/353.76	c #Conflicts:     403000 | #Constraints:      21755
352.68/353.76	c #Conflicts:     404000 | #Constraints:      22755
352.68/353.76	c #Conflicts:     405000 | #Constraints:      23755
352.68/353.76	c #Conflicts:     406000 | #Constraints:      24755
352.68/353.76	c #Conflicts:     407000 | #Constraints:      25755
352.68/353.76	c INPROCESSING
352.68/353.76	c GARBAGE COLLECT
352.68/353.76	c #Conflicts:     408000 | #Constraints:      14147
352.68/353.76	c #Conflicts:     409000 | #Constraints:      15147
352.68/353.76	c #Conflicts:     410000 | #Constraints:      16147
352.68/353.76	c #Conflicts:     411000 | #Constraints:      17147
352.68/353.76	c #Conflicts:     412000 | #Constraints:      18147
352.68/353.76	c #Conflicts:     413000 | #Constraints:      19147
352.68/353.76	c #Conflicts:     414000 | #Constraints:      20147
352.68/353.76	c #Conflicts:     415000 | #Constraints:      21147
352.68/353.76	c #Conflicts:     416000 | #Constraints:      22147
352.68/353.76	c #Conflicts:     417000 | #Constraints:      23147
352.68/353.76	c #Conflicts:     418000 | #Constraints:      24147
352.68/353.76	c #Conflicts:     419000 | #Constraints:      25147
352.68/353.76	c #Conflicts:     420000 | #Constraints:      26147
352.68/353.76	c INPROCESSING
352.68/353.76	c GARBAGE COLLECT
352.68/353.76	c #Conflicts:     421000 | #Constraints:      14393
352.68/353.76	c #Conflicts:     422000 | #Constraints:      15393
352.68/353.76	c #Conflicts:     423000 | #Constraints:      16393
352.68/353.76	c #Conflicts:     424000 | #Constraints:      17393
352.68/353.76	c #Conflicts:     425000 | #Constraints:      18393
352.68/353.76	c #Conflicts:     426000 | #Constraints:      19393
352.68/353.76	c #Conflicts:     427000 | #Constraints:      20393
352.68/353.76	c #Conflicts:     428000 | #Constraints:      21393
352.68/353.76	c #Conflicts:     429000 | #Constraints:      22393
352.68/353.76	c #Conflicts:     430000 | #Constraints:      23393
352.68/353.76	c #Conflicts:     431000 | #Constraints:      24393
352.68/353.76	c #Conflicts:     432000 | #Constraints:      25393
352.68/353.76	c #Conflicts:     433000 | #Constraints:      26393
352.68/353.76	c INPROCESSING
352.68/353.76	c GARBAGE COLLECT
352.68/353.76	c #Conflicts:     434000 | #Constraints:      14463
352.68/353.76	c #Conflicts:     435000 | #Constraints:      15463
352.68/353.76	c #Conflicts:     436000 | #Constraints:      16463
352.68/353.76	c #Conflicts:     437000 | #Constraints:      17463
352.68/353.76	c #Conflicts:     438000 | #Constraints:      18463
352.68/353.76	c #Conflicts:     439000 | #Constraints:      19463
352.68/353.76	c #Conflicts:     440000 | #Constraints:      20463
352.68/353.76	c #Conflicts:     441000 | #Constraints:      21463
352.68/353.76	c #Conflicts:     442000 | #Constraints:      22463
352.68/353.76	c #Conflicts:     443000 | #Constraints:      23463
352.68/353.76	c #Conflicts:     444000 | #Constraints:      24463
352.68/353.76	c #Conflicts:     445000 | #Constraints:      25463
352.68/353.76	c #Conflicts:     446000 | #Constraints:      26463
352.68/353.76	c INPROCESSING
352.68/353.76	c GARBAGE COLLECT
352.68/353.76	c #Conflicts:     447000 | #Constraints:      14268
352.68/353.76	c #Conflicts:     448000 | #Constraints:      15268
352.68/353.76	c #Conflicts:     449000 | #Constraints:      16268
352.68/353.76	c #Conflicts:     450000 | #Constraints:      17268
352.68/353.76	c #Conflicts:     451000 | #Constraints:      18268
352.68/353.76	c #Conflicts:     452000 | #Constraints:      19268
352.68/353.76	c #Conflicts:     453000 | #Constraints:      20268
352.68/353.76	c #Conflicts:     454000 | #Constraints:      21268
352.68/353.76	c #Conflicts:     455000 | #Constraints:      22268
352.68/353.76	c #Conflicts:     456000 | #Constraints:      23268
352.68/353.76	c #Conflicts:     457000 | #Constraints:      24268
352.68/353.76	c #Conflicts:     458000 | #Constraints:      25268
352.68/353.76	c #Conflicts:     459000 | #Constraints:      26268
589.53/591.24	c #Conflicts:     460000 | #Constraints:      27268
589.53/591.24	c INPROCESSING
589.53/591.24	c GARBAGE COLLECT
589.53/591.24	c #Conflicts:     461000 | #Constraints:      14894
589.53/591.24	c #Conflicts:     462000 | #Constraints:      15894
589.53/591.24	c #Conflicts:     463000 | #Constraints:      16894
589.53/591.24	c #Conflicts:     464000 | #Constraints:      17894
589.53/591.24	c #Conflicts:     465000 | #Constraints:      18894
589.53/591.24	c #Conflicts:     466000 | #Constraints:      19894
589.53/591.24	c #Conflicts:     467000 | #Constraints:      20894
589.53/591.24	c #Conflicts:     468000 | #Constraints:      21894
589.53/591.24	c #Conflicts:     469000 | #Constraints:      22894
589.53/591.24	c #Conflicts:     470000 | #Constraints:      23894
589.53/591.24	c #Conflicts:     471000 | #Constraints:      24894
589.53/591.24	c #Conflicts:     472000 | #Constraints:      25894
589.53/591.24	c #Conflicts:     473000 | #Constraints:      26894
589.53/591.24	c #Conflicts:     474000 | #Constraints:      27894
589.53/591.24	c INPROCESSING
589.53/591.24	c GARBAGE COLLECT
589.53/591.24	c #Conflicts:     475000 | #Constraints:      15277
589.53/591.24	c #Conflicts:     476000 | #Constraints:      16277
589.53/591.24	c #Conflicts:     477000 | #Constraints:      17282
589.53/591.24	c #Conflicts:     478000 | #Constraints:      18286
589.53/591.24	c #Conflicts:     479000 | #Constraints:      19288
589.53/591.24	c #Conflicts:     480000 | #Constraints:      20290
589.53/591.24	c #Conflicts:     481000 | #Constraints:      21292
589.53/591.24	c #Conflicts:     482000 | #Constraints:      22295
589.53/591.24	c #Conflicts:     483000 | #Constraints:      23298
589.53/591.24	c #Conflicts:     484000 | #Constraints:      24299
589.53/591.24	c #Conflicts:     485000 | #Constraints:      25301
589.53/591.24	c #Conflicts:     486000 | #Constraints:      26302
589.53/591.24	c #Conflicts:     487000 | #Constraints:      27304
589.53/591.24	c #Conflicts:     488000 | #Constraints:      28305
589.53/591.24	c INPROCESSING
589.53/591.24	c GARBAGE COLLECT
589.53/591.24	c #Conflicts:     489000 | #Constraints:      15502
589.53/591.24	c #Conflicts:     490000 | #Constraints:      16502
589.53/591.24	c #Conflicts:     491000 | #Constraints:      17503
589.53/591.24	c #Conflicts:     492000 | #Constraints:      18508
589.53/591.24	c #Conflicts:     493000 | #Constraints:      19508
589.53/591.24	c #Conflicts:     494000 | #Constraints:      20508
589.53/591.24	c #Conflicts:     495000 | #Constraints:      21508
589.53/591.24	c #Conflicts:     496000 | #Constraints:      22508
589.53/591.24	c #Conflicts:     497000 | #Constraints:      23508
589.53/591.24	c #Conflicts:     498000 | #Constraints:      24508
589.53/591.24	c #Conflicts:     499000 | #Constraints:      25508
589.53/591.24	c #Conflicts:     500000 | #Constraints:      26508
589.53/591.24	c #Conflicts:     501000 | #Constraints:      27508
589.53/591.24	c #Conflicts:     502000 | #Constraints:      28508
589.53/591.24	c INPROCESSING
589.53/591.24	c GARBAGE COLLECT
589.53/591.24	c #Conflicts:     503000 | #Constraints:      15475
589.53/591.24	c #Conflicts:     504000 | #Constraints:      16475
589.53/591.24	c #Conflicts:     505000 | #Constraints:      17475
589.53/591.24	c #Conflicts:     506000 | #Constraints:      18475
589.53/591.24	c #Conflicts:     507000 | #Constraints:      19475
589.53/591.24	c #Conflicts:     508000 | #Constraints:      20475
589.53/591.24	c #Conflicts:     509000 | #Constraints:      21475
589.53/591.24	c #Conflicts:     510000 | #Constraints:      22475
589.53/591.24	c #Conflicts:     511000 | #Constraints:      23475
589.53/591.24	c #Conflicts:     512000 | #Constraints:      24475
589.53/591.24	c #Conflicts:     513000 | #Constraints:      25475
589.53/591.24	c #Conflicts:     514000 | #Constraints:      26475
589.53/591.24	c #Conflicts:     515000 | #Constraints:      27475
589.53/591.24	c #Conflicts:     516000 | #Constraints:      28475
589.53/591.24	c INPROCESSING
589.53/591.24	c GARBAGE COLLECT
589.53/591.24	c #Conflicts:     517000 | #Constraints:      15243
589.53/591.24	c #Conflicts:     518000 | #Constraints:      16243
589.53/591.24	c #Conflicts:     519000 | #Constraints:      17243
589.53/591.24	c #Conflicts:     520000 | #Constraints:      18243
589.53/591.24	c #Conflicts:     521000 | #Constraints:      19243
589.53/591.24	c #Conflicts:     522000 | #Constraints:      20243
589.53/591.24	c #Conflicts:     523000 | #Constraints:      21243
589.53/591.24	c #Conflicts:     524000 | #Constraints:      22243
589.53/591.24	c #Conflicts:     525000 | #Constraints:      23243
589.53/591.24	c #Conflicts:     526000 | #Constraints:      24243
589.53/591.24	c #Conflicts:     527000 | #Constraints:      25243
589.53/591.24	c #Conflicts:     528000 | #Constraints:      26243
589.53/591.24	c #Conflicts:     529000 | #Constraints:      27243
589.53/591.24	c #Conflicts:     530000 | #Constraints:      28243
589.53/591.24	c #Conflicts:     531000 | #Constraints:      29243
589.53/591.24	c INPROCESSING
589.53/591.24	c GARBAGE COLLECT
589.53/591.24	c #Conflicts:     532000 | #Constraints:      15840
589.53/591.24	c #Conflicts:     533000 | #Constraints:      16840
589.53/591.24	c #Conflicts:     534000 | #Constraints:      17840
701.59/703.60	c #Conflicts:     535000 | #Constraints:      18840
701.59/703.60	c #Conflicts:     536000 | #Constraints:      19840
701.59/703.60	c #Conflicts:     537000 | #Constraints:      20840
701.59/703.60	c #Conflicts:     538000 | #Constraints:      21840
701.59/703.60	c #Conflicts:     539000 | #Constraints:      22840
701.59/703.60	c #Conflicts:     540000 | #Constraints:      23840
701.59/703.60	c #Conflicts:     541000 | #Constraints:      24840
701.59/703.60	c #Conflicts:     542000 | #Constraints:      25840
701.59/703.60	c #Conflicts:     543000 | #Constraints:      26840
701.59/703.60	c #Conflicts:     544000 | #Constraints:      27840
701.59/703.60	c #Conflicts:     545000 | #Constraints:      28840
701.59/703.60	c #Conflicts:     546000 | #Constraints:      29840
701.59/703.60	c INPROCESSING
701.59/703.60	c GARBAGE COLLECT
701.59/703.60	c #Conflicts:     547000 | #Constraints:      16220
701.59/703.60	c #Conflicts:     548000 | #Constraints:      17220
701.59/703.60	c #Conflicts:     549000 | #Constraints:      18220
701.59/703.60	c #Conflicts:     550000 | #Constraints:      19220
701.59/703.60	c #Conflicts:     551000 | #Constraints:      20220
701.59/703.60	c #Conflicts:     552000 | #Constraints:      21220
701.59/703.60	c #Conflicts:     553000 | #Constraints:      22220
701.59/703.60	c #Conflicts:     554000 | #Constraints:      23220
701.59/703.60	c #Conflicts:     555000 | #Constraints:      24220
701.59/703.60	c #Conflicts:     556000 | #Constraints:      25220
701.59/703.60	c #Conflicts:     557000 | #Constraints:      26220
701.59/703.60	c #Conflicts:     558000 | #Constraints:      27220
701.59/703.60	c #Conflicts:     559000 | #Constraints:      28220
701.59/703.60	c #Conflicts:     560000 | #Constraints:      29220
701.59/703.60	c #Conflicts:     561000 | #Constraints:      30220
701.59/703.60	c INPROCESSING
701.59/703.60	c GARBAGE COLLECT
701.59/703.60	c #Conflicts:     562000 | #Constraints:      16376
701.59/703.60	c #Conflicts:     563000 | #Constraints:      17376
701.59/703.60	c #Conflicts:     564000 | #Constraints:      18376
701.59/703.60	c #Conflicts:     565000 | #Constraints:      19376
701.59/703.60	c #Conflicts:     566000 | #Constraints:      20376
701.59/703.60	c #Conflicts:     567000 | #Constraints:      21376
701.59/703.60	c #Conflicts:     568000 | #Constraints:      22376
701.59/703.60	c #Conflicts:     569000 | #Constraints:      23376
701.59/703.60	c #Conflicts:     570000 | #Constraints:      24376
701.59/703.60	c #Conflicts:     571000 | #Constraints:      25376
701.59/703.60	c #Conflicts:     572000 | #Constraints:      26376
701.59/703.60	c #Conflicts:     573000 | #Constraints:      27376
701.59/703.60	c #Conflicts:     574000 | #Constraints:      28376
701.59/703.60	c #Conflicts:     575000 | #Constraints:      29376
701.59/703.60	c #Conflicts:     576000 | #Constraints:      30376
701.59/703.60	c INPROCESSING
701.59/703.60	c GARBAGE COLLECT
701.59/703.60	c #Conflicts:     577000 | #Constraints:      16424
701.59/703.60	c #Conflicts:     578000 | #Constraints:      17424
701.59/703.60	c #Conflicts:     579000 | #Constraints:      18424
701.59/703.60	c #Conflicts:     580000 | #Constraints:      19424
701.59/703.60	c #Conflicts:     581000 | #Constraints:      20424
701.59/703.60	c #Conflicts:     582000 | #Constraints:      21424
701.59/703.60	c #Conflicts:     583000 | #Constraints:      22424
701.59/703.60	c #Conflicts:     584000 | #Constraints:      23424
701.59/703.60	c #Conflicts:     585000 | #Constraints:      24424
701.59/703.60	c #Conflicts:     586000 | #Constraints:      25424
701.59/703.60	c #Conflicts:     587000 | #Constraints:      26424
701.59/703.60	c #Conflicts:     588000 | #Constraints:      27424
701.59/703.60	c #Conflicts:     589000 | #Constraints:      28424
701.59/703.60	c #Conflicts:     590000 | #Constraints:      29424
701.59/703.60	c #Conflicts:     591000 | #Constraints:      30424
701.59/703.60	c INPROCESSING
701.59/703.60	c GARBAGE COLLECT
701.59/703.60	c #Conflicts:     592000 | #Constraints:      16191
701.59/703.60	c #Conflicts:     593000 | #Constraints:      17191
701.59/703.60	c #Conflicts:     594000 | #Constraints:      18191
701.59/703.60	c #Conflicts:     595000 | #Constraints:      19191
701.59/703.60	c #Conflicts:     596000 | #Constraints:      20191
701.59/703.60	c #Conflicts:     597000 | #Constraints:      21191
701.59/703.60	c #Conflicts:     598000 | #Constraints:      22191
701.59/703.60	c #Conflicts:     599000 | #Constraints:      23192
701.59/703.60	c #Conflicts:     600000 | #Constraints:      24193
701.59/703.60	c #Conflicts:     601000 | #Constraints:      25197
701.59/703.60	c #Conflicts:     602000 | #Constraints:      26198
701.59/703.60	c #Conflicts:     603000 | #Constraints:      27199
701.59/703.60	c #Conflicts:     604000 | #Constraints:      28199
701.59/703.60	c #Conflicts:     605000 | #Constraints:      29199
701.59/703.60	c #Conflicts:     606000 | #Constraints:      30200
701.59/703.60	c #Conflicts:     607000 | #Constraints:      31200
701.59/703.60	c INPROCESSING
701.59/703.60	c GARBAGE COLLECT
701.59/703.60	c rational objective 177
1579.62/1584.18	c #Conflicts:     608000 | #Constraints:      16831
1579.62/1584.18	c #Conflicts:     609000 | #Constraints:      17831
1579.62/1584.18	c #Conflicts:     610000 | #Constraints:      18831
1579.62/1584.18	c #Conflicts:     611000 | #Constraints:      19831
1579.62/1584.18	c #Conflicts:     612000 | #Constraints:      20831
1579.62/1584.18	c #Conflicts:     613000 | #Constraints:      21831
1579.62/1584.18	c #Conflicts:     614000 | #Constraints:      22831
1579.62/1584.18	c #Conflicts:     615000 | #Constraints:      23831
1579.62/1584.18	c #Conflicts:     616000 | #Constraints:      24831
1579.62/1584.18	c #Conflicts:     617000 | #Constraints:      25831
1579.62/1584.18	c #Conflicts:     618000 | #Constraints:      26831
1579.62/1584.18	c #Conflicts:     619000 | #Constraints:      27831
1579.62/1584.18	c #Conflicts:     620000 | #Constraints:      28831
1579.62/1584.18	c #Conflicts:     621000 | #Constraints:      29831
1579.62/1584.18	c #Conflicts:     622000 | #Constraints:      30832
1579.62/1584.18	c #Conflicts:     623000 | #Constraints:      31832
1579.62/1584.18	c INPROCESSING
1579.62/1584.18	c GARBAGE COLLECT
1579.62/1584.18	c #Conflicts:     624000 | #Constraints:      17209
1579.62/1584.18	c #Conflicts:     625000 | #Constraints:      18209
1579.62/1584.18	c #Conflicts:     626000 | #Constraints:      19209
1579.62/1584.18	c #Conflicts:     627000 | #Constraints:      20210
1579.62/1584.18	c #Conflicts:     628000 | #Constraints:      21210
1579.62/1584.18	c #Conflicts:     629000 | #Constraints:      22210
1579.62/1584.18	c #Conflicts:     630000 | #Constraints:      23210
1579.62/1584.18	c #Conflicts:     631000 | #Constraints:      24210
1579.62/1584.18	c #Conflicts:     632000 | #Constraints:      25211
1579.62/1584.18	c #Conflicts:     633000 | #Constraints:      26211
1579.62/1584.18	c #Conflicts:     634000 | #Constraints:      27211
1579.62/1584.18	c #Conflicts:     635000 | #Constraints:      28211
1579.62/1584.18	c #Conflicts:     636000 | #Constraints:      29211
1579.62/1584.18	c #Conflicts:     637000 | #Constraints:      30211
1579.62/1584.18	c #Conflicts:     638000 | #Constraints:      31211
1579.62/1584.18	c #Conflicts:     639000 | #Constraints:      32211
1579.62/1584.18	c INPROCESSING
1579.62/1584.18	c GARBAGE COLLECT
1579.62/1584.18	c #Conflicts:     640000 | #Constraints:      17372
1579.62/1584.18	c #Conflicts:     641000 | #Constraints:      18372
1579.62/1584.18	c #Conflicts:     642000 | #Constraints:      19372
1579.62/1584.18	c #Conflicts:     643000 | #Constraints:      20372
1579.62/1584.18	c #Conflicts:     644000 | #Constraints:      21372
1579.62/1584.18	c #Conflicts:     645000 | #Constraints:      22372
1579.62/1584.18	c #Conflicts:     646000 | #Constraints:      23372
1579.62/1584.18	c #Conflicts:     647000 | #Constraints:      24372
1579.62/1584.18	c #Conflicts:     648000 | #Constraints:      25372
1579.62/1584.18	c #Conflicts:     649000 | #Constraints:      26372
1579.62/1584.18	c #Conflicts:     650000 | #Constraints:      27372
1579.62/1584.18	c #Conflicts:     651000 | #Constraints:      28372
1579.62/1584.18	c #Conflicts:     652000 | #Constraints:      29372
1579.62/1584.18	c #Conflicts:     653000 | #Constraints:      30372
1579.62/1584.18	c #Conflicts:     654000 | #Constraints:      31372
1579.62/1584.18	c #Conflicts:     655000 | #Constraints:      32372
1579.62/1584.18	c INPROCESSING
1579.62/1584.18	c GARBAGE COLLECT
1579.62/1584.18	c #Conflicts:     656000 | #Constraints:      17407
1579.62/1584.18	c #Conflicts:     657000 | #Constraints:      18407
1579.62/1584.18	c #Conflicts:     658000 | #Constraints:      19407
1579.62/1584.18	c #Conflicts:     659000 | #Constraints:      20407
1579.62/1584.18	c #Conflicts:     660000 | #Constraints:      21407
1579.62/1584.18	c #Conflicts:     661000 | #Constraints:      22407
1579.62/1584.18	c #Conflicts:     662000 | #Constraints:      23407
1579.62/1584.18	c #Conflicts:     663000 | #Constraints:      24407
1579.62/1584.18	c #Conflicts:     664000 | #Constraints:      25407
1579.62/1584.18	c #Conflicts:     665000 | #Constraints:      26407
1579.62/1584.18	c #Conflicts:     666000 | #Constraints:      27407
1579.62/1584.18	c #Conflicts:     667000 | #Constraints:      28407
1579.62/1584.18	c #Conflicts:     668000 | #Constraints:      29407
1579.62/1584.18	c #Conflicts:     669000 | #Constraints:      30407
1579.62/1584.18	c #Conflicts:     670000 | #Constraints:      31407
1579.62/1584.18	c #Conflicts:     671000 | #Constraints:      32407
1579.62/1584.18	c INPROCESSING
1579.62/1584.18	c GARBAGE COLLECT
1579.62/1584.18	c #Conflicts:     672000 | #Constraints:      17178
1579.62/1584.18	c #Conflicts:     673000 | #Constraints:      18178
1579.62/1584.18	c #Conflicts:     674000 | #Constraints:      19178
1579.62/1584.18	c #Conflicts:     675000 | #Constraints:      20178
1579.62/1584.18	c #Conflicts:     676000 | #Constraints:      21178
1579.62/1584.18	c #Conflicts:     677000 | #Constraints:      22178
1579.62/1584.18	c #Conflicts:     678000 | #Constraints:      23178
1579.62/1584.18	c #Conflicts:     679000 | #Constraints:      24178
1579.62/1584.18	c #Conflicts:     680000 | #Constraints:      25178
1579.62/1584.18	c #Conflicts:     681000 | #Constraints:      26178
1579.62/1584.18	c #Conflicts:     682000 | #Constraints:      27178
1579.62/1584.18	c #Conflicts:     683000 | #Constraints:      28178
1579.62/1584.18	c #Conflicts:     684000 | #Constraints:      29178
2487.32/2494.51	c #Conflicts:     685000 | #Constraints:      30178
2487.32/2494.51	c #Conflicts:     686000 | #Constraints:      31178
2487.32/2494.51	c #Conflicts:     687000 | #Constraints:      32178
2487.32/2494.51	c #Conflicts:     688000 | #Constraints:      33178
2487.32/2494.51	c INPROCESSING
2487.32/2494.51	c GARBAGE COLLECT
2487.32/2494.51	c #Conflicts:     689000 | #Constraints:      17771
2487.32/2494.51	c #Conflicts:     690000 | #Constraints:      18771
2487.32/2494.51	c #Conflicts:     691000 | #Constraints:      19771
2487.32/2494.51	c #Conflicts:     692000 | #Constraints:      20771
2487.32/2494.51	c #Conflicts:     693000 | #Constraints:      21771
2487.32/2494.51	c #Conflicts:     694000 | #Constraints:      22771
2487.32/2494.51	c #Conflicts:     695000 | #Constraints:      23771
2487.32/2494.51	c #Conflicts:     696000 | #Constraints:      24771
2487.32/2494.51	c #Conflicts:     697000 | #Constraints:      25771
2487.32/2494.51	c #Conflicts:     698000 | #Constraints:      26771
2487.32/2494.51	c #Conflicts:     699000 | #Constraints:      27771
2487.32/2494.51	c #Conflicts:     700000 | #Constraints:      28771
2487.32/2494.51	c #Conflicts:     701000 | #Constraints:      29771
2487.32/2494.51	c #Conflicts:     702000 | #Constraints:      30771
2487.32/2494.51	c #Conflicts:     703000 | #Constraints:      31771
2487.32/2494.51	c #Conflicts:     704000 | #Constraints:      32771
2487.32/2494.51	c #Conflicts:     705000 | #Constraints:      33771
2487.32/2494.51	c INPROCESSING
2487.32/2494.51	c GARBAGE COLLECT
2487.32/2494.51	c #Conflicts:     706000 | #Constraints:      18214
2487.32/2494.51	c #Conflicts:     707000 | #Constraints:      19214
2487.32/2494.51	c #Conflicts:     708000 | #Constraints:      20214
2487.32/2494.51	c #Conflicts:     709000 | #Constraints:      21214
2487.32/2494.51	c #Conflicts:     710000 | #Constraints:      22214
2487.32/2494.51	c #Conflicts:     711000 | #Constraints:      23214
2487.32/2494.51	c #Conflicts:     712000 | #Constraints:      24214
2487.32/2494.51	c #Conflicts:     713000 | #Constraints:      25214
2487.32/2494.51	c #Conflicts:     714000 | #Constraints:      26214
2487.32/2494.51	c #Conflicts:     715000 | #Constraints:      27214
2487.32/2494.51	c #Conflicts:     716000 | #Constraints:      28214
2487.32/2494.51	c #Conflicts:     717000 | #Constraints:      29214
2487.32/2494.51	c #Conflicts:     718000 | #Constraints:      30214
2487.32/2494.51	c #Conflicts:     719000 | #Constraints:      31214
2487.32/2494.51	c #Conflicts:     720000 | #Constraints:      32214
2487.32/2494.51	c #Conflicts:     721000 | #Constraints:      33214
2487.32/2494.51	c #Conflicts:     722000 | #Constraints:      34214
2487.32/2494.51	c INPROCESSING
2487.32/2494.51	c GARBAGE COLLECT
2487.32/2494.51	c #Conflicts:     723000 | #Constraints:      18428
2487.32/2494.51	c #Conflicts:     724000 | #Constraints:      19428
2487.32/2494.51	c #Conflicts:     725000 | #Constraints:      20428
2487.32/2494.51	c #Conflicts:     726000 | #Constraints:      21428
2487.32/2494.51	c #Conflicts:     727000 | #Constraints:      22428
2487.32/2494.51	c #Conflicts:     728000 | #Constraints:      23428
2487.32/2494.51	c #Conflicts:     729000 | #Constraints:      24428
2487.32/2494.51	c #Conflicts:     730000 | #Constraints:      25428
2487.32/2494.51	c #Conflicts:     731000 | #Constraints:      26428
2487.32/2494.51	c #Conflicts:     732000 | #Constraints:      27428
2487.32/2494.51	c #Conflicts:     733000 | #Constraints:      28428
2487.32/2494.51	c #Conflicts:     734000 | #Constraints:      29428
2487.32/2494.51	c #Conflicts:     735000 | #Constraints:      30428
2487.32/2494.51	c #Conflicts:     736000 | #Constraints:      31428
2487.32/2494.51	c #Conflicts:     737000 | #Constraints:      32428
2487.32/2494.51	c #Conflicts:     738000 | #Constraints:      33428
2487.32/2494.51	c #Conflicts:     739000 | #Constraints:      34428
2487.32/2494.51	c INPROCESSING
2487.32/2494.51	c GARBAGE COLLECT
2487.32/2494.51	c #Conflicts:     740000 | #Constraints:      18396
2487.32/2494.51	c #Conflicts:     741000 | #Constraints:      19396
2487.32/2494.51	c #Conflicts:     742000 | #Constraints:      20396
2487.32/2494.51	c #Conflicts:     743000 | #Constraints:      21396
2487.32/2494.51	c #Conflicts:     744000 | #Constraints:      22396
2487.32/2494.51	c #Conflicts:     745000 | #Constraints:      23396
2487.32/2494.51	c #Conflicts:     746000 | #Constraints:      24396
2487.32/2494.51	c #Conflicts:     747000 | #Constraints:      25396
2487.32/2494.51	c #Conflicts:     748000 | #Constraints:      26396
2487.32/2494.51	c #Conflicts:     749000 | #Constraints:      27396
2487.32/2494.51	c #Conflicts:     750000 | #Constraints:      28396
2487.32/2494.51	c #Conflicts:     751000 | #Constraints:      29396
2487.32/2494.51	c #Conflicts:     752000 | #Constraints:      30396
2487.32/2494.51	c #Conflicts:     753000 | #Constraints:      31396
2487.32/2494.51	c #Conflicts:     754000 | #Constraints:      32396
2487.32/2494.51	c #Conflicts:     755000 | #Constraints:      33396
2487.32/2494.51	c #Conflicts:     756000 | #Constraints:      34396
2487.32/2494.51	c INPROCESSING
2487.32/2494.51	c GARBAGE COLLECT
2487.32/2494.51	c #Conflicts:     757000 | #Constraints:      18170
2487.32/2494.51	c #Conflicts:     758000 | #Constraints:      19170
2487.32/2494.51	c #Conflicts:     759000 | #Constraints:      20170
2996.12/3004.96	c #Conflicts:     760000 | #Constraints:      21170
2996.12/3004.96	c #Conflicts:     761000 | #Constraints:      22170
2996.12/3004.96	c #Conflicts:     762000 | #Constraints:      23170
2996.12/3004.96	c #Conflicts:     763000 | #Constraints:      24170
2996.12/3004.96	c #Conflicts:     764000 | #Constraints:      25170
2996.12/3004.96	c #Conflicts:     765000 | #Constraints:      26170
2996.12/3004.96	c #Conflicts:     766000 | #Constraints:      27170
2996.12/3004.96	c #Conflicts:     767000 | #Constraints:      28170
2996.12/3004.96	c #Conflicts:     768000 | #Constraints:      29170
2996.12/3004.96	c #Conflicts:     769000 | #Constraints:      30170
2996.12/3004.96	c #Conflicts:     770000 | #Constraints:      31170
2996.12/3004.96	c #Conflicts:     771000 | #Constraints:      32170
2996.12/3004.96	c #Conflicts:     772000 | #Constraints:      33170
2996.12/3004.96	c #Conflicts:     773000 | #Constraints:      34170
2996.12/3004.96	c #Conflicts:     774000 | #Constraints:      35170
2996.12/3004.96	c INPROCESSING
2996.12/3004.96	c GARBAGE COLLECT
2996.12/3004.96	c #Conflicts:     775000 | #Constraints:      18756
2996.12/3004.96	c #Conflicts:     776000 | #Constraints:      19756
2996.12/3004.96	c #Conflicts:     777000 | #Constraints:      20756
2996.12/3004.96	c #Conflicts:     778000 | #Constraints:      21756
2996.12/3004.96	c #Conflicts:     779000 | #Constraints:      22756
2996.12/3004.96	c #Conflicts:     780000 | #Constraints:      23756
2996.12/3004.96	c #Conflicts:     781000 | #Constraints:      24756
2996.12/3004.96	c #Conflicts:     782000 | #Constraints:      25756
2996.12/3004.96	c #Conflicts:     783000 | #Constraints:      26756
2996.12/3004.96	c #Conflicts:     784000 | #Constraints:      27756
2996.12/3004.96	c #Conflicts:     785000 | #Constraints:      28756
2996.12/3004.96	c #Conflicts:     786000 | #Constraints:      29756
2996.12/3004.96	c #Conflicts:     787000 | #Constraints:      30756
2996.12/3004.96	c #Conflicts:     788000 | #Constraints:      31756
2996.12/3004.96	c #Conflicts:     789000 | #Constraints:      32756
2996.12/3004.96	c #Conflicts:     790000 | #Constraints:      33756
2996.12/3004.96	c #Conflicts:     791000 | #Constraints:      34756
2996.12/3004.96	c #Conflicts:     792000 | #Constraints:      35756
2996.12/3004.96	c INPROCESSING
2996.12/3004.96	c GARBAGE COLLECT
2996.12/3004.96	c #Conflicts:     793000 | #Constraints:      19148
2996.12/3004.96	c #Conflicts:     794000 | #Constraints:      20148
2996.12/3004.96	c #Conflicts:     795000 | #Constraints:      21148
2996.12/3004.96	c #Conflicts:     796000 | #Constraints:      22148
2996.12/3004.96	c #Conflicts:     797000 | #Constraints:      23148
2996.12/3004.96	c #Conflicts:     798000 | #Constraints:      24148
2996.12/3004.96	c #Conflicts:     799000 | #Constraints:      25148
2996.12/3004.96	c #Conflicts:     800000 | #Constraints:      26148
2996.12/3004.96	c #Conflicts:     801000 | #Constraints:      27148
2996.12/3004.96	c #Conflicts:     802000 | #Constraints:      28148
2996.12/3004.96	c #Conflicts:     803000 | #Constraints:      29148
2996.12/3004.96	c #Conflicts:     804000 | #Constraints:      30148
2996.12/3004.96	c #Conflicts:     805000 | #Constraints:      31148
2996.12/3004.96	c #Conflicts:     806000 | #Constraints:      32148
2996.12/3004.96	c #Conflicts:     807000 | #Constraints:      33148
2996.12/3004.96	c #Conflicts:     808000 | #Constraints:      34148
2996.12/3004.96	c #Conflicts:     809000 | #Constraints:      35148
2996.12/3004.96	c #Conflicts:     810000 | #Constraints:      36148
2996.12/3004.96	c INPROCESSING
2996.12/3004.96	c GARBAGE COLLECT
2996.12/3004.96	c #Conflicts:     811000 | #Constraints:      19349
2996.12/3004.96	c #Conflicts:     812000 | #Constraints:      20349
2996.12/3004.96	c #Conflicts:     813000 | #Constraints:      21349
2996.12/3004.96	c #Conflicts:     814000 | #Constraints:      22349
2996.12/3004.96	c #Conflicts:     815000 | #Constraints:      23349
2996.12/3004.96	c #Conflicts:     816000 | #Constraints:      24349
2996.12/3004.96	c #Conflicts:     817000 | #Constraints:      25349
2996.12/3004.96	c #Conflicts:     818000 | #Constraints:      26349
2996.12/3004.96	c #Conflicts:     819000 | #Constraints:      27349
2996.12/3004.96	c #Conflicts:     820000 | #Constraints:      28349
2996.12/3004.96	c #Conflicts:     821000 | #Constraints:      29349
2996.12/3004.96	c #Conflicts:     822000 | #Constraints:      30349
2996.12/3004.96	c #Conflicts:     823000 | #Constraints:      31349
2996.12/3004.96	c #Conflicts:     824000 | #Constraints:      32349
2996.12/3004.96	c #Conflicts:     825000 | #Constraints:      33349
2996.12/3004.96	c #Conflicts:     826000 | #Constraints:      34349
2996.12/3004.96	c #Conflicts:     827000 | #Constraints:      35349
2996.12/3004.96	c #Conflicts:     828000 | #Constraints:      36349
2996.12/3004.96	c INPROCESSING
2996.12/3004.96	c GARBAGE COLLECT
2996.12/3004.96	c #Conflicts:     829000 | #Constraints:      19371
2996.12/3004.96	c #Conflicts:     830000 | #Constraints:      20371
2996.12/3004.96	c #Conflicts:     831000 | #Constraints:      21371
2996.12/3004.96	c #Conflicts:     832000 | #Constraints:      22371
2996.12/3004.96	c #Conflicts:     833000 | #Constraints:      23371
2996.12/3004.96	c #Conflicts:     834000 | #Constraints:      24371
2996.12/3004.96	c #Conflicts:     835000 | #Constraints:      25371
2996.12/3004.96	c #Conflicts:     836000 | #Constraints:      26371
3600.06/3611.00	c #Conflicts:     837000 | #Constraints:      27371
3600.06/3611.00	c #Conflicts:     838000 | #Constraints:      28371
3600.06/3611.00	c #Conflicts:     839000 | #Constraints:      29371
3600.06/3611.00	c #Conflicts:     840000 | #Constraints:      30371
3600.06/3611.00	c #Conflicts:     841000 | #Constraints:      31371
3600.06/3611.00	c #Conflicts:     842000 | #Constraints:      32371
3600.06/3611.00	c #Conflicts:     843000 | #Constraints:      33371
3600.06/3611.00	c #Conflicts:     844000 | #Constraints:      34371
3600.06/3611.00	c #Conflicts:     845000 | #Constraints:      35371
3600.06/3611.00	c #Conflicts:     846000 | #Constraints:      36371
3600.06/3611.00	c INPROCESSING
3600.06/3611.00	c GARBAGE COLLECT
3600.06/3611.00	c Disabling crashed LP
3600.06/3611.00	c cpu time 3547.64 s
3600.06/3611.00	c deterministic time 1029920529375 1.03e+12
3600.06/3611.00	c optimization time 0.0001 s
3600.06/3611.00	c total solve time 3547.6 s
3600.06/3611.00	c core-guided solve time 0 s
3600.06/3611.00	c propagation time 2277.44 s
3600.06/3611.00	c conflict analysis time 1041.43 s
3600.06/3611.00	c propagations 18507606
3600.06/3611.00	c resolve steps 2550438
3600.06/3611.00	c decisions 39494404
3600.06/3611.00	c conflicts 846601
3600.06/3611.00	c restarts 1794
3600.06/3611.00	c inprocessing phases 83
3600.06/3611.00	c garbage collections 83 ,( 100.00 )
3600.06/3611.00	c input clauses 177 ,( 33.91 )
3600.06/3611.00	c input cardinalities 0 ,( 0.00 )
3600.06/3611.00	c input general constraints 345 ,( 66.09 )
3600.06/3611.00	c input average constraint length 283.54
3600.06/3611.00	c input average constraint degree 8940.04
3600.06/3611.00	c learned clauses 308790 ,( 36.34 )
3600.06/3611.00	c learned cardinalities 38 ,( 0.00 )
3600.06/3611.00	c learned general constraints 540800 ,( 63.65 )
3600.06/3611.00	c learned average constraint length 2237.91
3600.06/3611.00	c learned average constraint degree 3299661024.68
3600.06/3611.00	c watched  CF 32, 64, 128, Arb: 223559 , 0 , 0 , 0
3600.06/3611.00	c counting CF 32, 64, 128, Arb: 317586 , 0 , 0 , 0
3600.06/3611.00	c watched   constraints 223559 ,( 41.31 ) 
3600.06/3611.00	c counting  constraints 317586 ,( 58.69 ) 
3600.06/3611.00	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 9545543 , 3389 , 1448281471 ,( 149290049 , 1298991422 )
3600.06/3611.00	c gcd simplifications 169751
3600.06/3611.00	c detected cardinalities 4
3600.06/3611.00	c weakened non-implied lits 168945501
3600.06/3611.00	c weakened non-implying lits 4518876
3600.06/3611.00	c original variables 31248
3600.06/3611.00	c clausal propagations 145834
3600.06/3611.00	c cardinality propagations 893
3600.06/3611.00	c watched propagations 191685
3600.06/3611.00	c counting propagations 16872698
3600.06/3611.00	c watch lookups 13168931171
3600.06/3611.00	c watch backjump lookups 0
3600.06/3611.00	c watch checks 38095791961
3600.06/3611.00	c propagation checks 971735716935
3600.06/3611.00	c constraint additions 6803065978
3600.06/3611.00	c trail pops 58848563
3600.06/3611.00	c formula constraints 522
3600.06/3611.00	c learned constraints 846553
3600.06/3611.00	c bound constraints 0
3600.06/3611.00	c core-guided constraints 0
3600.06/3611.00	c encountered formula constraints 1978066
3600.06/3611.00	c encountered learned constraints 1179755
3600.06/3611.00	c encountered bound constraints 0
3600.06/3611.00	c encountered core-guided constraints 0
3600.06/3611.00	c LP total time 78.6543 s
3600.06/3611.00	c LP solve time 67.5 s
3600.06/3611.00	c LP constraints added 610
3600.06/3611.00	c LP constraints removed 61
3600.06/3611.00	c LP pivots internal 89826
3600.06/3611.00	c LP pivots root 82930
3600.06/3611.00	c LP calls 2972
3600.06/3611.00	c LP optimalities 20
3600.06/3611.00	c LP no pivot count 0
3600.06/3611.00	c LP infeasibilities 2945
3600.06/3611.00	c LP valid Farkas constraints 2943
3600.06/3611.00	c LP learned Farkas constraints 48
3600.06/3611.00	c LP basis resets 2
3600.06/3611.00	c LP cycling count 1
3600.06/3611.00	c LP singular count 0
3600.06/3611.00	c LP no primal count 0
3600.06/3611.00	c LP no farkas count 1
3600.06/3611.00	c LP other issue count 0
3600.06/3611.00	c LP Gomory cuts 84
3600.06/3611.00	c LP learned cuts 4
3600.06/3611.00	c LP deleted cuts 61
3600.06/3611.00	c LP encountered Gomory constraints 0
3600.06/3611.00	c LP encountered Farkas constraints 140490
3600.06/3611.00	c LP encountered learned Farkas constraints 98680
3600.06/3611.00	c CG auxiliary variables introduced 0
3600.06/3611.00	c CG solutions found 0
3600.06/3611.00	c CG cores constructed 0
3600.06/3611.00	c CG core cardinality constraints returned 0
3600.06/3611.00	c CG unit cores 0
3600.06/3611.00	c CG single cores 0
3600.06/3611.00	c CG blocks removed during cardinality reduction 0
3600.06/3611.00	c CG first core best 0
3600.06/3611.00	c CG decision core best 0
3600.06/3611.00	c CG core reduction tie 0
3600.06/3611.00	c CG core degree average 0.00
3600.06/3611.00	c CG core slack average 0.00
3600.06/3611.00	c CG core upper bound improvements 0
3600.06/3611.00	c STR number of successful calls 0
3600.06/3611.00	c STR number of unsuccessful calls 0
3600.06/3611.00	c STR number of inconclusive calls 0
3600.06/3611.00	c STR number of successful attempts 0
3600.06/3611.00	c STR number of unsuccessful attempts 0
3600.06/3611.00	c STR number of inconclusive attempts 0
3600.06/3611.00	c STR average degree increase per successful call inf
3600.06/3611.00	c STR average degree increase per successful attempt inf
3600.06/3611.00	c STR total number of conflicts for successful attempts 0
3600.06/3611.00	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3611.00	c STR total number of conflicts for inconclusive attempts 0
3600.06/3611.00	c STR average number of conflicts per successful attempt inf
3600.06/3611.00	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3611.00	c STR average number of conflicts per inconclusive attempt inf
3600.06/3611.00	c AVG.sumWPerc 47.54 
3600.06/3611.00	c bigint constraints 0 
3600.06/3611.00	s UNKNOWN
3600.06/3611.00	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 (61537 MiB free)
  memory of node 1: 64465 MiB (27067 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515311-1751222323/watcher-4515311-1751222323 -o /tmp/evaluation-result-4515311-1751222323/solver-4515311-1751222323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751218188-36399 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4515311-1751222323.opb PROOFDIR/proof-4515311-1751222323 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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.el
solver pid=38221, runsolver pid=38218
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.10 4.09 4.05 5/274 38223
/proc/meminfo: memFree=90723716/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=86176 memory=42328 CPUtime=0.08 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 8114 0 0 0 7 1 0 0 20 0 1 0 37911066 88244224 10582 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 21544 10582 2272 1147 0 8971 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90368 KiB
Current children cumulated memory: 45272 KiB

[startup+0.205739 s]*
/proc/loadavg: 4.10 4.09 4.05 5/274 38223
/proc/meminfo: memFree=90723716/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=86176 memory=42328 CPUtime=0.19 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 8114 0 0 0 18 1 0 0 20 0 1 0 37911066 88244224 10582 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 21544 10582 2272 1147 0 8971 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90368 KiB
Current children cumulated memory: 45272 KiB

[startup+0.305336 s]*
/proc/loadavg: 4.09 4.09 4.05 5/274 38223
/proc/meminfo: memFree=90723716/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=86176 memory=42328 CPUtime=0.29 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 8114 0 0 0 28 1 0 0 20 0 1 0 37911066 88244224 10582 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 21544 10582 2272 1147 0 8971 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 90368 KiB
Current children cumulated memory: 45272 KiB

[startup+0.700148 s]
/proc/loadavg: 4.09 4.09 4.05 5/274 38223
/proc/meminfo: memFree=90723716/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=86176 memory=42328 CPUtime=0.68 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 8114 0 0 0 67 1 0 0 20 0 1 0 37911066 88244224 10582 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 21544 10582 2272 1147 0 8971 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90368 KiB
Current children cumulated memory: 45272 KiB

[startup+1.50017 s]
/proc/loadavg: 4.09 4.09 4.05 5/274 38223
/proc/meminfo: memFree=90723716/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=86176 memory=42328 CPUtime=1.47 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 8115 0 0 0 146 1 0 0 20 0 1 0 37911066 88244224 10582 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 21544 10582 2272 1147 0 8971 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 90368 KiB
Current children cumulated memory: 45272 KiB

[startup+3.10551 s]
/proc/loadavg: 4.09 4.09 4.05 5/274 38223
/proc/meminfo: memFree=90694232/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=97960 memory=56596 CPUtime=3.08 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 10585 0 0 0 272 36 0 0 20 0 1 0 37911066 100311040 14149 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 24490 14149 2336 1147 0 11917 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 102152 KiB
Current children cumulated memory: 59540 KiB

[startup+6.30019 s]
/proc/loadavg: 4.08 4.08 4.05 5/274 38223
/proc/meminfo: memFree=90628704/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=118284 memory=75804 CPUtime=6.26 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 14886 0 0 0 541 85 0 0 20 0 1 0 37911066 121122816 18951 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 29571 18951 2336 1147 0 16998 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 122476 KiB
Current children cumulated memory: 78748 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.05 5/274 38223
/proc/meminfo: memFree=90451680/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=194684 memory=142052 CPUtime=12.65 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 29375 0 0 0 1150 115 0 0 20 0 1 0 37911066 199356416 35513 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 48671 35513 2368 1147 0 36098 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 198876 KiB
Current children cumulated memory: 144996 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.06 5/274 38223
/proc/meminfo: memFree=90207472/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=192520 memory=148944 CPUtime=25.42 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 33266 0 0 0 2295 247 0 0 20 0 1 0 37911066 197140480 37236 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 48130 37236 2368 1147 0 35557 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 196712 KiB
Current children cumulated memory: 151888 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.09 4.05 5/274 38224
/proc/meminfo: memFree=89631352/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=278344 memory=221400 CPUtime=50.95 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 47803 0 0 0 4630 465 0 0 20 0 1 0 37911066 285024256 55350 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 69586 55350 2368 1147 0 57013 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 282536 KiB
Current children cumulated memory: 224344 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.06 5/272 38230
/proc/meminfo: memFree=88426300/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=586452 memory=516908 CPUtime=102 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 111483 0 0 0 9427 773 0 0 20 0 1 0 37911066 600526848 129227 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 146613 129227 2368 1147 0 134040 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 590644 KiB
Current children cumulated memory: 519852 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/272 38232
/proc/meminfo: memFree=86851836/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=743656 memory=662828 CPUtime=161.83 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 147965 0 0 0 15074 1109 0 0 20 0 1 0 37911066 761503744 165707 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 185914 165707 2368 1147 0 173341 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 747848 KiB
Current children cumulated memory: 665772 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/272 38234
/proc/meminfo: memFree=85906364/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=946568 memory=811048 CPUtime=221.67 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 182493 0 0 0 20716 1451 0 0 20 0 1 0 37911066 969285632 202762 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 236642 202762 2368 1147 0 224069 0

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

/proc/loadavg: 4.20 4.16 4.11 5/274 38444
/proc/meminfo: memFree=12096336/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=7369684 memory=6902404 CPUtime=3153.05 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 1387810 0 0 0 310223 5082 0 0 20 0 1 0 37911066 7546556416 1725601 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 1842421 1725601 2368 1147 0 1829848 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 7373876 KiB
Current children cumulated memory: 6905348 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/274 38446
/proc/meminfo: memFree=10149908/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=7369684 memory=6902532 CPUtime=3212.87 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 1387865 0 0 0 316190 5097 0 0 20 0 1 0 37911066 7546556416 1725633 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 1842421 1725633 2368 1147 0 1829848 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 7373876 KiB
Current children cumulated memory: 6905476 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/273 38448
/proc/meminfo: memFree=8103432/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=7369684 memory=6902532 CPUtime=3272.65 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 1387972 0 0 0 322146 5119 0 0 20 0 1 0 37911066 7546556416 1725633 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 1842421 1725633 2368 1147 0 1829848 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 7373876 KiB
Current children cumulated memory: 6905476 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/274 38451
/proc/meminfo: memFree=6085568/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=7369684 memory=6902660 CPUtime=3332.46 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 1388118 0 0 0 328111 5135 0 0 20 0 1 0 37911066 7546556416 1725665 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 1842421 1725665 2368 1147 0 1829848 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 7373876 KiB
Current children cumulated memory: 6905604 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/275 38500
/proc/meminfo: memFree=59848380/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=7369684 memory=6902916 CPUtime=3392.26 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 1388332 0 0 0 334072 5154 0 0 20 0 1 0 37911066 7546556416 1725729 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 1842421 1725729 2368 1147 0 1829848 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 7373876 KiB
Current children cumulated memory: 6905860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/275 38830
/proc/meminfo: memFree=59309636/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=7369684 memory=6902916 CPUtime=3451.98 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 1388537 0 0 0 340022 5176 0 0 20 0 1 0 37911066 7546556416 1725729 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 1842421 1725729 2368 1147 0 1829848 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 7373876 KiB
Current children cumulated memory: 6905860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.10 3/267 39790
/proc/meminfo: memFree=83445208/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=7369684 memory=6903300 CPUtime=3511.69 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 1388791 0 0 0 345964 5205 0 0 20 0 1 0 37911066 7546556416 1725825 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 1842421 1725825 2368 1147 0 1829848 0
Current children cumulated CPU time: 3511.69 s
Current children cumulated vsize: 7373876 KiB
Current children cumulated memory: 6906244 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/276 40574
/proc/meminfo: memFree=82043056/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=7369684 memory=6904324 CPUtime=3571.43 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 1389020 0 0 0 351915 5228 0 0 20 0 1 0 37911066 7546556416 1726081 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 1842421 1726081 2368 1147 0 1829848 0
Current children cumulated CPU time: 3571.43 s
Current children cumulated vsize: 7373876 KiB
Current children cumulated memory: 6907268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.10 4.13 4.09 5/276 40576
/proc/meminfo: memFree=81352756/131249992 swapFree=33010684/33010684
[pid=38221] ppid=38218 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/38221/stat : 38221 (run-dec-log.sh) S 38218 38221 36389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37911065 4292608 736 18446744073709551615 94628947492864 94628948387397 140727599889792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94628948626448 94628948674192 94628949958656 140727599896865 140727599897060 140727599897060 140727599902662 0
/proc/38221/statm: 1048 736 672 219 0 110 0
[pid=38223] ppid=38221 vsize=7372956 memory=6907140 CPUtime=3600.06 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38221 38221 36389 0 -1 4194304 1389783 0 0 0 354764 5242 0 0 20 0 1 0 37911066 7549906944 1726785 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 1843239 1726785 2368 1147 0 1830666 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 7377148 KiB
Current children cumulated memory: 6910084 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001685 s, system=0.000164 s

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

# cumulated CPU time of all completed processes:  user=3547.67 s, system=52.6937 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+3611.21 s]
/proc/loadavg: 4.10 4.13 4.09 5/275 40576
/proc/meminfo: memFree=81963312/131249992 swapFree=33010684/33010684
[pid=38223] ppid=38218 vsize=4638776 memory=3285060 CPUtime=3600.2 cores=0,2
/proc/38223/stat : 38223 (roundingsat) R 38218 38221 36389 0 -1 4194304 1389797 0 0 0 354766 5254 0 0 20 0 1 0 37911066 4750106624 821769 18446744073709551615 4227072 8923433 140732204326176 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32018432 140732204329319 140732204329512 140732204329512 140732204335082 0
/proc/38223/statm: 1159694 821265 2464 1147 0 1147121 0
Current cumulated CPU time of completed processes: 0.001849 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 4638776 KiB
Current children cumulated memory: 3285060 KiB

[startup+3611.3 s]*
/proc/loadavg: 4.10 4.13 4.09 5/275 40576
/proc/meminfo: memFree=87200632/131249992 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.001849 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.35
CPU time (s): 3600.36
CPU user time (s): 3547.67
CPU system time (s): 52.6937
CPU usage (%): 99.6957
Max. virtual memory (cumulated for all children) (KiB): 7377148
Max. memory (cumulated for all children) (KiB): 6910084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.67
system time used= 52.6937
maximum resident set size= 6907524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1390018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55417752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1194
involuntary context switches= 6793


# summary of solver processes directly reported to runsolver:
#   pid: 38221,38223
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3547.67
#   total CPU system time (s): 52.6937

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31588 second user time and 16.7106 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-29 20:38:43
IDJOB=4515311
IDBENCH=164400
IDSOLVER=3352
FILE ID=nodeC025/4515311-1751222323
RUNJOBID= nodeC025-1751218188-36399
SLURM_JOB_ID= 9587666
Free space on /tmp= 432604 MiB

SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515311-1751222323/watcher-4515311-1751222323 -o /tmp/evaluation-result-4515311-1751222323/solver-4515311-1751222323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751218188-36399 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4515311-1751222323.opb PROOFDIR/proof-4515311-1751222323

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

MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=1951566414

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        90731528 kB
MemAvailable:   122459328 kB
Buffers:            3280 kB
Cached:         32499896 kB
SwapCached:            0 kB
Active:          7614832 kB
Inactive:       32227116 kB
Active(anon):    7356956 kB
Inactive(anon):        0 kB
Active(file):     257876 kB
Inactive(file): 32227116 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20096 kB
Writeback:             0 kB
AnonPages:       7340908 kB
Mapped:           116392 kB
Shmem:             18084 kB
KReclaimable:     164092 kB
Slab:             253424 kB
SReclaimable:     164092 kB
SUnreclaim:        89332 kB
KernelStack:        4400 kB
PageTables:        17764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8075740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5560320 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC025 at 2025-06-29 21:38:55