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