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