(1,10) (2,20) (3,9) (4,6) (5,13) (7,18) (8,23) (11,16) (12,14) (15,24) (17,21) (19,26) (22,30) (25,28) (27,29) 
nodes: 515398  conflicts: 36  modelTime: 1725  solveTime: 2065582  totalTime: 2067326  modelSize: 72275  readTime: 19 size: 15