(1,29) (2,28) (3,19) (4,6) (5,12) (7,16) (8,10) (9,25) (11,23) (13,22) (14,17) (15,30) (18,24) (20,21) (26,27) 
nodes: 11982  conflicts: 38  modelTime: 1705  solveTime: 37368  totalTime: 39092  modelSize: 72263  readTime: 19 size: 15