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