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