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