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