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