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