(1,28) (2,20) (3,29) (4,18) (6,30) (7,17) (8,21) (9,23) (10,25) (11,26) (12,22) (13,16) (15,19) 
nodes: 2627  conflicts: 44  modelTime: 663  solveTime: 3671  totalTime: 4340  modelSize: 41299  readTime: 6 size: 13