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