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