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