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.01 c [STEP] solving
0.00/0.01 c #variables 540 #constraints 4626
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.015104
0.00/0.01 c stratification level: 1090
0.00/0.02 c bounds - >= 1090 @ 0.016555
0.00/0.02 c finalizing WCE round: reformulating cores
0.00/0.08 c bounds 28748 >= 1090 @ 0.017878
0.00/0.08 c #Conflicts: 1000 | #Constraints: 5630
0.00/0.08 c bounds 28712 >= 1090 @ 0.074472
0.00/0.08 c stratification level: 1020
0.09/0.12 c bounds 28177 >= 1090 @ 0.115851
0.09/0.12 c stratification level: 1010
0.09/0.13 c bounds 28177 >= 2100 @ 0.116704
0.09/0.13 c bounds 28177 >= 3110 @ 0.117439
0.09/0.13 c bounds 28177 >= 4120 @ 0.118142
0.09/0.13 c finalizing WCE round: reformulating cores
0.39/0.46 c #Conflicts: 2000 | #Constraints: 6638
0.39/0.46 c INPROCESSING
0.39/0.46 c GARBAGE COLLECT
0.39/0.46 c #Conflicts: 3000 | #Constraints: 6646
0.39/0.46 c bounds 27530 >= 4120 @ 0.276167
0.39/0.46 c #Conflicts: 4000 | #Constraints: 7647
0.39/0.46 c INPROCESSING
0.39/0.46 c GARBAGE COLLECT
0.39/0.46 c #Conflicts: 5000 | #Constraints: 7050
0.39/0.46 c bounds 27252 >= 4120 @ 0.445806
0.39/0.46 c stratification level: 929
0.39/0.49 c bounds 26259 >= 4120 @ 0.46852
0.39/0.49 c stratification level: 745
0.78/0.82 c bounds 26259 >= 4865 @ 0.472058
0.78/0.82 c #Conflicts: 6000 | #Constraints: 8053
0.78/0.82 c INPROCESSING
0.78/0.82 c GARBAGE COLLECT
0.78/0.82 c #Conflicts: 7000 | #Constraints: 7055
0.78/0.82 c #Conflicts: 8000 | #Constraints: 8055
0.78/0.82 c finalizing WCE round: reformulating cores
1.39/1.40 c #Conflicts: 9000 | #Constraints: 9058
1.39/1.40 c INPROCESSING
1.39/1.40 c GARBAGE COLLECT
1.39/1.40 c bounds 25933 >= 4865 @ 0.879359
1.39/1.40 c #Conflicts: 10000 | #Constraints: 7756
1.39/1.40 c #Conflicts: 11000 | #Constraints: 8756
1.39/1.40 c #Conflicts: 12000 | #Constraints: 9756
1.39/1.40 c INPROCESSING
1.39/1.40 c GARBAGE COLLECT
1.39/1.40 c #Conflicts: 13000 | #Constraints: 8219
1.39/1.40 c #Conflicts: 14000 | #Constraints: 9219
1.39/1.40 c bounds 25501 >= 4865 @ 1.35457
1.39/1.40 c stratification level: 665
9.66/9.70 c #Conflicts: 15000 | #Constraints: 10220
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 16000 | #Constraints: 8454
9.66/9.70 c #Conflicts: 17000 | #Constraints: 9454
9.66/9.70 c #Conflicts: 18000 | #Constraints: 10454
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 19000 | #Constraints: 8486
9.66/9.70 c #Conflicts: 20000 | #Constraints: 9486
9.66/9.70 c #Conflicts: 21000 | #Constraints: 10486
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 22000 | #Constraints: 8292
9.66/9.70 c #Conflicts: 23000 | #Constraints: 9292
9.66/9.70 c #Conflicts: 24000 | #Constraints: 10292
9.66/9.70 c #Conflicts: 25000 | #Constraints: 11292
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 26000 | #Constraints: 8905
9.66/9.70 c #Conflicts: 27000 | #Constraints: 9905
9.66/9.70 c #Conflicts: 28000 | #Constraints: 10905
9.66/9.70 c #Conflicts: 29000 | #Constraints: 11905
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 30000 | #Constraints: 9311
9.66/9.70 c #Conflicts: 31000 | #Constraints: 10311
9.66/9.70 c #Conflicts: 32000 | #Constraints: 11311
9.66/9.70 c #Conflicts: 33000 | #Constraints: 12311
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 34000 | #Constraints: 9512
9.66/9.70 c #Conflicts: 35000 | #Constraints: 10512
9.66/9.70 c #Conflicts: 36000 | #Constraints: 11512
9.66/9.70 c #Conflicts: 37000 | #Constraints: 12512
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c bounds 25501 >= 5530 @ 3.91036
9.66/9.70 c #Conflicts: 38000 | #Constraints: 9521
9.66/9.70 c #Conflicts: 39000 | #Constraints: 10521
9.66/9.70 c #Conflicts: 40000 | #Constraints: 11521
9.66/9.70 c #Conflicts: 41000 | #Constraints: 12521
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 42000 | #Constraints: 9305
9.66/9.70 c #Conflicts: 43000 | #Constraints: 10305
9.66/9.70 c #Conflicts: 44000 | #Constraints: 11305
9.66/9.70 c #Conflicts: 45000 | #Constraints: 12305
9.66/9.70 c #Conflicts: 46000 | #Constraints: 13305
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 47000 | #Constraints: 9883
9.66/9.70 c #Conflicts: 48000 | #Constraints: 10883
9.66/9.70 c #Conflicts: 49000 | #Constraints: 11883
9.66/9.70 c #Conflicts: 50000 | #Constraints: 12883
9.66/9.70 c #Conflicts: 51000 | #Constraints: 13883
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 52000 | #Constraints: 10278
9.66/9.70 c #Conflicts: 53000 | #Constraints: 11278
9.66/9.70 c #Conflicts: 54000 | #Constraints: 12278
9.66/9.70 c #Conflicts: 55000 | #Constraints: 13278
9.66/9.70 c #Conflicts: 56000 | #Constraints: 14278
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 57000 | #Constraints: 10485
9.66/9.70 c #Conflicts: 58000 | #Constraints: 11485
9.66/9.70 c #Conflicts: 59000 | #Constraints: 12485
9.66/9.70 c #Conflicts: 60000 | #Constraints: 13485
9.66/9.70 c #Conflicts: 61000 | #Constraints: 14485
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 62000 | #Constraints: 10489
9.66/9.70 c #Conflicts: 63000 | #Constraints: 11489
9.66/9.70 c #Conflicts: 64000 | #Constraints: 12489
9.66/9.70 c #Conflicts: 65000 | #Constraints: 13489
9.66/9.70 c #Conflicts: 66000 | #Constraints: 14489
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 67000 | #Constraints: 10286
9.66/9.70 c #Conflicts: 68000 | #Constraints: 11286
9.66/9.70 c #Conflicts: 69000 | #Constraints: 12286
9.66/9.70 c #Conflicts: 70000 | #Constraints: 13286
9.66/9.70 c #Conflicts: 71000 | #Constraints: 14286
9.66/9.70 c #Conflicts: 72000 | #Constraints: 15286
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 73000 | #Constraints: 10888
9.66/9.70 c #Conflicts: 74000 | #Constraints: 11888
9.66/9.70 c #Conflicts: 75000 | #Constraints: 12888
9.66/9.70 c #Conflicts: 76000 | #Constraints: 13888
9.66/9.70 c #Conflicts: 77000 | #Constraints: 14888
9.66/9.70 c #Conflicts: 78000 | #Constraints: 15888
9.66/9.70 c INPROCESSING
9.66/9.70 c GARBAGE COLLECT
9.66/9.70 c #Conflicts: 79000 | #Constraints: 11288
9.66/9.70 c #Conflicts: 80000 | #Constraints: 12288
9.66/9.70 c #Conflicts: 81000 | #Constraints: 13288
9.66/9.70 c #Conflicts: 82000 | #Constraints: 14288
9.66/9.70 c #Conflicts: 83000 | #Constraints: 15288
19.94/20.08 c #Conflicts: 84000 | #Constraints: 16288
19.94/20.08 c INPROCESSING
19.94/20.08 c GARBAGE COLLECT
19.94/20.08 c #Conflicts: 85000 | #Constraints: 11491
19.94/20.08 c #Conflicts: 86000 | #Constraints: 12491
19.94/20.08 c #Conflicts: 87000 | #Constraints: 13491
19.94/20.08 c #Conflicts: 88000 | #Constraints: 14491
19.94/20.08 c #Conflicts: 89000 | #Constraints: 15491
19.94/20.08 c #Conflicts: 90000 | #Constraints: 16491
19.94/20.08 c INPROCESSING
19.94/20.08 c GARBAGE COLLECT
19.94/20.08 c #Conflicts: 91000 | #Constraints: 11487
19.94/20.08 c #Conflicts: 92000 | #Constraints: 12487
19.94/20.08 c #Conflicts: 93000 | #Constraints: 13487
19.94/20.08 c #Conflicts: 94000 | #Constraints: 14487
19.94/20.08 c #Conflicts: 95000 | #Constraints: 15487
19.94/20.08 c #Conflicts: 96000 | #Constraints: 16487
19.94/20.08 c INPROCESSING
19.94/20.08 c GARBAGE COLLECT
19.94/20.08 c #Conflicts: 97000 | #Constraints: 11296
19.94/20.08 c #Conflicts: 98000 | #Constraints: 12296
19.94/20.08 c #Conflicts: 99000 | #Constraints: 13296
19.94/20.08 c #Conflicts: 100000 | #Constraints: 14296
19.94/20.08 c #Conflicts: 101000 | #Constraints: 15296
19.94/20.08 c #Conflicts: 102000 | #Constraints: 16296
19.94/20.08 c #Conflicts: 103000 | #Constraints: 17296
19.94/20.08 c INPROCESSING
19.94/20.08 c GARBAGE COLLECT
19.94/20.08 c #Conflicts: 104000 | #Constraints: 11895
19.94/20.08 c #Conflicts: 105000 | #Constraints: 12895
19.94/20.08 c #Conflicts: 106000 | #Constraints: 13895
19.94/20.08 c #Conflicts: 107000 | #Constraints: 14895
19.94/20.08 c #Conflicts: 108000 | #Constraints: 15895
19.94/20.08 c #Conflicts: 109000 | #Constraints: 16895
19.94/20.08 c #Conflicts: 110000 | #Constraints: 17895
19.94/20.08 c INPROCESSING
19.94/20.08 c GARBAGE COLLECT
19.94/20.08 c #Conflicts: 111000 | #Constraints: 12298
19.94/20.08 c #Conflicts: 112000 | #Constraints: 13298
19.94/20.08 c #Conflicts: 113000 | #Constraints: 14298
19.94/20.08 c #Conflicts: 114000 | #Constraints: 15298
19.94/20.08 c #Conflicts: 115000 | #Constraints: 16298
19.94/20.08 c #Conflicts: 116000 | #Constraints: 17298
19.94/20.08 c #Conflicts: 117000 | #Constraints: 18298
19.94/20.08 c INPROCESSING
19.94/20.08 c GARBAGE COLLECT
19.94/20.08 c #Conflicts: 118000 | #Constraints: 12511
19.94/20.08 c #Conflicts: 119000 | #Constraints: 13511
19.94/20.08 c #Conflicts: 120000 | #Constraints: 14511
19.94/20.08 c #Conflicts: 121000 | #Constraints: 15511
19.94/20.08 c #Conflicts: 122000 | #Constraints: 16511
19.94/20.08 c #Conflicts: 123000 | #Constraints: 17511
19.94/20.08 c #Conflicts: 124000 | #Constraints: 18511
19.94/20.08 c INPROCESSING
19.94/20.08 c GARBAGE COLLECT
19.94/20.08 c #Conflicts: 125000 | #Constraints: 12505
19.94/20.08 c #Conflicts: 126000 | #Constraints: 13505
19.94/20.08 c #Conflicts: 127000 | #Constraints: 14505
19.94/20.08 c #Conflicts: 128000 | #Constraints: 15505
19.94/20.08 c #Conflicts: 129000 | #Constraints: 16505
19.94/20.08 c #Conflicts: 130000 | #Constraints: 17505
19.94/20.08 c #Conflicts: 131000 | #Constraints: 18505
19.94/20.08 c INPROCESSING
19.94/20.08 c GARBAGE COLLECT
19.94/20.08 c #Conflicts: 132000 | #Constraints: 12312
19.94/20.08 c #Conflicts: 133000 | #Constraints: 13312
19.94/20.08 c #Conflicts: 134000 | #Constraints: 14312
19.94/20.08 c #Conflicts: 135000 | #Constraints: 15312
19.94/20.08 c #Conflicts: 136000 | #Constraints: 16312
19.94/20.08 c #Conflicts: 137000 | #Constraints: 17312
19.94/20.08 c #Conflicts: 138000 | #Constraints: 18312
19.94/20.08 c #Conflicts: 139000 | #Constraints: 19312
19.94/20.08 c INPROCESSING
19.94/20.08 c GARBAGE COLLECT
19.94/20.08 c #Conflicts: 140000 | #Constraints: 12912
19.94/20.08 c #Conflicts: 141000 | #Constraints: 13912
19.94/20.08 c #Conflicts: 142000 | #Constraints: 14912
19.94/20.08 c #Conflicts: 143000 | #Constraints: 15912
19.94/20.08 c #Conflicts: 144000 | #Constraints: 16912
19.94/20.08 c #Conflicts: 145000 | #Constraints: 17912
19.94/20.08 c #Conflicts: 146000 | #Constraints: 18912
19.94/20.08 c #Conflicts: 147000 | #Constraints: 19912
19.94/20.08 c INPROCESSING
19.94/20.08 c GARBAGE COLLECT
19.94/20.08 c #Conflicts: 148000 | #Constraints: 13323
19.94/20.08 c #Conflicts: 149000 | #Constraints: 14323
19.94/20.08 c #Conflicts: 150000 | #Constraints: 15323
19.94/20.08 c #Conflicts: 151000 | #Constraints: 16323
19.94/20.08 c #Conflicts: 152000 | #Constraints: 17323
19.94/20.08 c #Conflicts: 153000 | #Constraints: 18323
19.94/20.08 c #Conflicts: 154000 | #Constraints: 19323
19.94/20.08 c #Conflicts: 155000 | #Constraints: 20323
19.94/20.08 c INPROCESSING
32.20/32.35 c GARBAGE COLLECT
32.20/32.35 c #Conflicts: 156000 | #Constraints: 13512
32.20/32.35 c #Conflicts: 157000 | #Constraints: 14512
32.20/32.35 c #Conflicts: 158000 | #Constraints: 15512
32.20/32.35 c #Conflicts: 159000 | #Constraints: 16512
32.20/32.35 c #Conflicts: 160000 | #Constraints: 17512
32.20/32.35 c #Conflicts: 161000 | #Constraints: 18512
32.20/32.35 c #Conflicts: 162000 | #Constraints: 19512
32.20/32.35 c #Conflicts: 163000 | #Constraints: 20512
32.20/32.35 c INPROCESSING
32.20/32.35 c GARBAGE COLLECT
32.20/32.35 c #Conflicts: 164000 | #Constraints: 13511
32.20/32.35 c #Conflicts: 165000 | #Constraints: 14511
32.20/32.35 c #Conflicts: 166000 | #Constraints: 15511
32.20/32.35 c #Conflicts: 167000 | #Constraints: 16511
32.20/32.35 c #Conflicts: 168000 | #Constraints: 17511
32.20/32.35 c #Conflicts: 169000 | #Constraints: 18511
32.20/32.35 c #Conflicts: 170000 | #Constraints: 19511
32.20/32.35 c #Conflicts: 171000 | #Constraints: 20511
32.20/32.35 c INPROCESSING
32.20/32.35 c GARBAGE COLLECT
32.20/32.35 c #Conflicts: 172000 | #Constraints: 13314
32.20/32.35 c #Conflicts: 173000 | #Constraints: 14314
32.20/32.35 c #Conflicts: 174000 | #Constraints: 15314
32.20/32.35 c #Conflicts: 175000 | #Constraints: 16314
32.20/32.35 c #Conflicts: 176000 | #Constraints: 17314
32.20/32.35 c #Conflicts: 177000 | #Constraints: 18314
32.20/32.35 c #Conflicts: 178000 | #Constraints: 19314
32.20/32.35 c #Conflicts: 179000 | #Constraints: 20314
32.20/32.35 c #Conflicts: 180000 | #Constraints: 21314
32.20/32.35 c INPROCESSING
32.20/32.35 c GARBAGE COLLECT
32.20/32.35 c #Conflicts: 181000 | #Constraints: 13925
32.20/32.35 c #Conflicts: 182000 | #Constraints: 14925
32.20/32.35 c #Conflicts: 183000 | #Constraints: 15925
32.20/32.35 c #Conflicts: 184000 | #Constraints: 16925
32.20/32.35 c #Conflicts: 185000 | #Constraints: 17925
32.20/32.35 c #Conflicts: 186000 | #Constraints: 18925
32.20/32.35 c #Conflicts: 187000 | #Constraints: 19925
32.20/32.35 c #Conflicts: 188000 | #Constraints: 20925
32.20/32.35 c #Conflicts: 189000 | #Constraints: 21925
32.20/32.35 c INPROCESSING
32.20/32.35 c GARBAGE COLLECT
32.20/32.35 c #Conflicts: 190000 | #Constraints: 14334
32.20/32.35 c #Conflicts: 191000 | #Constraints: 15334
32.20/32.35 c #Conflicts: 192000 | #Constraints: 16334
32.20/32.35 c #Conflicts: 193000 | #Constraints: 17334
32.20/32.35 c #Conflicts: 194000 | #Constraints: 18334
32.20/32.35 c #Conflicts: 195000 | #Constraints: 19334
32.20/32.35 c #Conflicts: 196000 | #Constraints: 20334
32.20/32.35 c #Conflicts: 197000 | #Constraints: 21334
32.20/32.35 c #Conflicts: 198000 | #Constraints: 22334
32.20/32.35 c INPROCESSING
32.20/32.35 c GARBAGE COLLECT
32.20/32.35 c #Conflicts: 199000 | #Constraints: 14548
32.20/32.35 c #Conflicts: 200000 | #Constraints: 15548
32.20/32.35 c #Conflicts: 201000 | #Constraints: 16548
32.20/32.35 c #Conflicts: 202000 | #Constraints: 17548
32.20/32.35 c #Conflicts: 203000 | #Constraints: 18548
32.20/32.35 c #Conflicts: 204000 | #Constraints: 19548
32.20/32.35 c #Conflicts: 205000 | #Constraints: 20548
32.20/32.35 c #Conflicts: 206000 | #Constraints: 21548
32.20/32.35 c #Conflicts: 207000 | #Constraints: 22548
32.20/32.35 c INPROCESSING
32.20/32.35 c GARBAGE COLLECT
32.20/32.35 c #Conflicts: 208000 | #Constraints: 14534
32.20/32.35 c #Conflicts: 209000 | #Constraints: 15534
32.20/32.35 c #Conflicts: 210000 | #Constraints: 16534
32.20/32.35 c #Conflicts: 211000 | #Constraints: 17534
32.20/32.35 c #Conflicts: 212000 | #Constraints: 18534
32.20/32.35 c #Conflicts: 213000 | #Constraints: 19534
32.20/32.35 c #Conflicts: 214000 | #Constraints: 20534
32.20/32.35 c #Conflicts: 215000 | #Constraints: 21534
32.20/32.35 c #Conflicts: 216000 | #Constraints: 22534
32.20/32.35 c INPROCESSING
32.20/32.35 c GARBAGE COLLECT
32.20/32.35 c #Conflicts: 217000 | #Constraints: 14338
32.20/32.35 c #Conflicts: 218000 | #Constraints: 15338
32.20/32.35 c #Conflicts: 219000 | #Constraints: 16338
32.20/32.35 c #Conflicts: 220000 | #Constraints: 17338
32.20/32.35 c #Conflicts: 221000 | #Constraints: 18338
32.20/32.35 c #Conflicts: 222000 | #Constraints: 19338
32.20/32.35 c #Conflicts: 223000 | #Constraints: 20338
32.20/32.35 c #Conflicts: 224000 | #Constraints: 21338
32.20/32.35 c #Conflicts: 225000 | #Constraints: 22338
32.20/32.35 c #Conflicts: 226000 | #Constraints: 23338
32.20/32.35 c INPROCESSING
32.20/32.35 c GARBAGE COLLECT
32.20/32.35 c #Conflicts: 227000 | #Constraints: 14948
32.20/32.35 c #Conflicts: 228000 | #Constraints: 15948
32.20/32.35 c #Conflicts: 229000 | #Constraints: 16948
44.17/44.38 c #Conflicts: 230000 | #Constraints: 17948
44.17/44.38 c #Conflicts: 231000 | #Constraints: 18948
44.17/44.38 c #Conflicts: 232000 | #Constraints: 19948
44.17/44.38 c #Conflicts: 233000 | #Constraints: 20948
44.17/44.38 c #Conflicts: 234000 | #Constraints: 21948
44.17/44.38 c #Conflicts: 235000 | #Constraints: 22948
44.17/44.38 c #Conflicts: 236000 | #Constraints: 23948
44.17/44.38 c INPROCESSING
44.17/44.38 c GARBAGE COLLECT
44.17/44.38 c #Conflicts: 237000 | #Constraints: 15340
44.17/44.38 c #Conflicts: 238000 | #Constraints: 16340
44.17/44.38 c #Conflicts: 239000 | #Constraints: 17340
44.17/44.38 c #Conflicts: 240000 | #Constraints: 18340
44.17/44.38 c #Conflicts: 241000 | #Constraints: 19340
44.17/44.38 c #Conflicts: 242000 | #Constraints: 20340
44.17/44.38 c #Conflicts: 243000 | #Constraints: 21340
44.17/44.38 c #Conflicts: 244000 | #Constraints: 22340
44.17/44.38 c #Conflicts: 245000 | #Constraints: 23340
44.17/44.38 c #Conflicts: 246000 | #Constraints: 24340
44.17/44.38 c INPROCESSING
44.17/44.38 c GARBAGE COLLECT
44.17/44.38 c #Conflicts: 247000 | #Constraints: 15542
44.17/44.38 c #Conflicts: 248000 | #Constraints: 16542
44.17/44.38 c #Conflicts: 249000 | #Constraints: 17542
44.17/44.38 c #Conflicts: 250000 | #Constraints: 18542
44.17/44.38 c #Conflicts: 251000 | #Constraints: 19542
44.17/44.38 c #Conflicts: 252000 | #Constraints: 20542
44.17/44.38 c #Conflicts: 253000 | #Constraints: 21542
44.17/44.38 c #Conflicts: 254000 | #Constraints: 22542
44.17/44.38 c #Conflicts: 255000 | #Constraints: 23542
44.17/44.38 c #Conflicts: 256000 | #Constraints: 24542
44.17/44.38 c INPROCESSING
44.17/44.38 c GARBAGE COLLECT
44.17/44.38 c #Conflicts: 257000 | #Constraints: 15533
44.17/44.38 c #Conflicts: 258000 | #Constraints: 16533
44.17/44.38 c #Conflicts: 259000 | #Constraints: 17533
44.17/44.38 c #Conflicts: 260000 | #Constraints: 18533
44.17/44.38 c #Conflicts: 261000 | #Constraints: 19533
44.17/44.38 c #Conflicts: 262000 | #Constraints: 20533
44.17/44.38 c #Conflicts: 263000 | #Constraints: 21533
44.17/44.38 c #Conflicts: 264000 | #Constraints: 22533
44.17/44.38 c #Conflicts: 265000 | #Constraints: 23533
44.17/44.38 c #Conflicts: 266000 | #Constraints: 24533
44.17/44.38 c INPROCESSING
44.17/44.38 c GARBAGE COLLECT
44.17/44.38 c #Conflicts: 267000 | #Constraints: 15331
44.17/44.38 c #Conflicts: 268000 | #Constraints: 16331
44.17/44.38 c #Conflicts: 269000 | #Constraints: 17331
44.17/44.38 c #Conflicts: 270000 | #Constraints: 18331
44.17/44.38 c #Conflicts: 271000 | #Constraints: 19331
44.17/44.38 c #Conflicts: 272000 | #Constraints: 20331
44.17/44.38 c #Conflicts: 273000 | #Constraints: 21331
44.17/44.38 c #Conflicts: 274000 | #Constraints: 22331
44.17/44.38 c #Conflicts: 275000 | #Constraints: 23331
44.17/44.38 c #Conflicts: 276000 | #Constraints: 24331
44.17/44.38 c #Conflicts: 277000 | #Constraints: 25331
44.17/44.38 c INPROCESSING
44.17/44.38 c GARBAGE COLLECT
44.17/44.38 c #Conflicts: 278000 | #Constraints: 15935
44.17/44.38 c #Conflicts: 279000 | #Constraints: 16935
44.17/44.38 c #Conflicts: 280000 | #Constraints: 17935
44.17/44.38 c #Conflicts: 281000 | #Constraints: 18935
44.17/44.38 c #Conflicts: 282000 | #Constraints: 19935
44.17/44.38 c #Conflicts: 283000 | #Constraints: 20935
44.17/44.38 c #Conflicts: 284000 | #Constraints: 21935
44.17/44.38 c #Conflicts: 285000 | #Constraints: 22935
44.17/44.38 c #Conflicts: 286000 | #Constraints: 23935
44.17/44.38 c #Conflicts: 287000 | #Constraints: 24935
44.17/44.38 c #Conflicts: 288000 | #Constraints: 25935
44.17/44.38 c INPROCESSING
44.17/44.38 c GARBAGE COLLECT
44.17/44.38 c #Conflicts: 289000 | #Constraints: 16330
44.17/44.38 c #Conflicts: 290000 | #Constraints: 17330
44.17/44.38 c #Conflicts: 291000 | #Constraints: 18330
44.17/44.38 c #Conflicts: 292000 | #Constraints: 19330
44.17/44.38 c #Conflicts: 293000 | #Constraints: 20330
44.17/44.38 c #Conflicts: 294000 | #Constraints: 21330
44.17/44.38 c #Conflicts: 295000 | #Constraints: 22330
44.17/44.38 c #Conflicts: 296000 | #Constraints: 23330
44.17/44.38 c #Conflicts: 297000 | #Constraints: 24330
44.17/44.38 c #Conflicts: 298000 | #Constraints: 25330
44.17/44.38 c #Conflicts: 299000 | #Constraints: 26330
44.17/44.38 c INPROCESSING
44.17/44.38 c GARBAGE COLLECT
44.17/44.38 c #Conflicts: 300000 | #Constraints: 16534
44.17/44.38 c #Conflicts: 301000 | #Constraints: 17534
44.17/44.38 c #Conflicts: 302000 | #Constraints: 18534
44.17/44.38 c #Conflicts: 303000 | #Constraints: 19534
44.26/44.42 c finalizing WCE round: reformulating cores
44.36/44.59 c #Conflicts: 304000 | #Constraints: 20537
44.36/44.59 c bounds 25235 >= 5530 @ 43.4796
44.36/44.59 c bounds 25203 >= 5530 @ 43.4925
44.36/44.59 c stratification level: 605
57.63/57.83 c #Conflicts: 305000 | #Constraints: 21538
57.63/57.83 c #Conflicts: 306000 | #Constraints: 22538
57.63/57.83 c bounds 25203 >= 6135 @ 43.711
57.63/57.83 c #Conflicts: 307000 | #Constraints: 23539
57.63/57.83 c #Conflicts: 308000 | #Constraints: 24539
57.63/57.83 c #Conflicts: 309000 | #Constraints: 25539
57.63/57.83 c #Conflicts: 310000 | #Constraints: 26539
57.63/57.83 c INPROCESSING
57.63/57.83 c GARBAGE COLLECT
57.63/57.83 c #Conflicts: 311000 | #Constraints: 16536
57.63/57.83 c #Conflicts: 312000 | #Constraints: 17536
57.63/57.83 c #Conflicts: 313000 | #Constraints: 18536
57.63/57.83 c #Conflicts: 314000 | #Constraints: 19536
57.63/57.83 c #Conflicts: 315000 | #Constraints: 20536
57.63/57.83 c #Conflicts: 316000 | #Constraints: 21536
57.63/57.83 c #Conflicts: 317000 | #Constraints: 22536
57.63/57.83 c #Conflicts: 318000 | #Constraints: 23536
57.63/57.83 c #Conflicts: 319000 | #Constraints: 24536
57.63/57.83 c #Conflicts: 320000 | #Constraints: 25536
57.63/57.83 c #Conflicts: 321000 | #Constraints: 26536
57.63/57.83 c INPROCESSING
57.63/57.83 c GARBAGE COLLECT
57.63/57.83 c #Conflicts: 322000 | #Constraints: 16346
57.63/57.83 c #Conflicts: 323000 | #Constraints: 17346
57.63/57.83 c #Conflicts: 324000 | #Constraints: 18346
57.63/57.83 c #Conflicts: 325000 | #Constraints: 19346
57.63/57.83 c #Conflicts: 326000 | #Constraints: 20346
57.63/57.83 c #Conflicts: 327000 | #Constraints: 21346
57.63/57.83 c #Conflicts: 328000 | #Constraints: 22346
57.63/57.83 c #Conflicts: 329000 | #Constraints: 23346
57.63/57.83 c #Conflicts: 330000 | #Constraints: 24346
57.63/57.83 c #Conflicts: 331000 | #Constraints: 25346
57.63/57.83 c #Conflicts: 332000 | #Constraints: 26346
57.63/57.83 c #Conflicts: 333000 | #Constraints: 27346
57.63/57.83 c INPROCESSING
57.63/57.83 c GARBAGE COLLECT
57.63/57.83 c #Conflicts: 334000 | #Constraints: 16951
57.63/57.83 c #Conflicts: 335000 | #Constraints: 17951
57.63/57.83 c #Conflicts: 336000 | #Constraints: 18951
57.63/57.83 c #Conflicts: 337000 | #Constraints: 19951
57.63/57.83 c #Conflicts: 338000 | #Constraints: 20951
57.63/57.83 c #Conflicts: 339000 | #Constraints: 21951
57.63/57.83 c #Conflicts: 340000 | #Constraints: 22951
57.63/57.83 c #Conflicts: 341000 | #Constraints: 23951
57.63/57.83 c #Conflicts: 342000 | #Constraints: 24951
57.63/57.83 c #Conflicts: 343000 | #Constraints: 25951
57.63/57.83 c #Conflicts: 344000 | #Constraints: 26951
57.63/57.83 c #Conflicts: 345000 | #Constraints: 27951
57.63/57.83 c INPROCESSING
57.63/57.83 c GARBAGE COLLECT
57.63/57.83 c #Conflicts: 346000 | #Constraints: 17370
57.63/57.83 c #Conflicts: 347000 | #Constraints: 18370
57.63/57.83 c #Conflicts: 348000 | #Constraints: 19370
57.63/57.83 c #Conflicts: 349000 | #Constraints: 20370
57.63/57.83 c #Conflicts: 350000 | #Constraints: 21370
57.63/57.83 c #Conflicts: 351000 | #Constraints: 22370
57.63/57.83 c #Conflicts: 352000 | #Constraints: 23370
57.63/57.83 c #Conflicts: 353000 | #Constraints: 24370
57.63/57.83 c #Conflicts: 354000 | #Constraints: 25370
57.63/57.83 c #Conflicts: 355000 | #Constraints: 26370
57.63/57.83 c #Conflicts: 356000 | #Constraints: 27370
57.63/57.83 c #Conflicts: 357000 | #Constraints: 28370
57.63/57.83 c INPROCESSING
57.63/57.83 c GARBAGE COLLECT
57.63/57.83 c #Conflicts: 358000 | #Constraints: 17559
57.63/57.83 c #Conflicts: 359000 | #Constraints: 18559
57.63/57.83 c #Conflicts: 360000 | #Constraints: 19559
57.63/57.83 c #Conflicts: 361000 | #Constraints: 20559
57.63/57.83 c #Conflicts: 362000 | #Constraints: 21559
57.63/57.83 c #Conflicts: 363000 | #Constraints: 22559
57.63/57.83 c #Conflicts: 364000 | #Constraints: 23559
57.63/57.83 c #Conflicts: 365000 | #Constraints: 24559
57.63/57.83 c #Conflicts: 366000 | #Constraints: 25559
57.63/57.83 c #Conflicts: 367000 | #Constraints: 26559
57.63/57.83 c #Conflicts: 368000 | #Constraints: 27559
57.63/57.83 c #Conflicts: 369000 | #Constraints: 28559
57.63/57.83 c INPROCESSING
57.63/57.83 c GARBAGE COLLECT
57.63/57.83 c #Conflicts: 370000 | #Constraints: 17571
57.63/57.83 c #Conflicts: 371000 | #Constraints: 18571
57.63/57.83 c #Conflicts: 372000 | #Constraints: 19571
57.63/57.83 c #Conflicts: 373000 | #Constraints: 20571
57.63/57.83 c #Conflicts: 374000 | #Constraints: 21571
57.63/57.83 c #Conflicts: 375000 | #Constraints: 22571
57.63/57.83 c #Conflicts: 376000 | #Constraints: 23571
57.63/57.83 c #Conflicts: 377000 | #Constraints: 24571
57.63/57.83 c finalizing WCE round: reformulating cores
254.36/255.10 c bounds 25027 >= 6135 @ 56.5244
254.36/255.10 c #Conflicts: 378000 | #Constraints: 25574
254.36/255.10 c #Conflicts: 379000 | #Constraints: 26574
254.36/255.10 c #Conflicts: 380000 | #Constraints: 27574
254.36/255.10 c #Conflicts: 381000 | #Constraints: 28574
254.36/255.10 c INPROCESSING
254.36/255.10 c GARBAGE COLLECT
254.36/255.10 c #Conflicts: 382000 | #Constraints: 17385
254.36/255.10 c #Conflicts: 383000 | #Constraints: 18385
254.36/255.10 c #Conflicts: 384000 | #Constraints: 19385
254.36/255.10 c #Conflicts: 385000 | #Constraints: 20385
254.36/255.10 c #Conflicts: 386000 | #Constraints: 21385
254.36/255.10 c #Conflicts: 387000 | #Constraints: 22385
254.36/255.10 c #Conflicts: 388000 | #Constraints: 23385
254.36/255.10 c #Conflicts: 389000 | #Constraints: 24385
254.36/255.10 c #Conflicts: 390000 | #Constraints: 25385
254.36/255.10 c #Conflicts: 391000 | #Constraints: 26385
254.36/255.10 c #Conflicts: 392000 | #Constraints: 27385
254.36/255.10 c #Conflicts: 393000 | #Constraints: 28385
254.36/255.10 c #Conflicts: 394000 | #Constraints: 29385
254.36/255.10 c INPROCESSING
254.36/255.10 c GARBAGE COLLECT
254.36/255.10 c #Conflicts: 395000 | #Constraints: 17981
254.36/255.10 c #Conflicts: 396000 | #Constraints: 18981
254.36/255.10 c #Conflicts: 397000 | #Constraints: 19981
254.36/255.10 c bounds 25027 >= 6740 @ 79.6534
254.36/255.10 c #Conflicts: 398000 | #Constraints: 20985
254.36/255.10 c #Conflicts: 399000 | #Constraints: 21985
254.36/255.10 c #Conflicts: 400000 | #Constraints: 22985
254.36/255.10 c #Conflicts: 401000 | #Constraints: 23985
254.36/255.10 c #Conflicts: 402000 | #Constraints: 24985
254.36/255.10 c #Conflicts: 403000 | #Constraints: 25985
254.36/255.10 c #Conflicts: 404000 | #Constraints: 26985
254.36/255.10 c #Conflicts: 405000 | #Constraints: 27985
254.36/255.10 c #Conflicts: 406000 | #Constraints: 28985
254.36/255.10 c #Conflicts: 407000 | #Constraints: 29985
254.36/255.10 c INPROCESSING
254.36/255.10 c GARBAGE COLLECT
254.36/255.10 c #Conflicts: 408000 | #Constraints: 18403
254.36/255.10 c #Conflicts: 409000 | #Constraints: 19403
254.36/255.10 c #Conflicts: 410000 | #Constraints: 20403
254.36/255.10 c #Conflicts: 411000 | #Constraints: 21403
254.36/255.10 c #Conflicts: 412000 | #Constraints: 22403
254.36/255.10 c #Conflicts: 413000 | #Constraints: 23403
254.36/255.10 c #Conflicts: 414000 | #Constraints: 24403
254.36/255.10 c #Conflicts: 415000 | #Constraints: 25403
254.36/255.10 c #Conflicts: 416000 | #Constraints: 26403
254.36/255.10 c #Conflicts: 417000 | #Constraints: 27403
254.36/255.10 c #Conflicts: 418000 | #Constraints: 28403
254.36/255.10 c #Conflicts: 419000 | #Constraints: 29403
254.36/255.10 c #Conflicts: 420000 | #Constraints: 30403
254.36/255.10 c INPROCESSING
254.36/255.10 c GARBAGE COLLECT
254.36/255.10 c #Conflicts: 421000 | #Constraints: 18627
254.36/255.10 c #Conflicts: 422000 | #Constraints: 19627
254.36/255.10 c #Conflicts: 423000 | #Constraints: 20627
254.36/255.10 c #Conflicts: 424000 | #Constraints: 21627
254.36/255.10 c #Conflicts: 425000 | #Constraints: 22627
254.36/255.10 c #Conflicts: 426000 | #Constraints: 23627
254.36/255.10 c #Conflicts: 427000 | #Constraints: 24627
254.36/255.10 c #Conflicts: 428000 | #Constraints: 25627
254.36/255.10 c #Conflicts: 429000 | #Constraints: 26627
254.36/255.10 c #Conflicts: 430000 | #Constraints: 27627
254.36/255.10 c #Conflicts: 431000 | #Constraints: 28627
254.36/255.10 c #Conflicts: 432000 | #Constraints: 29627
254.36/255.10 c #Conflicts: 433000 | #Constraints: 30627
254.36/255.10 c INPROCESSING
254.36/255.10 c GARBAGE COLLECT
254.36/255.10 c #Conflicts: 434000 | #Constraints: 18619
254.36/255.10 c #Conflicts: 435000 | #Constraints: 19619
254.36/255.10 c #Conflicts: 436000 | #Constraints: 20619
254.36/255.10 c #Conflicts: 437000 | #Constraints: 21619
254.36/255.10 c #Conflicts: 438000 | #Constraints: 22619
254.36/255.10 c #Conflicts: 439000 | #Constraints: 23619
254.36/255.10 c #Conflicts: 440000 | #Constraints: 24619
254.36/255.10 c #Conflicts: 441000 | #Constraints: 25619
254.36/255.10 c #Conflicts: 442000 | #Constraints: 26619
254.36/255.10 c #Conflicts: 443000 | #Constraints: 27619
254.36/255.10 c #Conflicts: 444000 | #Constraints: 28619
254.36/255.10 c #Conflicts: 445000 | #Constraints: 29619
254.36/255.10 c #Conflicts: 446000 | #Constraints: 30619
254.36/255.10 c #Conflicts: 447000 | #Constraints: 31619
254.36/255.10 c #Conflicts: 448000 | #Constraints: 32619
254.36/255.10 c #Conflicts: 449000 | #Constraints: 33619
254.36/255.10 c #Conflicts: 450000 | #Constraints: 34619
254.36/255.10 c #Conflicts: 451000 | #Constraints: 35619
254.36/255.10 c #Conflicts: 452000 | #Constraints: 36619
1679.89/1684.45 c #Conflicts: 453000 | #Constraints: 37619
1679.89/1684.45 c #Conflicts: 454000 | #Constraints: 38619
1679.89/1684.45 c #Conflicts: 455000 | #Constraints: 39619
1679.89/1684.45 c #Conflicts: 456000 | #Constraints: 40619
1679.89/1684.45 c #Conflicts: 457000 | #Constraints: 41619
1679.89/1684.45 c #Conflicts: 458000 | #Constraints: 42619
1679.89/1684.45 c #Conflicts: 459000 | #Constraints: 43619
1679.89/1684.45 c #Conflicts: 460000 | #Constraints: 44619
1679.89/1684.45 c #Conflicts: 461000 | #Constraints: 45619
1679.89/1684.45 c #Conflicts: 462000 | #Constraints: 46619
1679.89/1684.45 c #Conflicts: 463000 | #Constraints: 47619
1679.89/1684.45 c #Conflicts: 464000 | #Constraints: 48619
1679.89/1684.45 c #Conflicts: 465000 | #Constraints: 49619
1679.89/1684.45 c #Conflicts: 466000 | #Constraints: 50619
1679.89/1684.45 c #Conflicts: 467000 | #Constraints: 51619
1679.89/1684.45 c #Conflicts: 468000 | #Constraints: 52619
1679.89/1684.45 c #Conflicts: 469000 | #Constraints: 53619
1679.89/1684.45 c #Conflicts: 470000 | #Constraints: 54619
1679.89/1684.45 c #Conflicts: 471000 | #Constraints: 55619
1679.89/1684.45 c #Conflicts: 472000 | #Constraints: 56619
1679.89/1684.45 c #Conflicts: 473000 | #Constraints: 57619
1679.89/1684.45 c #Conflicts: 474000 | #Constraints: 58619
1679.89/1684.45 c #Conflicts: 475000 | #Constraints: 59619
1679.89/1684.45 c #Conflicts: 476000 | #Constraints: 60619
1679.89/1684.45 c #Conflicts: 477000 | #Constraints: 61619
1679.89/1684.45 c #Conflicts: 478000 | #Constraints: 62619
1679.89/1684.45 c #Conflicts: 479000 | #Constraints: 63619
1679.89/1684.45 c #Conflicts: 480000 | #Constraints: 64619
1679.89/1684.45 c #Conflicts: 481000 | #Constraints: 65619
1679.89/1684.45 c #Conflicts: 482000 | #Constraints: 66619
1679.89/1684.45 c #Conflicts: 483000 | #Constraints: 67619
1679.89/1684.45 c #Conflicts: 484000 | #Constraints: 68619
1679.89/1684.45 c #Conflicts: 485000 | #Constraints: 69619
1679.89/1684.45 c #Conflicts: 486000 | #Constraints: 70619
1679.89/1684.45 c #Conflicts: 487000 | #Constraints: 71619
1679.89/1684.45 c #Conflicts: 488000 | #Constraints: 72619
1679.89/1684.45 c #Conflicts: 489000 | #Constraints: 73619
1679.89/1684.45 c #Conflicts: 490000 | #Constraints: 74619
1679.89/1684.45 c #Conflicts: 491000 | #Constraints: 75619
1679.89/1684.45 c #Conflicts: 492000 | #Constraints: 76619
1679.89/1684.45 c #Conflicts: 493000 | #Constraints: 77619
1679.89/1684.45 c #Conflicts: 494000 | #Constraints: 78619
1679.89/1684.45 c #Conflicts: 495000 | #Constraints: 79619
1679.89/1684.45 c #Conflicts: 496000 | #Constraints: 80619
1679.89/1684.45 c #Conflicts: 497000 | #Constraints: 81619
1679.89/1684.45 c #Conflicts: 498000 | #Constraints: 82619
1679.89/1684.45 c INPROCESSING
1679.89/1684.45 c GARBAGE COLLECT
1679.89/1684.45 c #Conflicts: 499000 | #Constraints: 44312
1679.89/1684.45 c #Conflicts: 500000 | #Constraints: 45312
1679.89/1684.45 c #Conflicts: 501000 | #Constraints: 46312
1679.89/1684.45 c #Conflicts: 502000 | #Constraints: 47312
1679.89/1684.45 c #Conflicts: 503000 | #Constraints: 48312
1679.89/1684.45 c #Conflicts: 504000 | #Constraints: 49312
1679.89/1684.45 c #Conflicts: 505000 | #Constraints: 50312
1679.89/1684.45 c #Conflicts: 506000 | #Constraints: 51312
1679.89/1684.45 c #Conflicts: 507000 | #Constraints: 52312
1679.89/1684.45 c #Conflicts: 508000 | #Constraints: 53312
1679.89/1684.45 c #Conflicts: 509000 | #Constraints: 54312
1679.89/1684.45 c #Conflicts: 510000 | #Constraints: 55312
1679.89/1684.45 c #Conflicts: 511000 | #Constraints: 56312
1679.89/1684.45 c #Conflicts: 512000 | #Constraints: 57312
1679.89/1684.45 c #Conflicts: 513000 | #Constraints: 58312
1679.89/1684.45 c INPROCESSING
1679.89/1684.45 c GARBAGE COLLECT
1679.89/1684.45 c #Conflicts: 514000 | #Constraints: 32421
1679.89/1684.45 c #Conflicts: 515000 | #Constraints: 33421
1679.89/1684.45 c #Conflicts: 516000 | #Constraints: 34421
1679.89/1684.45 c #Conflicts: 517000 | #Constraints: 35421
1679.89/1684.45 c #Conflicts: 518000 | #Constraints: 36421
1679.89/1684.45 c #Conflicts: 519000 | #Constraints: 37421
1679.89/1684.45 c #Conflicts: 520000 | #Constraints: 38421
1679.89/1684.45 c #Conflicts: 521000 | #Constraints: 39421
1679.89/1684.45 c #Conflicts: 522000 | #Constraints: 40421
1679.89/1684.45 c #Conflicts: 523000 | #Constraints: 41421
1679.89/1684.45 c #Conflicts: 524000 | #Constraints: 42421
1679.89/1684.45 c #Conflicts: 525000 | #Constraints: 43421
1679.89/1684.45 c #Conflicts: 526000 | #Constraints: 44421
1679.89/1684.45 c #Conflicts: 527000 | #Constraints: 45421
1679.89/1684.45 c #Conflicts: 528000 | #Constraints: 46421
1679.89/1684.45 c INPROCESSING
1679.89/1684.45 c GARBAGE COLLECT
1679.89/1684.45 c #Conflicts: 529000 | #Constraints: 26634
3465.52/3474.66 c #Conflicts: 530000 | #Constraints: 27634
3465.52/3474.66 c #Conflicts: 531000 | #Constraints: 28634
3465.52/3474.66 c #Conflicts: 532000 | #Constraints: 29634
3465.52/3474.66 c #Conflicts: 533000 | #Constraints: 30634
3465.52/3474.66 c #Conflicts: 534000 | #Constraints: 31634
3465.52/3474.66 c #Conflicts: 535000 | #Constraints: 32634
3465.52/3474.66 c #Conflicts: 536000 | #Constraints: 33634
3465.52/3474.66 c #Conflicts: 537000 | #Constraints: 34634
3465.52/3474.66 c #Conflicts: 538000 | #Constraints: 35634
3465.52/3474.66 c #Conflicts: 539000 | #Constraints: 36634
3465.52/3474.66 c #Conflicts: 540000 | #Constraints: 37634
3465.52/3474.66 c #Conflicts: 541000 | #Constraints: 38634
3465.52/3474.66 c #Conflicts: 542000 | #Constraints: 39634
3465.52/3474.66 c #Conflicts: 543000 | #Constraints: 40634
3465.52/3474.66 c #Conflicts: 544000 | #Constraints: 41634
3465.52/3474.66 c #Conflicts: 545000 | #Constraints: 42634
3465.52/3474.66 c #Conflicts: 546000 | #Constraints: 43634
3465.52/3474.66 c #Conflicts: 547000 | #Constraints: 44634
3465.52/3474.66 c #Conflicts: 548000 | #Constraints: 45634
3465.52/3474.66 c #Conflicts: 549000 | #Constraints: 46634
3465.52/3474.66 c #Conflicts: 550000 | #Constraints: 47634
3465.52/3474.66 c #Conflicts: 551000 | #Constraints: 48634
3465.52/3474.66 c #Conflicts: 552000 | #Constraints: 49634
3465.52/3474.66 c #Conflicts: 553000 | #Constraints: 50634
3465.52/3474.66 c #Conflicts: 554000 | #Constraints: 51634
3465.52/3474.66 c #Conflicts: 555000 | #Constraints: 52634
3465.52/3474.66 c #Conflicts: 556000 | #Constraints: 53634
3465.52/3474.66 c #Conflicts: 557000 | #Constraints: 54634
3465.52/3474.66 c #Conflicts: 558000 | #Constraints: 55634
3465.52/3474.66 c #Conflicts: 559000 | #Constraints: 56634
3465.52/3474.66 c #Conflicts: 560000 | #Constraints: 57634
3465.52/3474.66 c #Conflicts: 561000 | #Constraints: 58634
3465.52/3474.66 c #Conflicts: 562000 | #Constraints: 59634
3465.52/3474.66 c #Conflicts: 563000 | #Constraints: 60634
3465.52/3474.66 c #Conflicts: 564000 | #Constraints: 61634
3465.52/3474.66 c #Conflicts: 565000 | #Constraints: 62634
3465.52/3474.66 c #Conflicts: 566000 | #Constraints: 63634
3465.52/3474.66 c #Conflicts: 567000 | #Constraints: 64634
3465.52/3474.66 c #Conflicts: 568000 | #Constraints: 65634
3465.52/3474.66 c #Conflicts: 569000 | #Constraints: 66634
3465.52/3474.66 c #Conflicts: 570000 | #Constraints: 67634
3465.52/3474.66 c #Conflicts: 571000 | #Constraints: 68634
3465.52/3474.66 c #Conflicts: 572000 | #Constraints: 69634
3465.52/3474.66 c #Conflicts: 573000 | #Constraints: 70634
3465.52/3474.66 c #Conflicts: 574000 | #Constraints: 71634
3465.52/3474.66 c #Conflicts: 575000 | #Constraints: 72634
3465.52/3474.66 c #Conflicts: 576000 | #Constraints: 73634
3465.52/3474.66 c #Conflicts: 577000 | #Constraints: 74634
3465.52/3474.66 c #Conflicts: 578000 | #Constraints: 75634
3465.52/3474.66 c #Conflicts: 579000 | #Constraints: 76634
3465.52/3474.66 c #Conflicts: 580000 | #Constraints: 77634
3465.52/3474.66 c #Conflicts: 581000 | #Constraints: 78634
3465.52/3474.66 c #Conflicts: 582000 | #Constraints: 79634
3465.52/3474.66 c #Conflicts: 583000 | #Constraints: 80634
3465.52/3474.66 c #Conflicts: 584000 | #Constraints: 81634
3465.52/3474.66 c #Conflicts: 585000 | #Constraints: 82634
3465.52/3474.66 c #Conflicts: 586000 | #Constraints: 83634
3465.52/3474.66 c #Conflicts: 587000 | #Constraints: 84634
3465.52/3474.66 c #Conflicts: 588000 | #Constraints: 85634
3465.52/3474.66 c #Conflicts: 589000 | #Constraints: 86634
3465.52/3474.66 c #Conflicts: 590000 | #Constraints: 87634
3465.52/3474.66 c #Conflicts: 591000 | #Constraints: 88634
3465.52/3474.66 c #Conflicts: 592000 | #Constraints: 89634
3465.52/3474.66 c #Conflicts: 593000 | #Constraints: 90634
3465.52/3474.66 c #Conflicts: 594000 | #Constraints: 91634
3465.52/3474.66 c #Conflicts: 595000 | #Constraints: 92634
3465.52/3474.66 c #Conflicts: 596000 | #Constraints: 93634
3465.52/3474.66 c #Conflicts: 597000 | #Constraints: 94634
3465.52/3474.66 c INPROCESSING
3465.52/3474.66 c GARBAGE COLLECT
3465.52/3474.66 c #Conflicts: 598000 | #Constraints: 50332
3465.52/3474.66 c #Conflicts: 599000 | #Constraints: 51332
3465.52/3474.66 c #Conflicts: 600000 | #Constraints: 52332
3465.52/3474.66 c #Conflicts: 601000 | #Constraints: 53332
3465.52/3474.66 c #Conflicts: 602000 | #Constraints: 54332
3465.52/3474.66 c #Conflicts: 603000 | #Constraints: 55332
3465.52/3474.66 c #Conflicts: 604000 | #Constraints: 56332
3465.52/3474.66 c #Conflicts: 605000 | #Constraints: 57332
3465.52/3474.66 c #Conflicts: 606000 | #Constraints: 58332
3465.52/3474.66 c #Conflicts: 607000 | #Constraints: 59332
3600.06/3609.50 c #Conflicts: 608000 | #Constraints: 60332
3600.06/3609.50 c #Conflicts: 609000 | #Constraints: 61332
3600.06/3609.50 c #Conflicts: 610000 | #Constraints: 62332
3600.06/3609.50 c #Conflicts: 611000 | #Constraints: 63332
3600.06/3609.50 c #Conflicts: 612000 | #Constraints: 64332
3600.06/3609.50 c Program interrupted by user.
3600.06/3609.50 c cpu time 3594.14 s
3600.06/3609.50 c deterministic time 251075317893 2.51e+11
3600.06/3609.50 c optimization time 349.327 s
3600.06/3609.50 c total solve time 3244.8 s
3600.06/3609.50 c core-guided solve time 3244.8 s
3600.06/3609.50 c propagation time 3324.9 s
3600.06/3609.50 c conflict analysis time 259.288 s
3600.06/3609.50 c propagations 49900406
3600.06/3609.50 c resolve steps 9380841
3600.06/3609.50 c decisions 3062225
3600.06/3609.50 c conflicts 612389
3600.06/3609.50 c restarts 1277
3600.06/3609.50 c inprocessing phases 61
3600.06/3609.50 c input clauses 2683
3600.06/3609.50 c input cardinalities 266
3600.06/3609.50 c input general constraints 1716
3600.06/3609.50 c input average constraint length 5.59
3600.06/3609.50 c input average constraint degree 290.43
3600.06/3609.50 c learned clauses 337938
3600.06/3609.50 c learned cardinalities 7533
3600.06/3609.50 c learned general constraints 266918
3600.06/3609.50 c learned average constraint length 102.20
3600.06/3609.50 c learned average constraint degree 3196773.91
3600.06/3609.50 c watched constraints 206740
3600.06/3609.50 c counting constraints 61894
3600.06/3609.50 c gcd simplifications 36284
3600.06/3609.50 c detected cardinalities 18
3600.06/3609.50 c weakened non-implied lits 14177533
3600.06/3609.50 c weakened non-implying lits 137347
3600.06/3609.50 c original variables 540
3600.06/3609.50 c clausal propagations 16768910
3600.06/3609.50 c cardinality propagations 18659822
3600.06/3609.50 c watched propagations 5583607
3600.06/3609.50 c counting propagations 8441064
3600.06/3609.50 c watch lookups 57791335048
3600.06/3609.50 c watch backjump lookups 55590546047
3600.06/3609.50 c watch checks 114964735394
3600.06/3609.50 c propagation checks 22359519118
3600.06/3609.50 c constraint additions 262644823
3600.06/3609.50 c trail pops 53574831
3600.06/3609.50 c formula constraints 4626
3600.06/3609.50 c learned constraints 612389
3600.06/3609.50 c bound constraints 22
3600.06/3609.50 c core-guided constraints 17
3600.06/3609.50 c encountered formula constraints 5728881
3600.06/3609.50 c encountered learned constraints 4238585
3600.06/3609.50 c encountered bound constraints 11899
3600.06/3609.50 c encountered core-guided constraints 13865
3600.06/3609.50 c LP total time 0 s
3600.06/3609.50 c LP solve time 0 s
3600.06/3609.50 c LP constraints added 0
3600.06/3609.50 c LP constraints removed 0
3600.06/3609.50 c LP pivots internal 0
3600.06/3609.50 c LP pivots root 0
3600.06/3609.50 c LP calls 0
3600.06/3609.50 c LP optimalities 0
3600.06/3609.50 c LP no pivot count 0
3600.06/3609.50 c LP infeasibilities 0
3600.06/3609.50 c LP valid Farkas constraints 0
3600.06/3609.50 c LP learned Farkas constraints 0
3600.06/3609.50 c LP basis resets 0
3600.06/3609.50 c LP cycling count 0
3600.06/3609.50 c LP singular count 0
3600.06/3609.50 c LP no primal count 0
3600.06/3609.50 c LP no farkas count 0
3600.06/3609.50 c LP other issue count 0
3600.06/3609.50 c LP Gomory cuts 0
3600.06/3609.50 c LP learned cuts 0
3600.06/3609.50 c LP deleted cuts 0
3600.06/3609.50 c LP encountered Gomory constraints 0
3600.06/3609.50 c LP encountered Farkas constraints 0
3600.06/3609.50 c LP encountered learned Farkas constraints 0
3600.06/3609.50 c CG auxiliary variables introduced 8
3600.06/3609.50 c CG solutions found 11
3600.06/3609.50 c CG cores constructed 8
3600.06/3609.50 c CG core cardinality constraints returned 0
3600.06/3609.50 c CG unit cores 0
3600.06/3609.50 c CG single cores 8
3600.06/3609.50 c CG blocks removed during cardinality reduction 0
3600.06/3609.50 c CG first core best 0
3600.06/3609.50 c CG decision core best 0
3600.06/3609.50 c CG core reduction tie 0
3600.06/3609.50 c CG core degree average 1.00
3600.06/3609.50 c CG core slack average 11.12
3600.06/3609.50 c CG exhausted 0
3600.06/3609.50 c CG exhaust time 0.473645 s
3600.06/3609.50 c CG trimmed 0
3600.06/3609.50 c CG trim time 0.000369 s
3600.06/3609.50 c CG minimized 0
3600.06/3609.50 c CG minimize time 0 s
3600.06/3609.50 c CG am1 prop time 0.000281 s
3600.06/3609.50 c CG # am1s reformulated 0
3600.06/3609.50 c CG lower bound derived from am1s 0
3600.06/3609.50 c CG # clausal cores 8
3600.06/3609.50 c CG # cardinality cores 0
3600.06/3609.50 c CG # pb cores 0
3600.06/3609.50 c CG # pb reforms 6
3600.06/3609.50 c CG # cores discarded because of pb reform 0
3600.06/3609.50 d LOWERBOUND 6740
3600.06/3609.50 d NCORES 8
3600.06/3609.50 d NPBCORES 0
3600.06/3609.50 d NPBREFORM 6
3600.06/3609.50 d NTRIMMED 0
3600.06/3609.50 d NEXHAUSTED 0
3600.06/3609.50 d NAM1S 0
3600.06/3609.50 d AM1LB 0
3600.06/3609.50 o 25027
3600.06/3609.50 s SATISFIABLE
3600.06/3609.50 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 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 -x436 x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 x462 -x463 -x464 -x465 x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 x504 x505 x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 x535 x536 x537 -x538 x539 -x540
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: 63931 MiB (59940 MiB free)
memory of node 1: 64510 MiB (60643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454284-1721466464/watcher-4454284-1721466464 -o /tmp/evaluation-result-4454284-1721466464/solver-4454284-1721466464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721466477-1082119 --watchdog 3760 pb-oll-rs HOME/instance-4454284-1721466464.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=1082167, runsolver pid=1082158
[startup+0.100791 s]*
/proc/loadavg: 3.75 4.10 4.16 5/255 1082183
/proc/meminfo: memFree=123460152/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=39456 memory=7276 CPUtime=0.09 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 604 0 0 0 9 0 0 0 20 0 1 0 198811776 40402944 1819 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 9864 1819 1375 291 0 1398 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39456 KiB
Current children cumulated memory: 7276 KiB
[startup+0.20484 s]*
/proc/loadavg: 3.75 4.10 4.16 4/252 1082191
/proc/meminfo: memFree=123454788/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=39708 memory=7828 CPUtime=0.2 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 752 0 0 0 19 1 0 0 20 0 1 0 198811776 40660992 1957 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 9927 1957 1375 291 0 1461 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39708 KiB
Current children cumulated memory: 7828 KiB
[startup+0.305478 s]*
/proc/loadavg: 3.75 4.10 4.16 4/254 1082197
/proc/meminfo: memFree=123446284/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=39708 memory=7828 CPUtime=0.29 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 803 0 0 0 28 1 0 0 20 0 1 0 198811776 40660992 1957 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 9927 1957 1375 291 0 1461 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39708 KiB
Current children cumulated memory: 7828 KiB
[startup+0.70016 s]
/proc/loadavg: 3.75 4.10 4.16 5/257 1082229
/proc/meminfo: memFree=123432744/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=40004 memory=8720 CPUtime=0.68 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 981 0 0 0 66 2 0 0 20 0 1 0 198811776 40964096 2180 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 10001 2180 1435 291 0 1535 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40004 KiB
Current children cumulated memory: 8720 KiB
[startup+1.50019 s]
/proc/loadavg: 3.75 4.10 4.16 5/257 1082229
/proc/meminfo: memFree=123388548/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=40456 memory=11288 CPUtime=1.49 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 1068 0 0 0 145 4 0 0 20 0 1 0 198811776 41426944 2822 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 10114 2822 1435 291 0 1648 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40456 KiB
Current children cumulated memory: 11288 KiB
[startup+3.10544 s]
/proc/loadavg: 3.75 4.10 4.16 5/257 1082229
/proc/meminfo: memFree=123322068/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=40712 memory=11716 CPUtime=3.09 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 1158 0 0 0 301 8 0 0 20 0 1 0 198811776 41689088 2929 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 10178 2929 1435 291 0 1712 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40712 KiB
Current children cumulated memory: 11716 KiB
[startup+6.30021 s]
/proc/loadavg: 3.77 4.10 4.16 5/257 1082229
/proc/meminfo: memFree=123287044/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=41732 memory=12740 CPUtime=6.27 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 1461 0 0 0 611 16 0 0 20 0 1 0 198811776 42733568 3185 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 10433 3185 1435 291 0 1967 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41732 KiB
Current children cumulated memory: 12740 KiB
[startup+12.7002 s]
/proc/loadavg: 3.87 4.12 4.16 5/257 1082231
/proc/meminfo: memFree=123239524/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=45920 memory=14932 CPUtime=12.66 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 2299 0 0 0 1234 32 0 0 20 0 1 0 198811776 47022080 3733 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 11480 3733 1435 291 0 3014 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45920 KiB
Current children cumulated memory: 14932 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.16 4.18 5/257 1082232
/proc/meminfo: memFree=123189092/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=47092 memory=18268 CPUtime=25.42 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 3048 0 0 0 2482 60 0 0 20 0 1 0 198811776 48222208 4567 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 11773 4567 1435 291 0 3307 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 47092 KiB
Current children cumulated memory: 18268 KiB
[startup+51.1055 s]
/proc/loadavg: 4.55 4.26 4.21 5/257 1082237
/proc/meminfo: memFree=123166012/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=52816 memory=20092 CPUtime=50.95 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 4049 0 0 0 4986 109 0 0 20 0 1 0 198811776 54083584 5023 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 13204 5023 1435 291 0 4738 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 52816 KiB
Current children cumulated memory: 20092 KiB
[startup+102.3 s]
/proc/loadavg: 4.62 4.33 4.23 5/257 1082247
/proc/meminfo: memFree=123096088/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=74632 memory=40896 CPUtime=102.01 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 7969 0 0 0 10036 165 0 0 20 0 1 0 198811776 76423168 10224 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 18658 10224 1435 291 0 10192 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 74632 KiB
Current children cumulated memory: 40896 KiB
[startup+162.3 s]
/proc/loadavg: 4.66 4.39 4.26 5/260 1082263
/proc/meminfo: memFree=122947836/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=78976 memory=47028 CPUtime=161.83 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 8986 0 0 0 15976 207 0 0 20 0 1 0 198811776 80871424 11757 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 19744 11757 1435 291 0 11278 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 78976 KiB
Current children cumulated memory: 47028 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.36 4.26 5/260 1082275
/proc/meminfo: memFree=122834996/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=97232 memory=56008 CPUtime=221.65 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 10762 0 0 0 21937 228 0 0 20 0 1 0 198811776 99565568 14002 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 24308 14002 1435 291 0 15842 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 97232 KiB
Current children cumulated memory: 56008 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.33 4.26 5/260 1082285
/proc/meminfo: memFree=122747080/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=106092 memory=69256 CPUtime=281.48 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 12517 0 0 0 27908 240 0 0 20 0 1 0 198811776 108638208 17314 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 26523 17314 1435 291 0 18057 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 106092 KiB
Current children cumulated memory: 69256 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.28 4.24 5/258 1082296
/proc/meminfo: memFree=122637980/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=129480 memory=75728 CPUtime=341.3 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 13641 0 0 0 33879 251 0 0 20 0 1 0 198811776 132587520 18932 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 32370 18932 1435 291 0 23904 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 129480 KiB
Current children cumulated memory: 75728 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.24 4.23 5/258 1082307
/proc/meminfo: memFree=122602676/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=132860 memory=82520 CPUtime=401.13 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 14865 0 0 0 39853 260 0 0 20 0 1 0 198811776 136048640 20630 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 33215 20630 1435 291 0 24749 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 132860 KiB
Current children cumulated memory: 82520 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.23 4.23 5/255 1082317
/proc/meminfo: memFree=122504236/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=135980 memory=89772 CPUtime=460.95 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 15649 0 0 0 45826 269 0 0 20 0 1 0 198811776 139243520 22443 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 33995 22443 1435 291 0 25529 0
################
# More data... #
################
Current children cumulated memory: 163424 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/258 1083767
/proc/meminfo: memFree=126538728/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=212540 memory=166264 CPUtime=2914.68 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 29877 0 0 0 290933 535 0 0 20 0 1 0 198811776 217640960 41566 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 53135 41566 1435 291 0 44669 0
Current children cumulated CPU time: 2914.68 s
Current children cumulated vsize: 212540 KiB
Current children cumulated memory: 166264 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/258 1083779
/proc/meminfo: memFree=126532836/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=213052 memory=168840 CPUtime=2974.53 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 30091 0 0 0 296913 540 0 0 20 0 1 0 198811776 218165248 42210 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 53263 42210 1435 291 0 44797 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 213052 KiB
Current children cumulated memory: 168840 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/260 1083962
/proc/meminfo: memFree=126523864/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=214328 memory=177512 CPUtime=3034.37 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 30449 0 0 0 302893 544 0 0 20 0 1 0 198811776 219471872 44378 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 53582 44378 1435 291 0 45116 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 214328 KiB
Current children cumulated memory: 177512 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.11 4.13 5/260 1083973
/proc/meminfo: memFree=126521864/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=216628 memory=178212 CPUtime=3094.21 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 31027 0 0 0 308872 549 0 0 20 0 1 0 198811776 221827072 44553 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 54157 44553 1435 291 0 45691 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 216628 KiB
Current children cumulated memory: 178212 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.13 5/260 1083985
/proc/meminfo: memFree=126518452/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=217652 memory=180408 CPUtime=3154.05 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 31402 0 0 0 314851 554 0 0 20 0 1 0 198811776 222875648 45102 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 54413 45102 1435 291 0 45947 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 217652 KiB
Current children cumulated memory: 180408 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/259 1084008
/proc/meminfo: memFree=126514720/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=218676 memory=183208 CPUtime=3213.9 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 31681 0 0 0 320831 559 0 0 20 0 1 0 198811776 223924224 45802 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 54669 45802 1435 291 0 46203 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 218676 KiB
Current children cumulated memory: 183208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/259 1084018
/proc/meminfo: memFree=126510700/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=221900 memory=184516 CPUtime=3273.74 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 32480 0 0 0 326810 564 0 0 20 0 1 0 198811776 227225600 46129 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 55475 46129 1435 291 0 47009 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 221900 KiB
Current children cumulated memory: 184516 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/256 1084029
/proc/meminfo: memFree=126510404/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=221900 memory=184668 CPUtime=3333.58 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 32537 0 0 0 332789 569 0 0 20 0 1 0 198811776 227225600 46167 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 55475 46167 1435 291 0 47009 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 221900 KiB
Current children cumulated memory: 184668 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/256 1084040
/proc/meminfo: memFree=126509740/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=221900 memory=184668 CPUtime=3393.42 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 32595 0 0 0 338767 575 0 0 20 0 1 0 198811776 227225600 46167 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 55475 46167 1435 291 0 47009 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 221900 KiB
Current children cumulated memory: 184668 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.12 4.12 5/256 1084052
/proc/meminfo: memFree=126509020/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=221900 memory=184668 CPUtime=3453.26 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 32654 0 0 0 344746 580 0 0 20 0 1 0 198811776 227225600 46167 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 55475 46167 1435 291 0 47009 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 221900 KiB
Current children cumulated memory: 184668 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.17 4.13 5/256 1084062
/proc/meminfo: memFree=126497644/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=221900 memory=184668 CPUtime=3513.1 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 32714 0 0 0 350724 586 0 0 20 0 1 0 198811776 227225600 46167 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 55475 46167 1435 291 0 47009 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 221900 KiB
Current children cumulated memory: 184668 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/256 1084073
/proc/meminfo: memFree=126497200/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=221900 memory=184668 CPUtime=3572.94 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 32775 0 0 0 356704 590 0 0 20 0 1 0 198811776 227225600 46167 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 55475 46167 1435 291 0 47009 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 221900 KiB
Current children cumulated memory: 184668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.16 4.16 4.13 5/256 1084077
/proc/meminfo: memFree=126496816/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=221900 memory=184668 CPUtime=3600.06 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 32837 0 0 0 359413 593 0 0 20 0 1 0 198811776 227225600 46167 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 55475 46167 1435 291 0 47009 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 221900 KiB
Current children cumulated memory: 184668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 1082167 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.14 s, system=5.94249 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.16 4.16 4.13 5/256 1084077
/proc/meminfo: memFree=126496816/131524600 swapFree=131071996/131071996
[pid=1082167] ppid=1082158 vsize=221900 memory=184668 CPUtime=3600.06 cores=4,6
/proc/1082167/stat : 1082167 (pb-oll-rs) R 1082158 1082167 1082106 0 -1 4194304 32837 0 0 0 359413 593 0 0 20 0 1 0 198811776 227225600 46167 134679101440 4194304 5384485 140722401847936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 34172928 140722401850389 140722401850466 140722401850466 140722401857483 0
/proc/1082167/statm: 55475 46167 1435 291 0 47009 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 221900 KiB
Current children cumulated memory: 184668 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.09
CPU user time (s): 3594.14
CPU system time (s): 5.94249
CPU usage (%): 99.7389
Max. virtual memory (cumulated for all children) (KiB): 221900
Max. memory (cumulated for all children) (KiB): 184668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.14
system time used= 5.94249
maximum resident set size= 184680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32854
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= 43
involuntary context switches= 3206
# summary of solver processes directly reported to runsolver:
# pid: 1082167
# total CPU time (s): 3600.09
# total CPU user time (s): 3594.14
# total CPU system time (s): 5.94249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73047 second user time and 16.9161 second system time
The end
Begin job on nodeC025 at 2024-07-20 11:07:57
IDJOB=4454284
IDBENCH=147022
IDSOLVER=3082
FILE ID=nodeC025/4454284-1721466464
RUNJOBID= nodeC025-1721466477-1082119
SLURM_JOB_ID= 7545718
Free space on /tmp= 890032 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454284-1721466464/watcher-4454284-1721466464 -o /tmp/evaluation-result-4454284-1721466464/solver-4454284-1721466464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721466477-1082119 --watchdog 3760 pb-oll-rs HOME/instance-4454284-1721466464.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=671198353
nodeC025.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 : 0xb00002a
cpu MHz : 3597.488
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.72
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 : 3486.297
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 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
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 : 3457.003
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.72
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 : 3618.038
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 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
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 : 3485.625
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.72
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 : 3438.162
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 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
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 : 3598.119
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.72
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 : 3588.514
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 invpcid_single pti ibrs ibpb stibp 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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123477060 kB
MemAvailable: 129594872 kB
Buffers: 578440 kB
Cached: 6309256 kB
SwapCached: 0 kB
Active: 1158248 kB
Inactive: 6107500 kB
Active(anon): 1424 kB
Inactive(anon): 422532 kB
Active(file): 1156824 kB
Inactive(file): 5684968 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 8568 kB
Writeback: 0 kB
AnonPages: 376100 kB
Mapped: 106644 kB
Shmem: 45912 kB
KReclaimable: 231336 kB
Slab: 360988 kB
SReclaimable: 231336 kB
SUnreclaim: 129652 kB
KernelStack: 3872 kB
PageTables: 9248 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 704664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74304 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC025 at 2024-07-20 12:08:06