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