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