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