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