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