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