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