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