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