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