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