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