(1,30) (2,17) (3,21) (4,26) (5,28) (8,20) (10,25) (11,24) (12,18) (13,19) (14,22) (15,27) 
nodes: 1555  conflicts: 56  modelTime: 658  solveTime: 1585  totalTime: 2250  modelSize: 41292  readTime: 7 size: 12