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