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