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