0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 196 #constraints 154
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 11 @ 0.000525
0.00/0.00	c stratification level: 0
0.00/0.02	c bounds - >= 32 @ 0.00105
0.00/0.02	c bounds - >= 38 @ 0.001107
0.00/0.02	c bounds - >= 45 @ 0.001151
0.00/0.02	c bounds - >= 52 @ 0.001195
0.00/0.02	c bounds - >= 55 @ 0.001242
0.00/0.02	c bounds - >= 60 @ 0.001285
0.00/0.02	c bounds - >= 67 @ 0.001326
0.00/0.02	c bounds - >= 75 @ 0.001364
0.00/0.02	c bounds - >= 78 @ 0.001411
0.00/0.02	c bounds - >= 84 @ 0.001448
0.00/0.02	c bounds - >= 86 @ 0.001491
0.00/0.02	c bounds - >= 88 @ 0.001527
0.00/0.02	c bounds - >= 89 @ 0.001562
0.00/0.02	c bounds - >= 91 @ 0.001595
0.00/0.02	c finalizing WCE round: reformulating cores
33.10/33.22	c #Conflicts:       1000 | #Constraints:       1175
33.10/33.22	c #Conflicts:       2000 | #Constraints:       2179
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:       3000 | #Constraints:       2172
33.10/33.22	c #Conflicts:       4000 | #Constraints:       3174
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:       5000 | #Constraints:       2585
33.10/33.22	c #Conflicts:       6000 | #Constraints:       3587
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:       7000 | #Constraints:       2596
33.10/33.22	c #Conflicts:       8000 | #Constraints:       3598
33.10/33.22	c #Conflicts:       9000 | #Constraints:       4602
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      10000 | #Constraints:       3307
33.10/33.22	c #Conflicts:      11000 | #Constraints:       4309
33.10/33.22	c #Conflicts:      12000 | #Constraints:       5311
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c bounds 96 >= 91 @ 1.87754
33.10/33.22	c bounds 96 >= 92 @ 1.87797
33.10/33.22	c bounds 96 >= 93 @ 1.87803
33.10/33.22	c #Conflicts:      13000 | #Constraints:       3788
33.10/33.22	c #Conflicts:      14000 | #Constraints:       4788
33.10/33.22	c #Conflicts:      15000 | #Constraints:       5788
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      16000 | #Constraints:       4008
33.10/33.22	c #Conflicts:      17000 | #Constraints:       5008
33.10/33.22	c #Conflicts:      18000 | #Constraints:       6008
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      19000 | #Constraints:       4018
33.10/33.22	c #Conflicts:      20000 | #Constraints:       5018
33.10/33.22	c #Conflicts:      21000 | #Constraints:       6018
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      22000 | #Constraints:       3826
33.10/33.22	c #Conflicts:      23000 | #Constraints:       4826
33.10/33.22	c #Conflicts:      24000 | #Constraints:       5826
33.10/33.22	c #Conflicts:      25000 | #Constraints:       6826
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      26000 | #Constraints:       4424
33.10/33.22	c #Conflicts:      27000 | #Constraints:       5424
33.10/33.22	c #Conflicts:      28000 | #Constraints:       6424
33.10/33.22	c #Conflicts:      29000 | #Constraints:       7424
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      30000 | #Constraints:       4830
33.10/33.22	c #Conflicts:      31000 | #Constraints:       5830
33.10/33.22	c #Conflicts:      32000 | #Constraints:       6830
33.10/33.22	c #Conflicts:      33000 | #Constraints:       7830
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      34000 | #Constraints:       5031
33.10/33.22	c #Conflicts:      35000 | #Constraints:       6031
33.10/33.22	c #Conflicts:      36000 | #Constraints:       7031
33.10/33.22	c #Conflicts:      37000 | #Constraints:       8031
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      38000 | #Constraints:       5032
33.10/33.22	c #Conflicts:      39000 | #Constraints:       6032
33.10/33.22	c #Conflicts:      40000 | #Constraints:       7032
33.10/33.22	c #Conflicts:      41000 | #Constraints:       8032
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      42000 | #Constraints:       4830
33.10/33.22	c #Conflicts:      43000 | #Constraints:       5830
33.10/33.22	c #Conflicts:      44000 | #Constraints:       6830
33.10/33.22	c #Conflicts:      45000 | #Constraints:       7830
33.10/33.22	c #Conflicts:      46000 | #Constraints:       8830
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      47000 | #Constraints:       5432
33.10/33.22	c #Conflicts:      48000 | #Constraints:       6432
33.10/33.22	c #Conflicts:      49000 | #Constraints:       7432
33.10/33.22	c #Conflicts:      50000 | #Constraints:       8432
33.10/33.22	c #Conflicts:      51000 | #Constraints:       9432
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      52000 | #Constraints:       5837
33.10/33.22	c #Conflicts:      53000 | #Constraints:       6837
33.10/33.22	c #Conflicts:      54000 | #Constraints:       7837
33.10/33.22	c #Conflicts:      55000 | #Constraints:       8837
33.10/33.22	c #Conflicts:      56000 | #Constraints:       9837
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      57000 | #Constraints:       6033
33.10/33.22	c #Conflicts:      58000 | #Constraints:       7033
33.10/33.22	c #Conflicts:      59000 | #Constraints:       8033
33.10/33.22	c #Conflicts:      60000 | #Constraints:       9033
33.10/33.22	c #Conflicts:      61000 | #Constraints:      10033
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
33.10/33.22	c #Conflicts:      62000 | #Constraints:       6041
33.10/33.22	c #Conflicts:      63000 | #Constraints:       7041
33.10/33.22	c #Conflicts:      64000 | #Constraints:       8041
33.10/33.22	c #Conflicts:      65000 | #Constraints:       9041
33.10/33.22	c #Conflicts:      66000 | #Constraints:      10041
33.10/33.22	c INPROCESSING
33.10/33.22	c GARBAGE COLLECT
116.58/116.98	c #Conflicts:      67000 | #Constraints:       5844
116.58/116.98	c #Conflicts:      68000 | #Constraints:       6844
116.58/116.98	c #Conflicts:      69000 | #Constraints:       7844
116.58/116.98	c #Conflicts:      70000 | #Constraints:       8844
116.58/116.98	c #Conflicts:      71000 | #Constraints:       9844
116.58/116.98	c #Conflicts:      72000 | #Constraints:      10844
116.58/116.98	c INPROCESSING
116.58/116.98	c GARBAGE COLLECT
116.58/116.98	c #Conflicts:      73000 | #Constraints:       6448
116.58/116.98	c #Conflicts:      74000 | #Constraints:       7448
116.58/116.98	c #Conflicts:      75000 | #Constraints:       8448
116.58/116.98	c #Conflicts:      76000 | #Constraints:       9448
116.58/116.98	c #Conflicts:      77000 | #Constraints:      10448
116.58/116.98	c #Conflicts:      78000 | #Constraints:      11448
116.58/116.98	c INPROCESSING
116.58/116.98	c GARBAGE COLLECT
116.58/116.98	c #Conflicts:      79000 | #Constraints:       6845
116.58/116.98	c #Conflicts:      80000 | #Constraints:       7845
116.58/116.98	c #Conflicts:      81000 | #Constraints:       8845
116.58/116.98	c #Conflicts:      82000 | #Constraints:       9845
116.58/116.98	c #Conflicts:      83000 | #Constraints:      10845
116.58/116.98	c #Conflicts:      84000 | #Constraints:      11845
116.58/116.98	c INPROCESSING
116.58/116.98	c GARBAGE COLLECT
116.58/116.98	c #Conflicts:      85000 | #Constraints:       7039
116.58/116.98	c #Conflicts:      86000 | #Constraints:       8039
116.58/116.98	c #Conflicts:      87000 | #Constraints:       9039
116.58/116.98	c #Conflicts:      88000 | #Constraints:      10039
116.58/116.98	c #Conflicts:      89000 | #Constraints:      11039
116.58/116.98	c #Conflicts:      90000 | #Constraints:      12039
116.58/116.98	c INPROCESSING
116.58/116.98	c GARBAGE COLLECT
116.58/116.98	c #Conflicts:      91000 | #Constraints:       7054
116.58/116.98	c #Conflicts:      92000 | #Constraints:       8054
116.58/116.98	c #Conflicts:      93000 | #Constraints:       9054
116.58/116.98	c #Conflicts:      94000 | #Constraints:      10054
116.58/116.98	c #Conflicts:      95000 | #Constraints:      11054
116.58/116.98	c #Conflicts:      96000 | #Constraints:      12054
116.58/116.98	c INPROCESSING
116.58/116.98	c GARBAGE COLLECT
116.58/116.98	c #Conflicts:      97000 | #Constraints:       6845
116.58/116.98	c #Conflicts:      98000 | #Constraints:       7845
116.58/116.98	c #Conflicts:      99000 | #Constraints:       8845
116.58/116.98	c #Conflicts:     100000 | #Constraints:       9845
116.58/116.98	c #Conflicts:     101000 | #Constraints:      10845
116.58/116.98	c #Conflicts:     102000 | #Constraints:      11845
116.58/116.98	c #Conflicts:     103000 | #Constraints:      12845
116.58/116.98	c INPROCESSING
116.58/116.98	c GARBAGE COLLECT
116.58/116.98	c #Conflicts:     104000 | #Constraints:       7446
116.58/116.98	c #Conflicts:     105000 | #Constraints:       8446
116.58/116.98	c #Conflicts:     106000 | #Constraints:       9446
116.58/116.98	c #Conflicts:     107000 | #Constraints:      10446
116.58/116.98	c #Conflicts:     108000 | #Constraints:      11446
116.58/116.98	c #Conflicts:     109000 | #Constraints:      12446
116.58/116.98	c #Conflicts:     110000 | #Constraints:      13446
116.58/116.98	c INPROCESSING
116.58/116.98	c GARBAGE COLLECT
116.58/116.98	c #Conflicts:     111000 | #Constraints:       7845
116.58/116.98	c #Conflicts:     112000 | #Constraints:       8845
116.58/116.98	c #Conflicts:     113000 | #Constraints:       9845
116.58/116.98	c #Conflicts:     114000 | #Constraints:      10845
116.58/116.98	c #Conflicts:     115000 | #Constraints:      11845
116.58/116.98	c #Conflicts:     116000 | #Constraints:      12845
116.58/116.98	c #Conflicts:     117000 | #Constraints:      13845
116.58/116.98	c INPROCESSING
116.58/116.98	c GARBAGE COLLECT
116.58/116.98	c #Conflicts:     118000 | #Constraints:       8046
116.58/116.98	c #Conflicts:     119000 | #Constraints:       9046
116.58/116.98	c #Conflicts:     120000 | #Constraints:      10046
116.58/116.98	c #Conflicts:     121000 | #Constraints:      11046
116.58/116.98	c #Conflicts:     122000 | #Constraints:      12046
116.58/116.98	c #Conflicts:     123000 | #Constraints:      13046
116.58/116.98	c #Conflicts:     124000 | #Constraints:      14046
116.58/116.98	c INPROCESSING
116.58/116.98	c GARBAGE COLLECT
116.58/116.98	c #Conflicts:     125000 | #Constraints:       8052
116.58/116.98	c #Conflicts:     126000 | #Constraints:       9052
116.58/116.98	c #Conflicts:     127000 | #Constraints:      10052
116.58/116.98	c #Conflicts:     128000 | #Constraints:      11052
116.58/116.98	c #Conflicts:     129000 | #Constraints:      12052
116.58/116.98	c #Conflicts:     130000 | #Constraints:      13052
116.58/116.98	c #Conflicts:     131000 | #Constraints:      14052
116.58/116.98	c INPROCESSING
116.58/116.98	c GARBAGE COLLECT
116.58/116.98	c #Conflicts:     132000 | #Constraints:       7842
116.58/116.98	c #Conflicts:     133000 | #Constraints:       8842
116.58/116.98	c #Conflicts:     134000 | #Constraints:       9842
116.58/116.98	c #Conflicts:     135000 | #Constraints:      10842
116.58/116.98	c #Conflicts:     136000 | #Constraints:      11842
116.58/116.98	c #Conflicts:     137000 | #Constraints:      12842
116.58/116.98	c #Conflicts:     138000 | #Constraints:      13842
116.58/116.98	c #Conflicts:     139000 | #Constraints:      14842
232.38/233.01	c INPROCESSING
232.38/233.01	c GARBAGE COLLECT
232.38/233.01	c #Conflicts:     140000 | #Constraints:       8440
232.38/233.01	c #Conflicts:     141000 | #Constraints:       9440
232.38/233.01	c #Conflicts:     142000 | #Constraints:      10440
232.38/233.01	c #Conflicts:     143000 | #Constraints:      11440
232.38/233.01	c #Conflicts:     144000 | #Constraints:      12440
232.38/233.01	c #Conflicts:     145000 | #Constraints:      13440
232.38/233.01	c #Conflicts:     146000 | #Constraints:      14440
232.38/233.01	c #Conflicts:     147000 | #Constraints:      15440
232.38/233.01	c INPROCESSING
232.38/233.01	c GARBAGE COLLECT
232.38/233.01	c #Conflicts:     148000 | #Constraints:       8851
232.38/233.01	c #Conflicts:     149000 | #Constraints:       9851
232.38/233.01	c #Conflicts:     150000 | #Constraints:      10851
232.38/233.01	c #Conflicts:     151000 | #Constraints:      11851
232.38/233.01	c #Conflicts:     152000 | #Constraints:      12851
232.38/233.01	c #Conflicts:     153000 | #Constraints:      13851
232.38/233.01	c #Conflicts:     154000 | #Constraints:      14851
232.38/233.01	c #Conflicts:     155000 | #Constraints:      15851
232.38/233.01	c INPROCESSING
232.38/233.01	c GARBAGE COLLECT
232.38/233.01	c #Conflicts:     156000 | #Constraints:       9053
232.38/233.01	c #Conflicts:     157000 | #Constraints:      10053
232.38/233.01	c #Conflicts:     158000 | #Constraints:      11053
232.38/233.01	c #Conflicts:     159000 | #Constraints:      12053
232.38/233.01	c #Conflicts:     160000 | #Constraints:      13053
232.38/233.01	c #Conflicts:     161000 | #Constraints:      14053
232.38/233.01	c #Conflicts:     162000 | #Constraints:      15053
232.38/233.01	c #Conflicts:     163000 | #Constraints:      16053
232.38/233.01	c INPROCESSING
232.38/233.01	c GARBAGE COLLECT
232.38/233.01	c #Conflicts:     164000 | #Constraints:       9050
232.38/233.01	c #Conflicts:     165000 | #Constraints:      10050
232.38/233.01	c #Conflicts:     166000 | #Constraints:      11050
232.38/233.01	c #Conflicts:     167000 | #Constraints:      12050
232.38/233.01	c #Conflicts:     168000 | #Constraints:      13050
232.38/233.01	c #Conflicts:     169000 | #Constraints:      14050
232.38/233.01	c #Conflicts:     170000 | #Constraints:      15050
232.38/233.01	c #Conflicts:     171000 | #Constraints:      16050
232.38/233.01	c INPROCESSING
232.38/233.01	c GARBAGE COLLECT
232.38/233.01	c #Conflicts:     172000 | #Constraints:       8848
232.38/233.01	c #Conflicts:     173000 | #Constraints:       9848
232.38/233.01	c #Conflicts:     174000 | #Constraints:      10848
232.38/233.01	c #Conflicts:     175000 | #Constraints:      11848
232.38/233.01	c #Conflicts:     176000 | #Constraints:      12848
232.38/233.01	c #Conflicts:     177000 | #Constraints:      13848
232.38/233.01	c #Conflicts:     178000 | #Constraints:      14848
232.38/233.01	c #Conflicts:     179000 | #Constraints:      15848
232.38/233.01	c #Conflicts:     180000 | #Constraints:      16848
232.38/233.01	c INPROCESSING
232.38/233.01	c GARBAGE COLLECT
232.38/233.01	c #Conflicts:     181000 | #Constraints:       9458
232.38/233.01	c #Conflicts:     182000 | #Constraints:      10458
232.38/233.01	c #Conflicts:     183000 | #Constraints:      11458
232.38/233.01	c #Conflicts:     184000 | #Constraints:      12458
232.38/233.01	c #Conflicts:     185000 | #Constraints:      13458
232.38/233.01	c #Conflicts:     186000 | #Constraints:      14458
232.38/233.01	c #Conflicts:     187000 | #Constraints:      15458
232.38/233.01	c #Conflicts:     188000 | #Constraints:      16458
232.38/233.01	c #Conflicts:     189000 | #Constraints:      17458
232.38/233.01	c INPROCESSING
232.38/233.01	c GARBAGE COLLECT
232.38/233.01	c #Conflicts:     190000 | #Constraints:       9848
232.38/233.01	c #Conflicts:     191000 | #Constraints:      10848
232.38/233.01	c #Conflicts:     192000 | #Constraints:      11848
232.38/233.01	c #Conflicts:     193000 | #Constraints:      12848
232.38/233.01	c #Conflicts:     194000 | #Constraints:      13848
232.38/233.01	c #Conflicts:     195000 | #Constraints:      14848
232.38/233.01	c #Conflicts:     196000 | #Constraints:      15848
232.38/233.01	c #Conflicts:     197000 | #Constraints:      16848
232.38/233.01	c #Conflicts:     198000 | #Constraints:      17848
232.38/233.01	c INPROCESSING
232.38/233.01	c GARBAGE COLLECT
232.38/233.01	c #Conflicts:     199000 | #Constraints:      10048
232.38/233.01	c #Conflicts:     200000 | #Constraints:      11048
232.38/233.01	c #Conflicts:     201000 | #Constraints:      12048
232.38/233.01	c #Conflicts:     202000 | #Constraints:      13048
232.38/233.01	c #Conflicts:     203000 | #Constraints:      14048
232.38/233.01	c #Conflicts:     204000 | #Constraints:      15048
232.38/233.01	c #Conflicts:     205000 | #Constraints:      16048
232.38/233.01	c #Conflicts:     206000 | #Constraints:      17048
232.38/233.01	c #Conflicts:     207000 | #Constraints:      18048
232.38/233.01	c INPROCESSING
232.38/233.01	c GARBAGE COLLECT
232.38/233.01	c #Conflicts:     208000 | #Constraints:      10043
232.38/233.01	c #Conflicts:     209000 | #Constraints:      11043
232.38/233.01	c #Conflicts:     210000 | #Constraints:      12043
232.38/233.01	c #Conflicts:     211000 | #Constraints:      13043
232.38/233.01	c #Conflicts:     212000 | #Constraints:      14043
381.70/382.72	c #Conflicts:     213000 | #Constraints:      15043
381.70/382.72	c #Conflicts:     214000 | #Constraints:      16043
381.70/382.72	c #Conflicts:     215000 | #Constraints:      17043
381.70/382.72	c #Conflicts:     216000 | #Constraints:      18043
381.70/382.72	c INPROCESSING
381.70/382.72	c GARBAGE COLLECT
381.70/382.72	c #Conflicts:     217000 | #Constraints:       9841
381.70/382.72	c #Conflicts:     218000 | #Constraints:      10841
381.70/382.72	c #Conflicts:     219000 | #Constraints:      11841
381.70/382.72	c #Conflicts:     220000 | #Constraints:      12841
381.70/382.72	c #Conflicts:     221000 | #Constraints:      13841
381.70/382.72	c #Conflicts:     222000 | #Constraints:      14841
381.70/382.72	c #Conflicts:     223000 | #Constraints:      15841
381.70/382.72	c #Conflicts:     224000 | #Constraints:      16841
381.70/382.72	c #Conflicts:     225000 | #Constraints:      17841
381.70/382.72	c #Conflicts:     226000 | #Constraints:      18841
381.70/382.72	c INPROCESSING
381.70/382.72	c GARBAGE COLLECT
381.70/382.72	c #Conflicts:     227000 | #Constraints:      10444
381.70/382.72	c #Conflicts:     228000 | #Constraints:      11444
381.70/382.72	c #Conflicts:     229000 | #Constraints:      12444
381.70/382.72	c #Conflicts:     230000 | #Constraints:      13444
381.70/382.73	c #Conflicts:     231000 | #Constraints:      14444
381.70/382.73	c #Conflicts:     232000 | #Constraints:      15444
381.70/382.73	c #Conflicts:     233000 | #Constraints:      16444
381.70/382.73	c #Conflicts:     234000 | #Constraints:      17444
381.70/382.73	c #Conflicts:     235000 | #Constraints:      18444
381.70/382.73	c #Conflicts:     236000 | #Constraints:      19444
381.70/382.73	c INPROCESSING
381.70/382.73	c GARBAGE COLLECT
381.70/382.73	c #Conflicts:     237000 | #Constraints:      10851
381.70/382.73	c #Conflicts:     238000 | #Constraints:      11851
381.70/382.73	c #Conflicts:     239000 | #Constraints:      12851
381.70/382.73	c #Conflicts:     240000 | #Constraints:      13851
381.70/382.73	c #Conflicts:     241000 | #Constraints:      14851
381.70/382.73	c #Conflicts:     242000 | #Constraints:      15851
381.70/382.73	c #Conflicts:     243000 | #Constraints:      16851
381.70/382.73	c #Conflicts:     244000 | #Constraints:      17851
381.70/382.73	c #Conflicts:     245000 | #Constraints:      18851
381.70/382.73	c #Conflicts:     246000 | #Constraints:      19851
381.70/382.73	c INPROCESSING
381.70/382.73	c GARBAGE COLLECT
381.70/382.73	c #Conflicts:     247000 | #Constraints:      11045
381.70/382.73	c #Conflicts:     248000 | #Constraints:      12045
381.70/382.73	c #Conflicts:     249000 | #Constraints:      13045
381.70/382.73	c #Conflicts:     250000 | #Constraints:      14045
381.70/382.73	c #Conflicts:     251000 | #Constraints:      15045
381.70/382.73	c #Conflicts:     252000 | #Constraints:      16045
381.70/382.73	c #Conflicts:     253000 | #Constraints:      17045
381.70/382.73	c #Conflicts:     254000 | #Constraints:      18045
381.70/382.73	c #Conflicts:     255000 | #Constraints:      19045
381.70/382.73	c #Conflicts:     256000 | #Constraints:      20045
381.70/382.73	c INPROCESSING
381.70/382.73	c GARBAGE COLLECT
381.70/382.73	c #Conflicts:     257000 | #Constraints:      11041
381.70/382.73	c #Conflicts:     258000 | #Constraints:      12041
381.70/382.73	c #Conflicts:     259000 | #Constraints:      13041
381.70/382.73	c #Conflicts:     260000 | #Constraints:      14041
381.70/382.73	c #Conflicts:     261000 | #Constraints:      15041
381.70/382.73	c #Conflicts:     262000 | #Constraints:      16041
381.70/382.73	c #Conflicts:     263000 | #Constraints:      17041
381.70/382.73	c #Conflicts:     264000 | #Constraints:      18041
381.70/382.73	c #Conflicts:     265000 | #Constraints:      19041
381.70/382.73	c #Conflicts:     266000 | #Constraints:      20041
381.70/382.73	c INPROCESSING
381.70/382.73	c GARBAGE COLLECT
381.70/382.73	c #Conflicts:     267000 | #Constraints:      10845
381.70/382.73	c #Conflicts:     268000 | #Constraints:      11845
381.70/382.73	c #Conflicts:     269000 | #Constraints:      12845
381.70/382.73	c #Conflicts:     270000 | #Constraints:      13845
381.70/382.73	c #Conflicts:     271000 | #Constraints:      14845
381.70/382.73	c #Conflicts:     272000 | #Constraints:      15845
381.70/382.73	c #Conflicts:     273000 | #Constraints:      16845
381.70/382.73	c #Conflicts:     274000 | #Constraints:      17845
381.70/382.73	c #Conflicts:     275000 | #Constraints:      18845
381.70/382.73	c #Conflicts:     276000 | #Constraints:      19845
381.70/382.73	c #Conflicts:     277000 | #Constraints:      20845
381.70/382.73	c INPROCESSING
381.70/382.73	c GARBAGE COLLECT
381.70/382.73	c #Conflicts:     278000 | #Constraints:      11446
381.70/382.73	c #Conflicts:     279000 | #Constraints:      12446
381.70/382.73	c #Conflicts:     280000 | #Constraints:      13446
381.70/382.73	c #Conflicts:     281000 | #Constraints:      14446
381.70/382.73	c #Conflicts:     282000 | #Constraints:      15446
381.70/382.73	c #Conflicts:     283000 | #Constraints:      16446
381.70/382.73	c #Conflicts:     284000 | #Constraints:      17446
381.70/382.73	c #Conflicts:     285000 | #Constraints:      18446
381.70/382.73	c #Conflicts:     286000 | #Constraints:      19446
570.51/572.07	c #Conflicts:     287000 | #Constraints:      20446
570.51/572.07	c #Conflicts:     288000 | #Constraints:      21446
570.51/572.07	c INPROCESSING
570.51/572.07	c GARBAGE COLLECT
570.51/572.07	c #Conflicts:     289000 | #Constraints:      11849
570.51/572.07	c #Conflicts:     290000 | #Constraints:      12849
570.51/572.07	c #Conflicts:     291000 | #Constraints:      13849
570.51/572.07	c #Conflicts:     292000 | #Constraints:      14849
570.51/572.07	c #Conflicts:     293000 | #Constraints:      15849
570.51/572.07	c #Conflicts:     294000 | #Constraints:      16849
570.51/572.07	c #Conflicts:     295000 | #Constraints:      17849
570.51/572.07	c #Conflicts:     296000 | #Constraints:      18849
570.51/572.07	c #Conflicts:     297000 | #Constraints:      19849
570.51/572.07	c #Conflicts:     298000 | #Constraints:      20849
570.51/572.07	c #Conflicts:     299000 | #Constraints:      21849
570.51/572.07	c INPROCESSING
570.51/572.07	c GARBAGE COLLECT
570.51/572.07	c #Conflicts:     300000 | #Constraints:      12051
570.51/572.07	c #Conflicts:     301000 | #Constraints:      13051
570.51/572.07	c #Conflicts:     302000 | #Constraints:      14051
570.51/572.07	c #Conflicts:     303000 | #Constraints:      15051
570.51/572.07	c #Conflicts:     304000 | #Constraints:      16051
570.51/572.07	c #Conflicts:     305000 | #Constraints:      17051
570.51/572.07	c #Conflicts:     306000 | #Constraints:      18051
570.51/572.07	c #Conflicts:     307000 | #Constraints:      19051
570.51/572.07	c #Conflicts:     308000 | #Constraints:      20051
570.51/572.07	c #Conflicts:     309000 | #Constraints:      21051
570.51/572.07	c #Conflicts:     310000 | #Constraints:      22051
570.51/572.07	c INPROCESSING
570.51/572.07	c GARBAGE COLLECT
570.51/572.07	c #Conflicts:     311000 | #Constraints:      12051
570.51/572.07	c #Conflicts:     312000 | #Constraints:      13051
570.51/572.07	c #Conflicts:     313000 | #Constraints:      14051
570.51/572.07	c #Conflicts:     314000 | #Constraints:      15051
570.51/572.07	c #Conflicts:     315000 | #Constraints:      16051
570.51/572.07	c #Conflicts:     316000 | #Constraints:      17051
570.51/572.07	c #Conflicts:     317000 | #Constraints:      18051
570.51/572.07	c #Conflicts:     318000 | #Constraints:      19051
570.51/572.07	c #Conflicts:     319000 | #Constraints:      20051
570.51/572.07	c #Conflicts:     320000 | #Constraints:      21051
570.51/572.07	c #Conflicts:     321000 | #Constraints:      22051
570.51/572.07	c INPROCESSING
570.51/572.07	c GARBAGE COLLECT
570.51/572.07	c #Conflicts:     322000 | #Constraints:      11857
570.51/572.07	c #Conflicts:     323000 | #Constraints:      12857
570.51/572.07	c #Conflicts:     324000 | #Constraints:      13857
570.51/572.07	c #Conflicts:     325000 | #Constraints:      14857
570.51/572.07	c #Conflicts:     326000 | #Constraints:      15857
570.51/572.07	c #Conflicts:     327000 | #Constraints:      16857
570.51/572.07	c #Conflicts:     328000 | #Constraints:      17857
570.51/572.07	c #Conflicts:     329000 | #Constraints:      18857
570.51/572.07	c #Conflicts:     330000 | #Constraints:      19857
570.51/572.07	c #Conflicts:     331000 | #Constraints:      20857
570.51/572.07	c #Conflicts:     332000 | #Constraints:      21857
570.51/572.07	c #Conflicts:     333000 | #Constraints:      22857
570.51/572.07	c INPROCESSING
570.51/572.07	c GARBAGE COLLECT
570.51/572.07	c #Conflicts:     334000 | #Constraints:      12451
570.51/572.07	c #Conflicts:     335000 | #Constraints:      13451
570.51/572.07	c #Conflicts:     336000 | #Constraints:      14451
570.51/572.07	c #Conflicts:     337000 | #Constraints:      15451
570.51/572.07	c #Conflicts:     338000 | #Constraints:      16451
570.51/572.07	c #Conflicts:     339000 | #Constraints:      17451
570.51/572.07	c #Conflicts:     340000 | #Constraints:      18451
570.51/572.07	c #Conflicts:     341000 | #Constraints:      19451
570.51/572.07	c #Conflicts:     342000 | #Constraints:      20451
570.51/572.07	c #Conflicts:     343000 | #Constraints:      21451
570.51/572.07	c #Conflicts:     344000 | #Constraints:      22451
570.51/572.07	c #Conflicts:     345000 | #Constraints:      23451
570.51/572.07	c INPROCESSING
570.51/572.07	c GARBAGE COLLECT
570.51/572.07	c #Conflicts:     346000 | #Constraints:      12847
570.51/572.07	c #Conflicts:     347000 | #Constraints:      13847
570.51/572.07	c #Conflicts:     348000 | #Constraints:      14847
570.51/572.07	c #Conflicts:     349000 | #Constraints:      15847
570.51/572.07	c #Conflicts:     350000 | #Constraints:      16847
570.51/572.07	c #Conflicts:     351000 | #Constraints:      17847
570.51/572.07	c #Conflicts:     352000 | #Constraints:      18847
570.51/572.07	c #Conflicts:     353000 | #Constraints:      19847
570.51/572.07	c #Conflicts:     354000 | #Constraints:      20847
570.51/572.07	c #Conflicts:     355000 | #Constraints:      21847
570.51/572.07	c #Conflicts:     356000 | #Constraints:      22847
570.51/572.07	c #Conflicts:     357000 | #Constraints:      23847
570.51/572.07	c INPROCESSING
570.51/572.07	c GARBAGE COLLECT
570.51/572.07	c #Conflicts:     358000 | #Constraints:      13050
570.51/572.07	c #Conflicts:     359000 | #Constraints:      14050
570.51/572.07	c #Conflicts:     360000 | #Constraints:      15050
794.64/796.74	c #Conflicts:     361000 | #Constraints:      16050
794.64/796.74	c #Conflicts:     362000 | #Constraints:      17050
794.64/796.74	c #Conflicts:     363000 | #Constraints:      18050
794.64/796.74	c #Conflicts:     364000 | #Constraints:      19050
794.64/796.74	c #Conflicts:     365000 | #Constraints:      20050
794.64/796.74	c #Conflicts:     366000 | #Constraints:      21050
794.64/796.74	c #Conflicts:     367000 | #Constraints:      22050
794.64/796.74	c #Conflicts:     368000 | #Constraints:      23050
794.64/796.74	c #Conflicts:     369000 | #Constraints:      24050
794.64/796.74	c INPROCESSING
794.64/796.74	c GARBAGE COLLECT
794.64/796.74	c #Conflicts:     370000 | #Constraints:      13048
794.64/796.74	c #Conflicts:     371000 | #Constraints:      14048
794.64/796.74	c #Conflicts:     372000 | #Constraints:      15048
794.64/796.74	c #Conflicts:     373000 | #Constraints:      16048
794.64/796.74	c #Conflicts:     374000 | #Constraints:      17048
794.64/796.74	c #Conflicts:     375000 | #Constraints:      18048
794.64/796.74	c #Conflicts:     376000 | #Constraints:      19048
794.64/796.74	c #Conflicts:     377000 | #Constraints:      20048
794.64/796.74	c #Conflicts:     378000 | #Constraints:      21048
794.64/796.74	c #Conflicts:     379000 | #Constraints:      22048
794.64/796.74	c #Conflicts:     380000 | #Constraints:      23048
794.64/796.74	c #Conflicts:     381000 | #Constraints:      24048
794.64/796.74	c INPROCESSING
794.64/796.74	c GARBAGE COLLECT
794.64/796.74	c #Conflicts:     382000 | #Constraints:      12853
794.64/796.74	c #Conflicts:     383000 | #Constraints:      13853
794.64/796.74	c #Conflicts:     384000 | #Constraints:      14853
794.64/796.74	c #Conflicts:     385000 | #Constraints:      15853
794.64/796.74	c #Conflicts:     386000 | #Constraints:      16853
794.64/796.74	c #Conflicts:     387000 | #Constraints:      17853
794.64/796.74	c #Conflicts:     388000 | #Constraints:      18853
794.64/796.74	c #Conflicts:     389000 | #Constraints:      19853
794.64/796.74	c #Conflicts:     390000 | #Constraints:      20853
794.64/796.74	c #Conflicts:     391000 | #Constraints:      21853
794.64/796.74	c #Conflicts:     392000 | #Constraints:      22853
794.64/796.74	c #Conflicts:     393000 | #Constraints:      23853
794.64/796.74	c #Conflicts:     394000 | #Constraints:      24853
794.64/796.74	c INPROCESSING
794.64/796.74	c GARBAGE COLLECT
794.64/796.74	c #Conflicts:     395000 | #Constraints:      13455
794.64/796.74	c #Conflicts:     396000 | #Constraints:      14455
794.64/796.74	c #Conflicts:     397000 | #Constraints:      15455
794.64/796.74	c #Conflicts:     398000 | #Constraints:      16455
794.64/796.74	c #Conflicts:     399000 | #Constraints:      17455
794.64/796.74	c #Conflicts:     400000 | #Constraints:      18455
794.64/796.74	c #Conflicts:     401000 | #Constraints:      19455
794.64/796.74	c #Conflicts:     402000 | #Constraints:      20455
794.64/796.74	c #Conflicts:     403000 | #Constraints:      21455
794.64/796.74	c #Conflicts:     404000 | #Constraints:      22455
794.64/796.74	c #Conflicts:     405000 | #Constraints:      23455
794.64/796.74	c #Conflicts:     406000 | #Constraints:      24455
794.64/796.74	c #Conflicts:     407000 | #Constraints:      25455
794.64/796.74	c INPROCESSING
794.64/796.74	c GARBAGE COLLECT
794.64/796.74	c #Conflicts:     408000 | #Constraints:      13857
794.64/796.74	c #Conflicts:     409000 | #Constraints:      14857
794.64/796.74	c #Conflicts:     410000 | #Constraints:      15857
794.64/796.74	c #Conflicts:     411000 | #Constraints:      16857
794.64/796.74	c #Conflicts:     412000 | #Constraints:      17857
794.64/796.74	c #Conflicts:     413000 | #Constraints:      18857
794.64/796.74	c #Conflicts:     414000 | #Constraints:      19857
794.64/796.74	c #Conflicts:     415000 | #Constraints:      20857
794.64/796.74	c #Conflicts:     416000 | #Constraints:      21857
794.64/796.74	c #Conflicts:     417000 | #Constraints:      22857
794.64/796.74	c #Conflicts:     418000 | #Constraints:      23857
794.64/796.74	c #Conflicts:     419000 | #Constraints:      24857
794.64/796.74	c #Conflicts:     420000 | #Constraints:      25857
794.64/796.74	c INPROCESSING
794.64/796.74	c GARBAGE COLLECT
794.64/796.74	c #Conflicts:     421000 | #Constraints:      14050
794.64/796.74	c #Conflicts:     422000 | #Constraints:      15050
794.64/796.74	c #Conflicts:     423000 | #Constraints:      16050
794.64/796.74	c #Conflicts:     424000 | #Constraints:      17050
794.64/796.74	c #Conflicts:     425000 | #Constraints:      18050
794.64/796.74	c #Conflicts:     426000 | #Constraints:      19050
794.64/796.74	c #Conflicts:     427000 | #Constraints:      20050
794.64/796.74	c #Conflicts:     428000 | #Constraints:      21050
794.64/796.74	c #Conflicts:     429000 | #Constraints:      22050
794.64/796.74	c #Conflicts:     430000 | #Constraints:      23050
794.64/796.74	c #Conflicts:     431000 | #Constraints:      24050
794.64/796.74	c #Conflicts:     432000 | #Constraints:      25050
794.64/796.74	c #Conflicts:     433000 | #Constraints:      26050
794.64/796.74	c INPROCESSING
794.64/796.74	c GARBAGE COLLECT
794.64/796.74	c #Conflicts:     434000 | #Constraints:      14045
794.64/796.74	c #Conflicts:     435000 | #Constraints:      15045
1054.17/1056.98	c #Conflicts:     436000 | #Constraints:      16045
1054.17/1056.98	c #Conflicts:     437000 | #Constraints:      17045
1054.17/1056.98	c #Conflicts:     438000 | #Constraints:      18045
1054.17/1056.98	c #Conflicts:     439000 | #Constraints:      19045
1054.17/1056.98	c #Conflicts:     440000 | #Constraints:      20045
1054.17/1056.98	c #Conflicts:     441000 | #Constraints:      21045
1054.17/1056.98	c #Conflicts:     442000 | #Constraints:      22045
1054.17/1056.98	c #Conflicts:     443000 | #Constraints:      23045
1054.17/1056.98	c #Conflicts:     444000 | #Constraints:      24045
1054.17/1056.98	c #Conflicts:     445000 | #Constraints:      25045
1054.17/1056.98	c #Conflicts:     446000 | #Constraints:      26045
1054.17/1056.98	c INPROCESSING
1054.17/1056.98	c GARBAGE COLLECT
1054.17/1056.98	c #Conflicts:     447000 | #Constraints:      13847
1054.17/1056.98	c #Conflicts:     448000 | #Constraints:      14847
1054.17/1056.98	c #Conflicts:     449000 | #Constraints:      15847
1054.17/1056.98	c #Conflicts:     450000 | #Constraints:      16847
1054.17/1056.98	c #Conflicts:     451000 | #Constraints:      17847
1054.17/1056.98	c #Conflicts:     452000 | #Constraints:      18847
1054.17/1056.98	c #Conflicts:     453000 | #Constraints:      19847
1054.17/1056.98	c #Conflicts:     454000 | #Constraints:      20847
1054.17/1056.98	c #Conflicts:     455000 | #Constraints:      21847
1054.17/1056.98	c #Conflicts:     456000 | #Constraints:      22847
1054.17/1056.98	c #Conflicts:     457000 | #Constraints:      23847
1054.17/1056.98	c #Conflicts:     458000 | #Constraints:      24847
1054.17/1056.98	c #Conflicts:     459000 | #Constraints:      25847
1054.17/1056.98	c #Conflicts:     460000 | #Constraints:      26847
1054.17/1056.98	c INPROCESSING
1054.17/1056.98	c GARBAGE COLLECT
1054.17/1056.98	c #Conflicts:     461000 | #Constraints:      14445
1054.17/1056.98	c #Conflicts:     462000 | #Constraints:      15445
1054.17/1056.98	c #Conflicts:     463000 | #Constraints:      16445
1054.17/1056.98	c #Conflicts:     464000 | #Constraints:      17445
1054.17/1056.98	c #Conflicts:     465000 | #Constraints:      18445
1054.17/1056.98	c #Conflicts:     466000 | #Constraints:      19445
1054.17/1056.98	c #Conflicts:     467000 | #Constraints:      20445
1054.17/1056.98	c #Conflicts:     468000 | #Constraints:      21445
1054.17/1056.98	c #Conflicts:     469000 | #Constraints:      22445
1054.17/1056.98	c #Conflicts:     470000 | #Constraints:      23445
1054.17/1056.98	c #Conflicts:     471000 | #Constraints:      24445
1054.17/1056.98	c #Conflicts:     472000 | #Constraints:      25445
1054.17/1056.98	c #Conflicts:     473000 | #Constraints:      26445
1054.17/1056.98	c #Conflicts:     474000 | #Constraints:      27445
1054.17/1056.98	c INPROCESSING
1054.17/1056.98	c GARBAGE COLLECT
1054.17/1056.98	c #Conflicts:     475000 | #Constraints:      14854
1054.17/1056.98	c #Conflicts:     476000 | #Constraints:      15854
1054.17/1056.98	c #Conflicts:     477000 | #Constraints:      16854
1054.17/1056.98	c #Conflicts:     478000 | #Constraints:      17854
1054.17/1056.98	c #Conflicts:     479000 | #Constraints:      18854
1054.17/1056.98	c #Conflicts:     480000 | #Constraints:      19854
1054.17/1056.98	c #Conflicts:     481000 | #Constraints:      20854
1054.17/1056.98	c #Conflicts:     482000 | #Constraints:      21854
1054.17/1056.98	c #Conflicts:     483000 | #Constraints:      22854
1054.17/1056.98	c #Conflicts:     484000 | #Constraints:      23854
1054.17/1056.98	c #Conflicts:     485000 | #Constraints:      24854
1054.17/1056.98	c #Conflicts:     486000 | #Constraints:      25854
1054.17/1056.98	c #Conflicts:     487000 | #Constraints:      26854
1054.17/1056.98	c #Conflicts:     488000 | #Constraints:      27854
1054.17/1056.98	c INPROCESSING
1054.17/1056.98	c GARBAGE COLLECT
1054.17/1056.98	c #Conflicts:     489000 | #Constraints:      15046
1054.17/1056.98	c #Conflicts:     490000 | #Constraints:      16046
1054.17/1056.98	c #Conflicts:     491000 | #Constraints:      17046
1054.17/1056.98	c #Conflicts:     492000 | #Constraints:      18046
1054.17/1056.98	c #Conflicts:     493000 | #Constraints:      19046
1054.17/1056.98	c #Conflicts:     494000 | #Constraints:      20046
1054.17/1056.98	c #Conflicts:     495000 | #Constraints:      21046
1054.17/1056.98	c #Conflicts:     496000 | #Constraints:      22046
1054.17/1056.98	c #Conflicts:     497000 | #Constraints:      23046
1054.17/1056.98	c #Conflicts:     498000 | #Constraints:      24046
1054.17/1056.98	c #Conflicts:     499000 | #Constraints:      25046
1054.17/1056.98	c #Conflicts:     500000 | #Constraints:      26046
1054.17/1056.98	c #Conflicts:     501000 | #Constraints:      27046
1054.17/1056.98	c #Conflicts:     502000 | #Constraints:      28046
1054.17/1056.98	c INPROCESSING
1054.17/1056.98	c GARBAGE COLLECT
1054.17/1056.98	c #Conflicts:     503000 | #Constraints:      15054
1054.17/1056.98	c #Conflicts:     504000 | #Constraints:      16054
1054.17/1056.98	c #Conflicts:     505000 | #Constraints:      17054
1054.17/1056.98	c #Conflicts:     506000 | #Constraints:      18054
1054.17/1056.98	c #Conflicts:     507000 | #Constraints:      19054
1054.17/1056.98	c #Conflicts:     508000 | #Constraints:      20054
1054.17/1056.98	c #Conflicts:     509000 | #Constraints:      21054
1054.17/1056.98	c #Conflicts:     510000 | #Constraints:      22054
1054.17/1056.98	c #Conflicts:     511000 | #Constraints:      23054
1354.29/1357.80	c #Conflicts:     512000 | #Constraints:      24054
1354.29/1357.80	c #Conflicts:     513000 | #Constraints:      25054
1354.29/1357.80	c #Conflicts:     514000 | #Constraints:      26054
1354.29/1357.80	c #Conflicts:     515000 | #Constraints:      27054
1354.29/1357.80	c #Conflicts:     516000 | #Constraints:      28054
1354.29/1357.80	c INPROCESSING
1354.29/1357.80	c GARBAGE COLLECT
1354.29/1357.80	c #Conflicts:     517000 | #Constraints:      14851
1354.29/1357.80	c #Conflicts:     518000 | #Constraints:      15851
1354.29/1357.80	c #Conflicts:     519000 | #Constraints:      16851
1354.29/1357.80	c #Conflicts:     520000 | #Constraints:      17851
1354.29/1357.80	c #Conflicts:     521000 | #Constraints:      18851
1354.29/1357.80	c #Conflicts:     522000 | #Constraints:      19851
1354.29/1357.80	c #Conflicts:     523000 | #Constraints:      20851
1354.29/1357.80	c #Conflicts:     524000 | #Constraints:      21851
1354.29/1357.80	c #Conflicts:     525000 | #Constraints:      22851
1354.29/1357.80	c #Conflicts:     526000 | #Constraints:      23851
1354.29/1357.80	c #Conflicts:     527000 | #Constraints:      24851
1354.29/1357.80	c #Conflicts:     528000 | #Constraints:      25851
1354.29/1357.80	c #Conflicts:     529000 | #Constraints:      26851
1354.29/1357.80	c #Conflicts:     530000 | #Constraints:      27851
1354.29/1357.80	c #Conflicts:     531000 | #Constraints:      28851
1354.29/1357.80	c INPROCESSING
1354.29/1357.80	c GARBAGE COLLECT
1354.29/1357.80	c #Conflicts:     532000 | #Constraints:      15451
1354.29/1357.80	c #Conflicts:     533000 | #Constraints:      16451
1354.29/1357.80	c #Conflicts:     534000 | #Constraints:      17451
1354.29/1357.80	c #Conflicts:     535000 | #Constraints:      18451
1354.29/1357.80	c #Conflicts:     536000 | #Constraints:      19451
1354.29/1357.80	c #Conflicts:     537000 | #Constraints:      20451
1354.29/1357.80	c #Conflicts:     538000 | #Constraints:      21451
1354.29/1357.80	c #Conflicts:     539000 | #Constraints:      22451
1354.29/1357.80	c #Conflicts:     540000 | #Constraints:      23451
1354.29/1357.80	c #Conflicts:     541000 | #Constraints:      24451
1354.29/1357.80	c #Conflicts:     542000 | #Constraints:      25451
1354.29/1357.80	c #Conflicts:     543000 | #Constraints:      26451
1354.29/1357.80	c #Conflicts:     544000 | #Constraints:      27451
1354.29/1357.80	c #Conflicts:     545000 | #Constraints:      28451
1354.29/1357.80	c #Conflicts:     546000 | #Constraints:      29451
1354.29/1357.80	c INPROCESSING
1354.29/1357.80	c GARBAGE COLLECT
1354.29/1357.80	c #Conflicts:     547000 | #Constraints:      15848
1354.29/1357.80	c #Conflicts:     548000 | #Constraints:      16848
1354.29/1357.80	c #Conflicts:     549000 | #Constraints:      17848
1354.29/1357.80	c #Conflicts:     550000 | #Constraints:      18848
1354.29/1357.80	c #Conflicts:     551000 | #Constraints:      19848
1354.29/1357.80	c #Conflicts:     552000 | #Constraints:      20848
1354.29/1357.80	c #Conflicts:     553000 | #Constraints:      21848
1354.29/1357.80	c #Conflicts:     554000 | #Constraints:      22848
1354.29/1357.80	c #Conflicts:     555000 | #Constraints:      23848
1354.29/1357.80	c #Conflicts:     556000 | #Constraints:      24848
1354.29/1357.80	c #Conflicts:     557000 | #Constraints:      25848
1354.29/1357.80	c #Conflicts:     558000 | #Constraints:      26848
1354.29/1357.80	c #Conflicts:     559000 | #Constraints:      27848
1354.29/1357.80	c #Conflicts:     560000 | #Constraints:      28848
1354.29/1357.80	c #Conflicts:     561000 | #Constraints:      29848
1354.29/1357.80	c INPROCESSING
1354.29/1357.80	c GARBAGE COLLECT
1354.29/1357.80	c #Conflicts:     562000 | #Constraints:      16055
1354.29/1357.80	c #Conflicts:     563000 | #Constraints:      17055
1354.29/1357.80	c #Conflicts:     564000 | #Constraints:      18055
1354.29/1357.80	c #Conflicts:     565000 | #Constraints:      19055
1354.29/1357.80	c #Conflicts:     566000 | #Constraints:      20055
1354.29/1357.80	c #Conflicts:     567000 | #Constraints:      21055
1354.29/1357.80	c #Conflicts:     568000 | #Constraints:      22055
1354.29/1357.80	c #Conflicts:     569000 | #Constraints:      23055
1354.29/1357.80	c #Conflicts:     570000 | #Constraints:      24055
1354.29/1357.80	c #Conflicts:     571000 | #Constraints:      25055
1354.29/1357.80	c #Conflicts:     572000 | #Constraints:      26055
1354.29/1357.80	c #Conflicts:     573000 | #Constraints:      27055
1354.29/1357.80	c #Conflicts:     574000 | #Constraints:      28055
1354.29/1357.80	c #Conflicts:     575000 | #Constraints:      29055
1354.29/1357.80	c #Conflicts:     576000 | #Constraints:      30055
1354.29/1357.80	c INPROCESSING
1354.29/1357.80	c GARBAGE COLLECT
1354.29/1357.80	c #Conflicts:     577000 | #Constraints:      16058
1354.29/1357.80	c #Conflicts:     578000 | #Constraints:      17058
1354.29/1357.80	c #Conflicts:     579000 | #Constraints:      18058
1354.29/1357.80	c #Conflicts:     580000 | #Constraints:      19058
1354.29/1357.80	c #Conflicts:     581000 | #Constraints:      20058
1354.29/1357.80	c #Conflicts:     582000 | #Constraints:      21058
1354.29/1357.80	c #Conflicts:     583000 | #Constraints:      22058
1354.29/1357.80	c #Conflicts:     584000 | #Constraints:      23058
1354.29/1357.80	c #Conflicts:     585000 | #Constraints:      24058
1354.29/1357.80	c #Conflicts:     586000 | #Constraints:      25058
1354.29/1357.80	c #Conflicts:     587000 | #Constraints:      26058
1681.10/1685.52	c #Conflicts:     588000 | #Constraints:      27058
1681.10/1685.52	c #Conflicts:     589000 | #Constraints:      28058
1681.10/1685.52	c #Conflicts:     590000 | #Constraints:      29058
1681.10/1685.52	c #Conflicts:     591000 | #Constraints:      30058
1681.10/1685.52	c INPROCESSING
1681.10/1685.52	c GARBAGE COLLECT
1681.10/1685.52	c #Conflicts:     592000 | #Constraints:      15851
1681.10/1685.52	c #Conflicts:     593000 | #Constraints:      16851
1681.10/1685.52	c #Conflicts:     594000 | #Constraints:      17851
1681.10/1685.52	c #Conflicts:     595000 | #Constraints:      18851
1681.10/1685.52	c #Conflicts:     596000 | #Constraints:      19851
1681.10/1685.52	c #Conflicts:     597000 | #Constraints:      20851
1681.10/1685.52	c #Conflicts:     598000 | #Constraints:      21851
1681.10/1685.52	c #Conflicts:     599000 | #Constraints:      22851
1681.10/1685.52	c #Conflicts:     600000 | #Constraints:      23851
1681.10/1685.52	c #Conflicts:     601000 | #Constraints:      24851
1681.10/1685.52	c #Conflicts:     602000 | #Constraints:      25851
1681.10/1685.52	c #Conflicts:     603000 | #Constraints:      26851
1681.10/1685.52	c #Conflicts:     604000 | #Constraints:      27851
1681.10/1685.52	c #Conflicts:     605000 | #Constraints:      28851
1681.10/1685.52	c #Conflicts:     606000 | #Constraints:      29851
1681.10/1685.52	c #Conflicts:     607000 | #Constraints:      30851
1681.10/1685.52	c INPROCESSING
1681.10/1685.52	c GARBAGE COLLECT
1681.10/1685.52	c #Conflicts:     608000 | #Constraints:      16457
1681.10/1685.52	c #Conflicts:     609000 | #Constraints:      17457
1681.10/1685.52	c #Conflicts:     610000 | #Constraints:      18457
1681.10/1685.52	c #Conflicts:     611000 | #Constraints:      19457
1681.10/1685.52	c #Conflicts:     612000 | #Constraints:      20457
1681.10/1685.52	c #Conflicts:     613000 | #Constraints:      21457
1681.10/1685.52	c #Conflicts:     614000 | #Constraints:      22457
1681.10/1685.52	c #Conflicts:     615000 | #Constraints:      23457
1681.10/1685.52	c #Conflicts:     616000 | #Constraints:      24457
1681.10/1685.52	c #Conflicts:     617000 | #Constraints:      25457
1681.10/1685.52	c #Conflicts:     618000 | #Constraints:      26457
1681.10/1685.52	c #Conflicts:     619000 | #Constraints:      27457
1681.10/1685.52	c #Conflicts:     620000 | #Constraints:      28457
1681.10/1685.52	c #Conflicts:     621000 | #Constraints:      29457
1681.10/1685.52	c #Conflicts:     622000 | #Constraints:      30457
1681.10/1685.52	c #Conflicts:     623000 | #Constraints:      31457
1681.10/1685.52	c INPROCESSING
1681.10/1685.52	c GARBAGE COLLECT
1681.10/1685.52	c #Conflicts:     624000 | #Constraints:      16850
1681.10/1685.52	c #Conflicts:     625000 | #Constraints:      17850
1681.10/1685.52	c #Conflicts:     626000 | #Constraints:      18850
1681.10/1685.52	c #Conflicts:     627000 | #Constraints:      19850
1681.10/1685.52	c #Conflicts:     628000 | #Constraints:      20850
1681.10/1685.52	c #Conflicts:     629000 | #Constraints:      21850
1681.10/1685.52	c #Conflicts:     630000 | #Constraints:      22850
1681.10/1685.52	c #Conflicts:     631000 | #Constraints:      23850
1681.10/1685.52	c #Conflicts:     632000 | #Constraints:      24850
1681.10/1685.52	c #Conflicts:     633000 | #Constraints:      25850
1681.10/1685.52	c #Conflicts:     634000 | #Constraints:      26850
1681.10/1685.52	c #Conflicts:     635000 | #Constraints:      27850
1681.10/1685.52	c #Conflicts:     636000 | #Constraints:      28850
1681.10/1685.52	c #Conflicts:     637000 | #Constraints:      29850
1681.10/1685.52	c #Conflicts:     638000 | #Constraints:      30850
1681.10/1685.52	c #Conflicts:     639000 | #Constraints:      31850
1681.10/1685.52	c INPROCESSING
1681.10/1685.52	c GARBAGE COLLECT
1681.10/1685.52	c #Conflicts:     640000 | #Constraints:      17051
1681.10/1685.52	c #Conflicts:     641000 | #Constraints:      18051
1681.10/1685.52	c #Conflicts:     642000 | #Constraints:      19051
1681.10/1685.52	c #Conflicts:     643000 | #Constraints:      20051
1681.10/1685.52	c #Conflicts:     644000 | #Constraints:      21051
1681.10/1685.52	c #Conflicts:     645000 | #Constraints:      22051
1681.10/1685.52	c #Conflicts:     646000 | #Constraints:      23051
1681.10/1685.52	c #Conflicts:     647000 | #Constraints:      24051
1681.10/1685.52	c #Conflicts:     648000 | #Constraints:      25051
1681.10/1685.52	c #Conflicts:     649000 | #Constraints:      26051
1681.10/1685.52	c #Conflicts:     650000 | #Constraints:      27051
1681.10/1685.52	c #Conflicts:     651000 | #Constraints:      28051
1681.10/1685.52	c #Conflicts:     652000 | #Constraints:      29051
1681.10/1685.52	c #Conflicts:     653000 | #Constraints:      30051
1681.10/1685.52	c #Conflicts:     654000 | #Constraints:      31051
1681.10/1685.52	c #Conflicts:     655000 | #Constraints:      32051
1681.10/1685.52	c INPROCESSING
1681.10/1685.52	c GARBAGE COLLECT
1681.10/1685.52	c #Conflicts:     656000 | #Constraints:      17051
1681.10/1685.52	c #Conflicts:     657000 | #Constraints:      18051
1681.10/1685.52	c #Conflicts:     658000 | #Constraints:      19051
1681.10/1685.52	c #Conflicts:     659000 | #Constraints:      20051
1681.10/1685.52	c #Conflicts:     660000 | #Constraints:      21051
1681.10/1685.52	c #Conflicts:     661000 | #Constraints:      22051
1681.10/1685.52	c #Conflicts:     662000 | #Constraints:      23051
2055.82/2061.31	c #Conflicts:     663000 | #Constraints:      24051
2055.82/2061.31	c #Conflicts:     664000 | #Constraints:      25051
2055.82/2061.31	c #Conflicts:     665000 | #Constraints:      26051
2055.82/2061.31	c #Conflicts:     666000 | #Constraints:      27051
2055.82/2061.31	c #Conflicts:     667000 | #Constraints:      28051
2055.82/2061.31	c #Conflicts:     668000 | #Constraints:      29051
2055.82/2061.31	c #Conflicts:     669000 | #Constraints:      30051
2055.82/2061.31	c #Conflicts:     670000 | #Constraints:      31051
2055.82/2061.31	c #Conflicts:     671000 | #Constraints:      32051
2055.82/2061.31	c INPROCESSING
2055.82/2061.31	c GARBAGE COLLECT
2055.82/2061.31	c #Conflicts:     672000 | #Constraints:      16851
2055.82/2061.31	c #Conflicts:     673000 | #Constraints:      17851
2055.82/2061.31	c #Conflicts:     674000 | #Constraints:      18851
2055.82/2061.31	c #Conflicts:     675000 | #Constraints:      19851
2055.82/2061.31	c #Conflicts:     676000 | #Constraints:      20851
2055.82/2061.31	c #Conflicts:     677000 | #Constraints:      21851
2055.82/2061.31	c #Conflicts:     678000 | #Constraints:      22851
2055.82/2061.31	c #Conflicts:     679000 | #Constraints:      23851
2055.82/2061.31	c #Conflicts:     680000 | #Constraints:      24851
2055.82/2061.31	c #Conflicts:     681000 | #Constraints:      25851
2055.82/2061.31	c #Conflicts:     682000 | #Constraints:      26851
2055.82/2061.31	c #Conflicts:     683000 | #Constraints:      27851
2055.82/2061.31	c #Conflicts:     684000 | #Constraints:      28851
2055.82/2061.31	c #Conflicts:     685000 | #Constraints:      29851
2055.82/2061.31	c #Conflicts:     686000 | #Constraints:      30851
2055.82/2061.31	c #Conflicts:     687000 | #Constraints:      31851
2055.82/2061.31	c #Conflicts:     688000 | #Constraints:      32851
2055.82/2061.31	c INPROCESSING
2055.82/2061.31	c GARBAGE COLLECT
2055.82/2061.31	c #Conflicts:     689000 | #Constraints:      17452
2055.82/2061.31	c #Conflicts:     690000 | #Constraints:      18452
2055.82/2061.31	c #Conflicts:     691000 | #Constraints:      19452
2055.82/2061.31	c #Conflicts:     692000 | #Constraints:      20452
2055.82/2061.31	c #Conflicts:     693000 | #Constraints:      21452
2055.82/2061.31	c #Conflicts:     694000 | #Constraints:      22452
2055.82/2061.31	c #Conflicts:     695000 | #Constraints:      23452
2055.82/2061.31	c #Conflicts:     696000 | #Constraints:      24452
2055.82/2061.31	c #Conflicts:     697000 | #Constraints:      25452
2055.82/2061.31	c #Conflicts:     698000 | #Constraints:      26452
2055.82/2061.31	c #Conflicts:     699000 | #Constraints:      27452
2055.82/2061.31	c #Conflicts:     700000 | #Constraints:      28452
2055.82/2061.31	c #Conflicts:     701000 | #Constraints:      29452
2055.82/2061.31	c #Conflicts:     702000 | #Constraints:      30452
2055.82/2061.31	c #Conflicts:     703000 | #Constraints:      31452
2055.82/2061.31	c #Conflicts:     704000 | #Constraints:      32452
2055.82/2061.31	c #Conflicts:     705000 | #Constraints:      33452
2055.82/2061.31	c INPROCESSING
2055.82/2061.31	c GARBAGE COLLECT
2055.82/2061.31	c #Conflicts:     706000 | #Constraints:      17848
2055.82/2061.31	c #Conflicts:     707000 | #Constraints:      18848
2055.82/2061.31	c #Conflicts:     708000 | #Constraints:      19848
2055.82/2061.31	c #Conflicts:     709000 | #Constraints:      20848
2055.82/2061.31	c #Conflicts:     710000 | #Constraints:      21848
2055.82/2061.31	c #Conflicts:     711000 | #Constraints:      22848
2055.82/2061.31	c #Conflicts:     712000 | #Constraints:      23848
2055.82/2061.31	c #Conflicts:     713000 | #Constraints:      24848
2055.82/2061.31	c #Conflicts:     714000 | #Constraints:      25848
2055.82/2061.31	c #Conflicts:     715000 | #Constraints:      26848
2055.82/2061.31	c #Conflicts:     716000 | #Constraints:      27848
2055.82/2061.31	c #Conflicts:     717000 | #Constraints:      28848
2055.82/2061.31	c #Conflicts:     718000 | #Constraints:      29848
2055.82/2061.31	c #Conflicts:     719000 | #Constraints:      30848
2055.82/2061.31	c #Conflicts:     720000 | #Constraints:      31848
2055.82/2061.31	c #Conflicts:     721000 | #Constraints:      32848
2055.82/2061.31	c #Conflicts:     722000 | #Constraints:      33848
2055.82/2061.31	c INPROCESSING
2055.82/2061.31	c GARBAGE COLLECT
2055.82/2061.31	c #Conflicts:     723000 | #Constraints:      18046
2055.82/2061.31	c #Conflicts:     724000 | #Constraints:      19046
2055.82/2061.31	c #Conflicts:     725000 | #Constraints:      20046
2055.82/2061.31	c #Conflicts:     726000 | #Constraints:      21046
2055.82/2061.31	c #Conflicts:     727000 | #Constraints:      22046
2055.82/2061.31	c #Conflicts:     728000 | #Constraints:      23046
2055.82/2061.31	c #Conflicts:     729000 | #Constraints:      24046
2055.82/2061.31	c #Conflicts:     730000 | #Constraints:      25046
2055.82/2061.31	c #Conflicts:     731000 | #Constraints:      26046
2055.82/2061.31	c #Conflicts:     732000 | #Constraints:      27046
2055.82/2061.31	c #Conflicts:     733000 | #Constraints:      28046
2055.82/2061.31	c #Conflicts:     734000 | #Constraints:      29046
2055.82/2061.31	c #Conflicts:     735000 | #Constraints:      30046
2055.82/2061.31	c #Conflicts:     736000 | #Constraints:      31046
2055.82/2061.31	c #Conflicts:     737000 | #Constraints:      32046
2055.82/2061.31	c #Conflicts:     738000 | #Constraints:      33046
2453.79/2460.43	c #Conflicts:     739000 | #Constraints:      34046
2453.79/2460.43	c INPROCESSING
2453.79/2460.43	c GARBAGE COLLECT
2453.79/2460.43	c #Conflicts:     740000 | #Constraints:      18049
2453.79/2460.43	c #Conflicts:     741000 | #Constraints:      19049
2453.79/2460.43	c #Conflicts:     742000 | #Constraints:      20049
2453.79/2460.43	c #Conflicts:     743000 | #Constraints:      21049
2453.79/2460.43	c #Conflicts:     744000 | #Constraints:      22049
2453.79/2460.43	c #Conflicts:     745000 | #Constraints:      23049
2453.79/2460.43	c #Conflicts:     746000 | #Constraints:      24049
2453.79/2460.43	c #Conflicts:     747000 | #Constraints:      25049
2453.79/2460.43	c #Conflicts:     748000 | #Constraints:      26049
2453.79/2460.43	c #Conflicts:     749000 | #Constraints:      27049
2453.79/2460.43	c #Conflicts:     750000 | #Constraints:      28049
2453.79/2460.43	c #Conflicts:     751000 | #Constraints:      29049
2453.79/2460.43	c #Conflicts:     752000 | #Constraints:      30049
2453.79/2460.43	c #Conflicts:     753000 | #Constraints:      31049
2453.79/2460.43	c #Conflicts:     754000 | #Constraints:      32049
2453.79/2460.43	c #Conflicts:     755000 | #Constraints:      33049
2453.79/2460.43	c #Conflicts:     756000 | #Constraints:      34049
2453.79/2460.43	c INPROCESSING
2453.79/2460.43	c GARBAGE COLLECT
2453.79/2460.43	c #Conflicts:     757000 | #Constraints:      17849
2453.79/2460.43	c #Conflicts:     758000 | #Constraints:      18849
2453.79/2460.43	c #Conflicts:     759000 | #Constraints:      19849
2453.79/2460.43	c #Conflicts:     760000 | #Constraints:      20849
2453.79/2460.43	c #Conflicts:     761000 | #Constraints:      21849
2453.79/2460.43	c #Conflicts:     762000 | #Constraints:      22849
2453.79/2460.43	c #Conflicts:     763000 | #Constraints:      23849
2453.79/2460.43	c #Conflicts:     764000 | #Constraints:      24849
2453.79/2460.43	c #Conflicts:     765000 | #Constraints:      25849
2453.79/2460.43	c #Conflicts:     766000 | #Constraints:      26849
2453.79/2460.43	c #Conflicts:     767000 | #Constraints:      27849
2453.79/2460.43	c #Conflicts:     768000 | #Constraints:      28849
2453.79/2460.43	c #Conflicts:     769000 | #Constraints:      29849
2453.79/2460.43	c #Conflicts:     770000 | #Constraints:      30849
2453.79/2460.43	c #Conflicts:     771000 | #Constraints:      31849
2453.79/2460.43	c #Conflicts:     772000 | #Constraints:      32849
2453.79/2460.43	c #Conflicts:     773000 | #Constraints:      33849
2453.79/2460.43	c #Conflicts:     774000 | #Constraints:      34849
2453.79/2460.43	c INPROCESSING
2453.79/2460.43	c GARBAGE COLLECT
2453.79/2460.43	c #Conflicts:     775000 | #Constraints:      18458
2453.79/2460.43	c #Conflicts:     776000 | #Constraints:      19458
2453.79/2460.43	c #Conflicts:     777000 | #Constraints:      20458
2453.79/2460.43	c #Conflicts:     778000 | #Constraints:      21458
2453.79/2460.43	c #Conflicts:     779000 | #Constraints:      22458
2453.79/2460.43	c #Conflicts:     780000 | #Constraints:      23458
2453.79/2460.43	c #Conflicts:     781000 | #Constraints:      24458
2453.79/2460.43	c #Conflicts:     782000 | #Constraints:      25458
2453.79/2460.43	c #Conflicts:     783000 | #Constraints:      26458
2453.79/2460.43	c #Conflicts:     784000 | #Constraints:      27458
2453.79/2460.43	c #Conflicts:     785000 | #Constraints:      28458
2453.79/2460.43	c #Conflicts:     786000 | #Constraints:      29458
2453.79/2460.43	c #Conflicts:     787000 | #Constraints:      30458
2453.79/2460.43	c #Conflicts:     788000 | #Constraints:      31458
2453.79/2460.43	c #Conflicts:     789000 | #Constraints:      32458
2453.79/2460.43	c #Conflicts:     790000 | #Constraints:      33458
2453.79/2460.43	c #Conflicts:     791000 | #Constraints:      34458
2453.79/2460.43	c #Conflicts:     792000 | #Constraints:      35458
2453.79/2460.43	c INPROCESSING
2453.79/2460.43	c GARBAGE COLLECT
2453.79/2460.43	c #Conflicts:     793000 | #Constraints:      18865
2453.79/2460.43	c #Conflicts:     794000 | #Constraints:      19865
2453.79/2460.43	c #Conflicts:     795000 | #Constraints:      20865
2453.79/2460.43	c #Conflicts:     796000 | #Constraints:      21865
2453.79/2460.43	c #Conflicts:     797000 | #Constraints:      22865
2453.79/2460.43	c #Conflicts:     798000 | #Constraints:      23865
2453.79/2460.43	c #Conflicts:     799000 | #Constraints:      24865
2453.79/2460.43	c #Conflicts:     800000 | #Constraints:      25865
2453.79/2460.43	c #Conflicts:     801000 | #Constraints:      26865
2453.79/2460.43	c #Conflicts:     802000 | #Constraints:      27865
2453.79/2460.43	c #Conflicts:     803000 | #Constraints:      28865
2453.79/2460.43	c #Conflicts:     804000 | #Constraints:      29865
2453.79/2460.43	c #Conflicts:     805000 | #Constraints:      30865
2453.79/2460.43	c #Conflicts:     806000 | #Constraints:      31865
2453.79/2460.43	c #Conflicts:     807000 | #Constraints:      32865
2453.79/2460.43	c #Conflicts:     808000 | #Constraints:      33865
2453.79/2460.43	c #Conflicts:     809000 | #Constraints:      34865
2453.79/2460.43	c #Conflicts:     810000 | #Constraints:      35865
2453.79/2460.43	c INPROCESSING
2453.79/2460.43	c GARBAGE COLLECT
2453.79/2460.43	c #Conflicts:     811000 | #Constraints:      19056
2453.79/2460.43	c #Conflicts:     812000 | #Constraints:      20056
2453.79/2460.43	c #Conflicts:     813000 | #Constraints:      21056
2453.79/2460.43	c #Conflicts:     814000 | #Constraints:      22056
2904.20/2912.10	c #Conflicts:     815000 | #Constraints:      23056
2904.20/2912.10	c #Conflicts:     816000 | #Constraints:      24056
2904.20/2912.10	c #Conflicts:     817000 | #Constraints:      25056
2904.20/2912.10	c #Conflicts:     818000 | #Constraints:      26056
2904.20/2912.10	c #Conflicts:     819000 | #Constraints:      27056
2904.20/2912.10	c #Conflicts:     820000 | #Constraints:      28056
2904.20/2912.10	c #Conflicts:     821000 | #Constraints:      29056
2904.20/2912.10	c #Conflicts:     822000 | #Constraints:      30056
2904.20/2912.10	c #Conflicts:     823000 | #Constraints:      31056
2904.20/2912.10	c #Conflicts:     824000 | #Constraints:      32056
2904.20/2912.10	c #Conflicts:     825000 | #Constraints:      33056
2904.20/2912.10	c #Conflicts:     826000 | #Constraints:      34056
2904.20/2912.10	c #Conflicts:     827000 | #Constraints:      35056
2904.20/2912.10	c #Conflicts:     828000 | #Constraints:      36056
2904.20/2912.10	c INPROCESSING
2904.20/2912.10	c GARBAGE COLLECT
2904.20/2912.10	c #Conflicts:     829000 | #Constraints:      19056
2904.20/2912.10	c #Conflicts:     830000 | #Constraints:      20056
2904.20/2912.10	c #Conflicts:     831000 | #Constraints:      21056
2904.20/2912.10	c #Conflicts:     832000 | #Constraints:      22056
2904.20/2912.10	c #Conflicts:     833000 | #Constraints:      23056
2904.20/2912.10	c #Conflicts:     834000 | #Constraints:      24056
2904.20/2912.10	c #Conflicts:     835000 | #Constraints:      25056
2904.20/2912.10	c #Conflicts:     836000 | #Constraints:      26056
2904.20/2912.10	c #Conflicts:     837000 | #Constraints:      27056
2904.20/2912.10	c #Conflicts:     838000 | #Constraints:      28056
2904.20/2912.10	c #Conflicts:     839000 | #Constraints:      29056
2904.20/2912.10	c #Conflicts:     840000 | #Constraints:      30056
2904.20/2912.10	c #Conflicts:     841000 | #Constraints:      31056
2904.20/2912.10	c #Conflicts:     842000 | #Constraints:      32056
2904.20/2912.10	c #Conflicts:     843000 | #Constraints:      33056
2904.20/2912.10	c #Conflicts:     844000 | #Constraints:      34056
2904.20/2912.10	c #Conflicts:     845000 | #Constraints:      35056
2904.20/2912.10	c #Conflicts:     846000 | #Constraints:      36056
2904.20/2912.10	c INPROCESSING
2904.20/2912.10	c GARBAGE COLLECT
2904.20/2912.10	c #Conflicts:     847000 | #Constraints:      18852
2904.20/2912.10	c #Conflicts:     848000 | #Constraints:      19852
2904.20/2912.10	c #Conflicts:     849000 | #Constraints:      20852
2904.20/2912.10	c #Conflicts:     850000 | #Constraints:      21852
2904.20/2912.10	c #Conflicts:     851000 | #Constraints:      22852
2904.20/2912.10	c #Conflicts:     852000 | #Constraints:      23852
2904.20/2912.10	c #Conflicts:     853000 | #Constraints:      24852
2904.20/2912.10	c #Conflicts:     854000 | #Constraints:      25852
2904.20/2912.10	c #Conflicts:     855000 | #Constraints:      26852
2904.20/2912.10	c #Conflicts:     856000 | #Constraints:      27852
2904.20/2912.10	c #Conflicts:     857000 | #Constraints:      28852
2904.20/2912.10	c #Conflicts:     858000 | #Constraints:      29852
2904.20/2912.10	c #Conflicts:     859000 | #Constraints:      30852
2904.20/2912.10	c #Conflicts:     860000 | #Constraints:      31852
2904.20/2912.10	c #Conflicts:     861000 | #Constraints:      32852
2904.20/2912.10	c #Conflicts:     862000 | #Constraints:      33852
2904.20/2912.10	c #Conflicts:     863000 | #Constraints:      34852
2904.20/2912.10	c #Conflicts:     864000 | #Constraints:      35852
2904.20/2912.10	c #Conflicts:     865000 | #Constraints:      36852
2904.20/2912.10	c INPROCESSING
2904.20/2912.10	c GARBAGE COLLECT
2904.20/2912.10	c #Conflicts:     866000 | #Constraints:      19456
2904.20/2912.10	c #Conflicts:     867000 | #Constraints:      20456
2904.20/2912.10	c #Conflicts:     868000 | #Constraints:      21456
2904.20/2912.10	c #Conflicts:     869000 | #Constraints:      22456
2904.20/2912.10	c #Conflicts:     870000 | #Constraints:      23456
2904.20/2912.10	c #Conflicts:     871000 | #Constraints:      24456
2904.20/2912.10	c #Conflicts:     872000 | #Constraints:      25456
2904.20/2912.10	c #Conflicts:     873000 | #Constraints:      26456
2904.20/2912.10	c #Conflicts:     874000 | #Constraints:      27456
2904.20/2912.10	c #Conflicts:     875000 | #Constraints:      28456
2904.20/2912.10	c #Conflicts:     876000 | #Constraints:      29456
2904.20/2912.10	c #Conflicts:     877000 | #Constraints:      30456
2904.20/2912.10	c #Conflicts:     878000 | #Constraints:      31456
2904.20/2912.10	c #Conflicts:     879000 | #Constraints:      32456
2904.20/2912.10	c #Conflicts:     880000 | #Constraints:      33456
2904.20/2912.10	c #Conflicts:     881000 | #Constraints:      34456
2904.20/2912.10	c #Conflicts:     882000 | #Constraints:      35456
2904.20/2912.10	c #Conflicts:     883000 | #Constraints:      36456
2904.20/2912.10	c #Conflicts:     884000 | #Constraints:      37456
2904.20/2912.10	c INPROCESSING
2904.20/2912.10	c GARBAGE COLLECT
2904.20/2912.10	c #Conflicts:     885000 | #Constraints:      19848
2904.20/2912.10	c #Conflicts:     886000 | #Constraints:      20848
2904.20/2912.10	c #Conflicts:     887000 | #Constraints:      21848
2904.20/2912.10	c #Conflicts:     888000 | #Constraints:      22848
2904.20/2912.10	c #Conflicts:     889000 | #Constraints:      23848
2904.20/2912.10	c #Conflicts:     890000 | #Constraints:      24848
3376.98/3386.19	c #Conflicts:     891000 | #Constraints:      25848
3376.98/3386.19	c #Conflicts:     892000 | #Constraints:      26848
3376.98/3386.19	c #Conflicts:     893000 | #Constraints:      27848
3376.98/3386.19	c #Conflicts:     894000 | #Constraints:      28848
3376.98/3386.19	c #Conflicts:     895000 | #Constraints:      29848
3376.98/3386.19	c #Conflicts:     896000 | #Constraints:      30848
3376.98/3386.19	c #Conflicts:     897000 | #Constraints:      31848
3376.98/3386.19	c #Conflicts:     898000 | #Constraints:      32848
3376.98/3386.19	c #Conflicts:     899000 | #Constraints:      33848
3376.98/3386.19	c #Conflicts:     900000 | #Constraints:      34848
3376.98/3386.19	c #Conflicts:     901000 | #Constraints:      35848
3376.98/3386.19	c #Conflicts:     902000 | #Constraints:      36848
3376.98/3386.19	c #Conflicts:     903000 | #Constraints:      37848
3376.98/3386.19	c INPROCESSING
3376.98/3386.19	c GARBAGE COLLECT
3376.98/3386.19	c #Conflicts:     904000 | #Constraints:      20043
3376.98/3386.19	c #Conflicts:     905000 | #Constraints:      21043
3376.98/3386.19	c #Conflicts:     906000 | #Constraints:      22043
3376.98/3386.19	c #Conflicts:     907000 | #Constraints:      23043
3376.98/3386.19	c #Conflicts:     908000 | #Constraints:      24043
3376.98/3386.19	c #Conflicts:     909000 | #Constraints:      25043
3376.98/3386.19	c #Conflicts:     910000 | #Constraints:      26043
3376.98/3386.19	c #Conflicts:     911000 | #Constraints:      27043
3376.98/3386.19	c #Conflicts:     912000 | #Constraints:      28043
3376.98/3386.19	c #Conflicts:     913000 | #Constraints:      29043
3376.98/3386.19	c #Conflicts:     914000 | #Constraints:      30043
3376.98/3386.19	c #Conflicts:     915000 | #Constraints:      31043
3376.98/3386.19	c #Conflicts:     916000 | #Constraints:      32043
3376.98/3386.19	c #Conflicts:     917000 | #Constraints:      33043
3376.98/3386.19	c #Conflicts:     918000 | #Constraints:      34043
3376.98/3386.19	c #Conflicts:     919000 | #Constraints:      35043
3376.98/3386.19	c #Conflicts:     920000 | #Constraints:      36043
3376.98/3386.19	c #Conflicts:     921000 | #Constraints:      37043
3376.98/3386.19	c #Conflicts:     922000 | #Constraints:      38043
3376.98/3386.19	c INPROCESSING
3376.98/3386.19	c GARBAGE COLLECT
3376.98/3386.19	c #Conflicts:     923000 | #Constraints:      20047
3376.98/3386.19	c #Conflicts:     924000 | #Constraints:      21047
3376.98/3386.19	c #Conflicts:     925000 | #Constraints:      22047
3376.98/3386.19	c #Conflicts:     926000 | #Constraints:      23047
3376.98/3386.19	c #Conflicts:     927000 | #Constraints:      24047
3376.98/3386.19	c #Conflicts:     928000 | #Constraints:      25047
3376.98/3386.19	c #Conflicts:     929000 | #Constraints:      26047
3376.98/3386.19	c #Conflicts:     930000 | #Constraints:      27047
3376.98/3386.19	c #Conflicts:     931000 | #Constraints:      28047
3376.98/3386.19	c #Conflicts:     932000 | #Constraints:      29047
3376.98/3386.19	c #Conflicts:     933000 | #Constraints:      30047
3376.98/3386.19	c #Conflicts:     934000 | #Constraints:      31047
3376.98/3386.19	c #Conflicts:     935000 | #Constraints:      32047
3376.98/3386.19	c #Conflicts:     936000 | #Constraints:      33047
3376.98/3386.19	c #Conflicts:     937000 | #Constraints:      34047
3376.98/3386.19	c #Conflicts:     938000 | #Constraints:      35047
3376.98/3386.19	c #Conflicts:     939000 | #Constraints:      36047
3376.98/3386.19	c #Conflicts:     940000 | #Constraints:      37047
3376.98/3386.19	c #Conflicts:     941000 | #Constraints:      38047
3376.98/3386.19	c INPROCESSING
3376.98/3386.19	c GARBAGE COLLECT
3376.98/3386.19	c #Conflicts:     942000 | #Constraints:      19853
3376.98/3386.19	c #Conflicts:     943000 | #Constraints:      20853
3376.98/3386.19	c #Conflicts:     944000 | #Constraints:      21853
3376.98/3386.19	c #Conflicts:     945000 | #Constraints:      22853
3376.98/3386.19	c #Conflicts:     946000 | #Constraints:      23853
3376.98/3386.19	c #Conflicts:     947000 | #Constraints:      24853
3376.98/3386.19	c #Conflicts:     948000 | #Constraints:      25853
3376.98/3386.19	c #Conflicts:     949000 | #Constraints:      26853
3376.98/3386.19	c #Conflicts:     950000 | #Constraints:      27853
3376.98/3386.19	c #Conflicts:     951000 | #Constraints:      28853
3376.98/3386.19	c #Conflicts:     952000 | #Constraints:      29853
3376.98/3386.19	c #Conflicts:     953000 | #Constraints:      30853
3376.98/3386.19	c #Conflicts:     954000 | #Constraints:      31853
3376.98/3386.19	c #Conflicts:     955000 | #Constraints:      32853
3376.98/3386.19	c #Conflicts:     956000 | #Constraints:      33853
3376.98/3386.19	c #Conflicts:     957000 | #Constraints:      34853
3376.98/3386.19	c #Conflicts:     958000 | #Constraints:      35853
3376.98/3386.19	c #Conflicts:     959000 | #Constraints:      36853
3376.98/3386.19	c #Conflicts:     960000 | #Constraints:      37853
3376.98/3386.19	c #Conflicts:     961000 | #Constraints:      38853
3376.98/3386.19	c INPROCESSING
3376.98/3386.19	c GARBAGE COLLECT
3376.98/3386.19	c #Conflicts:     962000 | #Constraints:      20449
3376.98/3386.19	c #Conflicts:     963000 | #Constraints:      21449
3376.98/3386.19	c #Conflicts:     964000 | #Constraints:      22449
3376.98/3386.19	c #Conflicts:     965000 | #Constraints:      23449
3376.98/3386.19	c #Conflicts:     966000 | #Constraints:      24449
3600.09/3609.80	c #Conflicts:     967000 | #Constraints:      25449
3600.09/3609.80	c #Conflicts:     968000 | #Constraints:      26449
3600.09/3609.80	c #Conflicts:     969000 | #Constraints:      27449
3600.09/3609.80	c #Conflicts:     970000 | #Constraints:      28449
3600.09/3609.80	c #Conflicts:     971000 | #Constraints:      29449
3600.09/3609.80	c #Conflicts:     972000 | #Constraints:      30449
3600.09/3609.80	c #Conflicts:     973000 | #Constraints:      31449
3600.09/3609.80	c #Conflicts:     974000 | #Constraints:      32449
3600.09/3609.80	c #Conflicts:     975000 | #Constraints:      33449
3600.09/3609.80	c #Conflicts:     976000 | #Constraints:      34449
3600.09/3609.80	c #Conflicts:     977000 | #Constraints:      35449
3600.09/3609.80	c #Conflicts:     978000 | #Constraints:      36449
3600.09/3609.80	c #Conflicts:     979000 | #Constraints:      37449
3600.09/3609.80	c #Conflicts:     980000 | #Constraints:      38449
3600.09/3609.80	c #Conflicts:     981000 | #Constraints:      39449
3600.09/3609.80	c INPROCESSING
3600.09/3609.80	c GARBAGE COLLECT
3600.09/3609.80	c #Conflicts:     982000 | #Constraints:      20847
3600.09/3609.80	c #Conflicts:     983000 | #Constraints:      21847
3600.09/3609.80	c #Conflicts:     984000 | #Constraints:      22847
3600.09/3609.80	c #Conflicts:     985000 | #Constraints:      23847
3600.09/3609.80	c #Conflicts:     986000 | #Constraints:      24847
3600.09/3609.80	c #Conflicts:     987000 | #Constraints:      25847
3600.09/3609.80	c #Conflicts:     988000 | #Constraints:      26847
3600.09/3609.80	c #Conflicts:     989000 | #Constraints:      27847
3600.09/3609.80	c #Conflicts:     990000 | #Constraints:      28847
3600.09/3609.80	c #Conflicts:     991000 | #Constraints:      29847
3600.09/3609.80	c #Conflicts:     992000 | #Constraints:      30847
3600.09/3609.80	c #Conflicts:     993000 | #Constraints:      31847
3600.09/3609.80	c #Conflicts:     994000 | #Constraints:      32847
3600.09/3609.80	c #Conflicts:     995000 | #Constraints:      33847
3600.09/3609.80	c #Conflicts:     996000 | #Constraints:      34847
3600.09/3609.80	c #Conflicts:     997000 | #Constraints:      35847
3600.09/3609.80	c #Conflicts:     998000 | #Constraints:      36847
3600.09/3609.80	c #Conflicts:     999000 | #Constraints:      37847
3600.09/3609.80	c Program interrupted by user.
3600.09/3609.80	c cpu time 3593.06 s
3600.09/3609.80	c deterministic time 399204436865 3.99e+11
3600.09/3609.80	c optimization time 118.216 s
3600.09/3609.80	c total solve time 3474.84 s
3600.09/3609.80	c core-guided solve time 3474.84 s
3600.09/3609.80	c propagation time 3117.74 s
3600.09/3609.80	c conflict analysis time 456.426 s
3600.09/3609.80	c propagations 58219294
3600.09/3609.80	c resolve steps 11150190
3600.09/3609.80	c decisions 4593561
3600.09/3609.80	c conflicts 999131
3600.09/3609.80	c restarts 2045
3600.09/3609.80	c inprocessing phases 90
3600.09/3609.80	c input clauses 26
3600.09/3609.80	c input cardinalities 176
3600.09/3609.80	c input general constraints 20
3600.09/3609.80	c input average constraint length 22.41
3600.09/3609.80	c input average constraint degree 9.23
3600.09/3609.80	c learned clauses 150573
3600.09/3609.80	c learned cardinalities 144
3600.09/3609.80	c learned general constraints 848414
3600.09/3609.80	c learned average constraint length 118.19
3600.09/3609.80	c learned average constraint degree 843691.02
3600.09/3609.80	c watched constraints 747908
3600.09/3609.80	c counting constraints 100526
3600.09/3609.80	c gcd simplifications 16387
3600.09/3609.80	c detected cardinalities 1
3600.09/3609.80	c weakened non-implied lits 17197600
3600.09/3609.80	c weakened non-implying lits 34908
3600.09/3609.80	c original variables 196
3600.09/3609.80	c clausal propagations 1408597
3600.09/3609.80	c cardinality propagations 8417098
3600.09/3609.80	c watched propagations 5802106
3600.09/3609.80	c counting propagations 42245676
3600.09/3609.80	c watch lookups 61772871581
3600.09/3609.80	c watch backjump lookups 57749659631
3600.09/3609.80	c watch checks 148329806368
3600.09/3609.80	c propagation checks 130364653035
3600.09/3609.80	c constraint additions 860821629
3600.09/3609.80	c trail pops 63811765
3600.09/3609.80	c formula constraints 154
3600.09/3609.80	c learned constraints 999131
3600.09/3609.80	c bound constraints 17
3600.09/3609.80	c core-guided constraints 51
3600.09/3609.80	c encountered formula constraints 2068068
3600.09/3609.80	c encountered learned constraints 9672848
3600.09/3609.80	c encountered bound constraints 8628
3600.09/3609.80	c encountered core-guided constraints 399777
3600.09/3609.80	c LP total time 0 s
3600.09/3609.80	c LP solve time 0 s
3600.09/3609.80	c LP constraints added 0
3600.09/3609.80	c LP constraints removed 0
3600.09/3609.80	c LP pivots internal 0
3600.09/3609.80	c LP pivots root 0
3600.09/3609.80	c LP calls 0
3600.09/3609.80	c LP optimalities 0
3600.09/3609.80	c LP no pivot count 0
3600.09/3609.80	c LP infeasibilities 0
3600.09/3609.80	c LP valid Farkas constraints 0
3600.09/3609.80	c LP learned Farkas constraints 0
3600.09/3609.80	c LP basis resets 0
3600.09/3609.80	c LP cycling count 0
3600.09/3609.80	c LP singular count 0
3600.09/3609.80	c LP no primal count 0
3600.09/3609.80	c LP no farkas count 0
3600.09/3609.80	c LP other issue count 0
3600.09/3609.80	c LP Gomory cuts 0
3600.09/3609.80	c LP learned cuts 0
3600.09/3609.80	c LP deleted cuts 0
3600.09/3609.80	c LP encountered Gomory constraints 0
3600.09/3609.80	c LP encountered Farkas constraints 0
3600.09/3609.80	c LP encountered learned Farkas constraints 0
3600.09/3609.80	c CG auxiliary variables introduced 25
3600.09/3609.80	c CG solutions found 1
3600.09/3609.80	c CG cores constructed 16
3600.09/3609.80	c CG core cardinality constraints returned 12
3600.09/3609.80	c CG unit cores 0
3600.09/3609.80	c CG single cores 16
3600.09/3609.80	c CG blocks removed during cardinality reduction 0
3600.09/3609.80	c CG first core best 0
3600.09/3609.80	c CG decision core best 0
3600.09/3609.80	c CG core reduction tie 0
3600.09/3609.80	c CG core degree average 3.88
3600.09/3609.80	c CG core slack average 5.81
3600.09/3609.80	c CG exhausted 0
3600.09/3609.80	c CG exhaust time 1.85964 s
3600.09/3609.80	c CG trimmed 0
3600.09/3609.80	c CG trim time 0.000176 s
3600.09/3609.80	c CG minimized 0
3600.09/3609.80	c CG minimize time 0 s
3600.09/3609.80	c CG am1 prop time 0.000533 s
3600.09/3609.80	c CG # am1s reformulated 5
3600.09/3609.80	c CG lower bound derived from am1s 20
3600.09/3609.80	c CG # clausal cores 4
3600.09/3609.80	c CG # cardinality cores 12
3600.09/3609.80	c CG # pb cores 0
3600.09/3609.80	c CG # pb reforms 0
3600.09/3609.80	c CG # cores discarded because of pb reform 0
3600.09/3609.80	d LOWERBOUND 93
3600.09/3609.80	d NCORES 16
3600.09/3609.80	d NPBCORES 0
3600.09/3609.80	d NPBREFORM 0
3600.09/3609.80	d NTRIMMED 0
3600.09/3609.80	d NEXHAUSTED 0
3600.09/3609.80	d NAM1S 5
3600.09/3609.80	d AM1LB 20
3600.09/3609.80	o 96
3600.09/3609.80	s SATISFIABLE
3600.09/3609.80	v -x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 x15 x16 x17 -x18 x19 x20 -x21 x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30 x31 -x32 x33 x34 x35 -x36 x37 x38 -x39 -x40 x41 -x42 x43 x44 x45 x46 x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 x72 -x73 -x74 x75 x76 x77 -x78 -x79 -x80 x81 -x82 x83 -x84 -x85 x86 x87 -x88 x89 -x90 x91 x92 x93 -x94 -x95 -x96 x97 x98 x99 -x100 x101 x102 x103 -x104 -x105 x106 x107 -x108 x109 x110 -x111 x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 x121 x122 -x123 x124 -x125 -x126 x127 -x128 x129 x130 x131 x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 x141 x142 x143 -x144 -x145 -x146 x147 x148 -x149 -x150 -x151 -x152 x153 -x154 x155 -x156 -x157 x158 -x159 -x160 -x161 x162 x163 -x164 x165 x166 -x167 x168 -x169 -x170 x171 x172 -x173 x174 -x175 x176 -x177 -x178 x179 -x180 x181 -x182 x183 -x184 -x185 x186 x187 -x188 -x189 x190 -x191 x192 x193 x194 -x195 x196

OK	96

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508270-1751509453/watcher-4508270-1751509453 -o /tmp/evaluation-result-4508270-1751509453/solver-4508270-1751509453 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751505842-85266 --watchdog 3760 pb-oll-rs HOME/instance-4508270-1751509453.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100057 s]*
/proc/loadavg: 4.11 4.09 4.02 4/262 85672
/proc/meminfo: memFree=129652220/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=20748 memory=7296 CPUtime=0.09 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 668 0 0 0 9 0 0 0 20 0 1 0 66622849 21245952 1824 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 5187 1824 1344 243 0 1436 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20748 KiB
Current children cumulated memory: 7296 KiB

[startup+0.20447 s]*
/proc/loadavg: 4.11 4.09 4.02 5/265 85676
/proc/meminfo: memFree=129652524/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=21104 memory=7936 CPUtime=0.2 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 834 0 0 0 19 1 0 0 20 0 1 0 66622849 21610496 1984 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 5276 1984 1344 243 0 1525 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21104 KiB
Current children cumulated memory: 7936 KiB

[startup+0.304658 s]*
/proc/loadavg: 4.11 4.09 4.02 4/264 85676
/proc/meminfo: memFree=129652524/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=21376 memory=10320 CPUtime=0.29 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 910 0 0 0 28 1 0 0 20 0 1 0 66622849 21889024 2580 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 5344 2580 1344 243 0 1593 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 21376 KiB
Current children cumulated memory: 10320 KiB

[startup+0.700109 s]
/proc/loadavg: 4.11 4.09 4.02 4/264 85691
/proc/meminfo: memFree=129651340/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=22060 memory=10960 CPUtime=0.68 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 1086 0 0 0 66 2 0 0 20 0 1 0 66622849 22589440 2740 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 5515 2740 1344 243 0 1764 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 22060 KiB
Current children cumulated memory: 10960 KiB

[startup+1.50011 s]
/proc/loadavg: 4.11 4.09 4.02 5/264 85711
/proc/meminfo: memFree=129651596/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=22900 memory=11600 CPUtime=1.48 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 1253 0 0 0 144 4 0 0 20 0 1 0 66622849 23449600 2900 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 5725 2900 1344 243 0 1974 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22900 KiB
Current children cumulated memory: 11600 KiB

[startup+3.10487 s]
/proc/loadavg: 4.11 4.09 4.02 4/262 85760
/proc/meminfo: memFree=129649156/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=23964 memory=12752 CPUtime=3.08 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 1536 0 0 0 300 8 0 0 20 0 1 0 66622849 24539136 3188 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 5991 3188 1344 243 0 2240 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 23964 KiB
Current children cumulated memory: 12752 KiB

[startup+6.3001 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 85842
/proc/meminfo: memFree=129648220/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=25180 memory=14800 CPUtime=6.26 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 2036 0 0 0 615 11 0 0 20 0 1 0 66622849 25784320 3700 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 6295 3700 1344 243 0 2544 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 25180 KiB
Current children cumulated memory: 14800 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.08 4.01 5/266 85842
/proc/meminfo: memFree=129637128/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=28924 memory=16848 CPUtime=12.65 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 2569 0 0 0 1246 19 0 0 20 0 1 0 66622849 29618176 4212 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 7231 4212 1344 243 0 3480 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 28924 KiB
Current children cumulated memory: 16848 KiB

[startup+25.5001 s]
/proc/loadavg: 4.07 4.08 4.01 5/266 85842
/proc/meminfo: memFree=129624028/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=30720 memory=20048 CPUtime=25.42 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 3348 0 0 0 2513 29 0 0 20 0 1 0 66622849 31457280 5012 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 7680 5012 1344 243 0 3929 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 30720 KiB
Current children cumulated memory: 20048 KiB

[startup+51.1052 s]
/proc/loadavg: 4.11 4.09 4.02 5/266 85843
/proc/meminfo: memFree=129614704/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=37172 memory=24376 CPUtime=50.96 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 3927 0 0 0 5048 48 0 0 20 0 1 0 66622849 38064128 6094 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 9293 6094 1344 243 0 5542 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 37172 KiB
Current children cumulated memory: 24376 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 85846
/proc/meminfo: memFree=129561016/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=40280 memory=28216 CPUtime=102.02 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 4889 0 0 0 10122 80 0 0 20 0 1 0 66622849 41246720 7054 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 10070 7054 1344 243 0 6319 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 40280 KiB
Current children cumulated memory: 28216 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/265 85851
/proc/meminfo: memFree=129533876/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=49344 memory=32864 CPUtime=161.86 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 5387 0 0 0 16079 107 0 0 20 0 1 0 66622849 50528256 8216 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 12336 8216 1344 243 0 8585 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 49344 KiB
Current children cumulated memory: 32864 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/265 85853
/proc/meminfo: memFree=129531460/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=50768 memory=36060 CPUtime=221.71 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 5698 0 0 0 22042 129 0 0 20 0 1 0 66622849 51986432 9015 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 12692 9015 1344 243 0 8941 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 50768 KiB
Current children cumulated memory: 36060 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/265 85855
/proc/meminfo: memFree=129544008/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=52724 memory=39668 CPUtime=281.56 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 6115 0 0 0 28008 148 0 0 20 0 1 0 66622849 53989376 9917 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 13181 9917 1344 243 0 9430 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 52724 KiB
Current children cumulated memory: 39668 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/266 85858
/proc/meminfo: memFree=129522884/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=53768 memory=42100 CPUtime=341.4 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 6415 0 0 0 33975 165 0 0 20 0 1 0 66622849 55058432 10525 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 13442 10525 1344 243 0 9691 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 53768 KiB
Current children cumulated memory: 42100 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/265 85861
/proc/meminfo: memFree=129514600/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=54576 memory=42612 CPUtime=401.24 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 6587 0 0 0 39938 186 0 0 20 0 1 0 66622849 55885824 10653 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 13644 10653 1344 243 0 9893 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 54576 KiB
Current children cumulated memory: 42612 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/265 85863
/proc/meminfo: memFree=129510676/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=55348 memory=43764 CPUtime=461.09 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 6915 0 0 0 45909 200 0 0 20 0 1 0 66622849 56676352 10941 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 13837 10941 1344 243 0 10086 0

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

Current children cumulated memory: 73200 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 85997
/proc/meminfo: memFree=129330680/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=102160 memory=73200 CPUtime=2854.52 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 11559 0 0 0 284837 615 0 0 20 0 1 0 66622849 104611840 18300 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25540 18300 1344 243 0 21789 0
Current children cumulated CPU time: 2854.52 s
Current children cumulated vsize: 102160 KiB
Current children cumulated memory: 73200 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 85999
/proc/meminfo: memFree=129331816/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=102160 memory=73156 CPUtime=2914.36 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 11616 0 0 0 290814 622 0 0 20 0 1 0 66622849 104611840 18289 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25540 18289 1344 243 0 21789 0
Current children cumulated CPU time: 2914.36 s
Current children cumulated vsize: 102160 KiB
Current children cumulated memory: 73156 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 86005
/proc/meminfo: memFree=129349744/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=102160 memory=73156 CPUtime=2974.21 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 11616 0 0 0 296793 628 0 0 20 0 1 0 66622849 104611840 18289 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25540 18289 1344 243 0 21789 0
Current children cumulated CPU time: 2974.21 s
Current children cumulated vsize: 102160 KiB
Current children cumulated memory: 73156 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 86006
/proc/meminfo: memFree=129349336/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=102936 memory=73668 CPUtime=3034.06 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 11801 0 0 0 302770 636 0 0 20 0 1 0 66622849 105406464 18417 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25734 18417 1344 243 0 21983 0
Current children cumulated CPU time: 3034.06 s
Current children cumulated vsize: 102936 KiB
Current children cumulated memory: 73668 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 86009
/proc/meminfo: memFree=129341304/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=102936 memory=73668 CPUtime=3093.9 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 11802 0 0 0 308748 642 0 0 20 0 1 0 66622849 105406464 18417 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25734 18417 1344 243 0 21983 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 102936 KiB
Current children cumulated memory: 73668 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 86014
/proc/meminfo: memFree=129341916/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=103356 memory=74692 CPUtime=3153.75 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 11863 0 0 0 314724 651 0 0 20 0 1 0 66622849 105836544 18673 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25839 18673 1344 243 0 22088 0
Current children cumulated CPU time: 3153.75 s
Current children cumulated vsize: 103356 KiB
Current children cumulated memory: 74692 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 86016
/proc/meminfo: memFree=129340244/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=103356 memory=74692 CPUtime=3213.6 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 11863 0 0 0 320702 658 0 0 20 0 1 0 66622849 105836544 18673 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25839 18673 1344 243 0 22088 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 103356 KiB
Current children cumulated memory: 74692 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 86018
/proc/meminfo: memFree=129327760/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=103452 memory=76908 CPUtime=3273.44 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 11943 0 0 0 326679 665 0 0 20 0 1 0 66622849 105934848 19227 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25863 19227 1344 243 0 22112 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 103452 KiB
Current children cumulated memory: 76908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 86020
/proc/meminfo: memFree=129319616/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=103452 memory=76908 CPUtime=3333.29 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 11946 0 0 0 332657 672 0 0 20 0 1 0 66622849 105934848 19227 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25863 19227 1344 243 0 22112 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 103452 KiB
Current children cumulated memory: 76908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 86022
/proc/meminfo: memFree=129319036/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=103580 memory=77036 CPUtime=3393.12 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 12033 0 0 0 338633 679 0 0 20 0 1 0 66622849 106065920 19259 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25895 19259 1344 243 0 22144 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 103580 KiB
Current children cumulated memory: 77036 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.16 4.11 5/263 86025
/proc/meminfo: memFree=129316128/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=103708 memory=77036 CPUtime=3452.97 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 12068 0 0 0 344612 685 0 0 20 0 1 0 66622849 106196992 19259 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25927 19259 1344 243 0 22176 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 103708 KiB
Current children cumulated memory: 77036 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.17 4.12 5/263 86027
/proc/meminfo: memFree=129314984/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=103964 memory=77164 CPUtime=3512.82 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 12166 0 0 0 350588 694 0 0 20 0 1 0 66622849 106459136 19291 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25991 19291 1344 243 0 22240 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 103964 KiB
Current children cumulated memory: 77164 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/264 86034
/proc/meminfo: memFree=129314588/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=103964 memory=77164 CPUtime=3572.66 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 12166 0 0 0 356565 701 0 0 20 0 1 0 66622849 106459136 19291 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 25991 19291 1344 243 0 22240 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 103964 KiB
Current children cumulated memory: 77164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.11 4.14 4.11 4/260 86043
/proc/meminfo: memFree=129388540/131250000 swapFree=33010160/33010684
[pid=85669] ppid=85666 vsize=104484 memory=77420 CPUtime=3600.09 cores=0,2
/proc/85669/stat : 85669 (pb-oll-rs) R 85666 85669 85256 0 -1 4194304 12249 0 0 0 359305 704 0 0 20 0 1 0 66622849 106991616 19355 18446744073709551615 4218880 5211445 140721519827792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 14012416 140721519835548 140721519835625 140721519835625 140721519841227 0
/proc/85669/statm: 26121 19355 1344 243 0 22370 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 104484 KiB
Current children cumulated memory: 77420 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.06 s, system=7.04835 s

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

Child status: 0

Real time (s): 3609.81
CPU time (s): 3600.11
CPU user time (s): 3593.06
CPU system time (s): 7.04835
CPU usage (%): 99.7313
Max. virtual memory (cumulated for all children) (KiB): 104484
Max. memory (cumulated for all children) (KiB): 77420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.06
system time used= 7.04835
maximum resident set size= 77676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117
involuntary context switches= 7898


# summary of solver processes directly reported to runsolver:
#   pid: 85669
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3593.06
#   total CPU system time (s): 7.04835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9851 second user time and 15.0638 second system time

The end

Begin job on nodeC016 at 2025-07-03 04:24:13
IDJOB=4508270
IDBENCH=158408
IDSOLVER=3345
FILE ID=nodeC016/4508270-1751509453
RUNJOBID= nodeC016-1751505842-85266
SLURM_JOB_ID= 9598598
Free space on /tmp= 432888 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_14x14_007.opb.metafix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508270-1751509453/watcher-4508270-1751509453 -o /tmp/evaluation-result-4508270-1751509453/solver-4508270-1751509453 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751505842-85266 --watchdog 3760  pb-oll-rs HOME/instance-4508270-1751509453.opb

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

MD5SUM BENCH= 55dad17a7c182b30d547793b054532a6
RANDOM SEED=1472053797

nodeC016 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		: 3679.731
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.48
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		: 3601.619
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129653708 kB
MemAvailable:   129711284 kB
Buffers:            2144 kB
Cached:           826392 kB
SwapCached:           28 kB
Active:           719968 kB
Inactive:         206612 kB
Active(anon):     110800 kB
Inactive(anon):     5288 kB
Active(file):     609168 kB
Inactive(file):   201324 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7656 kB
Writeback:             0 kB
AnonPages:        101176 kB
Mapped:           106624 kB
Shmem:             18044 kB
KReclaimable:     172644 kB
Slab:             264740 kB
SReclaimable:     172644 kB
SUnreclaim:        92096 kB
KernelStack:        4240 kB
PageTables:         3128 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     409488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432884 MiB
End job on nodeC016 at 2025-07-03 05:24:23