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