(1,21) (2,12) (3,28) (4,13) (5,29) (6,9) (7,8) (10,20) (11,23) (14,22) (15,19) (16,24) (18,26) (25,30) 
nodes: 43659  conflicts: 36  modelTime: 1098  solveTime: 164215  totalTime: 165333  modelSize: 72265  readTime: 20 size: 14