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