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