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