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