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