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