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