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