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