(1,30) (2,23) (4,26) (5,21) (6,29) (7,16) (8,20) (9,28) (10,27) (11,24) (12,17) (13,25) (14,22) (15,18) 
nodes: 29563  conflicts: 14  modelTime: 654  solveTime: 69827  totalTime: 70486  modelSize: 41293  readTime: 5 size: 14