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