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