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