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