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