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