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