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