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