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