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