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