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