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