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