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