(1,25) (2,18) (3,30) (4,20) (5,17) (6,26) (8,27) (11,28) (12,16) (13,29) (15,23) 
nodes: 1443  conflicts: 84  modelTime: 658  solveTime: 1609  totalTime: 2274  modelSize: 41292  readTime: 7 size: 11