0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 411 #constraints 477
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -268 @ 0.000204
0.00/0.00 c stratification level: 3
0.00/0.00 c bounds - >= -265 @ 0.000204
0.00/0.00 c bounds - >= -262 @ 0.00022
0.00/0.00 c bounds - >= -259 @ 0.00022
0.00/0.00 c finalizing WCE round: reformulating cores
0.00/0.01 c bounds 16 >= -259 @ 0.003057
0.00/0.01 c bounds 15 >= -259 @ 0.003116
0.00/0.01 c stratification level: 2
0.00/0.02 c bounds 15 >= -255 @ 0.003559
0.00/0.02 c bounds 15 >= -253 @ 0.003713
0.00/0.02 c bounds 15 >= -249 @ 0.003881
0.00/0.02 c bounds 15 >= -247 @ 0.004029
0.00/0.02 c bounds 15 >= -241 @ 0.004046
0.00/0.02 c bounds 15 >= -239 @ 0.004046
0.00/0.02 c bounds 15 >= -237 @ 0.004046
0.00/0.02 c bounds 15 >= -235 @ 0.004046
0.00/0.02 c bounds 15 >= -231 @ 0.004046
0.00/0.02 c bounds 15 >= -229 @ 0.004046
0.00/0.02 c bounds 15 >= -227 @ 0.004046
0.00/0.02 c bounds 15 >= -225 @ 0.004046
0.00/0.02 c bounds 15 >= -223 @ 0.004046
0.00/0.02 c bounds 15 >= -221 @ 0.004046
0.00/0.02 c bounds 15 >= -217 @ 0.004046
0.00/0.02 c bounds 15 >= -215 @ 0.004046
0.00/0.02 c bounds 15 >= -213 @ 0.004088
0.00/0.02 c bounds 15 >= -211 @ 0.004227
0.00/0.02 c bounds 15 >= -209 @ 0.004362
0.00/0.02 c bounds 15 >= -207 @ 0.004493
0.00/0.02 c bounds 15 >= -203 @ 0.00463
0.00/0.02 c bounds 15 >= -201 @ 0.004763
0.00/0.02 c bounds 15 >= -199 @ 0.004898
0.00/0.02 c bounds 15 >= -197 @ 0.005025
0.00/0.02 c bounds 15 >= -193 @ 0.005035
0.00/0.02 c bounds 15 >= -191 @ 0.005035
0.00/0.02 c bounds 15 >= -189 @ 0.005035
0.00/0.02 c bounds 15 >= -187 @ 0.005035
0.00/0.02 c bounds 15 >= -185 @ 0.005035
0.00/0.02 c bounds 15 >= -183 @ 0.005035
0.00/0.02 c finalizing WCE round: reformulating cores
37.19/37.30 c bounds 13 >= -255 @ 0.039724
37.19/37.30 c #Conflicts: 1000 | #Constraints: 1562
37.19/37.30 c #Conflicts: 2000 | #Constraints: 2573
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 3000 | #Constraints: 2530
37.19/37.30 c #Conflicts: 4000 | #Constraints: 3535
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 5000 | #Constraints: 2936
37.19/37.30 c #Conflicts: 6000 | #Constraints: 3938
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 7000 | #Constraints: 2944
37.19/37.30 c #Conflicts: 8000 | #Constraints: 3946
37.19/37.30 c #Conflicts: 9000 | #Constraints: 4950
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 10000 | #Constraints: 3662
37.19/37.30 c #Conflicts: 11000 | #Constraints: 4664
37.19/37.30 c #Conflicts: 12000 | #Constraints: 5666
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 13000 | #Constraints: 4121
37.19/37.30 c #Conflicts: 14000 | #Constraints: 5123
37.19/37.30 c #Conflicts: 15000 | #Constraints: 6125
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 16000 | #Constraints: 4354
37.19/37.30 c #Conflicts: 17000 | #Constraints: 5356
37.19/37.30 c bounds 1 >= -182 @ 3.84028
37.19/37.30 c bounds 1 >= -179 @ 3.84214
37.19/37.30 c bounds 1 >= -177 @ 3.84281
37.19/37.30 c bounds 1 >= -175 @ 3.84451
37.19/37.30 c bounds 1 >= -173 @ 3.85082
37.19/37.30 c #Conflicts: 18000 | #Constraints: 6388
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 19000 | #Constraints: 4392
37.19/37.30 c #Conflicts: 20000 | #Constraints: 5392
37.19/37.30 c #Conflicts: 21000 | #Constraints: 6392
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 22000 | #Constraints: 4198
37.19/37.30 c #Conflicts: 23000 | #Constraints: 5198
37.19/37.30 c #Conflicts: 24000 | #Constraints: 6198
37.19/37.30 c #Conflicts: 25000 | #Constraints: 7198
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 26000 | #Constraints: 4812
37.19/37.30 c #Conflicts: 27000 | #Constraints: 5812
37.19/37.30 c #Conflicts: 28000 | #Constraints: 6812
37.19/37.30 c #Conflicts: 29000 | #Constraints: 7812
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 30000 | #Constraints: 5212
37.19/37.30 c #Conflicts: 31000 | #Constraints: 6212
37.19/37.30 c #Conflicts: 32000 | #Constraints: 7212
37.19/37.30 c #Conflicts: 33000 | #Constraints: 8212
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 34000 | #Constraints: 5417
37.19/37.30 c #Conflicts: 35000 | #Constraints: 6417
37.19/37.30 c #Conflicts: 36000 | #Constraints: 7417
37.19/37.30 c #Conflicts: 37000 | #Constraints: 8417
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 38000 | #Constraints: 5417
37.19/37.30 c #Conflicts: 39000 | #Constraints: 6417
37.19/37.30 c #Conflicts: 40000 | #Constraints: 7417
37.19/37.30 c #Conflicts: 41000 | #Constraints: 8417
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 42000 | #Constraints: 5219
37.19/37.30 c #Conflicts: 43000 | #Constraints: 6219
37.19/37.30 c #Conflicts: 44000 | #Constraints: 7219
37.19/37.30 c #Conflicts: 45000 | #Constraints: 8219
37.19/37.30 c #Conflicts: 46000 | #Constraints: 9219
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 47000 | #Constraints: 5815
37.19/37.30 c #Conflicts: 48000 | #Constraints: 6815
37.19/37.30 c #Conflicts: 49000 | #Constraints: 7815
37.19/37.30 c #Conflicts: 50000 | #Constraints: 8815
37.19/37.30 c #Conflicts: 51000 | #Constraints: 9815
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 52000 | #Constraints: 6215
37.19/37.30 c #Conflicts: 53000 | #Constraints: 7215
37.19/37.30 c #Conflicts: 54000 | #Constraints: 8215
37.19/37.30 c #Conflicts: 55000 | #Constraints: 9215
37.19/37.30 c #Conflicts: 56000 | #Constraints: 10215
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 57000 | #Constraints: 6416
37.19/37.30 c #Conflicts: 58000 | #Constraints: 7416
37.19/37.30 c #Conflicts: 59000 | #Constraints: 8416
37.19/37.30 c #Conflicts: 60000 | #Constraints: 9416
37.19/37.30 c #Conflicts: 61000 | #Constraints: 10416
37.19/37.30 c INPROCESSING
37.19/37.30 c GARBAGE COLLECT
37.19/37.30 c #Conflicts: 62000 | #Constraints: 6418
37.19/37.30 c #Conflicts: 63000 | #Constraints: 7418
37.19/37.30 c #Conflicts: 64000 | #Constraints: 8418
37.19/37.30 c #Conflicts: 65000 | #Constraints: 9418
143.01/143.40 c #Conflicts: 66000 | #Constraints: 10418
143.01/143.40 c INPROCESSING
143.01/143.40 c GARBAGE COLLECT
143.01/143.40 c #Conflicts: 67000 | #Constraints: 6219
143.01/143.40 c #Conflicts: 68000 | #Constraints: 7219
143.01/143.40 c #Conflicts: 69000 | #Constraints: 8219
143.01/143.40 c #Conflicts: 70000 | #Constraints: 9219
143.01/143.40 c #Conflicts: 71000 | #Constraints: 10219
143.01/143.40 c #Conflicts: 72000 | #Constraints: 11219
143.01/143.40 c INPROCESSING
143.01/143.40 c GARBAGE COLLECT
143.01/143.40 c #Conflicts: 73000 | #Constraints: 6821
143.01/143.40 c #Conflicts: 74000 | #Constraints: 7821
143.01/143.40 c #Conflicts: 75000 | #Constraints: 8821
143.01/143.40 c #Conflicts: 76000 | #Constraints: 9821
143.01/143.40 c #Conflicts: 77000 | #Constraints: 10821
143.01/143.40 c #Conflicts: 78000 | #Constraints: 11821
143.01/143.40 c INPROCESSING
143.01/143.40 c GARBAGE COLLECT
143.01/143.40 c #Conflicts: 79000 | #Constraints: 7221
143.01/143.40 c #Conflicts: 80000 | #Constraints: 8221
143.01/143.40 c #Conflicts: 81000 | #Constraints: 9221
143.01/143.40 c #Conflicts: 82000 | #Constraints: 10221
143.01/143.40 c #Conflicts: 83000 | #Constraints: 11221
143.01/143.40 c #Conflicts: 84000 | #Constraints: 12221
143.01/143.40 c INPROCESSING
143.01/143.40 c GARBAGE COLLECT
143.01/143.40 c #Conflicts: 85000 | #Constraints: 7423
143.01/143.40 c #Conflicts: 86000 | #Constraints: 8423
143.01/143.40 c #Conflicts: 87000 | #Constraints: 9423
143.01/143.40 c #Conflicts: 88000 | #Constraints: 10423
143.01/143.40 c #Conflicts: 89000 | #Constraints: 11423
143.01/143.40 c #Conflicts: 90000 | #Constraints: 12423
143.01/143.40 c INPROCESSING
143.01/143.40 c GARBAGE COLLECT
143.01/143.40 c #Conflicts: 91000 | #Constraints: 7429
143.01/143.40 c #Conflicts: 92000 | #Constraints: 8429
143.01/143.40 c #Conflicts: 93000 | #Constraints: 9429
143.01/143.40 c #Conflicts: 94000 | #Constraints: 10429
143.01/143.40 c #Conflicts: 95000 | #Constraints: 11429
143.01/143.40 c #Conflicts: 96000 | #Constraints: 12429
143.01/143.40 c INPROCESSING
143.01/143.40 c GARBAGE COLLECT
143.01/143.40 c #Conflicts: 97000 | #Constraints: 7230
143.01/143.40 c #Conflicts: 98000 | #Constraints: 8230
143.01/143.40 c #Conflicts: 99000 | #Constraints: 9230
143.01/143.40 c #Conflicts: 100000 | #Constraints: 10230
143.01/143.40 c #Conflicts: 101000 | #Constraints: 11230
143.01/143.40 c #Conflicts: 102000 | #Constraints: 12230
143.01/143.40 c #Conflicts: 103000 | #Constraints: 13230
143.01/143.40 c INPROCESSING
143.01/143.40 c GARBAGE COLLECT
143.01/143.40 c #Conflicts: 104000 | #Constraints: 7827
143.01/143.40 c #Conflicts: 105000 | #Constraints: 8827
143.01/143.40 c #Conflicts: 106000 | #Constraints: 9827
143.01/143.40 c #Conflicts: 107000 | #Constraints: 10827
143.01/143.40 c #Conflicts: 108000 | #Constraints: 11827
143.01/143.40 c #Conflicts: 109000 | #Constraints: 12827
143.01/143.40 c #Conflicts: 110000 | #Constraints: 13827
143.01/143.40 c INPROCESSING
143.01/143.40 c GARBAGE COLLECT
143.01/143.40 c #Conflicts: 111000 | #Constraints: 8229
143.01/143.40 c #Conflicts: 112000 | #Constraints: 9229
143.01/143.40 c #Conflicts: 113000 | #Constraints: 10229
143.01/143.40 c #Conflicts: 114000 | #Constraints: 11229
143.01/143.40 c #Conflicts: 115000 | #Constraints: 12229
143.01/143.40 c #Conflicts: 116000 | #Constraints: 13229
143.01/143.40 c #Conflicts: 117000 | #Constraints: 14229
143.01/143.40 c INPROCESSING
143.01/143.40 c GARBAGE COLLECT
143.01/143.40 c #Conflicts: 118000 | #Constraints: 8428
143.01/143.40 c #Conflicts: 119000 | #Constraints: 9428
143.01/143.40 c #Conflicts: 120000 | #Constraints: 10428
143.01/143.40 c #Conflicts: 121000 | #Constraints: 11428
143.01/143.40 c #Conflicts: 122000 | #Constraints: 12428
143.01/143.40 c #Conflicts: 123000 | #Constraints: 13428
143.01/143.40 c #Conflicts: 124000 | #Constraints: 14428
143.01/143.40 c INPROCESSING
143.01/143.40 c GARBAGE COLLECT
143.01/143.40 c #Conflicts: 125000 | #Constraints: 8428
143.01/143.40 c #Conflicts: 126000 | #Constraints: 9428
143.01/143.40 c #Conflicts: 127000 | #Constraints: 10428
143.01/143.40 c #Conflicts: 128000 | #Constraints: 11428
143.01/143.40 c #Conflicts: 129000 | #Constraints: 12428
143.01/143.40 c #Conflicts: 130000 | #Constraints: 13428
143.01/143.40 c #Conflicts: 131000 | #Constraints: 14428
143.01/143.40 c INPROCESSING
143.01/143.40 c GARBAGE COLLECT
143.01/143.40 c #Conflicts: 132000 | #Constraints: 8231
143.01/143.40 c #Conflicts: 133000 | #Constraints: 9231
143.01/143.40 c #Conflicts: 134000 | #Constraints: 10231
143.01/143.40 c #Conflicts: 135000 | #Constraints: 11231
143.01/143.40 c #Conflicts: 136000 | #Constraints: 12231
143.01/143.40 c #Conflicts: 137000 | #Constraints: 13231
322.27/323.17 c #Conflicts: 138000 | #Constraints: 14231
322.27/323.17 c #Conflicts: 139000 | #Constraints: 15231
322.27/323.17 c INPROCESSING
322.27/323.17 c GARBAGE COLLECT
322.27/323.17 c #Conflicts: 140000 | #Constraints: 8832
322.27/323.17 c #Conflicts: 141000 | #Constraints: 9832
322.27/323.17 c #Conflicts: 142000 | #Constraints: 10832
322.27/323.17 c #Conflicts: 143000 | #Constraints: 11832
322.27/323.17 c #Conflicts: 144000 | #Constraints: 12832
322.27/323.17 c #Conflicts: 145000 | #Constraints: 13832
322.27/323.17 c #Conflicts: 146000 | #Constraints: 14832
322.27/323.17 c #Conflicts: 147000 | #Constraints: 15832
322.27/323.17 c INPROCESSING
322.27/323.17 c GARBAGE COLLECT
322.27/323.17 c #Conflicts: 148000 | #Constraints: 9234
322.27/323.17 c #Conflicts: 149000 | #Constraints: 10234
322.27/323.17 c #Conflicts: 150000 | #Constraints: 11234
322.27/323.17 c #Conflicts: 151000 | #Constraints: 12234
322.27/323.17 c #Conflicts: 152000 | #Constraints: 13234
322.27/323.17 c #Conflicts: 153000 | #Constraints: 14234
322.27/323.17 c #Conflicts: 154000 | #Constraints: 15234
322.27/323.17 c #Conflicts: 155000 | #Constraints: 16234
322.27/323.17 c INPROCESSING
322.27/323.17 c GARBAGE COLLECT
322.27/323.17 c #Conflicts: 156000 | #Constraints: 9434
322.27/323.17 c #Conflicts: 157000 | #Constraints: 10434
322.27/323.17 c #Conflicts: 158000 | #Constraints: 11434
322.27/323.17 c #Conflicts: 159000 | #Constraints: 12434
322.27/323.17 c #Conflicts: 160000 | #Constraints: 13434
322.27/323.17 c #Conflicts: 161000 | #Constraints: 14434
322.27/323.17 c #Conflicts: 162000 | #Constraints: 15434
322.27/323.17 c #Conflicts: 163000 | #Constraints: 16434
322.27/323.17 c INPROCESSING
322.27/323.17 c GARBAGE COLLECT
322.27/323.17 c #Conflicts: 164000 | #Constraints: 9435
322.27/323.17 c #Conflicts: 165000 | #Constraints: 10435
322.27/323.17 c #Conflicts: 166000 | #Constraints: 11435
322.27/323.17 c #Conflicts: 167000 | #Constraints: 12435
322.27/323.17 c #Conflicts: 168000 | #Constraints: 13435
322.27/323.17 c #Conflicts: 169000 | #Constraints: 14435
322.27/323.17 c #Conflicts: 170000 | #Constraints: 15435
322.27/323.17 c #Conflicts: 171000 | #Constraints: 16435
322.27/323.17 c INPROCESSING
322.27/323.17 c GARBAGE COLLECT
322.27/323.17 c #Conflicts: 172000 | #Constraints: 9230
322.27/323.17 c #Conflicts: 173000 | #Constraints: 10230
322.27/323.17 c #Conflicts: 174000 | #Constraints: 11230
322.27/323.17 c #Conflicts: 175000 | #Constraints: 12230
322.27/323.17 c #Conflicts: 176000 | #Constraints: 13230
322.27/323.17 c #Conflicts: 177000 | #Constraints: 14230
322.27/323.17 c #Conflicts: 178000 | #Constraints: 15230
322.27/323.17 c #Conflicts: 179000 | #Constraints: 16230
322.27/323.17 c #Conflicts: 180000 | #Constraints: 17230
322.27/323.17 c INPROCESSING
322.27/323.17 c GARBAGE COLLECT
322.27/323.17 c #Conflicts: 181000 | #Constraints: 9832
322.27/323.17 c #Conflicts: 182000 | #Constraints: 10832
322.27/323.17 c #Conflicts: 183000 | #Constraints: 11832
322.27/323.17 c #Conflicts: 184000 | #Constraints: 12832
322.27/323.17 c #Conflicts: 185000 | #Constraints: 13832
322.27/323.17 c #Conflicts: 186000 | #Constraints: 14832
322.27/323.17 c #Conflicts: 187000 | #Constraints: 15832
322.27/323.17 c #Conflicts: 188000 | #Constraints: 16832
322.27/323.17 c #Conflicts: 189000 | #Constraints: 17832
322.27/323.17 c INPROCESSING
322.27/323.17 c GARBAGE COLLECT
322.27/323.17 c #Conflicts: 190000 | #Constraints: 10235
322.27/323.17 c #Conflicts: 191000 | #Constraints: 11235
322.27/323.17 c #Conflicts: 192000 | #Constraints: 12235
322.27/323.17 c #Conflicts: 193000 | #Constraints: 13235
322.27/323.17 c #Conflicts: 194000 | #Constraints: 14235
322.27/323.17 c #Conflicts: 195000 | #Constraints: 15235
322.27/323.17 c #Conflicts: 196000 | #Constraints: 16235
322.27/323.17 c #Conflicts: 197000 | #Constraints: 17235
322.27/323.17 c #Conflicts: 198000 | #Constraints: 18235
322.27/323.17 c INPROCESSING
322.27/323.17 c GARBAGE COLLECT
322.27/323.17 c #Conflicts: 199000 | #Constraints: 10434
322.27/323.17 c #Conflicts: 200000 | #Constraints: 11434
322.27/323.17 c #Conflicts: 201000 | #Constraints: 12434
322.27/323.17 c #Conflicts: 202000 | #Constraints: 13434
322.27/323.17 c #Conflicts: 203000 | #Constraints: 14434
322.27/323.17 c #Conflicts: 204000 | #Constraints: 15434
322.27/323.17 c #Conflicts: 205000 | #Constraints: 16434
322.27/323.17 c #Conflicts: 206000 | #Constraints: 17434
322.27/323.17 c #Conflicts: 207000 | #Constraints: 18434
322.27/323.17 c INPROCESSING
322.27/323.17 c GARBAGE COLLECT
322.27/323.17 c #Conflicts: 208000 | #Constraints: 10431
322.27/323.17 c #Conflicts: 209000 | #Constraints: 11431
322.27/323.17 c #Conflicts: 210000 | #Constraints: 12431
617.02/618.62 c #Conflicts: 211000 | #Constraints: 13431
617.02/618.62 c #Conflicts: 212000 | #Constraints: 14431
617.02/618.62 c #Conflicts: 213000 | #Constraints: 15431
617.02/618.62 c #Conflicts: 214000 | #Constraints: 16431
617.02/618.62 c #Conflicts: 215000 | #Constraints: 17431
617.02/618.62 c #Conflicts: 216000 | #Constraints: 18431
617.02/618.62 c INPROCESSING
617.02/618.62 c GARBAGE COLLECT
617.02/618.62 c #Conflicts: 217000 | #Constraints: 10235
617.02/618.62 c #Conflicts: 218000 | #Constraints: 11235
617.02/618.62 c #Conflicts: 219000 | #Constraints: 12235
617.02/618.62 c #Conflicts: 220000 | #Constraints: 13235
617.02/618.62 c #Conflicts: 221000 | #Constraints: 14235
617.02/618.62 c #Conflicts: 222000 | #Constraints: 15235
617.02/618.62 c #Conflicts: 223000 | #Constraints: 16235
617.02/618.62 c #Conflicts: 224000 | #Constraints: 17235
617.02/618.62 c #Conflicts: 225000 | #Constraints: 18235
617.02/618.62 c #Conflicts: 226000 | #Constraints: 19235
617.02/618.62 c INPROCESSING
617.02/618.62 c GARBAGE COLLECT
617.02/618.62 c #Conflicts: 227000 | #Constraints: 10832
617.02/618.62 c #Conflicts: 228000 | #Constraints: 11832
617.02/618.62 c #Conflicts: 229000 | #Constraints: 12832
617.02/618.62 c #Conflicts: 230000 | #Constraints: 13832
617.02/618.62 c #Conflicts: 231000 | #Constraints: 14832
617.02/618.62 c #Conflicts: 232000 | #Constraints: 15832
617.02/618.62 c #Conflicts: 233000 | #Constraints: 16832
617.02/618.62 c #Conflicts: 234000 | #Constraints: 17832
617.02/618.62 c #Conflicts: 235000 | #Constraints: 18832
617.02/618.62 c #Conflicts: 236000 | #Constraints: 19832
617.02/618.62 c INPROCESSING
617.02/618.62 c GARBAGE COLLECT
617.02/618.62 c #Conflicts: 237000 | #Constraints: 11236
617.02/618.62 c #Conflicts: 238000 | #Constraints: 12236
617.02/618.62 c #Conflicts: 239000 | #Constraints: 13236
617.02/618.62 c #Conflicts: 240000 | #Constraints: 14236
617.02/618.62 c #Conflicts: 241000 | #Constraints: 15236
617.02/618.62 c #Conflicts: 242000 | #Constraints: 16236
617.02/618.62 c #Conflicts: 243000 | #Constraints: 17236
617.02/618.62 c #Conflicts: 244000 | #Constraints: 18236
617.02/618.62 c #Conflicts: 245000 | #Constraints: 19236
617.02/618.62 c #Conflicts: 246000 | #Constraints: 20236
617.02/618.62 c INPROCESSING
617.02/618.62 c GARBAGE COLLECT
617.02/618.62 c #Conflicts: 247000 | #Constraints: 11432
617.02/618.62 c #Conflicts: 248000 | #Constraints: 12432
617.02/618.62 c #Conflicts: 249000 | #Constraints: 13432
617.02/618.62 c #Conflicts: 250000 | #Constraints: 14432
617.02/618.62 c #Conflicts: 251000 | #Constraints: 15432
617.02/618.62 c #Conflicts: 252000 | #Constraints: 16432
617.02/618.62 c #Conflicts: 253000 | #Constraints: 17432
617.02/618.62 c #Conflicts: 254000 | #Constraints: 18432
617.02/618.62 c #Conflicts: 255000 | #Constraints: 19432
617.02/618.62 c #Conflicts: 256000 | #Constraints: 20432
617.02/618.62 c INPROCESSING
617.02/618.62 c GARBAGE COLLECT
617.02/618.62 c #Conflicts: 257000 | #Constraints: 11437
617.02/618.62 c #Conflicts: 258000 | #Constraints: 12437
617.02/618.62 c #Conflicts: 259000 | #Constraints: 13437
617.02/618.62 c #Conflicts: 260000 | #Constraints: 14437
617.02/618.62 c #Conflicts: 261000 | #Constraints: 15437
617.02/618.62 c #Conflicts: 262000 | #Constraints: 16437
617.02/618.62 c #Conflicts: 263000 | #Constraints: 17437
617.02/618.62 c #Conflicts: 264000 | #Constraints: 18437
617.02/618.62 c #Conflicts: 265000 | #Constraints: 19437
617.02/618.62 c #Conflicts: 266000 | #Constraints: 20437
617.02/618.62 c INPROCESSING
617.02/618.62 c GARBAGE COLLECT
617.02/618.62 c #Conflicts: 267000 | #Constraints: 11243
617.02/618.62 c #Conflicts: 268000 | #Constraints: 12243
617.02/618.62 c #Conflicts: 269000 | #Constraints: 13243
617.02/618.62 c #Conflicts: 270000 | #Constraints: 14243
617.02/618.62 c #Conflicts: 271000 | #Constraints: 15243
617.02/618.62 c #Conflicts: 272000 | #Constraints: 16243
617.02/618.62 c #Conflicts: 273000 | #Constraints: 17243
617.02/618.62 c #Conflicts: 274000 | #Constraints: 18243
617.02/618.62 c #Conflicts: 275000 | #Constraints: 19243
617.02/618.62 c #Conflicts: 276000 | #Constraints: 20243
617.02/618.62 c #Conflicts: 277000 | #Constraints: 21243
617.02/618.62 c INPROCESSING
617.02/618.62 c GARBAGE COLLECT
617.02/618.62 c #Conflicts: 278000 | #Constraints: 11839
617.02/618.62 c #Conflicts: 279000 | #Constraints: 12839
617.02/618.62 c #Conflicts: 280000 | #Constraints: 13839
617.02/618.62 c #Conflicts: 281000 | #Constraints: 14839
617.02/618.62 c #Conflicts: 282000 | #Constraints: 15839
617.02/618.62 c #Conflicts: 283000 | #Constraints: 16839
617.02/618.62 c #Conflicts: 284000 | #Constraints: 17839
1051.86/1054.60 c #Conflicts: 285000 | #Constraints: 18839
1051.86/1054.60 c #Conflicts: 286000 | #Constraints: 19839
1051.86/1054.60 c #Conflicts: 287000 | #Constraints: 20839
1051.86/1054.60 c #Conflicts: 288000 | #Constraints: 21839
1051.86/1054.60 c INPROCESSING
1051.86/1054.60 c GARBAGE COLLECT
1051.86/1054.60 c #Conflicts: 289000 | #Constraints: 12234
1051.86/1054.60 c #Conflicts: 290000 | #Constraints: 13234
1051.86/1054.60 c #Conflicts: 291000 | #Constraints: 14234
1051.86/1054.60 c #Conflicts: 292000 | #Constraints: 15234
1051.86/1054.60 c #Conflicts: 293000 | #Constraints: 16234
1051.86/1054.60 c #Conflicts: 294000 | #Constraints: 17234
1051.86/1054.60 c #Conflicts: 295000 | #Constraints: 18234
1051.86/1054.60 c #Conflicts: 296000 | #Constraints: 19234
1051.86/1054.60 c #Conflicts: 297000 | #Constraints: 20234
1051.86/1054.60 c #Conflicts: 298000 | #Constraints: 21234
1051.86/1054.60 c #Conflicts: 299000 | #Constraints: 22234
1051.86/1054.60 c INPROCESSING
1051.86/1054.60 c GARBAGE COLLECT
1051.86/1054.60 c #Conflicts: 300000 | #Constraints: 12439
1051.86/1054.60 c #Conflicts: 301000 | #Constraints: 13439
1051.86/1054.60 c #Conflicts: 302000 | #Constraints: 14439
1051.86/1054.60 c #Conflicts: 303000 | #Constraints: 15439
1051.86/1054.60 c #Conflicts: 304000 | #Constraints: 16439
1051.86/1054.60 c #Conflicts: 305000 | #Constraints: 17439
1051.86/1054.60 c #Conflicts: 306000 | #Constraints: 18439
1051.86/1054.60 c #Conflicts: 307000 | #Constraints: 19439
1051.86/1054.60 c #Conflicts: 308000 | #Constraints: 20439
1051.86/1054.60 c #Conflicts: 309000 | #Constraints: 21439
1051.86/1054.60 c #Conflicts: 310000 | #Constraints: 22439
1051.86/1054.60 c INPROCESSING
1051.86/1054.60 c GARBAGE COLLECT
1051.86/1054.60 c #Conflicts: 311000 | #Constraints: 12444
1051.86/1054.60 c #Conflicts: 312000 | #Constraints: 13444
1051.86/1054.60 c #Conflicts: 313000 | #Constraints: 14444
1051.86/1054.60 c #Conflicts: 314000 | #Constraints: 15444
1051.86/1054.60 c #Conflicts: 315000 | #Constraints: 16444
1051.86/1054.60 c #Conflicts: 316000 | #Constraints: 17444
1051.86/1054.60 c #Conflicts: 317000 | #Constraints: 18444
1051.86/1054.60 c #Conflicts: 318000 | #Constraints: 19444
1051.86/1054.60 c #Conflicts: 319000 | #Constraints: 20444
1051.86/1054.60 c #Conflicts: 320000 | #Constraints: 21444
1051.86/1054.60 c #Conflicts: 321000 | #Constraints: 22444
1051.86/1054.60 c INPROCESSING
1051.86/1054.60 c GARBAGE COLLECT
1051.86/1054.60 c #Conflicts: 322000 | #Constraints: 12240
1051.86/1054.60 c #Conflicts: 323000 | #Constraints: 13240
1051.86/1054.60 c #Conflicts: 324000 | #Constraints: 14240
1051.86/1054.60 c #Conflicts: 325000 | #Constraints: 15240
1051.86/1054.60 c #Conflicts: 326000 | #Constraints: 16240
1051.86/1054.60 c #Conflicts: 327000 | #Constraints: 17240
1051.86/1054.60 c #Conflicts: 328000 | #Constraints: 18240
1051.86/1054.60 c #Conflicts: 329000 | #Constraints: 19240
1051.86/1054.60 c #Conflicts: 330000 | #Constraints: 20240
1051.86/1054.60 c #Conflicts: 331000 | #Constraints: 21240
1051.86/1054.60 c #Conflicts: 332000 | #Constraints: 22240
1051.86/1054.60 c #Conflicts: 333000 | #Constraints: 23240
1051.86/1054.60 c INPROCESSING
1051.86/1054.60 c GARBAGE COLLECT
1051.86/1054.60 c #Conflicts: 334000 | #Constraints: 12839
1051.86/1054.60 c #Conflicts: 335000 | #Constraints: 13839
1051.86/1054.60 c #Conflicts: 336000 | #Constraints: 14839
1051.86/1054.60 c #Conflicts: 337000 | #Constraints: 15839
1051.86/1054.60 c #Conflicts: 338000 | #Constraints: 16839
1051.86/1054.60 c #Conflicts: 339000 | #Constraints: 17839
1051.86/1054.60 c #Conflicts: 340000 | #Constraints: 18839
1051.86/1054.60 c #Conflicts: 341000 | #Constraints: 19839
1051.86/1054.60 c #Conflicts: 342000 | #Constraints: 20839
1051.86/1054.60 c #Conflicts: 343000 | #Constraints: 21839
1051.86/1054.60 c #Conflicts: 344000 | #Constraints: 22839
1051.86/1054.60 c #Conflicts: 345000 | #Constraints: 23839
1051.86/1054.60 c INPROCESSING
1051.86/1054.60 c GARBAGE COLLECT
1051.86/1054.60 c #Conflicts: 346000 | #Constraints: 13234
1051.86/1054.60 c #Conflicts: 347000 | #Constraints: 14234
1051.86/1054.60 c #Conflicts: 348000 | #Constraints: 15234
1051.86/1054.60 c #Conflicts: 349000 | #Constraints: 16234
1051.86/1054.60 c #Conflicts: 350000 | #Constraints: 17234
1051.86/1054.60 c #Conflicts: 351000 | #Constraints: 18234
1051.86/1054.60 c #Conflicts: 352000 | #Constraints: 19234
1051.86/1054.60 c #Conflicts: 353000 | #Constraints: 20234
1051.86/1054.60 c #Conflicts: 354000 | #Constraints: 21234
1051.86/1054.60 c #Conflicts: 355000 | #Constraints: 22234
1051.86/1054.60 c #Conflicts: 356000 | #Constraints: 23234
1051.86/1054.60 c #Conflicts: 357000 | #Constraints: 24234
1051.86/1054.60 c INPROCESSING
1051.86/1054.60 c GARBAGE COLLECT
1051.86/1054.60 c #Conflicts: 358000 | #Constraints: 13433
1051.86/1054.60 c #Conflicts: 359000 | #Constraints: 14433
1629.34/1633.61 c #Conflicts: 360000 | #Constraints: 15433
1629.34/1633.61 c #Conflicts: 361000 | #Constraints: 16433
1629.34/1633.61 c #Conflicts: 362000 | #Constraints: 17433
1629.34/1633.61 c #Conflicts: 363000 | #Constraints: 18433
1629.34/1633.61 c #Conflicts: 364000 | #Constraints: 19433
1629.34/1633.61 c #Conflicts: 365000 | #Constraints: 20433
1629.34/1633.61 c #Conflicts: 366000 | #Constraints: 21433
1629.34/1633.61 c #Conflicts: 367000 | #Constraints: 22433
1629.34/1633.61 c #Conflicts: 368000 | #Constraints: 23433
1629.34/1633.61 c #Conflicts: 369000 | #Constraints: 24433
1629.34/1633.61 c INPROCESSING
1629.34/1633.61 c GARBAGE COLLECT
1629.34/1633.61 c #Conflicts: 370000 | #Constraints: 13437
1629.34/1633.61 c #Conflicts: 371000 | #Constraints: 14437
1629.34/1633.61 c #Conflicts: 372000 | #Constraints: 15437
1629.34/1633.61 c #Conflicts: 373000 | #Constraints: 16437
1629.34/1633.61 c #Conflicts: 374000 | #Constraints: 17437
1629.34/1633.61 c #Conflicts: 375000 | #Constraints: 18437
1629.34/1633.61 c #Conflicts: 376000 | #Constraints: 19437
1629.34/1633.61 c #Conflicts: 377000 | #Constraints: 20437
1629.34/1633.61 c #Conflicts: 378000 | #Constraints: 21437
1629.34/1633.61 c #Conflicts: 379000 | #Constraints: 22437
1629.34/1633.61 c #Conflicts: 380000 | #Constraints: 23437
1629.34/1633.61 c #Conflicts: 381000 | #Constraints: 24437
1629.34/1633.61 c INPROCESSING
1629.34/1633.61 c GARBAGE COLLECT
1629.34/1633.61 c #Conflicts: 382000 | #Constraints: 13241
1629.34/1633.61 c #Conflicts: 383000 | #Constraints: 14241
1629.34/1633.61 c #Conflicts: 384000 | #Constraints: 15241
1629.34/1633.61 c #Conflicts: 385000 | #Constraints: 16241
1629.34/1633.61 c #Conflicts: 386000 | #Constraints: 17241
1629.34/1633.61 c #Conflicts: 387000 | #Constraints: 18241
1629.34/1633.61 c #Conflicts: 388000 | #Constraints: 19241
1629.34/1633.61 c #Conflicts: 389000 | #Constraints: 20241
1629.34/1633.61 c #Conflicts: 390000 | #Constraints: 21241
1629.34/1633.61 c #Conflicts: 391000 | #Constraints: 22241
1629.34/1633.61 c #Conflicts: 392000 | #Constraints: 23241
1629.34/1633.61 c #Conflicts: 393000 | #Constraints: 24241
1629.34/1633.61 c #Conflicts: 394000 | #Constraints: 25241
1629.34/1633.61 c INPROCESSING
1629.34/1633.61 c GARBAGE COLLECT
1629.34/1633.61 c #Conflicts: 395000 | #Constraints: 13839
1629.34/1633.61 c #Conflicts: 396000 | #Constraints: 14839
1629.34/1633.61 c #Conflicts: 397000 | #Constraints: 15839
1629.34/1633.61 c #Conflicts: 398000 | #Constraints: 16839
1629.34/1633.61 c #Conflicts: 399000 | #Constraints: 17839
1629.34/1633.61 c #Conflicts: 400000 | #Constraints: 18839
1629.34/1633.61 c #Conflicts: 401000 | #Constraints: 19839
1629.34/1633.61 c #Conflicts: 402000 | #Constraints: 20839
1629.34/1633.61 c #Conflicts: 403000 | #Constraints: 21839
1629.34/1633.61 c #Conflicts: 404000 | #Constraints: 22839
1629.34/1633.61 c #Conflicts: 405000 | #Constraints: 23839
1629.34/1633.61 c #Conflicts: 406000 | #Constraints: 24839
1629.34/1633.61 c #Conflicts: 407000 | #Constraints: 25839
1629.34/1633.61 c INPROCESSING
1629.34/1633.61 c GARBAGE COLLECT
1629.34/1633.61 c #Conflicts: 408000 | #Constraints: 14249
1629.34/1633.61 c #Conflicts: 409000 | #Constraints: 15249
1629.34/1633.61 c #Conflicts: 410000 | #Constraints: 16249
1629.34/1633.61 c #Conflicts: 411000 | #Constraints: 17249
1629.34/1633.61 c #Conflicts: 412000 | #Constraints: 18249
1629.34/1633.61 c #Conflicts: 413000 | #Constraints: 19249
1629.34/1633.61 c #Conflicts: 414000 | #Constraints: 20249
1629.34/1633.61 c #Conflicts: 415000 | #Constraints: 21249
1629.34/1633.61 c #Conflicts: 416000 | #Constraints: 22249
1629.34/1633.61 c #Conflicts: 417000 | #Constraints: 23249
1629.34/1633.61 c #Conflicts: 418000 | #Constraints: 24249
1629.34/1633.61 c #Conflicts: 419000 | #Constraints: 25249
1629.34/1633.61 c #Conflicts: 420000 | #Constraints: 26249
1629.34/1633.61 c INPROCESSING
1629.34/1633.61 c GARBAGE COLLECT
1629.34/1633.61 c #Conflicts: 421000 | #Constraints: 14445
1629.34/1633.61 c #Conflicts: 422000 | #Constraints: 15445
1629.34/1633.61 c #Conflicts: 423000 | #Constraints: 16445
1629.34/1633.61 c #Conflicts: 424000 | #Constraints: 17445
1629.34/1633.61 c #Conflicts: 425000 | #Constraints: 18445
1629.34/1633.61 c #Conflicts: 426000 | #Constraints: 19445
1629.34/1633.61 c #Conflicts: 427000 | #Constraints: 20445
1629.34/1633.61 c #Conflicts: 428000 | #Constraints: 21445
1629.34/1633.61 c #Conflicts: 429000 | #Constraints: 22445
1629.34/1633.61 c #Conflicts: 430000 | #Constraints: 23445
1629.34/1633.61 c #Conflicts: 431000 | #Constraints: 24445
1629.34/1633.61 c #Conflicts: 432000 | #Constraints: 25445
1629.34/1633.61 c #Conflicts: 433000 | #Constraints: 26445
1629.34/1633.61 c INPROCESSING
1629.34/1633.61 c GARBAGE COLLECT
1629.34/1633.61 c #Conflicts: 434000 | #Constraints: 14441
2256.83/2262.72 c #Conflicts: 435000 | #Constraints: 15441
2256.83/2262.72 c #Conflicts: 436000 | #Constraints: 16441
2256.83/2262.72 c #Conflicts: 437000 | #Constraints: 17441
2256.83/2262.72 c #Conflicts: 438000 | #Constraints: 18441
2256.83/2262.72 c #Conflicts: 439000 | #Constraints: 19441
2256.83/2262.72 c #Conflicts: 440000 | #Constraints: 20441
2256.83/2262.72 c #Conflicts: 441000 | #Constraints: 21441
2256.83/2262.72 c #Conflicts: 442000 | #Constraints: 22441
2256.83/2262.72 c #Conflicts: 443000 | #Constraints: 23441
2256.83/2262.72 c #Conflicts: 444000 | #Constraints: 24441
2256.83/2262.72 c #Conflicts: 445000 | #Constraints: 25441
2256.83/2262.72 c #Conflicts: 446000 | #Constraints: 26441
2256.83/2262.72 c INPROCESSING
2256.83/2262.72 c GARBAGE COLLECT
2256.83/2262.72 c #Conflicts: 447000 | #Constraints: 14239
2256.83/2262.72 c #Conflicts: 448000 | #Constraints: 15239
2256.83/2262.72 c #Conflicts: 449000 | #Constraints: 16239
2256.83/2262.72 c #Conflicts: 450000 | #Constraints: 17239
2256.83/2262.72 c #Conflicts: 451000 | #Constraints: 18239
2256.83/2262.72 c #Conflicts: 452000 | #Constraints: 19239
2256.83/2262.72 c #Conflicts: 453000 | #Constraints: 20239
2256.83/2262.72 c #Conflicts: 454000 | #Constraints: 21239
2256.83/2262.72 c #Conflicts: 455000 | #Constraints: 22239
2256.83/2262.72 c #Conflicts: 456000 | #Constraints: 23239
2256.83/2262.72 c #Conflicts: 457000 | #Constraints: 24239
2256.83/2262.72 c #Conflicts: 458000 | #Constraints: 25239
2256.83/2262.72 c #Conflicts: 459000 | #Constraints: 26239
2256.83/2262.72 c #Conflicts: 460000 | #Constraints: 27239
2256.83/2262.72 c INPROCESSING
2256.83/2262.72 c GARBAGE COLLECT
2256.83/2262.72 c #Conflicts: 461000 | #Constraints: 14838
2256.83/2262.72 c #Conflicts: 462000 | #Constraints: 15838
2256.83/2262.72 c #Conflicts: 463000 | #Constraints: 16838
2256.83/2262.72 c #Conflicts: 464000 | #Constraints: 17838
2256.83/2262.72 c #Conflicts: 465000 | #Constraints: 18838
2256.83/2262.72 c #Conflicts: 466000 | #Constraints: 19838
2256.83/2262.72 c #Conflicts: 467000 | #Constraints: 20838
2256.83/2262.72 c #Conflicts: 468000 | #Constraints: 21838
2256.83/2262.72 c #Conflicts: 469000 | #Constraints: 22838
2256.83/2262.72 c #Conflicts: 470000 | #Constraints: 23838
2256.83/2262.72 c #Conflicts: 471000 | #Constraints: 24838
2256.83/2262.72 c #Conflicts: 472000 | #Constraints: 25838
2256.83/2262.72 c #Conflicts: 473000 | #Constraints: 26838
2256.83/2262.72 c #Conflicts: 474000 | #Constraints: 27838
2256.83/2262.72 c INPROCESSING
2256.83/2262.72 c GARBAGE COLLECT
2256.83/2262.72 c #Conflicts: 475000 | #Constraints: 15237
2256.83/2262.72 c #Conflicts: 476000 | #Constraints: 16237
2256.83/2262.72 c #Conflicts: 477000 | #Constraints: 17237
2256.83/2262.72 c #Conflicts: 478000 | #Constraints: 18237
2256.83/2262.72 c #Conflicts: 479000 | #Constraints: 19237
2256.83/2262.72 c #Conflicts: 480000 | #Constraints: 20237
2256.83/2262.72 c #Conflicts: 481000 | #Constraints: 21237
2256.83/2262.72 c #Conflicts: 482000 | #Constraints: 22237
2256.83/2262.72 c #Conflicts: 483000 | #Constraints: 23237
2256.83/2262.72 c #Conflicts: 484000 | #Constraints: 24237
2256.83/2262.72 c #Conflicts: 485000 | #Constraints: 25237
2256.83/2262.72 c #Conflicts: 486000 | #Constraints: 26237
2256.83/2262.72 c #Conflicts: 487000 | #Constraints: 27237
2256.83/2262.72 c #Conflicts: 488000 | #Constraints: 28237
2256.83/2262.72 c INPROCESSING
2256.83/2262.72 c GARBAGE COLLECT
2256.83/2262.72 c #Conflicts: 489000 | #Constraints: 15440
2256.83/2262.72 c #Conflicts: 490000 | #Constraints: 16440
2256.83/2262.72 c #Conflicts: 491000 | #Constraints: 17440
2256.83/2262.72 c #Conflicts: 492000 | #Constraints: 18440
2256.83/2262.72 c #Conflicts: 493000 | #Constraints: 19440
2256.83/2262.72 c #Conflicts: 494000 | #Constraints: 20440
2256.83/2262.72 c #Conflicts: 495000 | #Constraints: 21440
2256.83/2262.72 c #Conflicts: 496000 | #Constraints: 22440
2256.83/2262.72 c #Conflicts: 497000 | #Constraints: 23440
2256.83/2262.72 c #Conflicts: 498000 | #Constraints: 24440
2256.83/2262.72 c #Conflicts: 499000 | #Constraints: 25440
2256.83/2262.72 c #Conflicts: 500000 | #Constraints: 26440
2256.83/2262.72 c #Conflicts: 501000 | #Constraints: 27440
2256.83/2262.72 c #Conflicts: 502000 | #Constraints: 28440
2256.83/2262.72 c INPROCESSING
2256.83/2262.72 c GARBAGE COLLECT
2256.83/2262.72 c #Conflicts: 503000 | #Constraints: 15437
2256.83/2262.72 c #Conflicts: 504000 | #Constraints: 16437
2256.83/2262.72 c #Conflicts: 505000 | #Constraints: 17437
2256.83/2262.72 c #Conflicts: 506000 | #Constraints: 18437
2256.83/2262.72 c #Conflicts: 507000 | #Constraints: 19437
2256.83/2262.72 c #Conflicts: 508000 | #Constraints: 20437
2256.83/2262.72 c #Conflicts: 509000 | #Constraints: 21437
2987.03/2994.70 c #Conflicts: 510000 | #Constraints: 22437
2987.03/2994.70 c #Conflicts: 511000 | #Constraints: 23437
2987.03/2994.70 c #Conflicts: 512000 | #Constraints: 24437
2987.03/2994.70 c #Conflicts: 513000 | #Constraints: 25437
2987.03/2994.70 c #Conflicts: 514000 | #Constraints: 26437
2987.03/2994.70 c #Conflicts: 515000 | #Constraints: 27437
2987.03/2994.70 c #Conflicts: 516000 | #Constraints: 28437
2987.03/2994.70 c INPROCESSING
2987.03/2994.70 c GARBAGE COLLECT
2987.03/2994.70 c #Conflicts: 517000 | #Constraints: 15242
2987.03/2994.70 c #Conflicts: 518000 | #Constraints: 16242
2987.03/2994.70 c #Conflicts: 519000 | #Constraints: 17242
2987.03/2994.70 c #Conflicts: 520000 | #Constraints: 18242
2987.03/2994.70 c #Conflicts: 521000 | #Constraints: 19242
2987.03/2994.70 c #Conflicts: 522000 | #Constraints: 20242
2987.03/2994.70 c #Conflicts: 523000 | #Constraints: 21242
2987.03/2994.70 c #Conflicts: 524000 | #Constraints: 22242
2987.03/2994.70 c #Conflicts: 525000 | #Constraints: 23242
2987.03/2994.70 c #Conflicts: 526000 | #Constraints: 24242
2987.03/2994.70 c #Conflicts: 527000 | #Constraints: 25242
2987.03/2994.70 c #Conflicts: 528000 | #Constraints: 26242
2987.03/2994.70 c #Conflicts: 529000 | #Constraints: 27242
2987.03/2994.70 c #Conflicts: 530000 | #Constraints: 28242
2987.03/2994.70 c #Conflicts: 531000 | #Constraints: 29242
2987.03/2994.70 c INPROCESSING
2987.03/2994.70 c GARBAGE COLLECT
2987.03/2994.70 c #Conflicts: 532000 | #Constraints: 15839
2987.03/2994.70 c #Conflicts: 533000 | #Constraints: 16839
2987.03/2994.70 c #Conflicts: 534000 | #Constraints: 17839
2987.03/2994.70 c #Conflicts: 535000 | #Constraints: 18839
2987.03/2994.70 c #Conflicts: 536000 | #Constraints: 19839
2987.03/2994.70 c #Conflicts: 537000 | #Constraints: 20839
2987.03/2994.70 c #Conflicts: 538000 | #Constraints: 21839
2987.03/2994.70 c #Conflicts: 539000 | #Constraints: 22839
2987.03/2994.70 c #Conflicts: 540000 | #Constraints: 23839
2987.03/2994.70 c #Conflicts: 541000 | #Constraints: 24839
2987.03/2994.70 c #Conflicts: 542000 | #Constraints: 25839
2987.03/2994.70 c #Conflicts: 543000 | #Constraints: 26839
2987.03/2994.70 c #Conflicts: 544000 | #Constraints: 27839
2987.03/2994.70 c #Conflicts: 545000 | #Constraints: 28839
2987.03/2994.70 c #Conflicts: 546000 | #Constraints: 29839
2987.03/2994.70 c INPROCESSING
2987.03/2994.70 c GARBAGE COLLECT
2987.03/2994.70 c #Conflicts: 547000 | #Constraints: 16239
2987.03/2994.70 c #Conflicts: 548000 | #Constraints: 17239
2987.03/2994.70 c #Conflicts: 549000 | #Constraints: 18239
2987.03/2994.70 c #Conflicts: 550000 | #Constraints: 19239
2987.03/2994.70 c #Conflicts: 551000 | #Constraints: 20239
2987.03/2994.70 c #Conflicts: 552000 | #Constraints: 21239
2987.03/2994.70 c #Conflicts: 553000 | #Constraints: 22239
2987.03/2994.70 c #Conflicts: 554000 | #Constraints: 23239
2987.03/2994.70 c #Conflicts: 555000 | #Constraints: 24239
2987.03/2994.70 c #Conflicts: 556000 | #Constraints: 25239
2987.03/2994.70 c #Conflicts: 557000 | #Constraints: 26239
2987.03/2994.70 c #Conflicts: 558000 | #Constraints: 27239
2987.03/2994.70 c #Conflicts: 559000 | #Constraints: 28239
2987.03/2994.70 c #Conflicts: 560000 | #Constraints: 29239
2987.03/2994.70 c #Conflicts: 561000 | #Constraints: 30239
2987.03/2994.70 c INPROCESSING
2987.03/2994.70 c GARBAGE COLLECT
2987.03/2994.70 c #Conflicts: 562000 | #Constraints: 16445
2987.03/2994.70 c #Conflicts: 563000 | #Constraints: 17445
2987.03/2994.70 c #Conflicts: 564000 | #Constraints: 18445
2987.03/2994.70 c #Conflicts: 565000 | #Constraints: 19445
2987.03/2994.70 c #Conflicts: 566000 | #Constraints: 20445
2987.03/2994.70 c #Conflicts: 567000 | #Constraints: 21445
2987.03/2994.70 c #Conflicts: 568000 | #Constraints: 22445
2987.03/2994.70 c #Conflicts: 569000 | #Constraints: 23445
2987.03/2994.70 c #Conflicts: 570000 | #Constraints: 24445
2987.03/2994.70 c #Conflicts: 571000 | #Constraints: 25445
2987.03/2994.70 c #Conflicts: 572000 | #Constraints: 26445
2987.03/2994.70 c #Conflicts: 573000 | #Constraints: 27445
2987.03/2994.70 c #Conflicts: 574000 | #Constraints: 28445
2987.03/2994.70 c #Conflicts: 575000 | #Constraints: 29445
2987.03/2994.70 c #Conflicts: 576000 | #Constraints: 30445
2987.03/2994.70 c INPROCESSING
2987.03/2994.70 c GARBAGE COLLECT
2987.03/2994.70 c #Conflicts: 577000 | #Constraints: 16444
2987.03/2994.70 c #Conflicts: 578000 | #Constraints: 17444
2987.03/2994.70 c #Conflicts: 579000 | #Constraints: 18444
2987.03/2994.70 c #Conflicts: 580000 | #Constraints: 19444
2987.03/2994.70 c #Conflicts: 581000 | #Constraints: 20444
2987.03/2994.70 c #Conflicts: 582000 | #Constraints: 21444
2987.03/2994.70 c #Conflicts: 583000 | #Constraints: 22444
2987.03/2994.70 c #Conflicts: 584000 | #Constraints: 23444
2987.03/2994.70 c #Conflicts: 585000 | #Constraints: 24444
3600.08/3609.30 c #Conflicts: 586000 | #Constraints: 25444
3600.08/3609.30 c #Conflicts: 587000 | #Constraints: 26444
3600.08/3609.30 c #Conflicts: 588000 | #Constraints: 27444
3600.08/3609.30 c #Conflicts: 589000 | #Constraints: 28444
3600.08/3609.30 c #Conflicts: 590000 | #Constraints: 29444
3600.08/3609.30 c #Conflicts: 591000 | #Constraints: 30444
3600.08/3609.30 c INPROCESSING
3600.08/3609.30 c GARBAGE COLLECT
3600.08/3609.30 c #Conflicts: 592000 | #Constraints: 16238
3600.08/3609.30 c #Conflicts: 593000 | #Constraints: 17238
3600.08/3609.30 c #Conflicts: 594000 | #Constraints: 18238
3600.08/3609.30 c #Conflicts: 595000 | #Constraints: 19238
3600.08/3609.30 c #Conflicts: 596000 | #Constraints: 20238
3600.08/3609.30 c #Conflicts: 597000 | #Constraints: 21238
3600.08/3609.30 c #Conflicts: 598000 | #Constraints: 22238
3600.08/3609.30 c #Conflicts: 599000 | #Constraints: 23238
3600.08/3609.30 c #Conflicts: 600000 | #Constraints: 24238
3600.08/3609.30 c #Conflicts: 601000 | #Constraints: 25238
3600.08/3609.30 c #Conflicts: 602000 | #Constraints: 26238
3600.08/3609.30 c #Conflicts: 603000 | #Constraints: 27238
3600.08/3609.30 c #Conflicts: 604000 | #Constraints: 28238
3600.08/3609.30 c #Conflicts: 605000 | #Constraints: 29238
3600.08/3609.30 c #Conflicts: 606000 | #Constraints: 30238
3600.08/3609.30 c #Conflicts: 607000 | #Constraints: 31238
3600.08/3609.30 c INPROCESSING
3600.08/3609.30 c GARBAGE COLLECT
3600.08/3609.30 c #Conflicts: 608000 | #Constraints: 16841
3600.08/3609.30 c #Conflicts: 609000 | #Constraints: 17841
3600.08/3609.30 c #Conflicts: 610000 | #Constraints: 18841
3600.08/3609.30 c #Conflicts: 611000 | #Constraints: 19841
3600.08/3609.30 c #Conflicts: 612000 | #Constraints: 20841
3600.08/3609.30 c #Conflicts: 613000 | #Constraints: 21841
3600.08/3609.30 c #Conflicts: 614000 | #Constraints: 22841
3600.08/3609.30 c #Conflicts: 615000 | #Constraints: 23841
3600.08/3609.30 c #Conflicts: 616000 | #Constraints: 24841
3600.08/3609.30 c #Conflicts: 617000 | #Constraints: 25841
3600.08/3609.30 c #Conflicts: 618000 | #Constraints: 26841
3600.08/3609.30 c #Conflicts: 619000 | #Constraints: 27841
3600.08/3609.30 c #Conflicts: 620000 | #Constraints: 28841
3600.08/3609.30 c #Conflicts: 621000 | #Constraints: 29841
3600.08/3609.30 c #Conflicts: 622000 | #Constraints: 30841
3600.08/3609.30 c #Conflicts: 623000 | #Constraints: 31841
3600.08/3609.30 c INPROCESSING
3600.08/3609.30 c GARBAGE COLLECT
3600.08/3609.30 c #Conflicts: 624000 | #Constraints: 17244
3600.08/3609.30 c #Conflicts: 625000 | #Constraints: 18244
3600.08/3609.30 c #Conflicts: 626000 | #Constraints: 19244
3600.08/3609.30 c #Conflicts: 627000 | #Constraints: 20244
3600.08/3609.30 c #Conflicts: 628000 | #Constraints: 21244
3600.08/3609.30 c #Conflicts: 629000 | #Constraints: 22244
3600.08/3609.30 c #Conflicts: 630000 | #Constraints: 23244
3600.08/3609.30 c #Conflicts: 631000 | #Constraints: 24244
3600.08/3609.30 c #Conflicts: 632000 | #Constraints: 25244
3600.08/3609.30 c #Conflicts: 633000 | #Constraints: 26244
3600.08/3609.30 c #Conflicts: 634000 | #Constraints: 27244
3600.08/3609.30 c #Conflicts: 635000 | #Constraints: 28244
3600.08/3609.30 c #Conflicts: 636000 | #Constraints: 29244
3600.08/3609.30 c #Conflicts: 637000 | #Constraints: 30244
3600.08/3609.30 c Program interrupted by user.
3600.08/3609.30 c cpu time 3591.98 s
3600.08/3609.30 c deterministic time 377571316304 3.78e+11
3600.08/3609.30 c optimization time 174.848 s
3600.08/3609.30 c total solve time 3417.13 s
3600.08/3609.30 c core-guided solve time 3417.13 s
3600.08/3609.30 c propagation time 3318.97 s
3600.08/3609.30 c conflict analysis time 252.217 s
3600.08/3609.30 c propagations 38661572
3600.08/3609.30 c resolve steps 4804751
3600.08/3609.30 c decisions 4346842
3600.08/3609.30 c conflicts 637803
3600.08/3609.30 c restarts 1362
3600.08/3609.30 c inprocessing phases 70
3600.08/3609.30 c input clauses 399
3600.08/3609.30 c input cardinalities 119
3600.08/3609.30 c input general constraints 112
3600.08/3609.30 c input average constraint length 40.10
3600.08/3609.30 c input average constraint degree 22.42
3600.08/3609.30 c learned clauses 34570
3600.08/3609.30 c learned cardinalities 167
3600.08/3609.30 c learned general constraints 603087
3600.08/3609.30 c learned average constraint length 255.22
3600.08/3609.30 c learned average constraint degree 7320403.29
3600.08/3609.30 c watched constraints 470585
3600.08/3609.30 c counting constraints 132614
3600.08/3609.30 c gcd simplifications 7324
3600.08/3609.30 c detected cardinalities 1
3600.08/3609.30 c weakened non-implied lits 7323480
3600.08/3609.30 c weakened non-implying lits 30435
3600.08/3609.30 c original variables 411
3600.08/3609.30 c clausal propagations 8671955
3600.08/3609.30 c cardinality propagations 5155122
3600.08/3609.30 c watched propagations 9752482
3600.08/3609.30 c counting propagations 14935584
3600.08/3609.30 c watch lookups 54725915992
3600.08/3609.30 c watch backjump lookups 52373305072
3600.08/3609.30 c watch checks 194354355459
3600.08/3609.30 c propagation checks 75354483334
3600.08/3609.30 c constraint additions 676602176
3600.08/3609.30 c trail pops 43645856
3600.08/3609.30 c formula constraints 477
3600.08/3609.30 c learned constraints 637824
3600.08/3609.30 c bound constraints 56
3600.08/3609.30 c core-guided constraints 97
3600.08/3609.30 c encountered formula constraints 2005652
3600.08/3609.30 c encountered learned constraints 3234266
3600.08/3609.30 c encountered bound constraints 168
3600.08/3609.30 c encountered core-guided constraints 202468
3600.08/3609.30 c LP total time 0 s
3600.08/3609.30 c LP solve time 0 s
3600.08/3609.30 c LP constraints added 0
3600.08/3609.30 c LP constraints removed 0
3600.08/3609.30 c LP pivots internal 0
3600.08/3609.30 c LP pivots root 0
3600.08/3609.30 c LP calls 0
3600.08/3609.30 c LP optimalities 0
3600.08/3609.30 c LP no pivot count 0
3600.08/3609.30 c LP infeasibilities 0
3600.08/3609.30 c LP valid Farkas constraints 0
3600.08/3609.30 c LP learned Farkas constraints 0
3600.08/3609.30 c LP basis resets 0
3600.08/3609.30 c LP cycling count 0
3600.08/3609.30 c LP singular count 0
3600.08/3609.30 c LP no primal count 0
3600.08/3609.30 c LP no farkas count 0
3600.08/3609.30 c LP other issue count 0
3600.08/3609.30 c LP Gomory cuts 0
3600.08/3609.30 c LP learned cuts 0
3600.08/3609.30 c LP deleted cuts 0
3600.08/3609.30 c LP encountered Gomory constraints 0
3600.08/3609.30 c LP encountered Farkas constraints 0
3600.08/3609.30 c LP encountered learned Farkas constraints 0
3600.08/3609.30 c CG auxiliary variables introduced 44
3600.08/3609.30 c CG solutions found 3
3600.08/3609.30 c CG cores constructed 37
3600.08/3609.30 c CG core cardinality constraints returned 7
3600.08/3609.30 c CG unit cores 0
3600.08/3609.30 c CG single cores 34
3600.08/3609.30 c CG blocks removed during cardinality reduction 0
3600.08/3609.30 c CG first core best 0
3600.08/3609.30 c CG decision core best 2
3600.08/3609.30 c CG core reduction tie 1
3600.08/3609.30 c CG core degree average 1.22
3600.08/3609.30 c CG core slack average 5.81
3600.08/3609.30 c CG exhausted 1
3600.08/3609.30 c CG exhaust time 3.80605 s
3600.08/3609.30 c CG trimmed 2
3600.08/3609.30 c CG trim time 0.00097 s
3600.08/3609.30 c CG minimized 0
3600.08/3609.30 c CG minimize time 0 s
3600.08/3609.30 c CG am1 prop time 0.000601 s
3600.08/3609.30 c CG # am1s reformulated 1
3600.08/3609.30 c CG lower bound derived from am1s 1
3600.08/3609.30 c CG # clausal cores 33
3600.08/3609.30 c CG # cardinality cores 7
3600.08/3609.30 c CG # pb cores 0
3600.08/3609.30 c CG # pb reforms 12
3600.08/3609.30 c CG # cores discarded because of pb reform 0
3600.08/3609.30 d LOWERBOUND -173
3600.08/3609.30 d NCORES 37
3600.08/3609.30 d NPBCORES 0
3600.08/3609.30 d NPBREFORM 12
3600.08/3609.30 d NTRIMMED 2
3600.08/3609.30 d NEXHAUSTED 1
3600.08/3609.30 d NAM1S 1
3600.08/3609.30 d AM1LB 1
3600.08/3609.30 o 1
3600.08/3609.30 s SATISFIABLE
3600.08/3609.30 v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 x9 x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 x26 -x27 -x28 x29 x30 x31 -x32 -x33 -x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 -x44 -x45 -x46 x47 x48 -x49 x50 x51 x52 x53 -x54 x55 x56 -x57 x58 x59 -x60 -x61 x62 x63 x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 x84 x85 x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 x125 x126 x127 -x128 -x129 -x130 x131 x132 -x133 x134 x135 x136 x137 x138 -x139 x140 x141 x142 -x143 x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 x154 x155 x156 x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 x166 x167 x168 x169 x170 x171 x172 x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 x183 x184 -x185 -x186 x187 x188 x189 x190 x191 x192 -x193 -x194 x195 x196 -x197 -x198 -x199 -x200 x201 -x202 x203 x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 x213 x214 x215 x216 x217 x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 x227 x228 x229 x230 x231 x232 x233 -x234 x235 x236 -x237 -x238 x239 x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 x248 x249 -x250 x251 x252 x253 -x254 -x255 -x256 x257 x258 x259 x260 x261 x262 x263 -x264 -x265 -x266 x267 x268 x269 x270 x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 x294 x295 x296 x297 x298 -x299 -x300 x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 x330 x331 -x332 -x333 -x334 x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 x344 -x345 x346 -x347 x348 -x349 -x350 -x351 x352 x353 -x354 x355 x356 x357 -x358 -x359 -x360 -x361 x362 x363 x364 x365 -x366 -x367 x368 x369 -x370 -x371 x372 x373 -x374 -x375 -x376 x377 x378 x379 -x380 -x381 x382 x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411
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: 64059 MiB (61606 MiB free)
memory of node 1: 64510 MiB (63595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435935-1721064834/watcher-4435935-1721064834 -o /tmp/evaluation-result-4435935-1721064834/solver-4435935-1721064834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800992 --watchdog 3760 pb-oll-rs HOME/instance-4435935-1721064834.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=803047, runsolver pid=803042
[startup+0.100071 s]*
/proc/loadavg: 4.15 4.14 4.13 5/242 803062
/proc/meminfo: memFree=128195868/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=41556 memory=12140 CPUtime=0.1 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 1346 0 0 0 9 1 0 0 20 0 1 0 158642982 42553344 3035 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 10389 3035 1353 291 0 1923 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41556 KiB
Current children cumulated memory: 12140 KiB
[startup+0.21381 s]*
/proc/loadavg: 4.15 4.14 4.13 5/245 803068
/proc/meminfo: memFree=128187360/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=42372 memory=12932 CPUtime=0.22 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 1533 0 0 0 20 2 0 0 20 0 1 0 158642982 43388928 3233 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 10593 3233 1353 291 0 2127 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 42372 KiB
Current children cumulated memory: 12932 KiB
[startup+0.313399 s]*
/proc/loadavg: 4.15 4.14 4.13 5/245 803068
/proc/meminfo: memFree=128181628/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=43816 memory=14252 CPUtime=0.32 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 1890 0 0 0 29 3 0 0 20 0 1 0 158642982 44867584 3563 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 10954 3563 1353 291 0 2488 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 43816 KiB
Current children cumulated memory: 14252 KiB
[startup+0.700323 s]
/proc/loadavg: 4.15 4.14 4.13 5/245 803068
/proc/meminfo: memFree=128170052/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=48120 memory=18820 CPUtime=0.69 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 2477 0 0 0 65 4 0 0 20 0 1 0 158642982 49274880 4705 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 12030 4705 1414 291 0 3564 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48120 KiB
Current children cumulated memory: 18820 KiB
[startup+1.50033 s]
/proc/loadavg: 4.15 4.14 4.13 5/245 803068
/proc/meminfo: memFree=128150780/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=50680 memory=20928 CPUtime=1.49 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 2993 0 0 0 142 7 0 0 20 0 1 0 158642982 51896320 5232 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 12670 5232 1414 291 0 4204 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 50680 KiB
Current children cumulated memory: 20928 KiB
[startup+3.11221 s]
/proc/loadavg: 4.13 4.14 4.13 5/242 803074
/proc/meminfo: memFree=128316724/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=52472 memory=22772 CPUtime=3.09 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 3457 0 0 0 299 10 0 0 20 0 1 0 158642982 53731328 5693 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 13118 5693 1414 291 0 4652 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52472 KiB
Current children cumulated memory: 22772 KiB
[startup+6.30031 s]
/proc/loadavg: 4.13 4.14 4.13 5/245 803116
/proc/meminfo: memFree=128222724/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=59100 memory=27776 CPUtime=6.28 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 4187 0 0 0 612 16 0 0 20 0 1 0 158642982 60518400 6944 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 14775 6944 1414 291 0 6309 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 59100 KiB
Current children cumulated memory: 27776 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.14 4.13 5/245 803118
/proc/meminfo: memFree=128062276/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=60828 memory=29092 CPUtime=12.66 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 4508 0 0 0 1240 26 0 0 20 0 1 0 158642982 62287872 7273 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 15207 7273 1414 291 0 6741 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 60828 KiB
Current children cumulated memory: 29092 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.15 4.14 5/245 803119
/proc/meminfo: memFree=127879028/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=69352 memory=32248 CPUtime=25.42 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 5284 0 0 0 2504 38 0 0 20 0 1 0 158642982 71016448 8062 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 17338 8062 1414 291 0 8872 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 69352 KiB
Current children cumulated memory: 32248 KiB
[startup+51.1132 s]
/proc/loadavg: 4.18 4.15 4.14 5/245 803122
/proc/meminfo: memFree=127681120/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=71028 memory=36184 CPUtime=50.97 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 5755 0 0 0 5036 61 0 0 20 0 1 0 158642982 72732672 9046 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 17757 9046 1414 291 0 9291 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 71028 KiB
Current children cumulated memory: 36184 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/242 803133
/proc/meminfo: memFree=127376808/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=88280 memory=45344 CPUtime=102.03 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 7053 0 0 0 10102 101 0 0 20 0 1 0 158642982 90398720 11336 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 22070 11336 1414 291 0 13604 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 88280 KiB
Current children cumulated memory: 45344 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.11 4.12 5/242 803143
/proc/meminfo: memFree=127318536/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=93136 memory=51868 CPUtime=161.87 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 8217 0 0 0 16052 135 0 0 20 0 1 0 158642982 95371264 12967 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 23284 12967 1414 291 0 14818 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 93136 KiB
Current children cumulated memory: 51868 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/242 803153
/proc/meminfo: memFree=127150476/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=96568 memory=57380 CPUtime=221.7 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 8881 0 0 0 22006 164 0 0 20 0 1 0 158642982 98885632 14345 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 24142 14345 1414 291 0 15676 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 96568 KiB
Current children cumulated memory: 57380 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/241 803163
/proc/meminfo: memFree=127088740/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=99340 memory=66700 CPUtime=281.57 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 9343 0 0 0 27967 190 0 0 20 0 1 0 158642982 101724160 16675 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 24835 16675 1414 291 0 16369 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 99340 KiB
Current children cumulated memory: 66700 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/241 803174
/proc/meminfo: memFree=126986140/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=101716 memory=70220 CPUtime=341.42 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 9757 0 0 0 33930 212 0 0 20 0 1 0 158642982 104157184 17555 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 25429 17555 1414 291 0 16963 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 101716 KiB
Current children cumulated memory: 70220 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/243 803188
/proc/meminfo: memFree=126869052/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=102772 memory=70900 CPUtime=401.28 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 9974 0 0 0 39899 229 0 0 20 0 1 0 158642982 105238528 17725 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 25693 17725 1414 291 0 17227 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 102772 KiB
Current children cumulated memory: 70900 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/243 803198
/proc/meminfo: memFree=126803312/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=122512 memory=72592 CPUtime=461.12 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 10444 0 0 0 45864 248 0 0 20 0 1 0 158642982 125452288 18148 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 30628 18148 1414 291 0 22162 0
################
# More data... #
################
Current children cumulated memory: 104088 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.16 4.15 5/244 804216
/proc/meminfo: memFree=124825368/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=172304 memory=105520 CPUtime=2914.81 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 17091 0 0 0 290773 708 0 0 20 0 1 0 158642982 176439296 26380 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43076 26380 1414 291 0 34610 0
Current children cumulated CPU time: 2914.81 s
Current children cumulated vsize: 172304 KiB
Current children cumulated memory: 105520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.16 4.15 5/245 804227
/proc/meminfo: memFree=124791400/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=172304 memory=105520 CPUtime=2974.65 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 17107 0 0 0 296746 719 0 0 20 0 1 0 158642982 176439296 26380 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43076 26380 1414 291 0 34610 0
Current children cumulated CPU time: 2974.65 s
Current children cumulated vsize: 172304 KiB
Current children cumulated memory: 105520 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/245 804238
/proc/meminfo: memFree=124747356/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=172304 memory=105520 CPUtime=3034.5 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 17123 0 0 0 302722 728 0 0 20 0 1 0 158642982 176439296 26380 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43076 26380 1414 291 0 34610 0
Current children cumulated CPU time: 3034.5 s
Current children cumulated vsize: 172304 KiB
Current children cumulated memory: 105520 KiB
[startup+3102.3 s]
/proc/loadavg: 4.86 4.35 4.22 5/245 804631
/proc/meminfo: memFree=124223984/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=172784 memory=106312 CPUtime=3094.36 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 17454 0 0 0 308697 739 0 0 20 0 1 0 158642982 176930816 26578 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43196 26578 1414 291 0 34730 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 172784 KiB
Current children cumulated memory: 106312 KiB
[startup+3162.3 s]
/proc/loadavg: 4.41 4.31 4.21 5/243 804641
/proc/meminfo: memFree=124178836/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=172784 memory=106312 CPUtime=3154.21 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 17470 0 0 0 314672 749 0 0 20 0 1 0 158642982 176930816 26578 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43196 26578 1414 291 0 34730 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 172784 KiB
Current children cumulated memory: 106312 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.25 4.20 5/243 804651
/proc/meminfo: memFree=124129788/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=172784 memory=106312 CPUtime=3214.06 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 17486 0 0 0 320650 756 0 0 20 0 1 0 158642982 176930816 26578 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43196 26578 1414 291 0 34730 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 172784 KiB
Current children cumulated memory: 106312 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.23 4.19 5/244 804830
/proc/meminfo: memFree=124031780/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=173844 memory=109672 CPUtime=3273.91 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 18022 0 0 0 326626 765 0 0 20 0 1 0 158642982 178016256 27418 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43461 27418 1414 291 0 34995 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 173844 KiB
Current children cumulated memory: 109672 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.20 4.18 5/243 804842
/proc/meminfo: memFree=123989628/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=173844 memory=109904 CPUtime=3333.76 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 18038 0 0 0 332602 774 0 0 20 0 1 0 158642982 178016256 27476 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43461 27476 1414 291 0 34995 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 173844 KiB
Current children cumulated memory: 109904 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.21 4.18 5/246 804911
/proc/meminfo: memFree=123949528/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=173844 memory=109904 CPUtime=3393.6 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 18054 0 0 0 338579 781 0 0 20 0 1 0 158642982 178016256 27476 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43461 27476 1414 291 0 34995 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 173844 KiB
Current children cumulated memory: 109904 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/246 804921
/proc/meminfo: memFree=123899728/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=174068 memory=110256 CPUtime=3453.45 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 18199 0 0 0 344553 792 0 0 20 0 1 0 158642982 178245632 27564 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43517 27564 1414 291 0 35051 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 110256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/246 804933
/proc/meminfo: memFree=123857016/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=174068 memory=110256 CPUtime=3513.31 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 18215 0 0 0 350531 800 0 0 20 0 1 0 158642982 178245632 27564 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43517 27564 1414 291 0 35051 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 110256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.19 4.18 5/246 804943
/proc/meminfo: memFree=123812124/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=174068 memory=110256 CPUtime=3573.15 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 18231 0 0 0 356507 808 0 0 20 0 1 0 158642982 178245632 27564 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43517 27564 1414 291 0 35051 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 110256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/246 804948
/proc/meminfo: memFree=123762128/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=174068 memory=110256 CPUtime=3600.08 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 18232 0 0 0 359197 811 0 0 20 0 1 0 158642982 178245632 27564 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43517 27564 1414 291 0 35051 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 110256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 803047 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.98 s, system=8.11893 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/246 804948
/proc/meminfo: memFree=123762128/131655788 swapFree=131071996/131071996
[pid=803047] ppid=803042 vsize=174068 memory=110256 CPUtime=3600.08 cores=4,6
/proc/803047/stat : 803047 (pb-oll-rs) R 803042 803047 800981 0 -1 4194304 18232 0 0 0 359197 811 0 0 20 0 1 0 158642982 178245632 27564 134679101440 4194304 5384005 140735516249232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16080896 140735516255255 140735516255332 140735516255332 140735516262347 0
/proc/803047/statm: 43517 27564 1414 291 0 35051 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 174068 KiB
Current children cumulated memory: 110256 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.1
CPU user time (s): 3591.98
CPU system time (s): 8.11893
CPU usage (%): 99.745
Max. virtual memory (cumulated for all children) (KiB): 174352
Max. memory (cumulated for all children) (KiB): 110256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.98
system time used= 8.11893
maximum resident set size= 110504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18248
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= 44
involuntary context switches= 1690
# summary of solver processes directly reported to runsolver:
# pid: 803047
# total CPU time (s): 3600.1
# total CPU user time (s): 3591.98
# total CPU system time (s): 8.11893
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0231 second user time and 33.9653 second system time
The end
Begin job on nodeC009 at 2024-07-15 19:34:06
IDJOB=4435935
IDBENCH=146661
IDSOLVER=3067
FILE ID=nodeC009/4435935-1721064834
RUNJOBID= nodeC009-1721061236-800992
SLURM_JOB_ID= 7505510
Free space on /tmp= 723764 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435935-1721064834/watcher-4435935-1721064834 -o /tmp/evaluation-result-4435935-1721064834/solver-4435935-1721064834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800992 --watchdog 3760 pb-oll-rs HOME/instance-4435935-1721064834.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b7b6c18a5ccb5e8755a0006a4c4ad211
RANDOM SEED=235380278
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3577.763
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3606.633
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.460
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.320
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.208
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.267
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.327
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.316
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128209552 kB
MemAvailable: 129631540 kB
Buffers: 372592 kB
Cached: 1877968 kB
SwapCached: 0 kB
Active: 600348 kB
Inactive: 2295188 kB
Active(anon): 1444 kB
Inactive(anon): 681228 kB
Active(file): 598904 kB
Inactive(file): 1613960 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4240 kB
Writeback: 0 kB
AnonPages: 635092 kB
Mapped: 106508 kB
Shmem: 37700 kB
KReclaimable: 98308 kB
Slab: 195232 kB
SReclaimable: 98308 kB
SUnreclaim: 96924 kB
KernelStack: 3888 kB
PageTables: 10676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 948692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 462848 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC009 at 2024-07-15 20:34:15