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