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