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