(1,22) (2,27) (3,28) (4,18) (5,16) (7,19) (8,25) (10,21) (12,30) (13,26) (14,17) 
nodes: 594  conflicts: 57  modelTime: 657  solveTime: 729  totalTime: 1394  modelSize: 41292  readTime: 7 size: 11