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