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