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