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