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