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