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