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