(1,8) (2,11) (3,21) (4,19) (5,25) (6,15) (7,26) (9,14) (10,29) (12,18) (13,23) (16,17) (20,22) (24,27) (28,30) 
nodes: 46534  conflicts: 40  modelTime: 947  solveTime: 169928  totalTime: 170886  modelSize: 72263  readTime: 11 size: 15