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