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