(1,21) (2,5) (3,16) (4,10) (6,15) (7,11) (8,24) (9,22) (12,20) (13,14) (17,19) (18,30) (23,28) (25,29) (26,27) 
nodes: 18209  conflicts: 41  modelTime: 1720  solveTime: 43398  totalTime: 45136  modelSize: 72274  readTime: 18 size: 15