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