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