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