(1,30) (2,17) (3,27) (4,22) (6,20) (7,26) (8,21) (10,16) (11,29) (12,23) (13,19) (14,25) (15,18) 
nodes: 5847  conflicts: 28  modelTime: 660  solveTime: 10458  totalTime: 11124  modelSize: 41292  readTime: 6 size: 13