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