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