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