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