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