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