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