0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.04/0.13 c #variables 10272 #constraints 706
0.04/0.13 c objective is ce32
0.04/0.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.04/0.14 c initial counting CF 32, 64, 128, Arb: 67 , 0 , 0 , 0
0.04/0.14 c GLOBAL bounds - >= 0 @ 0.056164
0.04/0.17 c GLOBAL bounds - >= 0 @ 0.063501
0.04/0.20 c GLOBAL bounds - >= 27 @ 0.075948
3.71/3.87 c #Conflicts: 1000 | #Constraints: 1707
3.71/3.87 c #Conflicts: 2000 | #Constraints: 2709
3.71/3.87 c INPROCESSING
3.71/3.87 c GARBAGE COLLECT
3.71/3.87 c rational objective 27
8.69/8.85 c #Conflicts: 3000 | #Constraints: 2737
8.69/8.85 c #Conflicts: 4000 | #Constraints: 3757
8.69/8.85 c INPROCESSING
8.69/8.85 c GARBAGE COLLECT
8.69/8.85 c rational objective 27
14.38/14.52 c #Conflicts: 5000 | #Constraints: 3162
14.38/14.52 c #Conflicts: 6000 | #Constraints: 4172
14.38/14.52 c INPROCESSING
14.38/14.52 c GARBAGE COLLECT
14.38/14.52 c rational objective 27
19.87/20.05 c #Conflicts: 7000 | #Constraints: 3155
19.87/20.05 c #Conflicts: 8000 | #Constraints: 4155
19.87/20.05 c #Conflicts: 9000 | #Constraints: 5155
19.87/20.05 c INPROCESSING
19.87/20.05 c GARBAGE COLLECT
19.87/20.05 c rational objective 27
25.65/25.86 c #Conflicts: 10000 | #Constraints: 3850
25.65/25.86 c #Conflicts: 11000 | #Constraints: 4853
25.65/25.86 c #Conflicts: 12000 | #Constraints: 5859
25.65/25.86 c INPROCESSING
25.65/25.86 c GARBAGE COLLECT
25.65/25.86 c rational objective 27
36.22/36.43 c #Conflicts: 13000 | #Constraints: 4323
36.22/36.43 c #Conflicts: 14000 | #Constraints: 5327
36.22/36.43 c #Conflicts: 15000 | #Constraints: 6330
36.22/36.43 c INPROCESSING
36.22/36.43 c GARBAGE COLLECT
36.22/36.43 c rational objective 27
42.70/43.01 c #Conflicts: 16000 | #Constraints: 4555
42.70/43.01 c #Conflicts: 17000 | #Constraints: 5577
42.70/43.01 c #Conflicts: 18000 | #Constraints: 6586
42.70/43.01 c INPROCESSING
42.70/43.01 c GARBAGE COLLECT
42.70/43.01 c rational objective 27
50.57/50.84 c #Conflicts: 19000 | #Constraints: 4660
50.57/50.84 c #Conflicts: 20000 | #Constraints: 5804
50.57/50.84 c #Conflicts: 21000 | #Constraints: 6804
50.57/50.84 c INPROCESSING
50.57/50.84 c GARBAGE COLLECT
50.57/50.84 c rational objective 27
57.26/57.55 c #Conflicts: 22000 | #Constraints: 4478
57.26/57.55 c #Conflicts: 23000 | #Constraints: 5478
57.26/57.55 c #Conflicts: 24000 | #Constraints: 6478
57.26/57.55 c #Conflicts: 25000 | #Constraints: 7484
57.26/57.55 c INPROCESSING
57.26/57.55 c GARBAGE COLLECT
57.26/57.55 c rational objective 27
65.03/65.36 c #Conflicts: 26000 | #Constraints: 5032
65.03/65.36 c #Conflicts: 27000 | #Constraints: 6046
65.03/65.36 c #Conflicts: 28000 | #Constraints: 7053
65.03/65.36 c #Conflicts: 29000 | #Constraints: 8054
65.03/65.36 c INPROCESSING
65.03/65.36 c GARBAGE COLLECT
65.03/65.36 c rational objective 27
74.90/75.24 c #Conflicts: 30000 | #Constraints: 5405
74.90/75.24 c #Conflicts: 31000 | #Constraints: 6419
74.90/75.24 c #Conflicts: 32000 | #Constraints: 7422
74.90/75.24 c #Conflicts: 33000 | #Constraints: 8428
74.90/75.24 c INPROCESSING
74.90/75.24 c GARBAGE COLLECT
74.90/75.24 c rational objective 27
84.68/85.07 c #Conflicts: 34000 | #Constraints: 5639
84.68/85.07 c #Conflicts: 35000 | #Constraints: 6645
84.68/85.07 c #Conflicts: 36000 | #Constraints: 7647
84.68/85.07 c #Conflicts: 37000 | #Constraints: 8648
84.68/85.07 c INPROCESSING
84.68/85.07 c GARBAGE COLLECT
84.68/85.07 c rational objective 27
96.33/96.77 c #Conflicts: 38000 | #Constraints: 6093
96.33/96.77 c #Conflicts: 39000 | #Constraints: 7606
96.33/96.77 c #Conflicts: 40000 | #Constraints: 9096
96.33/96.77 c #Conflicts: 41000 | #Constraints: 10606
96.33/96.77 c INPROCESSING
96.33/96.77 c GARBAGE COLLECT
96.33/96.77 c rational objective 27
106.50/106.98 c #Conflicts: 42000 | #Constraints: 6526
106.50/106.98 c #Conflicts: 43000 | #Constraints: 7527
106.50/106.98 c #Conflicts: 44000 | #Constraints: 8527
106.50/106.98 c #Conflicts: 45000 | #Constraints: 9529
106.50/106.98 c #Conflicts: 46000 | #Constraints: 10529
106.50/106.98 c INPROCESSING
106.50/106.98 c GARBAGE COLLECT
106.50/106.98 c rational objective 27
113.29/113.70 c #Conflicts: 47000 | #Constraints: 6536
113.29/113.70 c #Conflicts: 48000 | #Constraints: 7536
113.29/113.70 c #Conflicts: 49000 | #Constraints: 8536
113.29/113.70 c #Conflicts: 50000 | #Constraints: 9536
113.29/113.70 c #Conflicts: 51000 | #Constraints: 10536
113.29/113.70 c INPROCESSING
113.29/113.70 c GARBAGE COLLECT
113.29/113.70 c rational objective 27
121.58/122.07 c #Conflicts: 52000 | #Constraints: 6640
121.58/122.07 c #Conflicts: 53000 | #Constraints: 7766
121.58/122.07 c #Conflicts: 54000 | #Constraints: 8812
121.58/122.07 c #Conflicts: 55000 | #Constraints: 10278
121.58/122.07 c #Conflicts: 56000 | #Constraints: 11969
121.58/122.07 c INPROCESSING
121.58/122.07 c GARBAGE COLLECT
121.58/122.07 c rational objective 27
130.73/131.23 c #Conflicts: 57000 | #Constraints: 7349
130.73/131.23 c #Conflicts: 58000 | #Constraints: 8349
130.73/131.23 c #Conflicts: 59000 | #Constraints: 9349
130.73/131.23 c #Conflicts: 60000 | #Constraints: 10349
130.73/131.23 c #Conflicts: 61000 | #Constraints: 11349
130.73/131.23 c INPROCESSING
130.73/131.23 c GARBAGE COLLECT
130.73/131.23 c rational objective 27
156.86/157.42 c #Conflicts: 62000 | #Constraints: 6953
156.86/157.42 c #Conflicts: 63000 | #Constraints: 7953
156.86/157.42 c #Conflicts: 64000 | #Constraints: 8954
156.86/157.42 c #Conflicts: 65000 | #Constraints: 10198
156.86/157.42 c #Conflicts: 66000 | #Constraints: 11403
156.86/157.42 c INPROCESSING
156.86/157.42 c GARBAGE COLLECT
156.86/157.42 c #Conflicts: 67000 | #Constraints: 6888
156.86/157.42 c #Conflicts: 68000 | #Constraints: 7888
156.86/157.42 c #Conflicts: 69000 | #Constraints: 8888
156.86/157.42 c #Conflicts: 70000 | #Constraints: 9888
156.86/157.42 c #Conflicts: 71000 | #Constraints: 10888
156.86/157.42 c #Conflicts: 72000 | #Constraints: 11888
156.86/157.42 c INPROCESSING
156.86/157.42 c GARBAGE COLLECT
156.86/157.42 c #Conflicts: 73000 | #Constraints: 7211
156.86/157.42 c #Conflicts: 74000 | #Constraints: 8211
156.86/157.42 c #Conflicts: 75000 | #Constraints: 9211
156.86/157.42 c #Conflicts: 76000 | #Constraints: 10211
156.86/157.42 c #Conflicts: 77000 | #Constraints: 11211
156.86/157.42 c #Conflicts: 78000 | #Constraints: 12211
156.86/157.42 c INPROCESSING
156.86/157.42 c GARBAGE COLLECT
156.86/157.42 c rational objective 27
166.83/167.43 c #Conflicts: 79000 | #Constraints: 7491
166.83/167.43 c #Conflicts: 80000 | #Constraints: 8493
166.83/167.43 c #Conflicts: 81000 | #Constraints: 9499
166.83/167.43 c #Conflicts: 82000 | #Constraints: 10501
166.83/167.43 c #Conflicts: 83000 | #Constraints: 11502
166.83/167.43 c #Conflicts: 84000 | #Constraints: 12505
166.83/167.43 c INPROCESSING
166.83/167.43 c GARBAGE COLLECT
166.83/167.43 c rational objective 27
200.34/201.10 c #Conflicts: 85000 | #Constraints: 7647
200.34/201.10 c #Conflicts: 86000 | #Constraints: 8655
200.34/201.10 c #Conflicts: 87000 | #Constraints: 9656
200.34/201.10 c #Conflicts: 88000 | #Constraints: 10662
200.34/201.10 c #Conflicts: 89000 | #Constraints: 11662
200.34/201.10 c #Conflicts: 90000 | #Constraints: 12665
200.34/201.10 c INPROCESSING
200.34/201.10 c GARBAGE COLLECT
200.34/201.10 c rational objective 27
216.08/216.90 c #Conflicts: 91000 | #Constraints: 7613
216.08/216.90 c #Conflicts: 92000 | #Constraints: 8613
216.08/216.90 c #Conflicts: 93000 | #Constraints: 9613
216.08/216.90 c #Conflicts: 94000 | #Constraints: 10613
216.08/216.90 c #Conflicts: 95000 | #Constraints: 11613
216.08/216.90 c #Conflicts: 96000 | #Constraints: 12613
216.08/216.90 c INPROCESSING
216.08/216.90 c GARBAGE COLLECT
216.08/216.90 c rational objective 27
238.91/239.72 c #Conflicts: 97000 | #Constraints: 7397
238.91/239.72 c #Conflicts: 98000 | #Constraints: 8436
238.91/239.72 c #Conflicts: 99000 | #Constraints: 9474
238.91/239.72 c #Conflicts: 100000 | #Constraints: 10475
238.91/239.72 c #Conflicts: 101000 | #Constraints: 11479
238.91/239.72 c #Conflicts: 102000 | #Constraints: 12479
238.91/239.72 c #Conflicts: 103000 | #Constraints: 13488
238.91/239.72 c INPROCESSING
238.91/239.72 c GARBAGE COLLECT
238.91/239.72 c rational objective 27
253.46/254.35 c #Conflicts: 104000 | #Constraints: 8021
253.46/254.35 c #Conflicts: 105000 | #Constraints: 9024
253.46/254.35 c #Conflicts: 106000 | #Constraints: 10042
253.46/254.35 c #Conflicts: 107000 | #Constraints: 11068
253.46/254.35 c #Conflicts: 108000 | #Constraints: 12084
253.46/254.35 c #Conflicts: 109000 | #Constraints: 13095
253.46/254.35 c #Conflicts: 110000 | #Constraints: 14109
253.46/254.35 c INPROCESSING
253.46/254.35 c GARBAGE COLLECT
253.46/254.35 c rational objective 27
269.02/269.98 c #Conflicts: 111000 | #Constraints: 8428
269.02/269.98 c #Conflicts: 112000 | #Constraints: 9429
269.02/269.98 c #Conflicts: 113000 | #Constraints: 10429
269.02/269.98 c #Conflicts: 114000 | #Constraints: 11430
269.02/269.98 c #Conflicts: 115000 | #Constraints: 12431
269.02/269.98 c #Conflicts: 116000 | #Constraints: 13431
269.02/269.98 c #Conflicts: 117000 | #Constraints: 14431
269.02/269.98 c INPROCESSING
269.02/269.98 c GARBAGE COLLECT
269.02/269.98 c rational objective 27
290.46/291.43 c #Conflicts: 118000 | #Constraints: 8584
290.46/291.43 c #Conflicts: 119000 | #Constraints: 9584
290.46/291.43 c #Conflicts: 120000 | #Constraints: 10584
290.46/291.43 c #Conflicts: 121000 | #Constraints: 11584
290.46/291.43 c #Conflicts: 122000 | #Constraints: 12584
290.46/291.43 c #Conflicts: 123000 | #Constraints: 13584
290.46/291.43 c #Conflicts: 124000 | #Constraints: 14584
290.46/291.43 c INPROCESSING
290.46/291.43 c GARBAGE COLLECT
290.46/291.43 c rational objective 27
321.67/322.75 c #Conflicts: 125000 | #Constraints: 8570
321.67/322.75 c #Conflicts: 126000 | #Constraints: 9570
321.67/322.75 c #Conflicts: 127000 | #Constraints: 10573
321.67/322.75 c #Conflicts: 128000 | #Constraints: 11606
321.67/322.75 c #Conflicts: 129000 | #Constraints: 12606
321.67/322.75 c #Conflicts: 130000 | #Constraints: 13606
321.67/322.75 c #Conflicts: 131000 | #Constraints: 14606
321.67/322.75 c INPROCESSING
321.67/322.75 c GARBAGE COLLECT
321.67/322.75 c rational objective 27
359.87/361.08 c #Conflicts: 132000 | #Constraints: 8372
359.87/361.08 c #Conflicts: 133000 | #Constraints: 9372
359.87/361.08 c #Conflicts: 134000 | #Constraints: 10483
359.87/361.08 c #Conflicts: 135000 | #Constraints: 11484
359.87/361.08 c #Conflicts: 136000 | #Constraints: 12501
359.87/361.08 c #Conflicts: 137000 | #Constraints: 13696
359.87/361.08 c #Conflicts: 138000 | #Constraints: 15069
359.87/361.08 c #Conflicts: 139000 | #Constraints: 16379
359.87/361.08 c INPROCESSING
359.87/361.08 c GARBAGE COLLECT
359.87/361.08 c #Conflicts: 140000 | #Constraints: 9518
359.87/361.08 c #Conflicts: 141000 | #Constraints: 10976
359.87/361.08 c #Conflicts: 142000 | #Constraints: 12468
359.87/361.08 c #Conflicts: 143000 | #Constraints: 13961
359.87/361.08 c #Conflicts: 144000 | #Constraints: 15453
359.87/361.08 c #Conflicts: 145000 | #Constraints: 16951
359.87/361.08 c #Conflicts: 146000 | #Constraints: 18470
359.87/361.08 c #Conflicts: 147000 | #Constraints: 19970
359.87/361.08 c INPROCESSING
359.87/361.08 c GARBAGE COLLECT
359.87/361.08 c rational objective 27
382.39/383.62 c #Conflicts: 148000 | #Constraints: 11364
382.39/383.62 c #Conflicts: 149000 | #Constraints: 12364
382.39/383.62 c #Conflicts: 150000 | #Constraints: 13364
382.39/383.62 c #Conflicts: 151000 | #Constraints: 14364
382.39/383.62 c #Conflicts: 152000 | #Constraints: 15364
382.39/383.62 c #Conflicts: 153000 | #Constraints: 16365
382.39/383.62 c #Conflicts: 154000 | #Constraints: 17366
382.39/383.62 c #Conflicts: 155000 | #Constraints: 18626
382.39/383.62 c INPROCESSING
382.39/383.62 c GARBAGE COLLECT
382.39/383.62 c #Conflicts: 156000 | #Constraints: 10687
382.39/383.62 c #Conflicts: 157000 | #Constraints: 11687
382.39/383.62 c #Conflicts: 158000 | #Constraints: 12687
382.39/383.62 c #Conflicts: 159000 | #Constraints: 13687
382.39/383.62 c #Conflicts: 160000 | #Constraints: 14687
382.39/383.62 c #Conflicts: 161000 | #Constraints: 15687
382.39/383.62 c #Conflicts: 162000 | #Constraints: 16688
382.39/383.62 c #Conflicts: 163000 | #Constraints: 17688
382.39/383.62 c INPROCESSING
382.39/383.62 c GARBAGE COLLECT
382.39/383.62 c rational objective 27
393.15/394.49 c #Conflicts: 164000 | #Constraints: 10126
393.15/394.49 c #Conflicts: 165000 | #Constraints: 11126
393.15/394.49 c #Conflicts: 166000 | #Constraints: 12126
393.15/394.49 c #Conflicts: 167000 | #Constraints: 13126
393.15/394.49 c #Conflicts: 168000 | #Constraints: 14126
393.15/394.49 c #Conflicts: 169000 | #Constraints: 15126
393.15/394.49 c #Conflicts: 170000 | #Constraints: 16126
393.15/394.49 c #Conflicts: 171000 | #Constraints: 17126
393.15/394.49 c INPROCESSING
393.15/394.49 c GARBAGE COLLECT
393.15/394.49 c rational objective 27
413.59/415.00 c #Conflicts: 172000 | #Constraints: 9647
413.59/415.00 c #Conflicts: 173000 | #Constraints: 10647
413.59/415.00 c #Conflicts: 174000 | #Constraints: 11648
413.59/415.00 c #Conflicts: 175000 | #Constraints: 12655
413.59/415.00 c #Conflicts: 176000 | #Constraints: 13661
413.59/415.00 c #Conflicts: 177000 | #Constraints: 14673
413.59/415.00 c #Conflicts: 178000 | #Constraints: 15677
413.59/415.00 c #Conflicts: 179000 | #Constraints: 16679
413.59/415.00 c #Conflicts: 180000 | #Constraints: 17686
413.59/415.00 c INPROCESSING
413.59/415.00 c GARBAGE COLLECT
413.59/415.00 c rational objective 27
454.58/456.08 c #Conflicts: 181000 | #Constraints: 10114
454.58/456.08 c #Conflicts: 182000 | #Constraints: 11127
454.58/456.08 c #Conflicts: 183000 | #Constraints: 12153
454.58/456.08 c #Conflicts: 184000 | #Constraints: 13156
454.58/456.08 c #Conflicts: 185000 | #Constraints: 14158
454.58/456.08 c #Conflicts: 186000 | #Constraints: 15167
454.58/456.08 c #Conflicts: 187000 | #Constraints: 16177
454.58/456.08 c #Conflicts: 188000 | #Constraints: 17179
454.58/456.08 c #Conflicts: 189000 | #Constraints: 18179
454.58/456.08 c INPROCESSING
454.58/456.08 c GARBAGE COLLECT
454.58/456.08 c rational objective 27
489.74/491.31 c #Conflicts: 190000 | #Constraints: 10480
489.74/491.31 c #Conflicts: 191000 | #Constraints: 11484
489.74/491.31 c #Conflicts: 192000 | #Constraints: 12485
489.74/491.31 c #Conflicts: 193000 | #Constraints: 13493
489.74/491.31 c #Conflicts: 194000 | #Constraints: 14505
489.74/491.31 c #Conflicts: 195000 | #Constraints: 15507
489.74/491.31 c #Conflicts: 196000 | #Constraints: 16514
489.74/491.31 c #Conflicts: 197000 | #Constraints: 17531
489.74/491.31 c #Conflicts: 198000 | #Constraints: 18535
489.74/491.31 c INPROCESSING
489.74/491.31 c GARBAGE COLLECT
489.74/491.31 c rational objective 27
509.57/511.27 c #Conflicts: 199000 | #Constraints: 10657
509.57/511.27 c #Conflicts: 200000 | #Constraints: 11657
509.57/511.27 c #Conflicts: 201000 | #Constraints: 12660
509.57/511.27 c #Conflicts: 202000 | #Constraints: 13660
509.57/511.27 c #Conflicts: 203000 | #Constraints: 14660
509.57/511.27 c #Conflicts: 204000 | #Constraints: 15660
509.57/511.27 c #Conflicts: 205000 | #Constraints: 16661
509.57/511.27 c #Conflicts: 206000 | #Constraints: 17664
509.57/511.27 c #Conflicts: 207000 | #Constraints: 18666
509.57/511.27 c INPROCESSING
509.57/511.27 c GARBAGE COLLECT
509.57/511.27 c rational objective 27
563.98/565.84 c #Conflicts: 208000 | #Constraints: 10610
563.98/565.84 c #Conflicts: 209000 | #Constraints: 11611
563.98/565.84 c #Conflicts: 210000 | #Constraints: 12616
563.98/565.84 c #Conflicts: 211000 | #Constraints: 13621
563.98/565.84 c #Conflicts: 212000 | #Constraints: 14631
563.98/565.84 c #Conflicts: 213000 | #Constraints: 15637
563.98/565.84 c #Conflicts: 214000 | #Constraints: 16637
563.98/565.84 c #Conflicts: 215000 | #Constraints: 17637
563.98/565.84 c #Conflicts: 216000 | #Constraints: 18637
563.98/565.84 c INPROCESSING
563.98/565.84 c GARBAGE COLLECT
563.98/565.84 c rational objective 27
611.53/613.55 c #Conflicts: 217000 | #Constraints: 10400
611.53/613.55 c #Conflicts: 218000 | #Constraints: 11417
611.53/613.55 c #Conflicts: 219000 | #Constraints: 12420
611.53/613.55 c #Conflicts: 220000 | #Constraints: 13425
611.53/613.55 c #Conflicts: 221000 | #Constraints: 14427
611.53/613.55 c #Conflicts: 222000 | #Constraints: 15431
611.53/613.55 c #Conflicts: 223000 | #Constraints: 16433
611.53/613.55 c #Conflicts: 224000 | #Constraints: 17449
611.53/613.55 c #Conflicts: 225000 | #Constraints: 18450
611.53/613.55 c #Conflicts: 226000 | #Constraints: 19451
611.53/613.55 c INPROCESSING
611.53/613.55 c GARBAGE COLLECT
611.53/613.55 c rational objective 27
644.53/646.68 c #Conflicts: 227000 | #Constraints: 11014
644.53/646.68 c #Conflicts: 228000 | #Constraints: 12017
644.53/646.68 c #Conflicts: 229000 | #Constraints: 13025
644.53/646.68 c #Conflicts: 230000 | #Constraints: 14027
644.53/646.68 c #Conflicts: 231000 | #Constraints: 15028
644.53/646.68 c #Conflicts: 232000 | #Constraints: 16062
644.53/646.68 c #Conflicts: 233000 | #Constraints: 17062
644.53/646.68 c #Conflicts: 234000 | #Constraints: 18062
644.53/646.68 c #Conflicts: 235000 | #Constraints: 19062
644.53/646.68 c #Conflicts: 236000 | #Constraints: 20062
644.53/646.68 c INPROCESSING
644.53/646.68 c GARBAGE COLLECT
644.53/646.68 c rational objective 27
668.96/671.28 c #Conflicts: 237000 | #Constraints: 11402
668.96/671.28 c #Conflicts: 238000 | #Constraints: 12402
668.96/671.28 c #Conflicts: 239000 | #Constraints: 13402
668.96/671.28 c #Conflicts: 240000 | #Constraints: 14402
668.96/671.28 c #Conflicts: 241000 | #Constraints: 15402
668.96/671.28 c #Conflicts: 242000 | #Constraints: 16402
668.96/671.28 c #Conflicts: 243000 | #Constraints: 17402
668.96/671.28 c #Conflicts: 244000 | #Constraints: 18402
668.96/671.28 c #Conflicts: 245000 | #Constraints: 19402
668.96/671.28 c #Conflicts: 246000 | #Constraints: 20406
668.96/671.28 c INPROCESSING
668.96/671.28 c GARBAGE COLLECT
668.96/671.28 c rational objective 27
693.04/695.40 c #Conflicts: 247000 | #Constraints: 11590
693.04/695.40 c #Conflicts: 248000 | #Constraints: 12591
693.04/695.40 c #Conflicts: 249000 | #Constraints: 13593
693.04/695.40 c #Conflicts: 250000 | #Constraints: 14596
693.04/695.40 c #Conflicts: 251000 | #Constraints: 15597
693.04/695.40 c #Conflicts: 252000 | #Constraints: 16611
693.04/695.40 c #Conflicts: 253000 | #Constraints: 17613
693.04/695.40 c #Conflicts: 254000 | #Constraints: 18621
693.04/695.40 c #Conflicts: 255000 | #Constraints: 19638
693.04/695.40 c #Conflicts: 256000 | #Constraints: 20647
693.04/695.40 c INPROCESSING
693.04/695.40 c GARBAGE COLLECT
693.04/695.40 c rational objective 27
728.44/730.92 c #Conflicts: 257000 | #Constraints: 11632
728.44/730.92 c #Conflicts: 258000 | #Constraints: 12652
728.44/730.92 c #Conflicts: 259000 | #Constraints: 13690
728.44/730.92 c #Conflicts: 260000 | #Constraints: 14710
728.44/730.92 c #Conflicts: 261000 | #Constraints: 15732
728.44/730.92 c #Conflicts: 262000 | #Constraints: 16763
728.44/730.92 c #Conflicts: 263000 | #Constraints: 17788
728.44/730.92 c #Conflicts: 264000 | #Constraints: 18808
728.44/730.92 c #Conflicts: 265000 | #Constraints: 19815
728.44/730.92 c #Conflicts: 266000 | #Constraints: 20824
728.44/730.92 c INPROCESSING
728.44/730.92 c GARBAGE COLLECT
728.44/730.92 c rational objective 27
765.54/768.14 c #Conflicts: 267000 | #Constraints: 11499
765.54/768.14 c #Conflicts: 268000 | #Constraints: 12499
765.54/768.14 c #Conflicts: 269000 | #Constraints: 13499
765.54/768.14 c #Conflicts: 270000 | #Constraints: 14499
765.54/768.14 c #Conflicts: 271000 | #Constraints: 15499
765.54/768.14 c #Conflicts: 272000 | #Constraints: 16499
765.54/768.14 c #Conflicts: 273000 | #Constraints: 17499
765.54/768.14 c #Conflicts: 274000 | #Constraints: 18499
765.54/768.14 c #Conflicts: 275000 | #Constraints: 19499
765.54/768.14 c #Conflicts: 276000 | #Constraints: 20499
765.54/768.14 c #Conflicts: 277000 | #Constraints: 21500
765.54/768.14 c INPROCESSING
765.54/768.14 c GARBAGE COLLECT
765.54/768.14 c rational objective 27
814.18/816.94 c #Conflicts: 278000 | #Constraints: 12025
814.18/816.94 c #Conflicts: 279000 | #Constraints: 13026
814.18/816.94 c #Conflicts: 280000 | #Constraints: 14027
814.18/816.94 c #Conflicts: 281000 | #Constraints: 15027
814.18/816.94 c #Conflicts: 282000 | #Constraints: 16027
814.18/816.94 c #Conflicts: 283000 | #Constraints: 17027
814.18/816.94 c #Conflicts: 284000 | #Constraints: 18027
814.18/816.94 c #Conflicts: 285000 | #Constraints: 19028
814.18/816.94 c #Conflicts: 286000 | #Constraints: 20032
814.18/816.94 c #Conflicts: 287000 | #Constraints: 21032
814.18/816.94 c #Conflicts: 288000 | #Constraints: 22032
814.18/816.94 c INPROCESSING
814.18/816.94 c GARBAGE COLLECT
814.18/816.94 c rational objective 27
859.05/861.90 c #Conflicts: 289000 | #Constraints: 12384
859.05/861.90 c #Conflicts: 290000 | #Constraints: 13384
859.05/861.90 c #Conflicts: 291000 | #Constraints: 14384
859.05/861.90 c #Conflicts: 292000 | #Constraints: 15384
859.05/861.90 c #Conflicts: 293000 | #Constraints: 16384
859.05/861.90 c #Conflicts: 294000 | #Constraints: 17384
859.05/861.90 c #Conflicts: 295000 | #Constraints: 18384
859.05/861.90 c #Conflicts: 296000 | #Constraints: 19384
859.05/861.90 c #Conflicts: 297000 | #Constraints: 20386
859.05/861.90 c #Conflicts: 298000 | #Constraints: 21388
859.05/861.90 c #Conflicts: 299000 | #Constraints: 22393
859.05/861.90 c INPROCESSING
859.05/861.90 c GARBAGE COLLECT
859.05/861.90 c rational objective 27
890.95/893.99 c #Conflicts: 300000 | #Constraints: 12576
890.95/893.99 c #Conflicts: 301000 | #Constraints: 13581
890.95/893.99 c #Conflicts: 302000 | #Constraints: 14589
890.95/893.99 c #Conflicts: 303000 | #Constraints: 15606
890.95/893.99 c #Conflicts: 304000 | #Constraints: 16615
890.95/893.99 c #Conflicts: 305000 | #Constraints: 17626
890.95/893.99 c #Conflicts: 306000 | #Constraints: 18645
890.95/893.99 c #Conflicts: 307000 | #Constraints: 19657
890.95/893.99 c #Conflicts: 308000 | #Constraints: 20683
890.95/893.99 c #Conflicts: 309000 | #Constraints: 21689
890.95/893.99 c #Conflicts: 310000 | #Constraints: 22693
890.95/893.99 c INPROCESSING
890.95/893.99 c GARBAGE COLLECT
890.95/893.99 c rational objective 27
930.55/933.62 c #Conflicts: 311000 | #Constraints: 12654
930.55/933.62 c #Conflicts: 312000 | #Constraints: 13718
930.55/933.62 c #Conflicts: 313000 | #Constraints: 14829
930.55/933.62 c #Conflicts: 314000 | #Constraints: 15886
930.55/933.62 c #Conflicts: 315000 | #Constraints: 16889
930.55/933.62 c #Conflicts: 316000 | #Constraints: 17889
930.55/933.62 c #Conflicts: 317000 | #Constraints: 18889
930.55/933.62 c #Conflicts: 318000 | #Constraints: 19889
930.55/933.62 c #Conflicts: 319000 | #Constraints: 20916
930.55/933.62 c #Conflicts: 320000 | #Constraints: 22121
930.55/933.62 c #Conflicts: 321000 | #Constraints: 23205
930.55/933.62 c INPROCESSING
930.55/933.62 c GARBAGE COLLECT
930.55/933.62 c rational objective 27
977.30/980.54 c #Conflicts: 322000 | #Constraints: 12672
977.30/980.54 c #Conflicts: 323000 | #Constraints: 13672
977.30/980.54 c #Conflicts: 324000 | #Constraints: 14672
977.30/980.54 c #Conflicts: 325000 | #Constraints: 15672
977.30/980.54 c #Conflicts: 326000 | #Constraints: 16672
977.30/980.54 c #Conflicts: 327000 | #Constraints: 17673
977.30/980.54 c #Conflicts: 328000 | #Constraints: 18676
977.30/980.54 c #Conflicts: 329000 | #Constraints: 19680
977.30/980.54 c #Conflicts: 330000 | #Constraints: 20687
977.30/980.54 c #Conflicts: 331000 | #Constraints: 21690
977.30/980.54 c #Conflicts: 332000 | #Constraints: 22690
977.30/980.54 c #Conflicts: 333000 | #Constraints: 23692
977.30/980.54 c INPROCESSING
977.30/980.54 c GARBAGE COLLECT
977.30/980.54 c rational objective 27
1010.91/1014.24 c #Conflicts: 334000 | #Constraints: 13127
1010.91/1014.24 c #Conflicts: 335000 | #Constraints: 14128
1010.91/1014.24 c #Conflicts: 336000 | #Constraints: 15128
1010.91/1014.24 c #Conflicts: 337000 | #Constraints: 16135
1010.91/1014.24 c #Conflicts: 338000 | #Constraints: 17139
1010.91/1014.24 c #Conflicts: 339000 | #Constraints: 18139
1010.91/1014.24 c #Conflicts: 340000 | #Constraints: 19457
1010.91/1014.24 c #Conflicts: 341000 | #Constraints: 21222
1010.91/1014.24 c #Conflicts: 342000 | #Constraints: 22750
1010.91/1014.24 c #Conflicts: 343000 | #Constraints: 23855
1010.91/1014.24 c #Conflicts: 344000 | #Constraints: 25056
1010.91/1014.24 c #Conflicts: 345000 | #Constraints: 26238
1010.91/1014.24 c INPROCESSING
1010.91/1014.24 c GARBAGE COLLECT
1010.91/1014.24 c rational objective 27
1056.86/1060.38 c #Conflicts: 346000 | #Constraints: 14500
1056.86/1060.38 c #Conflicts: 347000 | #Constraints: 15501
1056.86/1060.38 c #Conflicts: 348000 | #Constraints: 16501
1056.86/1060.38 c #Conflicts: 349000 | #Constraints: 17508
1056.86/1060.38 c #Conflicts: 350000 | #Constraints: 18520
1056.86/1060.38 c #Conflicts: 351000 | #Constraints: 19522
1056.86/1060.38 c #Conflicts: 352000 | #Constraints: 20522
1056.86/1060.38 c #Conflicts: 353000 | #Constraints: 21532
1056.86/1060.38 c #Conflicts: 354000 | #Constraints: 22546
1056.86/1060.38 c #Conflicts: 355000 | #Constraints: 23564
1056.86/1060.38 c #Conflicts: 356000 | #Constraints: 24578
1056.86/1060.38 c #Conflicts: 357000 | #Constraints: 25591
1056.86/1060.38 c INPROCESSING
1056.86/1060.38 c GARBAGE COLLECT
1056.86/1060.38 c rational objective 27
1099.55/1103.17 c #Conflicts: 358000 | #Constraints: 14200
1099.55/1103.17 c #Conflicts: 359000 | #Constraints: 15200
1099.55/1103.17 c #Conflicts: 360000 | #Constraints: 16200
1099.55/1103.17 c #Conflicts: 361000 | #Constraints: 17200
1099.55/1103.17 c #Conflicts: 362000 | #Constraints: 18200
1099.55/1103.17 c #Conflicts: 363000 | #Constraints: 19545
1099.55/1103.17 c #Conflicts: 364000 | #Constraints: 20960
1099.55/1103.17 c #Conflicts: 365000 | #Constraints: 21962
1099.55/1103.17 c #Conflicts: 366000 | #Constraints: 22987
1099.55/1103.17 c #Conflicts: 367000 | #Constraints: 23990
1099.55/1103.17 c #Conflicts: 368000 | #Constraints: 25067
1099.55/1103.17 c #Conflicts: 369000 | #Constraints: 26096
1099.55/1103.17 c INPROCESSING
1099.55/1103.17 c GARBAGE COLLECT
1099.55/1103.17 c rational objective 27
1131.84/1135.54 c #Conflicts: 370000 | #Constraints: 14330
1131.84/1135.54 c #Conflicts: 371000 | #Constraints: 15331
1131.84/1135.54 c #Conflicts: 372000 | #Constraints: 16335
1131.84/1135.54 c #Conflicts: 373000 | #Constraints: 17340
1131.84/1135.54 c #Conflicts: 374000 | #Constraints: 18342
1131.84/1135.54 c #Conflicts: 375000 | #Constraints: 19342
1131.84/1135.54 c #Conflicts: 376000 | #Constraints: 20342
1131.84/1135.54 c #Conflicts: 377000 | #Constraints: 21342
1131.84/1135.54 c #Conflicts: 378000 | #Constraints: 22342
1131.84/1135.54 c #Conflicts: 379000 | #Constraints: 23343
1131.84/1135.54 c #Conflicts: 380000 | #Constraints: 24345
1131.84/1135.54 c #Conflicts: 381000 | #Constraints: 25348
1131.84/1135.54 c INPROCESSING
1131.84/1135.54 c GARBAGE COLLECT
1131.84/1135.54 c rational objective 27
1168.83/1172.61 c #Conflicts: 382000 | #Constraints: 13754
1168.83/1172.61 c #Conflicts: 383000 | #Constraints: 14756
1168.83/1172.61 c #Conflicts: 384000 | #Constraints: 15764
1168.83/1172.61 c #Conflicts: 385000 | #Constraints: 16777
1168.83/1172.61 c #Conflicts: 386000 | #Constraints: 17797
1168.83/1172.61 c #Conflicts: 387000 | #Constraints: 18817
1168.83/1172.61 c #Conflicts: 388000 | #Constraints: 19836
1168.83/1172.61 c #Conflicts: 389000 | #Constraints: 20849
1168.83/1172.61 c #Conflicts: 390000 | #Constraints: 21860
1168.83/1172.61 c #Conflicts: 391000 | #Constraints: 22861
1168.83/1172.61 c #Conflicts: 392000 | #Constraints: 23862
1168.83/1172.61 c #Conflicts: 393000 | #Constraints: 24867
1168.83/1172.61 c #Conflicts: 394000 | #Constraints: 25891
1168.83/1172.61 c INPROCESSING
1168.83/1172.61 c GARBAGE COLLECT
1168.83/1172.61 c rational objective 27
1217.48/1221.45 c #Conflicts: 395000 | #Constraints: 14234
1217.48/1221.45 c #Conflicts: 396000 | #Constraints: 15237
1217.48/1221.45 c #Conflicts: 397000 | #Constraints: 16238
1217.48/1221.45 c #Conflicts: 398000 | #Constraints: 17264
1217.48/1221.45 c #Conflicts: 399000 | #Constraints: 18269
1217.48/1221.45 c #Conflicts: 400000 | #Constraints: 19295
1217.48/1221.45 c #Conflicts: 401000 | #Constraints: 20305
1217.48/1221.45 c #Conflicts: 402000 | #Constraints: 21321
1217.48/1221.45 c #Conflicts: 403000 | #Constraints: 22337
1217.48/1221.45 c #Conflicts: 404000 | #Constraints: 23350
1217.48/1221.45 c #Conflicts: 405000 | #Constraints: 24361
1217.48/1221.45 c #Conflicts: 406000 | #Constraints: 25386
1217.48/1221.45 c #Conflicts: 407000 | #Constraints: 26402
1217.48/1221.45 c INPROCESSING
1217.48/1221.45 c GARBAGE COLLECT
1217.48/1221.45 c rational objective 27
1263.82/1268.08 c #Conflicts: 408000 | #Constraints: 14592
1263.82/1268.08 c #Conflicts: 409000 | #Constraints: 15593
1263.82/1268.08 c #Conflicts: 410000 | #Constraints: 16594
1263.82/1268.08 c #Conflicts: 411000 | #Constraints: 17595
1263.82/1268.08 c #Conflicts: 412000 | #Constraints: 18598
1263.82/1268.08 c #Conflicts: 413000 | #Constraints: 19604
1263.82/1268.08 c #Conflicts: 414000 | #Constraints: 20613
1263.82/1268.08 c #Conflicts: 415000 | #Constraints: 21635
1263.82/1268.08 c #Conflicts: 416000 | #Constraints: 22643
1263.82/1268.08 c #Conflicts: 417000 | #Constraints: 23648
1263.82/1268.08 c #Conflicts: 418000 | #Constraints: 24653
1263.82/1268.08 c #Conflicts: 419000 | #Constraints: 25653
1263.82/1268.08 c #Conflicts: 420000 | #Constraints: 26654
1263.82/1268.08 c INPROCESSING
1263.82/1268.08 c GARBAGE COLLECT
1263.82/1268.08 c rational objective 27
1342.23/1346.92 c #Conflicts: 421000 | #Constraints: 14720
1342.23/1346.92 c #Conflicts: 422000 | #Constraints: 15728
1342.23/1346.92 c #Conflicts: 423000 | #Constraints: 16746
1342.23/1346.92 c #Conflicts: 424000 | #Constraints: 17761
1342.23/1346.92 c #Conflicts: 425000 | #Constraints: 18769
1342.23/1346.92 c #Conflicts: 426000 | #Constraints: 19771
1342.23/1346.92 c #Conflicts: 427000 | #Constraints: 20771
1342.23/1346.92 c #Conflicts: 428000 | #Constraints: 21773
1342.23/1346.92 c #Conflicts: 429000 | #Constraints: 22773
1342.23/1346.92 c #Conflicts: 430000 | #Constraints: 23775
1342.23/1346.92 c #Conflicts: 431000 | #Constraints: 24775
1342.23/1346.92 c #Conflicts: 432000 | #Constraints: 25775
1342.23/1346.92 c #Conflicts: 433000 | #Constraints: 26775
1342.23/1346.92 c INPROCESSING
1342.23/1346.92 c GARBAGE COLLECT
1342.23/1346.92 c rational objective 27
1483.61/1488.86 c #Conflicts: 434000 | #Constraints: 14699
1483.61/1488.86 c #Conflicts: 435000 | #Constraints: 15716
1483.61/1488.86 c #Conflicts: 436000 | #Constraints: 16727
1483.61/1488.86 c #Conflicts: 437000 | #Constraints: 17743
1483.61/1488.86 c #Conflicts: 438000 | #Constraints: 18750
1483.61/1488.86 c #Conflicts: 439000 | #Constraints: 19753
1483.61/1488.86 c #Conflicts: 440000 | #Constraints: 20756
1483.61/1488.86 c #Conflicts: 441000 | #Constraints: 21757
1483.61/1488.86 c #Conflicts: 442000 | #Constraints: 22758
1483.61/1488.86 c #Conflicts: 443000 | #Constraints: 23759
1483.61/1488.86 c #Conflicts: 444000 | #Constraints: 24759
1483.61/1488.86 c #Conflicts: 445000 | #Constraints: 25762
1483.61/1488.86 c #Conflicts: 446000 | #Constraints: 26764
1483.61/1488.86 c INPROCESSING
1483.61/1488.86 c GARBAGE COLLECT
1483.61/1488.86 c rational objective 27
1555.46/1561.00 c #Conflicts: 447000 | #Constraints: 14470
1555.46/1561.00 c #Conflicts: 448000 | #Constraints: 15493
1555.46/1561.00 c #Conflicts: 449000 | #Constraints: 16535
1555.46/1561.00 c #Conflicts: 450000 | #Constraints: 17551
1555.46/1561.00 c #Conflicts: 451000 | #Constraints: 18696
1555.46/1561.00 c #Conflicts: 452000 | #Constraints: 19737
1555.46/1561.00 c #Conflicts: 453000 | #Constraints: 20737
1555.46/1561.00 c #Conflicts: 454000 | #Constraints: 21737
1555.46/1561.00 c #Conflicts: 455000 | #Constraints: 22737
1555.46/1561.00 c #Conflicts: 456000 | #Constraints: 23746
1555.46/1561.00 c #Conflicts: 457000 | #Constraints: 24758
1555.46/1561.00 c #Conflicts: 458000 | #Constraints: 25765
1555.46/1561.00 c #Conflicts: 459000 | #Constraints: 26815
1555.46/1561.00 c #Conflicts: 460000 | #Constraints: 27833
1555.46/1561.00 c INPROCESSING
1555.46/1561.00 c GARBAGE COLLECT
1555.46/1561.00 c rational objective 27
1611.06/1616.75 c #Conflicts: 461000 | #Constraints: 15216
1611.06/1616.75 c #Conflicts: 462000 | #Constraints: 16217
1611.06/1616.75 c #Conflicts: 463000 | #Constraints: 17234
1611.06/1616.75 c #Conflicts: 464000 | #Constraints: 18254
1611.06/1616.75 c #Conflicts: 465000 | #Constraints: 19259
1611.06/1616.75 c #Conflicts: 466000 | #Constraints: 20265
1611.06/1616.75 c #Conflicts: 467000 | #Constraints: 21280
1611.06/1616.75 c #Conflicts: 468000 | #Constraints: 22282
1611.06/1616.75 c #Conflicts: 469000 | #Constraints: 23282
1611.06/1616.75 c #Conflicts: 470000 | #Constraints: 24282
1611.06/1616.75 c #Conflicts: 471000 | #Constraints: 25282
1611.06/1616.75 c #Conflicts: 472000 | #Constraints: 26282
1611.06/1616.75 c #Conflicts: 473000 | #Constraints: 27282
1611.06/1616.75 c #Conflicts: 474000 | #Constraints: 28283
1611.06/1616.75 c INPROCESSING
1611.06/1616.75 c GARBAGE COLLECT
1611.06/1616.75 c rational objective 27
1728.93/1735.02 c #Conflicts: 475000 | #Constraints: 15555
1728.93/1735.02 c #Conflicts: 476000 | #Constraints: 16556
1728.93/1735.02 c #Conflicts: 477000 | #Constraints: 17557
1728.93/1735.02 c #Conflicts: 478000 | #Constraints: 18566
1728.93/1735.02 c #Conflicts: 479000 | #Constraints: 19566
1728.93/1735.02 c #Conflicts: 480000 | #Constraints: 20566
1728.93/1735.02 c #Conflicts: 481000 | #Constraints: 21566
1728.93/1735.02 c #Conflicts: 482000 | #Constraints: 22566
1728.93/1735.02 c #Conflicts: 483000 | #Constraints: 23566
1728.93/1735.02 c #Conflicts: 484000 | #Constraints: 24566
1728.93/1735.02 c #Conflicts: 485000 | #Constraints: 25571
1728.93/1735.02 c #Conflicts: 486000 | #Constraints: 26572
1728.93/1735.02 c #Conflicts: 487000 | #Constraints: 27573
1728.93/1735.02 c #Conflicts: 488000 | #Constraints: 28573
1728.93/1735.02 c INPROCESSING
1728.93/1735.02 c GARBAGE COLLECT
1728.93/1735.02 c rational objective 27
1817.70/1824.15 c #Conflicts: 489000 | #Constraints: 16170
1817.70/1824.15 c #Conflicts: 490000 | #Constraints: 17668
1817.70/1824.15 c #Conflicts: 491000 | #Constraints: 19175
1817.70/1824.15 c #Conflicts: 492000 | #Constraints: 20686
1817.70/1824.15 c #Conflicts: 493000 | #Constraints: 22206
1817.70/1824.15 c #Conflicts: 494000 | #Constraints: 23697
1817.70/1824.15 c #Conflicts: 495000 | #Constraints: 25211
1817.70/1824.15 c #Conflicts: 496000 | #Constraints: 26714
1817.70/1824.15 c #Conflicts: 497000 | #Constraints: 28234
1817.70/1824.15 c #Conflicts: 498000 | #Constraints: 29748
1817.70/1824.15 c #Conflicts: 499000 | #Constraints: 31245
1817.70/1824.15 c #Conflicts: 500000 | #Constraints: 32752
1817.70/1824.15 c #Conflicts: 501000 | #Constraints: 34250
1817.70/1824.15 c #Conflicts: 502000 | #Constraints: 35745
1817.70/1824.15 c INPROCESSING
1817.70/1824.15 c GARBAGE COLLECT
1817.70/1824.15 c rational objective 27
1864.23/1870.85 c #Conflicts: 503000 | #Constraints: 19739
1864.23/1870.85 c #Conflicts: 504000 | #Constraints: 21448
1864.23/1870.85 c #Conflicts: 505000 | #Constraints: 23172
1864.23/1870.85 c #Conflicts: 506000 | #Constraints: 24884
1864.23/1870.85 c #Conflicts: 507000 | #Constraints: 26607
1864.23/1870.85 c #Conflicts: 508000 | #Constraints: 28303
1864.23/1870.85 c #Conflicts: 509000 | #Constraints: 29977
1864.23/1870.85 c #Conflicts: 510000 | #Constraints: 31643
1864.23/1870.85 c #Conflicts: 511000 | #Constraints: 33295
1864.23/1870.85 c #Conflicts: 512000 | #Constraints: 34929
1864.23/1870.85 c #Conflicts: 513000 | #Constraints: 36195
1864.23/1870.85 c #Conflicts: 514000 | #Constraints: 37195
1864.23/1870.85 c #Conflicts: 515000 | #Constraints: 38195
1864.23/1870.85 c #Conflicts: 516000 | #Constraints: 39200
1864.23/1870.85 c INPROCESSING
1864.23/1870.85 c GARBAGE COLLECT
1864.23/1870.85 c rational objective 27
1901.80/1908.50 c #Conflicts: 517000 | #Constraints: 20681
1901.80/1908.50 c #Conflicts: 518000 | #Constraints: 21681
1901.80/1908.50 c #Conflicts: 519000 | #Constraints: 22681
1901.80/1908.50 c #Conflicts: 520000 | #Constraints: 23681
1901.80/1908.50 c #Conflicts: 521000 | #Constraints: 24681
1901.80/1908.50 c #Conflicts: 522000 | #Constraints: 25681
1901.80/1908.50 c #Conflicts: 523000 | #Constraints: 26682
1901.80/1908.50 c #Conflicts: 524000 | #Constraints: 27694
1901.80/1908.50 c #Conflicts: 525000 | #Constraints: 28699
1901.80/1908.50 c #Conflicts: 526000 | #Constraints: 29705
1901.80/1908.50 c #Conflicts: 527000 | #Constraints: 30712
1901.80/1908.50 c #Conflicts: 528000 | #Constraints: 31716
1901.80/1908.50 c #Conflicts: 529000 | #Constraints: 32717
1901.80/1908.50 c #Conflicts: 530000 | #Constraints: 33718
1901.80/1908.50 c #Conflicts: 531000 | #Constraints: 34726
1901.80/1908.50 c INPROCESSING
1901.80/1908.50 c GARBAGE COLLECT
1901.80/1908.50 c rational objective 27
1952.59/1959.67 c #Conflicts: 532000 | #Constraints: 18656
1952.59/1959.67 c #Conflicts: 533000 | #Constraints: 19657
1952.59/1959.67 c #Conflicts: 534000 | #Constraints: 20659
1952.59/1959.67 c #Conflicts: 535000 | #Constraints: 21668
1952.59/1959.67 c #Conflicts: 536000 | #Constraints: 22682
1952.59/1959.67 c #Conflicts: 537000 | #Constraints: 23683
1952.59/1959.67 c #Conflicts: 538000 | #Constraints: 24688
1952.59/1959.67 c #Conflicts: 539000 | #Constraints: 25705
1952.59/1959.67 c #Conflicts: 540000 | #Constraints: 26715
1952.59/1959.67 c #Conflicts: 541000 | #Constraints: 27723
1952.59/1959.67 c #Conflicts: 542000 | #Constraints: 28724
1952.59/1959.67 c #Conflicts: 543000 | #Constraints: 29724
1952.59/1959.67 c #Conflicts: 544000 | #Constraints: 30725
1952.59/1959.67 c #Conflicts: 545000 | #Constraints: 31735
1952.59/1959.67 c #Conflicts: 546000 | #Constraints: 32742
1952.59/1959.67 c INPROCESSING
1952.59/1959.67 c GARBAGE COLLECT
1952.59/1959.67 c rational objective 27
2018.41/2025.72 c #Conflicts: 547000 | #Constraints: 17776
2018.41/2025.72 c #Conflicts: 548000 | #Constraints: 18776
2018.41/2025.72 c #Conflicts: 549000 | #Constraints: 19776
2018.41/2025.72 c #Conflicts: 550000 | #Constraints: 20787
2018.41/2025.72 c #Conflicts: 551000 | #Constraints: 21792
2018.41/2025.72 c #Conflicts: 552000 | #Constraints: 22803
2018.41/2025.72 c #Conflicts: 553000 | #Constraints: 23814
2018.41/2025.72 c #Conflicts: 554000 | #Constraints: 24814
2018.41/2025.72 c #Conflicts: 555000 | #Constraints: 25814
2018.41/2025.72 c #Conflicts: 556000 | #Constraints: 26814
2018.41/2025.72 c #Conflicts: 557000 | #Constraints: 27824
2018.41/2025.72 c #Conflicts: 558000 | #Constraints: 28839
2018.41/2025.72 c #Conflicts: 559000 | #Constraints: 29859
2018.41/2025.72 c #Conflicts: 560000 | #Constraints: 30868
2018.41/2025.72 c #Conflicts: 561000 | #Constraints: 31886
2018.41/2025.72 c INPROCESSING
2018.41/2025.72 c GARBAGE COLLECT
2018.41/2025.72 c rational objective 27
2068.35/2075.81 c #Conflicts: 562000 | #Constraints: 17333
2068.35/2075.81 c #Conflicts: 563000 | #Constraints: 18333
2068.35/2075.81 c #Conflicts: 564000 | #Constraints: 19334
2068.35/2075.81 c #Conflicts: 565000 | #Constraints: 20337
2068.35/2075.81 c #Conflicts: 566000 | #Constraints: 21358
2068.35/2075.81 c #Conflicts: 567000 | #Constraints: 22358
2068.35/2075.81 c #Conflicts: 568000 | #Constraints: 23359
2068.35/2075.81 c #Conflicts: 569000 | #Constraints: 24360
2068.35/2075.81 c #Conflicts: 570000 | #Constraints: 25360
2068.35/2075.81 c #Conflicts: 571000 | #Constraints: 26360
2068.35/2075.81 c #Conflicts: 572000 | #Constraints: 27360
2068.35/2075.81 c #Conflicts: 573000 | #Constraints: 28363
2068.35/2075.81 c #Conflicts: 574000 | #Constraints: 29364
2068.35/2075.81 c #Conflicts: 575000 | #Constraints: 30365
2068.35/2075.81 c #Conflicts: 576000 | #Constraints: 31372
2068.35/2075.81 c INPROCESSING
2068.35/2075.81 c GARBAGE COLLECT
2068.35/2075.81 c rational objective 27
2119.01/2126.66 c #Conflicts: 577000 | #Constraints: 16995
2119.01/2126.66 c #Conflicts: 578000 | #Constraints: 18012
2119.01/2126.66 c #Conflicts: 579000 | #Constraints: 19013
2119.01/2126.66 c #Conflicts: 580000 | #Constraints: 20015
2119.01/2126.66 c #Conflicts: 581000 | #Constraints: 21018
2119.01/2126.66 c #Conflicts: 582000 | #Constraints: 22018
2119.01/2126.66 c #Conflicts: 583000 | #Constraints: 23028
2119.01/2126.66 c #Conflicts: 584000 | #Constraints: 24040
2119.01/2126.66 c #Conflicts: 585000 | #Constraints: 25050
2119.01/2126.66 c #Conflicts: 586000 | #Constraints: 26065
2119.01/2126.66 c #Conflicts: 587000 | #Constraints: 27095
2119.01/2126.66 c #Conflicts: 588000 | #Constraints: 28117
2119.01/2126.66 c #Conflicts: 589000 | #Constraints: 29147
2119.01/2126.66 c #Conflicts: 590000 | #Constraints: 30179
2119.01/2126.66 c #Conflicts: 591000 | #Constraints: 31202
2119.01/2126.66 c INPROCESSING
2119.01/2126.66 c GARBAGE COLLECT
2119.01/2126.66 c rational objective 27
2158.42/2166.20 c #Conflicts: 592000 | #Constraints: 16690
2158.42/2166.20 c #Conflicts: 593000 | #Constraints: 17693
2158.42/2166.20 c #Conflicts: 594000 | #Constraints: 18698
2158.42/2166.20 c #Conflicts: 595000 | #Constraints: 19698
2158.42/2166.20 c #Conflicts: 596000 | #Constraints: 20712
2158.42/2166.20 c #Conflicts: 597000 | #Constraints: 21712
2158.42/2166.20 c #Conflicts: 598000 | #Constraints: 22712
2158.42/2166.20 c #Conflicts: 599000 | #Constraints: 23712
2158.42/2166.20 c #Conflicts: 600000 | #Constraints: 24712
2158.42/2166.20 c #Conflicts: 601000 | #Constraints: 25712
2158.42/2166.20 c #Conflicts: 602000 | #Constraints: 26717
2158.42/2166.20 c #Conflicts: 603000 | #Constraints: 27909
2158.42/2166.20 c #Conflicts: 604000 | #Constraints: 29394
2158.42/2166.20 c #Conflicts: 605000 | #Constraints: 30854
2158.42/2166.20 c #Conflicts: 606000 | #Constraints: 32319
2158.42/2166.20 c #Conflicts: 607000 | #Constraints: 33782
2158.42/2166.20 c INPROCESSING
2158.42/2166.20 c GARBAGE COLLECT
2158.42/2166.20 c rational objective 27
2221.33/2229.37 c #Conflicts: 608000 | #Constraints: 18214
2221.33/2229.37 c #Conflicts: 609000 | #Constraints: 19214
2221.33/2229.37 c #Conflicts: 610000 | #Constraints: 20214
2221.33/2229.37 c #Conflicts: 611000 | #Constraints: 21214
2221.33/2229.37 c #Conflicts: 612000 | #Constraints: 22215
2221.33/2229.37 c #Conflicts: 613000 | #Constraints: 23215
2221.33/2229.37 c #Conflicts: 614000 | #Constraints: 24215
2221.33/2229.37 c #Conflicts: 615000 | #Constraints: 25217
2221.33/2229.37 c #Conflicts: 616000 | #Constraints: 26218
2221.33/2229.37 c #Conflicts: 617000 | #Constraints: 27218
2221.33/2229.37 c #Conflicts: 618000 | #Constraints: 28218
2221.33/2229.37 c #Conflicts: 619000 | #Constraints: 29218
2221.33/2229.37 c #Conflicts: 620000 | #Constraints: 30218
2221.33/2229.37 c #Conflicts: 621000 | #Constraints: 31218
2221.33/2229.37 c #Conflicts: 622000 | #Constraints: 32218
2221.33/2229.37 c #Conflicts: 623000 | #Constraints: 33219
2221.33/2229.37 c INPROCESSING
2221.33/2229.37 c GARBAGE COLLECT
2221.33/2229.37 c rational objective 27
2291.52/2299.79 c #Conflicts: 624000 | #Constraints: 17991
2291.52/2299.79 c #Conflicts: 625000 | #Constraints: 18992
2291.52/2299.79 c #Conflicts: 626000 | #Constraints: 19995
2291.52/2299.79 c #Conflicts: 627000 | #Constraints: 21008
2291.52/2299.79 c #Conflicts: 628000 | #Constraints: 22033
2291.52/2299.79 c #Conflicts: 629000 | #Constraints: 23039
2291.52/2299.79 c #Conflicts: 630000 | #Constraints: 24040
2291.52/2299.79 c #Conflicts: 631000 | #Constraints: 25040
2291.52/2299.79 c #Conflicts: 632000 | #Constraints: 26041
2291.52/2299.79 c #Conflicts: 633000 | #Constraints: 27044
2291.52/2299.79 c #Conflicts: 634000 | #Constraints: 28048
2291.52/2299.79 c #Conflicts: 635000 | #Constraints: 29051
2291.52/2299.79 c #Conflicts: 636000 | #Constraints: 30056
2291.52/2299.79 c #Conflicts: 637000 | #Constraints: 31074
2291.52/2299.79 c #Conflicts: 638000 | #Constraints: 32078
2291.52/2299.79 c #Conflicts: 639000 | #Constraints: 33104
2291.52/2299.79 c INPROCESSING
2291.52/2299.79 c GARBAGE COLLECT
2291.52/2299.79 c rational objective 27
2344.57/2352.93 c #Conflicts: 640000 | #Constraints: 17936
2344.57/2352.93 c #Conflicts: 641000 | #Constraints: 18956
2344.57/2352.93 c #Conflicts: 642000 | #Constraints: 20288
2344.57/2352.93 c #Conflicts: 643000 | #Constraints: 21392
2344.57/2352.93 c #Conflicts: 644000 | #Constraints: 22392
2344.57/2352.93 c #Conflicts: 645000 | #Constraints: 23392
2344.57/2352.93 c #Conflicts: 646000 | #Constraints: 24392
2344.57/2352.93 c #Conflicts: 647000 | #Constraints: 25392
2344.57/2352.93 c #Conflicts: 648000 | #Constraints: 26392
2344.57/2352.93 c #Conflicts: 649000 | #Constraints: 27393
2344.57/2352.93 c #Conflicts: 650000 | #Constraints: 28872
2344.57/2352.93 c #Conflicts: 651000 | #Constraints: 30061
2344.57/2352.93 c #Conflicts: 652000 | #Constraints: 31070
2344.57/2352.93 c #Conflicts: 653000 | #Constraints: 32105
2344.57/2352.93 c #Conflicts: 654000 | #Constraints: 33134
2344.57/2352.93 c #Conflicts: 655000 | #Constraints: 34144
2344.57/2352.93 c INPROCESSING
2344.57/2352.93 c GARBAGE COLLECT
2344.57/2352.93 c rational objective 27
2428.89/2437.59 c #Conflicts: 656000 | #Constraints: 18373
2428.89/2437.59 c #Conflicts: 657000 | #Constraints: 19374
2428.89/2437.59 c #Conflicts: 658000 | #Constraints: 20375
2428.89/2437.59 c #Conflicts: 659000 | #Constraints: 21378
2428.89/2437.59 c #Conflicts: 660000 | #Constraints: 22380
2428.89/2437.59 c #Conflicts: 661000 | #Constraints: 23390
2428.89/2437.59 c #Conflicts: 662000 | #Constraints: 24424
2428.89/2437.59 c #Conflicts: 663000 | #Constraints: 25450
2428.89/2437.59 c #Conflicts: 664000 | #Constraints: 26483
2428.89/2437.59 c #Conflicts: 665000 | #Constraints: 27501
2428.89/2437.59 c #Conflicts: 666000 | #Constraints: 28505
2428.89/2437.59 c #Conflicts: 667000 | #Constraints: 29512
2428.89/2437.59 c #Conflicts: 668000 | #Constraints: 30541
2428.89/2437.59 c #Conflicts: 669000 | #Constraints: 31553
2428.89/2437.59 c #Conflicts: 670000 | #Constraints: 32559
2428.89/2437.59 c #Conflicts: 671000 | #Constraints: 33575
2428.89/2437.59 c INPROCESSING
2428.89/2437.59 c GARBAGE COLLECT
2428.89/2437.59 c rational objective 27
2474.36/2483.16 c #Conflicts: 672000 | #Constraints: 17891
2474.36/2483.16 c #Conflicts: 673000 | #Constraints: 18901
2474.36/2483.16 c #Conflicts: 674000 | #Constraints: 19901
2474.36/2483.16 c #Conflicts: 675000 | #Constraints: 20901
2474.36/2483.16 c #Conflicts: 676000 | #Constraints: 21901
2474.36/2483.16 c #Conflicts: 677000 | #Constraints: 22902
2474.36/2483.16 c #Conflicts: 678000 | #Constraints: 23905
2474.36/2483.16 c #Conflicts: 679000 | #Constraints: 24920
2474.36/2483.16 c #Conflicts: 680000 | #Constraints: 25925
2474.36/2483.16 c #Conflicts: 681000 | #Constraints: 26925
2474.36/2483.16 c #Conflicts: 682000 | #Constraints: 27926
2474.36/2483.16 c #Conflicts: 683000 | #Constraints: 28926
2474.36/2483.16 c #Conflicts: 684000 | #Constraints: 29927
2474.36/2483.16 c #Conflicts: 685000 | #Constraints: 30927
2474.36/2483.16 c #Conflicts: 686000 | #Constraints: 31950
2474.36/2483.16 c #Conflicts: 687000 | #Constraints: 32955
2474.36/2483.16 c #Conflicts: 688000 | #Constraints: 33986
2474.36/2483.16 c INPROCESSING
2474.36/2483.16 c GARBAGE COLLECT
2474.36/2483.16 c rational objective 27
2604.15/2613.39 c #Conflicts: 689000 | #Constraints: 18291
2604.15/2613.39 c #Conflicts: 690000 | #Constraints: 19291
2604.15/2613.39 c #Conflicts: 691000 | #Constraints: 20291
2604.15/2613.39 c #Conflicts: 692000 | #Constraints: 21291
2604.15/2613.39 c #Conflicts: 693000 | #Constraints: 22291
2604.15/2613.39 c #Conflicts: 694000 | #Constraints: 23291
2604.15/2613.39 c #Conflicts: 695000 | #Constraints: 24291
2604.15/2613.39 c #Conflicts: 696000 | #Constraints: 25291
2604.15/2613.39 c #Conflicts: 697000 | #Constraints: 26291
2604.15/2613.39 c #Conflicts: 698000 | #Constraints: 27291
2604.15/2613.39 c #Conflicts: 699000 | #Constraints: 28291
2604.15/2613.39 c #Conflicts: 700000 | #Constraints: 29291
2604.15/2613.39 c #Conflicts: 701000 | #Constraints: 30291
2604.15/2613.39 c #Conflicts: 702000 | #Constraints: 31291
2604.15/2613.39 c #Conflicts: 703000 | #Constraints: 32291
2604.15/2613.39 c #Conflicts: 704000 | #Constraints: 33291
2604.15/2613.39 c #Conflicts: 705000 | #Constraints: 34291
2604.15/2613.39 c INPROCESSING
2604.15/2613.39 c GARBAGE COLLECT
2604.15/2613.39 c #Conflicts: 706000 | #Constraints: 18513
2604.15/2613.39 c #Conflicts: 707000 | #Constraints: 19513
2604.15/2613.39 c #Conflicts: 708000 | #Constraints: 20513
2604.15/2613.39 c #Conflicts: 709000 | #Constraints: 21513
2604.15/2613.39 c #Conflicts: 710000 | #Constraints: 22513
2604.15/2613.39 c #Conflicts: 711000 | #Constraints: 23513
2604.15/2613.39 c #Conflicts: 712000 | #Constraints: 24513
2604.15/2613.39 c #Conflicts: 713000 | #Constraints: 25513
2604.15/2613.39 c #Conflicts: 714000 | #Constraints: 26513
2604.15/2613.39 c #Conflicts: 715000 | #Constraints: 27513
2604.15/2613.39 c #Conflicts: 716000 | #Constraints: 28513
2604.15/2613.39 c #Conflicts: 717000 | #Constraints: 29513
2604.15/2613.39 c #Conflicts: 718000 | #Constraints: 30513
2604.15/2613.39 c #Conflicts: 719000 | #Constraints: 31513
2604.15/2613.39 c #Conflicts: 720000 | #Constraints: 32514
2604.15/2613.39 c #Conflicts: 721000 | #Constraints: 33527
2604.15/2613.39 c #Conflicts: 722000 | #Constraints: 34554
2604.15/2613.39 c INPROCESSING
2604.15/2613.39 c GARBAGE COLLECT
2604.15/2613.39 c rational objective 27
2711.34/2720.92 c #Conflicts: 723000 | #Constraints: 18660
2711.34/2720.92 c #Conflicts: 724000 | #Constraints: 19669
2711.34/2720.92 c #Conflicts: 725000 | #Constraints: 20687
2711.34/2720.92 c #Conflicts: 726000 | #Constraints: 21691
2711.34/2720.92 c #Conflicts: 727000 | #Constraints: 22693
2711.34/2720.92 c #Conflicts: 728000 | #Constraints: 23694
2711.34/2720.92 c #Conflicts: 729000 | #Constraints: 24697
2711.34/2720.92 c #Conflicts: 730000 | #Constraints: 25697
2711.34/2720.92 c #Conflicts: 731000 | #Constraints: 26698
2711.34/2720.92 c #Conflicts: 732000 | #Constraints: 27704
2711.34/2720.92 c #Conflicts: 733000 | #Constraints: 28705
2711.34/2720.92 c #Conflicts: 734000 | #Constraints: 29709
2711.34/2720.92 c #Conflicts: 735000 | #Constraints: 30709
2711.34/2720.92 c #Conflicts: 736000 | #Constraints: 31710
2711.34/2720.92 c #Conflicts: 737000 | #Constraints: 32711
2711.34/2720.92 c #Conflicts: 738000 | #Constraints: 33711
2711.34/2720.92 c #Conflicts: 739000 | #Constraints: 34711
2711.34/2720.92 c INPROCESSING
2711.34/2720.92 c GARBAGE COLLECT
2711.34/2720.92 c rational objective 27
2766.98/2776.70 c #Conflicts: 740000 | #Constraints: 18646
2766.98/2776.70 c #Conflicts: 741000 | #Constraints: 19646
2766.98/2776.70 c #Conflicts: 742000 | #Constraints: 20646
2766.98/2776.70 c #Conflicts: 743000 | #Constraints: 21646
2766.98/2776.70 c #Conflicts: 744000 | #Constraints: 22652
2766.98/2776.70 c #Conflicts: 745000 | #Constraints: 23652
2766.98/2776.70 c #Conflicts: 746000 | #Constraints: 24653
2766.98/2776.70 c #Conflicts: 747000 | #Constraints: 25653
2766.98/2776.70 c #Conflicts: 748000 | #Constraints: 26654
2766.98/2776.70 c #Conflicts: 749000 | #Constraints: 27655
2766.98/2776.70 c #Conflicts: 750000 | #Constraints: 28655
2766.98/2776.70 c #Conflicts: 751000 | #Constraints: 29661
2766.98/2776.70 c #Conflicts: 752000 | #Constraints: 30688
2766.98/2776.70 c #Conflicts: 753000 | #Constraints: 31689
2766.98/2776.70 c #Conflicts: 754000 | #Constraints: 32690
2766.98/2776.70 c #Conflicts: 755000 | #Constraints: 33692
2766.98/2776.70 c #Conflicts: 756000 | #Constraints: 34709
2766.98/2776.70 c INPROCESSING
2766.98/2776.70 c GARBAGE COLLECT
2766.98/2776.70 c rational objective 27
2850.60/2860.69 c #Conflicts: 757000 | #Constraints: 18439
2850.60/2860.69 c #Conflicts: 758000 | #Constraints: 19459
2850.60/2860.69 c #Conflicts: 759000 | #Constraints: 20459
2850.60/2860.69 c #Conflicts: 760000 | #Constraints: 21488
2850.60/2860.69 c #Conflicts: 761000 | #Constraints: 22497
2850.60/2860.69 c #Conflicts: 762000 | #Constraints: 23499
2850.60/2860.69 c #Conflicts: 763000 | #Constraints: 24515
2850.60/2860.69 c #Conflicts: 764000 | #Constraints: 25539
2850.60/2860.69 c #Conflicts: 765000 | #Constraints: 26563
2850.60/2860.69 c #Conflicts: 766000 | #Constraints: 27593
2850.60/2860.69 c #Conflicts: 767000 | #Constraints: 28613
2850.60/2860.69 c #Conflicts: 768000 | #Constraints: 29628
2850.60/2860.69 c #Conflicts: 769000 | #Constraints: 30639
2850.60/2860.69 c #Conflicts: 770000 | #Constraints: 31644
2850.60/2860.69 c #Conflicts: 771000 | #Constraints: 32665
2850.60/2860.69 c #Conflicts: 772000 | #Constraints: 33695
2850.60/2860.69 c #Conflicts: 773000 | #Constraints: 34703
2850.60/2860.69 c #Conflicts: 774000 | #Constraints: 35716
2850.60/2860.69 c INPROCESSING
2850.60/2860.69 c GARBAGE COLLECT
2850.60/2860.69 c rational objective 27
2921.68/2931.97 c #Conflicts: 775000 | #Constraints: 19141
2921.68/2931.97 c #Conflicts: 776000 | #Constraints: 20147
2921.68/2931.97 c #Conflicts: 777000 | #Constraints: 21160
2921.68/2931.97 c #Conflicts: 778000 | #Constraints: 22178
2921.68/2931.97 c #Conflicts: 779000 | #Constraints: 23191
2921.68/2931.97 c #Conflicts: 780000 | #Constraints: 24191
2921.68/2931.97 c #Conflicts: 781000 | #Constraints: 25191
2921.68/2931.97 c #Conflicts: 782000 | #Constraints: 26210
2921.68/2931.97 c #Conflicts: 783000 | #Constraints: 27215
2921.68/2931.97 c #Conflicts: 784000 | #Constraints: 28232
2921.68/2931.97 c #Conflicts: 785000 | #Constraints: 29244
2921.68/2931.97 c #Conflicts: 786000 | #Constraints: 30250
2921.68/2931.97 c #Conflicts: 787000 | #Constraints: 31252
2921.68/2931.97 c #Conflicts: 788000 | #Constraints: 32255
2921.68/2931.97 c #Conflicts: 789000 | #Constraints: 33263
2921.68/2931.97 c #Conflicts: 790000 | #Constraints: 34263
2921.68/2931.97 c #Conflicts: 791000 | #Constraints: 35263
2921.68/2931.97 c #Conflicts: 792000 | #Constraints: 36264
2921.68/2931.97 c INPROCESSING
2921.68/2931.97 c GARBAGE COLLECT
2921.68/2931.97 c rational objective 27
2992.68/3003.32 c #Conflicts: 793000 | #Constraints: 19515
2992.68/3003.32 c #Conflicts: 794000 | #Constraints: 20535
2992.68/3003.32 c #Conflicts: 795000 | #Constraints: 21543
2992.68/3003.32 c #Conflicts: 796000 | #Constraints: 22552
2992.68/3003.32 c #Conflicts: 797000 | #Constraints: 23577
2992.68/3003.32 c #Conflicts: 798000 | #Constraints: 24590
2992.68/3003.32 c #Conflicts: 799000 | #Constraints: 25603
2992.68/3003.32 c #Conflicts: 800000 | #Constraints: 26633
2992.68/3003.32 c #Conflicts: 801000 | #Constraints: 27643
2992.68/3003.32 c #Conflicts: 802000 | #Constraints: 28644
2992.68/3003.32 c #Conflicts: 803000 | #Constraints: 29661
2992.68/3003.32 c #Conflicts: 804000 | #Constraints: 30665
2992.68/3003.32 c #Conflicts: 805000 | #Constraints: 31689
2992.68/3003.32 c #Conflicts: 806000 | #Constraints: 32695
2992.68/3003.32 c #Conflicts: 807000 | #Constraints: 33701
2992.68/3003.32 c #Conflicts: 808000 | #Constraints: 34705
2992.68/3003.32 c #Conflicts: 809000 | #Constraints: 35706
2992.68/3003.32 c #Conflicts: 810000 | #Constraints: 36706
2992.68/3003.32 c INPROCESSING
2992.68/3003.32 c GARBAGE COLLECT
2992.68/3003.32 c rational objective 27
3067.14/3078.09 c #Conflicts: 811000 | #Constraints: 19746
3067.14/3078.09 c #Conflicts: 812000 | #Constraints: 20753
3067.14/3078.09 c #Conflicts: 813000 | #Constraints: 21758
3067.14/3078.09 c #Conflicts: 814000 | #Constraints: 22769
3067.14/3078.09 c #Conflicts: 815000 | #Constraints: 23778
3067.14/3078.09 c #Conflicts: 816000 | #Constraints: 24798
3067.14/3078.09 c #Conflicts: 817000 | #Constraints: 25807
3067.14/3078.09 c #Conflicts: 818000 | #Constraints: 26814
3067.14/3078.09 c #Conflicts: 819000 | #Constraints: 27830
3067.14/3078.09 c #Conflicts: 820000 | #Constraints: 28833
3067.14/3078.09 c #Conflicts: 821000 | #Constraints: 29856
3067.14/3078.09 c #Conflicts: 822000 | #Constraints: 30860
3067.14/3078.09 c #Conflicts: 823000 | #Constraints: 31861
3067.14/3078.09 c #Conflicts: 824000 | #Constraints: 32872
3067.14/3078.09 c #Conflicts: 825000 | #Constraints: 33872
3067.14/3078.09 c #Conflicts: 826000 | #Constraints: 34872
3067.14/3078.09 c #Conflicts: 827000 | #Constraints: 35886
3067.14/3078.09 c #Conflicts: 828000 | #Constraints: 36887
3067.14/3078.09 c INPROCESSING
3067.14/3078.09 c GARBAGE COLLECT
3067.14/3078.09 c rational objective 27
3123.25/3134.31 c #Conflicts: 829000 | #Constraints: 19740
3123.25/3134.31 c #Conflicts: 830000 | #Constraints: 20767
3123.25/3134.31 c #Conflicts: 831000 | #Constraints: 21868
3123.25/3134.31 c #Conflicts: 832000 | #Constraints: 22916
3123.25/3134.31 c #Conflicts: 833000 | #Constraints: 23956
3123.25/3134.31 c #Conflicts: 834000 | #Constraints: 24957
3123.25/3134.31 c #Conflicts: 835000 | #Constraints: 25958
3123.25/3134.31 c #Conflicts: 836000 | #Constraints: 26962
3123.25/3134.31 c #Conflicts: 837000 | #Constraints: 27963
3123.25/3134.31 c #Conflicts: 838000 | #Constraints: 28968
3123.25/3134.31 c #Conflicts: 839000 | #Constraints: 29996
3123.25/3134.31 c #Conflicts: 840000 | #Constraints: 31003
3123.25/3134.31 c #Conflicts: 841000 | #Constraints: 32011
3123.25/3134.31 c #Conflicts: 842000 | #Constraints: 33012
3123.25/3134.31 c #Conflicts: 843000 | #Constraints: 34014
3123.25/3134.31 c #Conflicts: 844000 | #Constraints: 35014
3123.25/3134.31 c #Conflicts: 845000 | #Constraints: 36014
3123.25/3134.31 c #Conflicts: 846000 | #Constraints: 37014
3123.25/3134.31 c INPROCESSING
3123.25/3134.31 c GARBAGE COLLECT
3123.25/3134.31 c rational objective 27
3219.78/3231.38 c #Conflicts: 847000 | #Constraints: 19588
3219.78/3231.38 c #Conflicts: 848000 | #Constraints: 20589
3219.78/3231.38 c #Conflicts: 849000 | #Constraints: 21592
3219.78/3231.38 c #Conflicts: 850000 | #Constraints: 22598
3219.78/3231.38 c #Conflicts: 851000 | #Constraints: 23603
3219.78/3231.38 c #Conflicts: 852000 | #Constraints: 24604
3219.78/3231.38 c #Conflicts: 853000 | #Constraints: 25618
3219.78/3231.38 c #Conflicts: 854000 | #Constraints: 26625
3219.78/3231.38 c #Conflicts: 855000 | #Constraints: 27627
3219.78/3231.38 c #Conflicts: 856000 | #Constraints: 28632
3219.78/3231.38 c #Conflicts: 857000 | #Constraints: 29636
3219.78/3231.38 c #Conflicts: 858000 | #Constraints: 30646
3219.78/3231.38 c #Conflicts: 859000 | #Constraints: 31647
3219.78/3231.38 c #Conflicts: 860000 | #Constraints: 32648
3219.78/3231.38 c #Conflicts: 861000 | #Constraints: 33649
3219.78/3231.38 c #Conflicts: 862000 | #Constraints: 34650
3219.78/3231.38 c #Conflicts: 863000 | #Constraints: 35651
3219.78/3231.38 c #Conflicts: 864000 | #Constraints: 36651
3219.78/3231.38 c #Conflicts: 865000 | #Constraints: 37651
3219.78/3231.38 c INPROCESSING
3219.78/3231.38 c GARBAGE COLLECT
3219.78/3231.38 c rational objective 27
3304.71/3316.50 c #Conflicts: 866000 | #Constraints: 20112
3304.71/3316.50 c #Conflicts: 867000 | #Constraints: 21114
3304.71/3316.50 c #Conflicts: 868000 | #Constraints: 22120
3304.71/3316.50 c #Conflicts: 869000 | #Constraints: 23143
3304.71/3316.50 c #Conflicts: 870000 | #Constraints: 24164
3304.71/3316.50 c #Conflicts: 871000 | #Constraints: 25199
3304.71/3316.50 c #Conflicts: 872000 | #Constraints: 26224
3304.71/3316.50 c #Conflicts: 873000 | #Constraints: 27228
3304.71/3316.50 c #Conflicts: 874000 | #Constraints: 28235
3304.71/3316.50 c #Conflicts: 875000 | #Constraints: 29260
3304.71/3316.50 c #Conflicts: 876000 | #Constraints: 30291
3304.71/3316.50 c #Conflicts: 877000 | #Constraints: 31314
3304.71/3316.50 c #Conflicts: 878000 | #Constraints: 32321
3304.71/3316.50 c #Conflicts: 879000 | #Constraints: 33337
3304.71/3316.50 c #Conflicts: 880000 | #Constraints: 34350
3304.71/3316.50 c #Conflicts: 881000 | #Constraints: 35365
3304.71/3316.50 c #Conflicts: 882000 | #Constraints: 36388
3304.71/3316.50 c #Conflicts: 883000 | #Constraints: 37388
3304.71/3316.50 c #Conflicts: 884000 | #Constraints: 38388
3304.71/3316.50 c INPROCESSING
3304.71/3316.50 c GARBAGE COLLECT
3304.71/3316.50 c rational objective 27
3419.43/3431.62 c #Conflicts: 885000 | #Constraints: 20598
3419.43/3431.62 c #Conflicts: 886000 | #Constraints: 21602
3419.43/3431.62 c #Conflicts: 887000 | #Constraints: 22613
3419.43/3431.62 c #Conflicts: 888000 | #Constraints: 24007
3419.43/3431.62 c #Conflicts: 889000 | #Constraints: 25007
3419.43/3431.62 c #Conflicts: 890000 | #Constraints: 26007
3419.43/3431.62 c #Conflicts: 891000 | #Constraints: 27007
3419.43/3431.62 c #Conflicts: 892000 | #Constraints: 28007
3419.43/3431.62 c #Conflicts: 893000 | #Constraints: 29007
3419.43/3431.62 c #Conflicts: 894000 | #Constraints: 30007
3419.43/3431.62 c #Conflicts: 895000 | #Constraints: 31007
3419.43/3431.62 c #Conflicts: 896000 | #Constraints: 32007
3419.43/3431.62 c #Conflicts: 897000 | #Constraints: 33007
3419.43/3431.62 c #Conflicts: 898000 | #Constraints: 34007
3419.43/3431.62 c #Conflicts: 899000 | #Constraints: 35014
3419.43/3431.62 c #Conflicts: 900000 | #Constraints: 36026
3419.43/3431.62 c #Conflicts: 901000 | #Constraints: 37026
3419.43/3431.62 c #Conflicts: 902000 | #Constraints: 38027
3419.43/3431.62 c #Conflicts: 903000 | #Constraints: 39028
3419.43/3431.62 c INPROCESSING
3419.43/3431.62 c GARBAGE COLLECT
3419.43/3431.62 c rational objective 27
3513.45/3525.99 c #Conflicts: 904000 | #Constraints: 20908
3513.45/3525.99 c #Conflicts: 905000 | #Constraints: 21909
3513.45/3525.99 c #Conflicts: 906000 | #Constraints: 22910
3513.45/3525.99 c #Conflicts: 907000 | #Constraints: 23936
3513.45/3525.99 c #Conflicts: 908000 | #Constraints: 24936
3513.45/3525.99 c #Conflicts: 909000 | #Constraints: 25936
3513.45/3525.99 c #Conflicts: 910000 | #Constraints: 26936
3513.45/3525.99 c #Conflicts: 911000 | #Constraints: 27937
3513.45/3525.99 c #Conflicts: 912000 | #Constraints: 28937
3513.45/3525.99 c #Conflicts: 913000 | #Constraints: 29939
3513.45/3525.99 c #Conflicts: 914000 | #Constraints: 30955
3513.45/3525.99 c #Conflicts: 915000 | #Constraints: 31969
3513.45/3525.99 c #Conflicts: 916000 | #Constraints: 32977
3513.45/3525.99 c #Conflicts: 917000 | #Constraints: 34001
3513.45/3525.99 c #Conflicts: 918000 | #Constraints: 35011
3513.45/3525.99 c #Conflicts: 919000 | #Constraints: 36016
3513.45/3525.99 c #Conflicts: 920000 | #Constraints: 37022
3513.45/3525.99 c #Conflicts: 921000 | #Constraints: 38034
3513.45/3525.99 c #Conflicts: 922000 | #Constraints: 39051
3513.45/3525.99 c INPROCESSING
3513.45/3525.99 c GARBAGE COLLECT
3513.45/3525.99 c rational objective 27
3600.09/3612.80 c #Conflicts: 923000 | #Constraints: 20813
3600.09/3612.80 c #Conflicts: 924000 | #Constraints: 21827
3600.09/3612.80 c #Conflicts: 925000 | #Constraints: 22838
3600.09/3612.80 c #Conflicts: 926000 | #Constraints: 23855
3600.09/3612.80 c #Conflicts: 927000 | #Constraints: 24864
3600.09/3612.80 c #Conflicts: 928000 | #Constraints: 25866
3600.09/3612.80 c #Conflicts: 929000 | #Constraints: 26883
3600.09/3612.80 c #Conflicts: 930000 | #Constraints: 27886
3600.09/3612.80 c #Conflicts: 931000 | #Constraints: 28889
3600.09/3612.80 c #Conflicts: 932000 | #Constraints: 29892
3600.09/3612.80 c #Conflicts: 933000 | #Constraints: 30904
3600.09/3612.80 c #Conflicts: 934000 | #Constraints: 31921
3600.09/3612.80 c #Conflicts: 935000 | #Constraints: 32926
3600.09/3612.80 c #Conflicts: 936000 | #Constraints: 33941
3600.09/3612.80 c #Conflicts: 937000 | #Constraints: 34944
3600.09/3612.80 c #Conflicts: 938000 | #Constraints: 35947
3600.09/3612.80 c #Conflicts: 939000 | #Constraints: 36952
3600.09/3612.80 c #Conflicts: 940000 | #Constraints: 37961
3600.09/3612.80 c #Conflicts: 941000 | #Constraints: 38968
3600.09/3612.80 c cpu time 3557.17 s
3600.09/3612.80 c deterministic time 591290768528 5.91e+11
3600.09/3612.80 c optimization time 84.3923 s
3600.09/3612.80 c total solve time 3472.74 s
3600.09/3612.80 c core-guided solve time 0 s
3600.09/3612.80 c propagation time 2311.79 s
3600.09/3612.80 c conflict analysis time 857.293 s
3600.09/3612.80 c propagations 83088983
3600.09/3612.80 c resolve steps 3261373
3600.09/3612.80 c decisions 12329711
3600.09/3612.80 c conflicts 941229
3600.09/3612.80 c restarts 2043
3600.09/3612.80 c inprocessing phases 87
3600.09/3612.80 c garbage collections 87 ,( 100.00 )
3600.09/3612.80 c input clauses 320 ,( 45.26 )
3600.09/3612.80 c input cardinalities 320 ,( 45.26 )
3600.09/3612.80 c input general constraints 67 ,( 9.48 )
3600.09/3612.80 c input average constraint length 58.16
3600.09/3612.80 c input average constraint degree 11938.54
3600.09/3612.80 c learned clauses 428 ,( 0.04 )
3600.09/3612.80 c learned cardinalities 181 ,( 0.02 )
3600.09/3612.80 c learned general constraints 977517 ,( 99.94 )
3600.09/3612.80 c learned average constraint length 2794.66
3600.09/3612.80 c learned average constraint degree 7146457773.88
3600.09/3612.80 c watched CF 32, 64, 128, Arb: 288697 , 0 , 0 , 0
3600.09/3612.80 c counting CF 32, 64, 128, Arb: 688888 , 0 , 0 , 0
3600.09/3612.80 c watched constraints 288697 ,( 29.53 )
3600.09/3612.80 c counting constraints 688887 ,( 70.47 )
3600.09/3612.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 4466830 , 4022953 , 3938121051 ,( 543765251 , 3394355800 )
3600.09/3612.80 c gcd simplifications 1119
3600.09/3612.80 c detected cardinalities 176
3600.09/3612.80 c weakened non-implied lits 399506533
3600.09/3612.80 c weakened non-implying lits 2057093
3600.09/3612.80 c original variables 10272
3600.09/3612.80 c clausal propagations 1354269
3600.09/3612.80 c cardinality propagations 20075558
3600.09/3612.80 c watched propagations 494135
3600.09/3612.80 c counting propagations 55330081
3600.09/3612.80 c watch lookups 67248653947
3600.09/3612.80 c watch backjump lookups 0
3600.09/3612.80 c watch checks 93142060332
3600.09/3612.80 c propagation checks 424047652110
3600.09/3612.80 c constraint additions 6659476444
3600.09/3612.80 c trail pops 96349515
3600.09/3612.80 c formula constraints 706
3600.09/3612.80 c learned constraints 936765
3600.09/3612.80 c bound constraints 0
3600.09/3612.80 c core-guided constraints 0
3600.09/3612.80 c encountered formula constraints 2122016
3600.09/3612.80 c encountered learned constraints 1523787
3600.09/3612.80 c encountered bound constraints 0
3600.09/3612.80 c encountered core-guided constraints 0
3600.09/3612.80 c LP total time 445.272 s
3600.09/3612.80 c LP solve time 288.25 s
3600.09/3612.80 c LP constraints added 1360
3600.09/3612.80 c LP constraints removed 648
3600.09/3612.80 c LP pivots internal 941228
3600.09/3612.80 c LP pivots root 216257
3600.09/3612.80 c LP calls 119892
3600.09/3612.80 c LP optimalities 83093
3600.09/3612.80 c LP no pivot count 32643
3600.09/3612.80 c LP infeasibilities 36769
3600.09/3612.80 c LP valid Farkas constraints 36253
3600.09/3612.80 c LP learned Farkas constraints 4463
3600.09/3612.80 c LP basis resets 44
3600.09/3612.80 c LP cycling count 2
3600.09/3612.80 c LP singular count 22
3600.09/3612.80 c LP no primal count 0
3600.09/3612.80 c LP no farkas count 19
3600.09/3612.80 c LP other issue count 1
3600.09/3612.80 c LP Gomory cuts 645
3600.09/3612.80 c LP learned cuts 9
3600.09/3612.80 c LP deleted cuts 648
3600.09/3612.80 c LP encountered Gomory constraints 17
3600.09/3612.80 c LP encountered Farkas constraints 508657
3600.09/3612.80 c LP encountered learned Farkas constraints 43662
3600.09/3612.80 c CG auxiliary variables introduced 1
3600.09/3612.80 c CG solutions found 0
3600.09/3612.80 c CG cores constructed 0
3600.09/3612.80 c CG core cardinality constraints returned 0
3600.09/3612.80 c CG unit cores 0
3600.09/3612.80 c CG single cores 0
3600.09/3612.80 c CG blocks removed during cardinality reduction 0
3600.09/3612.80 c CG first core best 0
3600.09/3612.80 c CG decision core best 0
3600.09/3612.80 c CG core reduction tie 0
3600.09/3612.80 c CG core degree average 0.00
3600.09/3612.80 c CG core slack average 0.00
3600.09/3612.80 c CG core upper bound improvements 0
3600.09/3612.80 c STR number of successful calls 0
3600.09/3612.80 c STR number of unsuccessful calls 0
3600.09/3612.80 c STR number of inconclusive calls 0
3600.09/3612.80 c STR number of successful attempts 0
3600.09/3612.80 c STR number of unsuccessful attempts 0
3600.09/3612.80 c STR number of inconclusive attempts 0
3600.09/3612.80 c STR average degree increase per successful call inf
3600.09/3612.80 c STR average degree increase per successful attempt inf
3600.09/3612.80 c STR total number of conflicts for successful attempts 0
3600.09/3612.80 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3612.80 c STR total number of conflicts for inconclusive attempts 0
3600.09/3612.80 c STR average number of conflicts per successful attempt inf
3600.09/3612.80 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3612.80 c STR average number of conflicts per inconclusive attempt inf
3600.09/3612.80 c AVG.sumWPerc 54.51
3600.09/3612.80 c bigint constraints 0
3600.09/3612.80 s UNKNOWN
3600.09/3612.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (40588 MiB free)
memory of node 1: 64465 MiB (57447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509425-1751522007/watcher-4509425-1751522007 -o /tmp/evaluation-result-4509425-1751522007/solver-4509425-1751522007 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82247 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509425-1751522007.opb PROOFDIR/proof-4509425-1751522007
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83435, runsolver pid=83432
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 4.15 4.17 4.17 5/259 83437
/proc/meminfo: memFree=100389188/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=58180 memory=13644 CPUtime=0.04 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 1093 0 0 0 3 1 0 0 20 0 1 0 67879883 59576320 3411 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 14545 3411 2016 1147 0 1972 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 62372 KiB
Current children cumulated memory: 16716 KiB
[startup+0.21385 s]*
/proc/loadavg: 4.15 4.17 4.17 5/259 83437
/proc/meminfo: memFree=100384868/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=75268 memory=25612 CPUtime=0.15 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 4478 0 0 0 9 6 0 0 20 0 1 0 67879883 77074432 6403 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 18817 6403 2400 1147 0 6244 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 79460 KiB
Current children cumulated memory: 28684 KiB
[startup+0.31385 s]*
/proc/loadavg: 4.15 4.17 4.17 5/259 83437
/proc/meminfo: memFree=100384868/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=75428 memory=25740 CPUtime=0.25 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 4526 0 0 0 19 6 0 0 20 0 1 0 67879883 77238272 6435 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 18857 6435 2400 1147 0 6284 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 79620 KiB
Current children cumulated memory: 28812 KiB
[startup+0.700402 s]
/proc/loadavg: 4.15 4.17 4.17 5/259 83437
/proc/meminfo: memFree=100384868/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=76296 memory=26764 CPUtime=0.62 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 4773 0 0 0 54 8 0 0 20 0 1 0 67879883 78127104 6691 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 19074 6691 2400 1147 0 6501 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 80488 KiB
Current children cumulated memory: 29836 KiB
[startup+1.50039 s]
/proc/loadavg: 4.15 4.17 4.17 5/259 83437
/proc/meminfo: memFree=100381024/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=83620 memory=35896 CPUtime=1.42 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 5991 0 0 0 130 12 0 0 20 0 1 0 67879883 85626880 8974 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 20905 8974 2432 1147 0 8332 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 87812 KiB
Current children cumulated memory: 38968 KiB
[startup+3.11379 s]
/proc/loadavg: 4.14 4.17 4.17 5/259 83437
/proc/meminfo: memFree=100309200/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=149728 memory=100632 CPUtime=3.03 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 18088 0 0 0 285 18 0 0 20 0 1 0 67879883 153321472 25158 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 37432 25158 2432 1147 0 24859 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 153920 KiB
Current children cumulated memory: 103704 KiB
[startup+6.30038 s]
/proc/loadavg: 4.14 4.17 4.17 5/259 83437
/proc/meminfo: memFree=100155856/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=221556 memory=161040 CPUtime=6.2 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 31170 0 0 0 595 25 0 0 20 0 1 0 67879883 226873344 40260 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 55389 40260 2432 1147 0 42816 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 225748 KiB
Current children cumulated memory: 164112 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.16 4.17 5/259 83437
/proc/meminfo: memFree=99946444/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=387556 memory=300508 CPUtime=12.59 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 61442 0 0 0 1215 44 0 0 20 0 1 0 67879883 396857344 75127 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 96889 75127 2432 1147 0 84316 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 391748 KiB
Current children cumulated memory: 303580 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.16 4.17 5/259 83438
/proc/meminfo: memFree=99676840/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=469212 memory=398300 CPUtime=25.35 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 82481 0 0 0 2469 66 0 0 20 0 1 0 67879883 480473088 99575 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 117303 99575 2432 1147 0 104730 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 473404 KiB
Current children cumulated memory: 401372 KiB
[startup+51.1136 s]
/proc/loadavg: 4.12 4.16 4.17 5/259 83438
/proc/meminfo: memFree=99090720/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=654036 memory=545772 CPUtime=50.88 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 113722 0 0 0 4975 113 0 0 20 0 1 0 67879883 669732864 136443 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 163509 136443 2432 1147 0 150936 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 658228 KiB
Current children cumulated memory: 548844 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.18 4.18 5/259 83441
/proc/meminfo: memFree=97960864/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=929676 memory=810164 CPUtime=101.92 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 176929 0 0 0 9977 215 0 0 20 0 1 0 67879883 951988224 202541 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 232419 202541 2528 1147 0 219846 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 933868 KiB
Current children cumulated memory: 813236 KiB
[startup+162.3 s]
/proc/loadavg: 4.79 4.36 4.24 5/260 83446
/proc/meminfo: memFree=96963572/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=1103996 memory=942904 CPUtime=161.74 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 211566 0 0 0 15848 326 0 0 20 0 1 0 67879883 1130491904 235726 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 275999 235726 2560 1147 0 263426 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1108188 KiB
Current children cumulated memory: 945976 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 4.31 4.23 5/261 83449
/proc/meminfo: memFree=95597624/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=1615180 memory=1309420 CPUtime=221.57 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 271704 0 0 0 21745 412 0 0 20 0 1 0 67879883 1653944320 327355 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 403795 327355 2560 1147 0 391222 0
################
# More data... #
################
[pid=83437] ppid=83435 vsize=5561788 memory=4498932 CPUtime=3091.35 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 1001869 0 0 0 305394 3741 0 0 20 0 1 0 67879883 5695270912 1124733 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 1390447 1124733 2560 1147 0 1377874 0
Current children cumulated CPU time: 3091.35 s
Current children cumulated vsize: 5565980 KiB
Current children cumulated memory: 4502004 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 83798
/proc/meminfo: memFree=36158592/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=5589988 memory=4521428 CPUtime=3151.13 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 1008055 0 0 0 311303 3810 0 0 20 0 1 0 67879883 5724147712 1130357 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 1397497 1130357 2560 1147 0 1384924 0
Current children cumulated CPU time: 3151.13 s
Current children cumulated vsize: 5594180 KiB
Current children cumulated memory: 4524500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/261 83800
/proc/meminfo: memFree=34404576/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=5591768 memory=4577828 CPUtime=3210.8 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 1009447 0 0 0 317218 3862 0 0 20 0 1 0 67879883 5725970432 1144457 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 1397942 1144457 2560 1147 0 1385369 0
Current children cumulated CPU time: 3210.8 s
Current children cumulated vsize: 5595960 KiB
Current children cumulated memory: 4580900 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/261 83802
/proc/meminfo: memFree=33007100/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=5609176 memory=4613988 CPUtime=3270.61 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 1012251 0 0 0 323128 3933 0 0 20 0 1 0 67879883 5743796224 1153497 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 1402294 1153497 2560 1147 0 1389721 0
Current children cumulated CPU time: 3270.61 s
Current children cumulated vsize: 5613368 KiB
Current children cumulated memory: 4617060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.16 4.11 5/262 83805
/proc/meminfo: memFree=31776640/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=5609176 memory=4616548 CPUtime=3330.43 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 1012551 0 0 0 329044 3999 0 0 20 0 1 0 67879883 5743796224 1154137 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 1402294 1154137 2560 1147 0 1389721 0
Current children cumulated CPU time: 3330.43 s
Current children cumulated vsize: 5613368 KiB
Current children cumulated memory: 4619620 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/262 83808
/proc/meminfo: memFree=30860004/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=5609176 memory=4617700 CPUtime=3390.21 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 1012837 0 0 0 334971 4050 0 0 20 0 1 0 67879883 5743796224 1154425 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 1402294 1154425 2560 1147 0 1389721 0
Current children cumulated CPU time: 3390.21 s
Current children cumulated vsize: 5613368 KiB
Current children cumulated memory: 4620772 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 83817
/proc/meminfo: memFree=29513000/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=5640980 memory=4642532 CPUtime=3450.03 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 1019091 0 0 0 340887 4116 0 0 20 0 1 0 67879883 5776363520 1160633 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 1410245 1160633 2560 1147 0 1397672 0
Current children cumulated CPU time: 3450.03 s
Current children cumulated vsize: 5645172 KiB
Current children cumulated memory: 4645604 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 83819
/proc/meminfo: memFree=28258728/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=5640980 memory=4643044 CPUtime=3509.86 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 1019266 0 0 0 346800 4186 0 0 20 0 1 0 67879883 5776363520 1160761 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 1410245 1160761 2560 1147 0 1397672 0
Current children cumulated CPU time: 3509.86 s
Current children cumulated vsize: 5645172 KiB
Current children cumulated memory: 4646116 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 83821
/proc/meminfo: memFree=26663368/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=5640980 memory=4643428 CPUtime=3569.67 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 1019378 0 0 0 352711 4256 0 0 20 0 1 0 67879883 5776363520 1160857 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 1410245 1160857 2560 1147 0 1397672 0
Current children cumulated CPU time: 3569.67 s
Current children cumulated vsize: 5645172 KiB
Current children cumulated memory: 4646500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 83821
/proc/meminfo: memFree=25721348/131382112 swapFree=33005784/33010684
[pid=83435] ppid=83432 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83435/stat : 83435 (run-opt-log.sh) S 83432 83435 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67879882 4292608 768 18446744073709551615 94134974631936 94134975526469 140732024419072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94134975765520 94134975813264 94134993489920 140732024420641 140732024420836 140732024420836 140732024426438 0
/proc/83435/statm: 1048 768 704 219 0 110 0
[pid=83437] ppid=83435 vsize=5640980 memory=4643940 CPUtime=3600.09 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83435 83435 82234 0 -1 4194304 1019556 0 0 0 355717 4292 0 0 20 0 1 0 67879883 5776363520 1160985 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 1410245 1160985 2560 1147 0 1397672 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5645172 KiB
Current children cumulated memory: 4647012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.81 s]
# the end of solver process 83435 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000811 s, system=0.004052 s
[startup+3613.23 s]
# the end of solver process 83437 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3557.19 s, system=43.151 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 83821
/proc/meminfo: memFree=25724448/131382112 swapFree=33005784/33010684
[pid=83437] ppid=83432 vsize=4674464 memory=1148560 CPUtime=3600.29 cores=5,7
/proc/83437/stat : 83437 (roundingsat) R 83432 83435 82234 0 -1 4194304 1019559 0 0 0 355718 4311 0 0 20 0 1 0 67879883 4786651136 287140 18446744073709551615 4227072 8923433 140726446062000 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18845696 140726446070098 140726446070312 140726446070312 140726446075882 0
/proc/83437/statm: 1168616 287140 2592 1147 0 1156043 0
Current cumulated CPU time of completed processes: 0.004863 s
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 4674464 KiB
Current children cumulated memory: 1148560 KiB
Child status: 2
Real time (s): 3613.23
CPU time (s): 3600.34
CPU user time (s): 3557.19
CPU system time (s): 43.151
CPU usage (%): 99.6432
Max. virtual memory (cumulated for all children) (KiB): 5645172
Max. memory (cumulated for all children) (KiB): 4647012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.19
system time used= 43.151
maximum resident set size= 4644068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1019781
page faults= 0
swaps= 0
block input operations= 0
block output operations= 60593328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9865
involuntary context switches= 8872
# summary of solver processes directly reported to runsolver:
# pid: 83435,83437
# total CPU time (s): 3600.34
# total CPU user time (s): 3557.19
# total CPU system time (s): 43.151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4402 second user time and 39.0641 second system time
The end
Begin job on nodeC007 at 2025-07-03 07:53:27
IDJOB=4509425
IDBENCH=158618
IDSOLVER=3351
FILE ID=nodeC007/4509425-1751522007
RUNJOBID= nodeC007-1751514781-82247
SLURM_JOB_ID= 9598624
Free space on /tmp= 431008 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509425-1751522007/watcher-4509425-1751522007 -o /tmp/evaluation-result-4509425-1751522007/solver-4509425-1751522007 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82247 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509425-1751522007.opb PROOFDIR/proof-4509425-1751522007
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a65412b792c5c6c9e427350dbe88f8fc
RANDOM SEED=1622229708
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3495.830
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.050
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.541
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.713
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.193
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.790
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 100388936 kB
MemAvailable: 116084836 kB
Buffers: 16 kB
Cached: 16365480 kB
SwapCached: 252 kB
Active: 13955500 kB
Inactive: 16140040 kB
Active(anon): 13695732 kB
Inactive(anon): 47904 kB
Active(file): 259768 kB
Inactive(file): 16092136 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 39748 kB
Writeback: 28 kB
AnonPages: 13731576 kB
Mapped: 112220 kB
Shmem: 13504 kB
KReclaimable: 367248 kB
Slab: 458360 kB
SReclaimable: 367248 kB
SUnreclaim: 91112 kB
KernelStack: 4188 kB
PageTables: 31656 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 17377868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4315136 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431012 MiB
End job on nodeC007 at 2025-07-03 08:53:41