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