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