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