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