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