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