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