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