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