(1,30) (2,28) (3,18) (4,19) (8,23) (9,29) (10,20) (11,27) (12,16) (13,25) (14,21) (15,26) 
nodes: 2267  conflicts: 47  modelTime: 660  solveTime: 3196  totalTime: 3863  modelSize: 41292  readTime: 7 size: 12