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