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