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