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