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