0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 5568 #constraints 412
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 67 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.008871
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.010396
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.010797
0.00/0.04 c GLOBAL bounds - >= 15 @ 0.010846
1.67/1.70 c #Conflicts: 1000 | #Constraints: 1414
1.67/1.70 c #Conflicts: 2000 | #Constraints: 2435
1.67/1.70 c INPROCESSING
1.67/1.70 c GARBAGE COLLECT
1.67/1.70 c rational objective 15
7.26/7.30 c #Conflicts: 3000 | #Constraints: 2439
7.26/7.30 c #Conflicts: 4000 | #Constraints: 3442
7.26/7.30 c INPROCESSING
7.26/7.30 c GARBAGE COLLECT
7.26/7.30 c rational objective 15
16.14/16.28 c #Conflicts: 5000 | #Constraints: 2840
16.14/16.28 c #Conflicts: 6000 | #Constraints: 3841
16.14/16.28 c INPROCESSING
16.14/16.28 c GARBAGE COLLECT
16.14/16.28 c rational objective 15
23.22/23.38 c #Conflicts: 7000 | #Constraints: 2841
23.22/23.38 c #Conflicts: 8000 | #Constraints: 3841
23.22/23.38 c #Conflicts: 9000 | #Constraints: 4841
23.22/23.38 c INPROCESSING
23.22/23.38 c GARBAGE COLLECT
23.22/23.38 c rational objective 15
32.29/32.42 c #Conflicts: 10000 | #Constraints: 3539
32.29/32.42 c #Conflicts: 11000 | #Constraints: 4539
32.29/32.42 c #Conflicts: 12000 | #Constraints: 5540
32.29/32.42 c INPROCESSING
32.29/32.42 c GARBAGE COLLECT
32.29/32.42 c rational objective 15
41.17/41.34 c #Conflicts: 13000 | #Constraints: 3983
41.17/41.34 c #Conflicts: 14000 | #Constraints: 4983
41.17/41.34 c #Conflicts: 15000 | #Constraints: 5983
41.17/41.34 c INPROCESSING
41.17/41.34 c GARBAGE COLLECT
41.17/41.34 c rational objective 15
51.74/51.94 c #Conflicts: 16000 | #Constraints: 4215
51.74/51.94 c #Conflicts: 17000 | #Constraints: 5215
51.74/51.94 c #Conflicts: 18000 | #Constraints: 6215
51.74/51.94 c INPROCESSING
51.74/51.94 c GARBAGE COLLECT
51.74/51.94 c rational objective 15
64.11/64.32 c #Conflicts: 19000 | #Constraints: 4231
64.11/64.32 c #Conflicts: 20000 | #Constraints: 5231
64.11/64.32 c #Conflicts: 21000 | #Constraints: 6232
64.11/64.32 c INPROCESSING
64.11/64.32 c GARBAGE COLLECT
64.11/64.32 c rational objective 15
85.76/86.10 c #Conflicts: 22000 | #Constraints: 4046
85.76/86.10 c #Conflicts: 23000 | #Constraints: 5057
85.76/86.10 c #Conflicts: 24000 | #Constraints: 6063
85.76/86.10 c #Conflicts: 25000 | #Constraints: 7073
85.76/86.10 c INPROCESSING
85.76/86.10 c GARBAGE COLLECT
85.76/86.10 c #Conflicts: 26000 | #Constraints: 4655
85.76/86.10 c #Conflicts: 27000 | #Constraints: 5672
85.76/86.10 c #Conflicts: 28000 | #Constraints: 6688
85.76/86.10 c #Conflicts: 29000 | #Constraints: 7767
85.76/86.10 c INPROCESSING
85.76/86.10 c GARBAGE COLLECT
85.76/86.10 c rational objective 15
101.72/102.09 c #Conflicts: 30000 | #Constraints: 5101
101.72/102.09 c #Conflicts: 31000 | #Constraints: 6104
101.72/102.09 c #Conflicts: 32000 | #Constraints: 7106
101.72/102.09 c #Conflicts: 33000 | #Constraints: 8113
101.72/102.09 c INPROCESSING
101.72/102.09 c GARBAGE COLLECT
101.72/102.09 c rational objective 15
113.38/113.73 c #Conflicts: 34000 | #Constraints: 5285
113.38/113.73 c #Conflicts: 35000 | #Constraints: 6286
113.38/113.73 c #Conflicts: 36000 | #Constraints: 7288
113.38/113.73 c #Conflicts: 37000 | #Constraints: 8302
113.38/113.73 c INPROCESSING
113.38/113.73 c GARBAGE COLLECT
113.38/113.73 c rational objective 15
127.95/128.36 c #Conflicts: 38000 | #Constraints: 5297
127.95/128.36 c #Conflicts: 39000 | #Constraints: 6298
127.95/128.36 c #Conflicts: 40000 | #Constraints: 7298
127.95/128.36 c #Conflicts: 41000 | #Constraints: 8299
127.95/128.36 c INPROCESSING
127.95/128.36 c GARBAGE COLLECT
127.95/128.36 c rational objective 15
137.12/137.54 c #Conflicts: 42000 | #Constraints: 5085
137.12/137.54 c #Conflicts: 43000 | #Constraints: 6086
137.12/137.54 c #Conflicts: 44000 | #Constraints: 7087
137.12/137.54 c #Conflicts: 45000 | #Constraints: 8087
137.12/137.54 c #Conflicts: 46000 | #Constraints: 9088
137.12/137.54 c INPROCESSING
137.12/137.54 c GARBAGE COLLECT
137.12/137.54 c rational objective 15
146.30/146.73 c #Conflicts: 47000 | #Constraints: 5680
146.30/146.73 c #Conflicts: 48000 | #Constraints: 6682
146.30/146.73 c #Conflicts: 49000 | #Constraints: 7693
146.30/146.73 c #Conflicts: 50000 | #Constraints: 8693
146.30/146.73 c #Conflicts: 51000 | #Constraints: 9694
146.30/146.73 c INPROCESSING
146.30/146.73 c GARBAGE COLLECT
146.30/146.73 c rational objective 15
156.57/157.07 c #Conflicts: 52000 | #Constraints: 6070
156.57/157.07 c #Conflicts: 53000 | #Constraints: 7071
156.57/157.07 c #Conflicts: 54000 | #Constraints: 8074
156.57/157.07 c #Conflicts: 55000 | #Constraints: 9074
156.57/157.07 c #Conflicts: 56000 | #Constraints: 10078
156.57/157.07 c INPROCESSING
156.57/157.07 c GARBAGE COLLECT
156.57/157.07 c rational objective 15
165.65/166.18 c #Conflicts: 57000 | #Constraints: 6259
165.65/166.18 c #Conflicts: 58000 | #Constraints: 7269
165.65/166.18 c #Conflicts: 59000 | #Constraints: 8292
165.65/166.18 c #Conflicts: 60000 | #Constraints: 9317
165.65/166.18 c #Conflicts: 61000 | #Constraints: 10404
165.65/166.18 c INPROCESSING
165.65/166.18 c GARBAGE COLLECT
165.65/166.18 c rational objective 15
174.22/174.72 c #Conflicts: 62000 | #Constraints: 6321
174.22/174.72 c #Conflicts: 63000 | #Constraints: 7321
174.22/174.72 c #Conflicts: 64000 | #Constraints: 8322
174.22/174.72 c #Conflicts: 65000 | #Constraints: 9323
174.22/174.72 c #Conflicts: 66000 | #Constraints: 10607
174.22/174.72 c INPROCESSING
174.22/174.72 c GARBAGE COLLECT
174.22/174.72 c rational objective 15
181.30/181.88 c #Conflicts: 67000 | #Constraints: 6361
181.30/181.88 c #Conflicts: 68000 | #Constraints: 7361
181.30/181.88 c #Conflicts: 69000 | #Constraints: 8361
181.30/181.88 c #Conflicts: 70000 | #Constraints: 9361
181.30/181.88 c #Conflicts: 71000 | #Constraints: 10396
181.30/181.88 c #Conflicts: 72000 | #Constraints: 11396
181.30/181.88 c INPROCESSING
181.30/181.88 c rational objective 15
190.78/191.39 c #Conflicts: 73000 | #Constraints: 6821
190.78/191.39 c #Conflicts: 74000 | #Constraints: 7822
190.78/191.39 c #Conflicts: 75000 | #Constraints: 9286
190.78/191.39 c #Conflicts: 76000 | #Constraints: 10655
190.78/191.39 c #Conflicts: 77000 | #Constraints: 11791
190.78/191.39 c #Conflicts: 78000 | #Constraints: 13572
190.78/191.39 c INPROCESSING
190.78/191.39 c GARBAGE COLLECT
190.78/191.39 c rational objective 15
198.16/198.75 c #Conflicts: 79000 | #Constraints: 8011
198.16/198.75 c #Conflicts: 80000 | #Constraints: 9011
198.16/198.75 c #Conflicts: 81000 | #Constraints: 10011
198.16/198.75 c #Conflicts: 82000 | #Constraints: 11011
198.16/198.75 c #Conflicts: 83000 | #Constraints: 12011
198.16/198.75 c #Conflicts: 84000 | #Constraints: 13011
198.16/198.75 c INPROCESSING
198.16/198.75 c GARBAGE COLLECT
198.16/198.75 c rational objective 15
208.24/208.81 c #Conflicts: 85000 | #Constraints: 7730
208.24/208.81 c #Conflicts: 86000 | #Constraints: 8732
208.24/208.81 c #Conflicts: 87000 | #Constraints: 9732
208.24/208.81 c #Conflicts: 88000 | #Constraints: 10732
208.24/208.81 c #Conflicts: 89000 | #Constraints: 11732
208.24/208.81 c #Conflicts: 90000 | #Constraints: 12732
208.24/208.81 c INPROCESSING
208.24/208.81 c GARBAGE COLLECT
208.24/208.81 c rational objective 15
227.30/227.91 c #Conflicts: 91000 | #Constraints: 7487
227.30/227.91 c #Conflicts: 92000 | #Constraints: 8487
227.30/227.91 c #Conflicts: 93000 | #Constraints: 9487
227.30/227.91 c #Conflicts: 94000 | #Constraints: 10487
227.30/227.91 c #Conflicts: 95000 | #Constraints: 11487
227.30/227.91 c #Conflicts: 96000 | #Constraints: 12490
227.30/227.91 c INPROCESSING
227.30/227.91 c GARBAGE COLLECT
227.30/227.91 c #Conflicts: 97000 | #Constraints: 7174
227.30/227.91 c #Conflicts: 98000 | #Constraints: 8661
227.30/227.91 c #Conflicts: 99000 | #Constraints: 10123
227.30/227.91 c #Conflicts: 100000 | #Constraints: 11682
227.30/227.91 c #Conflicts: 101000 | #Constraints: 13259
227.30/227.91 c #Conflicts: 102000 | #Constraints: 14761
227.30/227.91 c #Conflicts: 103000 | #Constraints: 16245
227.30/227.91 c INPROCESSING
227.30/227.91 c GARBAGE COLLECT
227.30/227.91 c rational objective 15
260.61/261.37 c #Conflicts: 104000 | #Constraints: 9270
260.61/261.37 c #Conflicts: 105000 | #Constraints: 10276
260.61/261.37 c #Conflicts: 106000 | #Constraints: 11278
260.61/261.37 c #Conflicts: 107000 | #Constraints: 12278
260.61/261.37 c #Conflicts: 108000 | #Constraints: 13278
260.61/261.37 c #Conflicts: 109000 | #Constraints: 14279
260.61/261.37 c #Conflicts: 110000 | #Constraints: 15315
260.61/261.37 c INPROCESSING
260.61/261.37 c GARBAGE COLLECT
260.61/261.37 c rational objective 15
321.27/322.18 c #Conflicts: 111000 | #Constraints: 8880
321.27/322.18 c #Conflicts: 112000 | #Constraints: 9885
321.27/322.18 c #Conflicts: 113000 | #Constraints: 10885
321.27/322.18 c #Conflicts: 114000 | #Constraints: 11888
321.27/322.18 c #Conflicts: 115000 | #Constraints: 12892
321.27/322.18 c #Conflicts: 116000 | #Constraints: 13897
321.27/322.18 c #Conflicts: 117000 | #Constraints: 14909
321.27/322.18 c INPROCESSING
321.27/322.18 c GARBAGE COLLECT
321.27/322.18 c rational objective 15
343.90/344.87 c #Conflicts: 118000 | #Constraints: 8678
343.90/344.87 c #Conflicts: 119000 | #Constraints: 9678
343.90/344.87 c #Conflicts: 120000 | #Constraints: 10678
343.90/344.87 c #Conflicts: 121000 | #Constraints: 11678
343.90/344.87 c #Conflicts: 122000 | #Constraints: 12678
343.90/344.87 c #Conflicts: 123000 | #Constraints: 13678
343.90/344.87 c #Conflicts: 124000 | #Constraints: 14678
343.90/344.87 c INPROCESSING
343.90/344.87 c GARBAGE COLLECT
343.90/344.87 c rational objective 15
357.87/358.81 c #Conflicts: 125000 | #Constraints: 8460
357.87/358.81 c #Conflicts: 126000 | #Constraints: 9460
357.87/358.81 c #Conflicts: 127000 | #Constraints: 10461
357.87/358.81 c #Conflicts: 128000 | #Constraints: 11463
357.87/358.81 c #Conflicts: 129000 | #Constraints: 12470
357.87/358.81 c #Conflicts: 130000 | #Constraints: 13476
357.87/358.81 c #Conflicts: 131000 | #Constraints: 14478
357.87/358.81 c INPROCESSING
357.87/358.81 c GARBAGE COLLECT
357.87/358.81 c rational objective 15
373.34/374.30 c #Conflicts: 132000 | #Constraints: 8175
373.34/374.30 c #Conflicts: 133000 | #Constraints: 9175
373.34/374.30 c #Conflicts: 134000 | #Constraints: 10175
373.34/374.30 c #Conflicts: 135000 | #Constraints: 11175
373.34/374.30 c #Conflicts: 136000 | #Constraints: 12175
373.34/374.30 c #Conflicts: 137000 | #Constraints: 13175
373.34/374.30 c #Conflicts: 138000 | #Constraints: 14175
373.34/374.30 c #Conflicts: 139000 | #Constraints: 15175
373.34/374.30 c INPROCESSING
373.34/374.30 c GARBAGE COLLECT
373.34/374.30 c rational objective 15
398.77/399.83 c #Conflicts: 140000 | #Constraints: 8714
398.77/399.83 c #Conflicts: 141000 | #Constraints: 9714
398.77/399.83 c #Conflicts: 142000 | #Constraints: 10716
398.77/399.83 c #Conflicts: 143000 | #Constraints: 11719
398.77/399.83 c #Conflicts: 144000 | #Constraints: 12745
398.77/399.83 c #Conflicts: 145000 | #Constraints: 13746
398.77/399.83 c #Conflicts: 146000 | #Constraints: 14747
398.77/399.83 c #Conflicts: 147000 | #Constraints: 15747
398.77/399.83 c INPROCESSING
398.77/399.83 c GARBAGE COLLECT
398.77/399.83 c rational objective 15
442.46/443.68 c #Conflicts: 148000 | #Constraints: 9132
442.46/443.68 c #Conflicts: 149000 | #Constraints: 10140
442.46/443.68 c #Conflicts: 150000 | #Constraints: 11144
442.46/443.68 c #Conflicts: 151000 | #Constraints: 12146
442.46/443.68 c #Conflicts: 152000 | #Constraints: 13146
442.46/443.68 c #Conflicts: 153000 | #Constraints: 14147
442.46/443.68 c #Conflicts: 154000 | #Constraints: 15148
442.46/443.68 c #Conflicts: 155000 | #Constraints: 16149
442.46/443.68 c INPROCESSING
442.46/443.68 c GARBAGE COLLECT
442.46/443.68 c rational objective 15
490.34/491.65 c #Conflicts: 156000 | #Constraints: 9314
490.34/491.65 c #Conflicts: 157000 | #Constraints: 10314
490.34/491.65 c #Conflicts: 158000 | #Constraints: 11314
490.34/491.65 c #Conflicts: 159000 | #Constraints: 12314
490.34/491.65 c #Conflicts: 160000 | #Constraints: 13314
490.34/491.65 c #Conflicts: 161000 | #Constraints: 14314
490.34/491.65 c #Conflicts: 162000 | #Constraints: 15316
490.34/491.65 c #Conflicts: 163000 | #Constraints: 16316
490.34/491.65 c INPROCESSING
490.34/491.65 c GARBAGE COLLECT
490.34/491.65 c rational objective 15
518.37/519.73 c #Conflicts: 164000 | #Constraints: 9292
518.37/519.73 c #Conflicts: 165000 | #Constraints: 10366
518.37/519.73 c #Conflicts: 166000 | #Constraints: 11366
518.37/519.73 c #Conflicts: 167000 | #Constraints: 12366
518.37/519.73 c #Conflicts: 168000 | #Constraints: 13366
518.37/519.73 c #Conflicts: 169000 | #Constraints: 14370
518.37/519.73 c #Conflicts: 170000 | #Constraints: 15370
518.37/519.73 c #Conflicts: 171000 | #Constraints: 16370
518.37/519.73 c INPROCESSING
518.37/519.73 c GARBAGE COLLECT
518.37/519.73 c rational objective 15
545.20/546.66 c #Conflicts: 172000 | #Constraints: 9123
545.20/546.66 c #Conflicts: 173000 | #Constraints: 10123
545.20/546.66 c #Conflicts: 174000 | #Constraints: 11123
545.20/546.66 c #Conflicts: 175000 | #Constraints: 12123
545.20/546.66 c #Conflicts: 176000 | #Constraints: 13123
545.20/546.66 c #Conflicts: 177000 | #Constraints: 14123
545.20/546.66 c #Conflicts: 178000 | #Constraints: 15123
545.20/546.66 c #Conflicts: 179000 | #Constraints: 16123
545.20/546.66 c #Conflicts: 180000 | #Constraints: 17123
545.20/546.66 c INPROCESSING
545.20/546.66 c GARBAGE COLLECT
545.20/546.66 c rational objective 15
580.41/581.92 c #Conflicts: 181000 | #Constraints: 9706
580.41/581.92 c #Conflicts: 182000 | #Constraints: 10710
580.41/581.92 c #Conflicts: 183000 | #Constraints: 11713
580.41/581.92 c #Conflicts: 184000 | #Constraints: 12716
580.41/581.92 c #Conflicts: 185000 | #Constraints: 13719
580.41/581.92 c #Conflicts: 186000 | #Constraints: 14721
580.41/581.92 c #Conflicts: 187000 | #Constraints: 15723
580.41/581.92 c #Conflicts: 188000 | #Constraints: 16723
580.41/581.92 c #Conflicts: 189000 | #Constraints: 17723
580.41/581.92 c INPROCESSING
580.41/581.92 c GARBAGE COLLECT
580.41/581.92 c rational objective 15
698.21/700.10 c #Conflicts: 190000 | #Constraints: 10183
698.21/700.10 c #Conflicts: 191000 | #Constraints: 11184
698.21/700.10 c #Conflicts: 192000 | #Constraints: 12184
698.21/700.10 c #Conflicts: 193000 | #Constraints: 13184
698.21/700.10 c #Conflicts: 194000 | #Constraints: 14184
698.21/700.10 c #Conflicts: 195000 | #Constraints: 15184
698.21/700.10 c #Conflicts: 196000 | #Constraints: 16184
698.21/700.10 c #Conflicts: 197000 | #Constraints: 17184
698.21/700.10 c #Conflicts: 198000 | #Constraints: 18184
698.21/700.10 c INPROCESSING
698.21/700.10 c GARBAGE COLLECT
698.21/700.10 c #Conflicts: 199000 | #Constraints: 10323
698.21/700.10 c #Conflicts: 200000 | #Constraints: 11323
698.21/700.10 c #Conflicts: 201000 | #Constraints: 12323
698.21/700.10 c #Conflicts: 202000 | #Constraints: 13324
698.21/700.10 c #Conflicts: 203000 | #Constraints: 14324
698.21/700.10 c #Conflicts: 204000 | #Constraints: 15324
698.21/700.10 c #Conflicts: 205000 | #Constraints: 16325
698.21/700.10 c #Conflicts: 206000 | #Constraints: 17325
698.21/700.10 c #Conflicts: 207000 | #Constraints: 18325
698.21/700.10 c INPROCESSING
698.21/700.10 c GARBAGE COLLECT
698.21/700.10 c rational objective 15
757.34/759.30 c #Conflicts: 208000 | #Constraints: 10304
757.34/759.30 c #Conflicts: 209000 | #Constraints: 11304
757.34/759.30 c #Conflicts: 210000 | #Constraints: 12304
757.34/759.30 c #Conflicts: 211000 | #Constraints: 13304
757.34/759.30 c #Conflicts: 212000 | #Constraints: 14304
757.34/759.30 c #Conflicts: 213000 | #Constraints: 15313
757.34/759.30 c #Conflicts: 214000 | #Constraints: 16313
757.34/759.30 c #Conflicts: 215000 | #Constraints: 17314
757.34/759.30 c #Conflicts: 216000 | #Constraints: 18315
757.34/759.30 c INPROCESSING
757.34/759.30 c GARBAGE COLLECT
757.34/759.30 c rational objective 15
834.55/836.70 c #Conflicts: 217000 | #Constraints: 10091
834.55/836.70 c #Conflicts: 218000 | #Constraints: 11091
834.55/836.70 c #Conflicts: 219000 | #Constraints: 12091
834.55/836.70 c #Conflicts: 220000 | #Constraints: 13091
834.55/836.70 c #Conflicts: 221000 | #Constraints: 14302
834.55/836.70 c #Conflicts: 222000 | #Constraints: 15306
834.55/836.70 c #Conflicts: 223000 | #Constraints: 16325
834.55/836.70 c #Conflicts: 224000 | #Constraints: 17325
834.55/836.70 c #Conflicts: 225000 | #Constraints: 18325
834.55/836.70 c #Conflicts: 226000 | #Constraints: 19325
834.55/836.70 c INPROCESSING
834.55/836.70 c GARBAGE COLLECT
834.55/836.70 c rational objective 15
909.85/912.26 c #Conflicts: 227000 | #Constraints: 10807
909.85/912.26 c #Conflicts: 228000 | #Constraints: 11811
909.85/912.26 c #Conflicts: 229000 | #Constraints: 12811
909.85/912.26 c #Conflicts: 230000 | #Constraints: 13823
909.85/912.26 c #Conflicts: 231000 | #Constraints: 14823
909.85/912.26 c #Conflicts: 232000 | #Constraints: 15823
909.85/912.26 c #Conflicts: 233000 | #Constraints: 16824
909.85/912.26 c #Conflicts: 234000 | #Constraints: 17826
909.85/912.26 c #Conflicts: 235000 | #Constraints: 18827
909.85/912.26 c #Conflicts: 236000 | #Constraints: 19827
909.85/912.26 c INPROCESSING
909.85/912.26 c GARBAGE COLLECT
909.85/912.26 c rational objective 15
940.96/943.42 c #Conflicts: 237000 | #Constraints: 11134
940.96/943.42 c #Conflicts: 238000 | #Constraints: 12134
940.96/943.42 c #Conflicts: 239000 | #Constraints: 13453
940.96/943.42 c #Conflicts: 240000 | #Constraints: 14689
940.96/943.42 c #Conflicts: 241000 | #Constraints: 15919
940.96/943.42 c #Conflicts: 242000 | #Constraints: 17433
940.96/943.42 c #Conflicts: 243000 | #Constraints: 18513
940.96/943.42 c #Conflicts: 244000 | #Constraints: 19515
940.96/943.42 c #Conflicts: 245000 | #Constraints: 20516
940.96/943.42 c #Conflicts: 246000 | #Constraints: 21517
940.96/943.42 c INPROCESSING
940.96/943.42 c GARBAGE COLLECT
940.96/943.42 c rational objective 15
1023.23/1025.93 c #Conflicts: 247000 | #Constraints: 11982
1023.23/1025.93 c #Conflicts: 248000 | #Constraints: 12982
1023.23/1025.93 c #Conflicts: 249000 | #Constraints: 13982
1023.23/1025.93 c #Conflicts: 250000 | #Constraints: 14982
1023.23/1025.93 c #Conflicts: 251000 | #Constraints: 15982
1023.23/1025.93 c #Conflicts: 252000 | #Constraints: 16982
1023.23/1025.93 c #Conflicts: 253000 | #Constraints: 17982
1023.23/1025.93 c #Conflicts: 254000 | #Constraints: 18982
1023.23/1025.93 c #Conflicts: 255000 | #Constraints: 19982
1023.23/1025.93 c #Conflicts: 256000 | #Constraints: 20982
1023.23/1025.93 c INPROCESSING
1023.23/1025.93 c GARBAGE COLLECT
1023.23/1025.93 c rational objective 15
1165.94/1169.06 c #Conflicts: 257000 | #Constraints: 11615
1165.94/1169.06 c #Conflicts: 258000 | #Constraints: 12616
1165.94/1169.06 c #Conflicts: 259000 | #Constraints: 13616
1165.94/1169.06 c #Conflicts: 260000 | #Constraints: 14616
1165.94/1169.06 c #Conflicts: 261000 | #Constraints: 15616
1165.94/1169.06 c #Conflicts: 262000 | #Constraints: 16616
1165.94/1169.06 c #Conflicts: 263000 | #Constraints: 17616
1165.94/1169.06 c #Conflicts: 264000 | #Constraints: 18618
1165.94/1169.06 c #Conflicts: 265000 | #Constraints: 19619
1165.94/1169.06 c #Conflicts: 266000 | #Constraints: 20628
1165.94/1169.06 c INPROCESSING
1165.94/1169.06 c GARBAGE COLLECT
1165.94/1169.06 c #Conflicts: 267000 | #Constraints: 11239
1165.94/1169.06 c #Conflicts: 268000 | #Constraints: 12239
1165.94/1169.06 c #Conflicts: 269000 | #Constraints: 13239
1165.94/1169.06 c #Conflicts: 270000 | #Constraints: 14239
1165.94/1169.06 c #Conflicts: 271000 | #Constraints: 15239
1165.94/1169.06 c #Conflicts: 272000 | #Constraints: 16239
1165.94/1169.06 c #Conflicts: 273000 | #Constraints: 17239
1165.94/1169.06 c #Conflicts: 274000 | #Constraints: 18239
1165.94/1169.06 c #Conflicts: 275000 | #Constraints: 19239
1165.94/1169.06 c #Conflicts: 276000 | #Constraints: 20239
1165.94/1169.06 c #Conflicts: 277000 | #Constraints: 21239
1165.94/1169.06 c INPROCESSING
1165.94/1169.06 c GARBAGE COLLECT
1165.94/1169.06 c rational objective 15
1269.06/1272.41 c #Conflicts: 278000 | #Constraints: 11741
1269.06/1272.41 c #Conflicts: 279000 | #Constraints: 12741
1269.06/1272.41 c #Conflicts: 280000 | #Constraints: 13741
1269.06/1272.41 c #Conflicts: 281000 | #Constraints: 14741
1269.06/1272.41 c #Conflicts: 282000 | #Constraints: 15741
1269.06/1272.41 c #Conflicts: 283000 | #Constraints: 16741
1269.06/1272.41 c #Conflicts: 284000 | #Constraints: 17741
1269.06/1272.41 c #Conflicts: 285000 | #Constraints: 18741
1269.06/1272.41 c #Conflicts: 286000 | #Constraints: 19742
1269.06/1272.41 c #Conflicts: 287000 | #Constraints: 20742
1269.06/1272.41 c #Conflicts: 288000 | #Constraints: 21742
1269.06/1272.41 c INPROCESSING
1269.06/1272.41 c GARBAGE COLLECT
1269.06/1272.41 c rational objective 15
1387.96/1391.63 c #Conflicts: 289000 | #Constraints: 12097
1387.96/1391.63 c #Conflicts: 290000 | #Constraints: 13097
1387.96/1391.63 c #Conflicts: 291000 | #Constraints: 14097
1387.96/1391.63 c #Conflicts: 292000 | #Constraints: 15097
1387.96/1391.63 c #Conflicts: 293000 | #Constraints: 16097
1387.96/1391.63 c #Conflicts: 294000 | #Constraints: 17100
1387.96/1391.63 c #Conflicts: 295000 | #Constraints: 18102
1387.96/1391.63 c #Conflicts: 296000 | #Constraints: 19103
1387.96/1391.63 c #Conflicts: 297000 | #Constraints: 20103
1387.96/1391.63 c #Conflicts: 298000 | #Constraints: 21103
1387.96/1391.63 c #Conflicts: 299000 | #Constraints: 22103
1387.96/1391.63 c INPROCESSING
1387.96/1391.63 c GARBAGE COLLECT
1387.96/1391.63 c #Conflicts: 300000 | #Constraints: 12261
1387.96/1391.63 c #Conflicts: 301000 | #Constraints: 13261
1387.96/1391.63 c #Conflicts: 302000 | #Constraints: 14261
1387.96/1391.63 c #Conflicts: 303000 | #Constraints: 15415
1387.96/1391.63 c #Conflicts: 304000 | #Constraints: 16590
1387.96/1391.63 c #Conflicts: 305000 | #Constraints: 17599
1387.96/1391.63 c #Conflicts: 306000 | #Constraints: 18643
1387.96/1391.63 c #Conflicts: 307000 | #Constraints: 19643
1387.96/1391.63 c #Conflicts: 308000 | #Constraints: 20644
1387.96/1391.63 c #Conflicts: 309000 | #Constraints: 21748
1387.96/1391.63 c #Conflicts: 310000 | #Constraints: 22877
1387.96/1391.63 c INPROCESSING
1387.96/1391.63 c GARBAGE COLLECT
1387.96/1391.63 c rational objective 15
1748.03/1752.66 c #Conflicts: 311000 | #Constraints: 12565
1748.03/1752.66 c #Conflicts: 312000 | #Constraints: 13566
1748.03/1752.66 c #Conflicts: 313000 | #Constraints: 14572
1748.03/1752.66 c #Conflicts: 314000 | #Constraints: 15572
1748.03/1752.66 c #Conflicts: 315000 | #Constraints: 16572
1748.03/1752.66 c #Conflicts: 316000 | #Constraints: 17572
1748.03/1752.66 c #Conflicts: 317000 | #Constraints: 18572
1748.03/1752.66 c #Conflicts: 318000 | #Constraints: 19572
1748.03/1752.66 c #Conflicts: 319000 | #Constraints: 20572
1748.03/1752.66 c #Conflicts: 320000 | #Constraints: 21572
1748.03/1752.66 c #Conflicts: 321000 | #Constraints: 22572
1748.03/1752.66 c INPROCESSING
1748.03/1752.66 c GARBAGE COLLECT
1748.03/1752.66 c #Conflicts: 322000 | #Constraints: 12200
1748.03/1752.66 c #Conflicts: 323000 | #Constraints: 13200
1748.03/1752.66 c #Conflicts: 324000 | #Constraints: 14200
1748.03/1752.66 c #Conflicts: 325000 | #Constraints: 15202
1748.03/1752.66 c #Conflicts: 326000 | #Constraints: 16202
1748.03/1752.66 c #Conflicts: 327000 | #Constraints: 17204
1748.03/1752.66 c #Conflicts: 328000 | #Constraints: 18273
1748.03/1752.66 c #Conflicts: 329000 | #Constraints: 19274
1748.03/1752.66 c #Conflicts: 330000 | #Constraints: 20274
1748.03/1752.66 c #Conflicts: 331000 | #Constraints: 21274
1748.03/1752.66 c #Conflicts: 332000 | #Constraints: 22274
1748.03/1752.66 c #Conflicts: 333000 | #Constraints: 23274
1748.03/1752.66 c INPROCESSING
1748.03/1752.66 c GARBAGE COLLECT
1748.03/1752.66 c #Conflicts: 334000 | #Constraints: 12748
1748.03/1752.66 c #Conflicts: 335000 | #Constraints: 13748
1748.03/1752.66 c #Conflicts: 336000 | #Constraints: 14749
1748.03/1752.66 c #Conflicts: 337000 | #Constraints: 15752
1748.03/1752.66 c #Conflicts: 338000 | #Constraints: 16752
1748.03/1752.66 c #Conflicts: 339000 | #Constraints: 17753
1748.03/1752.66 c #Conflicts: 340000 | #Constraints: 18753
1748.03/1752.66 c #Conflicts: 341000 | #Constraints: 19753
1748.03/1752.66 c #Conflicts: 342000 | #Constraints: 20753
1748.03/1752.66 c #Conflicts: 343000 | #Constraints: 21753
1748.03/1752.66 c #Conflicts: 344000 | #Constraints: 22756
1748.03/1752.66 c #Conflicts: 345000 | #Constraints: 23759
1748.03/1752.66 c INPROCESSING
1748.03/1752.66 c GARBAGE COLLECT
1748.03/1752.66 c rational objective 15
1862.34/1867.22 c #Conflicts: 346000 | #Constraints: 13101
1862.34/1867.22 c #Conflicts: 347000 | #Constraints: 14102
1862.34/1867.22 c #Conflicts: 348000 | #Constraints: 15102
1862.34/1867.22 c #Conflicts: 349000 | #Constraints: 16102
1862.34/1867.22 c #Conflicts: 350000 | #Constraints: 17102
1862.34/1867.22 c #Conflicts: 351000 | #Constraints: 18102
1862.34/1867.22 c #Conflicts: 352000 | #Constraints: 19102
1862.34/1867.22 c #Conflicts: 353000 | #Constraints: 20102
1862.34/1867.22 c #Conflicts: 354000 | #Constraints: 21102
1862.34/1867.22 c #Conflicts: 355000 | #Constraints: 22105
1862.34/1867.22 c #Conflicts: 356000 | #Constraints: 23106
1862.34/1867.22 c #Conflicts: 357000 | #Constraints: 24106
1862.34/1867.22 c INPROCESSING
1862.34/1867.22 c GARBAGE COLLECT
1862.34/1867.22 c rational objective 15
1928.39/1933.44 c #Conflicts: 358000 | #Constraints: 13276
1928.39/1933.44 c #Conflicts: 359000 | #Constraints: 14276
1928.39/1933.44 c #Conflicts: 360000 | #Constraints: 15276
1928.39/1933.44 c #Conflicts: 361000 | #Constraints: 16280
1928.39/1933.44 c #Conflicts: 362000 | #Constraints: 17280
1928.39/1933.44 c #Conflicts: 363000 | #Constraints: 18280
1928.39/1933.44 c #Conflicts: 364000 | #Constraints: 19280
1928.39/1933.44 c #Conflicts: 365000 | #Constraints: 20280
1928.39/1933.44 c #Conflicts: 366000 | #Constraints: 21280
1928.39/1933.44 c #Conflicts: 367000 | #Constraints: 22284
1928.39/1933.44 c #Conflicts: 368000 | #Constraints: 23286
1928.39/1933.44 c #Conflicts: 369000 | #Constraints: 24287
1928.39/1933.44 c INPROCESSING
1928.39/1933.44 c GARBAGE COLLECT
1928.39/1933.44 c rational objective 15
2028.82/2034.18 c #Conflicts: 370000 | #Constraints: 13266
2028.82/2034.18 c #Conflicts: 371000 | #Constraints: 14266
2028.82/2034.18 c #Conflicts: 372000 | #Constraints: 15287
2028.82/2034.18 c #Conflicts: 373000 | #Constraints: 16287
2028.82/2034.18 c #Conflicts: 374000 | #Constraints: 17287
2028.82/2034.18 c #Conflicts: 375000 | #Constraints: 18287
2028.82/2034.18 c #Conflicts: 376000 | #Constraints: 19287
2028.82/2034.18 c #Conflicts: 377000 | #Constraints: 20287
2028.82/2034.18 c #Conflicts: 378000 | #Constraints: 21287
2028.82/2034.18 c #Conflicts: 379000 | #Constraints: 22287
2028.82/2034.18 c #Conflicts: 380000 | #Constraints: 23287
2028.82/2034.18 c #Conflicts: 381000 | #Constraints: 24287
2028.82/2034.18 c INPROCESSING
2028.82/2034.18 c GARBAGE COLLECT
2028.82/2034.18 c rational objective 15
2104.72/2110.23 c #Conflicts: 382000 | #Constraints: 13068
2104.72/2110.23 c #Conflicts: 383000 | #Constraints: 14073
2104.72/2110.23 c #Conflicts: 384000 | #Constraints: 15073
2104.72/2110.23 c #Conflicts: 385000 | #Constraints: 16073
2104.72/2110.23 c #Conflicts: 386000 | #Constraints: 17073
2104.72/2110.23 c #Conflicts: 387000 | #Constraints: 18073
2104.72/2110.23 c #Conflicts: 388000 | #Constraints: 19073
2104.72/2110.23 c #Conflicts: 389000 | #Constraints: 20082
2104.72/2110.23 c #Conflicts: 390000 | #Constraints: 21184
2104.72/2110.23 c #Conflicts: 391000 | #Constraints: 22184
2104.72/2110.23 c #Conflicts: 392000 | #Constraints: 23460
2104.72/2110.23 c #Conflicts: 393000 | #Constraints: 24668
2104.72/2110.23 c #Conflicts: 394000 | #Constraints: 25681
2104.72/2110.23 c INPROCESSING
2104.72/2110.23 c GARBAGE COLLECT
2104.72/2110.23 c rational objective 15
2233.06/2239.00 c #Conflicts: 395000 | #Constraints: 13974
2233.06/2239.00 c #Conflicts: 396000 | #Constraints: 14974
2233.06/2239.00 c #Conflicts: 397000 | #Constraints: 15974
2233.06/2239.00 c #Conflicts: 398000 | #Constraints: 16974
2233.06/2239.00 c #Conflicts: 399000 | #Constraints: 17974
2233.06/2239.00 c #Conflicts: 400000 | #Constraints: 18974
2233.06/2239.00 c #Conflicts: 401000 | #Constraints: 19974
2233.06/2239.00 c #Conflicts: 402000 | #Constraints: 20974
2233.06/2239.00 c #Conflicts: 403000 | #Constraints: 21974
2233.06/2239.00 c #Conflicts: 404000 | #Constraints: 22974
2233.06/2239.00 c #Conflicts: 405000 | #Constraints: 24399
2233.06/2239.00 c #Conflicts: 406000 | #Constraints: 25399
2233.06/2239.00 c #Conflicts: 407000 | #Constraints: 26399
2233.06/2239.00 c INPROCESSING
2233.06/2239.00 c GARBAGE COLLECT
2233.06/2239.00 c rational objective 15
2266.98/2272.95 c #Conflicts: 408000 | #Constraints: 14424
2266.98/2272.95 c #Conflicts: 409000 | #Constraints: 15424
2266.98/2272.95 c #Conflicts: 410000 | #Constraints: 16424
2266.98/2272.95 c #Conflicts: 411000 | #Constraints: 17424
2266.98/2272.95 c #Conflicts: 412000 | #Constraints: 18424
2266.98/2272.95 c #Conflicts: 413000 | #Constraints: 19424
2266.98/2272.95 c #Conflicts: 414000 | #Constraints: 20424
2266.98/2272.95 c #Conflicts: 415000 | #Constraints: 21424
2266.98/2272.95 c #Conflicts: 416000 | #Constraints: 22424
2266.98/2272.95 c #Conflicts: 417000 | #Constraints: 23425
2266.98/2272.95 c #Conflicts: 418000 | #Constraints: 24427
2266.98/2272.95 c #Conflicts: 419000 | #Constraints: 25427
2266.98/2272.95 c #Conflicts: 420000 | #Constraints: 26427
2266.98/2272.95 c INPROCESSING
2266.98/2272.95 c GARBAGE COLLECT
2266.98/2272.95 c rational objective 15
2297.40/2303.45 c #Conflicts: 421000 | #Constraints: 14438
2297.40/2303.45 c #Conflicts: 422000 | #Constraints: 15438
2297.40/2303.45 c #Conflicts: 423000 | #Constraints: 16438
2297.40/2303.45 c #Conflicts: 424000 | #Constraints: 17438
2297.40/2303.45 c #Conflicts: 425000 | #Constraints: 18438
2297.40/2303.45 c #Conflicts: 426000 | #Constraints: 19439
2297.40/2303.45 c #Conflicts: 427000 | #Constraints: 20439
2297.40/2303.45 c #Conflicts: 428000 | #Constraints: 21439
2297.40/2303.45 c #Conflicts: 429000 | #Constraints: 22439
2297.40/2303.45 c #Conflicts: 430000 | #Constraints: 23439
2297.40/2303.45 c #Conflicts: 431000 | #Constraints: 24439
2297.40/2303.45 c #Conflicts: 432000 | #Constraints: 25439
2297.40/2303.45 c #Conflicts: 433000 | #Constraints: 26439
2297.40/2303.45 c INPROCESSING
2297.40/2303.45 c GARBAGE COLLECT
2297.40/2303.45 c rational objective 15
2318.96/2325.08 c #Conflicts: 434000 | #Constraints: 14348
2318.96/2325.08 c #Conflicts: 435000 | #Constraints: 15348
2318.96/2325.08 c #Conflicts: 436000 | #Constraints: 16358
2318.96/2325.08 c #Conflicts: 437000 | #Constraints: 17420
2318.96/2325.08 c #Conflicts: 438000 | #Constraints: 18460
2318.96/2325.08 c #Conflicts: 439000 | #Constraints: 19462
2318.96/2325.08 c #Conflicts: 440000 | #Constraints: 20487
2318.96/2325.08 c #Conflicts: 441000 | #Constraints: 21512
2318.96/2325.08 c #Conflicts: 442000 | #Constraints: 22527
2318.96/2325.08 c #Conflicts: 443000 | #Constraints: 23529
2318.96/2325.08 c #Conflicts: 444000 | #Constraints: 24529
2318.96/2325.08 c #Conflicts: 445000 | #Constraints: 25529
2318.96/2325.08 c #Conflicts: 446000 | #Constraints: 26529
2318.96/2325.08 c INPROCESSING
2318.96/2325.08 c rational objective 15
2443.74/2450.12 c #Conflicts: 447000 | #Constraints: 14192
2443.74/2450.12 c #Conflicts: 448000 | #Constraints: 15192
2443.74/2450.12 c #Conflicts: 449000 | #Constraints: 16192
2443.74/2450.12 c #Conflicts: 450000 | #Constraints: 17192
2443.74/2450.12 c #Conflicts: 451000 | #Constraints: 18200
2443.74/2450.12 c #Conflicts: 452000 | #Constraints: 19312
2443.74/2450.12 c #Conflicts: 453000 | #Constraints: 20348
2443.74/2450.12 c #Conflicts: 454000 | #Constraints: 21431
2443.74/2450.12 c #Conflicts: 455000 | #Constraints: 22542
2443.74/2450.12 c #Conflicts: 456000 | #Constraints: 23766
2443.74/2450.12 c #Conflicts: 457000 | #Constraints: 24810
2443.74/2450.12 c #Conflicts: 458000 | #Constraints: 25972
2443.74/2450.12 c #Conflicts: 459000 | #Constraints: 27037
2443.74/2450.12 c #Conflicts: 460000 | #Constraints: 28272
2443.74/2450.12 c INPROCESSING
2443.74/2450.12 c GARBAGE COLLECT
2443.74/2450.12 c rational objective 15
2709.21/2716.26 c #Conflicts: 461000 | #Constraints: 15272
2709.21/2716.26 c #Conflicts: 462000 | #Constraints: 16279
2709.21/2716.26 c #Conflicts: 463000 | #Constraints: 17295
2709.21/2716.26 c #Conflicts: 464000 | #Constraints: 18298
2709.21/2716.26 c #Conflicts: 465000 | #Constraints: 19301
2709.21/2716.26 c #Conflicts: 466000 | #Constraints: 20308
2709.21/2716.26 c #Conflicts: 467000 | #Constraints: 21309
2709.21/2716.26 c #Conflicts: 468000 | #Constraints: 22312
2709.21/2716.26 c #Conflicts: 469000 | #Constraints: 23315
2709.21/2716.26 c #Conflicts: 470000 | #Constraints: 24325
2709.21/2716.26 c #Conflicts: 471000 | #Constraints: 25333
2709.21/2716.26 c #Conflicts: 472000 | #Constraints: 26333
2709.21/2716.26 c #Conflicts: 473000 | #Constraints: 27333
2709.21/2716.26 c #Conflicts: 474000 | #Constraints: 28333
2709.21/2716.26 c INPROCESSING
2709.21/2716.26 c GARBAGE COLLECT
2709.21/2716.26 c #Conflicts: 475000 | #Constraints: 15382
2709.21/2716.26 c #Conflicts: 476000 | #Constraints: 16385
2709.21/2716.26 c #Conflicts: 477000 | #Constraints: 17390
2709.21/2716.26 c #Conflicts: 478000 | #Constraints: 18400
2709.21/2716.26 c #Conflicts: 479000 | #Constraints: 19404
2709.21/2716.26 c #Conflicts: 480000 | #Constraints: 20414
2709.21/2716.26 c #Conflicts: 481000 | #Constraints: 21427
2709.21/2716.26 c #Conflicts: 482000 | #Constraints: 22429
2709.21/2716.26 c #Conflicts: 483000 | #Constraints: 23433
2709.21/2716.26 c #Conflicts: 484000 | #Constraints: 24437
2709.21/2716.26 c #Conflicts: 485000 | #Constraints: 25444
2709.21/2716.26 c #Conflicts: 486000 | #Constraints: 26448
2709.21/2716.26 c #Conflicts: 487000 | #Constraints: 27450
2709.21/2716.26 c #Conflicts: 488000 | #Constraints: 28454
2709.21/2716.26 c INPROCESSING
2709.21/2716.26 c GARBAGE COLLECT
2709.21/2716.26 c #Conflicts: 489000 | #Constraints: 15445
2709.21/2716.26 c #Conflicts: 490000 | #Constraints: 16494
2709.21/2716.26 c #Conflicts: 491000 | #Constraints: 17505
2709.21/2716.26 c #Conflicts: 492000 | #Constraints: 18510
2709.21/2716.26 c #Conflicts: 493000 | #Constraints: 19514
2709.21/2716.26 c #Conflicts: 494000 | #Constraints: 20518
2709.21/2716.26 c #Conflicts: 495000 | #Constraints: 21527
2709.21/2716.26 c #Conflicts: 496000 | #Constraints: 22586
2709.21/2716.26 c #Conflicts: 497000 | #Constraints: 23639
2709.21/2716.26 c #Conflicts: 498000 | #Constraints: 24695
2709.21/2716.26 c #Conflicts: 499000 | #Constraints: 25728
2709.21/2716.26 c #Conflicts: 500000 | #Constraints: 26754
2709.21/2716.26 c #Conflicts: 501000 | #Constraints: 27763
2709.21/2716.26 c #Conflicts: 502000 | #Constraints: 28781
2709.21/2716.26 c INPROCESSING
2709.21/2716.26 c GARBAGE COLLECT
2709.21/2716.26 c rational objective 15
2852.36/2859.70 c #Conflicts: 503000 | #Constraints: 15514
2852.36/2859.70 c #Conflicts: 504000 | #Constraints: 16514
2852.36/2859.70 c #Conflicts: 505000 | #Constraints: 17514
2852.36/2859.70 c #Conflicts: 506000 | #Constraints: 18514
2852.36/2859.70 c #Conflicts: 507000 | #Constraints: 19514
2852.36/2859.70 c #Conflicts: 508000 | #Constraints: 20514
2852.36/2859.70 c #Conflicts: 509000 | #Constraints: 21514
2852.36/2859.70 c #Conflicts: 510000 | #Constraints: 22514
2852.36/2859.70 c #Conflicts: 511000 | #Constraints: 23514
2852.36/2859.70 c #Conflicts: 512000 | #Constraints: 24514
2852.36/2859.70 c #Conflicts: 513000 | #Constraints: 25514
2852.36/2859.70 c #Conflicts: 514000 | #Constraints: 26514
2852.36/2859.70 c #Conflicts: 515000 | #Constraints: 27514
2852.36/2859.70 c #Conflicts: 516000 | #Constraints: 28515
2852.36/2859.70 c INPROCESSING
2852.36/2859.70 c GARBAGE COLLECT
2852.36/2859.70 c rational objective 15
3090.69/3098.61 c #Conflicts: 517000 | #Constraints: 15179
3090.69/3098.61 c #Conflicts: 518000 | #Constraints: 16182
3090.69/3098.61 c #Conflicts: 519000 | #Constraints: 17182
3090.69/3098.61 c #Conflicts: 520000 | #Constraints: 18182
3090.69/3098.61 c #Conflicts: 521000 | #Constraints: 19182
3090.69/3098.61 c #Conflicts: 522000 | #Constraints: 20182
3090.69/3098.61 c #Conflicts: 523000 | #Constraints: 21185
3090.69/3098.61 c #Conflicts: 524000 | #Constraints: 22190
3090.69/3098.61 c #Conflicts: 525000 | #Constraints: 23192
3090.69/3098.61 c #Conflicts: 526000 | #Constraints: 24193
3090.69/3098.61 c #Conflicts: 527000 | #Constraints: 25227
3090.69/3098.61 c #Conflicts: 528000 | #Constraints: 26227
3090.69/3098.61 c #Conflicts: 529000 | #Constraints: 27227
3090.69/3098.61 c #Conflicts: 530000 | #Constraints: 28329
3090.69/3098.61 c #Conflicts: 531000 | #Constraints: 29776
3090.69/3098.61 c INPROCESSING
3090.69/3098.61 c GARBAGE COLLECT
3090.69/3098.61 c #Conflicts: 532000 | #Constraints: 16074
3090.69/3098.61 c #Conflicts: 533000 | #Constraints: 17074
3090.69/3098.61 c #Conflicts: 534000 | #Constraints: 18074
3090.69/3098.61 c #Conflicts: 535000 | #Constraints: 19074
3090.69/3098.61 c #Conflicts: 536000 | #Constraints: 20074
3090.69/3098.61 c #Conflicts: 537000 | #Constraints: 21074
3090.69/3098.61 c #Conflicts: 538000 | #Constraints: 22074
3090.69/3098.61 c #Conflicts: 539000 | #Constraints: 23074
3090.69/3098.61 c #Conflicts: 540000 | #Constraints: 24075
3090.69/3098.61 c #Conflicts: 541000 | #Constraints: 25077
3090.69/3098.61 c #Conflicts: 542000 | #Constraints: 26125
3090.69/3098.61 c #Conflicts: 543000 | #Constraints: 27125
3090.69/3098.61 c #Conflicts: 544000 | #Constraints: 28125
3090.69/3098.61 c #Conflicts: 545000 | #Constraints: 29125
3090.69/3098.61 c #Conflicts: 546000 | #Constraints: 30125
3090.69/3098.61 c INPROCESSING
3090.69/3098.61 c GARBAGE COLLECT
3090.69/3098.61 c rational objective 15
3352.15/3360.83 c #Conflicts: 547000 | #Constraints: 16290
3352.15/3360.83 c #Conflicts: 548000 | #Constraints: 17290
3352.15/3360.83 c #Conflicts: 549000 | #Constraints: 18290
3352.15/3360.83 c #Conflicts: 550000 | #Constraints: 19290
3352.15/3360.83 c #Conflicts: 551000 | #Constraints: 20290
3352.15/3360.83 c #Conflicts: 552000 | #Constraints: 21293
3352.15/3360.83 c #Conflicts: 553000 | #Constraints: 22294
3352.15/3360.83 c #Conflicts: 554000 | #Constraints: 23303
3352.15/3360.83 c #Conflicts: 555000 | #Constraints: 24304
3352.15/3360.83 c #Conflicts: 556000 | #Constraints: 25307
3352.15/3360.83 c #Conflicts: 557000 | #Constraints: 26310
3352.15/3360.83 c #Conflicts: 558000 | #Constraints: 27311
3352.15/3360.83 c #Conflicts: 559000 | #Constraints: 28316
3352.15/3360.83 c #Conflicts: 560000 | #Constraints: 29323
3352.15/3360.83 c #Conflicts: 561000 | #Constraints: 30327
3352.15/3360.83 c INPROCESSING
3352.15/3360.83 c GARBAGE COLLECT
3352.15/3360.83 c #Conflicts: 562000 | #Constraints: 16385
3352.15/3360.83 c #Conflicts: 563000 | #Constraints: 17386
3352.15/3360.83 c #Conflicts: 564000 | #Constraints: 18387
3352.15/3360.83 c #Conflicts: 565000 | #Constraints: 19387
3352.15/3360.83 c #Conflicts: 566000 | #Constraints: 20387
3352.15/3360.83 c #Conflicts: 567000 | #Constraints: 21387
3352.15/3360.83 c #Conflicts: 568000 | #Constraints: 22388
3352.15/3360.83 c #Conflicts: 569000 | #Constraints: 23391
3352.15/3360.83 c #Conflicts: 570000 | #Constraints: 24392
3352.15/3360.83 c #Conflicts: 571000 | #Constraints: 25396
3352.15/3360.83 c #Conflicts: 572000 | #Constraints: 26398
3352.15/3360.83 c #Conflicts: 573000 | #Constraints: 27527
3352.15/3360.83 c #Conflicts: 574000 | #Constraints: 28656
3352.15/3360.83 c #Conflicts: 575000 | #Constraints: 29660
3352.15/3360.83 c #Conflicts: 576000 | #Constraints: 30660
3352.15/3360.83 c INPROCESSING
3352.15/3360.83 c GARBAGE COLLECT
3352.15/3360.83 c rational objective 15
3483.76/3492.87 c #Conflicts: 577000 | #Constraints: 16453
3483.76/3492.87 c #Conflicts: 578000 | #Constraints: 17453
3483.76/3492.87 c #Conflicts: 579000 | #Constraints: 18453
3483.76/3492.87 c #Conflicts: 580000 | #Constraints: 19453
3483.76/3492.87 c #Conflicts: 581000 | #Constraints: 20453
3483.76/3492.87 c #Conflicts: 582000 | #Constraints: 21799
3483.76/3492.87 c #Conflicts: 583000 | #Constraints: 23450
3483.76/3492.87 c #Conflicts: 584000 | #Constraints: 24450
3483.76/3492.87 c #Conflicts: 585000 | #Constraints: 25450
3483.76/3492.87 c #Conflicts: 586000 | #Constraints: 26451
3483.76/3492.87 c #Conflicts: 587000 | #Constraints: 27451
3483.76/3492.87 c #Conflicts: 588000 | #Constraints: 28451
3483.76/3492.87 c #Conflicts: 589000 | #Constraints: 29451
3483.76/3492.87 c #Conflicts: 590000 | #Constraints: 30451
3483.76/3492.87 c #Conflicts: 591000 | #Constraints: 31451
3483.76/3492.87 c INPROCESSING
3483.76/3492.87 c GARBAGE COLLECT
3483.76/3492.87 c rational objective 15
3518.26/3527.42 c #Conflicts: 592000 | #Constraints: 16655
3518.26/3527.42 c #Conflicts: 593000 | #Constraints: 17655
3518.26/3527.42 c #Conflicts: 594000 | #Constraints: 18656
3518.26/3527.42 c #Conflicts: 595000 | #Constraints: 19657
3518.26/3527.42 c #Conflicts: 596000 | #Constraints: 20658
3518.26/3527.42 c #Conflicts: 597000 | #Constraints: 21659
3518.26/3527.42 c #Conflicts: 598000 | #Constraints: 22660
3518.26/3527.42 c #Conflicts: 599000 | #Constraints: 23663
3518.26/3527.42 c #Conflicts: 600000 | #Constraints: 24663
3518.26/3527.42 c #Conflicts: 601000 | #Constraints: 25663
3518.26/3527.42 c #Conflicts: 602000 | #Constraints: 26663
3518.26/3527.42 c #Conflicts: 603000 | #Constraints: 27663
3518.26/3527.42 c #Conflicts: 604000 | #Constraints: 28663
3518.26/3527.42 c #Conflicts: 605000 | #Constraints: 29663
3518.26/3527.42 c #Conflicts: 606000 | #Constraints: 30663
3518.26/3527.42 c #Conflicts: 607000 | #Constraints: 31699
3518.26/3527.42 c INPROCESSING
3518.26/3527.42 c GARBAGE COLLECT
3518.26/3527.42 c rational objective 15
3600.01/3609.40 c #Conflicts: 608000 | #Constraints: 16976
3600.01/3609.40 c #Conflicts: 609000 | #Constraints: 17976
3600.01/3609.40 c #Conflicts: 610000 | #Constraints: 18984
3600.01/3609.40 c #Conflicts: 611000 | #Constraints: 20026
3600.01/3609.40 c #Conflicts: 612000 | #Constraints: 21199
3600.01/3609.40 c #Conflicts: 613000 | #Constraints: 22832
3600.01/3609.40 c #Conflicts: 614000 | #Constraints: 24497
3600.01/3609.40 c #Conflicts: 615000 | #Constraints: 26205
3600.01/3609.40 c #Conflicts: 616000 | #Constraints: 27948
3600.01/3609.40 c #Conflicts: 617000 | #Constraints: 29702
3600.01/3609.40 c #Conflicts: 618000 | #Constraints: 31653
3600.01/3609.40 c #Conflicts: 619000 | #Constraints: 33363
3600.01/3609.40 c #Conflicts: 620000 | #Constraints: 35069
3600.01/3609.40 c #Conflicts: 621000 | #Constraints: 36763
3600.01/3609.40 c #Conflicts: 622000 | #Constraints: 38678
3600.01/3609.40 c cpu time 3590.54 s
3600.01/3609.40 c deterministic time 1331110415502 1.33e+12
3600.01/3609.40 c optimization time 79.6273 s
3600.01/3609.40 c total solve time 3510.9 s
3600.01/3609.40 c core-guided solve time 0 s
3600.01/3609.40 c propagation time 3151.74 s
3600.01/3609.40 c conflict analysis time 209.392 s
3600.01/3609.40 c propagations 35420246
3600.01/3609.40 c resolve steps 1734189
3600.01/3609.40 c decisions 3500909
3600.01/3609.40 c conflicts 622328
3600.01/3609.40 c restarts 1308
3600.01/3609.40 c inprocessing phases 69
3600.01/3609.40 c garbage collections 67 ,( 97.10 )
3600.01/3609.40 c input clauses 173 ,( 41.89 )
3600.01/3609.40 c input cardinalities 173 ,( 41.89 )
3600.01/3609.40 c input general constraints 67 ,( 16.22 )
3600.01/3609.40 c input average constraint length 54.00
3600.01/3609.40 c input average constraint degree 11146.41
3600.01/3609.40 c learned clauses 970 ,( 0.15 )
3600.01/3609.40 c learned cardinalities 1513 ,( 0.23 )
3600.01/3609.40 c learned general constraints 641920 ,( 99.61 )
3600.01/3609.40 c learned average constraint length 2134.71
3600.01/3609.40 c learned average constraint degree 1732113758.95
3600.01/3609.40 c watched CF 32, 64, 128, Arb: 426855 , 0 , 0 , 0
3600.01/3609.40 c counting CF 32, 64, 128, Arb: 215133 , 0 , 0 , 0
3600.01/3609.40 c watched constraints 426855 ,( 66.49 )
3600.01/3609.40 c counting constraints 215132 ,( 33.51 )
3600.01/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2779247 , 2020277 , 9274948908 ,( 6349468199 , 2925480709 )
3600.01/3609.40 c gcd simplifications 1588
3600.01/3609.40 c detected cardinalities 1513
3600.01/3609.40 c weakened non-implied lits 19410928
3600.01/3609.40 c weakened non-implying lits 1793760
3600.01/3609.40 c original variables 5568
3600.01/3609.40 c clausal propagations 305233
3600.01/3609.40 c cardinality propagations 20432860
3600.01/3609.40 c watched propagations 4915081
3600.01/3609.40 c counting propagations 8787833
3600.01/3609.40 c watch lookups 26366705471
3600.01/3609.40 c watch backjump lookups 0
3600.01/3609.40 c watch checks 72238049617
3600.01/3609.40 c propagation checks 1229150170448
3600.01/3609.40 c constraint additions 3276155720
3600.01/3609.40 c trail pops 39539795
3600.01/3609.40 c formula constraints 412
3600.01/3609.40 c learned constraints 622097
3600.01/3609.40 c bound constraints 0
3600.01/3609.40 c core-guided constraints 0
3600.01/3609.40 c encountered formula constraints 837866
3600.01/3609.40 c encountered learned constraints 914892
3600.01/3609.40 c encountered bound constraints 0
3600.01/3609.40 c encountered core-guided constraints 0
3600.01/3609.40 c LP total time 218.183 s
3600.01/3609.40 c LP solve time 130.5 s
3600.01/3609.40 c LP constraints added 828
3600.01/3609.40 c LP constraints removed 389
3600.01/3609.40 c LP pivots internal 611763
3600.01/3609.40 c LP pivots root 261532
3600.01/3609.40 c LP calls 77301
3600.01/3609.40 c LP optimalities 55542
3600.01/3609.40 c LP no pivot count 24701
3600.01/3609.40 c LP infeasibilities 21743
3600.01/3609.40 c LP valid Farkas constraints 21660
3600.01/3609.40 c LP learned Farkas constraints 231
3600.01/3609.40 c LP basis resets 17
3600.01/3609.40 c LP cycling count 5
3600.01/3609.40 c LP singular count 6
3600.01/3609.40 c LP no primal count 0
3600.01/3609.40 c LP no farkas count 6
3600.01/3609.40 c LP other issue count 0
3600.01/3609.40 c LP Gomory cuts 415
3600.01/3609.40 c LP learned cuts 1
3600.01/3609.40 c LP deleted cuts 389
3600.01/3609.40 c LP encountered Gomory constraints 194
3600.01/3609.40 c LP encountered Farkas constraints 438275
3600.01/3609.40 c LP encountered learned Farkas constraints 165059
3600.01/3609.40 c CG auxiliary variables introduced 2
3600.01/3609.40 c CG solutions found 0
3600.01/3609.40 c CG cores constructed 0
3600.01/3609.40 c CG core cardinality constraints returned 0
3600.01/3609.40 c CG unit cores 0
3600.01/3609.40 c CG single cores 0
3600.01/3609.40 c CG blocks removed during cardinality reduction 0
3600.01/3609.40 c CG first core best 0
3600.01/3609.40 c CG decision core best 0
3600.01/3609.40 c CG core reduction tie 0
3600.01/3609.40 c CG core degree average 0.00
3600.01/3609.40 c CG core slack average 0.00
3600.01/3609.40 c CG core upper bound improvements 0
3600.01/3609.40 c STR number of successful calls 0
3600.01/3609.40 c STR number of unsuccessful calls 0
3600.01/3609.40 c STR number of inconclusive calls 0
3600.01/3609.40 c STR number of successful attempts 0
3600.01/3609.40 c STR number of unsuccessful attempts 0
3600.01/3609.40 c STR number of inconclusive attempts 0
3600.01/3609.40 c STR average degree increase per successful call inf
3600.01/3609.40 c STR average degree increase per successful attempt inf
3600.01/3609.40 c STR total number of conflicts for successful attempts 0
3600.01/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.40 c STR average number of conflicts per successful attempt inf
3600.01/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.40 c AVG.sumWPerc 43.40
3600.01/3609.40 c bigint constraints 0
3600.01/3609.40 s UNKNOWN
3600.01/3609.40 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: 63665 MiB (61029 MiB free)
memory of node 1: 64507 MiB (52251 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509516-1751528662/watcher-4509516-1751528662 -o /tmp/evaluation-result-4509516-1751528662/solver-4509516-1751528662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72981 --watchdog 3760 run-opt.sh HOME/instance-4509516-1751528662.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=73852, runsolver pid=73849
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.09 4.09 5/267 73854
/proc/meminfo: memFree=115992852/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=68056 memory=17376 CPUtime=0.09 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 2584 0 0 0 7 2 0 0 20 0 1 0 68545737 69689344 4344 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 17014 4344 2368 1147 0 4441 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72248 KiB
Current children cumulated memory: 20448 KiB
[startup+0.205808 s]*
/proc/loadavg: 4.10 4.09 4.09 5/267 73854
/proc/meminfo: memFree=115992852/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=68580 memory=20084 CPUtime=0.18 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 2721 0 0 0 16 2 0 0 20 0 1 0 68545737 70225920 5021 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 17145 5021 2400 1147 0 4572 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 72772 KiB
Current children cumulated memory: 23156 KiB
[startup+0.305531 s]*
/proc/loadavg: 4.10 4.09 4.09 5/267 73854
/proc/meminfo: memFree=115992852/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=70436 memory=23988 CPUtime=0.29 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 3183 0 0 0 26 3 0 0 20 0 1 0 68545737 72126464 5997 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 17609 5997 2400 1147 0 5036 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 74628 KiB
Current children cumulated memory: 27060 KiB
[startup+0.700193 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 73854
/proc/meminfo: memFree=115989104/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=105244 memory=51856 CPUtime=0.67 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 9660 0 0 0 63 4 0 0 20 0 1 0 68545737 107769856 12964 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 26311 12964 2400 1147 0 13738 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 109436 KiB
Current children cumulated memory: 54928 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 73854
/proc/meminfo: memFree=115965100/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=128396 memory=78988 CPUtime=1.47 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 13352 0 0 0 141 6 0 0 20 0 1 0 68545737 131477504 19747 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 32099 19747 2400 1147 0 19526 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 132588 KiB
Current children cumulated memory: 82060 KiB
[startup+3.10551 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 73854
/proc/meminfo: memFree=115916600/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=134884 memory=87404 CPUtime=3.08 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 14949 0 0 0 300 8 0 0 20 0 1 0 68545737 138121216 21851 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 33721 21851 2400 1147 0 21148 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 139076 KiB
Current children cumulated memory: 90476 KiB
[startup+6.30018 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 73854
/proc/meminfo: memFree=115888560/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=189844 memory=117128 CPUtime=6.26 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 17288 0 0 0 615 11 0 0 20 0 1 0 68545737 194400256 29282 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 47461 29282 2400 1147 0 34888 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 194036 KiB
Current children cumulated memory: 120200 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 73854
/proc/meminfo: memFree=115839496/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=222716 memory=160396 CPUtime=12.64 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 24526 0 0 0 1249 15 0 0 20 0 1 0 68545737 228061184 40099 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 55679 40099 2400 1147 0 43106 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 226908 KiB
Current children cumulated memory: 163468 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 73854
/proc/meminfo: memFree=115710576/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=327188 memory=228700 CPUtime=25.41 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 36707 0 0 0 2517 24 0 0 20 0 1 0 68545737 335040512 57175 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 81797 57175 2400 1147 0 69224 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 331380 KiB
Current children cumulated memory: 231772 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 73854
/proc/meminfo: memFree=115291628/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=417172 memory=329504 CPUtime=50.96 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 55465 0 0 0 5059 37 0 0 20 0 1 0 68545737 427184128 82376 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 104293 82376 2400 1147 0 91720 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 421364 KiB
Current children cumulated memory: 332576 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 73857
/proc/meminfo: memFree=114601180/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=527992 memory=404168 CPUtime=102.01 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 65658 0 0 0 10139 62 0 0 20 0 1 0 68545737 540663808 101042 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 131998 101042 2400 1147 0 119425 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 532184 KiB
Current children cumulated memory: 407240 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 73951
/proc/meminfo: memFree=123243560/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=636268 memory=506248 CPUtime=161.85 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 86101 0 0 0 16082 103 0 0 20 0 1 0 68545737 651538432 126562 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 159067 126562 2400 1147 0 146494 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 640460 KiB
Current children cumulated memory: 509320 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 73953
/proc/meminfo: memFree=122379936/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=793484 memory=626436 CPUtime=221.7 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 118668 0 0 0 22008 162 0 0 20 0 1 0 68545737 812527616 156609 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 198371 156609 2496 1147 0 185798 0
################
# More data... #
################
/proc/73854/statm: 486002 440611 2528 1147 0 473429 0
Current children cumulated CPU time: 3034.52 s
Current children cumulated vsize: 1948200 KiB
Current children cumulated memory: 1765516 KiB
[startup+3102.3 s]
/proc/loadavg: 3.11 3.17 3.52 4/260 74133
/proc/meminfo: memFree=116946760/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=1947408 memory=1765772 CPUtime=3094.38 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 279722 0 0 0 308597 841 0 0 20 0 1 0 68545737 1994145792 441443 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 486852 441443 2528 1147 0 474279 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 1951600 KiB
Current children cumulated memory: 1768844 KiB
[startup+3162.3 s]
/proc/loadavg: 3.43 3.25 3.52 4/259 74135
/proc/meminfo: memFree=116902848/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=1947408 memory=1765772 CPUtime=3154.23 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 280181 0 0 0 314572 851 0 0 20 0 1 0 68545737 1994145792 441443 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 486852 441443 2528 1147 0 474279 0
Current children cumulated CPU time: 3154.23 s
Current children cumulated vsize: 1951600 KiB
Current children cumulated memory: 1768844 KiB
[startup+3222.3 s]
/proc/loadavg: 2.85 3.13 3.47 3/252 74168
/proc/meminfo: memFree=122068936/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=1947408 memory=1765900 CPUtime=3214.06 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 280462 0 0 0 320548 858 0 0 20 0 1 0 68545737 1994145792 441475 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 486852 441475 2528 1147 0 474279 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 1951600 KiB
Current children cumulated memory: 1768972 KiB
[startup+3282.3 s]
/proc/loadavg: 2.37 2.94 3.38 3/252 74170
/proc/meminfo: memFree=122008612/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=1950808 memory=1775436 CPUtime=3273.89 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 281347 0 0 0 326514 875 0 0 20 0 1 0 68545737 1997627392 443859 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 487702 443859 2528 1147 0 475129 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 1955000 KiB
Current children cumulated memory: 1778508 KiB
[startup+3342.3 s]
/proc/loadavg: 2.18 2.78 3.29 3/254 74176
/proc/meminfo: memFree=121997612/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=1950808 memory=1775436 CPUtime=3333.71 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 281347 0 0 0 332485 886 0 0 20 0 1 0 68545737 1997627392 443859 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 487702 443859 2528 1147 0 475129 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 1955000 KiB
Current children cumulated memory: 1778508 KiB
[startup+3402.3 s]
/proc/loadavg: 2.17 2.67 3.22 3/254 74178
/proc/meminfo: memFree=122013064/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=1942116 memory=1766944 CPUtime=3393.53 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 281601 0 0 0 338455 898 0 0 20 0 1 0 68545737 1988726784 441736 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 485529 441736 2528 1147 0 472956 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 1946308 KiB
Current children cumulated memory: 1770016 KiB
[startup+3462.3 s]
/proc/loadavg: 2.06 2.54 3.14 3/255 74181
/proc/meminfo: memFree=121997744/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=1942116 memory=1766944 CPUtime=3453.35 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 282043 0 0 0 344425 910 0 0 20 0 1 0 68545737 1988726784 441736 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 485529 441736 2528 1147 0 472956 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 1946308 KiB
Current children cumulated memory: 1770016 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.47 3.08 3/256 74188
/proc/meminfo: memFree=121981092/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=1950820 memory=1772448 CPUtime=3513.17 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 283465 0 0 0 350391 926 0 0 20 0 1 0 68545737 1997639680 443112 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 487705 443112 2528 1147 0 475132 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 1955012 KiB
Current children cumulated memory: 1775520 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 2.40 3.01 3/256 74190
/proc/meminfo: memFree=121981372/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=1952612 memory=1775008 CPUtime=3572.99 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 284092 0 0 0 356356 943 0 0 20 0 1 0 68545737 1999474688 443752 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 488153 443752 2528 1147 0 475580 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 1956804 KiB
Current children cumulated memory: 1778080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 2.07 2.37 2.98 3/256 74190
/proc/meminfo: memFree=121937604/131249996 swapFree=33010416/33010684
[pid=73852] ppid=73849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73852/stat : 73852 (run-opt.sh) S 73849 73852 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68545736 4292608 768 18446744073709551615 93838882000896 93838882895429 140736532215824 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93838883134480 93838883182224 93838883561472 140736532220269 140736532220392 140736532220392 140736532225994 0
/proc/73852/statm: 1048 768 704 219 0 110 0
[pid=73854] ppid=73852 vsize=1958756 memory=1778336 CPUtime=3600.01 cores=4,6
/proc/73854/stat : 73854 (roundingsat) R 73852 73852 72970 0 -1 4194304 284937 0 0 0 359053 948 0 0 20 0 1 0 68545737 2005766144 444584 18446744073709551615 4227072 8923433 140729762968768 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29806592 140729762974114 140729762974248 140729762974248 140729762979818 0
/proc/73854/statm: 489689 444584 2528 1147 0 477116 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1962948 KiB
Current children cumulated memory: 1781408 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.4 s]
# the end of solver process 73852 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002073 s
Sleeping 2 seconds
[startup+3609.42 s]
# the end of solver process 73854 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3590.54 s, system=9.50273 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
Child status: 2
Real time (s): 3609.42
CPU time (s): 3600.05
CPU user time (s): 3590.54
CPU system time (s): 9.50273
CPU usage (%): 99.7402
Max. virtual memory (cumulated for all children) (KiB): 1962948
Max. memory (cumulated for all children) (KiB): 1781408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.54
system time used= 9.50273
maximum resident set size= 1778464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191
involuntary context switches= 2305
# summary of solver processes directly reported to runsolver:
# pid: 73852,73854
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.54
# total CPU system time (s): 9.50273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36724 second user time and 16.1722 second system time
The end
Begin job on nodeC030 at 2025-07-03 09:44:22
IDJOB=4509516
IDBENCH=158621
IDSOLVER=3350
FILE ID=nodeC030/4509516-1751528662
RUNJOBID= nodeC030-1751521021-72981
SLURM_JOB_ID= 9598643
Free space on /tmp= 432484 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509516-1751528662/watcher-4509516-1751528662 -o /tmp/evaluation-result-4509516-1751528662/solver-4509516-1751528662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72981 --watchdog 3760 run-opt.sh HOME/instance-4509516-1751528662.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1564832540
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.740
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3612.862
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.326
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.280
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.293
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3613.935
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.933
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 116000412 kB
MemAvailable: 116685752 kB
Buffers: 2564 kB
Cached: 1477084 kB
SwapCached: 16 kB
Active: 13531144 kB
Inactive: 1033544 kB
Active(anon): 13098552 kB
Inactive(anon): 4548 kB
Active(file): 432592 kB
Inactive(file): 1028996 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7460 kB
Writeback: 0 kB
AnonPages: 13088236 kB
Mapped: 118492 kB
Shmem: 18048 kB
KReclaimable: 125580 kB
Slab: 214232 kB
SReclaimable: 125580 kB
SUnreclaim: 88652 kB
KernelStack: 4288 kB
PageTables: 32288 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 16135156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2467840 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432492 MiB
End job on nodeC030 at 2025-07-03 10:44:31