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