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