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