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