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