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