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