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