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