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