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