(1,22) (2,17) (3,29) (4,18) (5,28) (6,20) (7,19) (8,25) (10,30) (11,21) (12,23) (13,27) (14,24) 
nodes: 885  conflicts: 36  modelTime: 671  solveTime: 1218  totalTime: 1896  modelSize: 41292  readTime: 7 size: 13