(1,21) (2,25) (3,29) (4,20) (5,24) (6,10) (7,30) (8,18) (9,22) (11,12) (13,26) (14,19) (15,16) (17,27) (23,28) 
nodes: 92973  conflicts: 40  modelTime: 1041  solveTime: 423869  totalTime: 424921  modelSize: 72263  readTime: 11 size: 15