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