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