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