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