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