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