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