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