(1,18) (2,28) (3,7) (4,10) (5,17) (6,9) (8,29) (11,20) (12,27) (13,25) (14,30) (15,21) (16,26) (19,23) (22,24) 
nodes: 4840  conflicts: 4  modelTime: 1717  solveTime: 24645  totalTime: 26422  modelSize: 72264  readTime: 60 size: 15