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