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