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