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