(1,21) (2,5) (3,9) (4,25) (6,16) (7,12) (8,30) (10,27) (11,18) (13,15) (14,24) (17,29) (19,22) (20,23) (26,28) 
nodes: 17396  conflicts: 42  modelTime: 1707  solveTime: 63025  totalTime: 64752  modelSize: 72263  readTime: 20 size: 15