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