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