(1,30) (2,20) (3,28) (4,17) (5,18) (6,27) (7,24) (9,19) (11,16) (12,25) (14,26) 
nodes: 1123  conflicts: 64  modelTime: 661  solveTime: 1598  totalTime: 2265  modelSize: 41292  readTime: 6 size: 11