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