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