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