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