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