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