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