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