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