(1,18) (2,26) (3,17) (4,5) (6,10) (9,19) (11,20) (12,28) (13,27) (14,25) (15,21) (16,23) (22,30) (24,29) 
nodes: 22640  conflicts: 45  modelTime: 1041  solveTime: 101354  totalTime: 102406  modelSize: 72262  readTime: 11 size: 14