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