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