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