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