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