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