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