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