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