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