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