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