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