(1,23) (2,22) (3,12) (4,10) (5,25) (6,29) (7,8) (9,15) (11,17) (13,21) (14,16) (18,27) (19,20) (24,30) (26,28) 
nodes: 881129  conflicts: 35  modelTime: 961  solveTime: 3403008  totalTime: 3403979  modelSize: 72268  readTime: 10 size: 15