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