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