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