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