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