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