(1,25) (2,19) (4,23) (5,24) (6,18) (7,21) (9,16) (10,29) (11,30) (12,26) (13,28) (14,17) (15,20) 
nodes: 2137  conflicts: 25  modelTime: 661  solveTime: 4211  totalTime: 4878  modelSize: 41292  readTime: 6 size: 13