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