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