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