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