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