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