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