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