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