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