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