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