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