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