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