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