(1,17) (2,26) (3,27) (5,25) (7,24) (8,21) (9,30) (10,22) (11,19) (14,29) (15,23) 
nodes: 1462  conflicts: 52  modelTime: 671  solveTime: 1844  totalTime: 2523  modelSize: 41292  readTime: 7 size: 11