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