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