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