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