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