(1,19) (2,28) (3,27) (4,30) (5,22) (6,20) (7,23) (8,26) (9,18) (10,21) (12,29) (13,17) (14,24) (15,16) 
nodes: 3540  conflicts: 31  modelTime: 686  solveTime: 7296  totalTime: 7989  modelSize: 41292  readTime: 7 size: 14