(1,30) (2,18) (3,16) (4,19) (5,13) (6,22) (7,9) (8,21) (10,17) (11,12) (14,24) (15,23) (20,25) (26,27) (28,29) 
nodes: 14125  conflicts: 34  modelTime: 1281  solveTime: 65959  totalTime: 67255  modelSize: 72265  readTime: 15 size: 15