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