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