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