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