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