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