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