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