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