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