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