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