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