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