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