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