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