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