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