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