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