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