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