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