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