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