(1,28) (2,19) (3,26) (4,23) (5,21) (6,24) (7,18) (8,25) (9,17) (10,16) (11,29) (12,22) (13,20) (14,27) (15,30) 
nodes: 275758  conflicts: 13  modelTime: 1183  solveTime: 893396  totalTime: 894587  modelSize: 41292  readTime: 8 size: 15