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