(1,18) (2,20) (3,28) (4,22) (5,30) (6,25) (7,27) (8,29) (9,24) (10,19) (11,17) (12,26) (14,16) (15,21) 
nodes: 761  conflicts: 21  modelTime: 663  solveTime: 1227  totalTime: 1896  modelSize: 41292  readTime: 6 size: 14