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