(1,29) (2,10) (3,28) (4,15) (5,14) (6,21) (7,18) (8,23) (9,19) (11,17) (12,13) (16,30) (20,26) (22,27) (24,25) 
nodes: 30228  conflicts: 36  modelTime: 934  solveTime: 118779  totalTime: 119734  modelSize: 72273  readTime: 21 size: 15