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