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