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